Asymptotic properties of special function solutions of Painlevé III equation for fixed parameters

2025-05-02T23:25:31Z

In this paper, we compute the small and large $x$ asymptotics of the special function solutions of Painlev\'e-III equation in the complex plane. We use the representation in terms of Toeplitz determinants of Bessel functions obtained in arXiv:nlin/0302026. Toeplitz determinants are rewritten as multiple contour integrals using Andr\`eief's identity. The small and large $x$ asymptotics are obtained using elementary asymptotic methods applied to the multiple contour integral. The asymptotics is extended to the whole complex plane using analytic continuation formulas for Bessel functions. The claimed result has not appeared in the literature before. We note that Toeplitz determinant representation is useful for numerical computations of corresponding solutions of the Painlev\'e-III equation.

On inequalities between norms of partial derivatives on convex domains

2025-05-02T22:22:11Z

We consider inequalities between $L_p$-norms of partial derivatives, $p\in [1,+\infty]$, for bivariate concave functions on a convex domain that vanish on the boundary. Can the ratio between those norms be arbitrarily large? If not, what is the upper bound? We show that for $p=1$, the ratio is always bounded and find sharp estimates, while for $p>1$, the answer depends on the geometry of the domain.

A Spectral Theory of Scalar Volterra Equations

2025-05-02T22:17:34Z

