Az antidifferenciálás (más néven határozatlan integrálás) a matematikában a differenciálás inverz művelete: adott egy f függvény, és megkeressük azt a F függvényt, amelynek deriváltja éppen f. Az ilyen F-et antideriváltnek vagy primitív függvénynek nevezzük. A határozatlan integrál arra a teljes antiderivált-családra utal, amelyet egy általános konstanssal írunk le.

Az antideriváltak gyakorlati alkalmazásai sokrétűek: információt adhatnak például a függvény nagyságáról vagy méretről, és szerepet játszanak különféle egyenletek megoldásában. Az antidifferenciálás tehát fontos eszköz analízisben és alkalmazott matematika területein. Az antidifferenciálás kapcsolatban áll a határozott integrálással: a határozatlan integrál egy antiderivált családot ad meg, míg a határozott integrál értéket ad meg két határ között.

Jelölés és a konstans

A határozatlan integrált a következő módon jelöljük:

∫ f(x)\,dx

A művelet eredménye egy F függvény, amelyre F'(x)=f(x) teljesül. Fontos, hogy a teljes antiderivált-családot a tágító konstanssal írjuk: F(x)+C, ahol C tetszőleges valós szám. Például az eredeti szövegben szereplő jelölés:

x d x {\displaystyle \int x\ dx} {\displaystyle \int x\ dx}

Példa

Számoljuk ki: ∫ x dx

Alkalmazva a hatvány-szabályt (lásd lejjebb):

∫ x dx = ∫ x^1 dx = x^(1+1)/(1+1) + C = x^2/2 + C.

Ellenőrzés: (x^2/2)' = x, tehát valóban antiderivált.

Alapintegrálási szabályok (gyakori formulák)

  • Lineáris kombináció: ∫(a f(x) + b g(x)) dx = a ∫ f(x) dx + b ∫ g(x) dx.
  • Hatványszabály: ∫ x^n dx = x^(n+1)/(n+1) + C, ahol n ≠ −1.
  • Speciális eset: ∫ x^(−1) dx = ∫ (1/x) dx = ln|x| + C.
  • Exponenciális: ∫ e^x dx = e^x + C.
  • Trigonometrikus: ∫ cos x dx = sin x + C, ∫ sin x dx = −cos x + C.

Kapcsolat a határozott integrállal

A kalkulus alapvető tétele (a határozatok tétele) összeköti az antideriváltakat a határozott integrállal: ha F egy antideriváltja f-nek az [a,b] intervallumon, akkor

∫_a^b f(x) dx = F(b) − F(a).

Ez a tétel azt jelenti, hogy a határozott integrál kiszámításához elég egy antiderivált megtalálása.

Gyakori módszerek az antidifferenciáláshoz

  • Alaptranszformációk: algebrai átalakítások, hatvány- és trigonometrikus azonosságok alkalmazása.
  • Substitúció (változócsere): ha integrandusból egy belső függvény U=g(x) kényelmesebben kezelhető, akkor dx-t és x-eket U szerint cserélünk. Példa: ∫ 2x cos(x^2) dx. Legyen u=x^2, du=2x dx, így az integrál ∫ cos u du = sin u + C = sin(x^2) + C.
  • Parciális integrálás: alkalmazható szorzatok integrálására: ∫ u dv = u v − ∫ v du.

Megjegyzések és óvatoság

  • Az antiderivált csak azokra az x értékekre értelmezett, ahol a függvény és az antiderivált a megfelelő módon definiált; gyakran szükséges figyelembe venni a függvény értelmezési tartományát és esetleges abszolútértékeket (például ln|x| esetén).
  • Az antiderivált mindig csak valamelyik derivált visszavezetése: több antiderivált különböző konstansokkal ugyanazt a deriváltat adják, ezért a +C elhagyása hibához vezethet.
  • Különböző függvények többféle antideriváltformát is adhatnak, ezért gyakran választunk egyszerű, jól kezelhető primitívfüggvényt.

Összefoglalva: a határozatlan integrál (antidifferenciálás) egy függvény antiderivált-családját adja meg, jelölése ∫ f(x) dx, és eredményéhez mindig hozzá kell adni a konstans integrációs tagot C. Az antideriválás alapszabályai és módszerei lehetővé teszik sokféle integrál kiszámítását és a határozott integrálok értékeinek meghatározását a kalkulus alapvető tételével.