İçeriğe atla

Laurent serisi

Bir Laurent serisi belli bir c noktasına ve integral yolu γ'ya göre tanımlıdır. İntegralin yolu f(z) 'nin içinde holomorf olduğu bir halkada (kırmızı ile gösterilmiştir) yer almalıdır.

Matematikte karmaşık bir fonksiyonun Laurent serisi ("Loran serisi" diye okunur) bu fonksiyonun negatif dereceli terimler de içeren kuvvet serisi temsilidir. Karmaşık fonksiyonların Taylor serileri açılımının mümkün olmadığı durumlarda bu fonksiyonları açıklamak için de kullanılabilir. Laurent serisi ilk defa 1843'te Pierre Alphonse Laurent tarafından yayınlanmış ve bu matematikçinin adını almıştır. Karl Weierstrass 1841'de bu seriyi bulmuş olabilir ancak o zamanda ilk yayınlayan olamamıştır.

Karmaşık bir f(z) fonksiyonunun bir c noktası civarındaki Laurent serisi şu şekilde verilir:

Burada an 'ler sabitlerdir ve Cauchy integral formülü'nün genelleştirmesi olan çizgi integrali ile tanımlanmışlardır:

İntegral yolu olan γ, kendini kesemeyen, c noktasını çevreleyen, f(z)'nin holomorf olduğu bir A halkasında yer alan kapalı, doğrultulabilir ve saat yönünün tersi yönlü bir yoldur.

f(z)'nin bu halkadaki herhangi bir yerdeki açılımı geçerlidir. Sağdaki diyagramda kırmızı ile gösterilen halka ile birlikte γ etiketli örnek bir integral yolu da gösterilmiştir. Uygulamada, bu formül nadiren kullanılır çünkü integralleri bulunması zordur; yerine Laurent serisi, bilinen Taylor serisi ile birleştirilir. Aşağıda anlatıldığı gibi başka ihtimaller olmasına rağmen, an ve c karmaşık sayıları genelde karmaşık sayı olarak alınır.

Yakınsak Laurent serileri

Karmaşık katsayılara sahip Laurent serilerinin karmaşık analizde önemli bir yeri vardır. Özellikle, tekilliklerinin yanında fonksiyonların davranışlarını incelemek için kullanılırlar.

e-1/x2 ve Laurent yaklaşımları (yazıyı görünüz). Laurent serisinin negatif derecesi arttıkça, doğru fonksiyona yaklaşır.

Mesela, f(0) = 0 olan f(x) = e-1/x² fonksiyonunu ele alalım. Gerçel bir fonksiyon olarak, her yerde sonsuz kere türevlenebilir bir fonksiyondur; ancak karmaşık bir fonksiyon olarak x = 0 'da türevli değildir. Üstel fonksiyonun kuvvet serisinde x 'i -1/x2 ile değiştirerek, x = 0 tekilliği dışındaki bütün x karmaşık sayıları için yakınsayan ve f(x) 'e eşit olan Laurent serisini elde ederiz. Yandaki resimde, e-1/x2 siyah çizgi ile gösterilmiştir. Aynı fonksiyonun N = 1, 2, 3, 4, 5, 6, 7 ve 50 için Laurent yaklaşımları

de verilmiştir. N → ∞ oldukça, yaklaşım x = 0 tekillik noktası haricindeki tüm x karmaşık sayılarında daha düzgün olur.

Daha genel olarak, Laurent serileri, diskte tanımlı holomorf fonksiyonları ifade etmekte kullanılan kuvvet serileri kadar, bir halka üzerinde tanımlı holomorf fonksiyonları ifade etmekte kullanılır.

serisinin an karmaşık katsayılarına ve c karmaşık merkezine sahip bir Laurent serisi olduğunu varsayalım. O zaman biricik bir iç yarıçap r ve dış yarıçap R vardır; öyle ki

  • Laurent serisi A := {z : r < |z - c| < R} açık halkasında yakınsar. Laurent serisi yakınsar denirken burada hem pozitif dereceli kuvvet serisinin hem de negatif dereceli kuvvet serisinin yakınsadığı denilmektedir. Dahası, bu yakınsaklık tıkız kümeler üzerinde düzgün olacaktır. Sonuçta, yakınsak seri açık halka üzerinde holomorf bir f(z) fonksiyonu tanımlar.
  • Halka dışında, Laurent serisi ıraksar. Yani, A 'nın dışındaki her noktada, pozitif dereceli ya da negatif dereceli kuvvet serisi ıraksar.
  • Halkanın sınırı üzerinde, iç sınırın üzerindeki en az bir noktada ve dış sınırın üzerindeki en az bir noktada f(z) 'nin holomorf bir şekilde bu noktalara devam ettirilemeyeceğini söylemek dışında genel bir yargıya varmak söz konusu değildir.

