Search arXivSearch

arXiv · 2505.24761

On Strong Markushevich bases $\{t^{λ_n}\}_{n=1}^{\infty}$ in their closed span in $L^2 (0, 1)$ and characterizing a subspace of $H^2 (\mathbb{D})$

Abstract

Let $Λ=\{λ_n\}_{n=1}^{\infty}$ be a strictly increasing sequence of positive real numbers such that $\sum_{n=1}^{\infty}\frac{1}{λ_n}<\infty$ and $\inf(λ_{n+1}-λ_n)>0$. We investigate properties of the closed span of the system $\{t^{λ_n}\}_{n=1}^{\infty}$ in $L^2 (0,1)$, denoted by $\overline{M_Λ}$, and of the unique biorthogonal family $\{r_n (t)\}_{n=1}^{\infty}$ to the system $\{t^{λ_n}\}_{n=1}^{\infty}$ in $\overline{M_Λ}$. We show that the system $\{t^{λ_n}\}_{n=1}^{\infty}$ is a strong Markushevich basis in $\overline{M_Λ}$ and we obtain a series representation for functions in $\overline{M_Λ}$. We also construct a general class of operators on $\overline{M_Λ}$ that admit spectral synthesis. In particular, for all $ρ\in (0,1)$ the operator $T_ρ(f)=f(ρx)$ on $\overline{M_Λ}$ admits spectral synthesis. In addition, we characterize a certain subspace of the classical Hardy space $H^2 (\mathbb{D})$. Under the extra assumption that $Λ\subset\mathbb{N}$, let $H^2(\mathbb{D}, Λ)$ consist of functions $f$ in $H^2(\mathbb{D})$ so that the Fourier coefficients $c_n$ of the boundary function $f(e^{iθ})$ vanish for all $n\notin Λ$. We prove that $f\in H^2(\mathbb{D}, Λ)$ if and only if $f\in\overline{M_Λ}$ and $\sum_{n=1}^{\infty}\left| \langle f, r_n\rangle \right|^2<\infty$, where $\langle f, g\rangle= \int_{0}^{1} f(t)\cdot \overline{g(t)}\, dt$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Elias Zikkos. 2025-05-30. On Strong Markushevich bases $\{t^{λ_n}\}_{n=1}^{\infty}$ in their closed span in $L^2 (0, 1)$ and characterizing a subspace of $H^2 (\mathbb{D})$. https://arxiv.org/abs/2505.24761

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

KEEP EXPLORING

Related papers

Conditional expectation operators on $C(X)$

At the COSAEF conference in 2021, several participants asked the question whether a conditional expectation operator in the sense of Kuo, Labaushagne and Watson could be constructed in vector lattices other than $\mathcal{L}_p$ spaces and in particular in $C(X)$. This work answers positively to this question and participates in an old discussion on integrals in $C(X)$ space.

math.FA

Hypercontractivity for a family of quantum Ornstein-Uhlenbeck semigroups

We show that a family of quantum Ornstein-Uhlenbeck semigroups is hypercontractive. We also obtain the optimal order of the optimal time up to a constant. The main ingredient of our proof is Meixner polynomials. The goal of this paper is twofold: to provide more examples of hypercontractive quantum Markov semigourps on non-tracial von Neumann algebras, and to determine the optimal order of the optimal time for quantum Ornstein-Uhlenbeck semigroups.

math.FA

Fixed Point Rigidity of the Operator $Γ_pΠ_p^\ast$ and the LYZ Conjecture

We characterize the fixed points of the operator $Γ_pΠ_p^\ast$ for $n\geq 3$ and $1 0$ if and only if $K$ is an origin-centered ellipsoid, thereby settling the Lutwak--Yang--Zhang fixed-point conjecture in this range. Our proof is based on a variational analysis along linear reflection shadow systems. To address the nonlinear structure of the $L_p$ setting, we introduce the $L_p$-Projection Rolodex, which provides a dimensional reduction of the volume of the polar $L_p$-projection body to weighted lower-dimensional sectional functionals. A suitable change of variables, together with Ball's harmonic Prékopa--Leindler inequality, yields the convexity needed along the shadow system. Under the fixed-point condition, a first-variation identity then forces $\operatorname{vol}_n(Π_p^\ast K_t)$ to remain constant throughout the deformation. The rigidity statement follows from the equality characterization under Steiner symmetrization.

math.FA