Pólya–Szegő inequality

In mathematical analysis, the Pólya–Szegő inequality (or Szegő inequality) states that the Sobolev energy of a function in a Sobolev space does not increase under symmetric decreasing rearrangement.^[1] The inequality is named after the mathematicians George Pólya and Gábor Szegő.

Mathematical setting and statement

Given a Lebesgue measurable function ${\displaystyle u:\mathbb {R} ^{n}\to \mathbb {R} ^{+},}$the symmetric decreasing rearrangement ${\displaystyle u^{*}:\mathbb {R} ^{n}\to \mathbb {R} ^{+},}$ is the unique function such that for every ${\displaystyle t\in \mathbb {R} ,}$ the sublevel set ${\displaystyle u^{*}{}^{-1}((t,+\infty ))}$ is an open ball centred at the origin ${\displaystyle 0\in \mathbb {R} ^{n}}$ that has the same Lebesgue measure as ${\displaystyle u^{-1}((t,+\infty )).}$

Equivalently, ${\displaystyle u^{*}}$ is the unique radial and radially nonincreasing function, whose strict sublevel sets are open and have the same measure as those of the function ${\displaystyle u}$.

The Pólya–Szegő inequality states that if moreover ${\displaystyle u\in W^{1,p}(\mathbb {R} ^{n}),}$ then ${\displaystyle u^{*}\in W^{1,p}(\mathbb {R} ^{n})}$ and

${\displaystyle \int _{\mathbb {R} ^{n}}|\nabla u^{*}|^{p}\leq \int _{\mathbb {R} ^{n}}|\nabla u|^{p}.}$

Applications of the inequality

The Pólya–Szegő inequality is used to prove the Rayleigh–Faber–Krahn inequality, which states that among all the domains of a given fixed volume, the ball has the smallest first eigenvalue for the Laplacian with Dirichlet boundary conditions. The proof goes by restating the problem as a minimization of the Rayleigh quotient.^[1]

The isoperimetric inequality can be deduced from the Pólya–Szegő inequality with ${\displaystyle p=1}$.

The optimal constant in the Sobolev inequality can be obtained by combining the Pólya–Szegő inequality with some integral inequalities.^[2][3]

Equality cases

Since the Sobolev energy is invariant under translations, any translation of a radial function achieves equality in the Pólya–Szegő inequality. There are however other functions that can achieve equality, obtained for example by taking a radial nonincreasing function that achieves its maximum on a ball of positive radius and adding to this function another function which is radial with respect to a different point and whose support is contained in the maximum set of the first function. In order to avoid this obstruction, an additional condition is thus needed.

It has been proved that if the function ${\displaystyle u}$ achieves equality in the Pólya–Szegő inequality and if the set ${\displaystyle \{x\in \mathbb {R} ^{n}:u(x)>0{\text{ and }}\nabla u(x)=0\}}$ is a null set for Lebesgue's measure, then the function ${\displaystyle u}$ is radial and radially nonincreasing with respect to some point ${\displaystyle a\in \mathbb {R} ^{n}}$.^[4]

Generalizations

The Pólya–Szegő inequality is still valid for symmetrizations on the sphere or the hyperbolic space.^[5]

The inequality also holds for partial symmetrizations defined by foliating the space into planes (Steiner symmetrization)^[6][7] and into spheres (cap symmetrization).^[8][9]

There are also Pólya−Szegő inequalities for rearrangements with respect to non-Euclidean norms and using the dual norm of the gradient.^[10][11][12]

Proofs of the inequality

Original proof by a cylindrical isoperimetric inequality

The original proof by Pólya and Szegő for ${\displaystyle p=2}$ was based on an isoperimetric inequality comparing sets with cylinders and an asymptotics expansion of the area of the area of the graph of a function.^[1] The inequality is proved for a smooth function ${\displaystyle u}$ that vanishes outside a compact subset of the Euclidean space ${\displaystyle \mathbb {R} ^{n}.}$ For every ${\displaystyle \varepsilon >0}$, they define the sets

${\displaystyle {\begin{aligned}C_{\varepsilon }&=\{(x,t)\in \mathbb {R} ^{n}\times \mathbb {R} \,:\,0<t<\varepsilon u(x)\}\\C_{\varepsilon }^{*}&=\{(x,t)\in \mathbb {R} ^{n}\times \mathbb {R} \,:\,0<t<\varepsilon u^{*}(x)\}\end{aligned}}}$

These sets are the sets of points who lie between the domain of the functions ${\displaystyle \varepsilon u}$ and ${\displaystyle \varepsilon u^{*}}$ and their respective graphs. They use then the geometrical fact that since the horizontal slices of both sets have the same measure and those of the second are balls, to deduce that the area of the boundary of the cylindrical set ${\displaystyle C_{\varepsilon }^{*}}$ cannot exceed the one of ${\displaystyle C_{\varepsilon }}$. These areas can be computed by the area formula yielding the inequality

