Orlicz space

Short description: Type of function space

In mathematics, and especially in harmonic analysis and functional analysis, an Orlicz space is a type of function space which generalizes L^p spaces. Like $L^p$ spaces, they are Banach spaces. The spaces are named for Władysław Orlicz, who was the first to define them in 1932.

Besides $L^p$ spaces, a variety of function spaces arising naturally in analysis are Orlicz spaces. One such space is $L{\log }^{+}L$, which arises in the study of Hardy–Littlewood maximal functions, consisting of measurable functions $f$ such that

$\underset{{\mathbb{ℝ}}^n}{\int }|f(x)|{\log }^{+}|f(x)|dx<\mathrm{\infty }.$

Here ${\log }^{+}$ is the positive part of the logarithm. Also included in the class of Orlicz spaces are many of the most important Sobolev spaces. In addition, the Orlicz sequence spaces are examples of Orlicz spaces.

Terminology

These spaces are called Orlicz spaces because Władysław Orlicz was the first who introduced them, in 1932. Some mathematicians, including Wojbor Woyczyński, Edwin Hewitt and Vladimir Mazya, include the name of Zygmunt Birnbaum as well, referring to his earlier joint work with Władysław Orlicz. However in the Birnbaum–Orlicz paper the Orlicz space is not introduced, neither explicitly nor implicitly, hence the name Orlicz space is preferred. By the same reasons this convention has been also openly criticized by another mathematician (and an expert in the history of Orlicz spaces), Lech Maligranda. Orlicz was confirmed as the person who introduced Orlicz spaces already by Stefan Banach in his 1932 monograph.

Definition

Let $\mu$ be a σ-finite measure on a set $X$, and $\mathrm{\Phi }:[0,\mathrm{\infty })\to [0,\mathrm{\infty }]$ a Young function; i.e., a convex, lower semicontinuous, and non-trivial function. Non-trivial in the sense that it is neither the zero function $x\mapsto 0$ nor the convex dual of the zero function

