In complex analysis and numerical analysis, König's theorem,[1] named after the Hungarian mathematician Gyula Kőnig, gives a way to estimate simple poles or simple roots of a function. In particular, it has numerous applications in root finding algorithms like Newton's method and its generalization Householder's method.
Given a meromorphic function defined on
|x|<R
f(x)=
infty | |
\sum | |
n=0 |
n, | |
c | |
nx |
c0 ≠ 0.
x=r
cn | |
cn+1 |
=r+o(\sigman+1),
0<\sigma<1
|r|<\sigmaR
\limn →
cn | |
cn+1 |
=r.
Recall that
C | =- | |
x-r |
C | |
r |
1 | =- | |
1-x/r |
C | |
r |
infty | ||
\sum | \left[ | |
n=0 |
x | |
r |
\right]n,
1/rn | |
1/rn+1 |
=r.
Around its simple pole, a function
f(x)=
infty | |
\sum | |
n=0 |
n | |
c | |
nx |
f
In other words, near x=r we expect the function to be dominated by the pole, i.e.
f(x) ≈ | C |
x-r |
,
cn | |
cn+1 |
≈ r