Analysis of PDEs · Cross-listed from math.FA
A Sharp Planar Fractional Isoperimetric Inequality
Xiaosheng Lin, Dachun Yang, Sibei Yang et al. (+2 more)
In this article, we prove the sharp form of the fractional isoperimetric inequality in the plane, originally posed by Maz'ya [Problem 1, Integral Equations Operator Theory, 2018]. More precisely, we show that, for any given $s\in(0,1)$ and any bounded domain $\Omega \subset \mathbb{R}^2$ with $C^1$ boundary, $$ P_s(\Omega) \le \frac{\pi^{s-\frac{1}{2}}\Gamma\left(\frac{3-s}{2}\right)} {s(1-s)\Gamma\left(\frac{4-s}{2}\right)}\left[\mathcal{H}^1(\partial\Omega)\right]^{2-s}, $$ where $P_s$ denotes the fractional $s$-perimeter, $\Gamma$ denotes the Gamma function, and $\mathcal{H}^{1}$ denotes the $1$-dimensional Hausdorff measure on $\mathbb{R}^2$. The constant is sharp and equality is attained by the disk. The proof proceeds in three steps: reducing the fractional perimeter to a chord functional, reducing connected domains to convex bodies, and proving the sharp convex chord inequality via a fractional Willmore-type inequality, a variational formula along outer parallel bodies, and asymptotic analysis.
Read the full abstract ▾
All authors Xiaosheng Lin, Dachun Yang, Sibei Yang, Wen Yuan, Yangyang Zhang
Analysis of PDEs · Cross-listed from math.FA
On Two Questions by Brezis et al Concerning the Critical Difference Quotient Characterization of First-Order Sobolev Spaces
Yiqun Chen, Dachun Yang, Wen Yuan et al. (+1 more)
Let $N\in\mathbb N$ and $\gamma\in[-1,0)$. In [Anal. PDE 17 (2024)], Brezis, Seeger, Van~Schaftingen, and Yung asked how, in the exceptional range $\gamma\in[-1,0)$, $\dot{\mathrm{BV}}(\gamma)$ and $\dot W^{1,1}(\gamma)$ on ${\mathbb R}^N$ are related to other function spaces, especially to Hardy–Sobolev spaces, and whether these spaces are normable. In this article, we prove that the homogeneous Hardy–Sobolev space is strictly embedded, respectively, into $\dot{\mathrm{BV}}(\gamma)$ and $\dot W^{1,1}(\gamma)$, and neither $\dot{W}^{1,1}(\gamma)/\mathbb R$ nor $\dot{BV}(\gamma)/\mathbb R$ is normable, which answers the above two questions.
Read the full abstract ▾
All authors Yiqun Chen, Dachun Yang, Wen Yuan, Yangyang Zhang
Analysis of PDEs
A Solution of Problem 2.5 by Brezis on the Planar Ginzburg–Landau Equation
Xiaosheng Lin, Dachun Yang, Sibei Yang et al. (+2 more)
Brezis, Merle, and Riviére [Arch. Rational Mech. Anal. 1994] proved that, if a smooth solution $u:\mathbb{R}^2\to\mathbb{C}$ of the planar entire Ginzburg–Landau equation $$ -\Delta u = u(1-|u|^2)\quad \text{in}\quad \mathbb{R}^2 $$ satisfies the finite potential energy estimate that $$ \int_{\mathbb{R}^2}\left[1-|u(x)|^2\right]^2\,dx < \infty, $$ then it has the asymptotic property that $$ |u(x)|\to 1\quad \text{as}\quad |x|\to\infty. $$ The converse problem whether the asymptotic property implies the finite potential energy estimate was originally posed in their work and later formulated by Brezis as Open Problem 2.5 in [Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 2023]. In this article, we give an affirmative answer to this question. Our proof relies on the Kelvin inversion, a Morrey-type energy decay for the translation Jacobi system, the $L^4$-integrability of the phase form, and a linearised amplitude equation; all these tools together imply the $L^2$-integrability of the function $1-|u|$ on an exterior domain, without any a priori integrability assumption.
Read the full abstract ▾
All authors Xiaosheng Lin, Dachun Yang, Sibei Yang, Wen Yuan, Yangyang Zhang
Analysis of PDEs
On biharmonic equations with $p$-Laplacian and indefinite potentials or critical nonlinearity
Shibo Liu and Kanishka Perera
In this paper we consider nonlinear biharmonic equations with $p$-
Laplacian ($p\ge2$) of the form $$ \left\{ \begin{array}{l} \Delta^2 u - \Delta_p u + V (x) u = f (x, u) \text{,} u \in H^2 (\mathbb{R}^N) \text{,} \end{array} \right. $$ where the potential $V(x)$ may be indefinite. Using local linking and Morse theory, nontrivial solutions are obtained. In case the nonlinearity $f(x,\cdot)$ is odd, we obtain a sequence of large energy solutions. In the second part of the paper, for bounded positive potential, we get multiple solutions for the case that $$f(x,u)=\lambda g (x) | u |^{q - 2} u + | u |^{m - 2} u$$ with exponent $m$ critical or subcritical.
Read the full abstract ▾
Analysis of PDEs
Finite-energy weak solutions and relaxation for a compressible kinetic–fluid system with locally averaged Brinkman force
Young-Pil Choi and Roman Shvydkoy
We study a kinetic–fluid system in which a Vlasov or Vlasov–Fokker–Planck equation is coupled to the compressible Navier–Stokes equations with density-dependent viscosities through a locally averaged Brinkman force. The averaging is chosen in a conservative form so that the coupled system preserves the total momentum and satisfies a natural energy-dissipation balance, while avoiding the pointwise evaluation of a possibly rough fluid velocity. The first main result is a conditional exponential relaxation estimate for sufficiently regular solutions. The estimate is proved under positive and negative density moment bounds and a Muckenhoupt $\calA_2$ condition on a power of the density, which replace uniform pointwise upper and lower bounds. The proof combines a modulated energy and hypocoercivity analysis with a compensating functional for the density fluctuation. A key ingredient is a weighted Calderón–Zygmund estimate for the associated elliptic corrector, which allows us to control the viscous contribution under the $\calA_2$ condition. The second main result concerns global finite-energy Bresch–Desjardins
entropy weak solutions in admissible low-dimensional regimes. Using the additional
entropy structure associated with the density-dependent viscosities, we verify the density assumptions required by the conditional relaxation
theorem and obtain exponential relaxation for the weak solutions. In the diffusionless case, the particle distribution aligns toward a mono-kinetic state, while in the diffusive case the relaxation is towards a Maxwellian
equilibrium.
Read the full abstract ▾
Analysis of PDEs
A sharp rigidity/flexibility threshold for the isotropic Landau equation
Nicholas Gismondi, William Golding and Matthew Novack
We establish a sharp rigidity/flexibility threshold for stationary solutions of the Krieger–Strain equation, an isotropic model of the Landau–Coulomb equation. For every $1< p < \frac65$, we use Nash iteration to construct nontrivial, nonnegative solutions in $L^1(\mathbb{R}^3) \cap L^p(\mathbb{R}^3)$ with arbitrarily strong exponential localization. Conversely, every stationary weak solution in $L^{\frac65}(\mathbb{R}^3)$ is trivial, identifying $L^{\frac65}(\mathbb{R}^3)$ as a new sharp integrability threshold. To our knowledge, this is the first use of Nash iteration for a nonlinear equation from collisional kinetic theory. The construction is based on a high–high–low cancellation within the Krieger–Strain operator and suggests that such mechanisms may occur more broadly in kinetic theory. The construction must accommodate kinetic features unusual for the method including a strongly nonlocal collision operator; an equation fundamentally posed on the whole space—not the periodic box; and a positive scalar unknown. At this low level of regularity, the usual formulations of the collision operator are not a priori well-defined, so a central part of the problem is specifying in what sense the constructed objects solve the equation. We isolate the notion of mollifier confluence, a simple and canonical way to interpret a nonlinearity below naive thresholds related to multiplying distributions. We complement this definition with a systematic treatment of weak solution notions and several explicit formal computations and clarifying examples that may be of independent interest.
Read the full abstract ▾
Analysis of PDEs
Regularized distance in space forms and its application
Xiaodong Cao and Ling Xiao
We construct regularized distance functions for
star-shaped domains in space forms $\mathbb N^n(K)$ and derive explicit formulas for their Hessians in terms of the principal
curvatures of the boundary. As an application, we use these regularized distance functions to construct barriers and prove the existence of an admissible $C^{1,1}$ solution to the degenerate $\sigma_k$ equation on ring domains in $\mathbb R^n$ and $\mathbb H^n$, under suitable conditions on the boundary components.
Read the full abstract ▾
Analysis of PDEs
Fixed angle inverse scattering with non-constant velocity
Lauri Oksanen, Rakesh and Mikko Salo
In this article, we study formally determined inverse problems for wave equations in the presence of a variable sound speed. We prove that by measuring the boundary data of finitely many plane waves and their complementary solutions, one can uniquely recover the unknown coefficients of the highest order terms of a second order
hyperbolic operator with time independent coefficients. This improves earlier rigidity results in [10], [11] which compared the wave operator generated by a Riemannian metric with the wave operator generated by the Euclidean metric. We compare two general second order
hyperbolic operators with time independent coefficients, with the same lower order terms. However, we require the geometry associated with one of the operators to satisfy a pseudoconvexity condition, a no-caustics condition, and a spanning condition. In particular one of the operators could be a wave operator with the sound speed close to a constant and the other operator could be arbitrary. To prove the results, we introduce the notion of a complementary solution for a generalized plane wave solution generated by an incoming plane wave. The complementary solution extends smoothly, across an interface, the generalized plane wave. The unknown coefficients appear in a transport equation at the interface. We show that the unknown coefficients in the interior can be extracted from this transport equation, from the boundary data, via a sequence of Carleman estimates for the wave operator.
Read the full abstract ▾
Analysis of PDEs
Non-uniqueness of Brakke flows starting from minimal surfaces with singularities
Kotaro Motegi
We prove the existence of a genuinely time-dependent Brakke flow starting from $\Gamma_0 \subset \mathbb{R}^{n+1}$ whose associated multiplicity-one varifold is stationary, provided that, at some singular point, the scale-invariant $L^2$ distance of $\Gamma_0$ from an $n$-dimensional plane has sufficiently small limsup as the scale tends to zero. This yields the dynamical instability of $\Gamma_0$, a notion recently introduced by Stuvard and Tonegawa, and hence the non-uniqueness of Brakke flows starting from $\Gamma_0$. A notable feature of our result is that it holds without assuming the uniqueness of tangent cones at the singular point.
Read the full abstract ▾
Analysis of PDEs
A positive answer to the generalized Chang-Yang conjecture on $\mathbb{S}^N$
Changfeng Gui, Tuoxin Li, Juncheng Wei et al. (+1 more)
We prove that for every integer $N\geq 3$ and $\alpha\geq \frac{1}{2}$, Beckner's inequality \[ \frac{\alpha}{2}\int_{\mathbb{S}^N}u(P_{N}u) dw+(N-1)!\int_{\mathbb{S}^N}u dw-\frac{(N-1)!}{N}\log\int_{\mathbb{S}^N}e^{Nu} dw\geq 0 \] holds for every $u\in H^{\frac{N}{2}}(\mathbb{S}^N)$ whose center of mass is at the origin. The proof is mainly based on an integral representation formula and a rigidity
theorem for stable critical points. Hence, we answer the generalized Chang-Yang
conjecture positively for every integer $N\geq 3$.
Read the full abstract ▾
All authors Changfeng Gui, Tuoxin Li, Juncheng Wei, Zikai Ye
Analysis of PDEs
Fundamental Gaps for the Dirichlet p-Laplacian on Convex Domains
Rui Chen and Daniel Hauer
We study the fundamental gap of the Dirichlet $p$-
Laplacian on bounded convex domains. We first prove the sharp one-dimensional estimate $\Gamma_p(I_D,V)\ge (p-1)(2^p-1)(\pi_p/D)^p$, $I_D=(-D/2,D/2)$, for all $1<p<\infty$ and convex potentials $V$, with equality exactly for constant $V$. An analysis of collapsing convex domains shows that $p=2$ is exceptional: for $p\ne2$, the higher-dimensional gap is not governed by the sharp one-dimensional constant. For $V\equiv0$, define $G_{p,N}:=\inf_{\Omega\subset\mathbb R^N}\operatorname{diam}(\Omega)^p\Gamma_p(\Omega,0)$ over bounded convex domains. We prove $G_{2,N}=3\pi^2$ and $G_{p,N}=0$ for $1<p<2$, $N\ge2$, while for every $p>2$, $G_{p,N}>0$ and the infimum is attained. We obtain explicit dimension-dependent bounds and $G_{p,N}\asymp_p N^{p-2}$ as $N\to\infty$, while for fixed $N$, $\lim_{p\downarrow2}G_{p,N}=3\pi^2$ and $\lim_{p\to\infty}G_{p,N}^{1/p}=4$. We also characterize the collapse as $p\downarrow2$: minimizing domains degenerate, and every limiting normalized ground-state measure is supported on a unit segment and, up to rigid motions, equals $2\cos^2(\pi t)\,dt$ on $(-1/2,1/2)$. The proof establishes log-concavity of the first $p$-eigenfunction with convex potential, a degenerate weighted Poincaré inequality for the ground-state measure, and a lower gap bound in terms of the first
eigenvalue and the associated weighted Poincaré constant. These estimates also give the compactness and equality analysis for the collapsing minimizers.
Read the full abstract ▾
Analysis of PDEs
Memory Stabilizes Spontaneous Particle Aggregation: A Linearized Vlasov–Fokker–Planck Analysis
Jan Haskovec
We perform a linearized stability analysis of the Vlasov–Fokker–Planck equation obtained as the mean-field description of a
stochastic spontaneous aggregation model with
memory.
Memory is represented by a chain of $K$ internal variables. We characterize the spatially homogeneous
equilibria and derive a scalar dispersion relation for spatially inhomogeneous perturbations. When all relaxation rates are equal, we show that every
Fourier mode that is unstable in the memoryless model possesses a unique critical relaxation parameter: sufficiently long
memory stabilizes the mode, whereas it remains unstable for short
memory. Although
memory may destabilize individual modes associated with negative
Fourier coefficients of the sensing kernel, we prove that, for radially symmetric distance-decreasing kernels, it cannot destabilize a homogeneous
equilibrium that is stable in the memoryless model. Thus,
memory cannot create an overall instability of an otherwise stable homogeneous state, although it may change the set of the unstable modes. We present a numerical example for the normalized top-hat kernel, demonstrating that increasing the effective
memory length successively stabilizes the
Fourier modes, with higher frequencies being stabilized before lower ones. This is consistent with the coarsening effect observed in recent particle simulations. Finally, under suitable nondegeneracy and regularity assumptions, we use the Crandall–Rabinowitz
theorem to obtain branches of spatially inhomogeneous stationary solutions bifurcating from the homogeneous state.
Read the full abstract ▾
Analysis of PDEs · Cross-listed from math.NA
Stochastic resistive Hall–MHD with current fluctuations: martingale weak solutions via a convergent structure-preserving finite element method
Agus L. Soenjaya
We study the
stochastic resistive Hall–magnetohydrodynamic (Hall–MHD) system on bounded convex polyhedral domains, subject to nonlinear perfectly conducting boundary conditions. The system is driven by multiplicative Gaussian forcing in the momentum equation together with structured curl-type noise in the induction equation arising from
stochastic perturbations of the resistive and Hall parts in the generalised Ohm law. We develop a fully discrete, linearly implicit, structure-preserving mixed finite element method based on a compatible discrete de Rham complex, which preserves the
magnetic Gauss law exactly. We prove subsequential convergence of the discrete solutions to a finite-energy weak martingale solution, thereby obtaining a constructive existence result for the
stochastic Hall–MHD system with curl-type noise. Numerical experiments illustrate the
stochastic dynamics, exact divergence preservation, and convergence of the method.
Read the full abstract ▾