Mamy funkcję \(\displaystyle{ f(x) : (0,1] \to \mathbb{R}}\) zdefiniowaną w następujący sposób:
\(\displaystyle{ f(x) = \begin{cases} n^2 - n^6|x - \frac{1}{n}| \ \mbox{gdy } x \in \left[\frac{1}{n} - \frac{1}{n^4}, \frac{1}{n} + \frac{1}{n^4}\right] \\ 0 \ \mbox{wp.p.} \end{cases}}\)
Udowodnić, że istnieje skończona granica \(\displaystyle{ \lim_{\varepsilon \to 0^+} \int_{\varepsilon}^1 f(x) dx}\), ale nie jest ona równa \(\displaystyle{ \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^n f \left( \frac{k}{n} \right)}\).
Fakt, że ta funkcja jest dobrze zdefiniowana i ciągła na dowolnym przedziale \(\displaystyle{ [\varepsilon, 1]}\) już udowodniłem.
Funkcja całkowalna w sensie Newtona, ale nie Riemanna
- Dasio11
- Moderator
- Posty: 10225
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2362 razy
Re: Funkcja całkowalna w sensie Newtona, ale nie Riemanna
Próbowałeś znaleźć wzór jawny na \(\displaystyle{ \int_{\varepsilon}^1 f(x) \, \dd x}\) ? Dla ułatwienia możesz założyć, że \(\displaystyle{ \varepsilon}\) nie leży w żadnym z wyróżnionych przedziałów, bo wtedy ta całka będzie zwyczajną sumą pól skończenie wielu trójkątów o łatwo wyliczalnych parametrach.
Z drugiej strony \(\displaystyle{ f \left( \frac{1}{n} \right) = n^2}\), więc
\(\displaystyle{ \frac{1}{n} \sum_{k=1}^n f \left( \frac{k}{n} \right) = \frac{1}{n} \left( n^2 + \ldots \right) \ge n}\)
i z twierdzenia o dwóch ciągach takie sumy są rozbieżne do nieskończoności.
Z drugiej strony \(\displaystyle{ f \left( \frac{1}{n} \right) = n^2}\), więc
\(\displaystyle{ \frac{1}{n} \sum_{k=1}^n f \left( \frac{k}{n} \right) = \frac{1}{n} \left( n^2 + \ldots \right) \ge n}\)
i z twierdzenia o dwóch ciągach takie sumy są rozbieżne do nieskończoności.
- niunix98
- Użytkownik
- Posty: 96
- Rejestracja: 19 lis 2017, o 20:25
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 9 razy
- Pomógł: 17 razy
Re: Funkcja całkowalna w sensie Newtona, ale nie Riemanna
Faktycznie, jeżeli \(\displaystyle{ \varepsilon}\) nie leży w żadnym z tych przedziałów to mamy
\(\displaystyle{ \int_{\varepsilon}^1 f(x) dx = \sum_{n \leq \varepsilon^{-1}} \int_{x \in I_n} f(x) dx}\)
Co możemy z góry przeszacować przez
\(\displaystyle{ \sum_{n=1}^\infty \int_{x \in I_n} f(x) dx}\)
Ale z symetrii \(\displaystyle{ f(x)}\) względem \(\displaystyle{ \frac{1}{n}}\) dla \(\displaystyle{ |x| < \frac{1}{n^4}}\):
\(\displaystyle{ \int_{x \in I_n} f(x) dx = 2 \int_{\frac{1}{n}}^{\frac{1}{n} + \frac{1}{n^4}} f(x) dx = 2\left(n^2\left[ x \right]_{\frac{1}{n}}^{\frac{1}{n} + \frac{1}{n^4}} - \frac{n^6}{2} \left[ (x - \frac{1}{n})^2 \right]_{\frac{1}{n}}^{\frac{1}{n} + \frac{1}{n^4}} \right) = \frac{1}{n^2}}\)
A wiemy, że \(\displaystyle{ \sum_{n=1}^\infty \frac{1}{n^2} < \infty}\), więc w połączeniu z obserwacją Dasia, dostajemy sprzeczność. Dobrze rozumuję?
Dodano po 1 minucie 24 sekundach:
To, że \(\displaystyle{ \int_{x \in I_n} f(x)dx = \frac{1}{n^2}}\) też wynika stąd, że wykres tworzy trójkąt o podstawie \(\displaystyle{ \frac{2}{n^4}}\) i wysokości \(\displaystyle{ n^2}\).
\(\displaystyle{ \int_{\varepsilon}^1 f(x) dx = \sum_{n \leq \varepsilon^{-1}} \int_{x \in I_n} f(x) dx}\)
Co możemy z góry przeszacować przez
\(\displaystyle{ \sum_{n=1}^\infty \int_{x \in I_n} f(x) dx}\)
Ale z symetrii \(\displaystyle{ f(x)}\) względem \(\displaystyle{ \frac{1}{n}}\) dla \(\displaystyle{ |x| < \frac{1}{n^4}}\):
\(\displaystyle{ \int_{x \in I_n} f(x) dx = 2 \int_{\frac{1}{n}}^{\frac{1}{n} + \frac{1}{n^4}} f(x) dx = 2\left(n^2\left[ x \right]_{\frac{1}{n}}^{\frac{1}{n} + \frac{1}{n^4}} - \frac{n^6}{2} \left[ (x - \frac{1}{n})^2 \right]_{\frac{1}{n}}^{\frac{1}{n} + \frac{1}{n^4}} \right) = \frac{1}{n^2}}\)
A wiemy, że \(\displaystyle{ \sum_{n=1}^\infty \frac{1}{n^2} < \infty}\), więc w połączeniu z obserwacją Dasia, dostajemy sprzeczność. Dobrze rozumuję?
Dodano po 1 minucie 24 sekundach:
To, że \(\displaystyle{ \int_{x \in I_n} f(x)dx = \frac{1}{n^2}}\) też wynika stąd, że wykres tworzy trójkąt o podstawie \(\displaystyle{ \frac{2}{n^4}}\) i wysokości \(\displaystyle{ n^2}\).
- Dasio11
- Moderator
- Posty: 10225
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2362 razy
Re: Funkcja całkowalna w sensie Newtona, ale nie Riemanna
Dobrze, ale to nie sprzeczność, tylko wniosek że rozpatrywane sposoby liczenia całki dają różne wyniki.