What is the Definition of the Rearrangement Function f* in Lorentz Space?

Click For Summary
SUMMARY

The discussion focuses on the definition of the rearrangement function f* in Lorentz space, specifically its mathematical formulation and interpretation. The function f* is defined as f*: [0, ∞) → [0, ∞] with f*(t) = inf{α ∈ ℝ+: d_f(α) ≤ t}, where d_f(α) = μ({x ∈ X: |f(x)| > α}). Participants clarify that d_f(α) represents the measure of the set where |f(x)| exceeds α, and f*(t) corresponds to the smallest α that satisfies this condition for a given t. An example is provided to illustrate the concept geometrically, emphasizing the relationship between the area under the curve and the function's shifts.

PREREQUISITES
  • Understanding of Lorentz spaces and their properties.
  • Familiarity with measurable functions and their measures.
  • Basic knowledge of infimum and supremum in mathematical analysis.
  • Ability to interpret geometric representations of functions and areas.
NEXT STEPS
  • Study the properties of Lorentz spaces in detail.
  • Learn about measurable functions and their applications in analysis.
  • Explore the concept of rearrangement inequalities in functional analysis.
  • Investigate geometric interpretations of functions and their transformations.
USEFUL FOR

Mathematicians, students of functional analysis, and researchers interested in the properties of Lorentz spaces and rearrangement functions.

zeebek
Messages
27
Reaction score
0
I am reading the definition in wiki ( nothing better at the moment)
http://en.wikipedia.org/wiki/Lorentz_space

It seems too vague for me, namely what they call "rearrangement function" [itex]f^{*}[/itex]:

[tex]f^{*}: [0, \infty) \rightarrow [0, \infty]; \\<br /> <br /> f^{*}(t) = \inf\{\alpha \in \mathbb{R}^{+}: d_f(\alpha) \leq t\}; \\<br /> <br /> d_f(\alpha) = \mu(\{x \in X : |f(x)| > \alpha\}).<br /> [/tex]

I am trying to put in words what is written. Is it right:

first for a given [itex]t[/itex] we are looking for all [itex]\alpha[/itex]'s, so that [itex]d_f(\alpha) \leq t[/itex], where [itex]d_f(\alpha)[/itex] is basically a size of the area where [itex]|f(x)| > \alpha[/itex]? Then we take infinum via [itex]\alpha[/itex], so as a result there will be the smallest [itex]d[/itex]?

Still I cannot imagine "geometrically" how is it?

At last, I need just simpler difinition for the case when [itex]f[/itex] is real.

thanks!
 
Last edited by a moderator:
Physics news on Phys.org
Let's look at an easy example, i.e. one where all quantities are real numbers. We don't start with the infimum, but with the measurable set instead. Given the function ##f## as below, and a level ##a##. Then ##d_f(a)## is the pink area. Now we shift ##f## upwards until this area is as big as ##t## and define ##f*(t)## to be this maximal shift.
1576594746004.png
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 38 ·
2
Replies
38
Views
3K