Search

The paper is devoted to prove Allard-Michael-Simon-type $L^p$-Sobolev $(p>1)$ inequalities with explicit constants on Euclidean submanifolds of any codimension. Such inequalities contain, beside the Dirichlet $p$-energy, a term involving the mean curvature of the submanifold. Our results require separate discussions for the cases $p\geq 2$ and $1

The paper is devoted to provide Michael-Simon-type $L^p$-logarithmic-Sobolev inequalities on complete, not necessarily compact $n$-dimensional submanifolds $\Sigma$ of the Euclidean space $\mathbb R^{n+m}$. Our first result, stated for $p=2$, is sharp, it is valid on general submanifolds, and it involves the mean curvature of $\Sigma$. It implies in particular the main result of S. Brendle [Comm. Pure Appl. Math.}, 2022]. In addition, it turns out that equality can only occur if and only if $\Sigma$ is isometric to the Euclidean space $\mathbb R^{n}$ and the extremizer is a Gaussian. The second result is a general $L^p$-logarithmic-Sobolev inequality for $p\geq 2$ on Euclidean submanifolds with constants that are codimension-free in case of minimal submanifolds. In order to prove the above results - especially, to deal with the equality cases - we elaborate the theory of optimal mass transport on submanifolds between measures that are not necessarily compactly supported. Applications are provided to sharp hypercontractivity estimates of Hopf-Lax semigroups on submanifolds. The first hypercontractivity estimate is for general submanifolds with bounded mean curvature vector, the second one is for self-similar shrinkers endowed with the natural Gaussian measure. The equality cases are characterized here as well., Comment: 41 pages

The validity of functional inequalities on Finsler metric measure manifolds is based on three non-Riemannian quantities, namely, the reversibility, flag curvature and $S$-curvature induced by the measure. Under mild assumptions on the reversibility and flag curvature, it turned out that famous functional inequalities -- as Hardy inequality, Heisenberg--Pauli--Weyl uncertainty principle and Caffarelli--Kohn--Nirenberg inequality -- usually hold on forward complete Finsler manifolds with non-positive $S$-curvature, cf. Huang, Krist\'aly and Zhao [Trans. Amer. Math. Soc., 2020]. In this paper however we prove that -- under similar assumptions on the reversibility and flag curvature as before -- the aforementioned functional inequalities fail whenever the $S$-curvature is positive. Accordingly, our results clearly reveal the deep dependence of functional inequalities on the $S$-curvature. As a consequence of these results, we establish surprising analytic aspects of Finsler manifolds: if the flag curvature is non-positive, the Ricci curvature is bounded from below and the $S$-curvature is positive, then the reversibility turns out to be infinite. Examples are presented on general Funk metric spaces, where the $S$-curvature plays again a decisive role., Comment: 33 pages

We study fine properties of the principal frequency of clamped plates in the (possibly singular) setting of metric measure spaces verifying the RCD(0,N) condition, i.e., infinitesimally Hilbertian spaces with non-negative Ricci curvature and dimension bounded above by N>1 in the synthetic sense. The initial conjecture -- an isoperimetric inequality for the principal frequency of clamped plates -- has been formulated in 1877 by Lord Rayleigh in the Euclidean case and solved affirmatively in dimensions 2 and 3 by Ashbaugh and Benguria [Duke Math. J., 1995] and Nadirashvili [Arch. Rat. Mech. Anal., 1995]. The main contribution of the present work is a new isoperimetric inequality for the principal frequency of clamped plates in RCD(0,N) spaces whenever N is close enough to 2 or 3. The inequality contains the so-called ``asymptotic volume ratio", and turns out to be sharp under the subharmonicity of the distance function, a condition satisfied in metric measure cones. In addition, rigidity (i.e., equality in the isoperimetric inequality) and stability results are established in terms of the cone structure of the RCD(0,N) space as well as the shape of the eigenfunction for the principal frequency, given by means of Bessel functions. These results are new even for Riemannian manifolds with non-negative Ricci curvature. We discuss examples of both smooth and non-smooth spaces where the results can be applied., Comment: 30 pages

We establish various Hardy inequalities involving the distance function from submanifolds of Riemannian manifolds, where the natural weights are expressed in terms of bounds of the mean curvature of the submanifold and sectional/Ricci curvature of the ambient Riemannian manifold. Our approach is based on subtle Heintze-Karcher-type Laplace comparisons of the distance function and on a D'Ambrosio-Dipierro-type weak divergence formula for suitable vector fields, providing Barbatis-Filippas-Tertikas-type Hardy inequalities in the curved setting. Under very mild assumptions, we also establish the sharpness and non-existence of extremal functions within the Hardy inequalities and - depending on the geometry of the ambient manifold - their extensibility to various function spaces. Several examples are provided by showing the applicability of our approach; in particular, well-known Hardy inequalities appear as limit cases of our new inequalities., Comment: 40 pages

In their seminal work, Cordero-Erausquin, Nazaret and Villani [Adv. Math., 2004] proved sharp Sobolev inequalities in Euclidean spaces via Optimal Mass Transportation, raising the question whether their approach is powerful enough to produce sharp Sobolev inequalities also on Riemannian manifolds. In this paper we affirmatively answer their question for Riemannian manifolds with non-negative Ricci curvature; namely, by using Optimal Mass Transportation with quadratic distance cost, sharp $L^p$-Sobolev and $L^p$-logarithmic Sobolev inequalities (both for $p>1$ and $p=1$) are established, where the optimal constants contain the asymptotic volume growth arising from precise asymptotic properties of the Talentian and Gaussian bubbles. As a byproduct, we give an alternative, elementary proof to the main result of do Carmo and Xia [Compos. Math., 2004] (and subsequent results) concerning the quantitative volume non-collapsing estimates on Riemannian manifolds with non-negative Ricci curvature that support certain Sobolev inequalities., Comment: 21 pages; to appear in Calculus of Variations and Partial Differential Equations

