23.10.2013 Views

Matematyka:Matematyka I - ćwiczenia/Ciągi rekurencyjne

Matematyka:Matematyka I - ćwiczenia/Ciągi rekurencyjne

Matematyka:Matematyka I - ćwiczenia/Ciągi rekurencyjne

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!