Oblicz granice z definicji Cauchy'go

Wyznaczanie granic funkcji. Ciągłość w punkcie i ciągłość jednostajna na przedziale. Reguła de l'Hospitala.
daniel002909f
Użytkownik
Użytkownik
Posty: 3
Rejestracja: 15 sty 2023, o 21:28
Płeć: Mężczyzna
wiek: 23
Podziękował: 5 razy

Oblicz granice z definicji Cauchy'go

Post autor: daniel002909f »

\(\displaystyle{ \lim_{x\to 0}\frac{(e ^{2x} -1)}{x}}\)
3a174ad9764fefcb
Użytkownik
Użytkownik
Posty: 287
Rejestracja: 18 lip 2022, o 17:46
Płeć: Mężczyzna
wiek: 40
Podziękował: 3 razy
Pomógł: 41 razy

Re: Oblicz granice z definicji Cauchy'go

Post autor: 3a174ad9764fefcb »

\(\displaystyle{ \lim_{x\to 0}\frac{(e ^{2x} -1)}{x}=2\cdot \lim_{x\to 0}\frac{(e ^{2x} -1)}{2x}=\ldots}\)
daniel002909f
Użytkownik
Użytkownik
Posty: 3
Rejestracja: 15 sty 2023, o 21:28
Płeć: Mężczyzna
wiek: 23
Podziękował: 5 razy

Re: Oblicz granice z definicji Cauchy'go

Post autor: daniel002909f »

3a174ad9764fefcb pisze: 29 sty 2023, o 14:24 \(\displaystyle{ \lim_{x\to 0}\frac{(e ^{2x} -1)}{x}=2\cdot \lim_{x\to 0}\frac{(e ^{2x} -1)}{2x}=\ldots}\)
Potrafię zrobić tę zadanie korzystając ze wzorów i przekształceń, lecz niestety muszę je wykonać korzystając z definicji Cauchy'ego (ew. Heinego)
3a174ad9764fefcb
Użytkownik
Użytkownik
Posty: 287
Rejestracja: 18 lip 2022, o 17:46
Płeć: Mężczyzna
wiek: 40
Podziękował: 3 razy
Pomógł: 41 razy

Re: Oblicz granice z definicji Cauchy'go

Post autor: 3a174ad9764fefcb »

daniel002909f pisze: 29 sty 2023, o 14:36 lecz niestety muszę je wykonać korzystając z definicji Cauchy'ego (ew. Heinego)
Dowód korzystający z definicji Cauchy'ego przebiega zwykle według szablonu:

Weźmy dowolny \(\varepsilon>0\). Niech \(\delta=\ldots\)
Dla \(|x|<\delta\) mamy wtedy:
\(\displaystyle{ \left|2\cdot \frac{(e ^{2x} -1)}{2x}-2\right|=\ldots<\varepsilon}\)

Jak dokładnie ma wyglądać nierówność, to zależy od tego, jakiej definicji \(e^x\) używasz.
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: Oblicz granice z definicji Cauchy'go

Post autor: janusz47 »

Z równości \(\displaystyle{ \left| 2\frac{e^{2x}-1}{2x}-2 \right| = 2 \left| \frac{e^{2x}-1}{2x} -1 \right| = 0 }\) wynika, że wystarczy wykazać, równość granicy \(\displaystyle{ \lim_{x \to 0} \frac{e^{2x}-1}{2x} = 1 \ \ (^{*}) }\)

Posłużymy, się definicją ciągową (Heinricha Eduarda Heine) granicy.

Twierdzenie
Jeśli ciąg \(\displaystyle{ (x_{n}), \ \ x_{n}\neq 0 }\) dla każdego \(\displaystyle{ n }\) i \(\displaystyle{ \lim_{n\to \infty} x_{n} = 0 }\) to \(\displaystyle{ \lim_{n\to \infty} \frac{e^{2x_{n}} -1}{2x_{n}} = 1. }\)

Załóżmy, że \(\displaystyle{ 0 \neq2 x_{n} < \frac{1}{2}. }\)

Stąd wynika, że \(\displaystyle{ 0 < \frac{1}{1-2x_{n}} < 2 }\).