r 'nin sıfır olması veya R 'nin sonsuz olması da muhtemeldir ancak r 'nin R 'den küçük olması pek de muhtemel değildir. Bu yarıçaplar şu şekilde hesaplanabilir.

Bu sonraki lim sup sıfır olduğunda R sonsuz olarak alınır.

Tersi bir şekilde,

A = {z : r < |z - c| < R} biçimindeki bir halkayla ve A üzerinde tanmlı, holomorf bir fonksiyon ile başlarsak, o zaman her zaman (an azından) A üzerinde yakınsayan ve f(z) 'yi temsil eden c merkezli bir biricik Laurent serisi vardır.

Örnek olarak

ile başlayalım. Bu fonksiyonun paydanın sıfır ve bu yüzden tüm ifadenin tanımsız olduğu z = 1 ve z = 2i noktalarında tekillikleri vardır. z = 0 civarındaki Taylor serisi (ki bu da bir kuvvet serisidir), 1'de tekillikten geçtiği için sadece 1 yarıçaplı bir disk içinde yakınsayacaktır

Bununla birlikte, z 'nin bulunduğu bölgeye bağlı olarak z = 0 civarında muhtemel üç çeşit Laurent serisi vardır:

  • Birisi |z| < 1; olan diskte geçerlidir ve Taylor serisiyle, yani

ile aynıdır.

