Application of methods of quasicrystals theory to entire functions of exponential growth

2025-04-04T11:36:03Z

Let $f$ be an entire almost periodic function with zeros in a horizontal strip of finite width; for example, any exponential polynomial with purely imaginary exponents is such a function. Let $\mu$ be the measure on the set of zeros of $f$ whose masses coincide with multiplicities of zeros. We define the Fourier transform in the sense of distributions for $\mu$ and prove that it is a pure point measure on $\R$ whose complex masses correspond to coefficients of Dirichlet series of the logarithmic derivative of $f$. Bases on this description and Meyer's theorem on quasicrystals, we give a simple necessary and sufficient condition for $f$ to be a finite product of sines.

Resurgence of Tritronquées Solutions of the Deformed Painlevé I Equation

2025-04-03T18:02:26Z

We prove that the formal $\hbar$-power series solution of the deformed Painlev\'{e} I equation is resurgent, which means it is generically Borel summable and its Borel transform admits endless analytic continuation. In particular, we find that the Borel transform defines a global multivalued holomorphic function on a singular algebraic surface isomorphic to the Fermat quintic surface $x^5 + y^5 + z^5 = 0$ modulo an involution. This surface is an algebraic fibration over the complex plane of the differential equation with generic fibre a smooth quintic curve. Each fibre is equipped with a fivefold covering map over another complex plane (the Borel plane) with ten ramification points (the Borel singularities) spread equally over two branch points giving two opposite Stokes rays.

Component-wise Krasnosel'skii type fixed point theorem in product spaces and applications

2025-04-03T17:14:48Z

We present a version of Krasnosel'skii fixed point theorem for operators acting on Cartesian products of normed linear spaces, under cone-compression and cone-expansion conditions of norm type. Our approach, based on the fixed point index theory in cones, guarantees the existence of a coexistence fixed point - that is, one with nontrivial components. As an application, we prove the existence of periodic solutions with strictly positive components for a system of second-order differential equations. In particular, we address cases involving singular nonlinearities and hybrid terms, characterized by sublinear behavior in one component and superlinear behavior in the other.

A Complete Classification of Fourier Summation Formulas on the real line

2025-04-03T16:28:18Z

We completely classify Fourier summation formulas of the form $$ \int_{\mathbb{R}} \widehat{\varphi}(t) d\mu(t)=\sum_{n=0}^{\infty} a(\lambda_n)\varphi(\lambda_n), $$ that hold for any test function $\varphi$, where $\widehat\varphi$ is the Fourier transform of $\varphi$, $\mu$ is a fixed complex measure on $\mathbb{R}$ and $a:\{\lambda_n\}_{n\geq 0}\to\mathbb{C}$ is a fixed function. We only assume the decay condition $$ \int_{\mathbb{R}} \frac{d |\mu|(t)}{(1+t^2)^{c_1}} + \sum_{n\geq 0} |a(\lambda_n)|e^{-c_2 |\lambda_n|}<\infty, $$ for some $c_1,c_2>0$. This completes the work initiated by the first author previously, where the condition $c_1\leq 1$ was required. We prove that any such pair $(\mu,a)$ can be uniquely associated with a holomorphic map $F(z)$ in the upper-half space that is both almost periodic and belongs to a certain higher index Nevanlinna class. The converse is also true: For any such function $F$ it is possible to generate a Fourier summation pair $(\mu,a)$. We provide important examples of such summation formulas not contemplated by the previous results, such as Selberg's trace formula.

A simple description of blow-up solutions through dynamics at infinity in nonautonomous ODEs

2025-04-03T16:02:39Z

A simple criterion of the existence of (type-I) blow-up solutions for nonautonomous ODEs is provided. In a previous study [Matsue, SIADS, 24(2025), 415-456], geometric criteria for characterizing blow-up solutions for nonautonomous ODEs are provided by means of dynamics at infinity. The basic idea towards the present aim is to correspond such criteria to leading-term equations associated with blow-up ansatz characterizing multiple-order asymptotic expansions, which originated from the corresponding study developed in the framework of autonomous ODEs. Restricting our attention to constant coefficients of leading terms of blow-ups, results involving the simple criterion of blow-up characterizations in autonomous ODEs can be mimicked to nonautonomous ODEs.

