https://arxiv.org/api/6kcHNsJoRYXuHOQy8utAIrGcAac 2026-06-18T17:00:42Z 25088 330 15 http://arxiv.org/abs/2605.05180v1 2026-05-06T17:47:48Z

Originally, Turán's inequality states that if $(P_n(x))_{n\in\mathbb{N}_0}$ is the sequence of Legendre polynomials, then $Δ_n(x):=P_n^2(x)-P_{n+1}(x)P_{n-1}(x)\geq0$ for all $n\in\mathbb{N}$ and $x\in[-1,1]$. Gasper specified the parameters $α,β>-1$ for which the Jacobi polynomials $(R_n^{(α,β)}(x))_{n\in\mathbb{N}_0}$ satisfy Turán's inequality. Frequently, such results rely on the specific structure of the concrete orthogonal polynomials under consideration. Therefore, special focus has been put on general criteria (whose importance was particularly emphasized by Nevai). We provide two general criteria for Turán's inequality in terms of the three-term recurrence relation and also deal with sharper estimations of the Turán determinants $Δ_n(x)$. They extend earlier results of Szwarc and Berg--Szwarc. Applying our criteria to the class of generalized Chebyshev polynomials $(T_n^{(α,β)}(x))_{n\in\mathbb{N}_0}$, which are the quadratic transformations of the Jacobi polynomials, we find the companion to Gasper's above-mentioned result. At this stage, we also obtain nonnegative representations of $Δ_n(x)$. Finally, we study $2$-sieved polynomials and discuss further examples.

2026-05-06T17:47:48Z 14 pages Stefan Kahler http://arxiv.org/abs/2605.05147v1 2026-05-06T17:16:55Z

In this paper, we unify and improve existing results on characterizing strict and almost stricty convex functions via subdifferential mapping, Moreau envelope, and proximal mappings. In particular, it is shown that if a convex function is subdifferentiable on its domain, then it is strictly convex if and only if its subdifferential is strictly monotone, equivalently, almost strictly monotone. Rockafellar-Wets' characterizations of almost strictly convex functions via almost differentiability of Fenchel conjugates and strict monotonicity of subdifferentials are extended from a finite-dimensional space to a Hilbert space. We also establish similar results for paramonotone operators.

2026-05-06T17:16:55Z Heinz H. Bauschke Honglin Luo Xianfu Wang http://arxiv.org/abs/2605.05146v1 2026-05-06T17:16:49Z

Let $S_m f$ denote the $m$-th partial sum of the Walsh-Fourier series of $f \in L^1$. For an increasing sequence $a=(a(n))_{n \geq 1}$ of positive integers, consider the arithmetic means $$ σ_N f:=\frac{1}{N} \sum_{n=1}^N S_{a(n)} f . $$ Gát proved in 2019 that $σ_N f \rightarrow f$ almost everywhere for every $f \in L^1$ under the growth condition $$ a(n+1) \geq\left(1+\frac{1}{n^δ}\right) a(n), \quad 0<δ<\frac{1}{2} . $$ We show that the same conclusion remains valid throughout the full range $0<δ<1$.

2026-05-06T17:16:49Z Ushangi Goginava http://arxiv.org/abs/2605.05135v1 2026-05-06T17:08:03Z

We study de la Vallée Poussin means of Walsh--Fourier series associated with a nondecreasing window sequence. We establish a sharp criterion for almost everywhere convergence for integrable functions. We further show that, when this criterion fails, every Orlicz class below the logarithmic square-root scale contains a function whose de la Vallée Poussin means diverge everywhere.

2026-05-06T17:08:03Z Ushangi Goginava http://arxiv.org/abs/2605.05098v1 2026-05-06T16:34:43Z

Energy techniques can be used to study the structure of fractal sets; the existence of a measure with finite Riesz energy supported on a set gives information about its dimension, distribution, and density. In this paper, we study energy-minimizing measures supported near fractal $1$-sets. Using physical analogy and a variant of the fast multipole method, we show a strong equidistribution result for these measures. We impose only mild geometric constraints on our sets, assuming only a generational structure of the approximations. This allows us to consider sets which do not exhibit self-similarity or other algebraic constraints. As a corollary, we demonstrate a fundamental limitation in the use of energy techniques for studying Favard length.

2026-05-06T16:34:43Z 19 pages Rosemarie Bongers http://arxiv.org/abs/2605.04810v1 2026-05-06T12:02:15Z

Let $f(t,x),M(t,x)\in C([0,1]^2)$ with $M(t,x)>0$. We consider differential equations of the form \[ \frac{\partial f}{\partial t}(t,x)=\frac{M(t,x)f(t,x)-M(t,0)f(t,0)}{x},\quad x>0. \] For a fixed positive weight $M$, we ask whether the condition $f(0,x)=0$ forces $f\equiv 0$. We show the answer is negative for smooth functions: there exist $f(t,x),M(t,x)\in C^{\infty}([0,1]^2)$ with $f(0,x)=0$, $f(t,0)\not\equiv 0$, and $M(t,x)>0$ satisfying the above equation. However, we show that for a large class of $M(t,x)$, the equation does have uniqueness. We relate this to uniqueness/non-uniqueness theorems for weighted Laplace transforms. A key example originated in an output by ChatGPT-5.5-Pro, and we include a discussion of its output as well as a complete proof.

