Twierdzenie Riesza-Fischera

Twierdzenie Riesza-Fischera – twierdzenie analizy harmonicznej mówiące, że każdy ciąg liczb zespolonych sumowalny z kwadratem jest ciągiem współczynników Fouriera pewnej funkcji całkowalnej z kwadratem, określonej na przedziale [ π , π ] . {\displaystyle [-\pi ,\pi ].} Teoria została dowiedziona niezależnie przez węgierskiego matematyka Frigyesa Riesza w 1907 oraz Ernsta Sigismunda Fischera w 1908[1].

Teoria Riesza-Fischera początkowo była teorią związaną jedynie z szeregami Fouriera, pokazuje jednak dużą wagę całki Lebesgue’a oraz jednocześnie dała nowy początek analizie funkcjonalnej[2].

Definicja

Jeżyli mamy ortogonalny oraz normalny system funkcji ϕ k ( x ) , {\displaystyle \phi _{k}(x),} które są całkowalne z kwadratem w sensie Lebesgue’a.

To znaczy spełniające warunek:

| f ( x ) | 2 d x < . {\displaystyle \int _{-\infty }^{\infty }|f(x)|^{2}\,\mathrm {d} x<\infty .}

Wtedy każdy ciąg liczb rzeczywistych a i R {\displaystyle a_{i}\in \mathbb {R} } spełniających warunek a i 2 < {\displaystyle \sum a_{i}^{2}<\infty } implikuje istnienie innej funkcji f ( x ) , {\displaystyle f(x),} która spełnia warunek:

f ( x ) ϕ i ( x ) = a i {\displaystyle \int f(x)\phi _{i}(x)=a_{i}} dla każdego i . {\displaystyle i.}

Stosując uogólnienie całkowania, można stwierdzić, że dla każdego elementu l 2 {\displaystyle l^{2}} istnieje odpowiednia funkcja, której współczynniki Fouriera są wektorami w l 2 {\displaystyle l^{2}} [3].

Przypisy

  1. Pogorzelski 1953 ↓, s. 90.
  2. „Historia Mathematica”. 2, s. 591–594, 1975. DOI: 10.1016/0315-0860(75)90126-3. ISSN 0315-0860. 
  3. Jahnke 2003 ↓, s. 398–399.

Bibliografia

  • Hans Niels Jahnke: A history of analysis. Providence, RI: American Mathematical Society, 2003. ISBN 0-8218-2623-9. OCLC 51607350.
  • Witold Pogorzelski: Równania całkowe i ich zastosowania. Tom 1. Państwowe Wydawnictwo Naukowe, 1953.
Encyklopedie internetowe (twierdzenie):