×

Density and non-density of \(C_c^\infty\hookrightarrow W^{k,p}\) on complete manifolds with curvature bounds. (English) Zbl 1481.46028

Summary: We investigate the density of compactly supported smooth functions in the Sobolev space \(W^{k,p}\) on complete Riemannian manifolds. In the first part of the paper, we extend to the full range \(p\in[1,2]\) the most general results known in the Hilbertian case. In particular, we obtain the density under a quadratic Ricci lower bound (when \(k=2)\) or a suitably controlled growth of the derivatives of the Riemann curvature tensor only up to order \(k-3\) (when \(k>2)\). To this end, we prove a gradient regularity lemma that might be of independent interest. In the second part of the paper, for every \(n\geq 2\) and \(p>2\) we construct a complete \(n\)-dimensional manifold with sectional curvature bounded from below by a negative constant, for which the density property in \(W^{k,p}\) does not hold for any \(k\geq 2\). We also deduce the existence of a counterexample to the validity of the Calderón-Zygmund inequality for \(p>2\) when \(\mathrm{Sec}\geq 0\), and in the compact setting we show the impossibility to build a Calderón-Zygmund theory for \(p>2\) with constants only depending on a bound on the diameter and a lower bound on the sectional curvature.

MSC:

46E35 Sobolev spaces and other spaces of “smooth” functions, embedding theorems, trace theorems
53C21 Methods of global Riemannian geometry, including PDE methods; curvature restrictions

References:

