From the Polya-Szego symmetrization inequality for Dirichlet integrals to comparison theorems for p.d.e.'s on manifolds

Alexander R. Pruss

DOI: https://doi.org/10.48550/arXiv.math/9810164

1998-10-29

Abstract:A method for proving symmetrization inequalities for some elliptic p.d.e.'s on manifolds equipped with appropriate isoperimetric inequalities is outlined. The method is based on a modification of an approach of Baernstein. The question of what is the most general result that can be proved in this way is still open, and the author can be consulted if the reader is interested in this question.

Analysis of PDEs

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the comparison theorems of partial differential equations (PDEs) on manifolds, especially by generalizing from the Pólya - Szegő symmetrization inequality to more general cases. Specifically, the author explores how to apply the classical Pólya - Szegő inequality to the space forms \(M^m_k\) with constant curvature and extend it to PDEs on higher - dimensional manifolds.

### Main problems:
1. **Generalization of the symmetrization inequality**: The core problem of the paper is to generalize the Pólya - Szegő symmetrization inequality from Euclidean space to more general manifolds \(M\). This inequality is expressed in Euclidean space as:
\[
\int_B |\nabla f|^2 \, dV_m \geq \int_{B^\#} |\nabla f^\#|^2 \, dV_m
\]
where \(B\) is a region, \(B^\#\) is its symmetrized region, and \(f^\#\) is the symmetrized version of the function \(f\).

2. **Comparison theorems on manifolds**: Based on the above symmetrization inequality, the author further studies the properties of solutions to PDEs on manifolds. Specifically, the author proves that under certain conditions, if \(u\) and \(v\) are non - negative solutions on the region \(\Omega\) and its symmetrized region \(\Omega^\#\) respectively, then:
\[
\int_{\Omega(y)} \Phi(u(x,y)) \, dV_m(x) \leq \int_{\Omega(y)^\#} \Phi(v(x,y)) \, dV_m(x)
\]
where \(\Phi\) is a convex increasing function.

3. **Symmetrization theorem in the discrete case**: The paper also discusses similar problems on discrete sets \(M\) and \(N\), where the Laplacian operator is defined on the discrete product set \(M\times N\). The author shows how to apply the methods in the continuous case to the discrete case and gives convolution - rearrangement inequalities on several specific discrete structures.

### Key conclusions:
- By introducing the generalized Steiner symmetrization and Baernstein * - function, the author proves that under certain conditions, the solutions to PDEs on manifolds can be compared with the solutions on symmetrized regions.
- These results are applicable not only to continuous manifolds but also to discrete structures, such as integer lattices, discrete circles, and regular trees, etc.

In general, this paper aims to provide new tools and methods for the study of PDEs on manifolds by generalizing the classical symmetrization inequality.