No infinite spin for partial collisions converging to isolated central configurations on the plane

2025-04-24T11:06:27Z

In the $n$-body problem, when a~cluster of bodies tends to a collision, then its normalized shape curve converges to the set of normalized central configurations, which has $SO(2)$ symmetry in the planar case. This leaves a possibility that the normalized shape curve tends to the circle obtained by rotation of some central configuration instead of a particular point on it. This is the \emph{infinite spin problem} which concerns the rotational behavior of total collision orbits in the $n$-body problem. The question also makes sense for partial collision. We show that the infinite spin is not possible if the limiting circle is isolated from other connected components of the set of normalized central configurations. Our approach extends the method from recent work for total collision by Moeckel and Montgomery, which was based on a combination of the center manifold theorem with {\L}ojasiewicz inequality. To that we add a shadowing result for pseudo-orbits near normally hyperbolic manifold and careful estimates on the influence of other bodies on the cluster of colliding bodies.

Period Function of Maass forms from Ramanujan's Lost Notebook

2025-04-24T06:26:22Z

The Lost Notebook of Ramanujan contains a number of beautiful formulas, one of which can be found on its page 220. It involves an interesting function, which we denote as $\mathcal{F}_1(x)$. In this paper, we show that $\mathcal{F}_1(x)$ belongs to the category of period functions as it satisfies the period relations of Maass forms in the sense of Lewis and Zagier \cite{lz}. Hence, we refer to $\mathcal{F}_1(x)$ as the \emph{Ramanujan period function}. Moreover, one of the salient aspects of the Ramanujan period function $\mathcal{F}_1(x)$ that we found out is that it is a Hecke eigenfunction under the action of Hecke operators on the space of periods. We also establish that it naturally appears in a Kronecker limit formula of a certain zeta function, revealing its connections to various topics. Finally, we generalize $\mathcal{F}_1(x)$ to include a parameter $s,$ connecting our work to the broader theory of period functions developed by Bettin and Conrey \cite{bc} and Lewis and Zagier \cite{lz}. We emphasize that Ramanujan was the first to study this function, marking the beginning of the study of period functions.

Decoupling for surfaces with radial symmetry

2025-04-23T21:19:03Z

We utilise the two principles of decoupling introduced in [arXiv:2407.16108] to prove decoupling for two types of surfaces exhibiting radial symmetry. The first type are surfaces of revolution in $\mathbb R^n$ generated by smooth surfaces in $\mathbb R^3$. The second type of surfaces are graphs of trivariate homogeneous smooth functions of nonzero degree.

Endpoint boundedness of singular integrals: CMO space associated to Schrödinger operators

2025-04-23T15:43:52Z

Let $ \mathcal{L} = -\Delta + V $ be a Schr\"odinger operator acting on $ L^2(\mathbb{R}^n) $, where the nonnegative potential $ V $ belongs to the reverse H\"older class $ RH_q $ for some $ q \geq n/2 $. This article is primarily concerned with the study of endpoint boundedness for classical singular integral operators in the context of the space $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $, consisting of functions of vanishing mean oscillation associated with $ \mathcal{L} $. We establish the following main results: (i) the standard Hardy--Littlewood maximal operator is bounded on $\mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $; (ii) for each $ j = 1, \ldots, n$, the adjoint of the Riesz transform $ \partial_j \mathcal{L}^{-1/2} $ is bounded from $ C_0(\mathbb{R}^n) $ into $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $; and (iii) the approximation to the identity generated by the Poisson and heat semigroups associated with $ \mathcal{L} $ characterizes $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $ appropriately. These results recover the classical analogues corresponding to the Laplacian as a special case. However, the presence of the potential $ V $ introduces substantial analytical challenges, necessitating tools beyond the scope of classical Calder\'on--Zygmund theory. Our approach leverages precise heat kernel estimates and the structural properties of $ \mathrm{CMO}_{\mathcal{L}}(\mathbb{R}^n) $ established by Song and the third author in [J. Geom. Anal. 32 (2022), no. 4, Paper No. 130, 37 pp].

Optimal growth of upper frequently hypercyclic functions for some weighted Taylor shifts

2025-04-23T14:42:45Z