Spectrality of Moran-type measures with staggered contraction ratios

2025-04-03T15:17:25Z

Consider a Moran-type iterated function system (IFS) $ \{\phi_{k,d}\}_{d\in D_{2p_k}, k\geq 1} $, where each contraction map is defined as \[ \phi_{k,d}(x) = (-1)^d b_k^{-1}(x + d), \] with integer sequences $ \{b_k\}_{k=1}^\infty $ and $ \{p_k\}_{k=1}^\infty $ satisfying $ b_k \geq 2p_k \geq 2 $, and digit sets $ D_{2p_k} = \{0, 1, \ldots, 2p_k - 1\} $ for all $ k \geq 1 $. We first prove that this IFS uniquely generates a Borel probability measure $ \mu $. Furthermore, under the divisibility constraints \[ p_2 \mid b_2, \quad 2 \mid b_2, \quad \text{and} \quad 2p_k \mid b_k \ \text{for} \ k \geq 3, \] with $\{b_k\}_{k=1}^\infty$ bounded, we prove that $ \mu $ is a spectral measure, that is, $ L^2(\mu) $ admits an orthogonal basis of exponentials. To fully characterize the spectral properties, we introduce a multi-stage decomposition strategy for spectrums. By imposing the additional hypothesis that all parameters $ p_k $ are even, we establish a complete characterization of $ \mu $'s spectrality. This result unifies and extends the frameworks proposed in \cite{An-He2014, Deng2022, Wu2024}, providing a generalized criterion for such measures.

Ramírez's problems and fibers on well approximable set of systems of affine forms

2025-04-03T13:49:12Z

We show that badly approximable matrices are exactly those that, for any inhomogeneous parameter, can not be inhomogeneous approximated at every monotone divergent rate, which generalizes Ram\'irez's result (2018). We also establish some metrical results of the fibers on well approximable set of systems of affine forms, which gives answer to two of Ram\'irez's problems (2018). Furthermore, we prove that badly approximable systems are exactly those that, can not be approximated at each monotone convergent rate {\psi}. Moreover, we study the topological structure of the set of approximation functions.

Persistence and Ball Exponents for Gaussian Stationary Processes

2025-04-03T12:19:09Z

Consider a real Gaussian stationary process $f_\rho$, indexed on either $\mathbb{R}$ or $\mathbb{Z}$ and admitting a spectral measure $\rho$. We study $\theta_{\rho}^\ell=-\lim\limits_{T\to\infty}\frac{1}{T} \log\mathbb{P}\left(\inf_{t\in[0,T]}f_{\rho}(t)>\ell\right)$, the persistence exponent of $f_\rho$. We show that, if $\rho$ has a positive density at the origin, then the persistence exponent exists; moreover, if $\rho$ has an absolutely continuous component, then $\theta_{\rho}^\ell>0$ if and only if this spectral density at the origin is finite. We further establish continuity of $\theta_{\rho}^\ell$ in $\ell$, in $\rho$ (under a suitable metric) and, if $\rho$ is compactly supported, also in dense sampling. Analogous continuity properties are shown for $\psi_{\rho}^\ell=-\lim\limits_{T\to\infty}\frac{1}{T} \log\mathbb{P}\left(\inf_{t\in[0,T]}|f_{\rho}(t)|\le \ell\right)$, the ball exponent of $f_\rho$, and it is shown to be positive if and only if $\rho$ has an absolutely continuous component.

Bochner-Riesz commutators on Métivier groups: boundedness and compactness

2025-04-03T11:07:30Z

In this paper, we prove the boundedness and compactness properties of Bochner-Riesz commutator associated to the sub-Laplacians on M\'etivier groups. We show that the smoothness parameter can be expressed in terms of the topological dimension rather than the homogeneous dimension of the M\'etivier groups.

Flag Hardy spaces and partial differential equations

2025-04-03T08:31:34Z

