On the equivalence between moderate growth-type conditions in the weight matrix setting II

2026-03-08T13:22:45Z

We continue the study of the known equivalent reformulations of the classical moderate growth condition for weight sequences in the mixed setting; i.e. when dealing with two different sequences. This approach is becoming crucial in the weight matrix setting and also, in particular, when dealing with weight functions in the sense of Braun-Meise-Taylor. It is known that a full generalization to the mixed setting fails, more precisely the condition comparing the growth of the corresponding sequences of quotients and roots is not clear. In the main result we prove a new characterization of this property in terms of the associated weight function; i.e. when the given weight function is based on a weight sequence.

Packing dimension of vertical projections in the Heisenberg group

2026-03-08T12:50:49Z

It is shown that if $A$ is a Borel subset of the first Heisenberg group, with Hausdorff dimension satisfying $2< \dim A < 3$, then the packing dimensions of vertical projections of $A$ are almost surely not less than $\dim A$, where both packing and Hausdorff dimensions are defined with respect to the Korányi metric. For the Hausdorff dimension of the projections, a weaker almost sure lower bound is obtained which improves the known bound in the range $2 < \dim A < \frac{1}{8}\left( 17 + \sqrt{33}\right) \approx 2.84$. The bound is slightly larger than $1+\frac{1}{2} \dim A$ and behaves similarly near $\dim A =2$. Both proofs rely on a variable coefficient local smoothing inequality.

Sharp estimates for eigenvalues of localization operators before the plunge region

2026-03-08T01:40:06Z

We study two closely related yet different localization operators: the time-frequency localization operator to the pair of intervals $S_{I, J} = P_I \mathcal{F}^{-1} P_J\mathcal{F} P_I$ and the localization of the coherent state transform to the square $L_Q$. Eigenvalues of both of them exhibit the same phase transition: if $|I| |J| = |Q| = c$ then first $\approx c$ eigenvalues are very close to $1$, then there are $o(c)$ intermediate eigenvalues and the rest of the eigenvalues are very close to $0$. Moreover, for both of them if $n < (1-\varepsilon)c$ for fixed $\varepsilon > 0$ then the eigenvalues are exponentially close to $1$. The goal of this paper is to establish sharp uniform bounds on these eigenvalues when $n$ is close to $c$ and see if there is a qualitative difference between the spectrums of $S_{I, J}$ and $S_Q$. We show that for $n < c -c^{0.99}$, say, in the time-frequency localization case we have $-\log(1-λ_n(c))\asymp\frac{c-n}{\log(\frac{2c}{c-n})}$ while in the coherent state transform case we have $-\log(1-μ_n(c))\asymp (\sqrt{c}-\sqrt{n})^2,$ which is much smaller if $c-n = o(c)$, so there is indeed a difference between these two cases. The proofs crucially rely on the complex-analytic interpretations of these localization operators.

Exactly solvable Schrödinger operators related to the hypergeometric equation

2026-03-07T18:12:28Z

