Espace de Birnbaum-Orlicz

Supposons que μ soit une mesure σ-finie sur un ensemble X, et Φ : [0, ∞) → [0, ∞) soit une fonction convexe telle que

${\displaystyle {\frac {\Phi (x)}{x}}\to \infty ,\quad \mathrm {lorsque\ \ } x\to \infty ,}$

${\displaystyle {\frac {\Phi (x)}{x}}\to 0,\quad \mathrm {lorsque\ \ } x\to 0.}$

Soit ${\displaystyle L_{\Phi }^{\dagger }}$ l'espace des fonctions mesurables ${\displaystyle f:X\to \mathbb {R} }$ telles que l'intégrale

${\displaystyle \int _{X}\Phi (|f|)~\mathrm {d} \mu }$

soit finie, où comme d'habitude on identifie les fonctions égales presque partout.

Cet ensemble peut ne pas être un espace vectoriel (il peut ne pas être fermé pour la multiplication par un scalaire). L'espace vectoriel de fonctions engendré par ${\displaystyle L_{\Phi }^{\dagger }}$ est l'espace de Birnbaum–Orlicz noté ${\displaystyle L_{\Phi }}$.

Pour définir une norme sur L_Φ, soit Ψ le complément de Young de Φ, c'est-à-dire :

${\displaystyle \Psi (x)=\int _{0}^{x}(\Phi ')^{-1}(t)~\mathrm {d} t.}$

Notons que l'inégalité de Young est satisfaite:

${\displaystyle ab\leq \Phi (a)+\Psi (b).}$

La norme est alors donnée par

${\displaystyle \|f\|_{\Phi }=\sup \left\{\|fg\|_{1}\mid \int \Psi \circ |g|~\mathrm {d} \mu \leq 1\right\}.}$

De plus, l'espace ${\displaystyle L_{\Phi }}$ est précisément l'espace des fonctions mesurables pour lesquelles cette norme est finie.

Une norme équivalente (Rao et Ren 1991, §3.3) est définie sur ${\displaystyle L_{\Phi }}$ par

${\displaystyle \|f\|'_{\Phi }=\inf \left\{k\in (0,\infty )\mid \int _{X}\Phi (|f|/k)~\mathrm {d} \mu \leq 1\right\},}$

et de même L_Φ(μ) est l'espace de toutes les fonctions mesurables pour lesquelles cette norme est finie.

• Les espaces d'Orlicz généralisent les espaces L^p dans le sens que si ${\displaystyle \varphi (t)=|t|^{p}}$, alors ${\displaystyle \|u\|_{L^{\varphi }(X)}=\|u\|_{L^{p}(X)}}$, ainsi ${\displaystyle L^{\varphi }(X)=L^{p}(X)}$.
• L'espace d'Orlicz ${\displaystyle L^{\varphi }(X)}$ est un espace de Banach – un espace vectoriel normé complet.

Certains espaces de Sobolev sont des espaces d'Orlicz : pour ${\displaystyle X\subseteq \mathbb {R} ^{n}}$ ouvert et borné avec une frontière lipschitzienne ${\displaystyle \partial X}$,

${\displaystyle W_{0}^{1,p}(X)\subseteq L^{\varphi }(X)}$

pour

${\displaystyle \varphi (t):=\exp \left(|t|^{p/(p-1)}\right)-1.}$

Voir le théorème de Trudinger (en) : pour ${\displaystyle X\subseteq \mathbb {R} ^{n}}$ ouvert et borné avec une frontière Lipschitzienne ${\displaystyle \partial X}$, considérons l'espace ${\displaystyle W_{0}^{k,p}(X)}$, ${\displaystyle kp=n}$. Alors il existe des constantes ${\displaystyle C_{1},C_{2}>0}$ telles que

${\displaystyle \int _{X}\exp \left(\left({\frac {|u(x)|}{C_{1}\|\mathrm {D} ^{k}u\|_{L^{p}(X)}}}\right)^{p/(p-1)}\right)\,\mathrm {d} x\leq C_{2}|X|.}$

• (de) Z. W. Birnbaum et W. Orlicz, « Über die Verallgemeinerung des Begriffes der zueinander Konjugierten Potenzen », Studia Mathematica, vol. 3,‎ 1931, p. 1–67 PDF.
• (en) Iracema Bund, « Birnbaum–Orlicz spaces of functions on groups », Pacific J. Math., vol. 58, n^o 2,‎ 1975, p. 351–359.
• (en) Edwin Hewitt et Karl Stromberg, Real and abstract analysis, Springer-Verlag.
• (en) M. A. Krasnosel'skii (en) et Ya. B. Rutickii, Convex Functions and Orlicz Spaces, Groningen, P. Noordhoff, 1961
• (en) M. M. Rao et Z. D. Ren, Theory of Orlicz Spaces, New York/Basel/Hong-Kong, Marcel Dekker, coll. « Pure and Applied Mathematics », 1991, 449 p. (ISBN 0-8247-8478-2).
• (en) Antoni Zygmund, Trigonometric series, Volume 1, Cambridge University Press, 3^e éd., chap. IV (« Classes of functions and Fourier series »).

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Birnbaum–Orlicz space » (voir la liste des auteurs).