Analysis of PDEs · Cross-listed from math.DG
Stability of Diophantine Minimal Foliations in Arbitrary Codimension
Hoan Nguyen
We generalize Moser's stability
theorem for minimal hypersurface foliations to arbitrary codimension. Let $\mathbb{T}^N=\mathbb{R}^N/\mathbb{Z}^N$ be the standard
torus, and let $P\subset\mathbb{R}^N$ be an $m$-plane satisfying a Diophantine condition relative to $\mathbb{Z}^N$. We prove that, under every sufficiently small smooth $\mathbb{Z}^N$-periodic perturbation of the Euclidean metric, the affine foliation of $\mathbb{T}^N$ induced by $P$ persists as a smoothly conjugate foliation by minimal $m$-dimensional submanifolds. The normalized conjugating displacement depends smoothly and tamely on the metric and is locally unique. The proof uses Hamilton's formulation of the Nash-Moser implicit function
theorem.
Read the full abstract ▾
Analysis of PDEs
Regularity theorems for Lipschitz viscosity solutions to the minimal surface system
Bryan Dimler
We prove several regularity
theorems concerning Lipschitz viscosity solutions to the minimal surface system. The main lemma (i.e. “Decoupling Lemma") says that the component functions of such solutions satisfy the homogeneous Pucci inequalities. This allows us to apply the regularity theory for scalar viscosity solutions for elliptic PDE component-wise to a viscosity solution for the system. As a result of the Decoupling Lemma, we deduce that 2D Lipschitz viscosity solutions to the system are analytic in the interior, and obtain a quantitative partial regularity
theorem. We also prove a
geometric Harnack inequality for Lipschitz solutions. The Harnack inequality yields a strong maximum principle and half-space Liouville
theorem. Another significant consequence of the lemma is a boundary regularity
theorem for Lipschitz viscosity solutions. Notably, our
theorem does not require any density assumption at the graph boundary, and we do not assume stationarity. This is used to prove a classification
theorem for the singular set of a 4D stationary solution on a bounded domain. We also prove an $\varepsilon$-regularity
theorem extending a result of the author. To conclude, we survey open problems. As an example, we have included a Bernstein-type
theorem for 3D homogeneous entire Lipschitz viscosity solutions. Taken together, our results suggest that viscosity methods are a useful tool for studying the regularity of minimal graphs.
Read the full abstract ▾
Analysis of PDEs
Sharp stability for mixed bubbles on hyperbolic space
Juncheng Wei, Zetian Yan and Zhipeng Yang
We prove sharp residual stability estimates for the critical Poincaré-Sobolev equation near sums of one positive
hyperbolic solution and one projected Euclidean bubble in dimensions at least four. The estimates are uniform in the relative positions of the centers. The sharp rate is linear except in dimension six, where it contains a square root of a logarithm. For nonnegative functions, the same estimates hold under an energy constraint near the sum of the two profile energies for \(\lambda\) outside a finite set, and an additional mass constraint removes this restriction. For arbitrary finite numbers of profiles, we identify and realize all nonnegative Palais-Smale levels. We characterize the parameters at which different pairs of profile numbers have the same energy and show that the limiting energy and mass determine both profile numbers.
Read the full abstract ▾
Analysis of PDEs
Lack of exponential stability for thermoelastic Timoshenko and Bresse systems with full homogeneous Dirichlet boundary conditions
Pedro Roberto de Lima
In this paper we prove that the classical thermoelastic Timoshenko and Bresse systems with thermal coupling acting only on the bending moment are not exponentially stable under full homogeneous Dirichlet boundary conditions if the equal wave speed condition is not satisfied. Combined with their well-known converses, our results provide complete characterizations of exponential stability in terms of the coefficients of each system. To the best of our knowledge, these characterizations were previously known only under mixed boundary conditions. The proof is based on the introduction of a boundary correction term in the standard trigonometric ansatz so that the full homogeneous Dirichlet conditions are satisfied.
Read the full abstract ▾
Analysis of PDEs · Cross-listed from math.DG
Auxiliary Hessian Equations
Johannes G. Scheffler
We propose k-Hessian equations as auxiliary equations for degenera- tions of Kähler classes to nef classes of numerical dimension k. As proof-of-concept results, we provide a uniform mean-value inequality and uniform à priori estimates for Hessian equa- tions.
Analysis of PDEs · Cross-listed from math.PR
Uniform-in-time propagation of chaos for singular $L^k$ interaction kernels with rates
Nicoleta Cazacu, Alexandre Richard and Milica Tomasevic
Based on a semigroup approach, we prove quantitative uniform-in-time propagation of chaos for two systems of interacting particles with singular interaction kernels $K$ of type $L^k$, $k>d$, and a contractive Lipschitz confinement force field. First, we consider a system with moderate interaction, which means that the particles interact through the mollified kernel $K\ast V^N$, for some approximation of identity $V^N = N^{d\alpha} V(N^\alpha \cdot),\, \alpha>0$. Assuming that $\|K\|_{L^k}$ is sufficiently small, we obtain that for any $\varepsilon>0$ the uniform-in-time rate is of order $N^{-\min\left(\alpha,\frac12-\frac{d\alpha}{2}-\varepsilon\right)}$, plus an exponentially small in time contribution of the initial condition. Second, for the classical, non-mollified particle system we establish uniform-in-time propagation of chaos with rate $N^{-\min\left(\alpha,\frac12-\frac{d\alpha}{2}-\varepsilon\right)} + \|K-K\ast V^N\|_{L^{k}}$, plus an exponentially small in time contribution of the initial condition. The method relies on the regularity properties of the solution of the associated nonlinear Fokker-Planck equation combined with estimates of the Duhamel formulation of the mollified empirical measure, together with partial Girsanov transforms for the non-mollified system of particles.
Read the full abstract ▾
Analysis of PDEs
Regularity for Minimizers of Mixed-Smoothness Variational Integrals
Jan Kristensen, Adam Prosinski and Aidan Strong
We establish the first partial regularity results for minimizers of a class of suitably quasiconvex variational integrals defined on anisotropic Sobolev spaces. These variational integrals are related to higher gradient continuum models for pantographic metamaterials.
Analysis of PDEs
Failure of dimension drop for harmonic measure on Ahlfors regular flat boundaries
Yingying Cai, Cole Jeznach and Xavier Tolsa
We develop an $N$-adic modification of the construction of David-Jeznach-Julia for compact subsets of the real line $\mathbb{R}\subset\mathbb{C}$ for which harmonic measure for the complementary domains has no dimension drop. In particular, we show that for every $s\in(0,1/2)$, there exists an $s$-Ahlfors regular compact set $K\subset\mathbb{R}\subset\mathbb{C}$ such that $\mathrm{dim}\omega^\infty=s$, where $\omega^\infty$ denotes harmonic measure for $\mathbb{C}\setminus K$ with pole at infinity. Combined with a result of the third author, this shows that the threshold $1/2$ is sharp.
Read the full abstract ▾
Analysis of PDEs
Explicit counterexamples to Frank-Loss optimizer conjectures for critical Dirac and vector Sobolev inequalities
Bartosz Bieganowski and Jarosław Mederski
Frank and Loss proposed critical Sobolev inequalities for the Dirac operator and for vector fields. They conjectured optimality of their spinorial family and wrote that it is conceivable that the higher-dimensional Loss-Yau potential is an optimizer. Wang and Zhang recently disproved both optimizer claims using direct comparison and instability arguments. We compute closed-form quotients for two elementary families of explicit competitors with strictly smaller quotients. For every $d\geq2$, the spinorial competitor is a constant spinor multiplied by a scalar Aubin-Talenti optimizer. For every $d\geq3$, the vector competitor is the planar azimuthal field \[ A_d(x)=\frac{d}{(1+\lvert x\rvert^2)^2} (-x_2,x_1,0,\ldots,0). \] It lies in the nonlinear gauge and its quotient is computed in closed form. For every odd $d\geq3$, it gives an explicit proof of nonoptimality of the higher-dimensional Loss-Yau-Dunne-Min potential. In dimension three, this field is a specific member of the competitor family of Wang and Zhang: it is a linear combination of the Loss-Yau potential and its reflected twin. Its axisymmetry gives a negative answer to their question about minimization within the $\mathrm{SO}(2)\times 1$-invariant class.
Read the full abstract ▾
Analysis of PDEs · Cross-listed from math.SP
An optimization problem for $\delta'$ leaky stars
Pavel Exner
We consider singular Schrödinger operators with an attractive $\delta'$ interaction of strength $\beta$ supported by a
star graph and prove that the ground-state
eigenvalue is uniquely maximized by
stars of the maximum
symmetry. Two different proofs are presented, one for an even number of edges using a comparison to the $\delta$ interaction
star, the other general based on Birman-Schwinger technique.
Read the full abstract ▾
Analysis of PDEs
Failure of dimension drop for harmonic measure on Ahlfors regular boundaries of dimension close to $1$
Yingying Cai, Cole Jeznach and Xavier Tolsa
For every $0<s<1$ we construct a compact $s$-Ahlfors regular set $K\subset\mathbb C$ for which harmonic measure of $\mathbb C\setminus K$ with pole at infinity is comparable to $\mathcal H^s|_K$. In particular, there is no dimension drop for any dimension $s<1$. The construction is $N$-adic and based on configurations close to the $N$-th roots of unity. We adjust the positions of the children by small
polynomial deformations so that the logarithmic potential of the natural Bernoulli measure becomes constant in the limit. A first-mode correction gives the range $s<2/3$, while corrections of arbitrary finite order yield the full range $0<s<1$.
Read the full abstract ▾
Analysis of PDEs
Small-speed solitary-wave stability and global well-posedness for a Bessel-regularized Airy equation
Germán Preciado López
We prove orbital stability of minimizing solitary waves at sufficiently small positive speeds for an Airy equation with a quadratic interaction filtered by a Bessel potential of order one. The stability hypotheses are verified: constrained minimization gives one negative direction, the small-speed KdV limit and operator-norm perturbation of the profile resolvent give a one-dimensional translation kernel, and a differentiable rescaled branch with uniformly bounded derivative gives a positive slope of the quadratic invariant. A conserved Lyapunov functional then proves orbital stability in the three-halves-derivative energy space and the perturbation also gives uniqueness of centered minimizers at small speed. The dynamical framework is supplied by a direct Bourgain-space bilinear estimate, local well-posedness in the square-integrable class, unconditional uniqueness from one-quarter derivative onward, and global well-posedness in the half-derivative energy space. For every prescribed positive speed, constrained minimization constructs smooth positive profiles that are symmetric, strictly monotone away from their center, and exponentially localized. At general positive speeds the stability criterion remains conditional on nondegeneracy and the slope condition.
Read the full abstract ▾
Analysis of PDEs · Cross-listed from math.DG
Remarks on the disjoint minimal graphs conjecture
Allen Weitsman
It is known that there can be at most 3 disjoint nontrivial minimal graphs in R^3 with 0 boundary values, and conjectured that there can be at most 2. We explore properties that the graphs would have if there were 3.
Analysis of PDEs
Sharp conditions for fully nonlinear equations with $(n-1)$-Hessian matrix: Part II. $k$-Hessian case
Jingwen Ji, Feida Jiang and Mengni Li
We study admissible entire subsolutions and radial boundary blow-up solutions of $S_k^{\frac1k}[\Delta uI-D^2u]=f(u)+g(u)|Du|^q$ for $1\leq k<n$, continuing our study of the determinant case $k=n$ in Part I. Under structural assumptions on the continuous, non-decreasing coefficients $f$ and $g$, we establish necessary and sufficient conditions for the existence of entire subsolutions when $q<2$. Our results cover the non-Lipschitz case $0<q<1$ with a possibly vanishing zero-order term, the gradient-singular case $q<0$, and sign-changing gradient coefficients. We also characterize finite-radius blow-up of radial solutions and derive two-sided estimates for the blow-up radius, as well as pointwise upper bounds for their profiles in terms of inverse Keller–Osserman functions.
Read the full abstract ▾
Analysis of PDEs
Sharp conditions for fully nonlinear equations with $(n-1)$-Hessian matrix: Part I. Monge–Ampère case
Jingwen Ji, Feida Jiang and Mengni Li
We study positive $(n-1)$-convex entire subsolutions of the normalized real $(n-1)$ Monge–Ampère equation $\operatorname{det}^{\frac1n}\bigl(\Delta uI-D^2u\bigr)=f(u)+g(u)|Du|^q$ in $\mathbb R^n$. Under two sets of structural assumptions on the continuous, non-decreasing coefficients $f$ and $g$, we establish necessary and sufficient conditions for the existence of entire subsolutions when $q<2-\frac1n$. Our results cover the pure-gradient degenerate case $f\equiv0$ with $0<q<1$, the gradient-singular case $q<0$, and the case where $g$ changes sign. For $q=2-\frac1n$, we recover the Keller–Osserman condition for the gradient-independent equation, prove nonexistence when $g$ is eventually positive, and obtain an exponentially weighted condition when $g$ has a nonpositive limit at infinity. This is the first of two companion papers and treats the determinant case.
Read the full abstract ▾