Turán type oscillation inequalities in $L^q$ norm on the boundary of convex polygonal domains

2026-06-02T08:59:47Z

In 1939 Pál Turán and János Erőd initiated the study of lower estimations of maximum norms of derivatives of polynomials, in terms of the maximum norms of the polynomials themselves, on convex domains of the complex plane. As a matter of normalization they considered the family $\mathcal{P}_n(K)$ of degree $n$ polynomials with all zeros lying in the given convex, compact subset $K\Subset {\mathbb C}$. While Turán obtained the first results for the interval $I:=[-1,1]$ and the disk $D:=\{ z\in {\mathbb C}~:~ |z|\le 1\}$, Erőd extended investigations to other compact convex domains, too. The order of the optimal constant was found to be $\sqrt{n}$ for $I$ and $n$ for $D$. It took until 2006 to clarify that all compact convex \emph{domains} (with nonempty interior), follow the pattern of the disk, and admit an order $n$ inequality. For $L^q(\partial K)$ norms with any $1\le q <\infty$ we obtained order $n$ results for various classes of domains. Further, in the generality of all convex, compact domains we could show a $c n/\log n$ lower bound together with an $O(n)$ upper bound for the optimal constant. Also, we conjectured that all compact convex domains admit an order $n$ Turán type inequality. Here we prove this for all \emph{polygonal} convex domains and any $0< q <\infty$.

A theory of generalized Lamé curves

2026-06-02T07:53:14Z

We study the generalized Lam'e equation (GLE) on an elliptic curve $E$ with multiple regular singularities $\mathbf{p} = (p_i)_{i = 1}^r$ of weights $\mathbf{n} = (n_i)_{i = 1}^r$. By analyzing the locus admitting quasi-periodic solutions, we construct two fundamental algebraic curves: (i) The generalized Lam'e curve (GLC), $\mathcal{Y}_{\mathbf{n}, \mathbf{p}}$, which lies in an affine bundle over $\operatorname{Sym}^n E$ for total weight $n:=\sum n_i \in \mathbb{Z}_{\geq 0}$ and parametrizes generalized Hermite--Halphen ansatz solutions. (ii) The log-free curve, $V_{\mathbf{n}, \mathbf{p}}$, a non-complete intersection variety arising when all $n_i \in \frac{1}{2}\mathbb{N}$, which we prove is a reduced curve, confirming a conjecture of Wang. We analyze the GLC as an algebraic family over the pole configuration space. By studying the addition map$$σ\colon \operatorname{Sym}^n E \longrightarrow E,$$where we establish a generically finite, universal degree formula, we show that the geometry of boundary degenerations under pole collisions perfectly mirrors the tensor algebra of $\mathfrak{sl}_2(\mathbb{C})$-modules within the BGG category $\mathcal{O}$. This provides the local structural limits needed to establish the global flatness of the GLC. Furthermore, we develop a framework of twisted isomonodromic deformations and construct $(\mathbf{n}, \mathbf{p})$-deformed pre-modular forms parameterized by twisted monodromy data $(t,s)$. Their vanishing solves the underlying monodromy problem and factorizes along boundary strata, allowing an arbitrary configuration to be continuously deformed down to the classical Lam'e equation. Finally, using an asymptotic scaling technique, we completely solve the Treibich conjecture for $r=2$ symmetric pairs, extend it to $r \leq 4$, and propose a general formula enumerating symmetric finite-gap KdV potentials for all $r$.

On the Hausdorff dimension of graph of random vector-valued Weierstrass function

2026-06-02T06:17:34Z

Let $Θ=\{θ_n\}, Λ=\{λ_n\}$ be two sequences of independent and identically distributed uniform random variables on $[0,1]$. The random vector-valued Weierstrass function is given by $$ f_{Θ,Λ}(x)= \left( \sum_{n=0}^{\infty} a^n\cos\bigl(2π(b^n x+θ_n)\bigr),\ \sum_{n=0}^{\infty} a^n\sin\bigl(2π(b^n x+λ_n)\bigr) \right), \; x\in[0,1], $$ where $0 1$. The Hausdorff dimension of the graph of this function is proved to be $$\dim_H G(f_{Θ,Λ}) = \min\left\{-\frac{\log b}{\log a}, \, 3 +2\frac{\log a}{\log b}\right\} \quad \text{a.s.}$$

