Young function

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (April 2024) (Learn how and when to remove this message) This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (April 2024) (Learn how and when to remove this message) (Learn how and when to remove this message)

In mathematics, Young functions are a class of functions that arise in functional analysis, especially in the study of Orlicz spaces.

Definition

A function ${\displaystyle \theta$ :\mathbb {R} \to [0,\infty ]} is called a Young function if it is convex, even, lower semicontinuous, and non-trivial, in the sense that it is neither the zero function ${\displaystyle x\mapsto 0}$ nor its convex dual

${\displaystyle x\mapsto {\begin{cases}\,\,\,0&{\text{ if }}x=0,\\+\infty &{\text{ otherwise.}}\end{cases}}}$

A Young function said to be finite if it does not take the value ${\displaystyle \infty }$.

A Young function ${\displaystyle \theta }$ is strict if both ${\displaystyle \theta }$ and its convex dual ${\displaystyle \theta ^{*}}$ are finite; i.e.,

${\displaystyle \lim _{x\to \infty }{\frac {\theta (x)}{x}}=\infty .}$

The inverse of a Young function is given by ${\displaystyle \theta ^{-1}(y)=\inf\{x:\theta (x)>y\}}$.

Some authors (such as Krasnosel'skii and Rutickii)^{[citation needed]} also require that

${\displaystyle \lim _{x\downarrow 0}{\frac {\theta (x)}{x}}=0}$.

Examples

The following functions are Young functions:

• ${\displaystyle \theta _{\text{exp}}(x)=e^{|x|}-1}$.

• ${\displaystyle \theta _{p}(x)=|s|^{p}/p}$ for all ${\displaystyle p\geq 1}$. This function leads to the usual norm ${\displaystyle p^{1/p}\|f\|_{\theta }=\|f\|_{p}=(\textstyle \int _{X}|f|^{p}d\mu )^{1/p}}$ on ${\displaystyle L^{p}(\mu )}$.

References

This mathematical analysis–related article is a stub. You can help Wikipedia by adding missing information.

• v
• t
• e