Lebesgue constants of multi-dimensional partial Fourier sums

Let $f$ be an integrable function on $\mathbf{T} ^ { n }$, $\mathbf{T} = ( - \pi , \pi ]$, $n = 2,3 , \dots$, $2 \pi$-periodic in each variable. Consider its Fourier series $\sum _ { k } \hat { f } ( k ) e ^ { i k x }$, where $x = ( x _ { 1 } , \dots , x _ { n } ) \in {\bf T} ^ { n }$, $k = ( k _ { 1 } , \dots , k _ { n } ) \in \mathbf{Z} ^ { n }$, the lattice of points in $\mathbf{R}$ with integer coordinates, $k x = k _ { 1 } x _ { 1 } + \ldots + k _ { n } x _ { n }$, while

\begin{equation*} \hat { f } ( k ) = ( 2 \pi ) ^ { - n } \int _ { \text{T} ^ { n } } f ( x ) e ^ { - i k x } d x \end{equation*}

is the $k$th Fourier coefficient of $f$. No natural ordering of Fourier coefficients exists, thus the definition of a multi-dimensional partial Fourier sum presents many problems and points of interest intimately connected to geometry and number theory.

To indicate that the partial sum corresponds to a certain summation domain $B$, one denotes it by

\begin{equation*} S _ { B } ( f ; x ) = \sum _ { k \in B } \widehat { f } ( k ) e ^ { i k x }. \end{equation*}

Frequently, sums $S _ { N B }$ are considered, where $N B$ is the $N$th dilatation of a fixed set $B$; in many cases this is the most natural way of summation. An example of partial Fourier sums that are not of this kind are the rectangular partial sums. By $S _ { N }$ one denotes the partial Fourier sum when the dependence on the parameter $N$, either scalar or vectorial, is of primary importance. As is well-known, if the Fourier series of a continuous function fails to converge at each point, then the sequence of norms of the operators $S _ { N }$,

\begin{equation*} f ( x ) \mapsto S _ { N } ( f ; x ), \end{equation*}

taking $C ( \mathbf{T} ^ { n } )$ into $C ( \mathbf{T} ^ { n } )$ (or, equivalently, $L ^ { 1 } ( \mathbf T ^ { n } )$ into $L ^ { 1 } ( \mathbf T ^ { n } )$) is unbounded and measures the rate of divergence of the Fourier series.

This is strongly related to the behaviour of the Fourier transform of the indicator function of the summation domain $B$. For known results on this subject, see, e.g., [a11], [a13], [a18].

For the spherical partial Fourier sums $S _ { N } ( f ; x ) = \sum _ { |k| \leq N } \hat { f } ( k ) e ^ { i k x }$, where $| k | ^ { 2 } = k _ { 1 } ^ { 2 } + \ldots + k _ { n } ^ { 2 }$, the following order estimate holds: There exist positive constants $C _ { 1 }$, and $C _ { 2 }$, $C _ { 1 } < C _ { 2 }$, depending only on $n$, such that

\begin{equation} \tag{a1} C _ { 1 } N ^ { ( n - 1 ) / 2 } \leq \| S _ { N } \| \leq C _ { 2 } N ^ { ( n - 1 ) / 2 }. \end{equation}

The estimate from below has first appeared in [a14]; the method used there is the main tool for obtaining lower bounds for Lebesgue constants. Nothing is known about existence or non-existence of the limit of $\| S _ { N } \| / N ^ { ( n - 1 ) / 2 }$ as $N \rightarrow \infty$; this is the main open problem in the subject (as of 2000).

More general summation domains $B$ possessing properties of the spherical partial Fourier sums have been considered. E.g., in Yudin's estimate from above [a25], the summation domains $B$ are balanced (i.e., along with each point $x$ the whole set $\delta x$, $| \delta | \leq 1$, belongs to $B$), with finite upper Minkowski measure, that is,

\begin{equation*} \limsup_{\varepsilon \rightarrow 0} \frac { 1 } { \varepsilon } \text { meas } \{ x : \rho ( x , \partial B ) < \varepsilon \} < \infty, \end{equation*}