Weighted variational inequalities for the fractional Dunkl heat semigroup

2026-06-02T05:16:30Z

We investigate the convergence properties of the family of operators $$ \mathcal{T}_{\bf N} f(x)=\sum_{j=N_1}^{N_2} v_j\Bigl( e^{-a_{j+1}(-Δ_k)^s}f(x) - e^{-a_j(-Δ_k)^s}f(x) \Bigr), \qquad x\in\mathbb{R}^d, $$ where $\{e^{-t(-Δ_k)^s}\}_{t>0}$ denotes the fractional heat semigroup generated by the Dunkl Laplacian $Δ_k$. Here ${\bf N}=(N_1,N_2)\in\mathbb{Z}^2$, $N_1

Optimal constants of smoothing estimates for quantum harmonic oscillators

2026-06-02T03:06:30Z

We study optimal constants and extremizers of smoothing estimates for quantum harmonic oscillators. In particular, we establish harmonic oscillator analogues of free particle results due to Simon (1992), Bez and Sugimoto (2014), and Bez et al. (2015).

Identities and inequalities for integral transforms involving squares of the Bessel functions

2026-06-02T02:06:17Z

We consider an integral transform given by $T_ν f(s) := π\int_0^\infty rs J_ν(r s)^2 f(r) \, dr$, where $J_ν$ denotes the Bessel function of the first kind of order $ν$. As shown by Walther (2002, doi:10.1006/jfan.2001.3863), this transform plays an essential role in the study of optimal constants of smoothing estimates for the free Schrödinger equations on $\mathbb{R}^d$. On the other hand, Bez et al. (2015, doi:10.1016/j.aim.2015.08.025) studied these optimal constants using a different method, and obtained a certain alternative expression for $T_ν f$ involving the $d$-dimensional Fourier transform of $x \mapsto f(\lvert x \rvert)$ when $ν= k + d/2 - 1$ for $k \in \mathbb{N}$. The aims of this paper are to extend their identity for non-integer indices and to derive several inequalities from it.

Maximal inequalities for derivatives of spherical means

2026-06-01T23:07:56Z

We give an alternative formulation of Stein's maximal inequality for generalised spherical averages in terms of derivatives of standard spherical means: if \[ k \ge 0, \qquad d \ge 2 k + 3 , \qquad \frac{d}{d - k - 1} < p < \frac{d - 1}{k} , \] and $σ$ is the normalised surface measure on the unit sphere $\mathbb S$, then the maximal operator \[f \mapsto \sup_{r > 0} \, \biggl\lvert r^k (\tfrac{d}{dr})^k \int_{\mathbb S} f(\cdot + r y) σ(dy) \biggr\rvert\] is bounded on $L^p$, with a constant that is independent of the dimension $d$.

Vanishing of Witten zeta function at negative integers

2026-06-01T19:22:45Z

We introduce a new analytic method for studying Witten zeta function of a root system $Φ$, based on a refined manipulation of an integral representation involving the Hurwitz zeta function. As an application, we prove high-order vanishing at negative even integers. This technique also describes non-trivially, the arithmetic nature of the leading term, in which the highest root of $Φ$ makes a surprising appearance.

Mehler formula for Wronskians of Hermite polynomials

2026-06-01T15:50:06Z

We prove that the bilinear generating function for Wronskians of Hermite polynomials can be expressed as the classical Mehler kernel multiplied by a polynomial, thereby extending the result of Pupasov-Maksimov for exceptional Hermite polynomials. We establish several properties of the polynomials appearing in this extended version of the Mehler formula and present four conjectures about them.

Sharp sign uncertainty for trigonometric polynomials

2026-06-01T14:22:30Z

