Skip to main content
2 of 3
removed capitals from title
YCor
  • 63.9k
  • 5
  • 187
  • 286

What functions are equal to their symmetric decreasing rearrangement?

I am trying to understand the set $$\mathcal{A}=\{f:f\text{ non-negative, measurable}, \text{vanishes at infinity and } f(x)=f^*(x)\}$$ where $f:\mathbb{R}^n\to \mathbb{R}$ is vanishing at infinity if for all $t>0$ such that $\text{Vol}(\{x:f(x)>t\})<+\infty$ and $f^*$ denotes the symmetric decreasing rearrangement.

From elementary properties of $f^*$, we know that $f$ satisfies

  1. $f^*$ is a lower semi-continuous, radial, and decreasing function. Thus $\mathcal{A}$ consists of lower semi-continuous functions.
  2. I also know that the operator which sends a function to its symmetric rearrangement is not always continuous on the space of $W^{1,p}$ functions.

I am curious to know if there are any results that characterize function in the set $\mathcal{A}$ or in other words what are the possible functions that are equal to their rearrangement?

I understand that there can be many examples of such functions so perhaps it makes sense to ask if we can classify functions in the set $\mathcal{A}\cap L^p$, $\mathcal{A}\cap W^{k,p}$, etc.

Student
  • 537
  • 4
  • 15