Antidifferentiaatio (jota kutsutaan myös epämääräiseksi integroinniksi) on tietyn funktion löytäminen laskennassa. Se on differentioinnin vastakohta. Se on tapa käsitellä funktiota siten, että saadaan toinen funktio (tai funktioiden luokka), jota kutsutaan antiderivaataksi. Antidifferentiaatio on kuin integrointi - mutta ilman rajoja. Siksi sitä kutsutaankin epämääräiseksi integroinniksi. Yksittäisinä kirjaimina esitettynä antiderivaatat ovat usein isoilla roomalaisilla kirjaimilla, kuten ja
.
Yleensä antiderivaatta kirjoitetaan muodossa , missä:
Määritelmä ja perusominaisuudet
Funktiota F sanotaan antiderivaataksi funktiolle f, jos F on derivoituva ja F'(x) = f(x) kaikilla x määrittelyjoukossa. Antiderivaattoja ei yleensä ole yksittäinen funktio vaan koko luokka, koska jos F on antiderivaatta, niin myös F + C on antiderivaatta mille tahansa vakiolle C. Tämän vuoksi epämääräinen integraali merkitään usein muodossa
= F(x) + C,
missä C on integraation vakio tai niin sanottu integraatiovakio.
Perussäännöt ja usein käytetyt antiderivaatat
- Lineaarisuus: ∫(a f(x) + b g(x)) dx = a ∫ f(x) dx + b ∫ g(x) dx, missä a ja b ovat vakiot.
- Potenssisääntö: ∫ x^n dx = x^(n+1)/(n+1) + C, kun n ≠ −1.
- Erikoistapaukset:
- ∫ 1/x dx = ln|x| + C
- ∫ e^x dx = e^x + C
- ∫ cos x dx = sin x + C
- ∫ sin x dx = −cos x + C
Yleisiä menetelmiä antidifferentiaation tekemiseen
- Substituutio (muuttujan vaihto): Käytetään, kun integrandin muoto on johdettavissa tietystä sisäisestä funktiosta.
- Osittaisintegraatio: Perustuu derivoimisen ja integroimisen kaksinaisuuteen: ∫ u dv = u v − ∫ v du.
- Osamurtokehittely: Rationalimuotoisten funktioiden antidifferentiaation yleinen työkalu.
- Trigonometriset identiteetit: Käytetään trigonometrisen integraalin yksinkertaistamiseen ennen antidifferentiaatiota.
Esimerkkejä
- ∫ 3x^2 dx = 3 · (x^3/3) + C = x^3 + C.
- ∫ (2x + 5) dx = x^2 + 5x + C.
- ∫ cos(2x) dx. Substituoi u = 2x ⇒ du = 2 dx ⇒ dx = du/2, joten ∫ cos(2x) dx = (1/2) sin(2x) + C.
Yhteys määräämättömän ja määrätyn integraalin välillä
Fundamentaalinen lause analyysissä (Newton–Leibnizin periaate) yhdistää antiderivaatat ja määrätyt integraalit: jos F on antiderivaatta funktiolle f, niin
∫_a^b f(x) dx = F(b) − F(a).
Tämä kertoo, että määräämätön integraali antaa yleisen antiderivaattojen luokan ja määrätty integraali voidaan laskea antiderivaattaa käyttämällä raja-arvoilla.
Rajoitukset ja erityistapaukset
Kaikilla funktioilla ei ole antiderivaattaa, joka ilmaistaisiin elementaarisilla funktioilla. Esimerkiksi f(x) = e^(−x^2) ei koskaan integroidu suljetussa muodossa elementaarisilla funktioilla; sen antiderivaattaa kuvataan erityisfunktiolla (error-funktio, erf). Lisäksi antiderivaatan määrittelyalue vaikuttaa: sama lauseke voi olla eri vakioilla eri komponenttien yli, jos alkuperäinen funktio ei ole määritelty yhtenäisesti koko akselilla.
Kun antiderivaattaa ei löydy suljetussa muodossa
Joskus käytetään sarjakehitelmiä, numeerisia menetelmiä tai erikoisfunktioita (kuten erf, Ei, liitännäiset integraalifunktiot), jotta antidifferentiaatio voidaan käsitellä käytännössä.
Lyhyt yhteenveto
- Antidifferentiaatio etsii funktion F, jonka derivaatta on annettu funktio f.
- Epämääräinen integraali merkitään ∫ f(x) dx ja tuloksena on F(x) + C.
- Antidifferentiaation menetelmiä ovat mm. substituutio, osittaisintegraatio ja osamurtokehittely.
- Fundamentaalinen lause yhdistää epämääräisen ja määrätyn integraalin: ∫_a^b f = F(b) − F(a).