A Sharp Sobolev Inequality on Compact CR Manifolds

2026-09-10T14:18:47Z

For any $n\geq 1$, let $(M,θ)$ be a compact strictly pseudoconvex hypersurface type CR manifold with dimension $2n+1$, $Q=2n+2$ be its homogeneous dimension. We prove the sharp Folland--Stein Sobolev inequality on $M$: if $Q^*=2Q/(Q-2)$, then there exists a constant $A>0$, depending only on $(M,θ)$, such that \[ \|u\|_{L^{Q^*}(M)}^2 \le K(n)^2\|\nabla_b u\|_{L^2(M)}^2 + A\|u\|_{L^2(M)}^2, \qquad u\in S^{1,2}(M). \] Here $K(n)$ is the sharp constant in the Folland--Stein Sobolev inequality on the Heisenberg group $\mathbb H^n$.

A Sharp Mass Threshold for Boundedness in a Critical Quasilinear Chemotaxis Model With Indirect Signal Production: The Radially Symmetric Case

2026-09-10T14:07:20Z

A critical quasilinear chemotaxis model with indirect signal production in space dimensions higher than two is studied under radial symmetry. Exploiting the variational structure of the system, the existence of a sharp mass threshold M\textsubscr{c} > 0 is established: all solutions with mass below M\textsubscr{c} are global and bounded, while those with mass above M\textsubscr{c} and sufficiently negative energy are global but blow up in infinite time. Moreover, the value of the critical mass M\textsubscr{c} is related to the best constant of a variant of a Hardy-Littlewood-Sobolev inequality.

Diffeomorphism Invariance of the Favre-Filtered Compressible Navier--Stokes System under Spacetime Dilation

2026-09-10T13:59:41Z

We prove that the system of Favre-filtered compressible Navier--Stokes equations with subgrid-scale closure terms, written in the coordinates $(Lt,Lx_1,Lx_2,Lx_3)$ for an arbitrary parameter $L>0$, is obtained from the system written in standard coordinates $(t,x_1,x_2,x_3)$ by the action of a smooth diffeomorphism of the underlying spacetime manifold. The proof begins with a self-contained treatment of infinite-dimensional manifolds and the Fréchet manifold of smooth field configurations. We then define the one-parameter dilation group $\{φ_L\}_{L>0}$, verify that each $φ_L$ is a diffeomorphism, and compute its tangent and cotangent actions. The induced pullback action on sections of the configuration bundle is shown to commute with the total derivative operator, which implies that the first-jet prolongation of $φ_L$ maps the equation submanifold of the system onto itself. Equation-by-equation verification---continuity, momentum, and energy---confirms that every residual is multiplied by the common nonzero factor $L^{-1}$ (or, equivalently, is identically zero in the transformed coordinates), so that the solution set is preserved. We conclude that the family of systems parameterised by $L>0$ satisfies the diffeomorphism transformation expression and that solution spaces are canonically isomorphic for all $L$.

Contraction properties and differentiability of $p$-energy forms with applications to nonlinear potential theory on self-similar sets

2026-09-10T13:54:51Z

We introduce a new contraction property, which we call the generalized $p$-contraction property, for $p$-energy forms as generalizations of many well-known inequalities, such as $p$-Clarkson's inequality, the strong subadditivity and the Markov property in the theory of nonlinear Dirichlet forms, and show that any $p$-energy form satisfying $p$-Clarkson's inequality is Fréchet differentiable. We also verify the generalized $p$-contraction property for $p$-energy forms on fractals constructed by Kigami [Mem. Eur. Math. Soc. 5 (2023)] and by Cao--Gu--Qiu [Adv. Math. 405 (2022), no. 108517]. As a general framework of $p$-energy forms taking the generalized $p$-contraction property into consideration, we introduce the notion of $p$-resistance form and investigate fundamental properties of $p$-harmonic functions with respect to $p$-resistance forms. In particular, some new estimates on scaling factors of self-similar $p$-energy forms on self-similar sets are obtained by establishing Hölder regularity estimates for $p$-harmonic functions, and the $p$-walk dimensions of any generalized Sierpiński carpet and the $D$-dimensional level-$l$ Sierpiński gasket are shown to be strictly greater than $p$.

The radial part of $p$-Brownian motion

2026-09-10T13:50:01Z

We initiate a geometric theory of $p$-Brownian motion, the nonlinear Markov process associated with the $p$-Laplacian introduced by Barbu-Rehmeier-Röckner. More precisely, we analyze its radial processes thoroughly, relative to an arbitrary center and in every dimension. On the one hand, we show explicit Tanaka--Meyer semimartingale formulas; our consequential characterization of nontriviality of the associated local times reveals notable differences to classical Brownian motion. In parallel, we establish sharp exit time estimates as well as scaling estimates for the self-similarly rescaled radial process. We also prove isometry of the corresponding marginal laws in each Wasserstein distance. Our contributions equally cover the Leibenson process - the nonlinear Markov process associated with the "porous medium equation" with $p$-Laplacian - recently introduced by Barbu-Grube-Rehmeier-Röckner.