${\displaystyle \int _{u^{*}{}^{-1}((0,+\infty ))}1+{\sqrt {1+\varepsilon ^{2}|\nabla u^{*}|^{2}}}\leq \int _{u^{-1}((0,+\infty ))}1+{\sqrt {1+\varepsilon ^{2}|\nabla u|^{2}}}.}$

Since the sets ${\displaystyle u^{-1}((0,+\infty ))}$ and ${\displaystyle u{}^{*}{}^{-1}((0,+\infty ))}$ have the same measure, this is equivalent to

${\displaystyle {\frac {1}{\varepsilon }}\int _{u^{*}{}^{-1}((0,+\infty ))}{\sqrt {1+\varepsilon ^{2}|\nabla u^{*}|^{2}}}-1\leq {\frac {1}{\varepsilon }}\int _{u^{-1}((0,+\infty ))}{\sqrt {1+\varepsilon ^{2}|\nabla u|^{2}}}-1.}$

The conclusion then follows from the fact that

${\displaystyle \lim _{\varepsilon \to 0}{\frac {1}{\varepsilon }}\int _{u^{-1}((0,+\infty ))}{\sqrt {1+\varepsilon ^{2}|\nabla u|^{2}}}-1={\frac {1}{2}}\int _{\mathbb {R} ^{n}}|\nabla u|^{2}.}$

Coarea formula and isoperimetric inequality

The Pólya–Szegő inequality can be proved by combining the coarea formula, Hölder’s inequality and the classical isoperimetric inequality.^[2]

If the function ${\displaystyle u}$ is smooth enough, the coarea formula can be used to write

${\displaystyle \int _{\mathbb {R} ^{n}}|\nabla u|^{p}=\int _{0}^{+\infty }\int _{u^{-1}({t})}|\nabla u|^{p-1}\,d{\mathcal {H}}^{n-1}\,dt,}$

where ${\displaystyle {\mathcal {H}}^{n-1}}$ denotes the ${\displaystyle (n-1)}$–dimensional Hausdorff measure on the Euclidean space ${\displaystyle \mathbb {R} ^{n}}$. For almost every each ${\displaystyle t\in (0,+\infty )}$, we have by Hölder's inequality,

${\displaystyle {\mathcal {H}}^{n-1}\left(u^{-1}(\{t\})\right)\leq \left(\int _{u^{-1}(\{t\})}|\nabla u|^{p-1}\right)^{\frac {1}{p}}\left(\int _{u^{-1}(\{t\})}{\frac {1}{|\nabla u|}}\right)^{1-{\frac {1}{p}}}.}$

Therefore, we have

${\displaystyle \int _{u^{-1}(\{t\})}|\nabla u|^{p-1}\geq {\frac {{\mathcal {H}}^{n-1}\left(u^{-1}(\{t\})\right)^{p}}{\left(\int _{u^{-1}(\{t\})}{\frac {1}{|\nabla u|}}\right)^{p-1}}}.}$

Since the set ${\displaystyle u^{*}{}^{-1}((t,+\infty ))}$ is a ball that has the same measure as the set ${\displaystyle u^{-1}((t,+\infty ))}$, by the classical isoperimetric inequality, we have

${\displaystyle {\mathcal {H}}^{n-1}\left(u^{*}{}^{-1}(\{t\})\right)\leq {\mathcal {H}}^{n-1}\left(u^{-1}(\{t\})\right).}$

Moreover, recalling that the sublevel sets of the functions ${\displaystyle u}$ and ${\displaystyle u^{*}}$ have the same measure,

${\displaystyle \int _{u^{*}{}^{-1}(\{t\})}{\frac {1}{|\nabla u^{*}|}}=\int _{u^{-1}(\{t\})}{\frac {1}{|\nabla u|}},}$

and therefore,

${\displaystyle \int _{\mathbb {R} ^{n}}|\nabla u|^{p}\geq \int _{0}^{+\infty }{\frac {{\mathcal {H}}^{n-1}\left(u^{*}{}^{-1}(\{t\})\right)^{p}}{\left(\int _{u^{*}{}^{-1}(\{t\})}{\frac {1}{|\nabla u^{*}|}}\right)^{p-1}}}\,dt.}$

Since the function ${\displaystyle u^{*}}$ is radial, one has

${\displaystyle {\frac {{\mathcal {H}}^{n-1}\left(u^{*}{}^{-1}(\{t\})\right)^{p}}{\left(\int _{u^{*}{}^{-1}(\{t\})}{\frac {1}{|\nabla u^{*}|}}\right)^{p-1}}}=\int _{u^{*}{}^{-1}(\{t\})}|\nabla u^{*}|^{p-1},}$

and the conclusion follows by applying the coarea formula again.

Rearrangement inequalities for convolution

When ${\displaystyle p=2}$, the Pólya–Szegő inequality can be proved by representing the Sobolev energy by the heat kernel.^[13] One begins by observing that

${\displaystyle \int _{\mathbb {R} ^{n}}|\nabla u|^{2}=\lim _{t\to 0}{\frac {1}{t}}\left(\int _{\mathbb {R} ^{n}}|u|^{2}-\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}K_{t}(x-y)u(x)u(y)\,dx\,dy\right),}$

