arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.24953

On the frequency function of periodic quasianalytic and non-quasianalytic functions

Carlos Garzón·José Madrid
View original source ↗Read source document ↗Export metadata ↓

Abstract

For a real-valued continuous periodic function $f$, let \[ A_r f(x)=\frac{1}{2r}\int_{x-r}^{x+r}f(t)\,dt,\qquad A_0f(x)=f(x), \] and let $r_f(x)$ be the smallest radius at which $\sup_{r\geq 0}A_r f(x)$ is attained. We call $r_f$ the frequency function of $f$. Steinerberger proved that a two-valued condition involving both $r_f$ and $r_{-f}$ characterizes a single sinusoidal function, and asked if the same result holds under the assumption that $r_f$ has finite range (or even range with Lebesgue measure zero). In this paper, we prove that a stronger finite-valued condition for $r_f$ characterizes a sinusoidal function for the case when $f$ is periodic, smooth, and belongs to a quasianalytic Denjoy-Carleman class. However, we also show that the conjecture of Steinerberger is not true in general, since we can construct non-sinusoidal periodic smooth functions in non-quasianalytic Denjoy-Carleman classes such that their frequency functions have finite range.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Carlos Garzón, José Madrid. 2026-10-18. On the frequency function of periodic quasianalytic and non-quasianalytic functions. https://arxiv.org/abs/2610.24953

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Positive Cubature Compression and Optimal Hyperinterpolation Stability on a Conic Surface

We study the computational cost and stability of positive cubature and hyperinterpolation on a truncated conic surface with a Jacobi-type weight. A classical quadratic disk-to-cone map is formulated as a measure-preserving $\mathbb Z_2$ quotient. It identifies degree-$m$ conic traces with even disk polynomials of degree at most $2m$ and gives a two-way correspondence between positive degree-$2n$ cone cubature and centrally symmetric positive degree-$(4n+1)$ disk cubature. Consequently, Möller's lower bound and the node excess above it transfer exactly, producing compressed non-product cone rules from near-minimal disk formulas. The quotient also transfers reproducing kernels and hyperinterpolation operators. Every positive degree-$2n$ cone rule yields an exact $L^2$ sampling isometry on $Π_n(V)$, so the weighted sampling matrix has condition number one, independently of the number and geometry of its nodes. The associated Lebesgue constants satisfy the rule-independent bound $Λ_{n,γ}^V\ge c_γn^{γ+1}$ for every $γ>-1$. For nonnegative half-integer $γ$, the matching upper bound holds, giving the sharp universal order $Λ_{n,γ}^V\asymp n^{γ+1}$; in particular, $Λ_n^V\asymp n$ when $γ=0$. Thus node compression preserves exact $L^2$ conditioning and, in this parameter range, optimal-order $L^\infty$ stability. Low-degree near-minimal rules and higher-degree optimized disk schemes illustrate the reduction in sampling cost.

math.CA↗
arXiv2026

A Sharp Lower Bound for Integral Menger Curvature

We prove that round circles $C_L$ are the unique minimisers of integral Menger curvature among embedded closed $C^1$ curves $γ$ of prescribed length $L$ for every $p\geq 2$, i.e. $M_p(C_L) \leq M_p(γ)$, with equality if and only if $γ$ parametrises a round circle. The proof combines a three-point symmetrisation, an analysis of diagonal truncations, and the periodic Wirtinger inequality. For $p>3$, known self-avoidance and regularity results extend the minimisation result to closed rectifiable curves without assuming embeddedness or smoothness, provided the length of the curve image equals $L$. In particular, $M_p$ detects the unknot and is basic for $p>3$, thereby answering a question posed repeatedly in the literature.

math.CA↗
arXiv2026

The $(n-2)$-linear restriction estimate in $\mathbb R^n$

We present a proof for the $(n-2)$-linear extension estimate for curved surfaces in $\mathbb{R}^n$, $n\ge5$, at the local product exponent $2(n-1)/(n-2)^2$, with an arbitrarily small power loss. The hypotheses are transversality of the normals and nondegeneracy of the compressed shape operators on their common two-dimensional orthogonal complement. The argument combines polynomial partitioning, a descent through algebraic varieties, localized multilinear restriction, and positive packet-energy estimates.

math.CA↗