Całkowalność Riemanna a Lebesgue'a

Sigma-ciała i zbiory borelowskie. Miary, miary zewnętrze i miara Lebesgue'a. Funkcje mierzalne. Całka Lebesgue'a. Inne zagadnienia analizy rzeczywistej.
Rokush
Użytkownik
Użytkownik
Posty: 53
Rejestracja: 21 sty 2019, o 03:24
Płeć: Mężczyzna
Lokalizacja: Gdynia
Podziękował: 4 razy

Całkowalność Riemanna a Lebesgue'a

Post autor: Rokush »

Mam takie pytanie, dlaczego calka \(\displaystyle{ \int_{0}^{\infty} \frac{\sin(x)}{x} }\) jest niecalkowalna w sensie Lebesguea a całkowalność w sensie Riehmana? Wykladowca nam powiedzial ze no wystarczy sobie podzielić na fragmenty blisko \(\displaystyle{ 1}\) i wtedy będziemy mieć sume \(\displaystyle{ \frac{1}{x}}\) a taki szereg jest rozbieżny i widac. A jest całkowalność w sensie Riemanna bo jest ciagla to widac. I bardziej niż jakies rozpisanie tego konkretnego przykładu chodzi mi o to jak pokazywać niecalkwoalnosc w sensie Lebesgue'a?
Ostatnio zmieniony 11 mar 2021, o 12:15 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Bernhard Riemann ma "h" w imieniu, a nie w nazwisku...
janusz47
Użytkownik
Użytkownik
Posty: 7910
Rejestracja: 18 mar 2009, o 16:24
Płeć: Mężczyzna
Podziękował: 30 razy
Pomógł: 1670 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: janusz47 »

\(\displaystyle{ \int_{\pi}^{(n+1)\pi} \left| \frac{\sin(x)}{x} \right|dx = \sum_{k=1}^{n} \int_{k\pi}^{(k+1)\pi} \left| \frac{\sin(x)}{x} \right|dx = \sum_{k=1}^{n} \int_{0}^{\pi} \frac{|\sin(t + k\pi)|}{t + k\pi} dt = \sum_{k=1}^{n} \int_{0}^{\pi} \frac{|\sin(t)|}{t +k\pi} dt \geq }\)

\(\displaystyle{ \geq \sum_{k=1}^{n} \frac{1}{(k+1)\pi}\int_{0}^{\pi} \sin(t) dt = \frac{2}{\pi}\sum_{k=1}^{n}\frac{1}{k+1}. }\)

Otrzymaliśmy szereg harmoniczny rozbieżny.
a4karo
Użytkownik
Użytkownik
Posty: 22173
Rejestracja: 15 maja 2011, o 20:55
Płeć: Mężczyzna
Lokalizacja: Bydgoszcz
Podziękował: 38 razy
Pomógł: 3748 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: a4karo »

Odpowiedź (podpowiedź?) janusza47 nic nie wnosi do tematu

Badana funkcja jest całkowalna w sensie Riemanna, bo
\(\displaystyle{ \lim_{n\to\infty} \int_0^{n\pi}\frac{\sin t}{t}dt=\lim_{n\to\infty} \sum_{k=0}^{n-1}\int_{k\pi}^{(k+1)\pi}\frac{\sin t}{t}dt= \sum_{k=0}^{\infty}\int_{k\pi}^{(k+1)\pi}\frac{\sin t}{t}dt}\)

ten szereg jest zbieżny, bo całki pod sumą na przemian zmieniają znaki, a ich wartości bezwzględne maleją do zera.
oraz dla \(\displaystyle{ k\pi<t<(k+1)\pi}\) mamy \(\displaystyle{ \left|\int_0^t \frac{\sin t}{t}dt-\int_0^{k\pi} \frac{\sin t}{t}dt\right|<\frac{\pi}{t}\to 0}\) gdy `t\to\infty`

Jeżeli chodzi o całkę Lebesgue'a, to rozważ funkcję prostą

\(\displaystyle{ g(x)=\begin{cases}\frac{\sqrt{2}}{2\left((2k+1)\pi+\frac{\pi}{4}\right)} & (2k+1)\pi-\frac{\pi}{4}<x< (2k+1)\pi+\frac{\pi}{4}\\
0 & \text{poza tym}\end{cases}}\)


