Rouché teoremi
In karmaşık analizde , Rouche teoremi bir olduğunu beyan yaklaşık sıfır ve kutuplar arasında meromorfik fonksiyonları . Fransız matematikçi Eugène Rouché'nin onuruna seçildi .
Eyaletler
Olmak Izin bir basit bağlantılı açık , let f ve g olmak iki meromorfik fonksiyonları üzerinde sonlu bir set ile sıfırlar ve kutuplar arasında. Let olmak γ bir basit dantel görüntü ile kenarını oluşturan bir bir kompakt . Evet
U⊂VS{\ displaystyle U \ altkümesi \ mathbb {C}}
U{\ displaystyle U}
F{\ displaystyle F}
U-F{\ displaystyle UF}
∂K{\ displaystyle \ kısmi K}
K{\ displaystyle K}![K](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0)
|f(z)-g(z)|<|g(z)|{\ displaystyle | f (z) -g (z) | <| g (z) |}![| f (z) -g (z) | <| g (z) |](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9a4413165c0a70e8deb01d43bf75808d1a8cea5)
Herhangi bir nokta için
z ve
y
yani
Zf-Pf=Zg-Pg{\ displaystyle Z_ {f} -P_ {f} = Z_ {g} -P_ {g}}![{\ displaystyle Z_ {f} -P_ {f} = Z_ {g} -P_ {g}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dd8916938612a296b9f3084211af1e3479e69f1)
burada ve sırasıyla sıfırların ve kutupların sayısı ( çoklukları hesaba katılarak) .
Zf{\ displaystyle Z_ {f}}
Pf{\ displaystyle P_ {f}}
f{\ displaystyle f}
K{\ displaystyle K}![K](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0)
Misal
F ve g'nin tanımladığı iki polinom fonksiyonunu düşünün :
f(z)=z8-5z3+z-2,g(z)=-5z3{\ displaystyle f (z) = z ^ {8} -5z ^ {3} + z-2, \ dört g (z) = - 5z ^ {3}}![{\ displaystyle f (z) = z ^ {8} -5z ^ {3} + z-2, \ dört g (z) = - 5z ^ {3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96d94be86e2195b518083a326fe2702a02e55165)
ve yaw için daireyi düşünün . Bunu bu dantel üzerinde kontrol ediyoruz:
VS(0,1): ={z∈VS∣|z|=1}{\ displaystyle C (0,1): = \ {z \ in \ mathbb {C} \ orta | z | = 1 \}}![{\ displaystyle C (0,1): = \ {z \ in \ mathbb {C} \ orta | z | = 1 \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e173c7bd87b5224e40dfd308d0e7142e34bb2ac8)
|f(z)-g(z)|=|z8+z-2|≤|z|8+|z|+2=4{\ displaystyle | f (z) -g (z) | = | z ^ {8} + z-2 | \ leq | z | ^ {8} + | z | + 2 = 4}![| f (z) -g (z) | = | z ^ {8} + z-2 | \ leq | z | ^ {8} + | z | + 2 = 4](https://wikimedia.org/api/rest_v1/media/math/render/svg/a08920986cd97e32e95c5d62aa7cd8f3073b8691)
ve
|g(z)|=|-5z3|=5{\ displaystyle | g (z) | = | -5z ^ {3} | = 5}![{\ displaystyle | g (z) | = | -5z ^ {3} | = 5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eefc9b0eddd5392e4acacb55adcd93671089cb77)
.
Bu nedenle Rouché teoremini uygulayabiliriz:
Zf=Zg{\ displaystyle Z_ {f} = Z_ {g}}![Z_ {f} = Z_ {g}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1b5f06cf0dd326d15406c7870bc64a9cf1cabae)
çünkü f ve g bir kutup vardır. Öte yandan, g başlangıç noktasında üçlü sıfıra sahiptir, bu nedenle bize f fonksiyonunun açık diskte üç sıfırı kabul ettiğini söyler .
D(0,1){\ displaystyle D (0,1)}![D (0,1)](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e278b4ff5c32f3cce4a2ea680f269a5398a7d49)
Gösteri
Eğer herkes için , o f ve g üzerinde yok olmamaları (Aksi sıkı eşitsizlik doğrulanamadı). Let h olarak ilgili meromorfik fonksiyonu üzerinde holomorfik ve dışarı iptal değil, aşağıdaki şekilde tanımlanır:
|f(z)-g(z)|<|g(z)|{\ displaystyle | f (z) -g (z) | <| g (z) |}
z∈γ{\ displaystyle z \ in \ gamma}
γ{\ displaystyle \ gamma}
U{\ displaystyle U}
γ{\ displaystyle \ gamma}![\gama](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
h=fg{\ displaystyle h = {\ frac {f} {g}}}![{\ displaystyle h = {\ frac {f} {g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be105cd38ab77dce2d10ccec1828db902c92072)
.
Herhangi bir z noktası için γ ,
|h(z)-1|=|f(z)-g(z)||g(z)|<1{\ displaystyle | h (z) -1 | = {\ frac {| f (z) -g (z) |} {| g (z) |}} <1}![{\ displaystyle | h (z) -1 | = {\ frac {| f (z) -g (z) |} {| g (z) |}} <1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d863f26320d6acf150ae9f13fdb64c3fd2a4a67)
.
Bu nedenle par görüntüsü, yarıçap 1 ve merkez 1 olan açık diskte yer alır ve sonuç olarak, orijinin etrafında dönmez. Argüman ilkesini uygulayarak bu nedenle elimizde:
γ{\ displaystyle \ gamma}
h{\ displaystyle h}
D(1,1){\ displaystyle D (1,1)}![D (1.1)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6606c8ee3e5724a3dfdbe3d04c8b989d5f414c1)
12πben∫γh′(z)h(z)dz=0{\ displaystyle {\ frac {1} {2 \ pi i}} \ int _ {\ gamma} {\ frac {h '(z)} {h (z)}} \ mathrm {d} z = 0}![{\ displaystyle {\ frac {1} {2 \ pi i}} \ int _ {\ gamma} {\ frac {h '(z)} {h (z)}} \ mathrm {d} z = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17049217603ff500180af8d13b44376c4bd823ba)
.
Diğer yandan,
h′(z)h(z)=f′(z)f(z)-g′(z)g(z){\ displaystyle {\ frac {h '(z)} {h (z)}} = {\ frac {f' (z)} {f (z)}} - {\ frac {g '(z)} { g (z)}}}![{\ displaystyle {\ frac {h '(z)} {h (z)}} = {\ frac {f' (z)} {f (z)}} - {\ frac {g '(z)} { g (z)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16a0bfa250226da5ef6f364ace361c15c4e28eae)
.
Bu nedenle,
12πben∫γf′(z)f(z)dz-12πben∫γg′(z)g(z)dz=0{\ displaystyle {\ frac {1} {2 \ pi i}} \ int _ {\ gamma} {\ frac {f '(z)} {f (z)}} \ mathrm {d} z - {\ frac {1} {2 \ pi i}} \ int _ {\ gamma} {\ frac {g '(z)} {g (z)}} \ mathrm {d} z = 0}![{\ displaystyle {\ frac {1} {2 \ pi i}} \ int _ {\ gamma} {\ frac {f '(z)} {f (z)}} \ mathrm {d} z - {\ frac {1} {2 \ pi i}} \ int _ {\ gamma} {\ frac {g '(z)} {g (z)}} \ mathrm {d} z = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbfbe7c2d856728cbd28f184889797dd36e4afc1)
.
Son olarak, argüman ilkesini tekrar kullanarak şunu elde ederiz:
Zf-Pf=Zg-Pg{\ displaystyle Z_ {f} -P_ {f} = Z_ {g} -P_ {g}}![{\ displaystyle Z_ {f} -P_ {f} = Z_ {g} -P_ {g}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dd8916938612a296b9f3084211af1e3479e69f1)
.
Başvurular
Izin vermek , değerleri olan ve şu şekilde tanımlanan bir polinom olsun :
P{\ displaystyle P}
VS{\ displaystyle \ mathbb {C}}![\ mathbb {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
P(z)=-de0+-de1z+⋯+-dedeğilzdeğil{\ displaystyle P (z) = a_ {0} + a_ {1} z + \ cdots + a_ {n} z ^ {n}}![P (z) = a_ {0} + a_ {1} z + \ cdots + a_ {n} z ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d08f78bb6c0f1804d3f7314a3d29c3bc8daf61d)
varsayarsak . Yeterince büyük olalım, böylece herkes için (R yarıçaplı daire):
-dedeğil≠0{\ displaystyle a_ {n} \ neq 0}
R>0{\ displaystyle R> 0}
z∈VS(0,R){\ displaystyle z \ C (0, R)}![C (0, R) olarak z \](https://wikimedia.org/api/rest_v1/media/math/render/svg/f52b9462af1c62d90f8754b1aaff900061f2b59d)
|P(z)--dedeğilzdeğil|=|-de0+⋯+-dedeğil-1zdeğil-1|<|-dedeğilzdeğil|{\ displaystyle | P (z) -a_ {n} z ^ {n} | = | a_ {0} + \ cdots + a_ {n-1} z ^ {n-1} | <| a_ {n} z ^ {n} |}![| P (z) -a_ {n} z ^ {n} | = | a_ {0} + \ cdots + a _ {{n-1}} z ^ {{n-1}} | <| a_ {n } z ^ {n} |](https://wikimedia.org/api/rest_v1/media/math/render/svg/77f167294f426ef1e3d6d43135094505ee4fd721)
(örneğin uygun).
R=1+max(|-de0|,...,|-dedeğil-1|)|-dedeğil|{\ displaystyle R = 1 + {\ frac {\ max (| a_ {0} |, \ ldots, | a_ {n-1} |)} {| a_ {n} |}}}![R = 1 + {\ frac {\ max (| a_ {0} |, \ ldots, | a _ {{n-1}} |)} {| a_ {n} |}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe1c53c1dc173942960d3517a82ab29ccb39935f)
Yana düzenin sıfır itiraf orijinde, itiraf etmeliyim açık diskin içinde sıfır Rouche teoremi uygulanarak.
-dedeğilzdeğil{\ displaystyle a_ {n} z ^ {n}}
değil{\ displaystyle n}
P{\ displaystyle P}
değil{\ displaystyle n}
D(0,R){\ displaystyle D (0, R)}![D (0, R)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffb1e2a10b04b825412ac529e33c090e6293c9b2)
Genellemeler
Bir asır sonra Theodor Estermann , Rouché'nin hipotezini zayıflatarak şunları elde etti:|f(z)-g(z)|<|g(z)|{\ displaystyle | f (z) -g (z) | <| g (z) |}![{\ displaystyle | f (z) -g (z) | <| g (z) |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9a4413165c0a70e8deb01d43bf75808d1a8cea5)
Let f ve g olduğu basit içinde iki meromorfik fonksiyonları doğrultulabilir döngü y sınırında ve sürekli, ve bu tür
|f(z)-g(z)|<|f(z)|+|g(z)|{\ displaystyle | f (z) -g (z) | <| f (z) | + | g (z) |}![| f (z) -g (z) | <| f (z) | + | g (z) |](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ed3249b6e819628c53202b3d33711dffb0d4745)
Herhangi bir nokta için
z ve
y .
Yani, yukarıdaki gibi ,
Zf-Zg=Pf-Pg{\ displaystyle Z_ {f} -Z_ {g} = P_ {f} -P_ {g}}![{\ displaystyle Z_ {f} -Z_ {g} = P_ {f} -P_ {g}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b02121079fb80039f6bb1e689f24a7716cd0d9c)
.
Referanslar
-
Ecole Polytechnique Dergisi , 1862, s. 217-218 .
-
(inç) T. Estermann, Karmaşık Sayılar ve Fonksiyonlar , Athlone Press, Londra, 1962, s. 156.
-
(inç) I-Hsiung Lin Klasik Kompleks Analizi: Geometrik Bir Yaklaşım , Cilt. 1, Dünya Bilimsel ,2011( ISBN 978-9-81426123-4 , çevrimiçi okuyun ) , s. 558.
Ayrıca görün
İlgili makale
Hurwitz'in holomorf fonksiyon dizileri üzerine teoremi
Kaynakça
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">