Integraalifunktio

Wikipedia
Loikkaa: valikkoon, hakuun

Funktion ƒ Integraalifunktio on funktio F, jonka derivaatta on ƒ, eli F' = ƒ. Integraalifunktion määrittämistä eli derivoinnin käänteistoimitusta kutsutaan integroinniksi. Integraalifunktiolle käytetään ainakin kahta määritelmää, jotka ovat eräissä tapauksissa keskenään ristiriitaisia.

Ensimmäinen ehdotus integraalifunktion määritelmäksi[muokkaa | muokkaa wikitekstiä]

Olkoon f:[a,b] \rightarrow \mathbb{R} Riemann-integroituva. Funktio F on funktion f eräs integraalifunktio, mikäli on olemassa \alpha \in [a,b] siten, että

F(x)=\int_\alpha^x f(t) \, dt \, , \ \forall x \in [a,b]

Lisäksi myös funktio G:[a,b] \rightarrow \mathbb{R} on funktion f integraalifunktio, mikäli G = F + C jollain C \in \mathbb{R}.

Toinen ehdotus integraalifunktion määritelmäksi (primitiivin määritelmä)[muokkaa | muokkaa wikitekstiä]

Olkoon f:[a,b] \rightarrow \mathbb{R}. Mikäli on olemassa derivoituva funktio F:[a,b] \rightarrow  \mathbb{R} siten, että F ' = f, niin F on funktion f primitiivi eli antiderivaatta (tai integraalifunktio).

Alempi määritelmä vaatii, että integraalifunktio on derivoituva, ylempi määritelmä taas ei. Primitiiviltä eli antiderivaatalta vaaditaan siis aina derivoituvuusominaisuus, mutta ylemmän määritelmän mukaiselta integraalifunktiolta ei välttämättä. Määritelmät ovat kuitenkin jatkuville funktiolle samat. Alempi määritelmä on käsitteelliseltä kannalta ongelmallinen: kaikilla integroituvilla funktioilla ei sen mukaan ole integraalifunktiota.

Integraalifunktiot eroavat toisistaan vakiolla[muokkaa | muokkaa wikitekstiä]

Integraalifunktio on summattavaa vakiota lukuun ottamatta yksikäsitteinen. Toisin sanoen, jos F on funktion f jokin integraalifunktio, niin kaikki sen integraalifunktiot ovat muotoa F+C, missä integroimisvakio C \in \mathbb{R} on mielivaltainen. Integraalifunktiolle käytetään merkintää

\int f(x) \, dx,

missä integroimisvakiota ei ole kiinnitetty. Tätä merkintätapaa kutsutaan funktion f määräämättömäksi integraaliksi. Merkintätapa tarkoittaa joko sitä, että F on f:n antiderivaatta, tai että F on f:n integraalifunktio. Jatkuville funktiolle nämä ovat sama asia.

Integraalifunktioiden määrittäminen[muokkaa | muokkaa wikitekstiä]

Integraalifunktioiden määrittämistä kutsutaan integroinniksi. Integrointi on derivoinnin käänteistoimenpide, jolla on tärkeä sovellus määrätyn Riemannin integraalin arvon laskemisessa.

Kaikkien alkeisfunktioiden integraalifunktioita ei voi esittää alkeisfunktioiden avulla. Tunnettuja esimerkkejä ovat:

e^{-x^2}, \ \frac{1}{\ln x} \mbox{ ja } \frac{\sin x}{x}

Määräämätön integraali on lineaarinen, eli jos funktioilla f ja g on integraalifunktiot ja \alpha, \beta \in \mathbb{R}, niin

\int (\alpha f(x) + \beta g(x)) \, dx = \alpha \int f(x) \, dx + \beta \int g(x) \, dx.

Tässä kaavassa on oletettu, että yhtälön vasemmalla ja oikealla puolella integroimisvakiot on sopivasti valittu.

Integraalifunktion yhteys määrättyyn integraaliin[muokkaa | muokkaa wikitekstiä]

Analyysin toisesta peruslauseesta seuraa, että jos funktio f: [a,b] \rightarrow \mathbb{R} on jatkuva, voidaan kirjoittaa

F(x) - F(a) = \int_a^x f(t) \, dt

Integroimiskaavoja[muokkaa | muokkaa wikitekstiä]

Alla olevissa kaavoissa f ja g ovat x:stä riippuvia Riemann-integroituvia funktioita, k reaaliluku ja a positiivinen reaaliluku. Integroimisvakiota ei ole merkitty näkyviin.

\int kf \, dx = k \int f \, dx
\int f'g \, dx = fg - \int g'f \, dx
\int (f+g) \, dx = \int f \, dx + \int g \, dx
\int 0 \, dx = 0
\int k \, dx = kx
\int x^n \, dx = \frac{1}{n+1} x^{n+1} \, , \ \mathrm{kun} \ n \ne -1
\int \frac{1}{x} \, dx = \ln |x|\,
\int f'f^n \, dx = \frac{1}{n+1} f^{n+1} \, , \ \mathrm{kun} \ n \ne -1
\int \frac{f'}{f} \, dx = \ln {|f|}
\int \sin x \, dx = - \cos x
\int \cos x \, dx = \sin x\,
\int \tan x \, dx = -\ln |\cos x|\,
\int f' e^f \, dx = e^f
\int e^x \, dx = e^x
\int a^x \, dx = \frac{a^x}{\ln {a}}
\int \ln |x| \, dx = x \ln |x| - x
\int \log_a x \, dx = \log_a e (x \ln |x| - x) \, , \ \mathrm{kun} \ a > 0 \ \mathrm{ja} \ a \ne 1

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]