where for ${\displaystyle t\in (0,+\infty )}$, the function ${\displaystyle K_{t}:\mathbb {R} ^{n}\to \mathbb {R} }$ is the heat kernel, defined for every ${\displaystyle z\in \mathbb {R} ^{n}}$ by

${\displaystyle K_{t}(z)={\frac {1}{(4\pi t)^{\frac {n}{2}}}}e^{-{\frac {|z|^{2}}{4t}}}.}$

Since for every ${\displaystyle t\in (0,+\infty )}$ the function ${\displaystyle K_{t}}$ is radial and radially decreasing, we have by the Riesz rearrangement inequality

${\displaystyle \int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}K_{t}(x-y)\,u(x)\,u(y)\,dx\,dy\leq \int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}K_{t}(x-y)\,u^{*}(x)\,u^{*}(y)\,dx\,dy}$

Hence, we deduce that

${\displaystyle {\begin{aligned}\int _{\mathbb {R} ^{n}}|\nabla u|^{2}&=\lim _{t\to 0}{\frac {1}{t}}\left(\int _{\mathbb {R} ^{n}}|u|^{2}-\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}K_{t}(x-y)u(x)u(y)\,dx\,dy\right)\\[6pt]&\geq \lim _{t\to 0}{\frac {1}{t}}\left(\int _{\mathbb {R} ^{n}}|u|^{2}-\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}K_{t}(x-y)u^{*}(x)u^{*}(y)\,dx\,dy\right)\\[6pt]&=\int _{\mathbb {R} ^{n}}|\nabla u^{*}|^{2}.\end{aligned}}}$

References

1. Pólya, George; Szegő, Gábor (1951). Isoperimetric Inequalities in Mathematical Physics. Annals of Mathematics Studies. Princeton, N.J.: Princeton University Press. ISBN 9780691079882. ISSN 0066-2313.
2. Talenti, Giorgio (1976). "Best constant in Sobolev inequality". Annali di Matematica Pura ed Applicata. 110 (1): 353–372. CiteSeerX 10.1.1.615.4193. doi:10.1007/BF02418013. ISSN 0373-3114. S2CID 16923822.
3. Aubin, Thierry (1976-01-01). "Problèmes isopérimétriques et espaces de Sobolev". Journal of Differential Geometry (in French). 11 (4): 573–598. doi:10.4310/jdg/1214433725. ISSN 0022-040X.
4. Brothers, John E.; Ziemer, William P. (1988). "Minimal rearrangements of Sobolev functions". Journal für die Reine und Angewandte Mathematik. 384: 153–179. ISSN 0075-4102.
5. Baernstein II, Albert (1994). "A unified approach to symmetrization". In Alvino, Angelo; Fabes, Eugenes; Talenti, Giorgio (eds.). Partial Differential Equations of Elliptic Type. Symposia Mathematica. Cambridge University Press. pp. 47–92. ISBN 9780521460484.
6. Kawohl, Bernhard (1985). Rearrangements and Convexity of Level Sets in PDE. Lecture Notes in Mathematics. Vol. 1150. Berlin Heidelberg: Springer. doi:10.1007/bfb0075060. ISBN 978-3-540-15693-2. ISSN 0075-8434.
7. Brock, Friedemann; Solynin, Alexander (2000). "An approach to symmetrization via polarization". Transactions of the American Mathematical Society. 352 (4): 1759–1796. doi:10.1090/S0002-9947-99-02558-1. ISSN 0002-9947.
8. Sarvas, Jukka (1972). Symmetrization of Condensers in N-space. Suomalainen Tiedeakatemia. ISBN 9789514100635.
9. Smets, Didier; Willem, Michel (2003). "Partial symmetry and asymptotic behavior for some elliptic variational problems". Calculus of Variations and Partial Differential Equations. 18 (1): 57–75. doi:10.1007/s00526-002-0180-y. ISSN 0944-2669. S2CID 119466691.
10. Angelo, Alvino; Vincenzo, Ferone; Guido, Trombetti; Pierre-Louis, Lions (1997). "Convex symmetrization and applications". Annales de l'Institut Henri Poincaré C (in French). 14 (2): 275. Bibcode:1997AIHPC..14..275A. doi:10.1016/S0294-1449(97)80147-3.
11. Van Schaftingen, Jean (2006). "Anisotropic symmetrization". Annales de l'Institut Henri Poincaré C. 23 (4): 539–565. Bibcode:2006AIHPC..23..539V. doi:10.1016/j.anihpc.2005.06.001.
12. Cianchi, Andrea (2007). "Symmetrization in Anisotropic Elliptic Problems". Communications in Partial Differential Equations. 32 (5): 693–717. doi:10.1080/03605300600634973. ISSN 0360-5302. S2CID 121383998.
13. Lieb, Elliott H.; Loss, Michael (2001-01-01). Analysis (2 ed.). American mathematical Society. ISBN 9780821827833. OCLC 468606724.