Mamy \(\displaystyle{ \frac{e^{2x_{n}}-1}{2x_{n}} -1 = \frac{e^{2x_{n}} -1 -2x_{n}}{2x_{n}} }\)

Z nierówności \(\displaystyle{ 1+x \leq e^{x} \leq \frac{1}{1-x}, }\) wynika \(\displaystyle{ 0 \leq e^{2x_{n}} -1 -2x_{n} \leq \frac{1}{1-2x_{n}} -1 -2x_{n} = \frac{4x^2_{n}}{1-2x_{n}} = \frac{|2x_{n}|}{1 -2x_{n}}|2x_{n}| }\)

Dzieląc przez \(\displaystyle{ |2x_{n}| }\) otrzymujemy \(\displaystyle{ 0 \leq \left |\frac{e^{2x_{n}} -1}{2x_{n}} -1 \right|= \frac{x^{2n} -1 -2x_{n}}{2x_{n}} \leq \frac{1}{1-2x_{n}}{|2x_{n}|} \leq 2|x_{n}|.}\)

Z twierdzenia o trzech ciągach dla \(\displaystyle{ x_{n} \rightarrow 0 }\) osiągamy tezę twierdzenia.

\(\displaystyle{ (^{*}) }\) Wersja dowodu pochodzi od Pana dr Michała Krycha. który wykazał wartość tej granicy przy okazji dowodu na pochodną funkcji wykładniczej \(\displaystyle{ \exp(x), }\) wkorzystując równość \(\displaystyle{ \frac{\exp(x + x_{n}) -\exp(x)}{x_{n}} = \exp(x) \frac{\exp(x_{n})-1}{x_{n}}.}\)
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: Oblicz granice z definicji Cauchy'go

Post autor: Janusz Tracz »

Zagajenie:    
To co zaraz napiszę prawdopodobnie narazi mnie na krytykę więc zaznaczam od razu, że to rozwiązanie nie jest standardowe. Gdyby jednak robić w matematyce kilka rzeczy równoważnie ze standardowym podejściem ale inaczej to może dałoby się coś z tego uznać za sensowne podejście. Funkcję

\(\displaystyle{ \RR\ni x\mapsto e^x \in \RR}\)

