Reprezentacja funkcji okresowej w szeregu

Istnienie i ciągłość funkcji granicznej, jednostajna zbieżność. Zmiana kolejności przejścia granicznego. Różniczkowanie i całkowanie szeregów. Istnienie i zbieżność rozwinięć Taylora, Maclaurina, Fouriera itd.
Piotr Rutkowski
Użytkownik
Użytkownik
Posty: 2234
Rejestracja: 26 paź 2006, o 18:08
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 22 razy
Pomógł: 390 razy

Reprezentacja funkcji okresowej w szeregu

Post autor: Piotr Rutkowski »

Witam,

Po długim czasie bez matematyki sporo już się zapomniało z analizy. Poniższe stwierdzenie (może oczywiste) znalazłem bez dowodu w książce, którą ostanio czytałem:

Niech \(\displaystyle{ f:\mathbb{R}\rightarrow \mathbb{C}}\) będzie funkcją całkowalną spełniającą warunek:
\(\displaystyle{ f(x+2\pi)=f(x)}\)
Oznaczmy ciąg \(\displaystyle{ c_{n}}\) jako
\(\displaystyle{ c_{n}=\frac{1}{\sqrt{2\pi}}\int_{0}^{2\pi}f(x)e^{-inx}dx}\)
Pokazać, że
\(\displaystyle{ f(x)=\sum_{n=-\infty}^{+\infty}c_{n}\frac{e^{inx}}{\sqrt{2\pi}}}\)

Pozdr
Awatar użytkownika
Adam-m
Użytkownik
Użytkownik
Posty: 17
Rejestracja: 8 kwie 2018, o 19:11
Płeć: Mężczyzna
Lokalizacja: Legnica
Podziękował: 2 razy
Pomógł: 3 razy

Re: Reprezentacja funkcji okresowej w szeregu

Post autor: Adam-m »

Weźmy dwie funkcje całkowalne w sensie Riemanna, ciągłą \(\displaystyle{ f}\) i funkcję \(\displaystyle{ g}\) taką że
\(\displaystyle{ g(x)=f(x)}\) dla \(\displaystyle{ x \neq \dots, -2\pi, 0, 2\pi, \dots}\) i \(\displaystyle{ g(x) \neq f(x)}\) dla \(\displaystyle{ x = \dots, -2\pi, 0, 2\pi, \dots}\)
Wtedy teza jest fałszywa
Prawdopodobnie chodziło o równość prawie wszędzie
Wasilewski
Użytkownik
Użytkownik
Posty: 3921
Rejestracja: 10 gru 2007, o 20:10
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 36 razy
Pomógł: 1194 razy

Reprezentacja funkcji okresowej w szeregu

Post autor: Wasilewski »

Wtedy to też nie jest prawda: Kołmogorow skonstruował całkowalną funkcję, której szereg Fouriera jest wszędzie rozbieżny. Jeśli założymy, że wyjściowa funkcja \(\displaystyle{ f}\) należy do \(\displaystyle{ L^{p}}\) dla pewnego \(\displaystyle{ p>1}\), to wtedy szereg jest zbieżny prawie wszędzie (twierdzenie Carlesona-Hunta). Jest dużo klasycznych kryteriów na punktową zbieżność, na przykład gdy funkcja jest Lipchitzowska (a nawet tylko Hölderowska).
ODPOWIEDZ