Antidiferenciacija (imenovana tudi nedoločeno integriranje) je operacija v matematiki, ki je obrat diferenciaciji; povezan je z iskanjem funkcije, katere odvod je dana funkcija. Antidiferenciacija je zato pogosto imenovana tudi iskanje antiderivata ali nedoločenega integrala.

Če je f funkcija, potem je funkcija F antiderivativ (antiderivat) funkcije f, če velja F'(x) = f(x) za vse x v ustreznem intervalu. Antiderivativ zapišemo z integralnim simbolom kot

∫ f(x)\,dx — branje: »integral funkcije f glede na x«; rezultat nedoločenega integrala je družina funkcij, ki se razlikujejo za konstanto.

Osnovne lastnosti in pravila

  • Konstantni člen: pri nedoločenem integralu moramo vedno dodati konstantni člen C, ker odvodi konstante so nič: ∫ f(x)\,dx = F(x) + C, kjer F'(x)=f(x).
  • Linearnost: ∫(a f(x) + b g(x))\,dx = a ∫ f(x)\,dx + b ∫ g(x)\,dx za konstanti a, b.
  • Potencno pravilo (n ≠ −1): ∫ x^n dx = x^(n+1)/(n+1) + C.
  • Poseben primer n = −1: ∫ x^(−1) dx = ∫ 1/x dx = ln|x| + C (za x ≠ 0).

Pogoste integralne formule

  • ∫ x^n dx = x^(n+1)/(n+1) + C (n ≠ −1)
  • ∫ 1/x dx = ln|x| + C
  • ∫ e^{ax} dx = (1/a) e^{ax} + C (a ≠ 0)
  • ∫ sin x dx = −cos x + C
  • ∫ cos x dx = sin x + C

Primeri

  • ∫ x dx = x^2/2 + C. V izvirnem besedilu je bil primer zapisan kot: ∫ x d x {\displaystyle \int x\ dx} {\displaystyle \int x\ dx} in rezultat tega integrala je x^2/2 + C.
  • ∫ x^2 dx = x^3/3 + C.
  • ∫ 1/x dx = ln|x| + C.
  • ∫ e^{2x} dx = (1/2) e^{2x} + C.

Metode za računanje nedoločenih integralov

  • Substitucija (zamenjava spremenljivke): uporabimo, ko je integrand sestavljen iz funkcije in njenega odvoda. Na primer, ∫ 2x cos(x^2) dx. Z u = x^2 dobimo du = 2x dx in integral postane ∫ cos u du = sin u + C = sin(x^2) + C.
  • Integracija po delih: izhaja iz formule za odvod produkta: ∫ u dv = u v − ∫ v du. Uporabno pri produktih polinoma in eksponentne ali trigonometrske funkcije. Primer: ∫ x e^x dx. Naj bo u = x, dv = e^x dx, potem du = dx, v = e^x, torej ∫ x e^x dx = x e^x − ∫ e^x dx = x e^x − e^x + C = e^x(x − 1) + C.
  • Metode za racionalne funkcije: partialne ulomke (razčlenitev na parcialne ulomke) — uporabljamo pri integraciji ulomkov polinomov.
  • Tabulacija in posebne trike: pri ponavljajočih se integracijah (npr. integrali polinomov pomnoženih s sinusoido ali eksponentno funkcijo) lahko uporabimo tabulčno integracijo ali ponavljajočo se uporabo integracije po delih.

Povezava s seznimnimi (določenimi) integrali

Fundamentalni izrek analize povezuje nedoločene in določene integrale: če je F antiderivativ funkcije f na intervalu [a,b], potem je določeni integral enak F(b) − F(a): ∫_a^b f(x)\,dx = F(b) − F(a). Ta izrek tudi zagotavlja, da imajo zvezne funkcije na intervalu antiderivat (lahko ga zapišemo s pomočjo določenega integrala kot funkcijo F(x) = ∫_{x0}^x f(t)\,dt).

Dodatne opombe

  • Antiderivativi niso enolični: vsi antiderivativi neke funkcije se razlikujejo za konstanto.
  • Obstoj antiderivata za dano funkcijo je povezan z regularnostjo funkcije; npr. vsaka zvezna funkcija ima antiderivat (po fundamentalnem izreku). Vendar pa obstajajo funkcije, ki nimajo elementarnega (»preprostega«) antiderivata, čeprav antiderivat kot funkcija obstaja (npr. e^{x^2}).
  • Pri reševanju nalog vedno preverite domeno funkcij (npr. pri ln|x| je treba izključiti x = 0) in dodajte konstanto integracije C.