We study one-dimensional Schrödinger operators defined as closed operators that are exactly solvable in terms of the Gauss hypergeometric function. We allow the potentials to be complex. These operators fall into three groups. The first group can be reduced to the Gegenbauer equation, up to an affine transformation, a special case of the hypergeometric equation. The two other groups, which we call {\em hypergeometric of the first}, resp. {\em second kind}, can be reduced to the general Gauss hypergeometric equation. Each of the group is subdivided in three families, acting to on the Hilbert space $L^2]-1,1[,$ $L^2(\rr_+)$ resp. $L^2(\rr)$. Motivated by geometric applications of these families, we call them {\em spherical}, {\em hyperbolic}, resp. {\em deSitterian}. All these families are known from applications in Quantum Mechanics: e.g. spherical hypergeometric Schrödinger operators of the first kind are often called {\em trigonometric Pöschl-Teller Hamiltonians}. For operators belonging to each family we compute their spectrum and determine their Green function (the integral kernel of their resolvent). We also describe transmutation identities that relate these Green functions. These identities interchange spectral parameters with coupling constants across different operator families. Finally, we describe how these operators arise from separation of variables of (pseudo-)Laplacians on symmetric manifolds. Our paper can be viewed as a sequel to \cite{DL}, where closed realizations of one-dimensional Schrödinger operators solvable in terms Kummer's confluent equation were studied.

Blaschke products and unwinding in higher dimensions

2026-03-07T15:20:06Z

We give a necessary and sufficient condition for the convergence of an infinite product of rational inner functions on the polydisk, and explore generalization to the polydisk of Malmquist- Takenaka bases and various versions of unwinding

On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

2026-03-07T15:19:05Z

We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=δ_{α_1(x)1}+\sum^{\infty}_{k=2}\left[δ_{α_k(x)k}\prod^{k-1}_{j=1}g_{α_j (x)j}\right]\equivΔ^{G^*_3}_{α_1α_2\ldotsα_k\ldots}, $$ where $||q^*_{ik}||$ is given infinite stochastic positive matrix ($i=0,1,2$; $k \in N$); $β_{0k}=0$, $β_{1k}=q_{0k}$, $β_{2k}=q_{0k}+q_{1k}$; $(\varepsilon_k)$ is given sequence of numbers such that $0\leqslant \varepsilon_k \leqslant 1 $; $g_{0k}=\dfrac{1+\varepsilon_k}{3}=g_{2k}$, $g_ {1k}=\dfrac{1-2\varepsilon_k}{3}$, $δ_{0k}=0$, $δ_{1k}=g_{0k}$, $δ_{2k}=g_{0k}+g_{1k}$, $k\in N$. We found criteria of strict monotonicity, non monotonicity and nowhere monotonicity, non-differentiability and singularity of the functions. We pay attention to properties of level sets of the functions.

Necessary conditions for existence of tensor invariants for general nonlinear dynamical systems

2026-03-07T13:30:03Z

The integrability has been playing an essential role in the field of differential equations. This property may better help us obtain the topological structure and even the global dynamics for the considered system. A system is called integrable if it has a number of tensor invariants, which can comprehensively define the integrability problem. In this paper, we give necessary conditions for existence of tensor invariants for general nonlinear systems, especially semi-quasihomogeneous systems. Our results may be viewed as a generalization of Poincaré and Kozlov's work.

Reverse square function estimates for degenerate curves and its applications

2026-03-07T09:06:44Z

Building on the classical work of Córdoba--Fefferman and the recent work of Schippa, we establish $L^4$ reverse square function estimates for functions whose Fourier support is contained in a $δ$-neighborhood of the curve $\{(ξ,ξ^a): |ξ|\leq 1\}$ in $\mathbb{R}^2$, for all exponents $a\in(0,\infty)\backslash\{1\}$. As applications, we derive sharp $L^4$ Strichartz estimates on the one-dimensional torus for fractional Schrödinger equations and establish new local smoothing estimates in modulation spaces. In the latter application, orthogonal Strichartz-type estimates also play a crucial role.

Differentiable normal linearization of partially hyperbolic dynamical systems

2026-03-07T06:44:34Z

A result on $C^0$ linearization which is differentiable at the hyperbolic fixed point is known. In this paper, we further investigate a partially hyperbolic diffeomorphism $F$ to find a local $C^0$ conjugacy, which is $C^1$ on the center manifold, to linearize the hyperbolic component (normal to the center direction) and obtain its Takens' normal form. Our result is optimal, as it needs no non-resonant condition usually required for smooth conjugacy (e.g., as in the Takens' theorem) and the $C^{1,α}$ $(α>0)$ smoothness condition is sharp. For the proof, the center direction obstructs the decoupling of $F$ as the stable and unstable foliations do not intersect. We overcome this difficulty via a semi-decoupling method only with the unstable foliation, where a modified Lyapunov-Perron equation needs to be established along the center direction. Subsequent issues of cocycle reduction and differentiable linearization for an expansive fiber-preserving mapping are then addressed by the Whitney's extension theory and a lifting technique, respectively. In the local context, our result improves the result of $C^0$ normal linearization by [C. Pugh and M. Shub, Invent. Math., 10 (1970): 187-198] to a differentiable one.

