
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.

We derive sharp MoserTrudingerOnofri 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,
11771201.]. Our proof is elementary and much simpler.

Let $(M,g)$ be a smooth compact Riemannian manifold of dimension $n$ with
smooth boundary $\partial M$. Suppose that $(M,g)$ admits a scalarflat
conformal metric. We prove that the supremum of the isoperimetric quotient over
the scalarflat 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.

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 KazdanWarner type obstruction to existence of solutions. We prove existence
in the antipodal symmetry functions class.

We study local behavior of positive solutions to the fractional Yamabe
equation with a singular set of fractional capacity zero.

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
nondegenerate 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 blowup points of solutions.

We consider a version of the fractional Sobolev inequality in domains and
study whether the best constant in this inequality is attained. For the
halfspace and a large class of bounded domains we show that a minimizer
exists, which is in contrast to the classical Sobolev inequalities in domains.

We establish quantitative asymptotic behaviors for nonnegative solutions of
the critical semilinear equation $\Delta u=u^{\frac{n+2}{n2}}$ with isolated
boundary singularities, where $n\ge 3$ is the dimension.

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.

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}{n2\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.

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 EvansKrylov theorem for nonlocal fully nonlinear
translation invariant equations.

We prove optimal pointwise Schauder estimates in the spatial variables for
solutions of linear parabolic integrodifferential equations. Optimal H\"older
estimates in spacetime for those spatial derivatives are also obtained.

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 nonlocal 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 WX. Chen to the
nonlocal 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 CS. Lin
and L. Martinazzi, who treated the analogue cases in even dimensions, we
classify such metrics based on their behavior at infinity.

We study boundary gradient estimates for secondorder 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.

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(n1)}{n2}$, $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.

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.

In this paper, we study the local behaviors of nonnegative local solutions of
fractional order semilinear equations $(\Delta)^\sigma
u=u^{\frac{n+2\sigma}{n2\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.

In this paper, we study existence, regularity, classification, and
asymptotical behaviors of solutions of some MongeAmp\`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$ nonremovable 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 semiflat CalabiYau
metrics.

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 MongeAmp\`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.

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.

We establish some sharp weighted trace inequalities
$W^{1,2}(\rho^{12\sigma}, M)\hookrightarrow L^{\frac{2n}{n2\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.

We prove some results on the existence and compactness of solutions of a
fractional Nirenberg problem.

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 JohnNirenberg inequality.