Approximations in L^1 with convergent Fourier series

Publication date 17 November 2021

Abstract: For a separable finite diffuse measure space

m a t h c a l M

and an orthonormal basis

v a r p h i_{n}

of

L^{2} (m a t h c a l M)

consisting of bounded functions

v a r p h i_{n} i n L^{i} n f t y (m a t h c a l M)

, we find a measurable subset

E s u b s e t m a t h c a l M

of arbitrarily small complement

| m a t h c a l M s e t m i n u s E | < e p s i l o n

, such that every measurable function

f i n L^{1} (m a t h c a l M)

has an approximant

g i n L^{1} (m a t h c a l M)

with

g = f

on

E

and the Fourier series of

g

converges to

g

, and a few further properties. The subset

E

is universal in the sense that it does not depend on the function

f

to be approximated. Further in the paper this result is adapted to the case of

m a t h c a l M = G / H

being a homogeneous space of an infinite compact second countable Hausdorff group. As a useful illustration the case of

n

-spheres with spherical harmonics is discussed. The construction of the subset

E

and approximant

g

is sketched briefly at the end of the paper.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Approximations in \(L^1\) with convergent Fourier series