Dependence of the convergence domain of spectral expansions on the geometry of the set of discontinuity of the function being expanded (Q2473652): Difference between revisions

A simplest piecewise smooth function in \({\mathbb R}^n\) is a function of the form \(f(x) = \chi_D(x) g(x)\), where \(\chi_D\) is the characteristic (i.e., indicator) function of an open domain \(D\) whose boundary \(\Gamma\) is a smooth (\((n - 1)\)-dimensional) surface and \(g\) belongs to the Sobolev class \(W_2^l({\mathbb R}^n)\), for any positive integer \(l\). A piecewise smooth function is a finite linear combination of simplest piecewise smooth functions. Let \(f(x)\) be a piecewise smooth function and \(\widehat{f}(\xi)\) its Fourier transform. Consider the truncated Fourier expansion of \(f(x)\), namely \(E_{\lambda} f(x) = (2 \pi)^{-n/2} \int_{| \xi| ^2 < \lambda} \widehat{f}(\xi) e^{i x \xi} d\xi\) (notice that the operators \(E_{\lambda}\), \(\lambda \geq 0\) are the spectral projections associated to \(-\Delta\), acting on \(L_2({\mathbb R}^n)\)). For \(n \geq 3\), the author describes explicitly the open set in which \(E_{\lambda} f(x)\) converges uniformly to \(f(x)\) on compacts, as \(\lambda \to \infty\), in terms of the geometry of the set of discontinuities of \(f(x)\). He also answers the same question for the so-called \(s\)-order Riesz means of the truncated Fourier expansion of \(f(x)\).