arXiv subjects
Publications and source records attributed to Kelei Wang.
We establish small-energy regularity for stationary weak solutions of the Liouville equation $ -Δu=e^u $ in every dimension. It solves a problem left open in Da Lio [Commun. Partial Differ. Equations, 2008] and posed explicitly again by Da Lio and Hyder in [Commun. Contemp. Math. 2025]. The proof relies on the analysis of concentration phenomena for almost stationary fields with structure constraints.
We prove that every bounded stable entire solution $v$ of the Allen--Cahn equation in $\R^3$ is one-dimensional. As a consequence, the full De Giorgi conjecture in $\mathbb{R}^4$ is true. We also obtain local curvature estimates for stable solutions. The proof strategy is inspired by the recent breakthrough work of Chan, Fernández-Real, Figalli and Serra [J. Amer. Math. Soc. 2026], by reducing the stabilty condition for the Allen-Cahn equation to a weak stability condition on a surface (the zero set) and then utilizing Gauss-Bonnet formula. For this purpose, we first use the stability condition to get a sublinear bound for a weighted integral that controls the zeros where the solution is far from planar. If such zeros exist, we isolate a bounded set of them and join $1-v^2$ near this set to derivatives of one-dimensional transitions farther away. By controlling the interaction between these transitions, we derive the weak stability condition on the zero set, which is then used to bound a weighted integral of the squared curvature on the regular part of the zero set by a cutoff gradient integral and a controlled error. We use this inequality to bound the intrinsic area and construct logarithmic cutoffs. The resulting compactly supported test function has a negative contribution near this set that exceeds all joining and cutoff errors, contradicting stability.
We study bounded entire solutions of the Allen-Cahn equation in dimension three with quadratic energy growth. We prove that such a solution of finite Morse index I has at most 2I ends. Furthermore, we show that Morse index one solutions have two ends and are axially symmetric, which generalizes an earlier result by Florit-Simon.
We prove a Liouville theorem for ancient solutions to the supercritical Fujita equation \[\partial_tu-Δu=|u|^{p-1}u, \quad -\infty \frac{n+2}{n-2},\] which says if $u$ is close to the ODE solution $u_0(t):=(p-1)^{-\frac{1}{p-1}}(-t)^{-\frac{1}{p-1}}$ at large scales, then it is an ODE solution (i.e. it depends only on $t$). This implies a stability property for ODE blow ups in this problem. As an application of these results, we show that for a suitable weak solution, its singular set at the end time can be decomposed into two parts: one part is relatively open and $(n-1)$-rectifiable, and it is characterized by the property that tangent functions at these points are the two constants $\pm(p-1)^{-\frac{1}{p-1}}$; the other part is relatively closed and its Hausdorff dimension is not larger than $n-\left[2\frac{p+1}{p-1}\right]-1$.
In this paper we develop a blow up theory for the parabolic-elliptic Keller-Segel system, which can be viewed as a parabolic counterpart to the Liouville equation. This theory is applied to the study of first time singularities, ancient solutions and entire solutions, leading to a description of the blow-up limit in the first problem, and the large scale structure in the other two problems.
We study properties of solutions to the fractional Allen-Cahn equation when $s\in (0, 1/2)$ and dimension $n\geq 2$. By applying the quantitative stratification principle developed by Naber and Valtorta, we obtain an optimal quantitative estimate on the transition set. As an application of this estimate, we improve the potential energy estimates of Cabre, Cinti, and Serra (2021), providing sharp versions for the fractional Allen-Cahn equation. Similarly, we obtain optimal perimeter estimates for stationary nonlocal minimal surfaces, extending previous results of Cinti, Serra, and Valdinoci (2019) from the stable case.
We study some problems on self similar solutions to the Fujita equation when $p>(n+2)/(n-2)$, especially, the characterization of constant solutions by the energy. Motivated by recent advances in mean curvature flows, we introduce the notion of $F-$functional, $F$-stability and entropy for solutions of supercritical Fujita equation. Using these tools, we prove that among bounded positive self similar solutions, the constant solution has the lowest entropy. Furthermore, there is also a gap between the entropy of constant and non-constant solutions. As an application of these results, we prove that if $p>(n+2)/(n-2)$, then the blow up set of type I blow up solutions is the union of a $(n-1)-$ rectifiable set and a set of Hausdorff dimension at most $n-3$.
We construct entire solutions of bistable reaction-diffusion equations by mixing finite planar fronts, which form a finite-dimensional manifold. These entire solutions are generalized traveling fronts, that is, transition fronts. We also show their uniqueness and stability. Furthermore, we prove that transition fronts with level sets having finite facets are determined by finite planar fronts and they are in the class of entire solutions constructed by us.
This is the first in a series of papers devoted to the blow up analysis for the quenching phenomena in a parabolic MEMS equation. In this paper, we first give an optimal Hölder estimate for solutions to this equation by using the blow up method and some Liouville theorems on stationary two-valued caloric functions, and then establish a convergence theory for sequences of uniformly Hölder continuous solutions. These results are also used to prove a stratification theorem on the rupture set $\{u=0\}$.
We establish a Liouville type result for stable solutions for a wide class of second order semilinear elliptic equations in $\mathbb{R}^{n}$ with sign-changing nonlinearity $f$. Under the hypothesis that the equation does not have any nonconstant one dimensional stable solution, and a further nondegeneracy condition of $f$ at its zero points, we show that in any dimension, stable solutions of the equation must be constant. This partially answers a question raised by Dancer.
We prove the nondegeneracy condition for stable solutions to the one-phase free boundary problem. The proof is by a De Giorgi iteration, where we need the Sobolev inequality of Michael and Simon and, consequently, an integral estimate for the mean curvature of the free boundary. We then apply the nondegeneracy estimate to obtain local curvature bounds for stable free boundaries in dimension $n$, provided the Bernstein type theorem for stable, entire solutions in the same dimension is valid. In particular, we obtain this curvature estimate in $n=2$ dimensions.
We consider the energy critical semilinear heat equation $$ \left\{\begin{aligned} &\partial_t u-Δu =|u|^{\frac{4}{n-2}}u &\mbox{in } {\mathbb R}^n\times(0,T),\\ &u(x,0)=u_0(x), \end{aligned}\right. $$ where $ n\geq 3$, $u_0\in L^\infty({\mathbb R}^n)$, and $T\in {\mathbb R}^+$ is the first blow up time. We prove that if $ n \geq 7$ and $ u_0 \geq 0$, then any blowup must be of Type I, i.e., \[\|u(\cdot, t)\|_{L^\infty({\mathbb R}^n)}\leq C(T-t)^{-\frac{1}{p-1}}.\] A similar result holds for bounded convex domains. The proof relies on a reverse inner-outer gluing mechanism and delicate analysis of bubbling behavior (bubbling tower/cluster).
For a class of reaction-diffusion equations describing propagation phenomena, we prove that for any entire solution $u$, the level set $\{u=λ\}$ is a Lipschitz graph in the time direction if $λ$ is close to $1$. Under a further assumption that $u$ connects $0$ and $1$, it is shown that all level sets are Lipschitz graphs. By a blowing down analysis, the large scale motion law for these level sets and a characterization of the minimal speed for travelling waves are also given.
We study the vanishing viscosity limit of a nonlinear diffusion equation describing chemical reaction interface or the spatial segregation interface of competing species, where the diffusion rate for the negative part of the solution converges to zero. As in the standard one phase Stefan problem, we prove that the positive part of the solution converges uniformly to the solution of a generalized one phase Stefan problem. This information is then employed to determine the limiting equation for the negative part, which is an ordinary differential equation.
We are concerned with the saddle solutions of the Allen-Cahn equation constructed by Cabré and Terra \cite{C,C2} in $\mathbb{R}^{2m}% =\mathbb{R}^{m}\times\mathbb{R}^{m}$. These solutions vanish precisely on the Simons cone. The existence and uniqueness of saddle solution are shown in \cite{C,C2,C1}. Regarding the stability, Schatzman \cite{Sch} proved that the saddle solution is unstable for $m=1,$ Cabré \cite{C1} showed the instability for $m=2,3$ and stability for $m\geq7$. This has left open the case of $m=4,5,6$. In this paper we show that the saddle solutions are stable when $m=4,5,6$, thereby confirming Cabré's conjecture in \cite{C1}. The conjecture that saddle solutions in dimensions $2m\geq8$ should be global minimizers of the energy functional remains open.
In this paper we obtain rigidity results for a bounded non-constant entire solution $u$ of the Allen-Cahn equation in $\mathbb{R}^n$, whose level set $\{u=0\}$ is contained in a half-space. If $n\leq 3$ we prove that the solution must be one-dimensional. In dimension $n\geq 4$, we prove that either the solution is one-dimensional or stays below a one-dimensional solution and converges to it after suitable translations. Some generalizations to one phase free boundary problems are also obtained.
In this paper we study axially symmetric solutions of Allen-Cahn equation with finite Morse index. It is shown that there does not exist such a solution in dimensions between $4$ and $10$. In dimension $3$, we prove that these solutions have finitely many ends. Furthermore, the solution has exactly two ends if its Morse index equals $1$.
In this paper we establish a uniform $C^{2,θ}$ estimate for level sets of stable solutions to the singularly perturbed Allen-Cahn equation in dimensions $ n\leq 10$ (which is optimal). The proof combines two ingredients: one is the infinite dimensional reduction method which enables us to reduce the $C^{2,θ}$ estimate for these level sets to a corresponding one on solutions of Toda system; the other one uses a small regularity theorem on stable solutions of Toda system to establish various decay estimates on these solutions, which gives a lower bound on distances between different sheets of solutions to Toda system or level sets of solutions to Allen-Cahn equation.