$x\mapsto \{\begin{array}{ll}0& \text{ if }x=0,\\ +\mathrm{\infty }& \text{ otherwise.}\end{array}$

Now let $L_{\mathrm{\Phi }}^{†}$ be the set of measurable functions $f:X\to \mathbb{ℝ}$ such that the integral

$\underset{X}{\int }\mathrm{\Phi }(|f|)d\mu$

is finite, where, as usual, functions that agree almost everywhere are identified.

This is not necessarily a vector space (for example, it might fail to be closed under scalar multiplication). The Orlicz space, denoted $L_{\mathrm{\Phi }}$, is the vector space of functions spanned by $L_{\mathrm{\Phi }}^{†}$; that is, the smallest linear space containing $L_{\mathrm{\Phi }}^{†}$. Formally,

$L_{\mathrm{\Phi }}=\left\{f\right|\underset{X}{\int }\mathrm{\Phi }(k|f|)d\mu <\mathrm{\infty }\text{ for some }k>0\}.$

There is another Orlicz space, the small Orlicz space, defined by

$M_{\mathrm{\Phi }}=\left\{f\right|\underset{X}{\int }\mathrm{\Phi }(k|f|)d\mu <\mathrm{\infty }\text{ for all }k>0\}.$

In other words, it is the largest linear space contained in $L_{\mathrm{\Phi }}^{†}$.

Norm

To define a norm on $L_{\mathrm{\Phi }}$, let $\mathrm{\Psi }$ be the complementary Young function to $\mathrm{\Phi }$; i.e.,

$\mathrm{\Psi }(x)=\underset{0}{\overset{x}{\int }}({\mathrm{\Phi }}^{\prime }{)}^{-1}(t)dt.$

Note that Young's inequality for products holds:

$ab\le \mathrm{\Phi }(a)+\mathrm{\Psi }(b).$

The norm is then given by

$\Vert f{\Vert }_{\mathrm{\Phi }}=\sup \{\Vert fg{\Vert }_1|\int \mathrm{\Psi }(|g|)d\mu \le 1\}.$

Furthermore, the space $L_{\mathrm{\Phi }}$ is precisely the space of measurable functions for which this norm is finite.

An equivalent norm, called the Luxemburg norm, is defined on $L_{\mathrm{\Phi }}$ by

$\Vert f\Vert {\text{'}}_{\mathrm{\Phi }}=\inf \{k\in (0,\mathrm{\infty })|\underset{X}{\int }\mathrm{\Phi }(|f|/k)d\mu \le 1\},$

and likewise $L_{\mathrm{\Phi }}(\mu )$ is the space of all measurable functions for which this norm is finite.

The two norms are equivalent in the sense that $\Vert f{\Vert }_{{\mathrm{\Phi }}^{\prime }}\le \Vert f{\Vert }_{\mathrm{\Phi }}\le 2\Vert f{\Vert }_{{\mathrm{\Phi }}^{\prime }}$ for all measurable $f$.

Note that by the monotone convergence theorem, if $0<\Vert f{{\Vert }_{\mathrm{\Phi }}}^{\prime }<\mathrm{\infty }$, then

$\underset{X}{\int }\mathrm{\Phi }(|f|/\Vert f{\Vert }_{{\mathrm{\Phi }}^{\prime }})d\mu \le 1$.

Examples

For any $p\in [1,\mathrm{\infty }]$, $L^p$ space is an Orlicz space with Orlicz function $\mathrm{\Phi }(t)=t^p$. Here

$t^{\mathrm{\infty }}=\{\begin{array}{ll}0& \text{ if }t\in [0,1],\\ +\mathrm{\infty }& \text{ else.}\end{array}$

When $1<p<\mathrm{\infty }$, the small and the large Orlicz spaces for $\mathrm{\Phi }(t)=t^p$ are equal: $M_{\mathrm{\Phi }}\simeq L_{\mathrm{\Phi }}$.

For an example where $L_{\mathrm{\Phi }}^{†}$ is not a vector space, and is strictly smaller than $L_{\mathrm{\Phi }}$, let $X$ be the open unit interval $(0,1)$, $\mathrm{\Phi }(t)=e^t-1-t$, and $f(t)=\log (t)$. Then $af$ is in the space $L_{\mathrm{\Phi }}$ for all $a\in \mathbb{ℝ}$ but is only in $L_{\mathrm{\Phi }}^{†}$ if $|a|<1$.

Properties

Proposition. The Orlicz norm is a norm.

Proof. Since $\mathrm{\Phi }(x)>0$ for some $x>0$, we have $\Vert f{\Vert }_{\mathrm{\Phi }}=0\to f=0$ a.e.. That $\Vert kf{\Vert }_{\mathrm{\Phi }}=|k|\Vert f{\Vert }_{\mathrm{\Phi }}$ is obvious by definition. For triangular inequality, we have:$$\begin{array}{rl}& \underset{{𝒳}}{\int }\mathrm{\Phi }\left(\frac{f+g}{\Vert f{\Vert }_{\mathrm{\Phi }}+\Vert g{\Vert }_{\mathrm{\Phi }}}\right)d\mu \\ =& \underset{{𝒳}}{\int }\mathrm{\Phi }(\frac{\Vert f{\Vert }_{\mathrm{\Phi }}}{\Vert f{\Vert }_{\mathrm{\Phi }}+\Vert g{\Vert }_{\mathrm{\Phi }}}\frac{f}{\Vert f{\Vert }_{\mathrm{\Phi }}}+\frac{\Vert g{\Vert }_{\mathrm{\Phi }}}{\Vert f{\Vert }_{\mathrm{\Phi }}+\Vert g{\Vert }_{\mathrm{\Phi }}}\frac{g}{\Vert g{\Vert }_{\mathrm{\Phi }}})d\mu \\ \le & \frac{\Vert f{\Vert }_{\mathrm{\Phi }}}{\Vert f{\Vert }_{\mathrm{\Phi }}+\Vert g{\Vert }_{\mathrm{\Phi }}}\underset{{𝒳}}{\int }\mathrm{\Phi }\left(\frac{f}{\Vert f{\Vert }_{\mathrm{\Phi }}}\right)d\mu +\frac{\Vert g{\Vert }_{\mathrm{\Phi }}}{\Vert f{\Vert }_{\mathrm{\Phi }}+\Vert g{\Vert }_{\mathrm{\Phi }}}\underset{{𝒳}}{\int }\mathrm{\Phi }\left(\frac{g}{\Vert g{\Vert }_{\mathrm{\Phi }}}\right)d\mu \\ \le & 1\end{array}$$Theorem. The Orlicz space $L^{\phi }(X)$ is a Banach space — a complete normed vector space.

Theorem. $M_{\mathrm{\Phi }},L_{{\mathrm{\Phi }}^{*}}$ are topological dual Banach spaces.

In particular, if $M_{\mathrm{\Phi }}=L_{\mathrm{\Phi }}$, then $L_{{\mathrm{\Phi }}^{*}},L_{\mathrm{\Phi }}$ are topological dual spaces. In particular, $L^p,L^q$ are dual Banach spaces when $1/p+1/q=1$ and $1<p<\mathrm{\infty }$.

Relations to Sobolev spaces

Certain Sobolev spaces are embedded in Orlicz spaces: for $n>1$ and $X\subseteq {\mathbb{ℝ}}^n$ open and bounded with Lipschitz boundary $\partial X$, we have

$W_0^{1,n}(X)\subseteq L^{\phi }(X)$

for

$\phi (t):=\exp (|t{|}^{n/(n-1)})-1.$

This is the analytical content of the Trudinger inequality: For $X\subseteq {\mathbb{ℝ}}^n$ open and bounded with Lipschitz boundary $\partial X$, consider the space $W_0^{k,p}(X)$ with $kp=n$ and $p>1$. Then there exist constants $C_1,C_2>0$ such that

$\underset{X}{\int }\exp \left({\left(\frac{|u(x)|}{C_1\Vert {\mathrm{D}}^{k}u{\Vert }_{L^p(X)}}\right)}^{n/(n-k)}\right)\mathrm{d}x\le C_2|X|.$

Orlicz norm of a random variable

Similarly, the Orlicz norm of a random variable characterizes it as follows:

$\Vert X{\Vert }_{\mathrm{\Psi }}\triangleq \inf \{k\in (0,\mathrm{\infty })\mid \mathrm{E}[\mathrm{\Psi }(|X|/k)]\le 1\}.$

This norm is homogeneous and is defined only when this set is non-empty.

When $\mathrm{\Psi }(x)=x^p$, this coincides with the p-th moment of the random variable. Other special cases in the exponential family are taken with respect to the functions ${\mathrm{\Psi }}_q(x)=\exp (x^q)-1$ (for $q\ge 1$). A random variable with finite ${\mathrm{\Psi }}_2$ norm is said to be "sub-Gaussian" and a random variable with finite ${\mathrm{\Psi }}_1$ norm is said to be "sub-exponential". Indeed, the boundedness of the ${\mathrm{\Psi }}_p$ norm characterizes the limiting behavior of the probability distribution function:

$\Vert X{\Vert }_{{\mathrm{\Psi }}_p}<\mathrm{\infty }⟺\mathbb{\mathbb{P}}(|X|\ge x)\le K{e}^{-K^{\prime }{x}^p}\mathrm{f}\mathrm{o}\mathrm{r}\mathrm{s}\mathrm{o}\mathrm{m}\mathrm{e}\mathrm{c}\mathrm{o}\mathrm{n}\mathrm{s}\mathrm{t}\mathrm{a}\mathrm{n}\mathrm{t}\mathrm{s}K,K^{\prime }>0,$

so that the tail of the probability distribution function is bounded above by $O(e^{-K^{\prime }{x}^p})$.

The ${\mathrm{\Psi }}_1$ norm may be easily computed from a strictly monotonic moment-generating function. For example, the moment-generating function of a chi-squared random variable X with K degrees of freedom is $M_X(t)=(1-2t{)}^{-K/2}$, so that the reciprocal of the ${\mathrm{\Psi }}_1$ norm is related to the functional inverse of the moment-generating function:

$\Vert X{\Vert }_{{\mathrm{\Psi }}_1}^{-1}=M_X^{-1}(2)=(1-4^{-1/K})/2.$

Further reading

• Krasnosel'skii, M.A.; Rutickii, Ya B. (1961-01-01) (in English). Convex Functions and Orlicz Spaces (1 ed.). Gordon & Breach. ISBN 978-0-677-20210-5. http://archive.org/details/convexfunctionso0000makr.  Contains most commonly used properties of Orlicz spaces over ${\mathbb{ℝ}}^n$ with the Lebesgue measure.
• Rao, M.M.; Ren, Z.D. (1991). Theory of Orlicz Spaces. Pure and Applied Mathematics. Marcel Dekker. ISBN 0-8247-8478-2.  Contains properties of Orlicz spaces over general spaces with general measures, including many pathological examples.
• Rubshtein, Ben-Zion A.; Grabarnik, Genady Ya; Muratov, Mustafa A.; Pashkova, Yulia S. (2016-12-20) (in English). Foundations of Symmetric Spaces of Measurable Functions: Lorentz, Marcinkiewicz and Orlicz Spaces (1st ed.). New York, NY: Springer. ISBN 978-3-319-42756-0. 
• Birnbaum, Z. W.; Orlicz, W. (1931), "Über die Verallgemeinerung des Begriffes der zueinander Konjugierten Potenzen", Studia Mathematica 3: 1–67, doi:10.4064/sm-3-1-1-67, http://matwbn.icm.edu.pl/ksiazki/sm/sm3/sm311.pdf . The original paper.
• Bund, Iracema (1975), "Birnbaum–Orlicz spaces of functions on groups", Pacific Journal of Mathematics 58 (2): 351–359, doi:10.2140/pjm.1975.58.351 .
• Hewitt, Edwin; Stromberg, Karl, Real and abstract analysis, Springer-Verlag .
• Zygmund, Antoni, "Chapter IV: Classes of functions and Fourier series", Trigonometric Series, Volume 1 (3rd ed.), Cambridge University Press .
• Ledoux, Michel; Talagrand, Michel, Probability in Banach Spaces, Springer-Verlag .

External links

• Hazewinkel, Michiel, ed. (2001), "Orlicz space", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Main_Page