where $\rho ( x , \partial B ) = \operatorname { inf } _ { y \in \partial B } \rho ( x , y )$. These natural assumptions provide the bound $||S_{NB} ||< C N ^ { ( n - 1 ) / 2 }$. It turns out that to satisfy the same estimate from below, only local information is needed ([a17]): Let the boundary of a domain $B$ contain a simple (non-intersecting) piece of a surface of smoothness $[ ( n + 2 ) / 2 ]$ in which there is at least one point with non-vanishing principal curvatures (cf. also Principal curvature). Then there exists a positive constant $C$, depending only on $B$, such that $\| S_{NB} \| \leq CN^ { ( n - 1 ) / 2 }$ for $N$ large.

The estimates in the spherical case and its generalizations are the worst possible if $B$ is compact. Once $B$ has a point with non-vanishing principal curvatures, the Lebesgue constants are that "bad" . The other side of the scale is called "polyhedral" and is of "logarithmic nature" . Only some natural restrictions have to be put on polyhedra $B$, for example, the hyperplanes that define the sides of the polyhedron do not contain the origin. In that case there exist two positive constants $C _ { 1 }$ and $C _ { 2 }$, $C _ { 1 } < C _ { 2 }$, such that for each such polyhedron $B$:

\begin{equation} \tag{a2} C _ { 1 } \operatorname { ln } ^ { n } N \leq \| S _ { N B } \| \leq C _ { 2 } \operatorname { ln } ^ { n } N. \end{equation}

Actually, this was proved by E. Belinsky [a6].

There are two important problems concerning the polyhedral case. The first is: Can partial Fourier sums have Lebesgue constants with an intermediate rate of growth (i.e. between (a1) and (a2))? Some trivial solutions were suggested in [a26], where an intermediate growth is achieved by the product of the two mentioned situations. Of course, this is possible only for dimension three and greater. Thus, the problem is to find one for dimension two. It is clear that in this case the boundary can possess no point with non-vanishing curvature. On the other hand, any polyhedron matches (a2). Thus, the solution can only be a (convex) "polyhedron" with infinitely many specially located sides. Such a solution was constructed by A. Podkorytov [a21].

The next question also seems very natural: Is it possible to have a certain asymptotic relation instead of the order estimate (a2)? For rectangular partial sums some special cases were investigated by I. Daugavet [a9] and O. Kuznetsova [a15]. For the sequence of dilated summation domains, an unexpected result was obtained by Podkorytov [a22]. Here $n = 2$ also causes the main difficulties. There are two main cases. In the first one, the polygons $B$ with sides of rational slopes are dealt with — then the estimates change insignificantly if only one considers instead of sums the corresponding integrals, that is, the Fourier transform of the indicator function of the $N$-dilation of the corresponding set $B$. This allows one to obtain logarithmic asymptotics; namely, the values $\| S _ { N B } \|$, $\operatorname { ln } ^ { 2 } N$ and $\int _ { \mathbf{T} ^ { 2 } } | \hat { \chi }_{ NB} ( x ) | d x$ are equivalent. When at least one of the slopes is irrational, the situation changes qualitatively: The upper limit and the lower limit of the ratio $\|S_{NB}\| /\operatorname { ln } ^ { 2 } N$, as $N \rightarrow \infty$, may differ. In [a22] and [a20], quantitative estimates of this phenomenon as well as open problems are given.

The paper [a4] started the interest in various questions of approximation theory and Fourier analysis in ${\bf R} ^ { n }$ connected with the study of hyperbolic cross partial Fourier sums (see, e.g., [a24] and Hyperbolic cross). The exact order of growth of their Lebesgue constants, $N ^ { ( n - 1 ) / 2 }$, the same as in the spherical case, was established in the two-dimensional case independently in [a5] and in [a27], and afterwards was generalized to the case of arbitrary dimension in [a16].

Step hyperbolic crosses $H _ { N }$ were introduced by B. Mityagin [a19] and are defined as follows (cf. also Step hyperbolic cross): $H _ { N } = \cup \left\{ m \in \mathbf{Z} ^ { n } : 2 ^ { s_j } \leq | m _ { j } | < 2 ^ { s_ j + 1} \right\}$ for $s \in \mathbf{Z}_+ ^ { n }$ such that $0 \leq s _ { 1 } + \ldots + s _ { n } \leq N$. These have many important applications too. Belinsky [a8] proved that there exist two positive constants $C _ { 1 }$ and $C _ { 2 }$, $C _ { 1 } < C _ { 2 }$, such that $C _ { 1 } N ^ { n + ( n - 1 ) / 2 } \leq \| S _ { H _ { N } } \| \leq C _ { 2 } N ^ { n + ( n - 1 ) / 2 }$.

