Table of Contents
Fetching ...

Higher-order Sobolev and Rellich inequalities via iterated Talenti's principle

Csaba Farkas, Sándor Kajántó

TL;DR

The paper develops a systematic framework to extend Euclidean higher-order Sobolev and Rellich inequalities to complete non-compact Riemannian manifolds that satisfy a sharp isoperimetric inequality. Central to the approach is an iterated Talenti principle, implemented via Schwarz symmetrization and comparison of solutions to appropriately symmetrized PDEs, enabling transfer of Euclidean constants $S_{m,p}$ and $R_{m,p}$ to the geometric setting with the factor $(c_g)^{mp}$. The main results include: (i) higher-order Sobolev inequalities with constants $(c_g)^{mp} S_{m,p}$ and the corresponding sharpness in certain geometric regimes, (ii) higher-order Rellich inequalities with constants $(c_g)^{mp} R_{m,p}$ and improved variants using a nonincreasing weight $h$, all under the hypothesis $n>mp$. The work covers settings such as Brendle-type Euclidean volume growth, Cartan–Hadamard-type nonpositive curvature, and related rigidity/sharpness phenomena, contributing to a deeper understanding of geometric PDEs on manifolds and their optimal constants.

Abstract

In this paper we establish higher-order Sobolev and Rellich-type inequalities on non-compact Riemannian manifolds supporting an isoperimetric inequality. We highlight two notable settings: manifolds with non-negative Ricci curvature and having Euclidean volume growth (supporting Brendle's isoperimetric inequality) and manifolds with non-positive sectional curvature (satisfying the Cartan-Hadamard conjecture or supporting Croke's isoperimetric inequality). Our proofs rely on various symmetrization techniques, the key ingredient is an iterated Talenti's comparison principle. The non-iterated version is analogous to the main result of Chen and Li [J. Geom. Anal., 2023].

Higher-order Sobolev and Rellich inequalities via iterated Talenti's principle

TL;DR

The paper develops a systematic framework to extend Euclidean higher-order Sobolev and Rellich inequalities to complete non-compact Riemannian manifolds that satisfy a sharp isoperimetric inequality. Central to the approach is an iterated Talenti principle, implemented via Schwarz symmetrization and comparison of solutions to appropriately symmetrized PDEs, enabling transfer of Euclidean constants and to the geometric setting with the factor . The main results include: (i) higher-order Sobolev inequalities with constants and the corresponding sharpness in certain geometric regimes, (ii) higher-order Rellich inequalities with constants and improved variants using a nonincreasing weight , all under the hypothesis . The work covers settings such as Brendle-type Euclidean volume growth, Cartan–Hadamard-type nonpositive curvature, and related rigidity/sharpness phenomena, contributing to a deeper understanding of geometric PDEs on manifolds and their optimal constants.

Abstract

In this paper we establish higher-order Sobolev and Rellich-type inequalities on non-compact Riemannian manifolds supporting an isoperimetric inequality. We highlight two notable settings: manifolds with non-negative Ricci curvature and having Euclidean volume growth (supporting Brendle's isoperimetric inequality) and manifolds with non-positive sectional curvature (satisfying the Cartan-Hadamard conjecture or supporting Croke's isoperimetric inequality). Our proofs rely on various symmetrization techniques, the key ingredient is an iterated Talenti's comparison principle. The non-iterated version is analogous to the main result of Chen and Li [J. Geom. Anal., 2023].

Paper Structure

This paper contains 7 sections, 6 theorems, 59 equations.

Key Result

Theorem 1.1

Let $(M,g)$ be a complete, non-compact $n$-dimensional Riemannian manifold supporting eq:intro:isoperimetric. Let $m$ be a positive integer and $p>1$ such that $n>mp$. Then for every $u\in C_0^\infty(M)$ one has where $p^*\stackrel{\textup{def}}{=}\frac{np}{n-mp}$, and $S_{m,p}$ is the Euclidean Sobolev constant of degree $m$ and order $p$.

Theorems & Definitions (15)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Remark 2.1
  • Remark 2.2
  • Theorem 2.3
  • Theorem 2.4
  • proof
  • Remark 2.5
  • proof : Proof of Theorem \ref{['thm:sobolev']}
  • ...and 5 more