The goal of this paper is to provide sharp spectral gap estimates for problems involving higher-order operators (including both the clamped and buckling plate problems) on Cartan-Hadamard manifolds. The proofs are symmetrization-free -- thus no sharp isoperimetric inequality is needed -- based on two general, yet elementary functional inequalities. The spectral gap estimate for clamped plates solves a sharp asymptotic problem from Cheng and Yang [Proc. Amer. Math. Soc., 2011] concerning the behavior of higher-order eigenvalues on hyperbolic spaces, and answers a question raised in Krist\'aly [Adv. Math., 2020] on the validity of such sharp estimates in high-dimensional Cartan-Hadamard manifolds. As a byproduct of the general functional inequalities, various Rellich inequalities are established in the same geometric setting., Comment: 13 pages; to appear in Communications in Contemporary Mathematics (https://doi.org/10.1142/S0219199724500135)

We present a generic functional inequality on Riemannian manifolds, both in additive and multiplicative forms, that produces well known and genuinely new Hardy-type inequalities. For the additive version, we introduce Riccati pairs that extend Bessel pairs developed by Ghoussoub and Moradifam (Proc. Natl. Acad. Sci. USA, 2008 & Math.A nn., 2011). This concept enables us to give very short/elegant proofs of a number of celebrated functional inequalities on Riemannian manifolds with sectional curvature bounded from above by simply solving a Riccati-type ODE. Among others, we provide alternative proofs for Caccioppoli inequalities, Hardy-type inequalities and their improvements, spectral gap estimates, interpolation inequalities, and Ghoussoub-Moradifam-type weighted inequalities. Concerning the multiplicative form, we prove sharp uncertainty principles on Cartan-Hadamard manifolds, i.e., Heisenberg-Pauli-Weyl uncertainty principles, Hydrogen uncertainty principles and Caffarelli-Kohn-Nirenberg inequalities. Some sharpness and rigidity phenomena are also discussed., Comment: 31 pages, final version; to appear in Mathematische Annalen

Given $p,N>1,$ we prove the sharp $L^p$-log-Sobolev inequality on noncompact metric measure spaces satisfying the ${\sf CD}(0,N)$ condition, where the optimal constant involves the asymptotic volume ratio of the space. This proof is based on a sharp isoperimetric inequality in ${\sf CD}(0,N)$ spaces, symmetrisation, and a careful scaling argument. As an application we establish a sharp hypercontractivity estimate for the Hopf-Lax semigroup in ${\sf CD}(0,N)$ spaces. The proof of this result uses Hamilton-Jacobi inequality and Sobolev regularity properties of the Hopf-Lax semigroup, which turn out to be essential in the present setting of nonsmooth and noncompact spaces. Furthermore, a sharp Gaussian-type $L^2$-log-Sobolev inequality is also obtained in ${\sf RCD}(0,N)$ spaces. Our results are new, even in the smooth setting of Riemannian/Finsler manifolds. In particular, an extension of the celebrated rigidity result of Ni (J. Geom. Anal., 2004) on Riemannian manifolds will be a simple consequence of our sharp log-Sobolev inequality., Comment: Published in J. Funct. Anal

We prove Gagliardo-Nirenberg inequalities with three weights -- verifying a joint concavity condition -- on open convex cones of $\mathbb R^n$. If the weights are equal to each other the inequalities become sharp and we compute explicitly the sharp constants. For a certain range of parameters we can characterize the class of extremal functions; in this case, we also show that the sharpness in the main three-weighted Gagliardo-Nirenberg inequality implies that the weights must be equal up to some constant multiplicative factors. Our approach uses optimal mass transport theory and a careful analysis of the joint concavity condition of the weights. As applications we establish sharp weighted $p$-log-Sobolev, Faber-Krahn and isoperimetric inequalities with explicit sharp constants., Comment: 34 pages

We investigate a large class of elliptic differential inclusions on non-compact complete Riemannian manifolds which involves the Laplace-Beltrami operator and a Hardy-type singular term. Depending on the behavior of the nonlinear term and on the curvature of the Riemannian manifold, we guarantee non-existence and existence/multiplicity of solutions for the studied differential inclusion. The proofs are based on nonsmooth variational analysis as well as isometric actions and fine eigenvalue properties on Riemannian manifolds. The results are also new in the smooth setting., Comment: 18 pages

