• ### Compactness of conformal metrics with constant $Q$-curvature. I(1506.00739)

Jan. 15, 2019 math.DG, math.AP
We study compactness for nonnegative solutions of the fourth order constant $Q$-curvature equations on smooth compact Riemannian manifolds of dimension $\ge 5$. If the $Q$-curvature equals $-1$, we prove that all solutions are universally bounded. If the $Q$-curvature is $1$, assuming that Paneitz operator's kernel is trivial and its Green function is positive, we establish universal energy bounds on manifolds which are either locally conformally flat (LCF) or of dimension $\le 9$. Moreover, assuming in addition that a positive mass type theorem holds for the Paneitz operator, we prove compactness in $C^4$. Positive mass type theorems have been verified recently on LCF manifolds or manifolds of dimension $\le 7$, when the Yamabe invariant is positive. We also prove that, for dimension $\ge 8$, the Weyl tensor has to vanish at possible blow up points of a sequence of blowing up solutions. This implies the compactness result in dimension $\ge 8$ when the Weyl tensor does not vanish anywhere. To overcome difficulties stemming from fourth order elliptic equations, we develop a blow up analysis procedure via integral equations.
• ### A derivation of sharp Moser-Trudinger-Onofri inequality from fractional Sobolev inequality(1804.02807)

April 12, 2018 math.DG, math.AP, math.FA
We derive sharp Moser-Trudinger-Onofri inequalities on standard $n$-sphere and $2n+1$ CR sphere as the limit of sharp fractional Sobolev inequalities for all $n\ge 1$, respectively. On $2$-sphere and $4$-sphere, this was established recently by [Chang, S.-Y. Alice; Wang, F.: J. Funct. Anal. 274 (2018), no. 4, 1177--1201.]. Our proof is elementary and much simpler.
• ### On the isoperimetric quotient over scalar-flat conformal classes(1709.03644)

Sept. 23, 2017 math.DG, math.AP
Let $(M,g)$ be a smooth compact Riemannian manifold of dimension $n$ with smooth boundary $\partial M$. Suppose that $(M,g)$ admits a scalar-flat conformal metric. We prove that the supremum of the isoperimetric quotient over the scalar-flat conformal class is strictly larger than the best constant of the isoperimetric inequality in the Euclidean space, and consequently is achieved, if either (i) $n\ge 12$ and $\partial M$ has a nonumbilic point; or (ii) $n\ge 10$, $\partial M$ is umbilic and the Weyl tensor does not vanish at some boundary point.
• ### On a conformally invariant integral equation involving Poisson kernel(1709.04124)

Sept. 13, 2017 math.AP
We study a prescribing functions problem of a conformally invariant integral equation involving Poisson kernel on the unit ball. This integral equation is not the dual of any standard type of PDE. As in Nirenberg problem, there exists a Kazdan-Warner type obstruction to existence of solutions. We prove existence in the antipodal symmetry functions class.
• ### On local behavior of singular positive solutions to nonlocal elliptic equations(1604.00448)

July 7, 2017 math.AP
We study local behavior of positive solutions to the fractional Yamabe equation with a singular set of fractional capacity zero.
• ### Compactness of solutions to nonlocal elliptic equations(1707.01198)

July 5, 2017 math.AP
We show that all nonnegative solutions of the critical semilinear elliptic equation involving the regional fractional Laplacian are locally universally bounded. This strongly contrasts with the standard fractional Laplacian case. Second, we consider the fractional critical elliptic equations with nonnegative potentials. We prove compactness of solutions provided the potentials only have non-degenerate zeros. Corresponding to Schoen's Weyl tensor vanishing conjecture for the Yamabe equation on manifolds, we establish a Laplacian vanishing rate of the potentials at blow-up points of solutions.
• ### Minimizers for the fractional Sobolev inequality on domains(1707.00131)

July 1, 2017 math.AP, math.FA
We consider a version of the fractional Sobolev inequality in domains and study whether the best constant in this inequality is attained. For the half-space and a large class of bounded domains we show that a minimizer exists, which is in contrast to the classical Sobolev inequalities in domains.
• ### The critical semilinear elliptic equation with isolated boundary singularities(1704.05651)

April 19, 2017 math.AP
We establish quantitative asymptotic behaviors for nonnegative solutions of the critical semilinear equation $-\Delta u=u^{\frac{n+2}{n-2}}$ with isolated boundary singularities, where $n\ge 3$ is the dimension.
• ### Classification theorems for solutions of higher order boundary conformally invariant problems, I(1601.06852)

