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}
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.