Határozatlan integrál

Definíció 7.1 [Pimitív függvény]

Legyen f:IRf: I \rightarrow \Reals, ekkor az F:IRF : I \rightarrow \Reals függvényt az ff függvény primitív függvényének nevezzük II-n, ha FF differenciálható II-n és F(x)=f(x)xIF'(x) = f(x) \quad \forall x \in I.

Megjegyzés

Ha az FF függvény primitív függvénye az ff-nek, akkor G(x)=F(x)+CG(x) = F(x) + C ugyancsak primitív függvénye az ff-nek, ahol CRC \in \Reals.

Megjegyzés

Ha FF és GG is ff primitív függvényei, akkor CR\exists C \in \Reals, hogy F(x)=G(x)+CF(x) = G(x) + C.

Definíció 7.2 [Határozatlan integrál]

Az ff primitív függvényeinek összességét ff határozatlan integráljának nevezzük az II-n. Jelölése:

f(x) ⁣dx=F(x)+C. \int f(x) \dd x = F(x) + C \text.

Elemi függvények

Az alábbi függvényekből a négy alapművelet, az összetett függvényképzés és a nyílt halmazra való leszűkítés véges sokszori alkalmasával keletkező függvényeket elemi függvényeknek nevezzük:

1,x,ex,lnx,sinx,arcsinx. 1 \text, \quad x \text, \quad e^x \text, \quad \ln x \text, \quad \sin x \text, \quad \arcsin x \text.

A cosx\cos x, tanx\tan x, cotx\cot x, sinhx\sinh x, coshx\cosh x, tanhx\tanh x, cothx\coth x, arccosx\arccos x, arctanx\arctan x, arccotx\arccot x, arccoshx\arccosh x, arccoshx\arccosh x, arctanhx\arctanh x, arccothx\arccoth x, xαx^\alpha, polinom, racionális függvények elemi függvények.

Elemien integrálható függvények

A négy alapművelet, az összetett függvényképzés, a nyílt halmazra való leszűkítés megőrzi a differenciálhatóságot, tehát az elemi függvények az értelmezési tartományuk belső pontjában differenciálhatóak. A primitív függvények megkeresése azonban kivezet az elemi függvények köréből, ez indokolja az elemien integrálható függvények elnevezés bevezetését.

Elemien integrálható függvény olyan elemi függvény, amelynek primitív függvénye ugyancsak elemi függvény.

Elemien integrálható függvények például:

x2,1x+2,1x2+1. x^2 \text, \quad \frac{1}{x + 2} \text, \quad \frac{1}{x^2 + 1} \text.

Nem elemien integrálható függvény például:

ex2,sinxx,1lnx. e^{-x^2} \text, \quad \frac{\sin x}{x} \text, \quad \frac{1}{\ln x} \text.