Alternatif seriler - Alternating series

Bu makale için ek alıntılara ihtiyaç var doğrulama. Lütfen yardım et bu makaleyi geliştir tarafından güvenilir kaynaklara alıntılar eklemek. Kaynaksız materyale itiraz edilebilir ve kaldırılabilir. Kaynakları bulun: "Alternatif seriler"  – Haberler  · gazeteler  · kitabın  · akademisyen  · JSTOR (Ocak 2010) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

İçinde matematik, bir alternatif seriler bir sonsuz seriler şeklinde

${ displaystyle toplamı _ {n = 0} ^ { infty} (- 1) ^ {n} a_ {n}}$ veya ${ displaystyle toplamı _ {n = 0} ^ { infty} (- 1) ^ {n + 1} a_ {n}}$

ile a_n Tümü için> 0n. Genel terimlerin işaretleri, pozitif ve negatif arasında değişmektedir. Herhangi bir seri gibi, bir alternatif seri birleşir ancak ve ancak kısmi toplamların ilişkili dizisi yakınsak.

Örnekler

Geometrik seri 1/2 − 1/4 + 1/8 − 1/16 + ⋯ toplamı 1 / 3'tür.

alternatif harmonik seriler sınırlı bir toplamı var ama harmonik seriler değil.

Mercator serisi analitik bir ifade sağlar doğal logaritma:

${ displaystyle toplamı _ {n = 1} ^ { infty} { frac {(-1) ^ {n + 1}} {n}} x ^ {n} ; = ; ln (1+ x).}$

Sinüs ve kosinüs fonksiyonları trigonometri Temel cebirde bir dik üçgenin kenarlarının oranı olarak tanıtılsalar bile, analizde alternatif seriler olarak tanımlanabilir. Aslında,

${ displaystyle sin x = toplam _ {n = 0} ^ { infty} (- 1) ^ {n} { frac {x ^ {2n + 1}} {(2n + 1)!}}}$, ve

${ displaystyle cos x = toplam _ {n = 0} ^ { infty} (- 1) ^ {n} { frac {x ^ {2n}} {(2n)!}}.}$

Alternatif faktör (–1)ⁿ bu serilerden çıkarılırsa, hiperbolik fonksiyonlar kalkülüste kullanılan sinh ve cosh.

Tam sayı veya pozitif indeks için α Bessel işlevi birinci tür, alternatif serilerle tanımlanabilir

${ displaystyle J _ { alpha} (x) = sum _ {m = 0} ^ { infty} { frac {(-1) ^ {m}} {m! , Gama (m + alpha + 1)}} { left ({ frac {x} {2}} sağ)} ^ {2m + alpha}}$ nerede Γ (z) gama işlevi.

Eğer s bir karmaşık sayı, Dirichlet eta işlevi alternatif bir seri olarak oluşturulur

${ displaystyle eta (s) = toplam _ {n = 1} ^ { infty} {(- 1) ^ {n-1} n ^ {s}} üzerinde = { frac {1} {1 ^ {s}}} - { frac {1} {2 ^ {s}}} + { frac {1} {3 ^ {s}}} - { frac {1} {4 ^ {s}} } + cdots}$

kullanılan analitik sayı teorisi.

Alternatif seri testi

"Leibniz Testi" olarak bilinen teorem veya alternatif seri testi bize, değişen bir serinin, şartların a_n 0'a yakınsamak tekdüze olarak.