When $B$ is unbounded, it may happen that the operator $S _ { B }$ is unbounded even for fixed $B$. It is proved in [a3] that the Lebesgue constants $\| S _ { N B } \|$ are either of the usual order of growth or infinite for all values of the parameter $N > N_0$, where $B$ is a hyperbolic cross, depending on whether the hyperbolic cross is turned at a rational or irrational angle, respectively. For $n = 2$, this was earlier obtained in [a7], which also contains similar results for the strip to be a summation domain.

For other results on Lebesgue constants and related topics, see [a1], [a2], [a10], [a12], [a18], [a23], [a28], [a29].

The ideas used to prove many of the results discussed above have also been applied to estimates of the Lebesgue constants of linear means of multiple Fourier series.

Some results are known for Lebesgue constants in more abstract settings, e.g., for spherical harmonics expansions or Fourier series on compact Lie groups.

References

[a1]	Sh.A. Alimov, R.R. Ashurov, A.K. Pulatov, "Multiple Fourier series and Fourier integrals" V.P. Khavin (ed.) N.K. Nikolskii (ed.) , Commutative Harmonic Analysis IV , Enc. Math. Sci. , 42 , Springer (1992) pp. 1–95 Itogi Nauki i Tekhn. VINITI Akad. Nauk. SSSR , 42 (1989) pp. 7–104
[a2]	Sh.A. Alimov, V.A. Ilyin, E.M. Nikishin, "Convergence problems of multiple Fourier series and spectral decompositions, I, II" Russian Math. Surveys , 31/32 (1976/77) pp. 29–86; 115–139 Uspekhi Mat. Nauk. , 31/32 (1976/77) pp. 28–83; 107–130
[a3]	E.S. Belinskii, E.R. Liflyand, "Behavior of the Lebesgue constants of hyperbolic partial sums" Math. Notes , 43 (1988) pp. 107–109 Mat. Zametki , 43 (1988) pp. 192–196
[a4]	K.I. Babenko, "Approximation by trigonometric polynomials in a certain class of periodic functions of several variables" Soviet Math. Dokl. , 1 (1960) pp. 672–675 Dokl. Akad. Nauk. SSSR , 132 (1960) pp. 982–985
[a5]	E.S. Belinsky, "Behavior of the Lebesgue constants of certain methods of summation of multiple Fourier series" , Metric Questions of the Theory of Functions and Mappings , Nauk. Dumka, Kiev (1977) pp. 19–39 (In Russian)
[a6]	E.S. Belinsky, "Some properties of hyperbolic partial sums" , Theory of Functions and Mappings , Nauk. Dumka, Kiev (1979) pp. 28–36 (In Russian)
[a7]	E.S. Belinsky, "On the growth of Lebesgue constants of partial sums generated by certain unbounded sets" , Theory of Mappings and Approximation of Functions , Nauk. Dumka, Kiev (1983) pp. 18–20 (In Russian)
[a8]	E.S. Belinsky, "Lebesgue constants of step hyperbolic partial sums" , Theory of Mappings and Approximation of Functions , Nauk. Dumka, Kiev (1989) pp. 23–27 (In Russian)
[a9]	I.K. Daugavet, "On the Lebesgue constants for double Fourier series" Meth. Comput., Leningrad Univ. , 6 (1970) pp. 8–13 (In Russian)
[a10]	M. Dyachenko, "Some problems in the theory of multiple trigonometric series" Russian Math. Surveys , 47 : 5 (1992) pp. 103–171 Uspekhi Mat. Nauk. , 47 : 5 (1992) pp. 97–162
[a11]	I.M. Gelfand, M.I. Graev, N.Ya. Vilenkin, "Generalized functions 5: Integral geometry and problems of representation theory" , Acad. Press (1966)
[a12]	B.I. Golubov, "Multiple Fourier series and integrals" J. Soviet Math. , 24 (1984) pp. 639–673 Itogi Nauki i Tekhn. VINITI Akad. Nauk. SSSR , 19 (1982) pp. 3–54
[a13]	C.S. Herz, "Fourier transforms related to convex sets" Ann. of Math. , 2 : 75 (1962) pp. 81–92
[a14]	V.A. Ilyin, "Problems of localization and convergence for Fourier series in fundamental systems of the Laplace operator" Russian Math. Surveys , 23 (1968) pp. 59–116 Uspekhi Mat. Nauk. , 23 (1968) pp. 61–120
[a15]	O.I. Kuznetsova, "The asymptotic behavior of the Lebesgue constants for a sequence of triangular partial sums of double fourier series" Sib. Math. J. , 18 (1977) pp. 449–454 Sibirsk. Mat. Zh. , XVIII (1977) pp. 629–636
[a16]	E.R. Liflyand, "Exact order of the Lebesgue constants of hyperbolic partial sums of multiple Fourier series" Math. Notes , 39 (1986) pp. 369–374 Mat. Zametki , 39 (1986) pp. 674–683
[a17]	E.R. Liflyand, "Sharp estimates of the Lebesgue constants of partial sums of multiple Fourier series" Proc. Steklov Inst. Math. , 180 (1989) pp. 176–177 Trudy Mat. Inst. V.A. Steklov. , 180 (1987) pp. 151–152
[a18]	E.R. Liflyand, A.G. Ramm, A.I. Zaslavsky, "Estimates from below for Lebesgue constants" J. Fourier Anal. Appl. , 2 (1996) pp. 287–301
[a19]	B.S. Mityagin, "Approximation of functions in $L ^ { p }$ and $C$ spaces on the torus" Mat. Sb. (N.S.) , 58 (100) (1962) pp. 397–414 (In Russian)
[a20]	F. Nazarov, A. Podkorytov, "On the behavior of the Lebesgue constants for two-dimensional Fourier sums over polygons" St.-Petersburg Math. J. , 7 (1995) pp. 663–680 Algebra i Anal. , 7 (1995) pp. 214–238
[a21]	A.N. Podkorytov, "Intermediate rates of growth of Lebesgue constants in the two–dimensional case" J. Soviet Math. , 36 (1987) pp. 276–282 Numerical Methods and Questions on the Organization of Calculations, Part 7 Notes Sci. Sem. Steklov Inst. Math. Leningrad. Branch Acad. Sci. USSR, Nauka, Leningrad , 139 (1984) pp. 148–155
[a22]	A.N. Podkorytov, "Asymptotic behavior of the Dirichlet kernel of Fourier sums with respect to a polygon" J. Soviet Math. , 42 (1988) pp. 1640–1646 Zap. Nauchn. Sem. LOMI , 149 (1986) pp. 142–149
[a23]	E.M. Stein, G. Weiss, "Introduction to Fourier analysis on Euclidean spaces" , Princeton Univ. Press (1971)
[a24]	V.N. Temlyakov, "Approximation of periodic functions" , Nova Sci. (1993)
[a25]	V.A. Yudin, "Behavior of Lebesgue constants" Math. Notes , 17 (1975) pp. 369–374 Mat. Zametki , 17 (1975) pp. 401–405
[a26]	V.A. Yudin, "A lower bound for Lebesgue constants" Math. Notes , 25 (1979) pp. 63–65 Mat. Zametki , 25 (1979) pp. 119–122
[a27]	A.A. Yudin, V.A. Yudin, "Discrete imbedding theorems and Lebesgue constants" Math. Notes , 22 (1977) pp. 702–711 Mat. Zametki , 22 (1977) pp. 381–394
[a28]	L.V. Zhizhiashvili, "Some problems in the theory of simple and multiple trigonometric and orthogonal series" Russian Math. Surveys , 28 (1973) pp. 65–127 Uspekhi Mat. Nauk. , 28 (1973) pp. 65–119
[a29]	L.V. Zhizhiashvili, "Some problems of multidimensional harmonic analysis" , Tbilisi State Univ. (1996) (In Russian) (Edition: Second)