Young function

From HandWiki
Short description: Mathematical functions

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

Definition

A function θ:ℝ→[0,∞] 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 x↦0 nor its convex dual

x↦{0 if x=0,+∞ otherwise.

A Young function said to be finite if it does not take the value ∞.

A Young function θ is strict if both θ and its convex dual θ* are finite; i.e.,

limx→∞θ(x)x=∞.

The inverse of a Young function is given by θ−1(y)=inf⁡{x:θ(x)>y}.

Some authors (such as Krasnosel'skii and Rutickii) also require that

limx↓0θ(x)x=0.

Norm

Let μ be a σ-finite measure on a set X, and θ a Young function. For any measurable function f on X, we define the Luxemburg norm as

‖f‖θ=inf⁡{b>0|∫Xθ(|f|/b)dμ≤1}.

Examples

The following functions are Young functions:

  • θexp(x)=e|x|−1.
  • θp(x)=|s|p/p for all p≥1. This function leads to the usual norm p1/p‖f‖θ=‖f‖p=(∫X|f|pdμ)1/p on Lp(μ).

References