Funktion antiderivaata (kutsutaan joskus antiderivaatiiviseksi tai primitiiviseksi funktioksi ) on funktio, jonka derivaatta on . Tämä on yksi tärkeimmistä todellisen muuttujan matemaattisen analyysin käsitteistä (tämä käsite on myös yleistetty monimutkaisille funktioille [1] ).
Tietyn funktion antiderivaataksi kutsutaan [2] sellaista funktiota, jonka derivaatta on (koko määritelmäalueen yli ), eli . Antiderivaatan löytäminen on käänteinen operaatio differentiaatiolle - jälkimmäinen löytää derivaatan tietyn funktion suhteen, ja kun antiderivaata on löydetty, me päinvastoin määritimme alkuperäisen funktion tietyllä derivaatalla.
Antijohdannaiset ovat tärkeitä, koska niiden avulla voit laskea tiettyjä integraaleja . Jos on integroitavan jatkuvan funktion antiderivaata , niin:
Tätä suhdetta kutsutaan Newton-Leibnizin kaavaksi .
Teknisesti antiderivaatan löytäminen tarkoittaa määrittelemättömän integraalin laskemista , ja itse prosessia kutsutaan integraatioksi . Tämän teorian soveltamisesta geometriaan, katso integraalilaskenta .
Esimerkki: funktio on antiderivatiivinen koska
If on antiderivaata arvolle , niin mikä tahansa funktio, joka saadaan lisäämällä vakio : on myös antiderivaata arvolle . Siten, jos funktiolla on antiderivaata, niin se sisältyy koko antiderivaattien perheeseen [2] , jota kutsutaan määrittelemättömäksi integraaliksi ja kirjoitetaan integraaliksi ilman rajoja:
Päinvastoin on myös totta: jos on antiderivaata , ja funktio on määritelty jollain välillä , niin jokainen antiderivaata eroaa vakiosta: aina on olemassa luku , joka on sellainen, että kaikille . Tällaisten antiderivaatojen graafit ovat pystysuunnassa siirtyneet toisiinsa nähden ja niiden sijainti riippuu arvosta , jota kutsutaan integraatiovakioksi .
Esimerkiksi funktion antiderivaattien perheellä on muoto: , jossa on mikä tahansa luku.
Jos funktion alue ei ole jatkuva väli, niin sen antiderivaatojen ei tarvitse erota vakiolla [3] . Joten esimerkiksi funktiota ei ole olemassa nollassa, joten sen määritelmäalue koostuu kahdesta intervallista: ja Näin ollen näille intervalleille saadaan kaksi riippumatonta antiderivaattien perhettä: , jossa on vakio kohdassa ja yleisesti ottaen toinen vakio osoitteessa :
Jokaisella jatkuvalla funktiolla on antiderivaata , joista yksi on esitetty integraalina muuttuvalla ylärajalla:
On myös epäjatkuvia (epäjatkuvia) toimintoja, joilla on antiderivaatti. Esimerkiksi c ei ole jatkuva kohdassa , mutta sillä on antiderivaata . Epäjatkuville rajoitetuille funktioille on kätevää käyttää yleisempää Lebesgue -integraalia Riemannin integraalin sijaan . Välttämättömiä ehtoja antiderivaatan olemassaololle ovat, että funktio kuuluu ensimmäiseen Baire-luokkaan ja että Darboux-ominaisuus täyttyy sille [2] .
Monia antiderivaataita, vaikka ne ovat olemassa, ei voida ilmaista alkeisfunktioilla (eli polynomeilla , eksponentiaalisilla funktioilla , logaritmeilla , trigonometrisilla funktioilla , käänteistrigonometrisillä funktioilla ja näiden yhdistelmillä). Esimerkiksi:
.Tällaisille funktioille niiden integraali, jos sellainen on, voidaan laskea likimääräisesti numeerisen integroinnin avulla .
Antijohdannaisten löytäminen on paljon vaikeampaa kuin johdannaisten löytäminen. Tätä varten on useita menetelmiä: