Optimal Sobolev inequalities of arbitrary order on compact Riemannian manifolds
type: Item
instance of: scholarly article
title: Optimal Sobolev inequalities of arbitrary order on compact Riemannian manifolds
zbMATH Open document ID: 0923.46035
author: Olivier Druet
published in: Journal of Functional Analysis
publication date: 1999-10-15T00:00:00Z
review text: Let \(M\) denote a smooth compact \(n\)-dimensional Riemannian manifold, \(n \geq 2\). For \(p \in (1,n)\) one knows an explicit value \(K(n,p)\) such that for every \(\varepsilon > 0\) there exists a constant \(B = B(M,p,\varepsilon)\) such that \[ \left( \int_M | u| ^{p^\ast} \right)^{1/p^\ast} \leq (K(n,p)+\varepsilon)\left( \int_M | \nabla u| ^{p} \right)^{1/p} + B \left( \int_M | u| ^{p} \right)^{1/p} \] for all \(u \in H_1^p(M)\) where \(p^\ast = {np \over n-p}\). The question arises if one can also put \(\varepsilon = 0\). We say that the optimal Sobolev inequality (\(I_{p,\text{opt}}^1\)) holds for \(M\) and \(p\) if there exists a constant \(B = B(M,p)\) such that \[ \left( \int_M | u| ^{p^\ast} \right)^{1/p^\ast} \leq K(n,p)\left( \int_M | \nabla u| ^{p} \right)^{1/p} + B \left( \int_M | u| ^{p} \right)^{1/p} \] for all \(u \in H_1^p(M)\). Similarly, we say (\(I_{p,\text{opt}}^p\)) holds for \(M\) and \(p\) if there exists a constant \(C = C(M,p)\) such that \[ \left( \int_M | u| ^{p^\ast} \right)^{p/p^\ast} \leq K(n,p)^p \int_M | \nabla u| ^{p} + C \int_M | u| ^{p} \] for all \(u \in H_1^p(M)\). One checks that (\(I_{p,\text{opt}}^p\)) implies (\(I_{p,\text{opt}}^1\)). The following results were known before: (1) (\(I_{p,\text{opt}}^1\)) holds for \(n=2\) and \(p\in (1,2)\). (2) (\(I_{p,\text{opt}}^1\)) holds for \(n\geq 3\) and \(p\in (1,n)\) if \(M\) has constant sectional curvature. (3) (\(I_{p,\text{opt}}^p\)) holds for \(n\geq 3\) and \(p\in (1,2]\) if \(M\) is the standard sphere. (4) (\(I_{p,\text{opt}}^p\)) holds for \(n\geq 3\) and \(p=2\). See \textit{T. Aubin} [J. Differ. Geom. 11, 573-598 (1976; Zbl 0371.46011)] for (1)--(3) and \textit{E. Hebey} and \textit{M. Vaugon} [Ann. Inst. H. Poincaré Anal. Non Linéaire 13, No. 1, 57-93 (1996; Zbl 0849.53035)] for (4). In the present paper the following results are shown: (5) (\(I_{p,\text{opt}}^p\)) is false for \(p \in (2,\sqrt{n})\) if the scalar curvature is positive somewhere on \(M\). (6) (\(I_{p…
Mathematics Subject Classification ID: 46E35
Mathematics Subject Classification ID: 58J05
Mathematics Subject Classification ID: 53C21
zbMATH DE Number: 1236711
zbMATH Keywords: optimal Sobolev inequality
zbMATH Keywords: scalar curvature
zbMATH Keywords: smooth compact \(n\)-dimensional Riemannian manifold
reviewed by: Christian Bär
MaRDI profile type: Publication
full work available at URL: jfan.1998.3264
OpenAlex ID: W2012772119
cites work: Problèmes isoperimetriques et espaces de Sobolev
cites work: On some nonlinear equations involving the \(p\)-Laplacian with critical Sobolev growth
cites work: Sobolev spaces on Riemannian manifolds
cites work: Q4220320
cites work: The best constant problem in the Sobolev embedding theorem for complete Riemannian manifolds
cites work: Best constants in the Sobolev imbedding theorem
cites work: A new proof of de Giorgi's theorem concerning the regularity problem for elliptic differential equations
cites work: Local behavior of solutions of quasi-linear equations
cites work: Best constant in Sobolev inequality
cites work: On harnack type inequalities and their application to quasilinear elliptic equations
cites work: Q4897349
DOI: 10.1006/JFAN.1998.3264
description: scientific article; zbMATH DE number 1236711