Welcome to MathOverflow

Question

5

This should be a quick one, but so far books, my brain, and the internet have not produced a clear answer. Or maybe it's subtle and exposes a weakness in my understanding of FS!

Suppose $f(x)=\sum_{k\in\mathbb{Z}}c_ke^{ikx}$, whereby we mean pointwise convergence. What properties must $f(x)$ then satisfy? Clearly continuity is too strong (take for example an appropriately defined square wave). $L^1[-\pi,\pi]$ seems troublesome as well, since term-by-term integration is not necessarily valid with only pointwise convergence.

Thanks ahead for any tips!

flag	asked Nov 11 at 23:02 icurays1 53●4

2

@Yemon, what's wrong about the ambient class being all functions $S^1\to\mathbf{C}$? Therein the poster wants to characterize the set of all pointwise limits of pointwise convergent Fourier series. – Francois Ziegler Nov 12 at 0:50

1

Francois, how is one proposing to define the Fourier coefficients of $f$? Or is the question: "here is a doubly infinite series $(c_n)$ of complex numbers, such that for each $x\in [-\pi,\pi]$ the partial sums $\sum_{|k|\lq N} c_k e^{ikx}$ converge; what can we say about the resulting function $f:[-\pi,\pi] \to {\mathbb C}$?" – Yemon Choi Nov 12 at 1:19

3

As stated it seems that the question is not related to Fourier series or $L^1$, or any other a priori given class of functions. He seems to ask: suppose that SOME series of the form $\sum c_k\exp(ikx)$ is convergent at every point. What can one say about the sum? Do I understand correctly? – Alexandre Eremenko Nov 12 at 1:37

2

The context of the question was that of Fourier series, but I think the restatement by @Alexandre is appropriate. – icurays1 Nov 12 at 2:38

1

It may bear emphasis that various possible senses of the question have wildly different, and not strongly related, answers, and that some bit of confusion about this is evident in the question's language and form. E.g., the Fourier series of a square wave, or other piecewise smooth, but not smooth, function converges not-so-well at the discontinuity. Meanwhile, yes, of course $L^1$ has problems, its problems are arguably less severe than "mere pointwise-valued functions". (Francois Ziegler's cited survey paper is very interesting in the regard of to-me-pathologies, nevertheless!) Clarify? – paul garrett Nov 12 at 3:38

show 2 more comments

Francois Ziegler · Accepted Answer · 2012-11-25 02:50:36Z UTC

The function must be integrable in a certain sense defined by Denjoy and others. Here is an interesting survey paper on the subject:

One of the problems in the theory of trigonometric series $$\frac12a_0+\sum_{n=1}^\infty(a_n\cos nx+b_n\sin nx)\tag{1.1}$$ is that of suitably defining a trigonometric integral with the property that, if the series (1.1) converges everywhere to a function $f(x)$, then $f(x)$ is necessarily integrable and the coefficients, $a_n$ and $b_n$, given in the usual Fourier form. It is well known that a series may converge everywhere to a function which is not Lebesgue summable nor even Denjoy integrable (...) The problem has been solved by Denjoy [4; 5], Verblunsky [14], Marcinkiewicz and Zygmund [10], Burkill [1; 2], and James [8]. (...) The solutions are described, mainly in the order in which they were published, in §§2-7 below.

Weakest assumption for pointwise convergence of Fourier series

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.