Liouvilles sætning

Fra Wikipedia, den frie encyklopædi

Liouvilles sætning i kompleks analyse siger, at enhver begrænset hel funktion må være konstant. Det vil sige, at enhver holomorf funktion f, for hvilken der findes et reelt tal M, så |f(z)| ≤ M for alle z i C er konstant.

Liouvilles sætning kan anvendes til at give et elegant og kort bevis for algebraens fundamentalsætning.

Sætningen forbedres betragteligt af Picards sætning, der siger, at enhver hel funktion, hvis billede udelader mindst to komplekse tal, må være konstant.

[redigér] Bevis

Givet en begrænset hel funktion f haves for f Taylorudviklingen

$f(z) = \sum_{k=0}^\infty a_k z^k$

om 0, og ifølge Cauchys integralformel gælder

$|a_k| = \left|{1 \over 2 \pi i} \oint_{C_r} {f(z)\over (z-0)^{k+1}}\,dz\right| = {1 \over 2 \pi} \left|\oint_{C_r} {f(z)\over z^{k+1}}\,dz\right|$

hvor C_r er cirklen om 0 med radius r > 0. Ved at flytte absolutværdien ind i integralet, fås

$\left| \oint_{C_r} {f(z)\over z^{k+1}}\,dz\right| \le \oint_{C_r} {|f(z)|\over |z|^{k+1}}\,dz.$

Bruges nu antagelsen, at |f(z)| ≤ M for alle z, og det faktum, at |z| = r på cirklen C_r, fås

$\oint_{C_r} {|f(z)|\over |z|^{k+1}}\,dz \le \oint_{C_r} {M\over r^{k+1}}\,dz.$

Da er,

$|a_k| \le {1 \over 2\pi} {M \over r^{k+1}} {2\pi r} = {r M \over r^{k+1}} = {M \over r^k}.$

Lad nu r gå mod uendelig, så cirklen C_r bliver større. Hvis k er større end 0, vil M/r^k gå mod 0, og a_k må være nul.

Hvis imidlertid k = 0, er r⁰ = 1 (r ≠ 0 når r går mod uendelig), så a₀ er det eneste led i Taylorrækken, hvilket netop er påstanden.

[redigér] Se også

Joseph Liouville

[redigér] Eksterne henvisninger

Liouville's theorem på PlanetMath
Eric W. Weisstein, Liouville’s Boundedness Theorem på MathWorld

See also ebooksgratis.com: no banners, no cookies, totally FREE.

Liouvilles sætning

Fra Wikipedia, den frie encyklopædi

[redigér] Bevis

[redigér] Se også

[redigér] Eksterne henvisninger

Views

Navigation

deltagelse

organisation

Søg

Andre sprog