König teoremi (karmaşık analiz)

Matematiğin alt dalları olan karmaşık analiz ve sayısal analizde König teoremi, bir fonksiyonun basit kutuplarını veya basit köklerini tahmin etmeye yarayan bir sonuçtur. Özellikle, Newton yöntemi ve bu yöntemin genelleştirilmiş hâli olan Householder yöntemi gibi kök bulma algoritmalarında çok sayıda uygulaması vardır.

Teorem, Macar matematikçi Gyula Kőnig'in adını taşımaktadır.

Teoremin ifadesi

$|z|<R$ üzerinde tanımlı ve bu disk içindeki bir $\zeta$ noktasında (ve sadece bu noktada) bir tane tekilliği olan meromorf bir $f$ fonksiyon ele alalım ve

$f(x)=\sum _{n=0}^{\mathrm{\infty }}{c}_n{z}^n,c_0\ne 0$

yazalım. Bu serinin sadece $z=\zeta$ noktasında basit bir kutbu vardır. O zaman, $|r|<\sigma R$ koşulunu sağlayan bir $0<\sigma <1$ sayısı için

$\frac{c_n}{c_{n+1}}=r+o({\sigma }^{n+1})$

olur. Özellikle,

$\underset{n\to \mathrm{\infty }}{\lim }\frac{c_n}{c_{n+1}}=r$

olur.

İspat

Fonksiyonun $\zeta$ noktasındaki rezidüsü $r$ ise, $g(z)=f(z)-\frac{r}{z-\zeta }=\sum _{n=0}^{\mathrm{\infty }}{b}_n{z}^n$ fonksiyonu $|z|<R$ diskinde holomorf olur. O zaman, Cauchy-Hadamard teoremi ile

$\mathrm{lim\; sup}|b_n{|}^{1/n}\le 1/R$

elde edilir. Dahası, $0<s<R$ koşulunu sağlayan her $s$ sayısı için

$|b_n|\le \frac{C}{s^n}$

sağlayacak bir $C$ sabiti vardır. $|\zeta |<\sigma R$ olduğu için $|\zeta |<\sigma s$ koşulunu sağlayacak bir $s$ sayısı bulunabilir. Bu sayede,

$f(z)=g(z)+\frac{r}{z-\zeta }=\sum _{n=0}^{\mathrm{\infty }}{b}_n{z}^n-r\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{{\zeta }^{n+1}}=\sum _{n=0}^{\mathrm{\infty }}(b_n-\frac{r}{{\zeta }^{n+1}})z^n$

yazarak $c_n=b_n-r{\zeta }^{-n-1}$ elde edilir. O zaman, bu eşitlik kullanılarak

$|\frac{c_n}{c_{n+1}}-\zeta |=|\frac{b_n-r{\zeta }^{-n-1}}{b_{n+1}-r{\zeta }^{-n-2}}-\zeta |=\left|\frac{b_{n+1}-\zeta b_n}{b_{n+1}-r{\zeta }^{-n-2}}\right|$

yazılır. Paya bir üst kestirim bulmak için daha önceden bulunan kestirim kullanılabilir ve

$|b_{n+1}-\zeta b_n|\le \frac{(1+\sigma R)C}{s^n}$

yazabiliriz. Paydaya bir üst kestirim bulmak için ise

$|b_{n+1}-r{\zeta }^{-n-2}|\ge |r||\zeta {|}^{-n-2}-|b_{n+1}|\ge |r||\zeta {|}^{-n-2}-C{s}^{-n}$

yazabiliriz. O zaman, $A=|r||\zeta {|}^{-2}$ ve $\rho =\frac{s}{|\zeta |}$ alırsak

$|\frac{c_n}{c_{n+1}}-\zeta |\le \frac{(1+\sigma R)C{s}^{-n}}{|r||\zeta {|}^{-n-2}-C{s}^{-n}}=\frac{(1+\sigma R)C}{A{\rho }^n-C}=O({\rho }^{-n})$

yazabiliriz. $s$ sayısının seçiminden dolayı ${\rho }^{-1}=\frac{|\zeta |}{s}<\sigma$ olduğunu biliyoruz. Böylelikle, $O({\rho }^{-n})=o({\sigma }^n)=o({\sigma }^{n+1})$ elde ederiz.