Computability in Europe 2006
Logical Approaches to Computational Barriers

Regular Talk:
Reverse Mathematics for Fourier Expansion

Speaker: Keita Yokoyama
Slot: Array, 11:00-11:20, col. 1


This research is motivated by the program of Reverse Mathematics.
We investigate some theorems for the convergence of Fourier series within some
weak subsystems of second order arithmetic, in order to determine which set
existence axioms are needed to prove these theorems.
We show that uniformly convergence of Fourier series for C^1-functions and
L^2-convergence of Fourier series for continuous functions are equivalent to
WKL_0 over RCAo_0.  We also show that L^2-convergence of Fourier series for
bounded continuous functions is equivalent to WWKL_0 over RCA_0.

websites: Arnold Beckmann 2008-05-19