$\mathcal{O}_α$-transformation and its uncertainty principles

2026-03-06T17:00:43Z

In this paper, we introduce a family of integral transforms, denoted by $\mathcal{O}_α$, and constructed via kernel fusion of the fractional Fourier transform (FRFT) with angle $α\notin π\mathbb{Z}$. We demonstrate that the $\mathcal{O}_α$-transformation constitutes a well-defined integral operator by establishing its basic operational properties. Besides, we survey various mathematical aspects of the uncertainty principles for the $\mathcal{O}_α$-transform, including Heisenberg's inequality, logarithmic uncertainty inequality, local uncertainty inequality, Hardy's inequality, Pitt's inequality, and Beurling-H{ö}rmander's theorem.

The Error in Rayleigh's Approximative Period

2026-03-06T16:40:01Z

We obtain rigorous a priori upper and lower bounds to the exact period of the celebrated Rayleigh stretched string differential equation. We use them to show that Rayleigh's approximative period overestimates the true period and that the relative error is, to a first approximation, directly proportional to the initial fractional displacement and inversely proportional to the initial stretch. Thus, for a given length and stretch, one can determine the initial displacement so as to guarantee a prescribed accuracy in Rayleigh's period while for a given displacement one can see why the relative error blows up of the initial stretch is tiny. We have replaced the big-O terms with explicit inequalities and a new elegant formula for the relative error.

Rubio de Francia Extrapolation Theorem for Quasi non-increasing Sequences

2026-03-06T10:07:11Z

We prove the discrete Rubio de Francia extrapolation theorem for a pair of quasi non-increasing sequences with $\mathcal{QB}_{β, p}$ weight class. Also, a weight characterization of the boundedness of the generalized discrete Hardy averagin19g operator on the class of quasi non-increasing sequences from $l_w^p(\mathbb{Z}^+)$ is proved.

Equi-integrable approximation of Sobolev mappings between manifolds

2026-03-06T09:55:06Z

We show that limits of sequences of smooth maps between compact Riemannian manifolds with equi-integrable $W^{1, p}$-Sobolev energy can always be strongly approximated by smooth maps, giving a counterpart of Hang's density result in $W^{1, 1}$ for the Sobolev space $W^{1, p}$ with integer $p \ge 2$. Our result extends to higher-order Sobolev spaces and is straightforward in fractional Sobolev spaces. We also provide a proof based on the weak continuity of Jacobians in the cases where the cohomological criterion of Bethuel, Demengel, Colon and Hélein applies.

Hausdorff dimension of images and graphs of some random complex series

2026-03-06T07:38:43Z

Let $\{X_n= e^{2πi θ_n}\}$ be a sequence of Steinhaus random variables, where $θ_n$ are independent and uniformly distributed on $[0,1]$. We compute the almost sure Hausdorff dimension of the images and graphs of the random complex series $S(x)=\sum_{n=1}^{\infty}a_n X_nφ_n(λ_nx)$, where $λ_n$ is an increasing sequence with $\sup_nλ_{n+1}/λ_n<\infty$ and $φ_n$ satisfies some uniform Lipschitz and boundedness conditions. This class of series includes the famous Weierstrass and Riemann functions as well as others appeared in literature. These results help predict the exact values of the deterministic cases.

The Planar Coleman--Gurtin model with Beltrami conductivity

2026-03-06T07:30:16Z

This article addresses the planar Coleman--Gurtin heat equation with memory on a bounded domain, with rough anisotropic diffusion $A_μ$, typical of heterogeneous or composite media and encoded by a Beltrami coefficient $μ\in L^\infty(Ω)$ satisfying $\|μ\|_{\infty}<1$. First, under no additional smoothness assumptions on $μ$, solutions with $H^1_0(Ω)$-based initial data enter a time-averaged $L^\infty(Ω)$ regime, and instantaneously regularize into the second-order graph space $D(A_μ)$. Assuming in addition $μ\in W^{1,2}(Ω)$, this regularization upgrades to $W^{2,p}(Ω)$ for every $1