Characterisation of Convergence, Boundedness and Unboundedness in Solutions of Second Order Linear Differential Equations

2026-03-26T15:19:14Z

This paper develops a characterisation of when solutions of forced second order linear differential equations converge to the zero solution of the asymptotically stable and unforced second order equation, or when the solution is bounded, but not convergent, or is unbounded. We see thereby that forcing terms can exhibit unbounded and high--frequency oscillation, and yet the solution may still tend to zero, even though the first and second derivative may become unbounded.

$L^p$ boundness of Oscillatory singular integral with Calderón Type Commutators

2026-03-26T14:38:26Z

In the paper, we study a kind of Oscillatory singular integral operator with Calderón Type Commutators $T_{P,K,A} $ defined by \[T_{P,K,A} f(x)=\text { p.v.} \int_{\mathbb{R}^{n}} f(y) \frac{K(x-y)}{|x-y|}(A(x)-A(y)-\nabla A(y))(x-y) e^{i P(x-y)} d y, \] where $P(t)$ is a real polynomial on $\mathbb{R},$ and $K$ is a function on $\mathbb{R}^{n},$ satisfies the vanishing moment and $CZ(δ)$ conditions. Under these conditions, we show that $T_{P,K,A}$ is bounded on $L^p(\mathbb{R}^{n})$ with uniform boundedness, which improve and extend the previous result.

Real spectral shift functions for pairs of contractions and pairs of dissipative operators

2026-03-26T09:49:12Z

Recently the authors solved a long-standing problem and showed that for an arbitrary pair of contractions on Hilbert space with trace class difference has an integrable spectral shift function on the unit circle ${\Bbb T}$ and an analogue of the Lifshits--Krein trace formula holds. It is also known that it may happen that there is no real-values integrable spectral shift function. In this paper we find conditions under which a pair of contractions with trace class difference has {\it a real-valued integrable} spectral shift function. We also consider a similar problem for pairs of dissipative operators. Finally, we find an application of the results in question to dissipative Schrödinger operators.

Bifurcation of limit cycles in a class of piecewise smooth generalized Abel equations with two asymmetric zones

2026-03-26T08:10:02Z

This paper studies the number of limit cycles, known as the Smale-Pugh problem, for the generalized Abel equation \begin{align*} \frac{dx}{dθ}=A(θ)x^p+B(θ)x^q, \end{align*} where $A$ and $B$ are are piecewise trigonometrical polynomials of degree $ m $ with two zones $0\leqθ<θ_1$ and $θ_1\leqθ\leq2π$. By means of the first and second order analysis using the Melnikov theory and applying the new Chebyshev criterion that established by \cite{HLZ2023}, we estimate the maximum number of positive and negative limit cycles that such equations can have, and reveal how this maximum number, denoted by $H_{θ_1}(m)$, is affected by the location of the separation line $θ=θ_1$. For the equation of classical Abel type, our result not only includes the estimates provided in the recent paper (Huang et al., SIAM J. Appl. Dyn. Syst., 2020), i.e., $H_{2π}(m)\geq 4m-2$ for $θ_1=2π$, but also shows that the equation in the discontinuous case can possess more than two times as many limit cycles as in the continuous case. More accurately, $H_π(m)\geq 8m+2$ and $H_{θ_1}(m)\geq 14m-6$ for $θ_1\in (0,π)\cup (π,2π)$.

Real-variable theory of matrix-weighted multi-parameter Besov--Triebel--Lizorkin-type spaces

2026-03-26T07:57:50Z

We develop a comprehensive theory for a general class of multi-parameter function spaces of Besov-Triebel-Lizorkin type, with a matrix weight. We prove the equivalence of different quasi-norms, the identification of function and sequence spaces via the $\varphi$-transform, the boundedness of almost diagonal operators and multi-parameter singular integrals under minimal assumptions, molecular and wavelet characterisations, and Sobolev-type embedding theorems. We identify matrix-weighted $L^p$ spaces, Sobolev spaces, and multi-parameter BMO spaces as examples of our general scale of spaces. Thus, our result on the boundedness of multi-parameter singular integrals on these spaces is seen as an extension, with a different method, of a recent theorem of Domelevo et al. [J. Math. Anal. Appl. 2024] on matrix-weighted $L^p$ spaces. For this theory, we develop several tools of independent interest. Many previous results were restricted to integrability exponents $p\in(1,\infty)$, while Besov-Triebel-Lizorkin spaces naturally involve the full range $p\in(0,\infty)$. We extend the definition of multi-parameter $A_p$ matrix weights to $p\in(0,1]$ and establish their basic properties, culminating in the $L^p$-boundedness of a matrix-weighted strong maximal operator (suitably rescaled when $p\in(0,1]$) for all $p\in(0,\infty)$. For $p\in(1,\infty)$, this is due to Vuorinen [Adv. Math. 2024] by convex-set-valued techniques of Bownik and Cruz-Uribe [arXiv 2022; Math. Ann. (to appear)]; the lack of convexity requires us to develop a new approach that works for all $p\in(0,\infty)$. We also need and prove a multi-parameter extension of Carleson-type embeddings from Frazier and Roudenko [Math. Ann. 2021] but attributed by them to F. Nazarov. We prove the necessity of the conditions of the new embedding using a nontrivial elaboration of Carleson's classical counterexample [Mittag-Leffler Rep. 1974].

