Analyysin peruslause

Analyysin peruslauseet ovat lauseita, joiden mukaan kaksi analyysin perusmääritelmää, derivointi ja integrointi, ovat toistensa käänteistoimituksia. Analyysin peruslauseita on väitteen kumpaakin puoliskoa varten yksi, ja niiden nimet ovat analyysin ensimmäinen peruslause ja analyysin toinen peruslause. Siitä, kumpi on kumpi, ei liene täysin yksimielistä käytäntöä.

Analyysin ensimmäinen peruslause

Jos $f$ on välillä $[a,b]$ jatkuva funktio ja $F$ jokin sen integraalifunktio, niin F on derivoituva ja pätee:

$\displaystyle F'(x)=f(x)$

Lause voidaan kirjoittaa myös muodossa

${\frac {d}{dx}}\int _{c}^{x}f(t)\,dt=f(x)$, missä $c\in [a,b]$.

Analyysin toinen peruslause

Olkoot $F_{1}$ ja $F_{2}$ funktion $f$ primitiivejä (integraalifunktioita). Tällöin löytyy vakio $c$ siten, että

$F_{1}(x)=F_{2}(x)+c$ kaikille x.

Geometrinen tarkastelu

Punaisella funktion $f$ alue pisteeseen $x$ asti. Sininen ja punainen alue yhdessä vastaa $f$:n aluetta $x+h$ asti.

Analyysin peruslause (animaatio)

Merkitään kuvasta funktion $f$ alueen, eli funktion alle jäävän pinta-alan, kokoa funktiolla $A$ (kuvassa punainen alue). Olkoon sinisen alueen leveys $h$. Kun h on pieni saadaan arvio siniselle alueelle:

$A\approx h\cdot f(x)$

Toisaalta sininen alue on $A(x+h)-A(x)$. Yhdistämällä saadaan:

${\begin{aligned}h\cdot f(x)&\approx A(x+h)-A(x)\\f(x)&\approx {\frac {A(x+h)-A(x)}{h}}\end{aligned}}$

Siis $f$ on $A$:n derivaatta, kun väli $h$ lähestyy nollaa.

${\begin{aligned}f(x)&={\frac {d}{dx}}A=\lim _{h\to 0}{\frac {A(x+h)-A(x)}{h}}\end{aligned}}$

Tästä seuraa, että derivoinnin käänteisoperaatiolla funktiosta $f$ saadaan funktio $A$ eli funktion alle jäävä pinta-ala.

Kirjallisuutta

• Rikkonen, Harri: Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku. Helsinki: Otakustantamo, 1969. ISBN 951-671-022-0.
• Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013) (pdf) Helsinki: Avoimet oppimateriaalit ry. ISBN 978-952-7010-12-9 ISBN 978-952-7010-6 (pdf).

Aiheesta muualla

• MathWorld. Fundamental Theorems of Calculus