En antiderivata för en funktion (kallas ibland en antiderivata eller primitiv funktion ) är en funktion vars derivata är . Detta är ett av de viktigaste begreppen i den matematiska analysen av en reell variabel (det finns även generaliseringar av detta begrepp för komplexa funktioner [1] ).
En antiderivata för en given funktion kallas [2] en sådan funktion vars derivata är (över hela definitionsdomänen ), det vill säga . Att hitta antiderivatan är en operation omvänd till differentiering - den senare hittar sin derivata med avseende på en given funktion, och efter att ha hittat antiderivatan, bestämde vi tvärtom den ursprungliga funktionen med en given derivata.
Antiderivat är viktiga eftersom de låter dig beräkna vissa integraler . Om är antiderivatan av en integrerbar kontinuerlig funktion , då:
Detta förhållande kallas Newton-Leibniz-formeln .
Tekniskt sett är att hitta antiderivatan att beräkna den obestämda integralen för , och själva processen kallas integration . För tillämpningen av denna teori på geometri, se integralkalkyl .
Exempel: funktionen är antiderivat för därför
Om är en antiderivata för , då är vilken funktion som helst som erhålls genom att addera konstanten : också en antiderivata för . Således, om en funktion har en antiderivata, så ingår den i hela familjen av antiderivator [2] , som kallas den obestämda integralen och skrivs som en integral utan gränser:
Det omvända är också sant: om är antiderivatan för , och funktionen är definierad på något intervall , så skiljer sig varje antiderivata från från med en konstant: det finns alltid ett tal så att för alla . Graferna för sådana antiderivat är vertikalt förskjutna i förhållande till varandra, och deras position beror på värdet. Talet kallas integrationskonstanten .
Till exempel har familjen av antiderivator för en funktion formen: , där är valfritt tal.
Om domänen för en funktion inte är ett kontinuerligt intervall, behöver dess antiderivator inte skilja sig med en konstant [3] . Så till exempel existerar funktionen inte vid noll, så dess definitionsdomän består av två intervall: och följaktligen erhålls två oberoende familjer av antiderivator på dessa intervall: , där är en konstant vid och generellt sett en annan konstant kl :
Varje kontinuerlig funktion har en antiderivata , varav en representeras som en integral av med en variabel övre gräns:
Det finns också icke-kontinuerliga (diskontinuerliga) funktioner som har ett antiderivat. Till exempel är c inte kontinuerlig vid utan har en antiderivata med . För diskontinuerliga avgränsade funktioner är det bekvämt att använda den mer allmänna Lebesgue-integralen istället för Riemann- integralen . Nödvändiga villkor för att antiderivatan finns är att funktionen tillhör den första Baire-klassen och att Darboux-egenskapen är uppfylld för den [2] .
Många antiderivator, även om de finns, kan inte uttryckas i termer av elementära funktioner (dvs i termer av polynom , exponentialfunktioner , logaritmer , trigonometriska funktioner , inversa trigonometriska funktioner och kombinationer av dessa). Till exempel:
.För sådana funktioner kan integralen av dem, om den finns, beräknas ungefär med hjälp av numerisk integration .
Att hitta antiderivat är mycket svårare än att hitta derivat. Det finns flera metoder för detta: