SearcharxivSearch

arXiv subjects

Tianling Jin

Publications and source records attributed to Tianling Jin.

At least 19 recordsLinked to original sources

{\L}ojasiewicz--Simon inequalities near bubbling configurations for the Yamabe functional on bounded domains

We establish {\L}ojasiewicz--Simon type gradient inequalities for the Yamabe functional on bounded smooth domains near configurations consisting of finitely many concentrating bubbles, with or without a regular component. A weighted decomposition separates the finite-dimensional spectral and bubble parameters from an infinite-dimensional coercive remainder. We obtain quantitative estimates for the parameters, the remainder, and the corresponding energy gaps, in both the regular-plus-bubbling and the pure-bubbling regimes. These inequalities quantify the deviation from such surfaces and are essential for studying the dynamics of related parabolic flows.

math.AP

Optimal regularity and fine asymptotics for very fast diffusion equations in bounded domains

We prove the optimal global regularity of admissible solutions to a transformed very fast diffusion equation in the range $-1<p<0$, posed on smooth bounded domains with zero Dirichlet boundary data and initial data comparable to the distance function. More precisely, we establish existence and uniqueness and show that solutions belong to $C^{1,p+1}(\overline\Omega)$ in space for every positive time and are $C^\infty$ in time uniformly up to the boundary. Moreover, all their time derivatives belong to $C^{1,p+1}(\overline\Omega)$, and the exponent $p+1$ is optimal. These regularity estimates further yield fine long-time asymptotics toward the friendly giant solution, including a first-order expansion in the $C^{1,p+1}(\overline{\Omega})$ topology and an improved convergence rate for the relative error in $C^{p+1}(\overline\Omega)$.

math.AP

A Liouville theorem for convex functions with periodic Monge-Ampère measure

We study global convex solutions of the Monge-Ampère equation \[ \det D^2 u = μ\quad \text{in } \mathbb{R}^n, \] where $μ\not\equiv 0$ is a nonnegative locally finite periodic Borel measure on $\mathbb{R}^n$. We prove a Liouville-type theorem showing that every such solution admits a unique decomposition, up to an additive constant, as the sum of a quadratic polynomial and a periodic function. This extends earlier results of Caffarelli-Li and Li-Lu, which required $μ$ to have a density with regular or bounded logarithm, to the full generality of periodic measures, allowing degeneracy and singularities. A key ingredient is a new dichotomous Harnack-type inequality for linearized Monge-Ampère equations with nonnegative periodic measures, which compensates for the failure of doubling and engulfing properties in the degenerate setting. In the extremal example where $μ$ is the periodic Dirac measure supported on the integer lattice, we show that the solutions, up to addition of a linear function, are in one-to-one correspondence with Dirichlet-Voronoi tilings of $\mathbb{R}^n$.

math.AP

Extremal Alexandrov estimates: singularities, obstacles, and stability

The classical Alexandrov estimate controls the oscillation of a convex function by the mass of its associated Monge-Ampère measure and yields, for two convex functions of $n$ variables with the same boundary values, a sup-norm bound with exponent $1/n$ in the measure discrepancy. We show that this exponent is not optimal in the small-discrepancy regime once one of the functions is non-degenerate in the sense of having Monge-Ampère density bounded above and below by two positive constants. We prove sharp quantitative estimates comparing two convex functions by the total variation of the difference of their Monge-Ampère measures: in dimensions $n\ge 3$ the optimal dependence is quadratic in the natural mass scale, while in dimension $n=2$ the optimal dependence contains a logarithmic correction. These rates are shown to be optimal for all small discrepancies. A key structural ingredient is a characterization of extremizers. We identify the pointwise minimizers and maximizers in the admissible class and prove that they are realized, respectively, by solutions to Monge-Ampère equations with an isolated singularity and by solutions to Monge-Ampère equations with a linear obstacle. This extremal description reduces the sharp estimates to a precise asymptotic analysis of these two model configurations. Assuming further that the domain and the non-degenerate reference function are $C^{2,α}$ and uniformly convex, we obtain sharp pointwise two-sided asymptotics at interior points with explicit leading constants. Finally, in dimensions $n\ge 3$ we establish a stability phenomenon: if the pointwise estimate is nearly saturated, then the measure discrepancy must concentrate near the point at the natural scale, quantifying rigidity of almost-extremal configurations.

math.AP

Sharp global Alexandrov estimates and entire solutions of Monge-Ampère equations

This paper continues our work [19] on sharp Alexandrov estimates. We obtain a sharp global uniform distance estimate from a convex function to the class of unimodular convex quadratic polynomials in terms of the total variation of its Monge-Ampère defect measure relative to Lebesgue measure. The estimate has an explicit optimal constant, and the inequality is strict in the regime of positive finite defect mass. In this regime we further prove asymptotic rigidity at infinity: every such convex function admits a unique quadratic asymptote with an explicit convergence rate, and satisfies a sharp affine invariant global Alexandrov estimate with equality if and only if the function solves the isolated singularity problem or the hyperplane obstacle problem. Standard subsolution methods are not well suited to this measure-theoretic setting and typically do not yield sharp constants, while the sharp Alexandrov estimates developed in our earlier work [19] play a central role here. As an application, for entire solutions of Monge-Ampère equations with multiple (possibly infinitely many) isolated singularities, we give an explicit quantitative mass-separation condition ensuring strict convexity and hence smoothness away from the set of the isolated singularities.

math.AP

On the singular set of the free boundary for a Monge-Ampère obstacle problem

This is a continuation of our earlier work [14] on the Monge-Ampère obstacle problem \[ \det D^2 v = v^q χ_{\{v>0\}}, \quad v \geq 0 \text{ convex} \] with $q \in [0,n)$, where we studied the regularity of the strictly convex part of the free boundary. In this work, we examine the non-strictly convex part of the free boundary and establish optimal dimension bounds for its flat portion. Additionally, we investigate the strong maximum principle and a stability property for this Monge-Ampère obstacle problem.

math.AP

Regularity and classification of the free boundary for a Monge-Ampère obstacle problem

We study convex solutions to the Monge-Ampère obstacle problem \[ \operatorname{det} D^2 v=g v^qχ_{\{v>0\}}, \quad v \geq 0, \] where $q \in [0,n)$ is a constant and $g$ is a bounded positive function. This problem emerges from the $L_p$ Minkowski problem. We establish $C^{1, α}$ regularity for the strictly convex part of the free boundary $\partial\{v=0\}$. Furthermore, when $g \in C^α$, we prove a Schauder-type estimate. As a consequence, when $g\equiv 1$, we obtain a Liouville theorem for entire solutions with unbounded coincidence sets $\{v=0\}$. Combined with existing results, this provides a complete classification of entire solutions for the case $q=0$.

math.AP

Extinction profiles for the Sobolev critical fast diffusion equation in bounded domains. I. One bubble dynamics

In this paper, we investigate the extinction behavior of nonnegative solutions to the Sobolev critical fast diffusion equation in bounded smooth domains with the Dirichlet zero boundary condition. Under the two-bubble energy threshold assumption on the initial data, we prove the dichotomy that every solution converges uniformly, in terms of relative error, to either a steady state or a blowing-up bubble.

math.AP

Hölder regularity for the linearized porous medium equation in bounded domains

In this paper, we systematically study weak solutions of a linear singular or degenerate parabolic equation in a mixed divergence form and nondivergence form, which arises from the linearized fast diffusion equation and the linearized porous medium equation with the homogeneous Dirichlet boundary condition. We prove the Hölder regularity of their weak solutions.

math.AP

Bubbling and extinction for some fast diffusion equations in bounded domains

We study a Sobolev critical fast diffusion equation in bounded domains with the Brezis-Nirenberg effect. We obtain extinction profiles of its positive solutions, and show that the convergence rates of the relative error in regular norms are at least polynomial. Exponential decay rates are proved for generic domains. Our proof makes use of its regularity estimates, a curvature type evolution equation, as well as blow up analysis. Results for Sobolev subcritical fast diffusion equations are also obtained.

math.AP

Regularity of solutions to the Dirichlet problem for fast diffusion equations

We prove global Hölder gradient estimates for bounded positive weak solutions of fast diffusion equations in smooth bounded domains with the homogeneous Dirichlet boundary condition, which then lead us to establish their optimal global regularity. This solves a problem raised by Berryman and Holland in 1980.

math.AP

Optimal regularity and fine asymptotics for the porous medium equation in bounded domains

We prove the optimal global regularity of nonnegative solutions to the porous medium equation in smooth bounded domains with the zero Dirichlet boundary condition after certain waiting time $T^*$. More precisely, we show that solutions are $C^{2,α}(\overlineΩ)$ in space, with $α=\frac1m$, and $C^\infty$ in time (uniformly in $x\in \overlineΩ$), for $t>T^*$. Furthermore, this allows us to refine the asymptotics of solutions for large times, improving the best known results so far in two ways: we establish a faster rate of convergence $O(t^{-1-γ})$, and we prove that the convergence holds in the $C^{1,α}(\overlineΩ)$ topology.

math.AP