We affirmatively solve the analogue of Lord Rayleigh's conjecture on Riemannian manifolds with positive Ricci curvature for any clamped plates in 2 and 3 dimensions, and for sufficiently large clamped plates in dimensions beyond 3. These results complement those from the flat (M. Ashbaugh & R. Benguria, 1995, and N. Nadirashvili, 1995) and negatively curved (A. Krist\'aly, 2020) cases that are valid only in 2 and 3 dimensions, and at the same time also provide the first positive answer to Lord Rayleigh's conjecture in higher dimensions. The proofs rely on an Ashbaugh-Benguria-Nadirashvili-Talenti nodal-decomposition argument, on the L\'evy-Gromov isoperimetric inequality, on fine properties of Gaussian hypergeometric functions and on sharp spectral gap estimates of fundamental tones for both small and large clamped spherical caps. Our results show that positive curvature enhances genuine differences between low- and high-dimensional settings, a tacitly accepted paradigm in the theory of vibrating clamped plates. In the limit case - when the Ricci curvature is non-negative - we establish a Lord Rayleigh-type isoperimetric inequality that involves the asymptotic volume ratio of the non-compact complete Riemannian manifold; moreover, the inequality is strongly rigid in 2 and 3 dimensions, i.e., if equality holds for a given clamped plate then the manifold is isometric to the Euclidean space., Comment: 44 pages; 4 figures; 3 tables. To appear in Geometric And Functional Analysis (GAFA)

We present the isometry between the 2-dimensional Funk model and the Finsler-Poincar\'e disk. Then, we introduce the Finslerian Poincar\'e upper half plane model, which turns out to be also isometrically equivalent to the previous models. As application, we state the gapless character of the first eigenvalue for the aforementioned three spaces., Comment: IEEE 15th International Symposium on Applied Computational Intelligence and Informatics, Timisoara, Romania

By using optimal mass transport theory, we provide a direct proof to the sharp $L^p$-log-Sobolev inequality $(p\geq 1)$ involving a log-concave homogeneous weight on an open convex cone $E\subseteq \mathbb R^n$. The perk of this proof is that it allows to characterize the extremal functions realizing the equality cases in the $L^p$-log-Sobolev inequality. The characterization of the equality cases is new for $p\geq n$ even in the unweighted setting and $E=\mathbb R^n$. As an application, we provide a sharp weighted hypercontractivity estimate for the Hopf-Lax semigroup related to the Hamilton-Jacobi equation, characterizing also the equality cases., Comment: 36 pages; to appear in Transactions of the American Mathematical Society

Combining the sharp isoperimetric inequality established by Z. Balogh and A. Krist\'aly [Math. Ann., in press, doi:10.1007/s00208-022-02380-1] with an anisotropic symmetrization argument, we establish sharp Morrey-Sobolev inequalities on $n$-dimensional Finsler manifolds having nonnegative $n$-Ricci curvature. A byproduct of this method is a Hardy-Sobolev-type inequality in the same geometric setting. As applications, by using variational arguments, we guarantee the existence/multiplicity of solutions for certain eigenvalue problems and elliptic PDEs involving the Finsler-Laplace operator. Our results are also new in the Riemannian setting., Comment: 18 pages; to appear in Comm. Contemp. Math

The paper is devoted to the study of Gromov-Hausdorff convergence and stability of irreversible metric-measure spaces, both in the compact and noncompact cases. While the compact setting is mostly similar to the reversible case developed by J. Lott, K.-T. Sturm and C. Villani, the noncompact case provides various surprising phenomena. Since the reversibility of noncompact irreversible spaces might be infinite, it is motivated to introduce a suitable nondecreasing function that bounds the reversibility of larger and larger balls. By this approach, we are able to prove satisfactory convergence/stability results in a suitable -- reversibility depending -- Gromov-Hausdorff topology. A wide class of irreversible spaces is provided by Finsler manifolds, which serve to construct various model examples by pointing out genuine differences between the reversible and irreversible settings. We conclude the paper by proving various geometric and functional inequalities (as Brunn-Minkowski, Bishop-Gromov, log-Sobolev and Lichnerowicz inequalities) on irreversible structures., Comment: 65 pages

By using optimal mass transport theory we prove a sharp isoperimetric inequality in ${\sf CD} (0,N)$ metric measure spaces assuming an asymptotic volume growth at infinity. Our result extends recently proven isoperimetric inequalities for normed spaces and Riemannian manifolds to a nonsmooth framework. In the case of $n$-dimensional Riemannian manifolds with nonnegative Ricci curvature, we outline an alternative proof of the rigidity result of S. Brendle (2021). As applications of the isoperimetric inequality, we establish Sobolev and Rayleigh-Faber-Krahn inequalities with explicit sharp constants in Riemannian manifolds with nonnegative Ricci curvature; here we use appropriate symmetrization techniques and optimal volume non-collapsing properties. The equality cases in the latter inequalities are also characterized by stating that sufficiently smooth, nonzero extremal functions exist if and only if the Riemannian manifold is isometric to the Euclidean space., Comment: 23 pages; the paper has been shortened, changing also its title. To appear in Mathematische Annalen

We establish a bipolar Hardy inequality on complete, not necessarily reversible Finsler manifolds. We show that our result strongly depends on the geometry of the Finsler structure, namely on the reversibility constant $r_F$ and the uniformity constant $l_F$. Our result represents a Finslerian counterpart of the Euclidean multipolar Hardy inequality due to Cazacu and Zuazua (2013) and the Riemannian case considered by Faraci, Farkas and Krist\'aly (2018).

