# Orlicz space

Last updated

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

## Contents

Besides the Lp spaces, a variety of function spaces arising naturally in analysis are Orlicz spaces. One such space L log+ L, which arises in the study of Hardy–Littlewood maximal functions, consists of measurable functions f such that the integral

$\int _{\mathbb {R} ^{n}}|f(x)|\log ^{+}|f(x)|\,dx<\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.

## Terminology

These spaces are called Orlicz spaces by an overwhelming majority of mathematicians and by all monographies studying them, because Władysław Orlicz was the first who introduced them, in 1932.  A small minority of 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 this naming convention is incorrect. 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. 

## Formal definition

Suppose that μ is a σ-finite measure on a set X, and Φ : [0, ∞)  [0, ∞) is a Young function, i.e., a convex function such that

${\frac {\Phi (x)}{x}}\to \infty ,\quad {\text{as }}x\to \infty ,$ ${\frac {\Phi (x)}{x}}\to 0,\quad {\text{as }}x\to 0.$ Let $L_{\Phi }^{\dagger }$ be the set of measurable functions f : XR such that the integral

$\int _{X}\Phi (|f|)\,d\mu$ is finite, where, as usual, functions that agree almost everywhere are identified.

This might not be a vector space (i.e., it might fail to be closed under scalar multiplication). The vector space of functions spanned by $L_{\Phi }^{\dagger }$ is the Orlicz space, denoted $L_{\Phi }$ .

To define a norm on $L_{\Phi }$ , let Ψ be the Young complement of Φ; that is,