After a quick introduction to flag geometry on the Heisenberg group, we discuss the problem of identifying flag atoms, which boils down to a question in PDE. We establish a conjecture of E.M.~Stein for the flag Hardy space on the Heisenberg group. The key result on which our arguments hinge is due to Baldi, Franchi and Pansu.

Algorithm classifying roots of star-shaped Kac-Moody root systems

2025-04-03T05:05:04Z

For a star-shaped Kac-Moody root system, we provide an effective algorithm to obtain representatives of the Weyl group orbits of roots with a given norm and implement it as a computer program. We also explain the relationship between these orbits and Fuchsian differential equations on the Riemann sphere, as well as higher-dimensional Painleve-type equations.

Harmonic analysis in Dunkl settings

2025-04-03T00:38:43Z

Let $L$ be the Dunkl Laplacian on the Euclidean space $\mathbb R^N$ associated with a normalized root $R$ and a multiplicity function $k(\nu)\ge 0, \nu\in R$. In this paper, we first prove that the Besov and Triebel-Lizorkin spaces associated with the Dunkl Laplacian $L$ are identical to the Besov and Triebel-Lizorkin spaces defined in the space of homogeneous type $(\mathbb R^N, \|\cdot\|, dw)$, where $dw({\rm x})=\prod_{\nu\in R}\langle \nu,{\rm x}\rangle^{k(\nu)}d{\rm x}$. Next, consider the Dunkl transform denoted by $\mathcal{F}$. We introduce the multiplier operator $T_m$, defined as $T_mf = \mathcal{F}^{-1}(m\mathcal{F}f)$, where $m$ is a bounded function defined on $\mathbb{R}^N$. Our second aim is to prove multiplier theorems, including the H\"ormander multiplier theorem, for $T_m$ on the Besov and Tribel-Lizorkin spaces in the space of homogeneous type $(\mathbb R^N, \|\cdot\|, dw)$. Importantly, our findings present novel results, even in the specific case of the Hardy spaces.

Note on the Singularity Reduction of Isomonodromy Systems Associated with Garnier Systems

2025-04-02T12:56:57Z

In this paper, we study the isomonodromy systems associated with the Garnier systems of type 9/2 and type 5/2+3/2. We show that the both of isomonodromy systems admit the singularity reduction (restriction to a movable pole), and the resulting linear differential equations are isomonodromic with respect to the second variable of the Garnier systems. Furthermore, we find two fourth-order nonlinear ordinary differential equations that describe the isomonodromy deformation but lack the Painlev\'e property. One of these equations has been already found by Dubrovin--Kapaev in 2014, while the other provides a new example.

Restrictions of Békollé--Bonami weights and Bloch functions

2025-04-02T10:25:43Z

We characterize the restrictions of B\'ekoll\'e--Bonami weights of bounded hyperbolic oscillation, to subsets of the unit disc, thus proving an analogue of Wolff's restriction theorem for Muckenhoupt weights. Sundberg proved a discrete version of Wolff's original theorem, by characterizing the trace of $BMO$-functions onto interpolating sequences. We consider an analogous question in our setting, by studying the trace of Bloch functions. Through Makarov's probabilistic approach to the Bloch space, our question can be recast as a restriction problem for dyadic martingales with uniformly bounded increments.

Periodic solutions of a class of second-order non-autonomous differential equations

2025-04-02T09:33:03Z

This paper investigates the dynamical behavior of periodic solutions for a class of second-order non-autonomous differential equations. First, based on the Lyapunov-Schmidt reduction method for finite-dimensional functions, the corresponding bifurcation function is constructed, and it is proven that the system possesses at least one T-periodic solution. Second, a two-timing method is employed to perform perturbation analysis on the original equation. By separating the fast and slow time scales, an explicit expression for the approximate T-periodic solution is derived. Furthermore, for the stability of the system under parametric excitation, the bifurcation characteristics near the first instability tongue are revealed through perturbation expansion and eigenvalue analysis. Additionally, the Ince-Strutt stability diagram is plotted to illustrate the stability boundaries.