Given a complete non-compact Riemannian manifold $(M,g)$ with certain curvature restrictions, we introduce an expansion condition concerning a group of isometries $G$ of $(M,g)$ that characterizes the coerciveness of $G$ in the sense of Skrzypczak and Tintarev (Arch. Math., 2013). Furthermore, under these conditions, compact Sobolev-type embeddings \`a la Berestycki-Lions are proved for the full range of admissible parameters (Sobolev, Moser-Trudinger and Morrey). We also consider the case of non-compact Randers-type Finsler manifolds with finite reversibility constant inheriting similar embedding properties as their Riemannian companions; sharpness of such constructions are shown by means of the Funk model. As an application, a quasilinear PDE on Randers spaces is studied by using the above compact embeddings and variational arguments., Comment: 24 pages

Using optimal mass transport arguments, we prove weighted Sobolev inequalities of the form \[\left(\int_E |u(x)|^q\,\omega(x) \,dx\right)^{1/q}\leq K_0\,\left(\int_E |\nabla u(x)|^p\,\sigma(x)\,dx\right)^{1/p},\ \ u\in C_0^\infty(\mathbb R^n),\ \ \ \ \ \ {\rm (WSI)}\] where $p\geq 1$ and $q>0$ is the corresponding Sobolev critical exponent. Here $E\subseteq \mathbb R^n$ is an open convex cone, and $\omega,\sigma:E\to (0,\infty)$ are two homogeneous weights verifying a general concavity-type structural condition. The constant $K_0= K_0(n, p, q, \omega, \sigma) >0$ is given by an explicit formula. Under mild regularity assumptions on the weights, we also prove that $K_0$ is optimal in (WSI) if and only if $\omega$ and $\sigma$ are equal up to a multiplicative factor. Several previously known results, including the cases for monomials and radial weights, are covered by our statement. Further examples and applications to PDEs are also provided., Comment: 35 pages; some references are updated. To appear in the Proceedings of the London Mathematical Society

Motivated by mechanical problems where external forces are non-smooth, we consider the differential inclusion problem \[ \begin{cases} -\Delta u(x)\in \partial F(u(x))+\lambda \partial G(u(x))\ \mbox{in}\ \Omega \newline u\geq 0\ \mbox{in}\ \Omega \newline u= 0\ \mbox{on}\ \partial\Omega, \end{cases} \ \ \ \ \ \ \ \ \ \ \ \ {({\mathcal D}_\lambda)} \] where $\Omega \subset {\mathbb R}^n$ is a bounded open domain, and $\partial F$ and $\partial G$ stand for the generalized gradients of the locally Lipschitz functions $F$ and $G$. In this paper we provide a quite complete picture on the number of solutions of $({\mathcal D}_\lambda)$ whenever $\partial F$ oscillates near the origin/infinity and $\partial G$ is a generic perturbation of order $p>0$ at the origin/infinity, respectively. Our results extend in several aspects those of Krist\'aly and Moro\c{s}anu [J. Math. Pures Appl., 2010]., Comment: to appear in Nonlinear Analysis TMA

We study Lord Rayleigh's problem for clamped plates on an arbitrary $n$-dimensional $(n\geq 2)$ Cartan-Hadamard manifold $(M,g)$ with sectional curvature $\textbf{K}\leq -\kappa^2$ for some $\kappa\geq 0.$ We first prove a McKean-type spectral gap estimate, i.e. the fundamental tone of any domain in $(M,g)$ is universally bounded from below by $\frac{(n-1)^4}{16}\kappa^4$ whenever the $\kappa$-Cartan-Hadamard conjecture holds on $(M,g)$, e.g. in 2- and 3-dimensions due to Bol (1941) and Kleiner (1992), respectively. In 2- and 3-dimensions we prove sharp isoperimetric inequalities for sufficiently small clamped plates, i.e. the fundamental tone of any domain in $(M,g)$ of volume $v>0$ is not less than the corresponding fundamental tone of a geodesic ball of the same volume $v$ in the space of constant curvature $-\kappa^2$ provided that $v\leq c_n/\kappa^n$ with $c_2\approx 21.031$ and $c_3\approx 1.721$, respectively. In particular, Rayleigh's problem in Euclidean spaces resolved by Nadirashvili (1992) and Ashbaugh and Benguria (1995) appears as a limiting case in our setting (i.e. $\textbf{K}\equiv\kappa=0$). The sharpness of our results requires the validity of the $\kappa$-Cartan-Hadamard conjecture (i.e. sharp isoperimetric inequality on $(M,g)$) and peculiar properties of the Gaussian hypergeometric function, both valid only in dimensions 2 and 3; nevertheless, some nonoptimal estimates of the fundamental tone of arbitrary clamped plates are also provided in high-dimensions. As an application, by using the sharp isoperimetric inequality for small clamped hyperbolic discs, we give necessarily and sufficient conditions for the existence of a nontrivial solution to an elliptic PDE involving the biharmonic Laplace-Beltrami operator., Comment: 28 pages, 3 figures, 2 tables. To appear in Advances in Mathematics

Let $(M,g)$ be an $n$-dimensional $(n\geq 3)$ compact Riemannian manifold with Ric$_{(M,g)}\geq (n-1)g$. If $(M,g)$ supports an AB-type critical Sobolev inequality with Sobolev constants close to the optimal ones corresponding to the standard unit sphere $(\mathbb S^n,g_0)$, we prove that $(M,g)$ is topologically close to $(\mathbb S^n,g_0)$. Moreover, the Sobolev constants on $(M,g)$ are precisely the optimal constants on the sphere $(\mathbb S^n,g_0)$ if and only if $(M,g)$ is isometric to $(\mathbb S^n,g_0)$; in particular, the latter result answers a question of V.H. Nguyen., Comment: 7 pages

In this paper we investigate the spectral problem in Finsler geometry. Due to the nonlinearity of the Finsler-Laplacian operator, we introduce \textit{faithful dimension pairs} by means of which the spectrum of a compact reversible Finsler metric measure manifold is defined. Various upper and lower bounds of such eigenvalues are provided in the spirit of Cheng, Buser and Gromov, which extend in several aspects the results of Hassannezhad, Kokarev and Polterovich. Moreover, we construct several faithful dimension pairs based on Lusternik-Schnirelmann category, Krasnoselskii genus and essential dimension, respectively; however, we also show that the Lebesgue covering dimension pair is not faithful. As an application, we show that the Bakry-\'Emery spectrum of a closed weighted Riemannian manifold can be characterized by the faithful Lusternik-Schnirelmann dimension pair.

The paper is devoted to sharp uncertainty principles (Heisenberg-Pauli-Weyl, Caffarelli-Kohn-Nirenberg and Hardy inequalities) on forward complete Finsler manifolds endowed with an arbitrary measure. Under mild assumptions, the existence of extremals corresponding to the sharp constants in the Heisenberg-Pauli-Weyl and Caffarelli-Kohn-Nirenberg inequalities fully characterizes the nature of the Finsler manifold in terms of three non-Riemannian quantities, namely, its reversibility and the vanishing of the flag curvature and $S$-curvature induced by the measure, respectively. It turns out in particular that the Busemann-Hausdorff measure is the optimal one in the study of sharp uncertainty principles on Finsler manifolds. The optimality of our results are supported by Randers-type Finslerian examples originating from the Zermelo navigation problem., Comment: 29 pages; some references have been added; to appear in Trans. Amer. Math. Soc

This paper is devoted to investigate an interpolation inequality between the Brezis-V\'azquez and Poincar\'e inequalities (shortly, BPV inequality) on nonnegatively curved spaces. As a model case, we first prove that the BPV inequality holds on any Minkowski space, by fully characterizing the existence and shape of its extremals. We then prove that if a complete Finsler manifold with nonnegative Ricci curvature supports the BPV inequality, then its flag curvature is identically zero. In particular, we deduce that a Berwald space of nonnegative Ricci curvature supports the BPV inequality if and only if it is isometric to a Minkowski space. Our arguments explore fine properties of Bessel functions, comparison principles, and anisotropic symmetrization on Minkowski spaces. As an application, we characterize the existence of nonzero solutions for a quasilinear PDE involving the Finsler-Laplace operator and a Hardy-type singularity on Minkowski spaces where the sharp BPV inequality plays a crucial role. The results are also new in the Riemannian/Euclidean setting., Comment: to appear in J. Differential Equations

In this paper we fully characterize the sequentially weakly lower semicontinuity of the parameter-depending energy functional associated with the critical Kirchhoff problem. We also establish sufficient criteria with respect to the parameters for the convexity and validity of the Palais-Smale condition of the same energy functional. We then apply these regularity properties in the study of some elliptic problems involving the critical Kirchhoff term., Comment: 13 pages; 3 figures

The paper is devoted to the study of fine properties of the first eigenvalue on negatively curved spaces. First, depending on the parity of the space dimension, we provide asymptotically sharp harmonic-type expansions of the first eigenvalue for large geodesic balls in the model $n$-dimensional hyperbolic space, complementing the results of Borisov and Freitas (\textit{Comm. Anal. Geom.} 25: 507--544, 2017). We then give a synthetic proof of Cheng's sharp eigenvalue comparison theorem in metric measure spaces satisfying a 'negatively curved' Bishop-Gromov-type volume monotonicity hypothesis. As a byproduct, we provide an example of simply connected, non-compact Finsler manifold with constant negative flag curvature whose first eigenvalue is zero; this result is in a sharp contrast with its celebrated Riemannian counterpart due to McKean (\textit{J. Differential Geom.} 4: 359--366, 1970). Our proofs are based on specific properties of the Gaussian hypergeometric function combined with intrinsic aspects of the negatively curved smooth/non-smooth spaces., Comment: 22 pages

In this paper we prove the Poincar\'e lemma on some $n$-dimensional corank 1 sub-Riemannian structures, formulating the $\frac{(n-1)n(n^2+3n-2)}{8}$ necessarily and sufficiently 'curl-vanishing' compatibility conditions. In particular, this result solves partially an open problem formulated by Calin and Chang. Our proof is based on a Poincar\'e lemma stated on Riemannian manifolds and a suitable Ces\`aro-Volterra path integral formula established in local coordinates. As a byproduct, a Saint-Venant lemma is also provided on generic Riemannian manifolds. Some examples are presented on the hyperbolic space and Carnot/Heisenberg groups., Comment: 17 pages; to appear in Chinese Annals of Mathematics, Series B (Special issue in honor of P. G. Ciarlet)

We prove that the fractional Yamabe equation $\mathcal L_\gamma u=|u|^\frac{4\gamma}{Q-2\gamma}u$ on the Heisenberg group $\mathbb H^n$ has $[\frac{n+1}{2}]$ sequences of nodal (sign-changing) weak solutions whose elements have mutually different nodal properties, where $\mathcal L_\gamma$ denotes the CR fractional sub-Laplacian operator on $\mathbb H^n$, $Q=2n+2$ is the homogeneous dimension of $\mathbb H^n$, and $\gamma\in \bigcup_{k=1}^n[k,\frac{kQ}{Q-1})$. Our argument is variational, based on a Ding-type conformal pulling-back transformation of the original problem into a problem on the CR sphere $S^{2n+1}$ combined with a suitable Hebey-Vaugon-type compactness result and group-theoretical constructions for special subgroups of the unitary group ${\bf U}(n+1).$, Comment: 14 pages; to appear in Proceedings of the Royal Society of Edinburgh. Section A. Mathematics

By using optimal mass transportation and a quantitative H\"older inequality, we provide estimates for the Borell-Brascamp-Lieb deficit on complete Riemannian manifolds. Accordingly, equality cases in Borell-Brascamp-Lieb inequalities (including Brunn-Minkowski and Pr\'ekopa-Leindler inequalities) are characterized in terms of the optimal transport map between suitable marginal probability measures. These results provide several qualitative applications both in the flat and non-flat frameworks. In particular, by using Caffarelli's regularity result for the Monge-Amp\`ere equation, we {give a new proof} of Dubuc's characterization of the equality in Borell-Brascamp-Lieb inequalities in the Euclidean setting. When the $n$-dimensional Riemannian manifold has Ricci curvature ${\rm Ric}(M)\geq (n-1)k$ for some $k\in \mathbb R$, it turns out that equality in the Borell-Brascamp-Lieb inequality is expected only when a particular region of the manifold between the marginal supports has constant sectional curvature $k$. A precise characterization is provided for the equality in the Lott-Sturm-Villani-type distorted Brunn-Minkowski inequality on Riemannian manifolds. Related results for (not necessarily reversible) Finsler manifolds are also presented., Comment: 28 pages (with 1 figure); to appear in Advances in Mathematics

We establish a weighted pointwise Jacobian determinant inequality on corank 1 Carnot groups related to optimal mass transportation akin to the work of Cordero-Erausquin, McCann and Schmuckenschl\"ager. In this setting, the presence of abnormal geodesics does not allow the application of the general sub-Riemannian optimal mass transportation theory developed by Figalli and Rifford and we need to work with a weaker notion of Jacobian determinant. Nevertheless, our result achieves a transition between Euclidean and sub-Riemannian structures, corresponding to the mass transportation along abnormal and strictly normal geodesics, respectively. The weights appearing in our expression are distortion coefficients that reflect the delicate sub-Riemannian structure of our space. As applications, entropy, Brunn-Minkowski and Borell-Brascamp-Lieb inequalities are established on Carnot groups., Comment: to appear in Journal of Functional Analysis

We prove multipolar Hardy inequalities on complete Riemannian manifolds, providing various curved counterparts of some Euclidean multipolar inequalities due to Cazacu and Zuazua [Improved multipolar Hardy inequalities, 2013]. We notice that our inequalities deeply depend on the curvature, providing (quantitative) information about the deflection from the flat case. By using these inequalities together with variational methods and group-theoretical arguments, we also establish non-existence, existence and multiplicity results for certain Schr\"odinger-type problems involving the Laplace-Beltrami operator and bipolar potentials on Cartan-Hadamard manifolds and on the open upper hemisphere, respectively., Comment: 18 pages; accepted for publication in ESAIM - Control, Optimisation and Calculus of Variations

Let $(M,g)$ be an $n-$dimensional complete open Riemannian manifold with nonnegative Ricci curvature verifying $\rho\Delta_g \rho \geq n- 5\geq 0$, where $\Delta_g$ is the Laplace-Beltrami operator on $(M,g)$ and $\rho$ is the distance function from a given point. If $(M,g)$ supports a second-order Sobolev inequality with a constant $C>0$ close to the optimal constant $K_0$ in the second-order Sobolev inequality in $\mathbb R^n$, we show that a global volume non-collapsing property holds on $(M,g)$. The latter property together with a Perelman-type construction established by Munn (J. Geom. Anal., 2010) provide several rigidity results in terms of the higher-order homotopy groups of $(M,g)$. Furthermore, it turns out that $(M,g)$ supports the second-order Sobolev inequality with the constant $C=K_0$ if and only if $(M,g)$ is isometric to the Euclidean space $\mathbb R^n$., Comment: 10 pages; to appear in Bulletin of the London Mathematical Society

We establish geometric inequalities in the sub-Riemannian setting of the Heisenberg group $\mathbb H^n$. Our results include a natural sub-Riemannian version of the celebrated curvature-dimension condition of Lott-Villani and Sturm and also a geodesic version of the Borell-Brascamp-Lieb inequality akin to the one obtained by Cordero-Erausquin, McCann and Schmuckenschl\"ager. The latter statement implies sub-Riemannian versions of the geodesic Pr\'ekopa-Leindler and Brunn-Minkowski inequalities. The proofs are based on optimal mass transportation and Riemannian approximation of $\mathbb H^n$ developed by Ambrosio and Rigot. These results refute a general point of view, according to which no geometric inequalities can be derived by optimal mass transportation on singular spaces., Comment: to appear in Calculus of Variations and Partial Differential Equations (42 pages, 1 figure)

In this paper two metric properties on geodesic length spaces are introduced by means of the metric projection, studying their validity on Alexandrov and Busemann NPC spaces. In particular, we prove that both properties characterize the non-positivity of the sectional curvature on Riemannian manifolds. Further results are also established on reversible/non-reversible Finsler-Minkowski spaces.

In this paper we consider the model semilinear Neumann system $$\left\{ \begin{array}{lll} -\Delta u+a(x)u=\lambda c(x) F_u(u,v)& {\rm in} & \Omega,\\ -\Delta v+b(x)v=\lambda c(x) F_v(u,v)& {\rm in} & \Omega,\\ \frac{\partial u}{\partial \nu}=\frac{\partial v}{\partial \nu}=0 & {\rm on} & \partial\Omega, \end{array}\right.$$ where $\Omega\subset \mathbb R^N$ is a smooth open bounded domain, $\nu$ denotes the outward unit normal to $\partial \Omega$, $\lambda\geq 0$ is a parameter, $a,b,c\in L_+^\infty(\Omega)\setminus\{0\},$ and $F\in C^1(\mathbb{R}^2,\mathbb{R})\setminus\{0\}$ is a nonnegative function which is subquadratic at infinity. Two nearby numbers are determined in explicit forms, $\underline \lambda$ and $\overline \lambda$ with $ 0<\underline\lambda\leq \overline \lambda$, such that for every $0\leq \lambda<\underline \lambda$, system $(N_\lambda)$ has only the trivial pair of solution, while for every $\lambda>\overline \lambda$, system $(N_\lambda)$ has at least two distinct nonzero pairs of solutions.

Motivated by Nash equilibrium problems on 'curved' strategy sets, the concept of Nash-Stampacchia equilibrium points is introduced via variational inequalities on Riemannian manifolds. Characterizations, existence, and stability of Nash-Stampacchia equilibria are studied when the strategy sets are compact/noncompact geodesic convex subsets of Hadamard manifoleds, exploiting two well-known geometrical features of these spaces both involving the metric projection map. These properties actually characterize the {non-positivity} of the sectional curvature of complete and simply connected Riemannian spaces, delimiting the Hadamard manifolds as the optimal geometrical framework of Nash-Stampacchia equilibrium problems. Our analytical approach exploits various elements from set-valued and variational analysis, dynamical systems, and non-smooth calculus on Riemannian manifolds. Examples are presented on the Poincar\'e upper-plane model and on the open convex cone of symmetric positive definite matrices endowed with the trace-type Killing form., Comment: Published in: J. Math. Pures Appl. (9) 101 (2014), no. 5, 660-688

In this paper we study the coupled Schr\"odinger-Maxwell system $$\left\{ \begin{array}{lll} -\triangle u+u +\phi u=\lambda \alpha(x) f(u)& {\rm in} & \mathbb R^3,\\ -\triangle \phi =u^2 & {\rm in} & \mathbb R^3, \end{array}\right. $$ where $\alpha\in L^\infty(\mathbb R^3)\cap L^{6/(5-q)}(\mathbb R^3)$ for some $q\in (0,1)$, and the continuous function $f:\mathbb{R}\to\mathbb{R}$ is superlinear at zero and sublinear at infinity, e.g., $f(s) = \min(|s|^r,|s|^p)$ with $00$, non-existence and multiplicity results are obtained.

In the first part of the paper we study the reflexivity of Sobolev spaces on non-compact and not necessarily reversible Finsler manifolds. Then, by using direct methods in the calculus of variations, we establish uniqueness, location and rigidity results for singular Poisson equations involving the Finsler-Laplace operator on Finsler-Hadamard manifolds having finite reversibility constant., Comment: Published in: Calc. Var. Partial Differential Equations 54 (2015), no. 2, 1219-1241

In this paper we study nonlinear Schr\"odinger-Maxwell systems on $n-$dimensional Hadamard manifolds, $3\leq n\leq 5.$ The main difficulty resides in the lack of compactness of such manifolds which is recovered by exploring suitable isometric actions. By combining variational arguments, some existence, uniqueness and multiplicity of isometry-invariant weak solutions are established for the Schr\"odinger-Maxwell system depending on the behavior of the nonlinear term., Comment: 21 pages

In the first part of the paper we investigate some geometric features of Moser-Trudinger inequalities on complete non-compact Riemannian manifolds. By exploring rearrangement arguments, isoperimetric estimates, and gluing local uniform estimates via Gromov's covering lemma, we provide a Coulhon, Saloff-Coste and Varopoulos type characterization concerning the validity of Moser-Trudinger inequalities on complete non-compact $n-$dimensional Riemannian manifolds $(n\geq 2)$ with Ricci curvature bounded from below. Some sharp consequences are also presented both for non-negatively and non-positively curved Riemannian manifolds, respectively. In the second part, by combining variational arguments and a Lions type symmetrization-compactness principle, we guarantee the existence of a non-zero isometry-invariant solution for an elliptic problem involving the $n-$Laplace-Beltrami operator and a critical nonlinearity on $n-$dimensional homogeneous Hadamard manifolds. Our results complement in several directions those of Y. Yang [J. Funct. Anal., 2012]., Comment: 29 pages; to appear in Journal of Functional Analysis

We study Sobolev spaces on the $n-$dimensional unit ball $B^n(1)$ endowed with a parameter-depending Finsler metric $F_a$, $a\in [0,1],$ which interpolates between the Klein metric $(a=0)$ and Funk metric $(a=1)$, respectively. We show that the standard Sobolev space defined on the Finsler manifold $(B^n(1),F_a)$ is a vector space if and only if $a\in [0,1).$ Furthermore, by exploiting variational arguments, we provide non-existence and existence results for sublinear elliptic problems on $(B^n(1),F_a)$ involving the Finsler-Laplace operator whenever $a\in [0,1).$, Comment: 14 pages

Two Morrey-Sobolev inequalities (with support-bound and $L^1-$bound, respectively) are investigated on complete Riemannian manifolds with their sharp constants in $\mathbb R^n$. We prove the following results in both cases: $\bullet$ If $(M,g)$ is a {\it Cartan-Hadamard manifold} which verifies the $n-$dimensional Cartan-Hadamard conjecture, sharp Morrey-Sobolev inequalities hold on $(M,g)$. Moreover, extremals exist if and only if $(M,g)$ is isometric to the standard Euclidean space $(\mathbb R^n,e)$. $\bullet$ If $(M,g)$ has {\it non-negative Ricci curvature}, $(M,g)$ supports the sharp Morrey-Sobolev inequalities if and only if $(M,g)$ is isometric to $(\mathbb R^n,e)$., Comment: 15 pages, in press (Potential Analysis, 2014)

Various results based on some convexity assumptions (involving the exponential map along with affine maps, geodesics and convex hulls) have been recently established on Hadamard manifolds. In this paper we prove that these conditions are mutually equivalent and they hold if and only if the Hadamard manifold is isometric to the Euclidean space. In this way, we show that some results in the literature obtained on Hadamard manifolds are actually nothing but their well known Euclidean counterparts., Comment: 6 pages, 1 figure

Let $({M},\textsf{d},\textsf{m})$ be a metric measure space which satisfies the Lott-Sturm-Villani curvature-dimension condition $\textsf{CD}(K,n)$ for some $K\geq 0$ and $n\geq 2$, and a lower $n-$density assumption at some point of $M$. We prove that if $({M},\textsf{d},\textsf{m})$ supports the Gagliardo-Nirenberg inequality or any of its limit cases ($L^p-$logarithmic Sobolev inequality or Faber-Krahn-type inequality), then a global non-collapsing $n-$dimensional volume growth holds, i.e., there exists a universal constant $C_0>0$ such that $\textsf{m}( B_x(\rho))\geq C_0 \rho^n$ for all $x\in {M}$ and $\rho\geq 0,$ where $B_x(\rho)=\{y\in M:{\sf d}(x,y)<\rho\}$. Due to the quantitative character of the volume growth estimate, we establish several rigidity results on Riemannian manifolds with non-negative Ricci curvature supporting Gagliardo-Nirenberg inequalities by exploring a quantitative Perelman-type homotopy construction developed by Munn (J. Geom. Anal., 2010). Further rigidity results are also presented on some reversible Finsler manifolds., Comment: 21 pages [The whole class of Gagliardo-Nirenberg inequalities is considered on metric measure spaces w.r.t. the first version, where only one of the limiting cases was discussed.] To appear in Calculus of Variations and Partial Differential Equations

In this paper we are dealing with quantitative Rellich inequalities on Finsler-Hadamard manifolds where the remainder terms are expressed by means of the flag curvature. By exploring various arguments from Finsler geometry and PDEs on manifolds we show that more weighty curvature implies more powerful improvements in Rellich inequalities. The sharpness of the involved constants are also studied. Our results complement those of Yang, Su and Kong [Commun. Contemp. Math., 2014]., Comment: 14 pages. To appear in Communications in Contemporary Mathematics

We present a rigidity scenario for complete Riemannian manifolds supporting the Heisenberg-Pauli-Weyl uncertainty principle with the sharp constant in $\mathbb R^n$ (shortly, sharp HPW principle). Our results deeply depend on the curvature of the Riemannian manifold which can be roughly formulated as follows: (a) When $(M,g)$ has non-positive sectional curvature, the sharp HPW principle holds on $(M,g)$. However, positive extremals exist in the sharp HPW principle if and only if $(M,g)$ is isometric to $\mathbb R^n$, $n={\rm dim}(M)$. (b) When $(M,g)$ has non-negative Ricci curvature, the sharp HPW principle holds on $(M,g)$ if and only if $(M,g)$ is isometric to $\mathbb R^n$. Since the sharp HPW principle and the Hardy-Poincar\'e inequality are endpoints of the Caffarelli-Kohn-Nirenberg interpolation inequality, we establish further quantitative results for the latter inequalities in terms of the curvature on Cartan-Hadamard manifolds., Comment: 18 pages; accepted in Journal de Math\'ematiques Pures et Appliqu\'ees (Liouville Journal)

We construct a constrained trivariate extension of the univariate normalized B-basis of the vector space of trigonometric polynomials of arbitrary (finite) order n defined on any compact interval [0,\alpha], where \alpha is a fixed (shape) parameter in (0,\pi). Our triangular extension is a normalized linearly independent constrained trivariate trigonometric function system of dimension 3n(n+1)+1 that spans the same vector space of functions as the constrained trivariate extension of the canonical basis of truncated Fourier series of order n over [0,\alpha]. Although the explicit general basis transformation is yet unknown, the coincidence of these vector spaces is proved by means of an appropriate equivalence relation. As a possible application of our triangular extension, we introduce the notion of (rational) triangular trigonometric patches of order n and of singularity free parametrization that could be used as control point based modeling tools in CAGD., Comment: 32 pages, 12 figures

In this paper we solve a problem raised by Guti\'errez and Montanari about comparison principles for $H-$convex functions on subdomains of Heisenberg groups. Our approach is based on the notion of the sub-Riemannian horizontal normal mapping and uses degree theory for set-valued maps. The statement of the comparison principle combined with a Harnack inequality is applied to prove the Aleksandrov-type maximum principle, describing the correct boundary behavior of continuous $H-$convex functions vanishing at the boundary of horizontally bounded subdomains of Heisenberg groups. This result answers a question by Garofalo and Tournier. The sharpness of our results are illustrated by examples., Comment: Published in: J. Funct. Anal. 269 (2015), no. 9, 2669-2708