A Bloch type space associated with λ-analytic functions

2026-03-26T04:20:34Z

For $λ\ge0$, the so-called $λ$-analytic functions are defined in terms of the (complex) Dunkl operators $D_{z}$ and $D_{\bar{z}}$. In the paper we introduce a Bloch type space on the disk ${\mathbb D}$ associated with $λ$-analytic functions, called the $λ$-Bloch space and denoted by ${\mathfrak{B}}_λ({\mathbb D})$. Various properties of the $λ$-Bloch space ${\mathfrak{B}}_λ({\mathbb D})$ are proved. We give a characterization of functions in ${\mathfrak{B}}_λ({\mathbb D})$ by means of the higher-order operators $(D_z\circ z)^n$ for $n\ge2$. A general integral operator is proved to be bounded from $L^{\infty}({\mathbb D})$ onto ${\mathfrak{B}}_λ({\mathbb D})$, and as an application, the dual relation of ${\mathfrak{B}}_λ({\mathbb D})$ and the $λ$-Bergman space ($p=1$) is verified.

Boundary local integrability of rational functions in two variables

2026-03-26T02:16:37Z

Motivated by studying boundary singularities of rational functions in two variables that are analytic on a domain, we investigate local integrability on $\mathbb{R}^2$ near $(0,0)$ of rational functions with denominator non-vanishing in the bi-upper half-plane but with an isolated zero (with respect to $\mathbb{R}^2$) at the origin. Building on work of Bickel-Pascoe-Sola, we give a necessary and sufficient test for membership in a local $L^{p}(\mathbb{R}^2)$ space and we give a complete description of all numerators $Q$ such that $Q/P$ is locally in a given $L^{p}$ space. As applications, we prove that every bounded rational function on the bidisk has partial derivatives belonging to $L^1$ on the two-torus. In addition, we give a new proof of a conjecture, started in Bickel-Knese-Pascoe-Sola and completed by Kollár, characterizing the ideal of $Q$ such that $Q/P$ is locally bounded. A larger takeaway from this work is that a local model for stable polynomials we employ is a flexible tool and may be of use for other local questions about stable polynomials.

A further q-analogue of Gosper's strange series

2026-03-25T22:25:59Z

