We prove a sharp Onofri-type inequality and non-existence of extremals for a Moser-Tudinger functional on the sphere in the presence of potentials having positive order singularities. We also investigate the existence of critical points and give some sufficient conditions under symmetry or nondegeneracy assumptions.
In this paper, we generalize Liouville type theorems for some semilinear partial differential inequalities to sub-Riemannian manifolds satisfying a nonnegative generalized curvature-dimension inequality introduced by Baudoin and Garofalo in [5]. In particular, our results apply to all Sasakian manifolds with nonnegative horizontal Webster-Tanaka-Ricci curvature. The key ingredient is to construct a class of "good" cut-off functions. We also provide some upper bounds for lifespan to parabolic and hyperbolic inequalities.
We study the blow-up behaviour of minimizing sequences for the singular Moser-Trudinger functional on compact surfaces. Assuming non-existence of minimum points, we give an estimate for the infimum value of the functional. This result can be applied to give sharp Onofri-type inequalities on the sphere in the presence of at most two singularities.
We consider a singular Liouville equation on a compact surface, arising from the study of Chern-Simons vortices in a self dual regime. Using new improved versions of the Moser-Trudinger inequalities (whose main feature is to be scaling invariant) and a variational scheme, we prove new existence results.
In this article we review a new method for proving the nonexistence of positive solutions of elliptic inequalities in unbounded domains in $\rn$, which was recently introduced by the authors. We expose our method and new results on the two most frequently encountered cases: inequalities involving the p-Laplacian or the Pucci extremal operator.
In this paper, we establish Liouville theorems for the following system of elliptic differential inequalities $$ Δ_{\mathbb H}u^{m_1}+|η|_{\mathbb H}^{γ_1}|v|^p\leq0,$$ $$ Δ_{\mathbb H}v^{m_2}+|η|_{\mathbb H}^{γ_2}|u|^q\leq0,$$ on different unbounded open domains of Heisenberg group $\mathbb H$, including the whole space, and half space of $\mathbb H$. Here $p>m_2>0$, $q>m_1>0$.
In this paper we prove a Moser-Trudinger inequality for the Euler-Lagrange functional of a general singular Liouville system. We characterize the values of the parameters which yield coercivity for the functional and we give necessary conditions for boundedness from below. We also provide a sharp inequality under some assumptions on the coefficients of the system.
We study nonexistence and existence of nontrivial positive solutions to the following semilinear elliptic inequality involving gradient terms \[ Δu+u^p\left|\nabla u\right|^q\leq0, \] on weighted graphs, where $(p,q)\in\mathbb{R}^2$. We give a complete classification of $(p,q)$ under which sharp volume growth assumptions are established.
We investigate the nonexistence and existence of nontrivial positive solutions to $Δ_m u+u^p|\nabla u|^q\leq0$ on noncompact geodesically complete Riemannian manifolds, where $m>1$, and $(p,q)\in \mathbb{R}^2$. According to classification of $(p, q)$, we establish different volume growth conditions to obtain Liouville's theorems for the above quasilinear differential inequalities, and we also show these volume growth conditions are sharp in most cases. Moreover, the results are completely new for $(p, q)$ of negative pair, even in the Euclidean space.
This work is devoted to the study of a Liouville comparison principle for entire weak solutions of quasilinear differential inequalities of the form $A(u) + |u|^{q-1}u \leq A(v) + |v|^{q-1}v$ on ${\Bbb R}^n$, where $n\geq 1$, $q$ is positive, and the operator $A(w)$ belongs to a class of the so-called $α$-monotone operators. Typical examples of such operators are the $p$-Laplacian and its well-known modifications. The results improve and supplement those in [1].
We derive a sharp, localized version of elliptic type gradient estimates for positive solutions (bounded or not) to the heat equation. These estimates are akin to the Cheng-Yau estimate for the Laplace equation and Hamilton's estimate for bounded solutions to the heat equation on compact manifolds. As applications, we generalize Yau's celebrated Liouville theorem for positive harmonic functions to positive eternal solutions of the heat equation, under certain growth condition. Surprisingly, this Liouville theorem for the heat equation does not hold even in ${\bf R}^n$ without such a condition.…
We consider semilinear elliptic second-order partial differential inequalities of the form Lu +|u|q-1u < and = Lv +|v|q-1v (*) in the whole space Rn, where n > and = 2, q > 0 and L is a linear elliptic second-order partial differential operator in divergence form. We assume that the coefficients of the operator L are defined, measurable and locally bounded in Rn, and that the quadratic form associated with the operator L is symmetric and non-negative definite. We obtain a Liouville comparison principle in terms of a capacity associated with the operator L for solutions of (*), which are define…
This note studies local integral gradient bounds for distributional solutions of a large class of partial differential inequalities with diffusion in divergence form and power-like first-order terms. The applications of these estimates are two-fold. First, we show the (sharp) global Hölder regularity of distributional semi-solutions to this class of diffusive PDEs with first-order terms having supernatural growth and right-hand side in a suitable Morrey class posed on a bounded and regular open set $Ω$. Second, we provide a new proof of entire Liouville properties for inequalities with superli…
This article is devoted to the study of the behavior of generalized entire solutions for a wide class of quasilinear degenerate inequalities modeled on the following prototype with p-Laplacian in the main part \begin{equation*} {\underset{m}{\overset{i=1}{\sum}}} X_i^*(|\mathbf{X}u|^{p-2} X_i u)\geq |u|^{q-2}u, \ \ x\in {\mathbb{R}}^{n},\ q>1,\ p>1, \end{equation*} where ${\mathbb{R}}^{n}$ is a Carnot-Carathéodory metric space, generated by the system of vector fields $\mathbf{X}=(X_1,X_2,..,X_m)$ and $X_i^*$ denotes the adjoint of $X_i$ with respect to Lebesgue measure. For the case where $p$…
We prove some Liouville type theorems on smooth compact Riemannian manifolds with nonnegative sectional curvature and strictly convex boundary. This gives a nonlinear generalization in low dimension of the recent sharp lower bound of the first Steklov eigenvalue by Xia-Xiong and verifies partially a conjecture by the third author. As a consequence, we derive several sharp Sobolev trace inequalities on these manifolds.
We consider a quasilinear equation involving the $n-$Laplacian and an exponential nonlinearity, a problem that includes the celebrated Liouville equation in the plane as a special case. For a non-compact sequence of solutions it is known that the exponential nonlinearity converges, up to a subsequence, to a sum of Dirac measures. By performing a precise local asymptotic analysis we complete such a result by showing that the corresponding Dirac masses are quantized as multiples of a given one, related to the mass of limiting profiles after rescaling according to the classification result obtain…
We prove a Liouville type theorem for arbitrarily growing positive viscosity supersolutions of fully nonlinear uniformly elliptic equations in halfspaces. Precisely, let $M^-_{λ, Λ}$ be the Pucci's inf- operator, defined as the infimum of all linear uniformly elliptic operators with ellipticity constants $Λ\geq λ>0$. Then, we prove that the inequality $M^-_{λ, Λ}(D^2u) +u^p \leq 0$ does not have any positive viscosity solution in a halfspace provided that $-1\leq p \leq (Λ/λn+1)/(Λ/λn-1)$, whereas positive solutions do exist if either $p < -1$ or $p > (Λ/λ(n-1)+2)/(Λ/λ(n-1))$. This will be acc…
We introduce a new condition on elliptic operators $L= {1/2}\triangle + b \cdot \nabla $ which ensures the validity of the Liouville property for bounded solutions to $Lu=0$ on $\R^d$. Such condition is sharp when $d=1$. We extend our Liouville theorem to more general second order operators in non-divergence form assuming a Cordes type condition.
This article considers the eigenvalue problem for the Sturm-Liouville problem including $p$-Laplacian \begin{align*} \begin{cases} \left(\vert u'\vert^{p-2}u'\right)'+\left(λ+r(x)\right)\vert u\vert ^{p-2}u=0,\,\, x\in (0,π_{p}),\\ u(0)=u(π_{p})=0, \end{cases} \end{align*} where $1<p<\infty$, $π_{p}$ is the generalized $π$ given by $π_{p}=2π/\left(p\sin(π/p)\right)$, $r\in C[0,π_{p}]$ and $λ<p-1$. Sharp Lyapunov-type inequalities, which are necessary conditions for the existence of nontrivial solutions of the above problem are presented. Results are obtained through the analysis of variational…
We obtain a new Liouville comparison principle for entire weak solutions $(u,v)$ of semilinear parabolic second-order partial differential inequalities of the form $$ u_t -{\mathcal L}u- |u|^{q-1}u\geq v_t -{\mathcal L}v- |v|^{q-1}v (*) $$ in the half-space ${\mathbb S} = {\mathbb R}^1_+ \times \mathbb R^n$. Here $n\geq 1$, $q>0$ and $$ {\mathcal L}=\sum\limits_{i,j=1}^n\frac{\partial}{{\partial}x_i} [ a_{ij}(t, x) \frac{\partial}{{\partial}x_j}],$$ where $a_{ij}(t,x)$, $i,j=1,...,n$, are functions defined, measurable and locally bounded in $\mathbb S$, and such that $a_{ij}(t,x)=a_{ji}(t,x)$ …
In this paper, we establish the sharp criteria for the nonexistence of positive solutions to the Hardy-Littlewood-Sobolev (HLS) type system of nonlinear equations and the corresponding nonlinear differential systems of Lane-Emden type equations. These nonexistence results, known as Liouville type theorems, are fundamental in PDE theory and applications. A special iteration scheme, a new shooting method and some Pohozaev type identities in integral form as well as in differential form are created. Combining these new techniques with some observations and some critical asymptotic analysis, we es…
We establish three families of Sobolev trace inequalities of orders two and four in the unit ball under higher order moments constraint, and are able to construct \emph{smooth} test functions to show all such inequalities are \emph{almost optimal}. Some distinct feature in \emph{almost sharpness} examples between the fourth order and second order Sobolev trace inequalities is discovered. This has been neglected in higher order Sobolev inequality case in \cite{Hang}. As a byproduct, the method of our construction can be used to show the sharpness of the generalized Lebedev-Milin inequality unde…
In this paper, we obtain the sharp $k$-th order Sobolev inequalities in the hyperbolic space ${\H}^n$ for all $k=1,2,3,\cdots$. This gives an answer to an open question raised by Aubin in [5, p.$\;$176-177] for $W^{k,2}({\H}^n)$ with $k>1$. In addition, we prove that the associated Sobolev constants are optimal.
In this paper, we prove that if $u$ is a solution to the Liouville equation \begin{align} \label{scalliouville} Δu+e^{2u} =0 \quad \mbox{in $\mathbb{R}^2$,} \end{align}then the diameter of $\mathbb{R}^2$ under the conformal metric $g=e^{2u}δ$ is bounded below by $π$. Here $δ$ is the Euclidean metric in $\mathbb{R}^2$. Moreover, we explicitly construct a family of solutions such that the corresponding diameters of $\mathbb{R}^2$ range over $[π,2π)$. We also discuss supersolutions. We show that if $u$ is a supersolution and $\int_{\mathbb{R}^2} e^{2u} dx<\infty$, then the diameter of $\mathbb{R}…
We consider the fractional elliptic inequality with variable-exponent nonlinearity $$ (-Δ)^{\fracα{2}} u+λ\, Δu \geq |u|^{p(x)}, \quad x\in\mathbb{R}^N, $$ where $N\geq 1$, $α\in (0,2)$, $λ\in\mathbb{R}$ is a constant, $p: \mathbb{R}^N\to (1,\infty)$ is a measurable function, and $(-Δ)^{\fracα{2}}$ is the fractional Laplacian operator of order $\fracα{2}$. A Liouville-type theorem is established for the considered problem. Namely, we obtain sufficient conditions under which the only weak solution is the trivial one. Next, we extend our study to systems of fractional elliptic inequalities with …
We obtain a new Liouville comparison principle for weak solutions $(u,v)$ of semilinear parabolic second-order partial differential inequalities of the form $$u_t -{\mathcal L}u- |u|^{q-1}u\geq v_t -{\mathcal L}v- |v|^{q-1}v (*)$$ in the whole space ${\mathbb E} = {\mathbb R} \times \mathbb R^n$. Here, $n\geq 1$, $q>0$ and $$ {\mathcal L}=\sum\limits_{i,j=1}^n\frac{\partial}{{\partial}x_i}\left [ a_{ij}(t, x) \frac{\partial}{{\partial}x_j}\right],$$ where $a_{ij}(t,x)$, $i,j=1,\dots,n$, are functions that are defined, measurable and locally bounded in $\mathbb E$, and such that $a_{ij}(t,x)=a_…
Motivated by a recent work of Ache and Chang concerning the sharp Sobolev trace inequality and Lebedev-Milin inequalities of order four on the Euclidean unit ball, we derive such inequalities on the Euclidean unit ball for higher order derivatives. By using, among other things, the scattering theory on hyperbolic spaces and the generalized Poisson kernel, we obtain the explicit formulas of extremal functions of such inequations. Moreover, we also derive the sharp trace Sobolev inequalities on half spaces for higher order derivatives. Finally, we compute the explicit formulas of adapted metric,…
We derive the sharp Moser-Trudinger-Onofri inequalities on the standard $n$-sphere and CR $(2n+1)$- sphere as the limit of the sharp fractional Sobolev inequalities for all $n\ge 1$. On the $2$-sphere and $4$-sphere, this was established recently by S.-Y. Chang and F. Wang. Our proof uses an alternative and elementary argument.
We investigate existence, Liouville type theorems and regularity results for the 3D stationary and incompressible fractional Navier-Stokes equations: in this setting the usual Laplacian is replaced by its fractional power $(-Δ)^{\fracα{2}}$ with $0<α<2$. By applying a fixed point argument, weak solutions can be obtained in the Sobolev space $\dot{H}^{\fracα{2}}(\mathbb{R})$ and if we add an extra integrability condition, stated in terms of Lebesgue spaces, then we can prove for some values of $α$ that the zero function is the unique smooth solution. The additional integrability condition is al…
We will consider the nonlocal Hénon equation $$(-Δ)^s u= |x|^α u^{p},\quad \mathbb{R}^{N},$$ where $(-Δ)^s$ is the fractional Laplacian operator with $0<s<1$, $-2s<α$, $p>1$ and $N>2s$. We prove a nonexistence result for positive solutions in the optimal range of the nonlinearity, that is, when $$1<p<p^*_{α, s}:=\frac{N+2α+2s}{N-2s}.$$ Moreover, we prove that a bubble solution, that is a fast decay positive radially symmetric solutions, exists when $p=p_{α, s}^{*}$.
Consider the equation div$(φ^2 \nabla σ)=0$ in $\mathbb{R}^N,$ where $φ>0$. Berestycki, Caffarelli and Nirenberg proved that if there exists $C>0$ such that $\int_{B_R}(φσ)^2 \leq CR^2$ for every $R\geq 1$ then $σ$ is necessarily constant. In this paper we provide necessary and sufficient conditions on $0<Ψ\in C([1,\infty))$ for which this result remains true if we replace $R^2$ with $Ψ(R)$ in any dimension $N$. In the case of the convexity of $Ψ$ for large $R>1$ and $Ψ'>0$, this condition is equivalent to $\displaystyle{\int_1^\infty\frac{1}{Ψ'}=\infty}$.
Frank and Lieb gave a new, rearrangement-free, proof of the sharp Hardy-Littlewood-Sobolev inequalities by exploiting their conformal covariance. Using this they gave new proofs of sharp Sobolev inequalities for the embeddings $W^{k,2}(\mathbb{R}^n)\hookrightarrow L^{\frac{2n}{n-2k}}(\mathbb{R}^n)$. We show that their argument gives a direct proof of the latter inequalities without passing through Hardy-Littlewood-Sobolev inequalities, and, moreover, a new proof of a sharp fully nonlinear Sobolev inequality involving the $σ_2$-curvature. Our argument relies on nice commutator identities deduce…
In this paper, we give a full classification of the nonexistence of positive weak solutions to the semilinear elliptic inequality involving the fractional Hardy potential in punctured and in exterior domains. Our methods are self-contained and new. The main ideas and key ingredients will be discussed in the next section after Theorem 1.1 for punctured domains, and after Theorem 1.4 for exterior domains. We will also explain why all the previous methods and techniques do not apply to our general setting. Let us give here a foretaste of our line of attack: Based on the imbalance between the Hard…
Under a sharp asymptotic growth condition at infinity, we prove a Liouville type theorem for the inhomogeneous porous medium equation, provided it stays universally close to the heat equation. Additionally, for the homogeneous equation, we show that for the conclusion to hold, it is enough to assume the sharp asymptotic growth at infinity only in the space variable. The results are optimal, meaning that the growth condition at infinity cannot be weakened.
We analyze in this work the regularity properties of the density operator solu- tion to the quantum Liouville equation. As was recently done for the Strichartz inequalities, we extend to systems of orthonormal functions the local smoothing estimates satisfied by the solutions to the Schrödinger equation. We show in par- ticular that the local density associated to the solution to the free, linear, quantum Liouville equation admits locally fractional derivatives of given order provided the data belong to some Schatten spaces.
We study fully nonlinear elliptic equations such as \[ F(D^2u) = u^p, \quad p>1, \] in $\R^n$ or in exterior domains, where $F$ is any uniformly elliptic, positively homogeneous operator. We show that there exists a critical exponent, depending on the homogeneity of the fundamental solution of $F$, that sharply characterizes the range of $p>1$ for which there exist positive supersolutions or solutions in any exterior domain. Our result generalizes theorems of Bidaut-Véron \cite{B} as well as Cutri and Leoni \cite{CL}, who found critical exponents for supersolutions in the whole space $\R^n$, i…
In this paper, we prove Hardy-Leray and Rellich-Leray inequalities for curl-free vector fields with sharp constants. This complements the former work by Costin-Maz'ya \cite{Costin-Mazya} on the sharp Hardy-Leray inequality for axisymmetric divergence-free vector fields.
We revisit the sharp Sobolev inequalities involving boundary terms on Riemannian manifolds with boundaries proved by \emph{[Y.Y. Li and M. Zhu, Geom. Funct. Anal. \textbf{8} (1998), 59--87.]} and explore the role of the mean curvature.
In this paper, we establish Liouville type results for semilinear subelliptic systems associated with the sub-Laplacian on the Heisenberg group $\mathbb{H}^{n}$ involving two different kinds of general nonlinearities. The main technique of the proof is the method of moving planes combined with some integral inequalities replacing the role of maximum principles. As a special case, we obtain the Liouville theorem for the Lane-Emden system on the Heisenberg group $\mathbb{H}^{n}$, which also appears to be a new result in the literature.
We consider interpolation inequalities for imbeddings of the $l^2$-sequence spaces over $d$-dimensional lattices into the $l^\infty_0$ spaces written as interpolation inequality between the $l^2$-norm of a sequence and its difference. A general method is developed for finding sharp constants, extremal elements and correction terms in this type of inequalities. Applications to Carlson's inequalities and spectral theory of discrete operators are given.
We show explicit forms for extremals of some fourth-order sharp trace inequalities on the unit balls recently proved by Ache-Chang. We also give a classification result of the bi-harmonic equation on $\mathbb{R}^4_+$ with some conformally covariant boundary conditions.
We find best constants in several dilation invariant integral inequalities involving derivatives of functions. Some of these inequalities are new and some were known without best constants. The contents: 1. Estimate for a quadratic form of the gradient, 2. Weighted Gårding inequality for the biharmonic operator, 3.Dilation invariant Hardy's inequality with remainder term, 4. Generalized Hardy-Sobolev inequality with sharp constant, 5. Hardy's inequality with sharp Sobolev remainder term.