Niech `f_+(x)=\frac{\sin x}{x}`.
Wtedy `g(x)<f_+(x)`. Oblicz całkę z funkcji `g` (obojętnie czy Riemanna czy Lebesgue'a) i wyciągnij wnioski
Ostatnio zmieniony 12 mar 2021, o 15:13 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód: Poprawa wiadomości.
Awatar użytkownika
Janusz Tracz
Użytkownik
Użytkownik
Posty: 4060
Rejestracja: 13 sie 2016, o 15:01
Płeć: Mężczyzna
Lokalizacja: hrubielowo
Podziękował: 79 razy
Pomógł: 1391 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: Janusz Tracz »

@a4karo z tego co kojarzę to \(\displaystyle{ f}\) jest całkowalna w sensie Lebesgue'a wtedy i tylko wtedy, gdy \(\displaystyle{ \left| f\right| }\) jest całkowalna w sensie Lebesgue'a. Janusz47 pokazał, że \(\displaystyle{ \left| f\right| }\) nie jest całkowalna. Więc moim zdaniem to pełne (choć dość lakoniczne) rozwiązanie.
a4karo
Użytkownik
Użytkownik
Posty: 22173
Rejestracja: 15 maja 2011, o 20:55
Płeć: Mężczyzna
Lokalizacja: Bydgoszcz
Podziękował: 38 razy
Pomógł: 3748 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: a4karo »

Weźmy funkcję , która jest równa `1` na zbiorze niemierzalnym i `-1` na jego dopełnieniu. Wtedy `f` nie jest całkowalna, a `|f|` jest.
Ostatnio zmieniony 12 mar 2021, o 15:14 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Awatar użytkownika
Janusz Tracz
Użytkownik
Użytkownik
Posty: 4060
Rejestracja: 13 sie 2016, o 15:01
Płeć: Mężczyzna
Lokalizacja: hrubielowo
Podziękował: 79 razy
Pomógł: 1391 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: Janusz Tracz »

@a4karo jeśli \(\displaystyle{ f}\) byłaby mierzalna, wtedy równoważność:

\(\displaystyle{ f \text{ jest całkowalna w sensie Lebesgue'a } \Leftrightarrow \left| f\right| \text{ jest całkowalna w sensie Lebesgue'a }}\)

zajdzie.
Ostatnio zmieniony 12 mar 2021, o 22:01 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód: Poprawa wiadomości.
a4karo
Użytkownik
Użytkownik
Posty: 22173
Rejestracja: 15 maja 2011, o 20:55
Płeć: Mężczyzna
Lokalizacja: Bydgoszcz
Podziękował: 38 razy
Pomógł: 3748 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: a4karo »

To prawda. Ale janusz47 pokazał na razie, że `|f|` nie jest całkowalna w sensie Riemanna. Stąd do niecałkowalności w sensie Lebesgue'a jeszcze trochę... (o ile taka implikacja w ogóle zachodzi)
Awatar użytkownika
Janusz Tracz
Użytkownik
Użytkownik
Posty: 4060
Rejestracja: 13 sie 2016, o 15:01
Płeć: Mężczyzna
Lokalizacja: hrubielowo
Podziękował: 79 razy
Pomógł: 1391 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: Janusz Tracz »

a4karo pisze: 12 mar 2021, o 18:55 To prawda. Ale janusz47 pokazał na razie, że `|f|` nie jest całkowalna w sensie Riemanna. Stąd do niecałkowalności w sensie Lebesgue'a jeszcze trochę... (o ile taka implikacja w ogóle zachodzi)
Ja uważam, że nie jest aż tak źle. Rachunek janusza47 pokazał, że istnieje podział \(\displaystyle{ \left[0, \infty \right) }\) na którym funkcja \(\displaystyle{ \left| \frac{\sin x}{x} \right| }\) (w zerze stawiam jedynkę) szacuje się z dołu przez coś rozbieżnego. A to wystarcza do niecałkowalności w sensie Lebesgue'a. W sensie sumy dolnej:

\(\displaystyle{ \sup_{\mathcal{P}}\left\{ \sum_{A\in\mathcal{P}}^{} \inf_{x\in A} \left\{ \left| \frac{\sin x}{x} \right| \right\}\mu\left( A\right) \right\} \le \int_{\left[0, \infty \right) } \left| \frac{\sin x}{x} \right| \mu \left( \dd x \right) }\)

rachunek janusza47 pokazał, że istnieje taki konkretny podział \(\displaystyle{ \mathcal{P}}\) zbioru \(\displaystyle{ \left[0, \infty \right) }\), że suma dolna jest nieorganiczna. Więc pokazał, że całka w sensie Lebesgue'a nie istnieje.

PS (szczególnie dla Rokush) Poza tym uważam, że mówienie o (nie)całkowalność funkcji \(\displaystyle{ \sin x / x}\) na \(\displaystyle{ \left[ 0, \infty \right) }\) w sensie Riemanna. Jest trochę naciągane. Całka Riemanna standardowo tyczy się funkcji określonych na domkniętych przedziałach. Tu badając całkowalność na półprostej raczej mówiłbym o niewłaściwie całce Riemanna (czy czymś w tym stylu). W sensie jakoś bym tę sytuację wyróżnił. Bo jeśli całkę Riemanna rozumieć będziemy standardowo przez całkę na przedziale domkniętym i ograniczonym to całkowalność w sensie Riemanna będzie pociągać całkowalność w sensie Lebesgue'a.
Ostatnio zmieniony 12 mar 2021, o 22:01 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
a4karo
Użytkownik
Użytkownik
Posty: 22173
Rejestracja: 15 maja 2011, o 20:55
Płeć: Mężczyzna
Lokalizacja: Bydgoszcz
Podziękował: 38 razy
Pomógł: 3748 razy

Re: Całkowalność Riemanna a Lebesgue'a

Post autor: a4karo »

Zauważyłeś ile musiałeś się nagimnastykować, żeby od dowódu Janusza47 przejść do czegoś co zaczyna przypominać całkę L? I tylko przypomina bo żaden z tych podziałów o których piszesz nie t jest poprawnie określony (bo jeżeli to są przedziały o długosci `\pi`, to na nich infimum modułu funkcji jest równe zeru. Suma z lewej strony, która przytaczasz w swoim poście jest więc zerowa.

Co do calki Riemanna, to jesteśmy chyba dorośli i wiemy że pisząc całke do nieskończoności myślimy o całce niewłaściwej.
Ostatnio zmieniony 12 mar 2021, o 22:49 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
ODPOWIEDZ