$\Psi (x)=\int _{0}^{x}(\Phi ')^{-1}(t)\,dt.$ Note that Young's inequality for products holds:

$ab\leq \Phi (a)+\Psi (b).$ The norm is then given by

$\|f\|_{\Phi }=\sup \left\{\|fg\|_{1}\mid \int \Psi \circ |g|\,d\mu \leq 1\right\}.$ Furthermore, the space $L_{\Phi }$ is precisely the space of measurable functions for which this norm is finite.

An equivalent norm ( Rao & Ren 1991 , §3.3), called the Luxemburg norm, is defined on LΦ by

$\|f\|'_{\Phi }=\inf \left\{k\in (0,\infty )\mid \int _{X}\Phi (|f|/k)\,d\mu \leq 1\right\},$ and likewise LΦ(μ) is the space of all measurable functions for which this norm is finite.

### Example

Here is an example where $L_{\Phi }^{\dagger }$ is not a vector space and is strictly smaller than $L_{\Phi }$ . Suppose that X is the open unit interval (0,1), Φ(x) = exp(x)  1  x, and f(x) = log(x). Then af is in the space $L_{\Phi }$ but is only in the set $L_{\Phi }^{\dagger }$ if |a| < 1.

## Properties

• Orlicz spaces generalize Lp spaces (for $1 ) in the sense that if $\varphi (t)=t^{p}$ , then $\|u\|_{L^{\varphi }(X)}=\|u\|_{L^{p}(X)}$ , so $L^{\varphi }(X)=L^{p}(X)$ .
• The Orlicz space $L^{\varphi }(X)$ is a Banach space a complete normed vector space.

## Relations to Sobolev spaces

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

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

$\varphi (t):=\exp \left(|t|^{p/(p-1)}\right)-1.$ This is the analytical content of the Trudinger inequality: For $X\subseteq \mathbb {R} ^{n}$ open and bounded with Lipschitz boundary $\partial X$ , consider the space $W_{0}^{k,p}(X)$ , $kp=n$ . There exist constants $C_{1},C_{2}>0$ such that

$\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|.$ ## Orlicz norm of a random variable

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

$\|X\|_{\Psi }\triangleq \inf \left\{k\in (0,\infty )\mid \operatorname {E} [\Psi (|X|/k)]\leq 1\right\}.$ This norm is homogeneous and is defined only when this set is non-empty.

When $\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 $\Psi _{q}(x)=\exp(x^{q})-1$ (for $q\geq 1$ ). A random variable with finite $\Psi _{2}$ norm is said to be "sub-Gaussian" and a random variable with finite $\Psi _{1}$ norm is said to be "sub-exponential". Indeed, the boundedness of the $\Psi _{p}$ norm characterizes the limiting behavior of the probability density function:

$\|X\|_{\Psi _{p}}=c\rightarrow \lim _{x\rightarrow \infty }f_{X}(x)\exp(|x/c|^{p})=0,$ so that the tail of this probability density function asymptotically resembles, and is bounded above by $\exp(-|x/c|^{p})$ .

The $\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 $\Psi _{1}$ norm is related to the functional inverse of the moment-generating function:

$\|X\|_{\Psi _{1}}^{-1}=M_{X}^{-1}(2)=(1-4^{-1/K})/2.$ ## Related Research Articles

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on , together with the vector space structure of pointwise addition and scalar multiplication by constants. Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure and the linear functions defined on these spaces and respecting these structures in a suitable sense. The historical roots of functional analysis lie in the study of spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining continuous, unitary etc. operators between function spaces. This point of view turned out to be particularly useful for the study of differential and integral equations. In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduced the diagrams in 1948. The interaction of subatomic particles can be complex and difficult to understand; Feynman diagrams give a simple visualization of what would otherwise be an arcane and abstract formula. According to David Kaiser, "Since the middle of the 20th century, theoretical physicists have increasingly turned to this tool to help them undertake critical calculations. Feynman diagrams have revolutionized nearly every aspect of theoretical physics." While the diagrams are applied primarily to quantum field theory, they can also be used in other fields, such as solid-state theory. Frank Wilczek wrote that the calculations which won him the 2004 Nobel Prize in Physics "would have been literally unthinkable without Feynman diagrams, as would [Wilczek's] calculations that established a route to production and observation of the Higgs particle."

In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

In mathematics, the Lp spaces are function spaces defined using a natural generalization of the p-norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz. Lp spaces form an important class of Banach spaces in functional analysis, and of topological vector spaces. Because of their key role in the mathematical analysis of measure and probability spaces, Lebesgue spaces are used also in the theoretical discussion of problems in physics, statistics, finance, engineering, and other disciplines. In mathematics, the Haar wavelet is a sequence of rescaled "square-shaped" functions which together form a wavelet family or basis. Wavelet analysis is similar to Fourier analysis in that it allows a target function over an interval to be represented in terms of an orthonormal basis. The Haar sequence is now recognised as the first known wavelet basis and extensively used as a teaching example.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative. Distributions are widely used in the theory of partial differential equations, where it may be easier to establish the existence of distributional solutions than classical solutions, or appropriate classical solutions may not exist. Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta function.

The Klein–Gordon equation is a relativistic wave equation, related to the Schrödinger equation. It is second-order in space and time and manifestly Lorentz-covariant. It is a quantized version of the relativistic energy–momentum relation. Its solutions include a quantum scalar or pseudoscalar field, a field whose quanta are spinless particles. Its theoretical relevance is similar to that of the Dirac equation. Electromagnetic interactions can be incorporated, forming the topic of scalar electrodynamics, but because common spinless particles like the pions are unstable and also experience the strong interaction the practical utility is limited.

The Fock space is an algebraic construction used in quantum mechanics to construct the quantum states space of a variable or unknown number of identical particles from a single particle Hilbert space H. It is named after V. A. Fock who first introduced it in his 1932 paper "Konfigurationsraum und zweite Quantelung".

In mathematical analysis, a function of bounded variation, also known as BV function, is a real-valued function whose total variation is bounded (finite): the graph of a function having this property is well behaved in a precise sense. For a continuous function of a single variable, being of bounded variation means that the distance along the direction of the y-axis, neglecting the contribution of motion along x-axis, traveled by a point moving along the graph has a finite value. For a continuous function of several variables, the meaning of the definition is the same, except for the fact that the continuous path to be considered cannot be the whole graph of the given function, but can be every intersection of the graph itself with a hyperplane parallel to a fixed x-axis and to the y-axis. In quantum mechanics, a probability amplitude is a complex number used in describing the behaviour of systems. The modulus squared of this quantity represents a probability density. In mathematics – specifically, in differential equations – the Picard–Lindelöf theorem, Picard's existence theorem, Cauchy–Lipschitz theorem, or existence and uniqueness theorem gives a set of conditions under which an initial value problem has a unique solution. In mathematics, the total variation identifies several slightly different concepts, related to the structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ ℝ, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation xf(x), for x ∈ [a, b].

In mathematics, the Riesz–Fischer theorem in real analysis is any of a number of closely related results concerning the properties of the space L2 of square integrable functions. The theorem was proven independently in 1907 by Frigyes Riesz and Ernst Sigismund Fischer.

In mathematics, the explicit formulae for L-functions are relations between sums over the complex number zeroes of an L-function and sums over prime powers, introduced by Riemann (1859) for the Riemann zeta function. Such explicit formulae have been applied also to questions on bounding the discriminant of an algebraic number field, and the conductor of a number field.

In mathematics, especially functional analysis, a Fréchet algebra, named after Maurice René Fréchet, is an associative algebra over the real or complex numbers that at the same time is also a Fréchet space. The multiplication operation for is required to be jointly continuous. If is an increasing family of seminorms for the topology of , the joint continuity of multiplication is equivalent to there being a constant and integer for each such that for all . Fréchet algebras are also called B0-algebras.

In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

In mathematics, the Pettis integral or Gelfand–Pettis integral, named after Israel M. Gelfand and Billy James Pettis, extends the definition of the Lebesgue integral to vector-valued functions on a measure space, by exploiting duality. The integral was introduced by Gelfand for the case when the measure space is an interval with Lebesgue measure. The integral is also called the weak integral in contrast to the Bochner integral, which is the strong integral.

Coherent states have been introduced in a physical context, first as quasi-classical states in quantum mechanics, then as the backbone of quantum optics and they are described in that spirit in the article Coherent states. However, they have generated a huge variety of generalizations, which have led to a tremendous literature in mathematical physics. In this article, we sketch the main directions of research on this line. For further details, we refer to several existing surveys.

In probability theory, a branch of mathematics, white noise analysis, otherwise known as Hida calculus, is a framework for infinite-dimensional and stochastic calculus, based on the Gaussian white noise probability space, to be compared with Malliavin calculus based on the Wiener process. It was initiated by Takeyuki Hida in his 1975 Carleton Mathematical Lecture Notes.

1. Über eine gewisse Klasse von Räumen vom Typus B, Bull. Internat. Acad. Polon. Sci. Lett., Class. Sci. Math. Natur.: S\'{e}r. A, Sci. Math. 1932:8/9, 207--220.
2. Lech Maligranda, Osiągnięcia polskich matematyków w teorii interpolacji operatorów: 1910–1960, 2015, „Wiadomości matematyczne”, 51 , 239-281 (in Polish).
3. Stefan Banach, 1932, Théorie des opérations linéaires, Warszawa (p.202)