Questions tagged [decreasing-rearrangements]

For all question related to the decreasing rearrangements of measurable functions so for measurable set too. As well the Lorentz spaces are strongly include since there are exclusively defined through the decreasing rearrangement of function. The analogue of this notion higher dimension is: The spherical (or symmetric, or radial) decreasing rearrangement of a measurable function

Let $f$ be a measurable function on a measurable space $(X,\mu)$. Then the decreasing rearrangement function of $f$ is the function $f^*$ defined on $[0,\infty)$ by

$$f^*(t) =\inf\lbrace s>0:\mu\lbrace x\in X: |f(x)|>s\rbrace \le t.\rbrace$$ This definition is similar to this used the following definition: Let $A\subset \mathbb{R}^n$ a Borel set of finite Lebesgue measure. For a measurable set A, the rearrangement of A denote $A^* =B(0,r)$ is the ball centered at 0 with the same measure as $A$.

The spherical(or symmetric, or radial) decreasing rearrangement of a measurable function $f:\mathbb{R}^n \to \mathbb{R}$ is then defined by

$$f^*(x):=\int_0^{\infty} \chi_{\{|f|>t\}^*}(x)dt,$$

by comparison to the "layercake" representation of $f$, namely $$f(x)=\int_0^{\infty} \chi_{\{f>t\}}(x)dt.$$

35 questions
7
votes
3 answers

Symmetric-decreasing rearrangement of a function

I'm studying section 3.3 of Analysis by Lieb and Loss, about symmetric-decreasing rearrangement of functions. Let $A\subset \mathbb{R}^n$ a Borel set of finite Lebesgue measure. They define $A^*$ to be the ball centered at 0 with the same measure…
Klaus
  • 4,265
6
votes
2 answers

On rearrangement of level set: $\{f>t\}^* = \{f^*>t\}\,\,\text{?}$

Let $A$ be a subset of $\mathbb{R}^n$ then the rearrangement of $A$ denoted by $A^*$ is the ball $B(0,r)$ having the same volume as $A$ i.e if $|A| =|B(0,r)|$ with respect to Lebesgue measure then $$A^*= B(0,r)$$ Let $f$ be a function from…
4
votes
1 answer
4
votes
1 answer

Schwarz symmetrization is equimeasurable

Suppose $\Omega\subset\mathbb{R^2}$ is open and bounded, and let $f:\Omega\rightarrow [0,\infty)$ be measurable. Moreover, let $\Omega^{\ast}$ denote the closed disk with midpoint $0\in\mathbb{R}^2$ and the same area as $\Omega$ (i.e.…
3
votes
1 answer

nondecreasing rearrangement is equimeasurable

Two functions $f(x)$ and $g(x)$ are called equi-measurable if $m(\{x:f(x)>t\})=m(\{x:g(x)>t\})$. Nondecreasing rearrangement of a function $f(x)$ is defined as $$f^*(\tau)=\inf\{t>0:m(\{x:f(x)>t\}\leq\tau\}.$$ Prove that $f^*(\tau)$ and $f(x)$ are…
3
votes
1 answer

Does the symmetric decreasing rearrangement of a smooth function preserve smoothness?

Let $A\subset \mathbb{R}^n$ a Borel set of finite Lebesgue measure. They define $A^*$ to be the ball centered at 0 with the same measure that $A$. The symmetric-decreasing rearrangement of a measurable function $f:\mathbb{R}^n \to \mathbb{R}$…
3
votes
1 answer

The graph of symmetric-decreasing rearrangment of some function eg. $e^{x}$

$A^*$ to be the ball centered at 0 with the same measure that $A$. The symmetric-decreasing rearrangement of a measurable function $f:\mathbb{R}^n \to \mathbb{R}$ is then defined by $$f^*(x):=\int_0^{\infty} \chi_{\{|f(x)|>t\}^*}(x)dt,$$ by…
3
votes
1 answer

Distribution function and decreasing rearrangement

Let $(X,dx)$ a measure space and $f\in L^p(X,\mathbb{C})$; let's define its distribution function $$F(\alpha)=meas(\{x\in X||f(x)|>\alpha\})$$ and the decreasing rearrangement $$\alpha_k=\inf\{\alpha>0|F(\alpha)<2^k\}$$ I have to prove the…
max
  • 167
3
votes
1 answer

Newton's Theorem

For my Measure & Integration course, I've been asked to prove the following: Let $g$ be a function taking values on $\Bbb{R_+}$, $f: \Bbb{R}^3 \to \Bbb{R}$ such that $f(x) = g(|x|)$. Suppose that $f \in L^1(\Bbb{R}^3, dx)$, and let $$ \Phi(x) =…
3
votes
1 answer

The decreasing rearrangement is non-expansive

I found this statement about rearrangement from analysis Lieb and Loss in chapter 3. Suppose f, g are nonnegative functions in $L^2(\Bbb{R^n})$, then $\|f^*-g^*\|_2 \le\|f-g\|_2$ Where $f^*$ is the symmetric- decreasing rearrangement of…
3
votes
0 answers

Measure-preserving map between a function and its symmetric rearrangement

Let $f \, \colon \mathbb{R}^d \rightarrow[0, \infty)$ be a function such that the sets $ \{ y \: \colon f(y) > \lambda \}$ are of finite Lebesgue-measure, for every $\lambda \geq 0$. Then, we can define the spherically symmetric and decreasing…
2
votes
1 answer

Spherical rearrangement

Let $u\colon\Omega\subset\mathbb{R}^N\to\mathbb{R}$ be a non negative measurable function, and $\Omega$ open and bounded. Consider $u^*$ the spherical rearrangement $$ u^*(x)=\sup\{t\geq0 : \mu\{x: u(x)\geq t \} > \omega_N |x|^N\} $$ where $\mu$…
2
votes
0 answers

when does a decreasing rearrangment induce an invertible measure-preserving transformation?

Suppose $f$ is a measurable function over $[0,1]$ (for simplicity sake). Let $f^*$ be the associated decreasing rearrangement function. We can determine $f$ using a measure preserving map $\phi:[0,1] \rightarrow [0,1]$ defined in this paper as…
2
votes
2 answers

With $n> 3,$ prove that $a_{1}+ a_{2}+ a_{3}\geq 100$ by using Karamata's inequality

Given $n$ real numbers $a_{1}, a_{2}\cdots a_{n}$ so that $$a_{1}\geq a_{2}\geq\cdots\geq a_{n}, a_{1}+ a_{2}+ \cdots+ a_{n}= 300, a_{1}^{2}+ a_{2}^{2}+ \cdots+ a_{n}^{2}> 10000$$ With $n> 3,$ prove that $a_{1}+ a_{2}+ a_{3}\geq 100.$ I wanna…
2
votes
0 answers

Increasing rearrangement and Hardy-Littlewood inequality

Don't know how many of you guys are familiar with the theory of rearrangements, but I have a question for you about it. As you can see in Leoni (or in Lieb & Loss), the decreasing and the increasing rearrangement of a measurable function $u:\Omega…
1
2 3