Gausss devam kesri - Gausss continued fraction - Wikipedia

İçinde karmaşık analiz, Gauss'un devam eden kesri belirli bir sınıftır devam eden kesirler elde edilen hipergeometrik fonksiyonlar. Matematiğin bildiği ilk analitik sürekli kesirlerden biriydi ve birkaç önemli noktayı temsil etmek için kullanılabilir. temel fonksiyonlar ve bazı daha karmaşık aşkın işlevler.

Tarih

Lambert 1768'de bu formda devam eden kesirlerin birkaç örneğini yayınladı ve her ikisi de Euler ve Lagrange benzer yapıları araştırdı,[1] ama öyleydi Carl Friedrich Gauss 1813'te, bu devam eden kesrin genel biçimini çıkarmak için bir sonraki bölümde açıklanan cebiri kullanan.[2]

Gauss bu devam eden fraksiyonun şeklini vermesine rağmen, onun yakınsama özelliklerine dair bir kanıt sunmadı. Bernhard Riemann[3] ve L.W. Thomé[4] kısmi sonuçlar elde edildi, ancak bu devam eden fraksiyonun yakınsadığı bölgeyle ilgili son söz 1901 yılına kadar verilmedi. Edward Burr Van Vleck.[5]

Türetme

İzin Vermek analitik fonksiyonlar dizisi olabilir, böylece

hepsi için her biri nerede sabittir.

Sonra

Ayar

Yani

Bu reklam sonsuzluğunu tekrarlamak, sürekli kesir ifadesini üretir

Gauss'un devam eden kesirinde, fonksiyonlar formun hipergeometrik fonksiyonlarıdır , , ve ve denklemler parametrelerin tamsayı miktarlarına göre farklılık gösterdiği işlevler arasında kimlikler olarak ortaya çıkar. Bu kimlikler, örneğin seriyi genişletip katsayıları karşılaştırarak veya türevi çeşitli şekillerde alıp oluşturulan denklemlerden çıkararak birkaç yolla kanıtlanabilir.

Seri 0F1

En basit durum şunları içerir:

Kimlikle başlayarak

alabiliriz

verme

veya

Bu genişleme, iki yakınsak serinin oranıyla tanımlanan meromorfik işleve yakınsar (tabii ki, a ne sıfır ne de negatif bir tamsayıdır).

Seri 1F1

Bir sonraki dava şunları içerir:

iki kimlik için

dönüşümlü olarak kullanılır.

İzin Vermek

vb.

Bu verir nerede , üreten

veya

benzer şekilde

veya

Dan beri , ayar a 0'a ve değiştiriliyor b + 1 ile b ilk devam eden kesir, basitleştirilmiş bir özel durum verir:

Seri 2F1

Son durum şunları içerir:

Yine dönüşümlü olarak iki kimlik kullanılır.

Bunlar esasen aynı kimliktir a ve b değişti.

İzin Vermek

vb.

Bu verir nerede , üreten

veya

Dan beri , ayar a 0'a ve değiştiriliyor c + 1 ile c devam eden kesrin basitleştirilmiş bir özel durumunu verir:

Yakınsama özellikleri

Bu bölümde, bir veya daha fazla parametrenin negatif bir tamsayı olduğu durumlar hariç tutulmuştur, çünkü bu durumlarda ya hipergeometrik seriler tanımsızdır ya da polinomlardır, dolayısıyla devam eden kesir sonlanır. Diğer önemsiz istisnalar da hariç tutulmuştur.

Durumlarda ve , dizi her yerde birleştiği için sol taraftaki kesir bir meromorfik fonksiyon. Sağ taraftaki devam eden kesirler, herhangi bir kapalı ve sınırlı kümede düzgün bir şekilde yakınsar. kutuplar bu işlevin.[6]

Durumda serinin yakınsama yarıçapı 1'dir ve sol taraftaki kesir, bu daire içindeki meromorfik bir fonksiyondur. Sağ taraftaki devam eden kesirler, bu çemberin içinde her yerde işleve yakınlaşacaktır.

Çemberin dışında, devam eden kesir, analitik devam fonksiyonun pozitif gerçek eksenli karmaşık düzleme, +1 sonsuza kadar kaldırıldı. Çoğu durumda +1 bir dallanma noktasıdır ve +1 pozitif sonsuza, bu fonksiyon için bir dal kesimidir. Devam eden fraksiyon, bu alan üzerinde bir meromorfik işleve yakınsar ve bu alanın herhangi bir kutup içermeyen kapalı ve sınırlı alt kümelerinde tekdüze bir şekilde birleşir.[7]

