Gauss Sürekli Kesri

Kısaca: Gauss sürekli kesri karmaşık analiz'de, hipergeometrik fonksiyon'dan türetilen sürekli kesirler'in özel sınıfıdır.ilk analitik sürekli kesirler matematik biliniyordu, ve önemli Temel fonksiyon'ların yanı sıra bazıları daha komplike aşkın fonksiyon'uda temsil etmek için kullanılabilir. ...devamı ☟

Gauss sürekli kesri karmaşık analiz'de, hipergeometrik fonksiyon'dan türetilen sürekli kesirler'in özel sınıfıdır.ilk analitik sürekli kesirler matematik biliniyordu, ve önemli Temel fonksiyon'ların yanı sıra bazıları daha komplike aşkın fonksiyon'uda temsil etmek için kullanılabilir. Tarihçe Lambert 1768 yılında sürekli kesirlerin çeşitli örnekleriniformülünü yayınlanan , ve Euler ve Lagrange ikilisi benzer yapıları incelenmiştir, ama Bu sürekli kesirlerin genel formu anlamak için sonraki bölümde açıklanan zekice cebrik hüner kullananCarl Friedrich Gauss'tur, in 1813. Gauss bu sürekli kesirlerin şeklinde vermesine rağmen,yakınsaklık özelliklerinin kanıtını vermedi Bernhard Riemann and L.W. Thomé kısmi sonuçlar elde etti,Ama bu sürekli kesirlerin yakınsadığı bölge hakkındaki son sözü 1901 Edward Burr Van Vleck tarafından yılına kadar verilmiştir . Türevleri öğle f_0, f_1, f_2, \dots Analitik fonksiyonlar dizisi olsunki :f_ - f_i = k_i\,z\,f_ :i > 0tümü için, burada her birk_i is bir sabittir. sonra :\frac} = 1 + k_i z \frac},\, \frac} = \frac}}. çerçeve g_i = f_i / f_ şeklindedir, :g_i = \frac}, böylece :g_1 = \frac = \cfrac = \cfrac} = \cfrac}} = \dots\ . Bunun sonsuza tekrarlanmasıyla sürekli kesirler ifadesi üretiliyor :\frac = \cfrac\ddots}}}} Gauss sürekli kesirler olarak, fonksiyonlar f_i _0F_1 formu,_1F_1, ve _2F_1 ve hipergeometrik fonksiyonları ve denklemler f_ - f_i = k_i z f_ parametrelerin tamsayı miktarlarda farklı işlevleri arasında özellikler olarak ortaya çıkmaktadır. Bu özellikler,dizi açılımı ve katsayıları karşılaştırılarak veya çeşitli şekillerde türev alarak ve oluşturulan denklemleri onu ortadan kaldırarak,örnek çeşitli şekillerde ispat edilebilir.

0F1 serisi

basit durumu içerir :\,_0F_1(;a;z) = 1 + \fracz + \fracz^2 + \fracz^3 + \cdots\ . özelliği ile başlayarak :\,_0F_1(;a-1;z)-\,_0F_1(;a;z) = \frac\,_0F_1(;a+1;z), alarak :f_i = _0F_1(;a+i;z),\,k_i = \tfrac, veriliyor :\frac = \cfracz} z}z}\ddots}}}} veya :\frac = \cfrac \ddots}}}}. Bu iki seri oranı ile ( tabiki bu,bir sıfır ya da negatif olmayan ile sağlanan tamsayıdır) meromorfik fonksiyon olarak tanımlanan iki yakınsak açılım;

1F1 serisi

Bu son durum içinde :_1F_1(a;b;z) = 1 + \fracz + \fracz^2 + \fracz^3 + \dots iki eşitlik için :\,_1F_1(a;b-1;z)-\,_1F_1(a+1;b;z) = \frac\,_1F_1(a+1;b+1;z) :\,_1F_1(a;b-1;z)-\,_1F_1(a;b;z) = \frac\,_1F_1(a+1;b+1;z) değişik olarak kullanılır. böylece :f_0(z) = \,_1F_1(a;b;z), :f_1(z) = \,_1F_1(a+1;b+1;z), :f_2(z) = \,_1F_1(a+1;b+2;z), :f_3(z) = \,_1F_1(a+2;b+3;z), :f_4(z) = \,_1F_1(a+2;b+4;z), gibi. verilen f_ - f_i = k_i z f_ burada k_1=\tfrac, k_2=\tfrac, k_3=\tfrac, k_4=\tfrac, :\frac}}} veya :\frac}}} Aynı şekilde :\frac}}} veya :\frac}}} :_1F_1(0;b;z)=1'den dolayı, se a ya 0 ve b+1 ile b konularak ilk sürekli kesir içnde basit özel bir durum ilk sürekli kesir içinde verilir: :_1F_1(1;b;z) = \cfrac\ddots}}}}}}

2F1 serisi

