Arvutuse põhiteoreem
Arvutust mõistetakse sageli kui „keelt“ muutuste ja akumulatsiooni selgitamiseks. Ühelt poolt uurime tuletisi, et mõõta funktsiooni muutumiskiirust. Teiselt poolt uurime integraale, et arvutada akumulatsiooni, näiteks kõvera alust pindala või suuruse „pidevat summat“. Arvutuse põhiteoreem (FTC) on peamine sild, mis ühendab neid kahte ideed: selgub, et diferentseerimine ja integreerimine ei ole kaks eraldi teemat, vaid pigem kaks vastastikust tehet. See teoreem muudab arvutuse nii võimsaks teaduses, inseneriteaduses, majanduses ja paljudes teistes valdkondades.
Ülevaade: muutused ja akumuleerumine
Kujutage ette teel liikuvat autot. Auto kiirus on asukoha muutumise kiirus ajas, läbitud vahemaa aga on "kiiruse" akumuleerumine ajas. Matemaatiliselt öeldes, kui \(v(t)\) on kiirus, siis saab ajahetkest \(a\) ajahetkeni \(b\) läbitud vahemaad väljendada integraaliga
\[
_int_a^bv(t)_, dt.
\]
Samal ajal, kui s(t) on asukoht, siis kiirus on tuletis:
\[
v(t) = s'(t).
\]
Arvutuse põhiteoreem väidab, et need kaks tehet on omavahel tihedalt seotud: tuletise integraal tagastab funktsiooni netomuutuse ja kindla integraali tuletis tagastab algfunktsiooni. See seos muudab pindala, vahemaa, massi, energia ja paljude muude näitajate arvutamise palju süstemaatilisemaks.
Kiire eeltingimus: mis on kindlad integraalid ja tuletised?
Enne teoreemi väite juurde asumist on kaks olulist mõistet:
1. Tuletis \(f'(x)\): mõõdab graafiku tõusu või \(f(x)\) muutumiskiirust, kui \(x\) veidi muutub. Intuitiivselt, kui \(f(x)\) kirjeldab asukohta, siis \(f'(x)\) kirjeldab kiirust.
2. Määratud integraal (\int_a^bf(x)\,dx\): mõõdab f akumuleerumist intervallil ([a,b]\). Geomeetriliselt defineeritakse seda sageli kui märgilist pindala (positiivne pindala x-telje kohal, negatiivne pindala x-telje all)) kõvera (y=f(x)\) all vahemikus x=a kuni x=b).
Määratud integraal on formaalselt defineeritud Riemanni summa piirina, see tähendab, et pindala lähendatakse väikeste ristkülikutega ja seejärel võetakse piiriks ristkülikute laiuse lähenedes nullile.
Arvutuse põhiteoreemi väide (1. osa)
TFK 1. osa väidab: kui f on pidev intervallil [a,b], siis defineerime uue funktsiooni
\[
F(x) = ∫a^xf(t) dt
\]
siis saab \(F\) tuletada \(a,b)\) abil ja
\[
F'(x)=f(x).
\]
Tähendus on väga oluline: f-ist "konstrueeritud" integraal annab f-i algfunktsiooni. Teisisõnu, akumulatsiooniprotsess kuni punktini x naaseb diferentseerimisel selle punkti akumulatsioonikiiruseni.
Intuitsioon 1. osa
Pane tähele väikest muutust väärtuses \(F(x)\), kui \(x\) suureneb väikese \(Delta x\) võrra:
\[
F(x + Δx) - F(x) = ∫_a^{x + Δx} f(t)\,dt – ∫_a^xf(t)\,dt = ∫_x^{x + Δx} f(t)\,dt.
\]
Kui Δx on väike, on see integraal ligikaudu võrdne Δx-ga. Seega
\[
\frac{F(x + \Δx)-F(x)}{\Δx} \approx f(x).
\]
Kui \(\Delta x\to 0\), muutub lähendus täpseks, nii et \(F'(x)=f(x)\).
Lihtne näide
Oletame, et f(t)=2t. Defineerime
\[
F(x) = ∫_0^2t, dt.
\]
Me teame, et \(\int 2t\,dt = t^2\), seega \(F(x)=x^2\). Tuletis on \(F'(x)=2x\), mis on tagasi \(f(x)\)\-ni. See illustreerib 1. osa konkreetselt.
Arvutuse põhiteoreemi väide (2. osa)
TFK 2. osa väidab: kui \(f\) on pidev intervallil \([a,b]\) ja \(F\) on \(f\) algfunktsioon (st \(F'(x)=f(x)\)), siis
\[
∫a^bf(x)^(dx = F(b) - F(a).
\]
See on integraalarvutustes teoreemi kõige sagedamini kasutatav vorm. See väidab, et kindla integraali arvutamiseks ei pea me enam Riemanni summa piirväärtust otse rakendama; lihtsalt leiame F algfunktsiooni ja seejärel hindame seda ülemisel ja alumisel piiril.
Arvutusnäide
Krahv:
\[
_int_1^3 (x^2+1)\,dx.
\]
Alglause on
\[
F(x) = \frac{x^3}{3} + x.
\]
Seega:
\[
\int_1^3 (x^2+1)\,dx = \left(\frac{3^3}{3}+3\right)-\left(\frac{1^3}{3}+1\right)
= \left(9+3\right)-\left(\frac{1}{3}+1\right)
=12-\frac{4}{3}=\frac{32}{3}.
\]
Ilma TFK-ta peaksime integraali defineerima ristkülikute pindalade summa piirina ja arvutama piiri – see võtaks palju kauem aega.
Miks seda nimetatakse "fundamentaalseks"?
See teoreem on fundamentaalne, kuna:
1. Ühendage kaks põhilist matemaatilise analüüsi mõistet: tuletis (muutus) ja integraal (akumulatsioon).
2. Pakub praktilist meetodit: määratud integraale saab arvutada algfunktsioonide abil.
3. On paljude rakenduste aluseks: füüsika (töö ja energia), statistika (jaotus ja võimalused), majandus (kogukulu versus piirkulu), bioloogia (rahvastiku kasv) jne.
Kontseptuaalselt saab arvutusest sidus tööriist: saame hõlpsalt vahetada „kiiruse“ ja „kogu“ mudeli vahel.
Sageli ilmuvad rakendused
1. Kiirusest mõõdetud kaugus
Kui kiirus on \(v(t)\), siis neto nihe on:
\[
s(b)-s(a)=\int_a^bv(t)\,dt.
\]
See on otse TFK 2. osast, kui \(v(t)=s'(t)\). Kui \(v(t)\) on mõnikord negatiivne, annab integraal neto nihke; kogupikkuse jaoks arvutatakse see tavaliselt järgmiselt \(\int_a^b |v(t)|\,dt\).
2. Muutuskiiruse akumuleerumine
Kui paak täidetakse kiirusega \(r(t)\) liitrit minutis, siis on ajavahemiku \([a,b]\) jooksul sissetulev ruumala \(\int_a^br(t)\, dt\). Kui toimub nii sisse- kui ka väljavoolu kiirus, siis on mahu netomuutus (sisse- ja väljavoolu) integraal.
3. Integraalide keskmise väärtuse teoreem
TFK-st tulenevad mitmesugused tagajärjed, näiteks funktsiooni keskmine väärtus:
\[
f_{\text{avg}}=\frac{1}{ba}\int_a^bf(x)\,dx. (See tekst on avg-vormingus ja seda ei saa tõlkida.)
\]
See on oluline andmete analüüsimisel ja modelleerimisel.
Olulised märkused: tingimused
TFK nõuab üldiselt funktsiooni \(f\) sujuvuse tagamiseks selle pidevust vaadeldaval intervallil. Edasistes uuringutes saab seda teoreemi laiendada funktsioonidele, mis ei ole tingimata pidevad (nt funktsioonid, mis on teatud tingimustel integreeritavad Riemanni või Lebesgue'i järgi), kuid elementaarse arvutuse puhul on pidevuse eeldus standardne.
Lisaks annavad kindlad integraalid märgiga pindalasid, mitte alati „puhtaid geomeetrilisi pindalasid“. Kui graafik asub x-telje all, on integraal negatiivne. Geomeetriliste pindalade puhul kasutatakse tavaliselt absoluutväärtusi või intervallide jaotusi.
Sulgemine
Arvutusanalüüsi põhiteoreem on tuletise ja integraali ühendav tuum. 1. osa näitas, et pideva funktsiooni akumuleerumine diferentseerimisel naaseb algfunktsiooni juurde. 2. osa näitas kiiret viisi määratud integraalide arvutamiseks: lihtsalt leia algfunktsioon ja hinda vahet piiridel. Selle teoreemiga ei saa arvutusest lihtsalt matemaatiliste võtete kogum, vaid elegantne raamistik maailma mõistmiseks: kuidas asjad ajas muutuvad ja kuidas need muutused akumuleeruvad summaks.
Kui hiljem uurite integreerimismeetodeid, diferentsiaalvõrrandeid või füüsikalisi mudeleid, näete TFK-d jätkuvalt kulisside taga töötamas – kui „silda“, mis muudab matemaatilise analüüsi nii võimsaks tööriistaks.
