Global Rational Approximations of Functions With Factorially Divergent Asymptotic Series

2025-04-12T11:36:53Z

We construct a new type of convergent, and asymptotic, representations, dyadic expansions. Their convergence is geometric and the region of convergence often extends from infinity down to $0^+$. We show that dyadic expansions are numerically efficient representations. For special functions such as Bessel, Airy, Ei, erfc, Gamma, etc. the region of convergence of dyadic series is the complex plane minus a ray, with this cut chosen at will. Dyadic expansions thus provide uniform, geometrically convergent asymptotic expansions including near antistokes rays. We prove that relatively general functions, \'Ecalle resurgent ones, possess convergent dyadic expansions. These expansions extend to operators, resulting in representations of the resolvent of self-adjoint operators as series in terms of the associated unitary evolution operator evaluated at some prescribed discrete times (alternatively, for positive operators, in terms of the generated semigroup).

Counting integral points near space curves: an elementary approach

2025-04-12T09:56:34Z

We establish upper and lower bounds for the number of integral points which lie within a neighbourhood of a smooth nondegenerate curve in $\mathbb{R}^n$ for $n\geq 3$. These estimates are new for $n\geq 4$, and we recover an earlier result of J. J. Huang for $n=3$. However, we do so by using Fourier analytic techniques which, in contrast with the method of Huang, do not require the sharp counting result for planar curves as an input. In particular, we rely on an Arkhipov--Chubarikov--Karatsuba-type oscillatory integral estimate.

Fractional integrals associated with Zygmund dilations

2025-04-12T06:13:24Z

We study a family of fractional integral operators defined in $\mathbb{R}^3$ whose kernels are distributions associated with Zygmund dilations: $(x_1, x_2, x_3) \rightarrow (\delta_1 x_1, \delta_2 x_2, \delta_1\delta_2 x_3)$ for $\delta_1,\delta_2>0$ having singularity on every coordinate subspace. As a result, we obtain a Hardy-Littlewood-Sobolev type inequality.

On the Incompatibility of Rearrangement with Convergence: An Axiomatic Approach to Holomorphic Recurrence Relations

2025-04-12T03:44:50Z

In classical analysis, the convergence behavior of power series solutions to differential or recurrence equations is generally assumed to be invariant under internal rearrangement. This paper challenges that belief by proving that, for holomorphic solutions to higher-order recurrence relations (order 3 or more), rearrangement of internal terms systematically reduces the radius of convergence. This contradicts assumptions underlying both Fuchs' theorem and the Poincare-Perron theorem. To address this, the paper proposes the Principle of Indivisible Integrity, an axiom that restricts arbitrary reordering within analytic computations. Both analytic arguments and numerical examples (see Theorem 3.3 and Table 3) show that violation of this principle can lead to structural divergence, even when classical conditions suggest convergence. This framework suggests the need to reexamine analytic structures in recurrence-based methods across mathematical physics, including quantum mechanics, general relativity, and spectral theory. It also raises foundational questions about computation and mathematical rigor in an age of automated symbolic processing. Rather than offering just a technical correction, this paper advocates a philosophical principle: that the integrity of mathematical order must be preserved by structure, not merely by computational convenience.

Hölder spiral arcs

2025-04-12T02:49:36Z

We establish a quantitative necessary and sufficient condition for a spiral arc to be a H\"older arc. The class of spiral arcs contains the polynomial spirals studied by Fraser, and the elliptical spirals studied by Burrell-Falconer-Fraser. As an application, we recover the sharp result on the H\"older winding problem for polynomial spirals. Moreover, we provide a sharp exponent estimate for the H\"older classification of polynomial spirals, which coincides with the corresponding quasiconformal classification estimate, and improve certain exponent bounds of Burrell-Falconer-Fraser on the H\"older classification of elliptical spirals.

Middle convolutions of KZ-type equations and single-elimination tournaments

2025-04-11T22:56:05Z