(Buradaki teknik, f(z) için olan orijinal ifadeyi kısmi kesirleri kullanarak daha basit iki kesire ayırmayı ve 1/(1-z) 'nin geometrik seri olduğundan yararlanmayı içerir.)

  • Diğeri ise iki tekillik arasında yakalanır ve 1 < |z| < 2 halkasında tanımlıdır.
.
  • Üçüncüsü ise 2 < |z| < ∞ olan sonsuz halkada tanımlıdır.

(Yukarıdaki terimler polinom bölümünden çıkarılabilirler.)

r = 0 olan durum; yani bir f(z) holomorf fonksiyon sadece bir c noktasında tanımsız olduğu durum; özellikle önemlidir.
Böyle bir fonksiyonun Laurent açılımındaki a−1 katsayısına f(z) 'nin c noktasındaki kalıntısı adı verilir ve kalıntı teoreminde önemli bir role sahiptir.

Örnek olarak;

fonksiyonunu ele alalım. Bu fonksiyon z = 0 dışındaki her yerde holomorftur. c = 0 civarındaki Laurent açılımını belirlemek için üstel fonksiyon için bildiğimiz Taylor serisini kullanalım:

Böylece kalıntının 2 olduğunu buluruz.

Örnek

'nin kuvvetleri olarak

fonksiyonunun Laurent serisini bulalım.

İlk önce paydada şu çarpanlara ayırmayı yapalım:

Şimdi de şu değiştirmeyi yapalım:

Sonraki kesir 'ye yakın 'ler için bir geometrik seri olarak açılabilir:

Şimdi seriyi daha önceki kesirle yani -i/2 ile çarpmalıyız. Bunu yapıp her iki tarafı da ile bölersek şunu elde ederiz:

Başka örnek olarak, yukarıdaki fonksiyonun karesinin Laurent serisini bulalım:

Bu da az önce üstte bulduğumuz serinin karesini almayı gerektirir ama sonsuz bir serinin karesini almak da zordur. Ancak; kalıntıları bulmak gibi çoğu amaç için Laurent serisinin ilk birkaç terimini bulmak yeterlidir. Bu ise kabaca ilk üç terimi birbiriyle çarpmakla elde edilir ki, bir üçterimlinin karesine almakla eşdeğerdir. Sonuç ise şudur:

Laurent polinomları

Bir Laurent polinomu, sadece sonlu sayıdaki katsayısı sıfırdan farklı olan bir Laurent serisidir. Laurent polinomları diğer polinomlardan negatif dereceli terimler bağlamında ayrılırlar.

Esaslı kısım

Bir Laurent serisinin esaslı kısımı negatif dereceli terimlerin oluşturduğu seridir yani şudur:

Eğer f 'nin esaslı kısmı sonlu bir toplamsa, o zaman f 'nin c noktasında negatif derecelerin negatifinin en büyüğüne eşit bir mertebeden kutbu vardır veya tersi bir şekilde, eğer esaslı kısım sonsuz bir seriyse, f 'nin c 'de esaslı tekilliği vardır.

f 'nin Laurent serisinin iç yakınsaklık yarıçapı 0 ise, o zaman bu ancak ve ancak şu halde olur: f 'nin c 'de ancak ve ancak esaslı kısmı sonsuz seri ise esaslı tekilliği vardır; öteki türlü bir kutbu vardır.

Eğer iç yakınsaklık yarıçapı pozitifse, f 'nin sonsuz sayıda negatif terimi olabilir ama hala c 'de yukarıdaki örnekte olduğu gibi düzenli olabilir ki bu sefer c etrafında farklı Laurent serileri ile temsil edilir.

Sonlu sayıda negatif terimleri olan bir Laurent serisi çok da heyecan verici değildir – ile bölünmüş bir kuvvet serisidir ve benzer bir şekilde incelenebilir. Ancak; sonsuz tane negatif terime sahip bir Laurent serisinin iç yakınsaklık çemberi üzerindeki davranışı karışık olabilir.

Çarpım

Laurent serileri genel anlamda çarpılamazlar. Cebirsel olarak, çarpımın terimlerinin ifadesi yakınsamak zorunda olmayan sonsuz toplamları içerebilir (tam sayı dizilerinin girşimi alınamaz). Geometrik olarak, iki Laurent serisinin örtüşmeyen yakınsaklık halkası olabilir.

Sadece sonlu sayıda negatif terimler içeren Laurent serileri çarpılabilir: cebirsel olarak, toplamların hepsi sonludur; geometrik olarak, bunların c noktasında kutupları vardır ve iç yakınsaklık yarıçapı 0'dır böylece her ikisi de örtüşen halkalar üzerinde yakınsar.

Bu yüzden, formel Laurent serisini tanımlarken, Laurent serisinin sadece sonlu sayıda negatif teriminin var olması koşulu getirilir.

Benzer bir şekilde, yakınsak iki Laurent serisinin toplamı her zaman formel bir şekilde tanımlanmış olmasına rağmen yakınsak olmak zorunda değildir; ancak alttan sınırlı iki Laurent serisinin (veya herhangi bir delikli diskteki Laurent serisi) toplamının boş olmayan yakınsaklık halkası vardır.

Ayrıca bakınız

  • Formel Laurent serileri – katsayılarını herhangi bir değişmeli halkadan olan, yakınsaklığına dikkat edilmeyen, çarpımlarının her zaman tanımlı olabilmesi için sonlu çoklukta negatif dereceli terime sahip, formel olarak düşünülmüş Laurent serileri.
  • Z-dönüşümü – Zaman serisi analizinde bolca kullanımı olan 0 civarında alınmış Laurent serileri.
  • Fourier serileri – değiştirimi, Laurent serisini bir Fourier serisine dönüştürür veya tersi işlemi de gerçekleştirir. Bu, j-değişmezinin q-serisi açılımında da kullanılır.

Dış bağlantılar

İlgili Araştırma Makaleleri

Matematiğin bir alanı olan karmaşık analizde, karmaşık değişkenli ve karmaşık değerler alan bir f fonksiyonu

Karmaşık analizde, tam fonksiyon veya başka bir deyişle integral fonksiyonu, karmaşık düzlemin tümünde holomorf olan karmaşık değerli bir fonksiyondur. Tam fonksiyonların tipik örnekleri polinomlar, üstel fonksiyon ve bunların toplamları, çarpımları ve bileşkeleridir. Her tam fonksiyon tıkız kümeler üzerinde düzgün bir şekilde yakınsayan kuvvet serileri ile temsil edilebilir. Doğal logaritma ya da karekök fonksiyonu tam bir fonksiyona uzatılamaz.

<span class="mw-page-title-main">Kutup (karmaşık analiz)</span>

Karmaşık analizde kutup ya da doğru bir söylemle bir meromorf fonksiyonun kutbu, 1/zn 'nin z = 0 noktasındaki tekilliği gibi davranan matematiksel bir tekilliktir. Bu özellikle şu anlama gelir: Bir f(z) fonksiyonun z = a noktasındaki kutbu, z noktası a noktasına yaklaştıkça f(z)'yi sonsuza düzgün bir şekilde yaklaştıran noktadır.

<span class="mw-page-title-main">Esaslı tekillik</span>

Karmaşık analizde, esaslı tekillik veya daha düzgün bir söylenişle bir fonksiyonun esaslı tekilliği, fonksiyonun çok uç bir davranış gösterdiği katı bir tekilliktir.

<span class="mw-page-title-main">Cauchy integral formülü</span>

Matematikte, Augustin Louis Cauchy'nin adıyla adlandırılan Cauchy integral formülü karmaşık analizde merkezi bir ifadedir. Bir disk üzerinde tanımlanmış holomorf bir fonksiyonun tamamen, fonksiyonun disk sınırındaki değerleri tarafından belirlendiğini ifade eder. Ayrıca, holomorf bir fonksiyonun tüm türevleri için formül elde etmekte de kullanılabilir. Cauchy formülünün analitik önemi karmaşık analizde "türev alma integral almaya denktir" ifade etmesidir: Bu yüzden karmaşık türevlilik, integral alma gibi, gerçel analizde olmayan düzgün limitler altında iyi davranma özelliğine sahiptir.

<span class="mw-page-title-main">Karmaşık düzlem</span>

Matematikte karmaşık düzlem, gerçel eksen ve ona dik olan sanal eksen tarafından oluşturulmuş, karmaşık sayıların geometrik bir gösterimidir. Karmaşık sayının gerçel kısmının x-ekseni boyuncaki yer değiştirmeyle, sanal kısmının ise y-eksenindeki yer değiştirmeyle temsil edildiği değiştirilmiş bir Kartezyen düzlem olarak düşünülebilir.

Matematiğin bir alt dalı olan karmaşık analizde, Liouville teoremi tam fonksiyonların sınırlılığıyla ilgili temel bir teoremdir.

<span class="mw-page-title-main">Korunmalı tekillik</span>

Matematiğin bir dalı olan karmaşık analizde, korunmalı tekillik kendisine yakın başka bir tekilliğin olmadığı tekillik çeşididir.

Karmaşık analizde, bir kaldırılabilir tekillik veya daha düzgün bir söylemle, bir holomorf fonksiyonun kaldırılabilir tekilliği, fonksiyonun görünüşte holomorf olmadığı; ancak daha yakın bir incelemeden sonra fonksiyonun tanım kümesinin bu tekilliği de içerecek şekilde genişletilebileceği bir noktadır.

Matematikte Abel testi sonsuz bir serinin yakınsaklığını belirlemek için kullanılan bir yöntemdir. Bu test matematikçi Niels Abel'e ithafen bu şekilde isimlendirilmiştir. Abel testinin farklı iki çeşidi vardır – birisi gerçel sayıların serileriyle kullanılır; diğeri ise karmaşık analizdeki kuvvet serileriyle kullanılır.

Karmaşık analizde kalıntı veya rezidü, bir meromorf fonksiyonun bir tekillik etrafındaki çizgi integrallerinin davranışını açıklayan bir karmaşık sayıdır. Kalıntılar oldukça kolay bir şekilde hesaplanabilir ve bilindiklerinde kalıntı teoremi sayesinde çok karışık gerçel integrallerin belirlenmesi yolunu açarlar.

Karmaşık analizde kontür integrali veya kontür integrali almak karmaşık düzlemdeki yollar boyunca belli integralleri bulmak için kullanılan bir yöntemdir.

<span class="mw-page-title-main">Fourier serisi</span>

Matematikte, Fourier serileri bir periyodik fonksiyonu basit dalgalı fonksiyonların toplamına çevirir.

<span class="mw-page-title-main">Digama fonksiyonu</span>

Matematik'te, digama fonksiyonu gama fonksiyonu'nun logaritmik türevi olarak tanımlanır:

<span class="mw-page-title-main">Kuvvet serisi</span>

Matematikte kuvvet serisi

Matematikte, bir kuvvet serisinin yakınsaklık yarıçapı negatif olmayan bir gerçel sayı veya ∞ olan bir niceliktir. Verilen bir kuvvet serisinin yakınsaklık yarıçapı serinin yakınsak olduğu bölgeyi gösterir. Bu yakınsaklık yarıçapının içinde kalan bölgede, kuvvet serisi mutlak yakınsak ve aynı zamanda tıkız yakınsaktır. Seri yakınsak ise, o zaman bu seri bir analitik fonksiyonun bu yakınsaklık yarıçapının belirlediği bölgenin içinde kalan bölgede yakınsayan bir Taylor serisidir.

Matematiğin bir alt dalı olan karmaşık analizde Hurwitz teoremi, matematikçi Adolf Hurwitz'in ispatladığı ve bu yüzden onun ismini almış önemli bir sonuçtur. Genel bir şekilde ifade etmek gerekirse, Hurwitz teoremi karmaşık düzlemdeki bir bölge üzerinde tanımlı bir holomorf fonksiyonlar dizisinin sıfırları ile bu dizinin limiti olan fonksiyonun sıfırlarını ilişkilendirir.

Matematikte ters trigonometrik fonksiyonlar, tanım kümesinde bulunan trigonometrik fonksiyonların ters fonksiyonudur.

Özel fonksiyonların önemli bir bölümünü oluşturan hipergeometrik fonksiyonlar matematik, fizik, mühendislik ve olasılıkta karşımıza çıkar.

<span class="mw-page-title-main">Casorati-Weierstrass teoremi</span>

Karmaşık analizde Casorati-Weierstrass teoremi, holomorf fonksiyonların esaslı tekillikler civarındaki olağanüstü davranışlarını açıklayan bir ifadedir. Teorem, Karl Theodor Wilhelm Weierstrass ve Felice Casorati'ye atfen isimlendirilmiştir.