możemy zdefiniować jako jedyne rozwiązanie problemu początkowego \(\displaystyle{ y'=y}\), \(\displaystyle{ y(0)=1}\). Wtedy zachodzi równość

\(\displaystyle{ \frac{e^x-1}{x}= \frac{1}{x} \int_{0}^{x} e^{\xi}\,\dd \xi, }\)

co daje się zapisać (zmieniając zmienne w całce \(\displaystyle{ \xi/x=h}\)) następująco

\(\displaystyle{ \frac{e^x-1}{x}= \int_{0}^{1} e^{xh}\,\dd h. }\)
Pozostało więc policz \(\displaystyle{ \lim_{ x\to 0 } \int_{0}^{1} e^{xh}\,\dd h}\). Kolejność całkowania z przejściem granicznym można tu zmienić. Pozwala na to następujący wniosek z Twierdzenia Lebesgue’a o zbieżności ograniczonej:
Niech \(\displaystyle{ H \subset \RR}\) będzie przedziałem zawierającym pewien ustalony punkt \(\displaystyle{ h_0\in H}\), niech \(\displaystyle{ I \subset\RR }\) będzie przedziałem (skończonym lub nie) oraz \(\displaystyle{ F:I\times H\to \RR}\) funkcją taką, że
  • \(\displaystyle{ (\forall h\in H)\left[ I\ni x\mapsto F(x,h)\in\RR\right]-\text{jest ciągła}}\),
  • \(\displaystyle{ f=\big[ I\ni x\mapsto \lim_{ h \to h_0} F(x,h)\in\RR\big]-\text{jest ciągła}}\),
  • istnieje funkcja \(\displaystyle{ g\in L_1(I)}\) taka, że \(\displaystyle{ (\forall h\in H)(\forall x \in I)|F(x,h)| \le g(x)}\).

Wtedy
\(\displaystyle{ \lim_{ h \to h_0} \int_{I}^{} F(x,h)\,\dd x= \int_{I}^{} f(x)\,\dd x. }\)
Dowód:    
Co ostatecznie pozwala zapisać
\(\displaystyle{ \lim_{ x\to 0 } \int_{0}^{1} e^{xh}\,\dd h = \int_{0}^{1}\lim_{ x\to 0 } e^{xh}\,\dd h = \int_{0}^{1}1 \,\dd h =1. }\)

PS w przytoczonym wniosku ciągłość można osłabić na ciągłość kawałkami.
PPS ten wniosek można chyba (je jestem tego pewien) znaleźć w książce: Basic Partial Differential Equations; David D. Bleecker, George Csordas.
PPPS ostatecznie pojawiła się definicja granicy w pewnej postaci, więc chyba spełniłem wymogi zadania ¯\_(ツ)_/¯
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: Oblicz granice z definicji Cauchy'go

Post autor: a4karo »

PanaKrychowy dowód działa gdy się pokaże, że \(\displaystyle{ e^x<\frac{1}{1-x}}\), a do tego pewnie warto znać rozwinięcie `e^x` w szereg.

W szkole natomiast uczą, że dla dowolnego `n\in\NN` zachodzi \(\displaystyle{ \left(1+\frac1n\right)^n<e<\left(1+\frac1n\right)^{n+1}}\),
więc dla \(\displaystyle{ \frac1{n+1}< x\leq \frac{1}{n}}\) oraz z monotoniczności funkcji wykładniczej dostajemy

(*) \(\displaystyle{ \frac{e^x-1}{x}>\frac{\left(1+\frac{1}{n+1}\right)^{(n+1)x}-1}{x}>\frac{1+x-1}{x}=1}\) (tu Bernoulli)
a dla `n>1`
(**} \(\displaystyle{ \frac{e^x-1}{x}<\frac{\left(1+\frac{1}{n-1}\right)^{nx}-1}{x}<\frac{\left(1+\frac{1}{n-1}\right)^{n\frac{1}{n}}-1}{x}=\frac{1}{(n-1)x}=\frac1{1-2x}}\)
(bo `1/x<n+1`, zatem `1/x-2<n-1` a stąd `1-2x<(n-1)x`)
Dodatkowo dla `0<x<1/4` zachodzi `\frac{1}{1-2x}<1+4x`.
Zatem dla `0<x<1/4`
\(\displaystyle{ 0<\frac{e^x-1}{x}-1<4x}\),
i stąd już łatwo zarówno Heine jak i Cauchy wynika.

Dodano po 29 minutach 7 sekundach:
@Janusz Tracz

Nie trzeba aż takich dział, wystarczy twierdzenie o wartości średniej
\(\displaystyle{ \frac{e^x-1}{x}=\frac{\int_0^x e^tdt}{x}=\frac{e^\xi x}{x}=e^\xi}\),
gdzie `0<\xi<x`.

Żeby jednak stąd przejść do Cauchy'ego lub Heinego trzeba jeszcze trochę (choć niedużo) pracy
Awatar użytkownika
Dasio11
Moderator
Moderator
Posty: 10211
Rejestracja: 21 kwie 2009, o 19:04
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 40 razy
Pomógł: 2359 razy

Re: Oblicz granice z definicji Cauchy'go

Post autor: Dasio11 »

Janusz Tracz pisze: 30 sty 2023, o 00:08Funkcję

\(\displaystyle{ \RR\ni x\mapsto e^x \in \RR}\)

możemy zdefiniować jako jedyne rozwiązanie problemu początkowego \(\displaystyle{ y'=y}\), \(\displaystyle{ y(0)=1}\).
Wtedy \(\displaystyle{ \lim_{x \to 0} \frac{e^x-1}{x} = y'(0) = y(0) = 1}\), QED.
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: Oblicz granice z definicji Cauchy'go

Post autor: a4karo »

Tylko czy do tego nie trzeba najpierw znać granicy, która mamy obliczyć?
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: Oblicz granice z definicji Cauchy'go

Post autor: Janusz Tracz »

a4karo pisze: 30 sty 2023, o 02:12 Nie trzeba aż takich dział, wystarczy twierdzenie o wartości średniej
@a4karo & @Dasio11 No tak, choć na tym polegał dowcip, a i tak kusiło mnie aby tu wcisnąć twierdzenie Ascoli-Arzeli i coś kombinować z jednostajną równo ciągłością i całkowalnością. Ale robiło się późno więc dałem sobie spokój. Na forum nie widziałem takiego zastosowania twierdzenia o zbieżności ograniczonej (w ciągłej wersji) więc pomyślałem, że może warto aby gdzieś się pojawiło nawet jeśli niekoniecznie jest to optymalne rozwiązanie.

Co do definicji \(\displaystyle{ \exp:\RR\to \RR^+}\) to może zamiast tego równania różniczkowego niech

\(\displaystyle{ \exp=\ln^{-1},}\)

gdzie \(\displaystyle{ \ln :\RR^+\to \RR}\) to funkcja dana wzorem \(\displaystyle{ \ln x= \int_{1}^{x} \frac{1}{\xi}\, \dd \xi }\). F. Klein był fanem tej definicji. Z niej nie wynika natychmiast teza zadania ale wynika to co mi było potrzebne czyli wzór z całką. Wszak ogólnie

\(\displaystyle{ \int_{}^{} f^{-1}\left( x\right)\text{d}x=x f^{-1}\left( x\right) -(\text{F}\circ f^{-1})\left( x\right)+C,}\)

gdzie \(\displaystyle{ \text{F}}\) to funkcja pierwotna dla \(\displaystyle{ f}\). Ponieważ powoli zaczynam obijać od sedna tego tematu to dodam, że rozwiązanie janusza47 nie korzysta aż tak bardzo z definicji \(\displaystyle{ \exp}\) za pomocą szeregu jak to się na pierwszy rzut oka wydaje. Nierówność

\(\displaystyle{ e^x<\frac{1}{1-x}}\)

jest oczywiście natychmiastowa jak mamy szereg do dyspozycji ale nawet jeśli mamy jedynie definicję z granicą to rachunek

\(\displaystyle{ \begin{align}
\left ( 1+\frac{x}{n} \right )^n
&=1+ \frac{n}{n} \cdot \frac{x}{1!}+\frac{n(n-1)}{n \cdot n}\frac{x^2}{2!}+\cdots+ \frac{n!}{n^n} \frac{x^n}{n!}\\
&<1+x+x^2+\cdots\\
&=\frac{1}{1-x}
\end{align}}\)

pokazuje to co trzeba. I nie jest to wcale bardziej trickowe od propozycji a4karo. Powiedział bym, że jest nawet odwrotnie.
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: Oblicz granice z definicji Cauchy'go

Post autor: janusz47 »

Twierdzenie 1

Dla każdej liczby rzeczywistej \(\displaystyle{ x }\) zachodzi nierówność \(\displaystyle{ e^{x} \geq 1+x. }\)

Wynika to stąd, że dla \(\displaystyle{ n > -x }\) spełniona jest nierówność \(\displaystyle{ \frac{x}{n} > -1. }\)

Na mocy nierówności Bernoulliego

\(\displaystyle{ \left (1 + \frac{x}{n} \right )^{n} \geq 1 + n\cdot \frac{x}{n} = 1 + x.}\)

Począwszy od pewnego miejsca wszystkie wyrazy ciągu są równe co najmniej \(\displaystyle{ 1+ x , }\) to granica tego ciągu jest większa lub równa \(\displaystyle{ 1 + x. }\)

\(\displaystyle{ \Box }\)

Twierdzenie 2

Dla każdej liczby rzeczywistej \(\displaystyle{ x<1 }\) zachodzi nierówność

\(\displaystyle{ 1 + x \leq e^{x} \leq \frac{1}{1-x} }\)

Pierwsza nierówność została wykazana w twierdzeniu 1 dla wszystkich liczb rzeczywistych \(\displaystyle{ x.}\)

W celu wykazania drugiej nierówności zauważmy, że zachodzi nierówność

\(\displaystyle{ e^{-x} \geq 1 - x, }\) która wynika z nerówności \(\displaystyle{ e^{x} \geq 1+ x }\) po zastąpieniu \(\displaystyle{ x }\) liczbą przeciwną \(\displaystyle{ -x.}\)
,
Stąd \(\displaystyle{ e^{x} = \frac{1}{e^{-x}} \leq \frac{1}{1-x}.}\)

\(\displaystyle{ \Box }\)
ODPOWIEDZ