bu son durum içinde :_2F_1(a,b;c;z) = 1 + \fracz + \fracz^2 + \fracz^3 + \dots\,. Tekrar iki değişik kullanım :\,_2F_1(a,b;c-1;z)-\,_2F_1(a+1,b;c;z) = \frac\,_2F_1(a+1,b+1;c+1;z), :\,_2F_1(a,b;c-1;z)-\,_2F_1(a,b+1;c;z) = \frac\,_2F_1(a+1,b+1;c+1;z). Burada aynı eşitlikler aslında with a ve b aralarında değiştirilebilir. Böylece :f_0(z) = \,_2F_1(a,b;c;z), :f_1(z) = \,_2F_1(a+1,b;c+1;z), :f_2(z) = \,_2F_1(a+1,b+1;c+2;z), :f_3(z) = \,_2F_1(a+2,b+1;c+3;z), :f_4(z) = \,_2F_1(a+2,b+2;c+4;z), gibi. verilenf_ - f_i = k_i z f_ ile burada k_1=\tfrac, k_2=\tfrac, k_3=\tfrac, k_4=\tfrac, ürünü :\frac}}} veya :\frac}}} _2F_1(0,b;c;z)=1 bağıntısından, a ya 0 ve cyerine+1 ye ile c sürekli kesirler basitleştirilmiş bir özel bir durumunu verir: :_2F_1(1,b;c;z) = \cfrac\ddots}}}}}} ==Uygulamalar0F1 serisi elimizde :\cosh(z) = \,_0F_1(};}), :\sinh(z) = z\,_0F_1(};}), var. böylece :\tanh(z) = \frac};})}};})} = \cfrac + \cfrac} + \cfrac} + \cfrac} + \ddots}}}} = \cfrac\ddots}}}}. Bu özel açılım Lambert sürekli kesri olarak bilinir ve 1768'tarihine dönerek. bu aşağıda kolayca :\tan(z) = \cfrac\ddots}}}}. tanh için en açılımı kullanılabilir her ntamsayısı için irrasyoneldir (e aşkın)'dır. Lambert ve Legendre ikilisi tarafından π'nin irrasyonel olduğunu kanıtlamak için bu açılım kullanıldı. Bessel fonksiyonu J_\nu yazılabilir :J_\nu(z) = \fracz)^\nu}\,_0F_1(;\nu+1;-\frac), dan aşağıda :\frac(z)}=\cfrac\ddots}}}}. Ayrıca her karmaşık z değeri için buradaki form.

1F1 serisi

Since e^z = _1F_1(1;1;z), 1/e^z = e^ :e^z = \cfrac\ddots}}}}}} :e^z = 1 + \cfrac\ddots}}}}}. Bazı manipülasyonlarda, Bunun basit sürekli kesirlerini temsil ve kanıt için kullanılabilirler e, :e=2+\cfrac\ddots}}}}} Hata fonksiyonu erf (z), : \operatorname(z) = \frac}\int_0^z e^ dt, ile verilir Ayrıca Kummer hipergeometrik fonksiyon açısından hesaplanabilir: : \operatorname(z) = \frac} e^ \,_1F_1(1;};z^2). her karmaşık sayı z için geçerli bir açılım uygulayarak Gauss sürekli kesri elde edilebilir: : \frac} e^ \operatorname(z) = \cfrac + \cfrac - \cfracz^2} + \cfrac - \cfracz^2} + \cfrac - \cfracz^2} + - \ddots}}}}}}}}. Benzer bir argüman Fresnel integrali,Dawson fonksiyonu,tamamlanmamış Gama fonksiyonu için sürekli kesirler açılımlarını türetmek için yapılabilir.üstel fonksiyon tartışmanın daha basit bir versiyonudur.

2F1 serisi

:(1-z)^=_1F_0(b;;z)=\,_2F_1(1,b;1;z), :(1-z)^ = \cfrac\ddots}}}}} arctan z Taylor serisi açılımını kolayca göstermek için sıfır komşuluğunda verilen : \arctan z = zF(},1;};-z^2). : \arctan z = \cfrac }}}}, Bu özellikle z = 1 olduğu zaman sürekli kesirler oldukça hızlı yakınsar,dokuzuncu yakınsak tarafından π / 4'ün yedi ondalık değeri verir.İlgili serisi : \frac = \cfrac }}} = 1 - \frac + \frac - \frac + - \dots Gerekli yedi ondalık doğruluk verimi için bir milyondan fazla terimleri ile , çok daha yavaş yakınsar. doğal logaritma'nın sürekli kesirler açılımlar üretmek için bu Arcsin fonksiyonu ve genelleştirilmiş binom serileri. argümanın varyasyonları kullanılabilir ,

Notlar

Kaynakça

* * (This is a reprint of the volume originally published by D. Van Nostrand Company, Inc., in 1948.) *

Kaynaklar

Vikipedi

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.