Sept. 20, 2016 math.DG, math.AP
In this paper, we prove that nonnegative polyharmonic functions on the upper half space satisfying a conformally invariant nonlinear boundary condition have to be the "\emph{polynomials} plus \emph{bubbles}" form. The nonlinear problem is motivated by the recent studies of boundary GJMS operators and the $Q$-curvature in conformal geometry. The result implies that in the conformal class of the unit Euclidean ball there exist metrics with a single singular boundary point which have flat $Q$-curvature and constant boundary $Q$-curvature. Moreover, all of such metrics are classified. This phenomenon differs from that of boundary singular metrics which have flat scalar curvature and constant mean curvature, where the singular set contains at least two points. A crucial ingredient of the proof is developing an approach to separate the higher order linear effect and the boundary nonlinear effect so that the kernels of the nonlinear problem are captured.
• ### The Nirenberg problem and its generalizations: A unified approach(1411.5743)

Nov. 21, 2014 math.DG, math.AP
Making use of integral representations, we develop a unified approach to establish blow up profiles, compactness and existence of positive solutions of the conformally invariant equations $P_\sigma(v)= Kv^{\frac{n+2\sigma}{n-2\sigma}}$ on the standard unit sphere $\mathbb{S}^n$ for all $\sigma\in (0,n/2)$, where $P_\sigma$ is the intertwining operator of order $2\sigma$. Finding positive solutions of these equations is equivalent to seeking metrics in the conformal class of the standard metric on spheres with prescribed certain curvatures. When $\sigma=1$, it is the prescribing scalar curvature problem or the Nirenberg problem, and when $\sigma=2$, it is the prescribing $Q$-curvature problem.
• ### Schauder estimates for nonlocal fully nonlinear equations(1405.0758)

Nov. 4, 2014 math.AP
In this paper, we establish pointwise Schauder estimates for solutions of nonlocal fully nonlinear elliptic equations by perturbative arguments. A key ingredient is a recursive Evans-Krylov theorem for nonlocal fully nonlinear translation invariant equations.
• ### Schauder estimates for solutions of linear parabolic integro-differential equations(1405.0755)

Oct. 4, 2014 math.AP
We prove optimal pointwise Schauder estimates in the spatial variables for solutions of linear parabolic integro-differential equations. Optimal H\"older estimates in space-time for those spatial derivatives are also obtained.
• ### Existence and asymptotics for solutions of a non-local Q-curvature equation in dimension three(1309.4299)

Feb. 13, 2014 math.DG
We study conformal metrics on $R^3$, i.e., metrics of the form $g_u=e^{2u}|dx|^2$, which have constant $Q$-curvature and finite volume. This is equivalent to studying the non-local equation $$(-\Delta)^\frac32 u = 2 e^{3u}$$ in $R^3$ $$V:=\int_{\mathbb{R}^3}e^{3u}dx<\infty,$$ where $V$ is the volume of $g_u$. Adapting a technique of A. Chang and W-X. Chen to the non-local framework, we show the existence of a large class of such metrics, particularly for $V\le 2\pi^2=|S^3|$. Inspired by previous works of C-S. Lin and L. Martinazzi, who treated the analogue cases in even dimensions, we classify such metrics based on their behavior at infinity.
• ### Boundary gradient estimates for parabolic and elliptic systems from linear laminates(1312.4219)

Dec. 16, 2013 math.AP
We study boundary gradient estimates for second-order divergence type parabolic and elliptic systems in $C^{1,\alpha}$ domains. The coefficients and data are assumed to be H\"older in the time variable and all but one spatial variables. This type of systems arises from the problems of linearly elastic laminates and composite materials.
• ### A sharp Sobolev trace inequality involving the mean curvature on Riemannian manifolds(1309.4857)

Sept. 19, 2013 math.AP
In this paper, we examine the boundary $L^2$ term of the sharp Sobolev trace inequality $\|u\|_{L^{q}(\pa M)}^2\leq S \|\nabla_g u\|_{L^2(M)}^2 +A(M,g)\|u\|^2_{L^2(\pa M)}$ on Riemannian manifolds $(M,g)$ with boundaries $\pa M$, where $q=\frac{2(n-1)}{n-2}$, $S$ is the best constant and $A(M,g)$ is some positive constant depending only on $M$ and $g$. We obtain a sharp trace inequality involving the mean curvature in a remainder term, which would fail in general once the mean curvature is replaced by any smaller function.
• ### On a fractional Nirenberg problem, part II: existence of solutions(1309.4666)

