2026-09-11 | | Total: 8
We investigate the class of Liouville regular Jordan curves, which was introduced in our previous paper under the phrase "Jordan curves that admit continuous Legendrian lifts". We prove that a Jordan curve satisfying certain variation condition in a neighborhood of each point is in this class. We also prove that the boundary of a Jordan domain is Liouville regular if the images of the radial tails under a conformal mapping have uniformly vanishing length. Together with our previous result, these criteria imply the existence of an inscribed rectangle in every prescribed similarity class.
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.
We investigate sharp inequalities for ratios of Riesz capacities with negative exponents by combining computational experiments with rigorous analysis. For finite subsets of the line, we prove positivity of equilibrium masses when $-1<p<0$, enabling numerical tests of conjectured extremal ratios. In the plane, comparisons of the disk with regular polygon vertex sets reveal a cascade of transitions among the tested competitors and suggest a precise conjecture for the equilibrium measure of odd polygons, for which we give a partial proof. Numerical intersections of equality curves show that the regions where these sets outperform the disk are not simply nested. Similar numerical intersections occur in three dimensions between the regular-simplex equality curve and those of explicit five-point and six-point configurations. Motivated by the dimensional dependence of these comparisons, we prove that for each fixed $p<-2<q<0$, the regular simplex has a larger capacity ratio than the ball in all sufficiently large dimensions. Accompanying Python and Mathematica code supports reproduction and further testing of the conjectures.
For a twice differentiable function $f:\left( a,b\right) \rightarrow \mathbb{R}$ define $v\left( f\right) =f^{\prime}f^{\prime}-f^{\prime\prime }f.$ It is well known that the positivity of $v\left( f\right) $ implies that the function $\left\vert f\right\vert $ is strictly log-concave on each subinterval which does not contain zeros of $f.$ In this paper we provide criteria for the positivity of $v\left( F\right) $ for the composite Bessel function $F\left( x\right) =J_{α,β,γ,ν}\left( x\right) :=x^αJ_ν\left( βx^γ\right) $ for positive numbers $β$ and $γ$ and real numbers $α$ and $ν.$
We prove that the full discrete Hardy-Littlewood maximal operator associated with Euclidean balls satisfies dimension-free bounds on $\ell^p(\mathbb Z^d)$ for every $1<p<\infty$. We also establish analogous dimension-free bounds for the full discrete spherical maximal operator when $d\geq 5$ and $2\leq p<\infty$. The main new idea is to approximate the relevant Fourier multipliers by finite linear combinations of normalized discrete Gaussian multipliers and their translates. We obtain these approximations uniformly in frequency and with uniformly bounded coefficients through a refined saddle-point analysis. The ball result resolves a question of E.M. Stein, while the spherical result gives, in the range $p\geq 2$, a dimension-free strengthening of the theorem of Magyar, Stein, and Wainger.
For the power mean $P_t$, $t<1$, let \[ Λ_N(t)=\sup_{x_k>0} \frac{\sum_{n=1}^N P_t(x_1,\ldots,x_n)}{\sum_{n=1}^N x_n} \] be its finite Hardy constant. Negative powers, the geometric mean, and the usual positive-exponent Hardy inequality correspond respectively to $t<0$, $t=0$, and $0<t<1$. With the analytic parameter $q=t/(1-t)\in(-1,\infty)$, and writing $λ_N(q)=Λ_N(q/(1+q))$, we derive one exact scalar shooting map for all three regimes; its apparent singularity at $q=0$ is removable and gives the finite Carleman problem exactly. The map has a common terminal condition and its limiting vector field has a quadratic critical bottleneck at \[ y_*(q)=1+q,\qquad Λ_*(q)=(1+q)^{(1+q)/q}. \] We prove that there is a unique real-analytic phase $κ(q)$ for which the finite-defect expansion has zero cubic coefficient and, uniformly for $q$ in compact subsets of $(-1,\infty)$, for every fixed $L\ge2$, \[ Λ_*(q)-λ_N(q) =\sum_{j=2}^{L}\frac{A_j(q)}{(\log N+κ(q))^j} +O\!\left((\log N)^{-L-1}\right). \] In this phase-normalized scale, \[ A_2=2π^2(1+q)Λ_*,\qquad A_3=0,\qquad A_4=-\frac{π^2}{3}(2q^2+5q+5)A_2. \] Thus the classical Carleman and positive-Hardy leading corrections are projections of a single analytic family. At the Carleman parameter we obtain $A_2(0)=2eπ^2$ and $A_4(0)=-(10/3)eπ^4$; the latter is also recovered by a direct local residue calculation. The phase itself contains the global discrete defect. After phase normalization, the first coefficient involving a nonconstant discrete response is $A_5$, at order $(\log N+κ(q))^{-5}$.
We investigate the maximization problem for the family of mixed-norm Strichartz inequalities for the Schrödinger equation, $\|e^{-itΔ/2}f\|_{L_t^qL_{\boldsymbol{x}}^r(\mathbb{R}^{1+d})}\le C_{q,r}\lVert f\rVert_{L^2(\mathbb{R}^d)}$, with $2/q+d/r=d/2$, $q,r\geq 2$, and thus $r\leq 2d/(d-2)$ if $d\geq 3$. We show that, in low dimensions $1\leq d\leq 5$, the thresholds $ρ_1=10$, $ρ_2=6$, $ρ_3=4\sqrt{7}-6\approx 4.583$, $ρ_4=2\sqrt{15}-4\approx 3.746$, and $ρ_5=10/3\approx 3.333$ are such that gaussians are stable local maximizers for $2<r<ρ_d$, and fail to be local maximizers for $ρ_d<r\leq 2d/(d-2)$ (with the conventions there is no upper bound on $r$ when $d\in\{1,2\}$ and that $r=\infty$ is excluded when $d=2$). In the cases $(q,r,d)\in\{(6,6,1),(8,4,1),(4,4,2)\}$, we establish global stability inequalities with effective stability constants. Both proofs hinge on spectral gaps which we compute exactly.
We study when the image of a measure under a random Hölder map attains full packing dimension. Our main tool is a family of packing intermediate dimension profiles $\dim_{P,θ}^{s}μ$, indexed by $θ\in(0,1]$ and $s>0$, which refine the packing dimension profiles of Falconer and Howroyd and reduce to them at $θ=1$. For a large family of random $α$-Hölder maps $f_ω:\mathbb{R}^n\to\mathbb{R}^m$, which includes index-$α$ fractional Brownian motion as a particular case, we prove that for every compactly supported Borel probability measure $μ$ on $\mathbb{R}^n$, $$\dim_P μ_{f_ω}=m \quad\text{almost surely} \quad\Longleftrightarrow\quad αm\leq \lim_{θ\to 0}\dim_{P,θ}^n μ.$$ We further study the profiles $\dim_P^sμ$ themselves, obtaining a quantitative lower bound and a Marstrand-type identity for their limiting behavior as $θ\to 0$. Finally, we obtain the analogous characterization for analytic sets: $$\dim_P f_ω(E)=m \quad\text{almost surely} \quad\Longleftrightarrow\quad αm\leq \lim_{θ\to 0}\dim_{P,θ}^n E,$$ where $\dim_{P,θ}^n E=\sup\{\dim_{P,θ}^n μ:\, μ\in \mathcal{M}_c^+(E) \}$.