Başvurular

Seri 0F1

Sahibiz

yani

Bu özel genişleme olarak bilinir Lambert'in devam eden fraksiyonu ve 1768 yılına dayanıyor.[8]

Bunu kolayca takip eder

Tanh'ın genişlemesi bunu kanıtlamak için kullanılabilir. en her tam sayı için irrasyoneldir n (ne yazık ki bunu kanıtlamak için yeterli değil e dır-dir transandantal ). Bronzluğun genişlemesi hem Lambert hem de Legendre -e π'nin irrasyonel olduğunu kanıtlayın.

Bessel işlevi yazılabilir

takip ettiği

Bu formüller her kompleks için de geçerlidir. z.

Seri 1F1

Dan beri ,

Bazı manipülasyonlarla, bu, basit sürekli kesir temsilini kanıtlamak için kullanılabilir.e,

hata fonksiyonu erf (z), veren

Kummer'in hipergeometrik işlevi açısından da hesaplanabilir:

Gauss'un sürekli kesirini uygulayarak, her karmaşık sayı için geçerli olan kullanışlı bir genişletme z elde edilebilir:[9]

Benzer bir argüman için sürekli kesir genişletmeleri türetmek için yapılabilir. Fresnel integralleri, için Dawson işlevi ve için eksik gama işlevi. Argümanın daha basit bir versiyonu, iki yararlı sürekli kesir genişletmesi sağlar. üstel fonksiyon.[10]

Seri 2F1

Nereden

Taylor serisi açılımının Arctanz sıfır mahallesinde

Gauss'un devam eden fraksiyonu bu kimliğe uygulanabilir ve genişlemeyi sağlar.

kesik karmaşık düzlemde ters teğet fonksiyonunun ana dalına yakınsayan, kesiğin sanal eksen boyunca uzandığı ben sonsuza kadar ve -ben sonsuza kadar.[11]

Bu sürekli devam eden kesir, z = 1, π / 4 değerini dokuzuncu yakınsaktan yedi ondalık basamağa verir. Karşılık gelen seri

yedi ondalık basamak doğruluğu sağlamak için bir milyondan fazla terime ihtiyaç duyulduğunda çok daha yavaş yakınsar.[12]

Bu argümanın varyasyonları, için sürekli kesir genişletmeleri üretmek için kullanılabilir. doğal logaritma, arcsin işlevi, ve genelleştirilmiş binom serisi.

Notlar

  1. ^ Jones ve Thron (1980) s. 5
  2. ^ C.F. Gauss (1813), Werke, cilt. 3 s. 134–38.
  3. ^ B. Riemann (1863), "Frazione continua infinita içinde Sullo svolgimento del quoziente di due serie ipergeometriche" Werke. sayfa 400–406. (Ölüm sonrası parça).
  4. ^ L. W. Thomé (1867), "Über die Kettenbruchentwicklung des Gauß'schen Quotienten ..." Jour. für Math. vol. 67 s. 299–309.
  5. ^ E. B. Van Vleck (1901), "Gauss'un devam eden fraksiyonunun ve diğer devam eden fraksiyonların yakınsaması üzerine." Matematik Yıllıkları, cilt. 3 s. 1–18.
  6. ^ Jones ve Thron (1980) s. 206
  7. ^ Wall, 1973 (s. 339)
  8. ^ Duvar (1973) s. 349.
  9. ^ Jones ve Thron (1980) s. 208.
  10. ^ Makaledeki örneğe bakın Padé tablosu genişlemeleri için ez Gauss'un devam eden fraksiyonları olarak.
  11. ^ Duvar (1973) s. 343. Dikkat edin ben ve -ben vardır şube noktaları ters teğet fonksiyonu için.
  12. ^ Jones ve Thron (1980) s. 202.

Referanslar

  • Jones, William B .; Thron, W. J. (1980). Devam Kesirler: Teori ve Uygulamalar. Reading, Massachusetts: Addison-Wesley Publishing Company. pp.198–214. ISBN  0-201-13510-8.
  • Duvar, H. S. (1973). Devam Eden Kesirlerin Analitik Teorisi. Chelsea Yayıncılık Şirketi. s. 335–361. ISBN  0-8284-0207-8.
    (Bu, orijinal olarak D. Van Nostrand Company, Inc. tarafından 1948'de yayınlanan cildin yeniden basımıdır.)
  • Weisstein, Eric W. "Gauss'un Devam Eden Kesiri". MathWorld.