[1] Ambrosio, Luigi, Calculus, heat flow and curvature-dimension bounds in metric measure spaces, (Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. I. Plenary Lectures (2018), World Sci. Publ., Hackensack, NJ), 301-340, MR 3966731 · Zbl 1475.30129
[2] Aubin, Thierry, Espaces de Sobolev sur les variétés riemanniennes, Bull. Sci. Math., 100, 2, 149-173 (1976), MR 0488125 · Zbl 0328.46030
[3] Bakry, Dominique, Étude des transformations de Riesz dans les variétés riemanniennes à courbure de Ricci minorée, (Séminaire de Probabilités, XXI. Séminaire de Probabilités, XXI, Lecture Notes in Math., 1247 (1987), Springer, Berlin), 137-172, MR 941980 · Zbl 0629.58018
[4] Bandara, Lashi, Density problems on vector bundles and manifolds, Proc. Amer. Math. Soc., 142, 8, 2683-2695 (2014), MR 3209324 · Zbl 1310.46032
[5] Bianchi, Davide; Setti, Alberto G., Laplacian cut-offs, porous and fast diffusion on manifolds and other applications, Calc. Var. Partial Differential Equations, 57, 1, Art. 4, 33 (2018), MR 3735744 · Zbl 1502.53057
[6] Bridson, Martin R.; Haefliger, André, Metric Spaces of Non-Positive Curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], xxii+643 (1999), Springer-Verlag, Berlin, MR 1744486 · Zbl 0988.53001
[7] Bujalo, S. V., Shortest paths on convex hypersurfaces of a Riemannian space, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 66, 114-132, 207 (1976), Studies in topology, II, MR 0643664 · Zbl 0364.53024
[8] Buser, Peter, A note on the isoperimetric constant, Ann. Sci. École Norm. Sup. (4), 15, 2, 213-230 (1982), MR 683635 · Zbl 0501.53030
[9] Carron, Gilles, Riesz transform on manifolds with quadratic curvature decay, Rev. Mat. Iberoam., 33, 3, 749-788 (2017), MR 3713030 · Zbl 1379.58010
[10] Carron, Gilles; Coulhon, Thierry; Hassell, Andrew, Riesz transform and \(L^p\)-cohomology for manifolds with Euclidean ends, Duke Math. J., 133, 1, 59-93 (2006), MR 2219270 · Zbl 1106.58021
[11] Chen, Li, Sub-Gaussian heat kernel estimates and quasi Riesz transforms for \(1 \leq p \leq 2\), Publ. Mat., 59, 2, 313-338 (2015), MR 3374610 · Zbl 1331.58031
[12] Chen, Li; Coulhon, Thierry; Feneuil, Joseph; Russ, Emmanuel, Riesz transform for \(1 \leq p \leq 2\) without Gaussian heat kernel bound, J. Geom. Anal., 27, 2, 1489-1514 (2017), MR 3625161 · Zbl 1371.58015
[13] Cheng, Li-Juan; Thalmaier, Anton; Thompson, James, Quantitative \(C^1\)-estimates by Bismut formulae, J. Math. Anal. Appl., 465, 2, 803-813 (2018), MR 3809330 · Zbl 1394.35141
[14] Coulhon, Thierry; Duong, Xuan Thinh, Riesz transforms for \(1 \leq p \leq 2\), Trans. Amer. Math. Soc., 351, 3, 1151-1169 (1999), MR 1458299 · Zbl 0973.58018
[15] Coulhon, Thierry; Duong, Xuan Thinh, Riesz transform and related inequalities on noncompact Riemannian manifolds, Comm. Pure Appl. Math., 56, 12, 1728-1751 (2003), MR 2001444 · Zbl 1037.58017
[16] De Philippis, Guido; Núñez Zimbrón, Jesús, The behavior of harmonic functions at singular points of \(\mathsf{RCD}\) spaces (2019), arXiv:1909.05220, math.DG, ArXiv Preprint Server
[17] Eichhorn, Jürgen, Elliptic differential operators on noncompact manifolds, (Seminar Analysis of the Karl-Weierstrass-Institute of Mathematics, 1986/87 (Berlin, 1986/87). Seminar Analysis of the Karl-Weierstrass-Institute of Mathematics, 1986/87 (Berlin, 1986/87), Teubner-Texte Math., 106 (1988), Teubner, Leipzig), 4-169 · Zbl 0683.58045
[18] Eichhorn, Jürgen, Global Analysis on Open Manifolds, x+644 (2007), Nova Science Publishers, Inc., New York, MR 2343536 · Zbl 1188.58001
[19] Friedman, Avner, Partial Differential Equations, vi+262 (1969), Holt, Rinehart and Winston, Inc., New York-Montreal, Que.-London, MR 0445088 · Zbl 0224.35002
[20] Ghomi, Mohammad, The problem of optimal smoothing for convex functions, Proc. Amer. Math. Soc., 130, 8, 2255-2259 (2002), MR 1896406 · Zbl 0999.26008
[21] Guidetti, Davide; Güneysu, Batu; Pallara, Diego, \( L^1\)-elliptic regularity and \(H = W\) on the whole \(L^p\)-scale on arbitrary manifolds, Ann. Acad. Sci. Fenn. Math., 42, 1, 497-521 (2017), MR 3558546 · Zbl 1369.46027
[22] Güneysu, Batu, Covariant Schrödinger Semigroups on Riemannian Manifolds, Operator Theory: Advances and Applications, xviii+239 (2017), Birkhäuser/Springer, Cham, MR 3751359 · Zbl 1422.47048
[23] Güneysu, Batu; Pigola, Stefano, The Calderón-Zygmund inequality and Sobolev spaces on noncompact Riemannian manifolds, Adv. Math., 281, 353-393 (2015), MR 3366843 · Zbl 1320.53043
[24] Güneysu, Batu; Pigola, Stefano, \( L^p\)-interpolation inequalities and global Sobolev regularity results, Ann. Mat. Pura Appl. (4), 198, 1, 83-96 (2019), With an appendix by Ognjen Milatovic, MR 3918620 · Zbl 1418.46015
[25] Hebey, Emmanuel, Sobolev Spaces on Riemannian Manifolds, Lecture Notes in Mathematics, x+116 (1996), Springer-Verlag, Berlin, MR 1481970 · Zbl 0866.58068
[26] Hebey, Emmanuel, Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities, Courant Lecture Notes in Mathematics, x+309 (1999), New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, MR 1688256 · Zbl 0866.58068
[27] Heinonen, Juha; Koskela, Pekka; Shanmugalingam, Nageswari; Tyson, Jeremy T., Sobolev Spaces on metric measure spaces, New Mathematical Monographs, xii+434 (2015), Cambridge University Press, Cambridge, An approach based on upper gradients, MR 3363168 · Zbl 1332.46001
[28] Honda, Shouhei, Ricci Curvature and \(L^p\)-convergence, J. Reine Angew. Math., 705, 85-154 (2015), MR 3377391 · Zbl 1338.53064
[29] Debora Impera, Michele Rimoldi, Giona Veronelli, Density problems for second order Sobolev spaces and cut-off functions on manifolds with unbounded geometry, Int. Math. Res. Not. IMRN. Online first. DOI: http://dx.doi.org/10.1093/imrn/rnz131. · Zbl 1414.53033
[30] Impera, Debora; Rimoldi, Michele; Veronelli, Giona, Higher order distance-like functions and Sobolev spaces (2019), arXiv:1908.10951, math.DG, ArXiv Preprint Server · Zbl 1414.53033
[31] Korevaar, Nicholas J.; Schoen, Richard M., Global existence theorems for harmonic maps to non-locally compact spaces, Comm. Anal. Geom., 5, 2, 333-387 (1997), MR 1483983 · Zbl 0908.58007
[32] Li, Siran, Counterexamples to the \(L^p\)-Calderón-Zygmund estimate on open manifolds, Ann. Global Anal. Geom., 57, 1, 61-70 (2020), MR 4057451 · Zbl 1433.58020
[33] Marini, Ludovico; Veronelli, Giona, The \(L^p\) Calderón-Zygmund inequality on non-compact manifolds of positive curvature, Ann. Global Anal. Geom. (2020)
[34] Otsu, Yukio; Shioya, Takashi, The Riemannian structure of Alexandrov spaces, J. Differential Geom., 39, 3, 629-658 (1994), MR 1274133 · Zbl 0808.53061
[35] Petersen, Peter, Riemannian Geometry, Graduate Texts in Mathematics, xviii+499 (2016), Springer, Cham, MR 3469435 · Zbl 1417.53001
[36] Pigola, Stefano, Global Calderón-Zygmund inequalities on complete Riemannian manifolds (2020), arXiv:2011.03220, math.AP, ArXiv Preprint Server
[37] Saloff-Coste, Laurent, Aspects of Sobolev-Type Inequalities, London Mathematical Society Lecture Note Series, x+190 (2002), Cambridge University Press, Cambridge, MR 1872526 · Zbl 0991.35002
[38] Sampson, J. H., On a theorem of Chern, Trans. Amer. Math. Soc., 177, 141-153 (1973), MR 0317221 · Zbl 0249.53018
[39] Veronelli, Giona, Sobolev Functions without compactly supported approximations (2020), arXiv:2004.10682, math.AP, to appear in Anal. PDE. ArXiv Preprint Server · Zbl 1187.58022
[40] Yau, Shing Tung, Some function-theoretic properties of complete Riemannian manifold and their applications to geometry, Indiana Univ. Math. J., 25, 7, 659-670 (1976), MR 417452 · Zbl 0335.53041
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.