Searcharxiv⌕ Search

arXiv · 0707.1368

Generalized Bounded Variation and Inserting point masses

Abstract

Let $dμ$ be a probability measure on the unit circle and $dν$ be the measure formed by adding a pure point to $dμ$. We give a simple formula for the Verblunsky coefficients of $dν$ based on a result of Simon. Then we consider $dμ_0$, a probability measure on the unit circle with $\ell^2$ Verblunsky coefficients $(α_n (dμ_0))_{n=0}^{\infty}$ of bounded variation. We insert $m$ pure points to $dμ$, rescale, and form the probability measure $dμ_m$. We use the formula above to prove that the Verblunsky coefficients of $dμ_m$ are in the form $α_n(dμ_0) + \sum_{j=1}^m \frac{\ol{z_j}^{n} c_j}{n} + E_n$, where the $c_j$'s are constants of norm 1 independent of the weights of the pure points and independent of $n$; the error term $E_n$ is in the order of $o(1/n)$. Furthermore, we prove that $dμ_m$ is of $(m+1)$-generalized bounded variation - a notion that we shall introduce in the paper. Then we use this fact to prove that $\lim_{n \to \infty} \vp_n^*(z, dμ_m)$ is continuous and is equal to $D(z, dμ_m)^{-1}$ away from the pure points.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Manwah Lilian Wong. 2008-09-28. Generalized Bounded Variation and Inserting point masses. https://arxiv.org/abs/0707.1368

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

KEEP EXPLORING

Related papers

Reverse square function estimates for degenerate curves and their applications

Building on the classical work of Córdoba--Fefferman and the recent work of Schippa, we establish $L^4$ reverse square function estimates for functions whose Fourier support is contained in a $δ$-neighborhood of the curve $\{(ξ,|ξ|^a): |ξ|\leq 1\}$ in $\mathbb{R}^2$, for all exponents $a\in(0,\infty)\backslash\{1\}$. As applications, we derive sharp $L^4$ Strichartz estimates on the one-dimensional torus for fractional Schrödinger equations and establish new local smoothing estimates in modulation spaces. In the latter application, orthogonal Strichartz-type estimates also play a crucial role.

math.CA↗

Gaussian rigidity and width of measures

Given $0\le m<n$ and a positive Radon measure $μ$ on $\mathbb R^n$ with at most polynomial growth, assume that it has finite $m$-dimensional Gaussian discrepancy, defined as $$\mathcal D(μ):=\limsup_{R\to\infty}\Bigl[R^2\sup_{x\in\mathrm{spt}μ}|G_R^μ(x)-1|\Bigr],$$ where $G_R^μ(x):=(4πR^2)^{-m/2}\int_{\mathbb R^n} e^{-|z-x|^2/(4R^2)}\,dμ(z)$. Provided that $μ$ admits a flat blow-down $\mathcal H^m\llcorner V$ (an assumption that cannot be dropped entirely), we prove that there exists a finite (smallest) $0\leδ<\infty$, the so-called width of $μ$, such that $$\mathrm{spt}μ\subseteq \bar B_δ(V+x_0),\quad δ^2\le C(m,n)\mathcal{D}(μ),$$ where $\bar B_δ(V+x_0)$ denotes the closed $δ$-neighborhood of a suitable translate of $V$. Note that the exponent is optimal because of scale invariance. In particular, when $\mathcal D(μ)=0$, the support of $μ$ is included in an $m$-dimensional affine plane. We use this fact to give a simpler proof of Preiss's rectifiability theorem: while still based on Gaussian averages of $μ$, this new proof avoids showing uniqueness (and hence conicality) of blow-downs of $m$-uniform measures, as well as studying Gaussian-weighted moments beyond second order. The strategy of proof consists of an anisotropic blow-down of $μ$, followed by an analysis of the resulting Young measure, using a rigidity lemma involving the heat semigroup.

math.CA↗

Fourier decay and endpoint estimates for lacunary maximal operators

We study endpoint estimates for lacunary maximal operators associated with compactly supported measures. For every $d\geq1$, we construct a compactly supported, absolutely continuous probability measure on $\mathbb R^d$ with polynomial Fourier decay whose associated lacunary maximal operator fails to map $H^1(\mathbb R^d)$ boundedly into $L^{1,\infty}(\mathbb R^d)$. In particular, it fails to be of weak type $(1,1)$. This gives a negative answer to the weak type $(1,1)$ question posed by Seeger and Wright in 2011 and to Open Problems 14 and 15, contributed by Wright at the 2016 Conference in Harmonic Analysis, held at the University of Wisconsin--Madison in honor of Professor Michael Christ.

math.CA↗