We introduce an extension of the generalized Riemann scheme for Fuchsian ordinary differential equations in the case of KZ-type equations. This extension describes the local structure of equations obtained by resolving the singularities of KZ-type equations. We present the transformation of this extension under middle convolutions. As a consequence, we derive the corresponding transformation of the eigenvalues and multiplicities of the residue matrices of KZ-type equations under middle convolutions. We interpret the result in terms of the combinatorics of single-elimination tournaments.

Spectral gaps and Fourier decay for self-conformal measures in the plane

2025-04-11T13:42:36Z

Let $\Phi$ be a $C^\omega (\mathbb{C})$ self-conformal IFS on the plane, satisfying some mild non-linearity and irreducibility conditions. We prove a uniform spectral gap estimate for the transfer operator corresponding to the derivative cocycle and every given self-conformal measure. Building on this result, we establish polynomial Fourier decay for any such measure. Our technique is based on a refinement of a method of Oh-Winter (2017) where we do not require separation from the IFS or the Federer property for the underlying measure.

Sums of infinite series involving the Dirichlet lambda function

2025-04-11T08:28:32Z

Let $$ \lambda(s)=\sum_{n=1}^{\infty}\frac{1}{(2n+1)^{s}},~\textrm{Re}(s)>1 $$ be Dirichlet's lambda function, which was firstly studied by Euler in the real axis under the notation $N(s)$. In this paper, by applying the partial fractional decomposition of the function $\pi\tan(\pi x)$, the explicit calculation of the integral $\int_0^{\frac12}x^{2m-1}\cos(2k\pi x) dx$ and the zeta-values representation of the integral $\int_0^{\frac12}x^{m-1}\log\cos(\pi x)dx$, we establish closed-form expressions for several classes of infinite series involving $\lambda(s)$. As a by product, we show that the lambda-values $\lambda(2k)$ appears as the constant terms of the Eisenstein series for the congruence subgroup $\Gamma_{0}(2).$

Dimensions of orthogonal projections of typical self-affine sets and measures

2025-04-10T13:37:42Z

Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in {\Bbb R}^{md}$, let $\pi^{\bf a}\colon \Sigma=\{1,\ldots, m\}^{\Bbb N}\to {\Bbb R}^d$ denote the coding map associated with the affine IFS $\{T_ix+a_i\}_{i=1}^m$, and let $K^{\bf a}$ denote the attractor of this IFS. Let $W$ be a linear subspace of ${\Bbb R}^d$ and $P_W$ the orthogonal projection onto $W$. We show that for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the Hausdorff and box-counting dimensions of $P_W(K^{\bf a})$ coincide and are determined by the zero point of a certain pressure function associated with $T_1,\ldots, T_m$ and $W$. Moreover, for every ergodic $\sigma$-invariant measure $\mu$ on $\Sigma$ and for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the local dimensions of $(P_W\pi^{\bf a})_*\mu$ exist almost everywhere, here $(P_W\pi^{\bf a})_*\mu$ stands for the push-forward of $\mu$ by $P_W\pi^{\bf a}$. However, as illustrated by examples, $(P_W\pi^{\bf a})_*\mu$ may not be exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$. Nevertheless, when $\mu$ is a Bernoulli product measure, or more generally, a supermultiplicative ergodic $\sigma$-invariant measure, $(P_W\pi^{\bf a})_*\mu$ is exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$.

Strichartz estimates for orthonormal systems on compact manifolds

2025-04-10T13:36:38Z

We establish new Strichartz estimates for orthonormal systems on compact Riemannian manifolds in the case of wave, Klein-Gordon and fractional Schr\"odinger equations. Our results generalize the classical (single-function) Strichartz estimates on compact manifolds by Kapitanski, Burq-G\'erard-Tzvetkov, Dinh, and extend the Euclidean orthonormal version by Frank-Lewin-Lieb-Seiringer, Frank-Sabin, Bez-Lee-Nakamura. On the flat torus, our new results for the Schr\"odinger equation cover prior work of Nakamura, which exploits the dispersive estimate of Kenig-Ponce-Vega. We achieve sharp results on compact manifolds by combining the frequency localized dispersive estimates for small time intervals with the duality principle due to Frank-Sabin. We construct examples to show these results can be saturated on the sphere, and we can improve them on the flat torus by establishing new decoupling inequalities for certain non-smooth hypersurfaces. As an application, we obtain the well-posedness of infinite systems of dispersive equations with Hartree-type nonlinearity.