2026-05-06T12:02:15Z 15 pages Brian Street http://arxiv.org/abs/2606.05190v1 2026-05-06T07:26:13Z

Let $\mathbf{P}$ denote the Riesz projection on the unit circle $\mathbb{T}$ and suppose that $1<p<\infty$. We present a simple proof of the bound $\|\mathbf{P}f\|_p \leq \max(p,q) \|f\|_p$, where $f$ is in $L^p(\mathbb{T})$ and $p^{-1}+q^{-1}=1$. Our proof is a variation of a classical argument due to M. Riesz demonstrating that the Hilbert transform is bounded on $L^p(\mathbb{T})$.

2026-05-06T07:26:13Z Ole Fredrik Brevig http://arxiv.org/abs/2605.04351v1 2026-05-05T23:15:48Z

We classify positive linear functionals on $C_c(\mathbb{R}_{>0})$ satisfying scaling covariance of degree $x/2$ and Gaussian normalization to $π^{x/2}$. We prove that the unique such functionals are represented by the Mellin--Gamma measures \[ dμ_x(u) = \frac{π^{x/2}}{Γ(x/2)}\, u^{x/2 - 1}\, du, \quad x > 0. \] The result is a rigidity statement: the Mellin--Gamma structure is forced by the axioms, without assuming analytic continuation, special functions, or a priori formulas. The proof reduces the scaling condition, via a logarithmic change of variables, to translation invariance on $\mathbb{R}$, where Haar measure uniqueness determines the measure up to normalization, which is fixed by the Gaussian integral. As a consequence, the Euclidean ball volume formula \[ V(x) = \frac{π^{x/2}}{Γ(x/2 + 1)} \] is recovered as the mass of the unit interval. We further analyze the induced dimension-shift structure, identifying two multiplicative cocycles whose ratio is a coboundary given by the dimension function $x$, and give an independent characterization via a shifted Bohr--Mollerup theorem.

2026-05-05T23:15:48Z 15 pages Andreu Ballus Santacana http://arxiv.org/abs/2605.04184v1 2026-05-05T18:24:16Z

The main purpose of this paper is to formulate new conditions for smooth linearization of nonautonomous systems with discrete and continuous time. Our results assume that the linear part admits a very general form of dichotomy known as $μ$-dichotomy and that the associated $μ$-dichotomy spectrum exhibits appropriate spectral gap and spectral band conditions. We observe that our notion of $μ$-dichotomy encompasses the classical notions of exponential, polynomial and logarithmic dichotomies as very particular cases. In particular, our result is in sharp contrast to most of the previous results in the literature which assumed that the linear part admits an exponential dichotomy. Our techniques exploit the relationship between $μ$-dichotomy and exponential dichotomy via a suitable reparametrization of time.

2026-05-05T18:24:16Z Lucas Backes Davor Dragicevic Wenmeng Zhang http://arxiv.org/abs/2605.03960v1 2026-05-05T16:43:15Z

We study two types of regularizations of the determinant of Laplacian on Riemann manifold from the viewpoint of resurgence theory. One is the formal logarithmic derivative of the determinant, and the other is its exponential deformation. Under appropriate conditions, the close formulas for both regularized determinant are established through Borel-Laplace resummation which takes into account the contribution of the singularities along the analytic continuation of Theta series $\hatΘ_{D_X}$. The series resembles the trace of the heat kernel, but is defined via the spectrum of the square-root of the Laplacian. As applications, we revisit the well known formal logarithmic derivative of determinant on $S^1$ and compact Riemann surface with higher genus ($\geq2$) corresponding to the Poisson summation formula and Selberg trace formula respectively. Furthermore, the 1-Gevrey asymptotic behavior of the exponential deformation regularization at infinity is considered whose coefficients are determined by the trace of the heat kernel. In the end, we establish the relationship between the two regularized determinants. In fact, they have the same derivatives when the deformation parameter tends to $0$ in exponentially deformed regularization.

2026-05-05T16:43:15Z 37 pages, 8 figures Wen Shen Shanzhong Sun http://arxiv.org/abs/2605.03917v1 2026-05-05T16:12:32Z

