Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
Reverse Mathematics for Fourier Expansion

Edit abstract data

Speaker: Keita Yokoyama
Slot: Tue, 11:00-11:20, Amphitheater A (col. 1)

Abstract

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 Valid HTML 4.01! Valid CSS!