Processing math: 50%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
2 beğenilme 0 beğenilmeme
6.1k kez görüntülendi

(an)n bir dizi olsun. a0 ve a1 verilmiş olsun ve n1 için an+1= uan + van1 olsun. Eğer (an)n dizisinin limiti varsa ve 0'dan farklıysa, u ve v sayıları hakkında ne söyleyebilirsiniz?

Yorum: u,v(0,1) olması gerek ve yeter şart mıdır?

Lisans Matematik kategorisinde (691 puan) tarafından 
tarafından düzenlendi | 6.1k kez görüntülendi

Genel terimi a0=0, a1=1 ve an+1=an+an1 olan (an) dizisi bildiğiniz üzere Fibonacci dizisi olarak bilinir. Genel teriminden de anlaşılacağı üzere u,v(0,1).

Ancak Fibonacci dizisinin limiti yoktur.Yani ıraksaktır. u ve v ne olmalı ki bu dizi yakınsak olmalı?

Haklısın orayı atlamışım.

Birkaç terim açınca, an'nin genel formunun, fik,gikN olmak üzere, an=fn(u,v)a1+gn(u,v)a0, fn(u,v)=n1i=0n2k=0fikuivk, gn(u,v)=n2i=0n1k=0gikuivk olduğu görülecektir. Eğer aynı anda a0,a1>0 veyâ a0,a1<0 sağlanıyorsa, o hâlde an'nin yakınsak olması için fn ve gn serîlerinin de yakınsak olmaları gerekir ve yeter. Bu serîlerin yakınsak olması için ise görebildiğim kadarıyla u,v(0,1) olmalı. 

a0,a1'in işâretlerinin farklı olması durumu oldukça karışık gibi.  

fn ve gn serilerinin ayrı ayrı yakınsak olmaları gerekli mi? Toplamlarının yakınsak olması  yetmez mi?

Ayrı ayrı yaşadıkları için öyle yazdım. Ama çok da önemli değil bu aşamada, bence. Yorumumda "zannettiğimi" söylediğim şeylerin isbâtı önemli. Ama nasıl olacak bilmiyorum! Bir çeşit tümevarımla mı olacak? Denemek lâzım...

2 Cevaplar

3 beğenilme 0 beğenilmeme
En İyi Cevap

Öncelikle güzel bir soru olduğunu ifade etmek isterim.

Ben aşağıdaki önermeyi kanıtlayacağım;

u>0 ve v>0 olmak üzere, 

an+1=u.an+v.an1         (1)

şeklindeki rekürsif dizinin sıfırdan farklı sonlu limitinin olması için gerek ve yeter koşul u+v=1 olmasıdır.

Kanıt: Gereklilik açıktır; 

lim

 olsun. (1)'de limite geçersek, a=u.a+v.a olur ki, buradan da u+v=1 bulunur.

Yeterlilik: u>0, v>0 ve u+v=1 olsun. (1)'de u=1-v yazalım:

a_{n+1}=\left( 1-v\right) .a_{n}+v.a_{n-1}, buradan da

a_{n+1}-a_{n}=\left( -v\right) \left( a_{n}-a_{n-1}\right)

Şimdi a_{n}-a_{n-1}=b_{n} . dersek b_{n+1}=\left( -v\right) b_{n}.

Yani  (b_{n}) bir geometrik dizidir. 

b_{n+1}=\left( -v\right) ^{n}b_{1}

burada b_{1}=a_{1}-a_{0} dır. Yukarıdaki eşitlikten, 

a_{n+1}-a_{n}=\left( -v\right) ^{n}b_{1} 

veyahutta, 

a_{n}=a_{n+1}-\left( -v\right) ^{n}b_{1} 

bulunur. Bu son eşitliği m-defa tekrar edersek,

a_{n}=a_{n+2}-\left( -v\right) ^{n+1}b_{1}-\left( -v\right)^{n}b_{1}=...=a_{n+m}-\left( -v\right) ^{n+m-1}b_{1}-\left( -v\right)^{n+m-2}b_{1}-...-\left( -v\right) ^{n}b_{1} 

elde edilir. Buradan da

\left\vert a_{n+m}-a_{n}\right\vert \leq \left\vert b_{1}\right\vert \left(v^{n+m-1}+v^{n+m-2}+...+v^{n}\right) \leq \left\vert b_{1}\right\vert \frac{1}{1-v}v^{n} 

bulunur. Yani

\left\vert a_{n+m}-a_{n}\right\vert \leq  |b_1|\frac{1}{1-v}v^n. Burada 0<v<1 olduğundan \left\{ a_{n}\right\} _{n\geq 1} dizisinin bir Cauchy dizisi olduğu çıkar. Dolayısıyla sonlu limiti vardır.

(623 puan) tarafından 
tarafından düzenlendi
1 beğenilme 0 beğenilmeme

Dizi yakınsak ise (limit 0 olsun ya da olmasın) her i için (x_n - x_{n-i})_n dizisi sıfıra yakınsayacaktır. O zaman bu şekilde özyinelemeli (recursive) tanımlanmış bir (x_n)_n dizisinin  yakınsayabilmesi için gerekli koşul u+v=1 olmalıdır. Değilse ve dizi hala yakınsak ise o zaman ancak 0'a yakınsayabilir.

(128 puan) tarafından 
tarafından düzenlendi
a_0 ve a_1 farkli olup u=0 ve v=1 oldugunda dizinin limiti yok. Yani u + v = 1 olmasi yeterli degil.

Ben de "gerekli" dedim zaten, "yeterli" degil.

Haklısınız, gözümden kaçmış.

20,291 soru
21,832 cevap
73,524 yorum
2,660,163 kullanıcı