This work aims to bridge the gap between pure and applied research on scalar, linear Volterra equations by examining five major classes: integral and integro-differential equations with completely monotone kernels (viscoelastic models); equations with positive definite kernels (partially observed quantum systems); difference equations with discrete, positive definite kernels; a generalized class of delay differential equations; and a generalized class of fractional differential equations. We develop a general, spectral theory that provides a system of correspondences between these disparate domains. As a result, we see how `interconversion' (operator inversion) arises as a natural, continuous involution within each class, yielding a plethora of novel formulas for analytical solutions of such equations. This spectral theory unifies and extends existing results in viscoelasticity, signal processing, and analysis. It also introduces a geometric construction of the regularized Hilbert transform, revealing a fundamental connection to fractional and delay differential equations. Finally, it offers a practical toolbox for Volterra equations of all classes, reducing many to pen-and-paper calculations and introducing a powerful spectral approach for general Volterra equations based on rational approximation.

Norm-variation of triple ergodic averages for commuting transformations

2025-05-02T20:50:03Z

We prove an $r$-variation estimate, $r>4$, in the norm for ergodic averages with respect to three commuting transformations. It is not known whether such estimates hold for all $r\ge 2$ as in the analogous cases for one or two commuting transformations, or whether such estimates hold for any $r<\infty$ for more than three commuting transformations.

Principal Non-singularity of Fourier Matrices on $\mathbb Z_p \times \mathbb Z_q$ and $\mathbb Z_2^k \times \mathbb Z_q$

2025-05-02T11:08:06Z

Let $F_n$ be the $n\times n$ Fourier matrix (on cyclic groups $\mathbb Z_n$), a reknowned theorem of Chebotar\"ev asserts that all minors in $F_n$ for prime $n$ are non-zero. In this short note it is shown that (i) all principal minors in the Kronecker product $F_p\otimes F_q$ are non-vanishing (principal non-singularity) for distinct odd primes $p,q$ if $q$ is large enough and generates the multiplicative group $\mathbb Z_p^*$; (ii) the Fourier matrix on $\mathbb Z_2^k \times \mathbb Z_q$ is principally non-singular upon permutation (in particular, for $k=1$ the identity permutation suffices) for odd prime $q$ and $k=1,2,3$. The proof is just an exposition of existing techniques re-organized in a unified way. The result will have implications in combining Riesz bases of exponentials.

Strichartz estimates for the Schrödinger equation on Zoll manifolds

2025-05-01T22:00:55Z

We obtain optimal space-time estimates in $L^q_{t,x}$ spaces for all $q\ge 2$ for solutions to the Schr\"odinger equation on Zoll manifolds, including, in particular, the standard round sphere $S^d$. The proof relies on the arithmetic properties of the spectrum of the Laplacian on Zoll manifolds, as well as bilinear oscillatory integral estimates, which allow us to relate the problem to Strichartz estimate on one-dimensional tori.

Fast expansion into harmonics on the ball

2025-05-01T14:43:55Z

We devise fast and provably accurate algorithms to transform between an $N\times N \times N$ Cartesian voxel representation of a three-dimensional function and its expansion into the {ball harmonics}, that is, the eigenbasis of the Dirichlet Laplacian on the unit ball in $\mathbb{R}^3$. Given $\varepsilon > 0$, our algorithms achieve relative $\ell^1$ - $\ell^\infty$ accuracy $\varepsilon$ in time $O(N^3 (\log N)^2 + N^3 |\log \varepsilon|^2)$, while the na\"{i}ve direct application of the expansion operators has time complexity $O(N^6)$. We illustrate our methods on numerical examples.

When is $A + x A =\mathbb{R}$

2025-05-01T14:31:57Z

We show that there is an additive $F_\sigma$ subgroup $A$ of $\mathbb{R}$ and $x \in \mathbb{R}$ such that $\mathrm{dim_H} (A) = \frac{1}{2}$ and $A + x A =\mathbb{R}$. However, if $A \subseteq \mathbb{R}$ is a subring of $\mathbb{R}$ and there is $x \in \mathbb{R}$ such that $A + x A =\mathbb{R}$, then $A =\mathbb{R}$. Moreover, assuming the continuum hypothesis (CH), there is a subgroup $A$ of $\mathbb{R}$ with $\mathrm{dim_H} (A) = 0$ such that $x \not\in \mathbb{Q}$ if and only if $A + x A =\mathbb{R}$ for all $x \in \mathbb{R}$. A key ingredient in the proof of this theorem consists of some techniques in recursion theory and algorithmic randomness. We believe it may lead to applications to other constructions of exotic sets of reals. Several other theorems on measurable, and especially Borel and analytic subgroups and subfields of the reals are presented. We also discuss some of these results in the $p$-adics.

Global multiplicity results in a Moore-Nehari type problem with a spectral parameter

2025-05-01T10:01:14Z

This paper analyzes the structure of the set of positive solutions of a Moore-Nehari type problem, where $a\equiv a_h$ is a piece-wise constant function defined for some $h\in (0,1)$. In our analysis, $\lambda$ is regarded as a bifurcation parameter, whereas $h$ is viewed as a deformation parameter between the autonomous case when $a=1$ and the linear case when $a=0$. In this paper, besides establishing some of the multiplicity results suggested by previous numerical experiments (see Cubillos, L\'opez-G\'omez and Tellini, 2024), we have analyzed the asymptotic behavior of the positive solutions of the problem as $h\uparrow 1$, when the shadow system of the problem is the linear equation $-u''=\pi^2 u$. This is the first paper where such a problem has been addressed. Numerics is of no help in analyzing this singular perturbation problem because the positive solutions blow-up point-wise in $(0,1)$ as $h\uparrow 1$ if $\lambda<\pi^2$.

Generalized Hilbert operators acting on weighted sequence spaces

2025-05-01T00:50:27Z

In this paper we introduce and study a new kind of generalized Hilbert operators, induced by a finite positive Borel measure on (0,1), acting on weighted sequence spaces. We establish a sufficient and necessary condition for the boundedness of these operators. These results extend some related ones obtained recently in [Bull London Math Soc, 55 (2023), no. 6, 2598-2610].

[$Λ_p$ Style Bounds in Orlicz Spaces Close to $L^2$]{$Λ_p$ Style Bounds in Orlicz Spaces Close to $L^2$}

2025-04-30T19:56:40Z

Let $(\varphi_i)_{i=1}^n$ be mutually orthogonal functions on a probability space such that $\|\varphi_i\|_\infty \leq 1 $ for all $i \in [n]$. Let $\alpha > 0$. Let $\Phi(u) = u^2 \log^{\alpha}(u)$ for $u \geq u_{0}$, and $\Phi(u) = c(\alpha) u^2$ otherwise. $u_0$ and $c(\alpha)$ are constants chosen so that $\Phi$ is a Young function, depending only on $\alpha$. We show that with probability at least $1/4$ over subsets $I$ of $[n]$ the following holds, $|I| \geq \frac{n}{e \log^{\alpha+1}(n)} $ and for any $a \in \mathbb{C}^n$, $$ \left \|\sum_{i \in I} a_i \varphi_i \right \|_{\Phi} \leq K(\alpha) \log^{\alpha}(\log n) \cdot \|a\|_2. $$ $K(\alpha)$ is a constant depending only on $\alpha$. \vskip 0.125in In the main Theorem of \cite{Ryou22}, Ryou proved the result above to $O_n(1)$ factors when the Orlicz space is a $L^p(\log L)^{\alpha}$ space for $p > 2$ where $|I| \sim \frac{n^{2/p}}{\log^{2 \alpha /p}(n)}$. However, their work did not extend to the case where $p=2$, an open question in \cite{Iosevich25}. Our result resolves the latter question up to $\log \log n$ factors. Moreover, our result sharpens the constants of Limonova's main result in \cite{Limonova23} from a factor of $\log n$ to a factor of $\log \log n$, if the orthogonal functions are bounded by a constant. In addition, our proof is much shorter and simpler than the latter's.

On Spectral Properties of Restricted Fractional Laplacians with Self-adjoint Boundary Conditions on a Finite Interval

2025-04-30T18:07:18Z

We describe all self-adjoint realizations of the restricted fractional Laplacian $(-\Delta)^a$ with power $a \in (\frac{1}{2}, 1)$ on a bounded interval by imposing boundary conditions on the functions in the domain of a maximal realization; such conditions relate suitable weighted Dirichlet and Neumann traces. This is done in a systematic way by using the abstract concept of boundary triplets and their Weyl functions from extension and spectral theory of symmetric and self-adjoint operators in Hilbert spaces. Our treatment follows closely the well-known one for classical Laplacians on intervals and it shows that all self-adjoint realizations have purely discrete spectrum and are semibounded from below. To demonstrate the method, we focus on three self-adjoint realizations of the restricted fractional Laplacian: the Friedrichs extension, corresponding to Dirichlet-type boundary conditions, the Krein--von Neumann extension, and a Neumann-type realization. Notably, the Neumann-type realization exhibits a simple negative eigenvalue, thus it is not larger than the Krein--von Neumann extension.

A simple range characterization for spherical mean transform in even dimensions

2025-04-30T17:27:23Z

The paper presents a new and simple range characterization for the spherical mean transform of functions supported in the unit ball in even dimensions. It complements the previous work of the same authors, where they solved an analogous problem in odd dimensions. The range description in even dimensions consists of symmetry relations, using a special kind of elliptic integrals involving the coefficients of the spherical harmonics expansion of the function in the range of the transform. The article also introduces a pair of original identities involving normalized Bessel functions of the first and the second kind. The first result is an integral cross-product identity for Bessel functions of integer order, complementing a similar relation for Bessel functions of half-integer order obtained in the aforementioned work of the same authors. The second result is a new Nicholson-type identity. Both of these relations can be considered as important standalone results in the theory of special functions. Finally, as part of the proof of one of the theorems, the authors derive an interesting equality involving elliptic integrals, which may be of independent interest.

Transformations and summations for bilateral basic hypergeometric series

2025-04-30T16:38:36Z

We derive transformation and summation formulas for bilateral basic hypergeometric series. As a starting point, we use two transformations of bilateral basic very-well-poised ${}_8\Psi_8$. The first transformation is given as a sum of two nonterminating ${}_8W_7$'s and the second is given in terms of a sum of a ${}_4\psi_4$ and two balanced ${}_4\phi_3$'s. From these transformations we derive limiting transformations with vanishing denominator elements which shed light on the transformation properties of these bilateral basic hypergeometric series. We also study tuple product identities, namely triple, quintuple, sextuple, septuple, octuple, nonuple and undecuple, which are given in terms of sums of bilateral basic hypergeometric series.

Normed modules, integral sequences, and integrals with variable upper limits

2025-04-30T16:31:26Z

This paper provides a new categorification of the Lebesgue integral with variable upper limits by using normed modules over finite-dimensional $\Bbbk$-algebras $\mathit{\Lambda}$ and the category $\mathscr{A}^p_{\mathit{\Lambda}}$ associated with $\mathit{\Lambda}$. The integration process is redefined through the introduction of an integral partially ordered set and an abstract integral with variable upper limits. Finally, we present two important applications: (1) the categorification of basic elementary functions, including (anti-)trigonometric and logarithmic functions, and (2) a new approach for characterizing the global dimensions of gentle algebras.