Matematyka:Matematyka I - ćwiczenia/Ciągi rekurencyjne
Matematyka:Matematyka I - ćwiczenia/Ciągi rekurencyjne
Matematyka:Matematyka I - ćwiczenia/Ciągi rekurencyjne
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 1<br />
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong><br />
<strong>rekurencyjne</strong><br />
<strong>Ciągi</strong> <strong>rekurencyjne</strong><br />
Zadanie 1<br />
Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:<br />
(1)<br />
w dwóch przypadkach:<br />
1. dla i ,<br />
2. oraz dla i .<br />
Wskazówka<br />
Należy poszukiwać rozwiązania w postaci , gdzie i są stałymi.<br />
Rozwiązanie<br />
Do równania <strong>rekurencyjne</strong>go (1) podstawmy w postaci , gdzie jest pewną, różną od zera, stałą do<br />
wyznaczenia. Otrzymamy w ten sposób równanie:<br />
(2)<br />
Po uproszczeniu przez , uzyskamy równanie kwadratowe na :<br />
(3)<br />
Równanie to ma dwa rozwiązania: i .<br />
Związek rekurencyjny (1) jest liniowy i jednorodny. Oznacza to, że jeśli pewien ciąg jest jego rozwiązaniem, to<br />
jest nim także , gdzie jest stałą. Z kolei jeśli znaleźlibyśmy dwa rozwiązania oraz , to<br />
rozwiązaniem będzie także ich suma: , a nawet kombinacja , z dowolnymi stałymi oraz<br />
. Takie dwa rozwiązania otrzymaliśmy już powyżej: oraz . Wynika stąd, że ogólne rozwiązanie równania<br />
(1) ma postać:<br />
(4)<br />
Aby znaleźć stałe i wykorzystamy warunki początkowe.<br />
1. Musi zachodzić:<br />
(5)<br />
(6)<br />
Rozwiązując ten układ równań ze względu na i otrzymujemy: , i wzór na wyraz ogólny<br />
ciągu ma w tym przypadku postać:<br />
Ze względu na drugi człon, ciąg ten jest rozbieżny przy .<br />
2. Teraz muszą być spełnione warunki:
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 2<br />
(7)<br />
(8)<br />
(9)<br />
Po rozwiązaniu tego układu widzimy, że , . Wzór na wyraz ogólny ciągu ma teraz postać:<br />
Jasne jest, że w tym przypadku zachodzi:<br />
Zadanie 2<br />
Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:<br />
(10)<br />
dla i .<br />
Wskazówka<br />
Należy poszukiwać rozwiązania w postaci , gdzie oraz są stałymi.<br />
Rozwiązanie<br />
Podobnie jak w poprzednim zadaniu, podstawimy do równania <strong>rekurencyjne</strong>go (10) w postaci , gdzie jest<br />
pewną niezerową stałą. Otrzymamy w ten sposób równanie:<br />
(11)<br />
Po skróceniu obu stron przez , dochodzimy do równania kwadratowego na niewiadomą :<br />
(12)<br />
Jedynym (ale za to podwójnym) jego rozwiązaniem jest .<br />
Z poprzedniego zadania wiemy, że jeśli związek rekurencyjny jest liniowy i jednorodny (a tak jest w istocie w (10),<br />
to rozwiąznie ogólne jest kombinacją liniową rozwiązań szczególnych ( , , ,...):<br />
, z dowolnymi stałymi , , ,.... W naszym przypadku mamy dwa niezależne<br />
rozwiązania, gdyż rekurencja (10) jest rekurencją "o dwa". Jednym z tych rozwiązań jest, naturalnie, , a drugie<br />
ma postać , o czym łatwo jest się przekonać wstawiając je do (10). Widzimy zatem, że ogólne rozwiązanie<br />
równania (10) ma postać:<br />
(13)<br />
Stałe i wyznaczymy z warunków początkowych:<br />
(14)<br />
Układ ten spełniony jest przez liczby oraz i, w konsekwencji:<br />
(15)<br />
Oczywiste jest, że ciąg ten jest rozbieżny.
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 3<br />
Zadanie 3<br />
Zbadać zbieżność ciągu określonego rekurencyjnie:<br />
(16)<br />
gdzie .<br />
Należy wykazać ograniczoność i monotoniczność ciągu.<br />
Wskazówka<br />
Rozwiązanie<br />
Ciąg w treści zadania zdefiowany jest nieliniową rekurencją, którą można opisać wzorem:<br />
(17)<br />
W tego typu problemach w ogólności nie potrafimy znaleźć jawnego wzoru na i musimy się ograniczyć do<br />
zbadania samej granicy. Wygodnie jest rozpocząć rozwiązywanie zadania od wykonania szkicu przebiegu funkcji<br />
podobnego do tego z rysunku 1. Przedstawiony jest na nim - przy użyciu czerwonych strzałek - sposób obliczania<br />
kolejnych wyrazów ciągu, przy czym punktem startowym jest . W treści zadania , ale rysunek wygląda<br />
bardzo podobnie dla wszystkich i został wykonany dla takiej jego wartości, dla której wygląda najbardziej<br />
przejrzyście. Punkt jest rozwiązaniem równania , a zatem jest punktem stałym odwzorowania .<br />
Rysunek ten sugeruje, że nasz ciąg po pierwsze jest<br />
ograniczony z góry przez liczbę , a po drugie -<br />
rosnący. Te dwie jego własności poniżej udowodnimy.<br />
1. Ograniczoność.<br />
(18)<br />
(19)<br />
Ograniczoność ciągu wykażemy, korzystając z metody indukcji matematycznej.<br />
1. Dla mamy .<br />
2. Teraz dowodzimy następującej implikacji:<br />
Znajdźmy znak wyrażenia :<br />
Rys 1. Rekurencja opisana wzorem (16) dla .
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 4<br />
przy czym ostatnia nierównosć wynika z założenia indukcyjnego. Ciąg jest więc w istocie ograniczony:<br />
(20)<br />
2. Monotoniczność.<br />
(21)<br />
Obliczymy różnicę dwóch kolejnych wyrazów ciągu:<br />
Końcowa nierówność wynika z wykazanej wyżej własności (20) i oznacza, że nasz ciąg jest rosnący.<br />
Jak wiadomo w zbiorze liczb rzeczywistych ciąg monotoniczny i ograniczony ma granicę. Oznaczmy ją literą .<br />
Skoro granica ta istnieje to możemy po obu stronach równania (16) przejść z do nieskończoności, otrzymując<br />
równanie:<br />
(22)<br />
które ma dwa rozwiązania: lub . Tylko jedna z tych dwóch liczb może być granicą ciągu .<br />
Jednakże rosnący ciąg liczb dodatnich nie może być zbieżny do zera. Stąd:<br />
(23)<br />
Zadanie 4<br />
Zbadać zbieżność ciągu określonego rekurencyjnie:<br />
(24)<br />
gdzie .<br />
Należy wykazać ograniczoność i monotoniczność ciągu.<br />
Wskazówka<br />
Rozwiązanie<br />
Ponownie mamy do czynienia z nieliniową rekurencją opisaną wzorem:<br />
(25)<br />
Przebieg funkcji przedstawiony jest na rysunku 2. Punktem startowym jest w tym zadaniu , ale rysunek -<br />
podobnie jak w poprzednim zadaniu - został wykonany dla innej wartości, dla której wygląda bardziej przejrzyście, a<br />
zasadnicze własności ciągu (którymi zajmiemy się poniżej) przy tym się nie zmieniają. Punkt jest<br />
rozwiązaniem równania , a zatem jest punktem stałym odwzorowania .
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 5<br />
Z rysunku możemy się zorientować, że ciąg jest<br />
ograniczony z dołu przez liczbę oraz że jest<br />
malejący, co poniżej ściśle wykażemy.<br />
1. Ograniczoność.<br />
(26)<br />
(27)<br />
Rys 2. Rekurencja opisana wzorem (24) dla ).<br />
Tak jak poprzednio ograniczoność ciągu udowodnimy metodą indukcji matematycznej.<br />
1. Dla mamy .<br />
2. Teraz dowodzimy implikacji:<br />
Znajdziemy znak wyrażenia :<br />
Otrzymana nierówność wynika z założenia indukcyjnego.<br />
Ciąg jest więc faktycznie ograniczony z dołu:<br />
(28)<br />
2. Monotoniczność.<br />
(29)<br />
Obliczymy teraz różnicę dwóch kolejnych wyrazów ciągu:<br />
Wyrażenie to jest ujemne, co jest konsekwencją własności (28) i oznacza, że ciąg jest malejący.<br />
Ciąg monotoniczny i ograniczony ma na pewno granicę, którą oznaczymy literą . Skoro granica ta istnieje, to<br />
możemy po obu stronach równania (24) przejść z do nieskończoności, otrzymując:<br />
(30)<br />
Równanie to ma dwa rozwiązania: lub i tylko jedna z tych liczb może być granicą ciągu . Ciąg<br />
ograniczony z dołu przez liczbę nie może być jednak zbieżny do . Stąd wynika, że:<br />
(31)
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 6<br />
Zadanie 5<br />
Zbadać zbieżność ciągu określonego rekurencyjnie:<br />
(32)<br />
gdzie .<br />
Wskazówka<br />
Należy rozłożyć ciąg na dwa podciągi ograniczone i monotoniczne.<br />
Rekurencja tym razem opisana jest wzorem:<br />
(33)<br />
Rozwiązanie 1<br />
Przebieg funkcji przedstawiony jest na rysunku 3. Jest ona w interesującym nas przedziale malejąca, a ciąg<br />
wydaje się oscylować wokół punktu , który jest rozwiązaniem równania i jednocześnie<br />
kandydatem na granicę ciągu . Rysunek ten mówi nam, że musimy zmienić nasz sposób postępowania w<br />
stosunku do poprzednich zadań, gdyż w tym przykładzie nie mamy do czynienia z ciągiem monotonicznym. Jednakże<br />
można mieć nadzieję, że monotoniczne (i ograniczone) okażą się jego podciągi: ten o indeksach parzystych, czyli<br />
oraz ten o indeksach nieparzystych, czyli , gdzie .<br />
Rys 3. Rekurencja opisana wzorem (32) dla .<br />
Musimy więc zacząć od przekształcenia rekurencji (32) w rekurencję "o dwa":<br />
(34)<br />
i rozpatrzenia kolejno podciągów "parzystego" i "nieparzystego".<br />
1. Ciąg o indeksach parzystych.<br />
(35)<br />
Mamy następującą rekurencję ("o jeden") w zmiennej :
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 7<br />
(36)<br />
(37)<br />
Z rysunku możemy wnosić, że ciąg ten jest malejący i ograniczony z dołu przez liczbę ( jest punktem<br />
stałym funkcji , ale także ). Wykażemy poniżej, że tak jest w istocie.<br />
1. Ograniczoność.<br />
Ograniczoność ciągu udowodnimy --- jak zwykle --- metodą indukcji matematycznej.<br />
1. Dla mamy .<br />
2. Teraz dowiedziemy prawdziwości implikacji:<br />
Znajdziemy znak wyrażenia :<br />
gdzie ostatnia nierówność wynika z założenia indukcyjnego.<br />
Ciąg jest więc rzeczywiście ograniczony z dołu:<br />
(38)<br />
2. Monotoniczność.<br />
(39)<br />
(40)<br />
Obliczymy teraz różnicę dwóch kolejnych wyrazów ciągu:<br />
co wynika z (38) i oznacza, że ciąg jest malejący.<br />
Ciąg monotoniczny i ograniczony ma granicę, którą oznaczymy literą . Skoro granica ta istnieje to możemy po<br />
obu stronach równania (35) przejść z do nieskończoności, otrzymując:<br />
Równanie to ma dwa rozwiązania: oraz , ale granicą musi być ta druga liczba, gdyż jest ograniczony<br />
z dołu przez dwójkę. Mamy zatem:<br />
(41)<br />
2. Ciąg o indeksach nieparzystych.<br />
(42)<br />
(43)<br />
(44)<br />
Mamy teraz rekurencję w zmiennej :<br />
Na podstawie rysunku wydaje się, że ciąg ten powinien być rosnący i ograniczony z góry przez liczbę .<br />
1. Ograniczoność.<br />
Ograniczoność ciągu wykażemy ponownie metodą indukcji matematycznej.<br />
1. Dla mamy .<br />
2. Teraz dowiedziemy, że:<br />
Następnie rozpatrzymy wyrażenie :<br />
Jak widzimy, ciąg jest ograniczony z góry:<br />
(45)<br />
2. Monotoniczność.<br />
(46)<br />
Różnica dwóch kolejnych wyrazów ciągu wyraża się wzorem analogicznym do (39) :
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 8<br />
(47)<br />
i jest dodatnia, co jest konsekwencją (45).<br />
Mamy do czynienia z ciągiem ograniczonym i monotonicznym, a zatem ma on granicę ( ). Przechodąc z do<br />
nieskończoności po obu stronach równania (42) otrzymujemy:<br />
Jest to równanie identyczne do (40) i oczywiście ma takie same rozwiązania. Mamy więc:<br />
(48)<br />
Ponieważ , więc oba podciągi zbieżne są do tej samej granicy. Jest to też granica samego ciągu ,<br />
gdyż do podciągu "parzystego" i "nieparzystego" należą wszystkie wyrazy ciągu (wystarczyłoby nawet, gdyby<br />
należały tylko prawie wszystkie).<br />
Rozwiązanie 2<br />
Udowadniamy najpierw, że (prosty dowód indukcyjny). Jak już wiemy kandydatem na granicę<br />
jest 2. Zapiszmy różnicę następująco<br />
W liczniku odtworzyła nam się różnica dla wyrazu wcześniejszego! Mamy dla dowolnego<br />
trzech ciągach mamy<br />
Zadanie 6<br />
skąd otrzymujemy<br />
. Wyrażenie po prawej stronie nierówności zbiega do zera wobec tego z twierdzenia o<br />
Zbadać zbieżność ciągu określonego rekurencyjnie:<br />
(49)<br />
gdzie .<br />
Wskazówka<br />
Należy rozłożyć ciąg na dwa podciągi ograniczone i monotoniczne.<br />
Rekurencja dana jest wzorem:<br />
(50)<br />
Rozwiązanie<br />
Wykres funkcji przedstawiony jest na rysunku 4 i, jak widać, dla dodatnich wartości jest ona malejąca. W<br />
konsekwencji ciąg oscyluje wokół punktu , który jest rozwiązaniem równania i może<br />
ewentualnie stanowić jego granicę. Postąpimy więc podobnie jak poprzednio - rozłożymy ciąg na dwa podciągi:<br />
oraz , gdzie .
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 9<br />
Rys. 4. Rekurencja opisana wzorem (49) dla .<br />
Przekształcimy teraz rekurencję (49) na rekurencję "o dwa":<br />
(51)<br />
i badać będziemy osobno podciągi "parzysty" i "nieparzysty".<br />
1. Ciąg o indeksach parzystych.<br />
(52)<br />
(53)<br />
(54)<br />
Mamy następującą rekurencję ("o jeden") w zmiennej :<br />
Z rysunku wynika, że ciąg ten powinien być rosnący i ograniczony z góry przez liczbę (punkt stały dla funkcji<br />
oraz ). Wykażemy te własności poniżej.<br />
1. Ograniczoność.<br />
Znów stosujemy indukcję matematyczną.<br />
1. Dla mamy: , gdyż .<br />
2. Teraz wykazujemy, że:<br />
Zbadamy znak wyrażenia :<br />
Ciąg jest więc ograniczony z góry:<br />
(55)<br />
2. Monotoniczność.<br />
(56)<br />
Obliczymy różnicę dwóch kolejnych wyrazów ciągu:<br />
co wynika z (55). Oznacza to, że badany podciąg jest rosnący.
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 10<br />
(57)<br />
Podciąg "parzysty" jest monotoniczny i ograniczony, a zatem ma granicę ( ). Liczba ta spełnia równanie:<br />
które ma dwa rozwiązania: oraz , przy czym ta druga liczba jest szukaną granicą podciągu :<br />
(58)<br />
2. Ciąg o indeksach nieparzystych.<br />
(59)<br />
(60)<br />
(61)<br />
Mamy teraz następującą rekurencję w zmiennej :<br />
Na podstawie rysunku podejrzewamy, że podciąg ten jest malejący i ograniczony z dołu przez liczbę .<br />
1. Ograniczoność.<br />
1. Dla mamy .<br />
2. Teraz musimy dowieść, że:<br />
Rozpatrzymy wyrażenie :<br />
Podciąg jest więc ograniczony z dołu:<br />
(62)<br />
2. Monotoniczność.<br />
(63)<br />
(64)<br />
(65)<br />
Różnica dwóch kolejnych wyrazów ciągu wyraża się wzorem podobnym do (56):<br />
Mamy więc do czynienia z podciągiem ograniczonym i monotonicznym, a zatem ma on granicę ( ) spełniającą<br />
równanie:<br />
Jest to równanie identyczne do (57) i oczywiście ma takie same rozwiązania. Otrzymujemy więc:<br />
Jak widzimy , więc oba podciągi mają tę samą granicę. Podobnie jak w poprzednim przykładzie<br />
wnosimy stąd, że jest ona też granicą samego ciągu .<br />
Zadanie 7<br />
Zbadać zbieżność ciągu określonego rekurencyjnie:<br />
(66)<br />
dla przypadków:<br />
1. .<br />
2. .
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 11<br />
Należy zbadać, czy ciąg jest ograniczony i monotoniczny.<br />
Rekurencja w tym przypadku dana jest wzorem:<br />
(67)<br />
Wskazówka<br />
Rozwiązanie<br />
Zbadamy, czy uda się wykazać, że ciąg jest monotoniczny i ograniczony.<br />
1. .<br />
(68)<br />
(69)<br />
Przebieg funkcji przedstawiony jest na rysunku 5a, gdzie zaznaczone zostały także kolejne wyrazy ciągu.<br />
Szkic ten podpowiada nam, że ciąg jest rosnący i ograniczony z góry przez dwójkę (która jest jedynym<br />
punktem stałym odwzorowania ), co postaramy się poniżej udwowodnić.<br />
Rys 5a. Rekurencja opisana wzorem (66), gdy .<br />
1. Ograniczoność.<br />
Ograniczoność ciągu wykażemy korzystając, jak zwykle, z indukcji matematycznej.<br />
1. Dla mamy .<br />
2. Teraz dowodzimy następującej implikacji:<br />
Znajdziemy znak wyrażenia :<br />
co wynika z założenia indukcyjnego.<br />
Ciąg jest więc rzeczywiście ograniczony:<br />
(70)<br />
2. Monotoniczność.<br />
Obliczymy różnicę dwóch kolejnych wyrazów ciągu:
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> 12<br />
(71)<br />
(72)<br />
Ciąg jest więc rosnący. Zauważmy, że w przeciwieństwie do poprzednich przykładów, ostatnia nierówność<br />
jest prawdziwa niezależnie od tego, czy , czy , więc słuszna będzie ona także w podpunkcie b.<br />
Rys 5b. Rekurencja opisana wzorem (66) dla .<br />
Wynika stąd, że ciąg ma granicę i spełnia ona równanie:<br />
którego jedynym rozwiazaniem jest . Liczba ta musi więc być szukaną granicą ciągu:<br />
(73)<br />
2. .<br />
Sytuacja, z jaką mamy teraz do czynienia, przedstawiona jest na rysunku 5b. Kolejne wyrazy ciągu "uciekają" od<br />
punktu stałego, a kolejnego punktu stałego odwzorowanie nie ma. To że ciąg jest rzeczywiście rosnący,<br />
wykazaliśmy już zresztą w ścisły sposób w punkcie a. Wiedza ta wystarcza nam do wyciagnięcia wniosku, że<br />
ciąg jest rozbieżny. Granicą może być bowiem tylko punkt stały, a innego takiego punktu poza dwójką nie ma.<br />
Rosnący ciąg liczb , dla którego nie może być jednak zbieżny do .
Źródła i autorzy artykułu 13<br />
Źródła i autorzy artykułu<br />
<strong>Matematyka</strong>:<strong>Matematyka</strong> I - <strong>ćwiczenia</strong>/<strong>Ciągi</strong> <strong>rekurencyjne</strong> Źródło: https://brain.fuw.edu.pl/edu-wiki/index.php5?oldid=11669 Autorzy: Asia, Maciejun, Torado<br />
Źródła, licencje i autorzy grafik<br />
Plik:ciarek1.jpg Źródło: https://brain.fuw.edu.pl/edu-wiki/index.php5?title=Plik:Ciarek1.jpg Licencja: nieznany Autorzy: -<br />
Plik:ciarek2.jpg Źródło: https://brain.fuw.edu.pl/edu-wiki/index.php5?title=Plik:Ciarek2.jpg Licencja: nieznany Autorzy: -<br />
Plik:ciarek3.jpg Źródło: https://brain.fuw.edu.pl/edu-wiki/index.php5?title=Plik:Ciarek3.jpg Licencja: nieznany Autorzy: -<br />
Plik:ciarek4.jpg Źródło: https://brain.fuw.edu.pl/edu-wiki/index.php5?title=Plik:Ciarek4.jpg Licencja: nieznany Autorzy: -<br />
Plik:ciarek5a.jpg Źródło: https://brain.fuw.edu.pl/edu-wiki/index.php5?title=Plik:Ciarek5a.jpg Licencja: nieznany Autorzy: -<br />
Plik:ciarek5b.jpg Źródło: https://brain.fuw.edu.pl/edu-wiki/index.php5?title=Plik:Ciarek5b.jpg Licencja: nieznany Autorzy: -<br />
Licencja<br />
Attribution-Share Alike 3.0 PL<br />
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/ pl