We study scalar dyadic refinement operators on R^2 of the form (Vf)(x,y) = sum_{(j,k) in Z^2} c_{j,k} f(2x-j, 2y-k), where only finitely many mask coefficients c_{j,k} are nonzero. Under a fixed support-window hypothesis, we prove that for every compactly supported continuous piecewise linear seed g:R^2->R, the iterates V^n g admit exact ReLU realizations of fixed width and depth O(n). This gives a first genuinely two-dimensional extension of the exact realization theory for refinement cascades. Using the one-dimensional exact loop-controller framework, the proof transports the tensor-product residual dynamics exactly on the product of two polygonal loops and reduces the remaining seam ambiguity to a final readout and selector step. The matrix cascade is then handled by a fixed-depth recursive block, and general compactly supported continuous piecewise linear seeds are reduced to a finite decomposition together with exact clamped gluing on the support window. This identifies the tensor-product dyadic case as a natural first multivariate instance of the loop-controller method for refinement iterates.

2026-05-05T16:12:32Z 22 pages, 2 figures Tsogtgerel Gantumur http://arxiv.org/abs/2603.26565v2 2026-05-05T15:44:45Z

We characterize the boundedness and compactness of dyadic paraproducts on local dyadic fractional Sobolev spaces, $H^s$. We apply this result to establish the algebra property for $H^s$ when $s \in (\frac{1}{2},1)$ and to deduce the boundedness and compactness of commutators with the Haar shift on $H^s$. Our conditions are stated in terms of new dyadic fractional $\text{BMO}^s$ and $\text{CMO}^s$ conditions involving the dyadic fractional Sobolev capacity, and our proof uses a new dyadic fractional version of the Carleson embedding theorem.

2026-03-27T16:27:23Z Updated title, included applications to commutators and the algebra property, and enhanced exposition. 22 pages Valentia Fragkiadaki Mishko Mitkovski Cody B. Stockdale http://arxiv.org/abs/2605.03679v1 2026-05-05T12:18:30Z

We show that knowing the decay of a function $f$ on a discrete set $Λ\subset\mathbb{R}$ and the decay of its Fourier transform $\hat{f}$ on a discrete set $M\subset\mathbb{R}$ is enough to determine the global decay of $f$ and $\hat{f}$, provided that $(Λ,M)$ is a supercritical pair in the sense of Kulikov, Nazarov, and Sodin. This decay transfer result leads to a discrete generalization of Morgan's uncertainty principle: it is enough to require $|f(λ)|\lesssim e^{-\frac{2}{p}Aπ|λ|^p}$ for all $λ\inΛ$ and $|\hat{f}(μ)|\lesssim e^{-\frac{2}{q}Aπ|μ|^q}$ for all $μ\in M$, where $(p,q)$ are Hölder conjugates, $A>|\cos(\frac{rπ}{2})|^\frac{1}{r}$, and $r:=\min\{p,q\}$. For $A=1$ and $p,q=2$, we also show that any such function must be a scaled Gaussian. This yields a discrete version of Hardy's uncertainty principle and resolves two questions posed by Ramos and Sousa.

2026-05-05T12:18:30Z 16 pages Torgeir Keun Lysen http://arxiv.org/abs/2605.01824v2 2026-05-05T09:32:58Z

In this paper, we explore the self-similarity of unions of self-similar sets and their translations. For $N \in \mathbb{N}$ and $0< β< 1/(N+1)$, let $Γ$ be the self-similar set generated by the IFS \[ \Big\{ φ_i(x)=βx + i \frac{1-β}{N}: i=0,1,\ldots, N \Big\}. \] We provide a complete characterization of translation vectors $\boldsymbol{t} =(t_0,t_1, \ldots, t_m) \in \mathbb{R}^{m+1}$ with $0=t_0 < t_1 < \cdots < t_m$ for which the union $\bigcup_{j=0}^m (Γ+t_j)$ is a self-similar set, by determining the existence of cycles in associated directed graphs. This extends the result of [Derong Kong, Wenxia Li, Zhiqiang Wang, Yuanyuan Yao, Yunxiu Zhang. On the union of homogeneous symmetric Cantor set with its translations. Math. Z., 2024]. Additionally, we present two types of self-similar sets for which the union with their translations cannot be self-similar.

2026-05-03T11:27:27Z 23 pages Zhiqiang Wang http://arxiv.org/abs/2605.03466v1 2026-05-05T07:52:16Z

Several important functions, including the gamma function, as well as several infinite sums, admit integral representations involving the Hankel contour. In addition, the large $t$ asymptotic analysis of several recently derived identities satisfied by the Riemann zeta function requires computing the asymptotic form of certain integrals which also involve the Hankel contour; these integrals depend on a real parameter, $α$. A rigorous asymptotic technique is presented here for computing such integrals to all orders. For certain values of $α$, the relevant formula, in addition to an asymptotic series of explicit terms, also contains a specific integral. It is shown that, remarkably, the leading order of this integral can be written in the form of the leading order of the Bleistein integral. The latter integral arises in the implementation of the classical steepest descent method in the case that the stationary point coincides with one of the boundary points of the integral under consideration.

2026-05-05T07:52:16Z 12 pages A. S. Fokas J. Lenells