arXiv Science⌕ Search

arXiv subjects

Liming Sun

Publications and source records attributed to Liming Sun.

At least 19 recordsLinked to original sources
arXiv2026

Conformal Metrics on the unit Ball with Constant $Q$-Curvature, Constant $T$-Curvature, and Minimal Boundary

We completely classify conformal metrics on the unit ball $(\mathbb{B}^{n+1},|\mathrm{d} x|^2)$, $n\geq4$, with positive constant $Q$-curvature, positive constant $T$-curvature, and minimal boundary. After normalizing the $Q$-curvature, there is a unique conformal metric for each $T$-curvature value in $[0,+\infty)$, up to conformal diffeomorphism. For positive $T$-curvature, these metrics are not Einstein and yield a new family of bubble profiles, distinct from the Aubin--Talenti bubble family except when $T=0$. This new phenomenon has no analogue in either the second-order boundary Yamabe problem or the constant $Q$-curvature problem on closed manifolds. To our knowledge, this is the first classification result for a fourth-order boundary value problem with nonlinear terms both in the interior and on the boundary.

math.AP↗
arXiv2026

Planar doubling nodal solutions to the Yamabe equation with maximal rank

This article constructs two families of nodal solutions to the Yamabe equation, each concentrating along two planar circles. One family is conformally equivalent to the one previously obtained by Medina--Musso. The second family is a twisted variant of the first; it is new and is derived from ansatzes that are not Kelvin invariant, in contrast to a standard assumption in earlier works. In addition, in dimension 3, these solutions attain maximal rank. By means of a continuous family of conformal transformations, we then analyze the interaction of the two circles, which display a crossing phenomenon reminiscent, in some sense, of leap-frogging behavior in vortex dynamics.

math.AP↗
arXiv2026

Prescribed $T$-curvature flow on the four-dimensional unit ball

In this paper, we study the prescribed $T$-curvature problem on the unit ball $\mathbb{B}^4$ of $\mathbb{R} ^4$ via the $T$-curvature flow approach. By combining Ache-Chang's inequality with the Morse-theoretic approach of Malchiodi-Struwe, we establish existence results under strong Morse-type inequalities at infinity. As a byproduct of our argument, we also prove the exponential convergence of the $T$-curvature flow on $\mathbb{B}^4$, starting from a $Q$-flat and minimal metric conformal to the standard Euclidean metric, to an extremal metric of Ache-Chang's inequality whose explicit expression was derived by Ndiaye-Sun.

math.DG↗
arXiv2025

On Brezis' First Open Problem: A Complete Solution

In 2023, H.\,Brezis published a list of his ``favorite open problems", which he described as challenges he had ``raised throughout his career and has resisted so far". We provide a complete resolution to the first one--Open Problem 1.1--in Brezis's favorite open problems list: the existence of solutions to the long-standing Brezis-Nirenberg problem on a three-dimensional ball. Furthermore, using the building blocks of Del Pino-Musso-Pacard-Pistoia sign-changing solutions to the Yamabe problem, we establish the existence of infinitely many sign-changing, nonradial solutions for the full range of the parameter.

math.AP↗
arXiv2024

Attainability of the best constant of Hardy-Sobolev inequality with full boundary singularities

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.

math.AP↗
arXiv2022

A slow blow up solution for the four dimensional energy critical semi linear heat equation

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$.

math.AP↗
arXiv2021

Quantitative stability of harmonic maps from $\mathbb{R}^2$ to $\mathbb{S}^2$ with higher degree

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.

math.AP↗
arXiv2021

Non-degeneracy and quantitative stability of half-harmonic maps from ${\mathbb R}$ to ${\mathbb S}$

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$.

math.AP↗
arXiv2021

Sharp quantitative estimates of Struwe's Decomposition

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.

math.AP↗
arXiv2020

Classification of ancient flows by sub-affine-critical powers of curvature in $\mathbb{R}^2$

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.

math.DG↗
arXiv2020

Ancient finite entropy flows by powers of curvature in $\mathbb{R}^2$

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.

math.DG↗
arXiv2019

Uniformization Theorems: Between Yamabe and Paneitz

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.

math.AP↗
arXiv2019

Divergent operator with degeneracy and related sharp inequalities

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$.

math.AP↗
arXiv2019

Convexity of constant mean curvature graphs in $\mathbb{R}^{n+1}$ with planar boundary

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$.

math.DG↗
arXiv2018

Convergence of the fractional Yamabe flow for a class of initial data

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.

math.AP↗