Sept. 18, 2013 math.AP
This paper is a continuation of our earlier work "[T. Jin, Y.Y. Li and J. Xiong, On a fractional Nirenberg problem, part I: blow up analysis and compactness of solutions, to appear in J. Eur. Math. Soc.]", where compactness results were given on a fractional Nirenberg problem. We prove two existence results stated there. We also obtain a fractional Aubin inequality.
• ### Local analysis of solutions of fractional semi-linear elliptic equations with isolated singularities(1309.2021)

Sept. 9, 2013 math.AP
In this paper, we study the local behaviors of nonnegative local solutions of fractional order semi-linear equations $(-\Delta)^\sigma u=u^{\frac{n+2\sigma}{n-2\sigma}}$ with an isolated singularity, where $\sigma\in (0,1)$. We prove that all the solutions are asymptotically radially symmetric. When $\sigma =1$, these have been proved in \cite{CGS} by Caffarelli, Gidas and Spruck.
• ### Solutions of some Monge-Amp\ere equations with isolated and line singularities(1212.4206)

June 3, 2013 math.DG, math.AP
In this paper, we study existence, regularity, classification, and asymptotical behaviors of solutions of some Monge-Amp\ere equations with isolated and line singularities. We classify all solutions of $\det \nabla^2 u=1$ in $\R^n$ with one puncture point. This can be applied to characterize ellipsoids, in the same spirit of Serrin's overdetermined problem for the Laplace operator. In the case of having $k$ non-removable singular points for $k>1$, modulo affine equivalence the set of all generalized solutions can be identified as an explicit orbifold of finite dimension. We also establish existence of global solutions with general singular sets, regularity properties, and optimal estimates of the second order derivatives of generalized solutions near the singularity consisting of a point or a straight line. The geometric motivation comes from singular semi-flat Calabi-Yau metrics.
• ### A Liouville theorem for solutions of degenerate Monge-Amp\ere equations(1211.6183)

Nov. 27, 2012 math.AP
In this paper, we give a new proof of a celebrated theorem of J\"orgens which states that every classical convex solution of $\det\nabla^2 u (x)=1\quad {in} \mathbb{R}^2$ has to be a second order polynomial. Our arguments do not use complex analysis, and can be applied to establish such Liouville type theorems for solutions of a class of degenerate Monge-Amp\ere equations. We prove that every convex generalized (or Alexandrov) solution of $\det \nabla^2 u(x_1,x_2)=|x_1|^{\alpha} \quad {in} \mathbb{R}^2,$ where $\alpha>-1$, has to be $u(x_1,x_2)= \frac{a}{(\alpha+2)(\alpha+1)}|x_1|^{2+\alpha}+\frac{a b^2}{2}x_1^2 +bx_1x_2+ \frac{1}{2a} x_2^2+\ell(x_1,x_2)$ for some constants $a>0$, $b$ and a linear function $\ell(x_1,x_2)$. This work is motivated by the Weyl problem with nonnegative Gauss curvature.
• ### A fractional Yamabe flow and some applications(1110.5664)

Nov. 27, 2012 math.DG, math.AP
We introduce a fractional Yamabe flow involving nonlocal conformally invariant operators on the conformal infinity of asymptotically hyperbolic manifolds, and show that on the conformal spheres $(\Sn, [g_{\Sn}])$, it converges to the standard sphere up to a M\"obius diffeomorphism. This result allows us to obtain extinction profiles of solutions of some fractional porous medium equations. In the end, we use this fractional fast diffusion equation, together with its extinction profile and some estimates of its extinction time, to improve a Sobolev inequality via a quantitative estimate of the remainder term.
• ### Sharp constants in weighted trace inequalities on Riemannian manifolds(1203.1003)

March 5, 2012 math.AP
We establish some sharp weighted trace inequalities $W^{1,2}(\rho^{1-2\sigma}, M)\hookrightarrow L^{\frac{2n}{n-2\sigma}}(\pa M)$ on $n+1$ dimensional compact smooth manifolds with smooth boundaries, where $\rho$ is a defining function of $M$ and $\sigma\in (0,1)$. This is stimulated by some recent work on fractional (conformal) Laplacians and related problems in conformal geometry, and also motivated by a conjecture of Aubin.
• ### On a fractional Nirenberg problem, part I: blow up analysis and compactness of solutions(1111.1332)

Nov. 5, 2011 math.AP
We prove some results on the existence and compactness of solutions of a fractional Nirenberg problem.
• ### A Harnack inequality for fractional Laplace equations with lower order terms(1101.0013)

Dec. 29, 2010 math.AP
We establish a Harnack inequality of fractional Laplace equations without imposing sign condition on the coefficient of zero order term via the Moser's iteration and John-Nirenberg inequality.