The Singular Set of Minima of Multiple Integrals

2026-09-10T13:41:44Z

The Hausdorff dimension of the singular set of local minimizers of quasiconvex integrals is strictly less than the ambient dimension.

Shorter proof of dimension-free $L^p$ estimates for maximal Riesz transforms

2026-09-10T13:37:09Z

We provide a shorter and more direct proof of $L^p$ estimates for maximal Riesz transforms (of an arbitrary order) in terms of the corresponding Riesz transforms, with a constant independent of the dimension of the Euclidean space $\mathbb R^d$. This result was originally proved by Mateu, Orobitg, Pérez and Verdera with a constant depending on the dimension, and improved to a dimension-free inequality by Kucharski, Wróbel and Zienkiewicz.

$L^p$ Estimates for Numerical Approximation of Convex Hamilton-Jacobi Equations

2026-09-10T13:31:20Z

We establish $L^p$ error estimates for monotone numerical schemes approximating convex Hamilton-Jacobi equations on the $d$-dimensional torus. Using the adjoint method and semiconcavity estimates, we first prove an $L^1$ error bound of order one for classical monotone schemes of Crandall-Lions type and semi-Lagrangian schemes under standard convexity assumptions on the Hamiltonian and semiconcavity assumptions on the initial datum. By interpolation with the classical $L^\infty$ estimate, we obtain $L^p$ estimates for every $1\le p<+\infty$.

A sharp curvature lower bound for the first exterior p-harmonic Steklov eigenvalue

2026-09-10T13:21:22Z

In this paper, we study the first variational Steklov eigenvalue of the $ p$-Laplace equation on exterior domain $ Ω^{\text{ext}}$ for $ 1< p

Blow-up phenomena for the constant Q/R-curvature equation

2026-09-10T13:11:35Z

Let $n\ge 25$ be an integer. In this paper, we construct a Riemannian metric $g_{0}$ on $\mathbb{S}^n$, smooth for $n\geq 26$ and of class $C^9$ but not $C^{10}$ for $n=25$, with the property that the set of metrics in the conformal class of $g_{0}$ having positive scalar curvature and positive constant quotient $Q/R$ is non-compact. Equivalently, we construct families of solutions exhibiting blow-up behavior for the following equation \begin{align*} P _{g_{0}}u- \frac{ (n+2 )(n-4 )}{4} u^{ \frac{2}{n-4}} L_{g_{0}}u^{ \frac{n-2}{n-4}} =0, \quad u>0\quad\text{on} \ \mathbb{S}^{n}, \end{align*} where $P _{g_{0}}$ is the Paneitz operator and $ L_{g_{0}}=-Δ_{g_{0}} +\frac{n-2}{4(n-1 )}R_{g_{0}} $ is the conformal Laplacian of $ g_{0}$.

Existence and Asymptotic Behavior of Normalized Ground States for a Weighted Elliptic System with Caffarelli--Kohn--Nirenberg Critical Exponent

2026-09-10T12:59:24Z