We study sign uncertainty principles for trigonometric polynomials of prescribed degree $N$ with respect to a symmetric Borel measure $μ$ on the unit circle $\mathbb{R}/\mathbb{Z}$. For each such measure, we determine the smallest radius of the last sign change for trigonometric polynomials with non-positive $μ$-integral. We further extend these results to polar measures on higher-dimensional spheres $\mathbb{S}^d$, showing that the extremal problem reduces to the one-dimensional case via the polar part of the measure, and we establish a polynomial analogue on $[0,1]$ using orthogonal polynomials on the real line.

Refined $L^p$ restriction estimate for eigenfunctions on Riemannian surfaces

2026-06-01T05:35:58Z

We refine the $L^p$ restriction estimates for Laplace eigenfunctions on a Riemannian surface, originally established by Burq, Gérard, and Tzvetkov. First, we establish estimates for the restriction of eigenfunctions to arbitrary Borel sets on the surface, following the formulation of Eswarathasan and Pramanik. We achieve this by proving a variable coefficient version of a weighted Fourier extension estimate of Du and Zhang. Our results naturally unify the $L^p(M)$ estimates of Sogge and the $L^p(γ)$ restriction bounds of Burq, Gérard, and Tzvetkov, and are sharp for all $p \geq 2$, up to a $λ^\varepsilon$ loss. Second, we derive sharp estimates for the restriction of eigenfunctions to tubular neighborhoods of a curve with nonvanishing geodesic curvature. These estimates are closely related to a variable-coefficient version of the Mizohata--Takeuchi conjecture, providing new insights into eigenfunction concentration phenomena.

Sharp weak bounds for the Hardy-Littlewood-Pólya operator and the weak bounds for the multilinear integral operator

2026-06-01T04:11:48Z

In this paper, we first obtain the operator norms of the $n$-dimensional Hardy-Littlewood-Pólya operator $\mathcal{H}$ from weighted Lebesgue spaces $L^p( \mathbb{R} ^n,| x |^β ) $ to weighted weak Lebesgue spaces $L^{q,\infty}(\mathbb{R} ^n,|x|^γ)$. Next, we obtain the weak bounds for the $m$-linear $n$-dimensional integral operator.

Multilinear extrapolation of compactness on mixed-norm spaces

2026-06-01T01:10:51Z

In this paper, we develop the Rubio de Francia extrapolation theorem for the multilinear compactness on mixed-norm Lebesgue spaces. More precisely, if a multilinear operator is bounded on weighted product spaces, then its compactness can be extrapolated from unweighted product spaces to the full range of weighted mixed-norm spaces. This result is mainly based on a multilinear interpolation theorem of compactness on weighted mixed-norm spaces, for which we present a characterization of compactness on mixed-norm spaces and a multilinear interpolation theorem of boundedness on multi-mixed-norm spaces. As applications of the extrapolation theorem, we obtain compactness results for several kinds of bi-parameter operators on weighted mixed-norm spaces, including multilinear bi-parameter Calderón-Zygmund operators, multilinear bi-parameter dyadic paraproducts, bilinear bi-parameter continuous paraproducts, and bilinear bi-parameter pseudo-differential operators.

Constructing Discontinuous but Locally Bounded Rational Functions using Łojasiewicz Inequalities

2026-05-31T20:48:24Z

For real multivariate polynomials $P$ and $Q$ both vanishing at a point, if the zero set of $Q$ is contained in the zero set of $P$, then there exists a rational function of the form $P^{p}/Q^{q}$ which is locally bounded and such that its extension that vanishes on the zero set of $Q$ is discontinuous. The proof uses inequalities of Lojasiewicz.

$q$-Selberg extensions of Gasper's two stage $q$-beta integrals

2026-05-31T10:19:39Z

Gasper gave a two-step extension of the Askey-Roy formula for a beta-integral type defined on the unit circle. This involved increasing the number of parameters and adding a balancing condition. We derive a multidimensional generalization of the final formula in Gasper's extension. By considering a two-step degeneration involving parameters our generalization becomes Tarasov-Varchenko's formula -- itself a multidimensional generalization of the original Askey-Roy formula. The proof is done by Aomoto's method. This generalized integration by parts strategy makes use of a class of functions known as the fundamental invariants of type $BC$.