Lorentz space

Last updated

In mathematical analysis, Lorentz spaces, introduced by George G. Lorentz in the 1950s, [1] [2] are generalisations of the more familiar spaces.

Contents

The Lorentz spaces are denoted by . Like the spaces, they are characterized by a norm (technically a quasinorm) that encodes information about the "size" of a function, just as the norm does. The two basic qualitative notions of "size" of a function are: how tall is the graph of the function, and how spread out is it. The Lorentz norms provide tighter control over both qualities than the norms, by exponentially rescaling the measure in both the range () and the domain (). The Lorentz norms, like the norms, are invariant under arbitrary rearrangements of the values of a function.

Definition

The Lorentz space on a measure space is the space of complex-valued measurable functions on X such that the following quasinorm is finite

where and . Thus, when ,

and, when ,

It is also conventional to set .

Decreasing rearrangements

The quasinorm is invariant under rearranging the values of the function , essentially by definition. In particular, given a complex-valued measurable function defined on a measure space, , its decreasing rearrangement function, can be defined as

where is the so-called distribution function of , given by

Here, for notational convenience, is defined to be .

The two functions and are equimeasurable, meaning that

where is the Lebesgue measure on the real line. The related symmetric decreasing rearrangement function, which is also equimeasurable with , would be defined on the real line by

Given these definitions, for and , the Lorentz quasinorms are given by

Lorentz sequence spaces

When (the counting measure on ), the resulting Lorentz space is a sequence space. However, in this case it is convenient to use different notation.

Definition.

For (or in the complex case), let denote the p-norm for and the ∞-norm. Denote by the Banach space of all sequences with finite p-norm. Let the Banach space of all sequences satisfying , endowed with the ∞-norm. Denote by the normed space of all sequences with only finitely many nonzero entries. These spaces all play a role in the definition of the Lorentz sequence spaces below.

Let be a sequence of positive real numbers satisfying , and define the norm . The Lorentz sequence space is defined as the Banach space of all sequences where this norm is finite. Equivalently, we can define as the completion of under .

Properties

The Lorentz spaces are genuinely generalisations of the spaces in the sense that, for any , , which follows from Cavalieri's principle. Further, coincides with weak . They are quasi-Banach spaces (that is, quasi-normed spaces which are also complete) and are normable for and . When , is equipped with a norm, but it is not possible to define a norm equivalent to the quasinorm of , the weak space. As a concrete example that the triangle inequality fails in , consider

whose quasi-norm equals one, whereas the quasi-norm of their sum equals four.

The space is contained in whenever . The Lorentz spaces are real interpolation spaces between and .

Hölder's inequality

where , , , and .

Dual space

If is a nonatomic σ-finite measure space, then
(i) for , or ;
(ii) for , or ;
(iii) for .
Here for , for , and .

Atomic decomposition

The following are equivalent for .
(i) .
(ii) where has disjoint support, with measure , on which almost everywhere, and .
(iii) almost everywhere, where and .
(iv) where has disjoint support , with nonzero measure, on which almost everywhere, are positive constants, and .
(v) almost everywhere, where .

See also

Related Research Articles

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.

In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the good convergence behaviour of monotonic sequences, i.e. sequences that are non-increasing, or non-decreasing. In its simplest form, it says that a non-decreasing bounded-above sequence of real numbers converges to its smallest upper bound, its supremum. Likewise, a non-increasing bounded-below sequence converges to its largest lower bound, its infimum. In particular, infinite sums of non-negative numbers converge to the supremum of the partial sums if and only if the partial sums are bounded.

In mathematical analysis, Hölder's inequality, named after Otto Hölder, is a fundamental inequality between integrals and an indispensable tool for the study of Lp spaces.

In mathematical analysis, the Minkowski inequality establishes that the Lp spaces are normed vector spaces. Let be a measure space, let and let and be elements of Then is in and we have the triangle inequality with equality for if and only if and are positively linearly dependent; that is, for some or Here, the norm is given by: if or in the case by the essential supremum

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

<span class="mw-page-title-main">Jensen's inequality</span> Theorem of convex functions

In mathematics, Jensen's inequality, named after the Danish mathematician Johan Jensen, relates the value of a convex function of an integral to the integral of the convex function. It was proved by Jensen in 1906, building on an earlier proof of the same inequality for doubly-differentiable functions by Otto Hölder in 1889. Given its generality, the inequality appears in many forms depending on the context, some of which are presented below. In its simplest form the inequality states that the convex transformation of a mean is less than or equal to the mean applied after convex transformation; it is a simple corollary that the opposite is true of concave transformations.

In mathematics, the total variation identifies several slightly different concepts, related to the (local or global) structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ R, 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]. Functions whose total variation is finite are called functions of bounded variation.

In mathematics, the Riesz–Thorin theorem, often referred to as the Riesz–Thorin interpolation theorem or the Riesz–Thorin convexity theorem, is a result about interpolation of operators. It is named after Marcel Riesz and his student G. Olof Thorin.

In mathematics, a norm is a function from a real or complex vector space to the non-negative real numbers that behaves in certain ways like the distance from the origin: it commutes with scaling, obeys a form of the triangle inequality, and is zero only at the origin. In particular, the Euclidean distance in a Euclidean space is defined by a norm on the associated Euclidean vector space, called the Euclidean norm, the 2-norm, or, sometimes, the magnitude or length of the vector. This norm can be defined as the square root of the inner product of a vector with itself.

<span class="mw-page-title-main">Mixing (mathematics)</span> Mathematical description of mixing substances

In mathematics, mixing is an abstract concept originating from physics: the attempt to describe the irreversible thermodynamic process of mixing in the everyday world: e.g. mixing paint, mixing drinks, industrial mixing.

In mathematics and economics, transportation theory or transport theory is a name given to the study of optimal transportation and allocation of resources. The problem was formalized by the French mathematician Gaspard Monge in 1781.

In mathematics, the Wasserstein distance or Kantorovich–Rubinstein metric is a distance function defined between probability distributions on a given metric space . It is named after Leonid Vaseršteĭn.

In functional analysis, the dual norm is a measure of size for a continuous linear function defined on a normed vector space.

In mathematical analysis, and especially in real, harmonic analysis and functional 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.

In the field of mathematical analysis, an interpolation space is a space which lies "in between" two other Banach spaces. The main applications are in Sobolev spaces, where spaces of functions that have a noninteger number of derivatives are interpolated from the spaces of functions with integer number of derivatives.

In mathematics, especially measure theory, a set function is a function whose domain is a family of subsets of some given set and that (usually) takes its values in the extended real number line which consists of the real numbers and

In mathematics and information theory, Sanov's theorem gives a bound on the probability of observing an atypical sequence of samples from a given probability distribution. In the language of large deviations theory, Sanov's theorem identifies the rate function for large deviations of the empirical measure of a sequence of i.i.d. random variables.

In the field of mathematical analysis, an interpolation inequality is an inequality of the form

In mathematics, Young's convolution inequality is a mathematical inequality about the convolution of two functions, named after William Henry Young.

In mathematics, the Christ–Kiselev maximal inequality is a maximal inequality for filtrations, named for mathematicians Michael Christ and Alexander Kiselev.

References

Notes

  1. G. Lorentz, "Some new function spaces", Annals of Mathematics51 (1950), pp. 37-55.
  2. G. Lorentz, "On the theory of spaces Λ", Pacific Journal of Mathematics1 (1951), pp. 411-429.