Sets preserved by a large subgroup of the special linear group

2025-04-09T23:49:25Z

Let $E$ be a subset of the affine plane over a finite field $\mathbb{F}_q$. We bound the size of the subgroup of $SL_2(\mathbb{F}_q)$ that preserves $E$. As a consequence, we show that if $E$ has size $\ll q^\alpha$ and is preserved by $\gg q^\beta$ elements of $SL_2(\mathbb{F}_q)$ with $\beta\geq 3\alpha/2$, then $E$ is contained in a line. This result is sharp in general, and will be proved by using combinatorial arguments and applying a point-line incidence bound in $\mathbb{F}_q^3$ due to Mockenhaupt and Tao (2004).

Characterization of infinitesimal boundedness of Schrödinger operator

2025-04-09T10:41:02Z

In this paper, we characterize the weighted infinitesimal boundedness: for $0<\alpha

On a Bessel function series related to the Riemann xi function

2025-04-09T02:06:27Z

We establish new Fourier integral evaluations involving the Riemann xi function related to a series involving Bessel function of the first kind. We show this infinite series involving the Bessel function of the first kind solves a boundary value problem for the cylindrical heat equation.

On the modulus of continuity of functions whose image has positive measure, and metric embeddings into $\mathbb{R}^d$ without shrinking

2025-04-08T23:20:38Z

A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has Lebesgue measure zero. Choquet claimed in \cite{Choquet} that this was a full characterization, i.e. for every $\omega$ for which $\omega(r)/r^2$ converges to $\infty$ as $r\to 0$, there is a counterexample. We disprove this by showing that the correct characterization, in $\mathbb{R}^d$, is $\int_{0}^{1} \omega(r)^{-1/d}=\infty$. For the precise statement see Theorem 2. We obtain this as a special case of a more general result. We study which spaces $(X,\rho)$ can be embedded into ${\mathbb R}^d$ without decreasing any of the distances in $X$. That is, we ask the question whether there is an $f: X\to {\mathbb R}^d$ such that $\|f(x)-f(y)\|\ge \rho(x,y)$ for every $x,y\in X$. We study this problem for some very general distance functions $\rho$ (we do not even assume that it is a metric space, in particular, we do not assume that $\rho$ satisfies the triangle inequality), and find quantitative necessary and sufficient conditions under which such a mapping exists. We will obtain the characterization mentioned above as a special case of our metric embedding results, by choosing $X$ to be an interval in $\mathbb{R}$, and defining $\rho$ by putting $\rho(x,y)=r$ if $\|x-y\|=\omega(r)$.

Functional Itô-formula and Taylor expansions for non-anticipative maps of càdlàg rough paths

2025-04-08T16:00:21Z

We derive a functional It\^o-formula for non-anticipative maps of rough paths, based on the approximation properties of the signature of c\`adl\`ag rough paths. This result is a functional extension of the It\^o-formula for c\`adl\`ag rough paths (by Friz and Zhang (2018)), which coincides with the change of variable formula formulated by Dupire (2009) whenever the functionals' representations, the notions of regularity, and the integration concepts can be matched. Unlike these previous works, we treat the vertical (jump) pertubation via the Marcus transformation, which allows for incorporating path functionals where the second order vertical derivatives do not commute, as is the case for typical signature functionals. As a byproduct, we show that sufficiently regular non-anticipative maps admit a functional Taylor expansion in terms of the path's signature, leading to an important generalization of the recent results by Dupire and Tissot-Daguette (2022).