Search

We consider a type of Hardy-Sobolev inequality, whose weight function is singular on the whole domain boundary. We are concerned with the attainability of the best constant of such inequality. In dimension two, we link the inequality to a conformally invariant one using the conformal radius of the domain. The best constant of such inequality on a smooth bounded domain is achieved if and only if the domain is non-convex. In higher dimensions, the best constant is achieved if the domain has negative mean curvature somewhere. If the mean curvature vanishes but is non-umbilic somewhere, we also establish the attainability for some special cases. In the other direction, we also show the best constant is not achieved if the domain is sufficiently close to a ball in $C^2$ sense., Comment: 42 pages

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., Comment: All comments are welcome

We consider the energy critical four dimensional semi-linear heat equation \[ \partial_{t}v-\Delta v-v^{3}=0, \quad(t,x)\in \mathbb{R}\times \mathbb{R}^4. \] Formal computation of Filippas et al. (R. Soc. Lond. Proc. 2000) conjectures the existence of a sequence of type II blow-up solutions with various blow-up rates \[ \|v(t)\|_{L^\infty(\mathbb{R}^4)}\approx \frac{|\log(T-t)|^{\frac{2L}{2L-1}}}{(T-t)^L} ,\quad L=1,2,\cdots.\] Schweyer (J. Funct. Anal. 2012) rigorously constructs a type II blow-up solution for the case $L=1$. In this paper, we show the existence of type II blow-up solution for $L=2$. The method here could be generalized to deal with all the cases $L\geq 2$., Comment: All comments are welcome!