We are interested in the optimal growth in terms of $L^p$-averages of hypercyclic and $\mathcal{U}$-frequently hypercyclic functions for some weighted Taylor shift operators acting on the space of analytic function on the unit disc. We unify the results obtained by considering intermediate notions of upper frequent hypercyclicity between the $\mathcal{U}$-frequent hypercyclicity and the hypercyclicity.

On deciding transcendence of power series

2025-04-23T13:28:05Z

It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or transcendental, is notoriously difficult. We prove that this problem is decidable: we give two theoretical algorithms and a transcendence test that is efficient in practice.

Provable wavelet-based neural approximation

2025-04-23T13:02:37Z

In this paper, we develop a wavelet-based theoretical framework for analyzing the universal approximation capabilities of neural networks over a wide range of activation functions. Leveraging wavelet frame theory on the spaces of homogeneous type, we derive sufficient conditions on activation functions to ensure that the associated neural network approximates any functions in the given space, along with an error estimate. These sufficient conditions accommodate a variety of smooth activation functions, including those that exhibit oscillatory behavior. Furthermore, by considering the $L^2$-distance between smooth and non-smooth activation functions, we establish a generalized approximation result that is applicable to non-smooth activations, with the error explicitly controlled by this distance. This provides increased flexibility in the design of network architectures.

A simple master Theorem for discrete divide and conquer recurrences

2025-04-23T12:53:03Z

The aim of this note is to provide a Master Theorem for some discrete divide and conquer recurrences: $$X_{n}=a_n+\sum_{j=1}^m b_j X_{\lfloor{\frac{n}{m_j}}\rfloor},$$ where the $m_i$'s are integers with $m_i\ge 2$. The main novelty of this work is there is no assumption of regularity or monotonicity for $(a_n)$. Then, this result can be applied to various sequences of random variables $(a_n)_{n\ge 0}$, for example such that $\sup_{n\ge 1}\mathbb{E}(|a_n|)<+\infty$.

Exceptional projections in finite fields: Fourier analytic bounds and incidence geometry

2025-04-23T10:30:27Z

We consider the problem of bounding the number of exceptional projections (projections which are smaller than typical) of a subset of a vector space over a finite field onto subspaces. We establish bounds that depend on $L^p$ estimates for the Fourier transform, improving various known bounds for sets with sufficiently good Fourier analytic properties. The special case $p=2$ recovers a recent result of Bright and Gan (following Chen), which established the finite field analogue of Peres--Schlag's bounds from the continuous setting. We prove several auxiliary results of independent interest, including a character sum identity for subspaces (solving a problem of Chen) and a full generalization of Plancherel's theorem for subspaces. These auxiliary results also have applications in affine incidence geometry, that is, the problem of estimating the number of incidences between a set of points and a set of affine $k$-planes. We present a novel and direct proof of a well-known result in this area that avoids the use of spectral graph theory, and we provide simple examples demonstrating that these estimates are sharp up to constants.

Uniform treatments of Bernoulli numbers, Stirling numbers, and their generating functions

2025-04-23T09:54:51Z

