Some spherical uniqueness theorems for multiple trigonometric series

DOI10.2307/121110MaRDI QIDQ1972067zbMATH OpenOpenAlexFDO

Publication date 9 February 2001

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0008031, https://eudml.org/doc/120799, http://www.math.princeton.edu/~annals/issues/2000/151_1.html

zbMATH Keywords

harmonic Laplacian multiple trigonometric series spherical Abel summability spherical convergence subharmonic uniqueness

Mathematics Subject Classification ID

Uniqueness of trigonometric expansions, uniqueness of Fourier expansions, Riemann theory, localization (42A63) Fourier series and coefficients in several variables (42B05) Summability in several variables (42B08) Multipliers for harmonic analysis in several variables (42B15)

Abstract: We prove that if a multiple trigonometric series is spherically Abel summable everywhere to an everywhere finite function

f (x)

which is bounded below by an integrable function, then the series is the Fourier series of

f (x)

if the coefficients of the multiple trigonometric series satisfy a mild growth condition. As a consequence, we show that if a multiple trigonometric series is spherically convergent everywhere to an everywhere finite integrable function

f (x)

, then the series is the Fourier series of

f (x)

. We also show that a singleton is a set of uniqueness. These results are generalizations of a recent theorem of J. Bourgain and some results of V. Shapiro.

Review text

The following uniqueness theorem is proved for the multiple trigonometric series \[ \sum_{k\in\mathbb Z^n}a_k e^{ikx},\tag{1} \] where the coefficients \(a_k\) are arbitrary complex numbers and \(kx=k_1x_1+ \cdots+k_nx_n.\) Denote \(|k|^2=k_1^2+\cdots+k_n^2.\) Theorem. Suppose that 1. the coefficients \(a_k\) satisfy \[ \sum_{R/2\leq|k|<R}|a_k|^2=o(R^2)\quad\text{as} \;R\to\infty;\tag{2} \] 2. \(f^*(x)\) and \(f_*(x),\) \(\limsup\) and \(\liminf\) of the Abel means of (1), respectively, are finite for all \(x;\) 3. \(\min\{\text{Re}f_*(x), \text{Im}f_*(x)\}\geq A(x)\in L^1(\mathbb T^n).\) Then \(f_*\in L^1(\mathbb T^n)\) and (1) is its Fourier series. This result and its consequences are generalizations of results of V. Shapiro and a recent result of J. Bourgain. Condition (2) is more general than that used by B. Connes for the multidimensional extension of the Cantor-Lebesgue theorem. For several dimensions, this range of problems is far from being complete, and the paper under review is an important step forward.

Recommendations

Cited in

(16)

This page was built for publication: Some spherical uniqueness theorems for multiple trigonometric series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1972067)