For degree $\pm 1$ harmonic maps from $\mathbb{R}^2$ (or $\mathbb{S}^2$) to $\mathbb{S}^2$, Bernand-Mantel, Muratov and Simon \cite{bernand2021quantitative} recently establish a uniformly quantitative stability estimate. Namely, for any map $u:\mathbb{R}^2\to \mathbb{S}^2$ with degree $\pm 1$, the discrepancy of its Dirichlet energy and $4\pi$ can linearly control the $\dot H^1$-difference of $u$ from the set of degree $\pm 1$ harmonic maps. Whether a similar estimate holds for harmonic maps with higher degree is unknown. In this paper, we prove that a similar quantitative stability result for higher degree is true only in local sense. Namely, given a harmonic map, a similar estimate holds if $u$ is already sufficiently near to it (modulo M\"{o}bius transform) and the bound in general depends on the given harmonic map. More importantly, we investigate an example of degree 2 case thoroughly, which shows that it fails to have a uniformly quantitative estimate like the degree $\pm 1$ case. This phenomenon show the striking difference of degree $\pm1$ ones and higher degree ones. Finally, we also conjecture a new uniformly quantitative stability estimate based on our computation., Comment: comments are welcome. To appear in Cal. Var. PDE

We construct a radially smooth positive ancient solution for energy critical semi-linear heat equation in $\mathbb{R}^n$, $n\geq 7$. It blows up at the origin with the profile of multiple Talenti bubbles in the backward time infinity., Comment: 45 pages; comments welcome

We consider half-harmonic maps from $\mathbb{R}$ (or $\mathbb{S}$) to $\mathbb{S}$. We prove that all (finite energy) half-harmonic maps are non-degenerate. In other words, they are integrable critical points of the energy functional. A full description of the kernel of the linearized operator around each half-harmonic map is given. The second part of this paper devotes to studying the quantitative stability of half-harmonic maps. When its degree is $\pm 1$, we prove that the deviation of any map $\boldsymbol{u}:\mathbb{R}\to \mathbb{S}$ from M\"obius transformations can be controlled uniformly by $\|\boldsymbol{u}\|_{\dot H^{1/2}(\mathbb{R})}^2-deg \boldsymbol{u}$. This result resembles the quantitative rigidity estimate of degree $\pm 1$ harmonic maps $\mathbb{R}^2\to \mathbb{S}^2$ which is proved recently. Furthermore, we address the quantitative stability for half-harmonic maps of higher degree. We prove that if $\boldsymbol{u}$ is already near to a Blaschke product, then the deviation of $\boldsymbol{u}$ to Blaschke products can be controlled by $\|\boldsymbol{u}\|_{\dot H^{1/2}(\mathbb{R})}^2-deg \boldsymbol{u}$. Additionally, a striking example is given to show that such quantitative estimate can not be true uniformly for all $\boldsymbol{u}$ of degree 2. We conjecture similar things happen for harmonic maps ${\mathbb R}^2\to {\mathbb S}^2$., Comment: 36 pages; comments welcome

Suppose $u\in \dot{H}^1(\mathbb{R}^n)$. In a seminal work, Struwe proved that if $u\geq 0$ and $\|\Delta u+u^{\frac{n+2}{n-2}}\|_{H^{-1}}:=\Gamma(u)\to 0$ then $dist(u,\mathcal{T})\to 0$, where $dist(u,\mathcal{T})$ denotes the $\dot{H}^1(\mathbb{R}^n)$-distance of $u$ from the manifold of sums of Talenti bubbles. Ciraolo, Figalli and Maggi obtained the first quantitative version of Struwe's decomposition with one bubble in all dimensions, namely $\delta (u) \leq C \Gamma (u)$. For Struwe's decomposition with two or more bubbles, Figalli and Glaudo showed a striking dimensional dependent quantitative estimate, namely $\delta(u)\leq C \Gamma(u)$ when $3\leq n\leq 5$ while this is false for $ n\geq 6$. In this paper, we show that \[dist (u,\mathcal{T})\leq C\begin{cases} \Gamma(u)\left|\log \Gamma(u)\right|^{\frac{1}{2}}\quad&\text{if }n=6, |\Gamma(u)|^{\frac{n+2}{2(n-2)}}\quad&\text{if }n\geq 7.\end{cases}\] Furthermore, we show that this inequality is sharp., Comment: 49 pages; comments are welcome

We classify closed convex $\alpha$-curve shortening flows for sub-affine-critical powers $\alpha \leq \frac{1}{3}$. In addition, we show that closed convex smooth finite entropy $\alpha$-curve shortening flows with $\frac{1}{3}<\alpha$ is a shrinking circle. After normalization, the ancient flows satisfying the above conditions converge exponentially fast to smooth closed convex shrinkers at the backward infinity. In particular, when $\alpha=\frac{1}{k^2-1}$ with $3\leq k \in \mathbb{N}$, the round circle shrinker has non-trivial Jacobi fields, but the ancient flows do not evolve along the Jacobi fields.

We show the existence of non-homothetic ancient flows by powers of curvature embedded in $\mathbb{R}^2$ whose entropy is finite. We determine the Morse indices and kernels of the linearized operator of shrinkers to the flows and construct ancient flows by using unstable eigenfunctions of the linearized operator., Comment: Minor changes in some paragraphs. We add several new references in this version

This paper is devoted to several existence results for a generalized version of the Yamabe problem. First, we prove the remaining global cases for the range of powers $\gamma\in (0,1)$ for the generalized Yamabe problem introduced by Gonzalez and Qing. Second, building on a new approach by Case and Chang for this problem, we prove that this Yamabe problem is solvable in the Poincar\'{e}-Einstein case for $\gamma\in (1,\min\{2,n/2\})$ provided the associated fractional GJMS operator satisfies the strong maximum principle.

In this paper we classify all positive extremal functions to a sharp weighted Sobolev inequality on the upper half space, which involves divergent operators with degeneracy on the boundary. As an application of the results, we can derive a sharp Sobolev type inequality involving Baouendi-Grushin operator, and classify certain extremal functions for all $\tau>0$ and $m\ne2 $ or $ n\ne1$., Comment: In the latest revision, we polished our writing and made some minor corrections

We study the Dirichlet problem for a graph $\Sigma$ in $\mathbb{R}^{n+1}$ with normalized constant mean curvature $H>0$ and planar boundary $\Gamma=\partial \Omega$. Our main result is that the optimal solvability condition, namely that the normalized mean curvature $h$ of $\Gamma$ satisfies $h\geq H$, also suffices when $\Omega$ is strictly convex, to prove the strict convexity of $\Sigma$., Comment: Need to fix some error in the paper. In the last step of the proof, the hypersurface of the minimal principle curvature equal to zero may be tangent to the boundary of the domain

We prove that any complete immersed globally orientable uniformly 2-convex translating soliton $\Sigma \subset \mathbb{R}^{n+1}$ for the mean curvature flow is locally strictly convex. It follows that a uniformly 2-convex entire graphical translating soliton in $\mathbb{R}^{n+1},\, n\geq 3 $ is the axisymmetric "bowl soliton"., Comment: To be published on the Journal of Geometric Analysis

This work is a follow-up on the work of the second author with P. Daskalopoulos and J.L. V\'{a}zquez. In this latter work, we introduced the Yamabe flow associated to the so-called fractional curvature and prove some existence result of mild (semi-group) solutions. In the present work, we continue this study by proving that for some class of data one can prove actually convergence of the flow in a more general context. We build on the approach simplified in the book of M. Struwe.

The Han-Li conjecture states that: Let $(M,g_0)$ be an $n$-dimensional $(n\geq 3)$ smooth compact Riemannian manifold with boundary having positive (generalized) Yamabe constant and $c$ be any real number, then there exists a conformal metric of $g_0$ with scalar curvature $1$ and boundary mean curvature $c$. Combining with Z. C. Han and Y. Y. Li's results, we answer this conjecture affirmatively except for the case that $n\geq 8$, the boundary is umbilic, the Weyl tensor of $M$ vanishes on the boundary and has a non-zero interior point.

We study the problem of deforming a Riemannian metric to a conformal one with nonzero constant scalar curvature and nonzero constant boundary mean curvature on a compact manifold of dimension $n\geq 3$. We prove the existence of such conformal metrics in the cases of $n=6,7$ or the manifold is spin and some other remaining ones left by Escobar. Furthermore, in the positive Yamabe constant case, by normalizing the scalar curvature to be $1$, there exists a sequence of conformal metrics such that their constant boundary mean curvatures go to $+\infty$., Comment: to appear in Comm. Contem. Math