In this paper, by virtue of a determinantal formula for derivatives of the ratio between two differentiable functions, in view of the Fa\`a di Bruno formula, and with the help of several identities and closed-form formulas for the partial Bell polynomials $\operatorname{B}_{n,k}$, the author establishes thirteen Maclaurin series expansions of the functions \begin{align*} &\ln\frac{\operatorname{e}^x+1}{2}, && \ln\frac{\operatorname{e}^x-1}{x}, && \ln\cosh x, \\ &\ln\frac{\sinh x}{x}, && \biggl[\frac{\ln(1+x)}{x}\biggr]^r, && \biggl(\frac{\operatorname{e}^x-1}{x}\biggr)^r \end{align*} for $r=\pm\frac{1}{2}$ and $r\in\mathbb{R}$ in terms of the Dirichlet eta function $\eta(1-2k)$, the Riemann zeta function $\zeta(1-2k)$, and the Stirling numbers of the first and second kinds $s(n,k)$ and $S(n,k)$. presents four determinantal expressions and three recursive relations for the Bernoulli numbers $B_{2n}$. finds out three closed-form formulas for the Bernoulli numbers $B_{2n}$ and the generalized Bernoulli numbers $B_n^{(r)}$ in terms of the Stirling numbers of the second kind $S(n,k)$, and deduce two combinatorial identities for the Stirling numbers of the second kind $S(n,k)$. acquires two combinatorial identities, which can be regarded as diagonal recursive relations, involving the Stirling numbers of the first and second kinds $s(n,k)$ and $S(n,k)$. recovers an integral representation and a closed-form formula, and establish an alternative explicit and closed-form formula, for the Bernoulli numbers of the second kind $b_n$ in terms of the Stirling numbers of the first kind $s(n,k)$. obtains three identities connecting the Stirling numbers of the first and second kinds $s(n,k)$ and $S(n,k)$.

Extremizers and Stability for Fractional $L^p$ Uncertainty Principles

2025-04-22T20:20:21Z

We extend the classical Heisenberg uncertainty principle to a fractional $L^p$ setting by investigating a novel class of uncertainty inequalities derived from the fractional Schr\"odinger equation. In this work, we establish the existence of extremal functions for these inequalities, characterize their structure as fractional analogues of Gaussian functions, and determine the sharp constants involved. Moreover, we prove a quantitative stability result showing that functions nearly attaining the equality in the uncertainty inequality must be close -- in an appropriate norm -- to the set of extremizers. Our results provide new insights into the fractional analytic framework and have potential applications in the analysis of fractional partial differential equations.

On weighted Cesàro function spaces

2025-04-22T07:24:55Z

The main objective of this paper is to provide a comprehensive demonstration of recent results regarding the structures of the weighted Ces\`aro and Copson function spaces. These spaces' definitions involve local and global weighted Lebesgue norms; in other words, the norms of these spaces are generated by positive sublinear operators and by weighted Lebesgue norms. The weighted Lebesgue spaces are the special cases of these spaces with a specific set of parameters. Our primary method of investigating these spaces will be the so-called discretization technique. Our technique will be the development of the approach initiated by K.G. Grosse-Erdmann, which allows us to obtain the characterization in previously unavailable situations, thereby addressing decades-old open problems. We investigate the relation (embeddings) between weighted Ces\`aro and Copson function spaces. The characterization of these embeddings can be used to tackle the problems of characterizing pointwise multipliers between weighted Ces\`aro and Copson function spaces, the characterizations of the associate spaces of Ces\`aro (Copson) function spaces, as well as the relations between local Morrey-type spaces.

The Assouad dimension of Kakeya sets in $\mathbb{R}^3$

2025-04-22T00:17:48Z

This paper studies the structure of Kakeya sets in $\mathbb{R}^3$. We show that for every Kakeya set $K\subset\mathbb{R}^3$, there exist well-separated scales $0<\delta<\rho\leq 1$ so that the $\delta$ neighborhood of $K$ is almost as large as the $\rho$ neighborhood of $K$. As a consequence, every Kakeya set in $\mathbb{R}^3$ has Assouad dimension 3 and every Ahlfors-David regular Kakeya set in $\mathbb{R}^3$ has Hausdorff dimension 3. We also show that every Kakeya set in $\mathbb{R}^3$ that has "stably equal" Hausdorff and packing dimension (this is a new notion, which is introduced to avoid certain obvious obstructions) must have Hausdorff dimension 3. The above results follow from certain multi-scale structure theorems for arrangements of tubes and rectangular prisms in three dimensions, and a mild generalization of the sticky Kakeya theorem previously proved by the authors.

On Popoviciu's concept of convexity for functions of $d$ variables

2025-04-21T19:39:45Z

We establish an integral representation for Popoviciu's convex functions of $d$ variables. This representation serves as a~foundation for deriving several functional inequalities, analogous to those well-known for usual convex functions. Our results generalize and extend the results obtained by S.~Gal, C.~Niculescu, B.~Gavrea, T.~Popoviciu, and others, who considered only differentiable functions of two variables. In contrast to other authors, we do not impose any additional regularity assumptions on the studied functions.

On the behavior of orbits of Vanhaecke system on integral surfaces

2025-04-21T12:51:05Z

In the 1990s, P. Vanhecke described a Hamiltonian system with two degrees of freedom and a polynomial Hamiltonian integrable in Abelian functions of two variables. This system provides a convenient example of an integrable system in which integral curves are wound on a two-dimensional manifold, an algebraic surface in a 4-dimensional phase space. In this report, we show that all necessary calculations can be performed in the Sage system. The role of periods of Abelian integrals and their commensurability in describing the nature of the winding of integral curves on an algebraic integral surface is discussed. The results of numerical experiments performed in fdm for Sage are presented.