In this paper, we study the coupled singular weighted elliptic system $$\left\{ \begin{aligned} -\operatorname{div}(|x|^{-2a}\nabla u)+λ_1 \frac{u}{|x|^{2a}}&=βp\frac{|v|^q|u|^{p-2}u}{|x|^{b(p+q)}}+\frac{|u|^{2^{\sharp}-2}u}{|x|^{b2^{\sharp}}},\quad\text{in}~\mathbb{R}^N, -\operatorname{div}(|x|^{-2a}\nabla v)+λ_2\frac{v}{|x|^{2a}}&=βq\frac{|u|^p|v|^{q-2}v}{|x|^{b(p+q)}}+\frac{|v|^{2^\sharp-2}v}{|x|^{b{2^\sharp}}},\quad\text{in}~\mathbb{R}^N, \displaystyle\int_{\mathbb{R}^N}\frac{|u|^2}{|x|^{2a}} dx=ρ_1^2,\quad &\int_{\mathbb{R}^N}\frac{|v|^2}{|x|^{2a}}dx=ρ_2^2. \end{aligned} \right. $$ where $N\ge3$, $β\in\mathbb{R}$, $ρ_1,ρ_2>0$, $\max\{0,\tfrac{N-4}{2}\}\le a<\tfrac{N-2}{2}$, $a1$ and $20$ we obtain positive normalized ground states, with positive Lagrange multipliers, in the mass subcritical, mass critical, and mass supercritical regimes, for explicit ranges of $β$. In the mass supercritical regime, a threshold $β_0\ge0$ appears: a ground state exists for every $β>β_0$ and does not exist for $0<β<β_0$. We give conditions on $p,q$ under which $β_0=0$, and we prove that $β_0>0$ when $p,q\ge2$. Finally, we describe the ground states as $β\to0^+$ and as $β\to+\infty$: after a dilation, they converge to the ground states of the limit system without critical terms, or one component vanishes and the other concentrates on an extremal of the Caffarelli--Kohn--Nirenberg inequality.

Parameter Identification in Reaction-Diffusion-Chemotaxis Systems from Single Turing Pattern Amplitudes

2026-09-10T12:57:24Z

Turing patterns encode key information about biological mechanisms, yet traditional inverse problems rely on non-biological data like boundary measurements, neglecting the patterns themselves. We introduce a new direction that directly uses the amplitudes of Turing patterns for parameter identification. Motivated by stripe-like biological patterns, we study two 1D models: one with density-dependent chemotaxis ($χ(n,c)=χ_0 n$) and one with ratio-dependent chemotaxis ($χ(n,c)=χ_0 n/c$). We present a framework that uses the spatial amplitude profile of a stationary pattern to recover system parameters, including wavelength, diffusion constants, and chemotactic and kinetic coefficients---offering a biologically grounded paradigm for reverse-engineering pattern formation. The core contribution is a proof-of-concept showing that, under a Fourier truncation at mode $M=3$, the amplitude data can reconstruct the parameter combinations $\{d_n k^2,\, d_c k^2,\, χ_0 k^2,\, r\}$ for both models. These uniquely determine the ratios $d_c/d_n$ and $χ_0/d_n$, while individual parameters are recovered up to an overall scale. This is a purely theoretical work; numerical validation and stability analysis are left for future research. The framework is extensible to other models with suitable modifications.

An Anisotropic Onsager Criterion for the Two-Dimensional Navier--Stokes Equations with Horizontal Viscosity

2026-09-10T12:56:53Z

We consider distributional weak solutions $u\in L^\infty_tL^2_x$ of the two-dimensional Navier--Stokes equations with horizontal viscosity on $\mathbb T^2$ or $\mathbb R^2$, without assuming $\partial_1u\in L^2_tL^2_x$. We show that the Lions integrability condition $u\in L^4_tL^4_x$ together with Onsager-critical regularity in the nondissipative direction, $u\in L^3_tB^{1/3,v}_{3,\infty}$ with the Besov regularity imposed only in the vertical direction, implies $\partial_1u\in L^2_tL^2_x$, with a quantitative bound on the horizontal dissipation. Thus the dissipative regularity is a consequence of the equation and need not be part of the definition of the solution. If moreover $u\in L^3_tB^{1/3,v}_{3,c_0}$, then $u$ belongs to the isotropic critical Onsager space $L^3_tB^{1/3}_{3,c_0}$, satisfies the energy equality, and is continuous in $L^2$. Here $c_0$ indicates that the corresponding dyadic Besov sequence tends to zero at high frequencies. The proof combines absorption of the horizontal energy flux into the dissipation with a one-dimensional commutator estimate for the vertical energy flux.

Parabolic-hyperbolic splitting in support propagation for stochastic porous media equations

2026-09-10T12:37:38Z

We develop a randomly-localized energy method to derive qualitative results on the support propagation of stochastic porous media equations with linear conservative noise. Unlike in previous works, where energies are localized by weighting them with a spatial bump function, we weight them with profiles which are solutions to stochastic transport equations. This modulates out the support propagation due to the conservative noise term, and energy arguments---which otherwise fail in this setting---are again applicable. As a result, finite speed of propagation along with sufficient and necessary conditions on the existence of waiting time phenomena (modulo stochastic transport) are proven. These methods and results demonstrate, on short time scales, that the support propagation may be disintegrated into two independent parts, one due to the evolution of the porous media equation and one due to stochastic transport.

Microlocal defect functionals in VMO: Geometric localisation and applications to highly heterogeneous media

2026-09-10T12:24:29Z

We extend the concept of microlocal defect functionals to test functions belonging to the space $\mathrm{L}^\infty\cap\mathrm{VMO}_c$. Following L.~Tartar's remark that an extension of such concepts to $\mathrm{VMO}$ spaces should be possible, we establish a functional-analytic framework for this extension within the $\mathrm{L}^p-\mathrm{L}^q$ setting. Because the topological dual of $\mathrm{VMO}$ is the Hardy space $\mathcal{H}^1$, the resulting object takes the form of an H-distribution rather than a non-negative Radon measure. By assuming strict Hölder conjugate inequalities, we use the John-Nirenberg inequality over localized domains to construct these functionals. We show that the functional acts as a distribution on the inductive limit topology of the test spaces, giving geometric localisation principles for equations with rough $\mathrm{VMO}$ coefficients, that is, coefficients admitting sharp transitions of vanishing mean oscillation. We illustrate the framework in three settings: stratified transport, zero-order non-local cross-phase energies, and sub-critical acoustic scattering in high-contrast media. These differ in the nonlinearity generating the companion sequence but share a common geometric conclusion, since in each case the macroscopic energy defect is confined to the characteristic variety of the underlying flow, being supported where $\sum_j a_j({\bf x})ξ_j=0$.