Recently, the second author [Ramanujan J. 2026] introduced and proved a $q$-series identity that appears to provide the first known $q$-analogue of an evaluation for a ${}_{2}F_{1}$-series known as \emph{Gosper's strange series}. Yamaguchi's derivation of this $q$-analogue relies on three-term relations for ${}_{2}φ_{1}$-series along with Heine's transformation of ${}_{2}φ_{1}$-series. In this note, we introduce and prove, using a $q$-analogue of a series evaluation technique relying on an Abel-type summation lemma, a further $q$-analogue of Gosper's ${}_{2}F_{1}$-identity that is inequivalent to Yamaguchi's $q$-analogue, and we also apply this technique to construct an alternative and simplified proof of Yamaguchi's $q$-analogue, together with a ${}_{3}φ_{2}$-series variant of Heine's $q$-analogue of Gauss's hypergeometric formula, a ${}_{6}φ_{5}$-series variant and two ${}_{4}φ_{3}$-series variants of the $q$-analogue of Kummer's identity due to Bailey and Daum, along with a $q$-analogue of a result obtained by Cantarini [Ramanujan J. 2022] via Fourier-Legendre theory and related to Ramanujan's first series for $\frac{1}π$.

Hölder exponents and fractal structure of level sets of self-affine functions associated with the $Q_s$-representation of numbers

2026-03-25T15:25:12Z

We investigate a class of locally complicated self-affine functions defined via the $Q_s$-representation of real numbers. In particular, we compute local Hölder exponents at points with given asymptotic frequencies of digits in their $Q_s$-representation. Furthermore, we establish conditions under which these functions possess continuum level sets. Finally, for self-affine functions satisfying additional conditions, we describe the geometric structure of the set of maximum points and show that this set can be fractal.

Sharp microlocal Kakeya--Nikodym estimates for eigenfunctions with applications

2026-03-25T14:29:53Z

We extend the microlocal Kakeya--Nikodym bounds for eigenfunctions of Blair--Sogge to a larger range of exponents, which is optimal in all dimensions $n\ge3$ on general manifolds. On manifolds of constant sectional curvature, we introduce a new anisotropic variant of the microlocal Kakeya--Nikodym norm that further enlarges the admissible $p$-range. As a corollary, by combining our results with a recent theorem of Hou, we obtain improved $L^p$ bounds for Hecke--Maass forms on compact hyperbolic $3$-manifolds. In particular, our method applies to general Hörmander operators, and we characterize the $L^q \to L^p$ boundedness of Hörmander operators with positive-definite phase in all dimensions $n\ge3$, thereby fully resolving a question going back to Hörmander. Further applications include improved $L^q \to L^p$ Fourier extension bounds, and improved bounds related to the Bochner--Riesz conjecture in $\mathbb R^3$.

A Battle-Lemarié Frame Characterization of Besov and Triebel-Lizorkin Spaces

2026-03-25T12:07:20Z

In this paper, we investigate a spline frame generated by oversampling against the well-known Battle-Lemarié wavelet system of nonnegative integer order, $n$. We establish a characterization of the Besov and Triebel-Lizorkin (quasi-) norms for the smoothness parameter up to $s < n+1$, which includes values of $s$ where the Battle-Lemarié system no longer provides an unconditional basis; we, additionally, prove a result for the endpoint case $s=n+1$. This builds off of earlier work by G. Garrigós, A. Seeger, and T. Ullrich, where they proved the case $n=0$, i.e. that of the Haar wavelet, and work of R. Srivastava, where she gave a necessary range for the Battle-Lemarié system to give an unconditional basis of the Triebel-Lizorkin spaces.

Some More Sparse Bounds for Rough and Smooth Pseudodifferential Operators

2026-03-25T12:01:19Z

Beltran \& Cladek~\cite{BC} use $L^r$ to $L^s$ bounds to prove sparse form bounds for pseudodifferential operators with Hörmander symbols in $S^m_{ρ,δ}$ up to, but not including, the sharp end-point in decay $m$. We further develop their technique, obtaining pointwise sparse bounds for rough pseudodifferential operators that are merely measurable in their spatial variables and an alternative proof of their results which avoids proving geometrically decaying sparse bounds. We also provide sufficient conditions for sparse form bounds to hold and use these to reprove know sparse bounds for pseudodifferential operators with symbols in $S^0_{1,δ}$ for $δ< 1$.

Some Difference Relations for Orthogonal Polynomials of a Continuous Variable in the Askey Scheme

2026-03-25T10:55:54Z

Orthogonal polynomials of a continuous variable in the Askey scheme satisfying second order difference equations, such as the Askey-Wilson polynomial, can be studied by the quantum mechanical formulation, idQM (discrete quantum mechanics with pure imaginary shifts). These idQM systems have the shape invariance property, which relates the Hilbert space $\mathsf{H}_λ$ ($λ$ : a set of parameters) and that with shifted parameters $\mathsf{H}_{λ+δ}$ ($δ$ : shift of $λ$), and gives the forward and backward shift relations for the orthogonal polynomials. Based on the forward shift relation and the Christoffel's theorem with some polynomial $\checkΦ(x)$, which is expressed in terms of the quantities appeared in the forward and backward shift relations, we obtain some difference relations for the orthogonal polynomials. The multiplication of $\sqrt{\checkΦ(x)}$ gives a surjective map from $\mathsf{H}_{λ+2δ}$ to $\mathsf{H}_λ$. Similarly, for the orthogonal polynomials in the Askey scheme satisfying second order differential equations, such as the Jacobi polynomial, we obtain some differential relations, and the multiplication of $\sqrt{\checkΦ(x)}$ in this case gives a surjective map from $\mathsf{H}_{λ+δ}$ to $\mathsf{H}_λ$.

Index theory for non-compact quantum graphs

2026-03-25T09:44:54Z

We develop an index theory for variational problems on noncompact quantum graphs. The main results are a spectral flow formula, relating the net change of eigenvalues to the Maslov index of boundary data, and a Morse index theorem, equating the negative directions of the Lagrangian action with the total multiplicity of conjugate instants along the edges. These results extend classical tools in global analysis and symplectic geometry to graph based models, with applications to nonlinear wave equations such as the nonlinear Schroedinger equation. The spectral flow formula is proved by constructing a Lagrangian intersection theory in the Gelfand-Robbin quotients of the second variation of the action. This approach also recovers, in a unified way, the known formulas for heteroclinic, halfclinic, homoclinic, and bounded orbits of (non)autonomous Lagrangian systems.

Quantitative Bounds and Compactness for the Commutators of Area Integrals Associated with Self-adjoint Operators on Weighted $L^p$ and Morrey Spaces

2026-03-25T05:49:46Z

Let $L$ be a non-negative self-adjoint operator, we consider some commutators generated by the BMO function $b$ and the area integral operator $S_H$ associated with the heat semigroup $\{e^{-tL}\}_{t>0}$ or the area integral operator $S_P$ associated with the Poisson semigroup $\{e^{-t\sqrt{L}}\}_{t>0}$. The strong-type estimates of these commutators on weighted $L^p$ spaces and weighted Morrey spaces are established. At the same time, we verified that these commutators are compact operators on weighted Morrey spaces.