İspat: Sırayı varsayalım ${ displaystyle a_ {n}}$ sıfıra yakınsar ve monoton azalır. Eğer ${ displaystyle m}$ garip ve ${ displaystyle m$, tahmini elde ederiz ${ displaystyle S_ {n} -S_ {m} leq a_ {m}}$ aşağıdaki hesaplama yoluyla:

${ displaystyle { başla {hizalı} S_ {n} -S_ {m} & = toplam _ {k = 0} ^ {n} (- 1) ^ {k} , a_ {k} , - , toplam _ {k = 0} ^ {m} , (- 1) ^ {k} , a_ {k} = toplam _ {k = m + 1} ^ {n} , (- 1 ) ^ {k} , a_ {k} & = a_ {m + 1} -a_ {m + 2} + a_ {m + 3} -a_ {m + 4} + cdots + a_ {n} & = displaystyle a_ {m + 1} - (a_ {m + 2} -a_ {m + 3}) - (a_ {m + 4} -a_ {m + 5}) - cdots -a_ { n} leq a_ {m + 1} leq a_ {m}. end {hizalı}}}$

Dan beri ${ displaystyle a_ {n}}$ tekdüze olarak azalıyor, terimler ${ displaystyle - (a_ {m} -a_ {m + 1})}$ negatiftir. Böylece, son eşitsizliğe sahibiz: ${ displaystyle S_ {n} -S_ {m} leq a_ {m}}$. Benzer şekilde gösterilebilir ki ${ displaystyle -a_ {m} leq S_ {n} -S_ {m}}$. Dan beri ${ displaystyle a_ {m}}$ yakınsamak ${ displaystyle 0}$bizim kısmi toplamlarımız ${ displaystyle S_ {m}}$ oluşturmak Cauchy dizisi (yani seri, Cauchy kriteri ) ve bu nedenle birleşir. İçin argüman ${ displaystyle m}$ hatta benzer.

Yaklaşık toplamlar

Yukarıdaki tahmin şunlara bağlı değildir ${ displaystyle n}$. Öyleyse, eğer ${ displaystyle a_ {n}}$ monoton olarak 0'a yaklaşıyor, tahmin bir hata sınırı sonsuz toplamları kısmi toplamlarla yaklaşık olarak belirlemek için:

${ displaystyle sol | toplamı _ {k = 0} ^ { infty} (- 1) ^ {k} , a_ {k} , - , toplamı _ {k = 0} ^ {m} , (- 1) ^ {k} , a_ {k} right | leq | a_ {m + 1} |.}$

Mutlak yakınsama

Bir dizi ${ displaystyle toplamı a_ {n}}$ kesinlikle birleşir eğer dizi ${ displaystyle toplamı | a_ {n} |}$ birleşir.

Teorem: Kesinlikle yakınsak seriler yakınsaktır.

İspat: Varsayalım ${ displaystyle toplamı a_ {n}}$ kesinlikle yakınsak. Sonra, ${ displaystyle toplamı | a_ {n} |}$ yakınsaktır ve bunu takip eder ${ displaystyle toplamı 2 | a_ {n} |}$ aynı zamanda birleşir. Dan beri ${ displaystyle 0 leq a_ {n} + | a_ {n} | leq 2 | a_ {n} |}$, seri ${ displaystyle toplamı (a_ {n} + | a_ {n} |)}$ ile birleşir karşılaştırma testi. Bu nedenle dizi ${ displaystyle toplamı a_ {n}}$ iki yakınsak serinin farkı olarak yakınsar ${ displaystyle toplamı a_ {n} = toplamı (a_ {n} + | a_ {n} |) - toplamı | a_ {n} |}$.

Koşullu yakınsama

Bir dizi koşullu yakınsak yakınsarsa ama kesinlikle birleşmezse.

Örneğin, harmonik seriler

${ displaystyle toplamı _ {n = 1} ^ { infty} { frac {1} {n}}, !}$

alternatif versiyon ise farklılaşır

${ displaystyle toplamı _ {n = 1} ^ { infty} { frac {(-1) ^ {n + 1}} {n}}, !}$

ile birleşir alternatif seri testi.

Yeniden düzenlemeler

Herhangi bir dizi için, toplama sırasını yeniden düzenleyerek yeni bir dizi oluşturabiliriz. Bir dizi koşulsuz yakınsak herhangi bir yeniden düzenleme, orijinal seriyle aynı yakınsamaya sahip bir seri oluşturursa. Kesinlikle yakınsak seriler koşulsuz yakınsaktır. Ama Riemann serisi teoremi koşullu yakınsak serilerin rastgele yakınsama oluşturmak için yeniden düzenlenebileceğini belirtir.^[1] Genel ilke, sonsuz toplamların eklenmesinin yalnızca mutlak yakınsak seriler için değişmeli olmasıdır.

Örneğin, 1 = 0'ın sonsuz meblağlar için çağrışım başarısızlığından yararlandığına dair bir yanlış kanıt.

Başka bir örnek olarak, Biz biliyoruz ki

${ displaystyle ln (2) = toplam _ {n = 1} ^ { infty} { frac {(-1) ^ {n + 1}} {n}} = 1 - { frac {1} {2}} + { frac {1} {3}} - { frac {1} {4}} + cdots.}$

Ancak, dizi kesinlikle yakınsamadığından, bir dizi elde etmek için terimleri yeniden düzenleyebiliriz. ${ displaystyle { frac {1} {2}} ln (2)}$:

${ displaystyle { başla {hizalı} & {} quad sol (1 - { frac {1} {2}} sağ) - { frac {1} {4}} + sol ({ frac {1} {3}} - { frac {1} {6}} sağ) - { frac {1} {8}} + sol ({ frac {1} {5}} - { frac {1} {10}} right) - { frac {1} {12}} + cdots [8pt] & = { frac {1} {2}} - { frac {1} {4 }} + { frac {1} {6}} - { frac {1} {8}} + { frac {1} {10}} - { frac {1} {12}} + cdots [8pt] & = { frac {1} {2}} left (1 - { frac {1} {2}} + { frac {1} {3}} - { frac {1} { 4}} + { frac {1} {5}} - { frac {1} {6}} + cdots right) = { frac {1} {2}} ln (2). End {hizalı}}}$

Seri hızlanma

Uygulamada, alternatif bir dizinin sayısal toplamı, çeşitli türlerden herhangi biri kullanılarak hızlandırılabilir. seri hızlanma teknikleri. En eski tekniklerden biri, Euler toplamı ve daha da hızlı yakınsama sunabilecek birçok modern teknik var.

Ayrıca bakınız

• Grandi dizisi
• Nörlund – Pirinç integrali

Notlar

Referanslar

• Earl D. Rainville (1967) Sonsuz seriler, s. 73–6, Macmillan Yayıncıları.
• Weisstein, Eric W. "Alternatif Seriler". MathWorld.