Ingyenes tananyagok

Analízis 1

A határozott integrál

Itt már nem primitív függvényt keresünk, hanem területet mérünk: mit jelentenek a közelítő összegek, mit mond ki a Newton–Leibniz-formula, és mikor szabad használni.

13 perc olvasás

1. Mit mér a határozott integrál?

A határozatlan integrálnál egy függvényt kerestünk: azt, aminek a deriváltja az integrandus. A határozott integrál egészen más dolog: az eredménye egy szám, és ez a szám a görbe alatti előjeles területet méri az [a,b][a,b] szakaszon. Hogy a kettőnek mi köze egymáshoz, az a lecke fő kérdése — és a válasz egyáltalán nem magától értetődő.

Az ötlet a következő. Osszuk fel az [a,b][a,b] szakaszt nn kis darabra, és minden darab fölé rajzoljunk egy téglalapot, aminek a magassága a függvény értéke a darab egy tetszőleges ξi\xi_i pontjában. A téglalapok összterülete közelíti a görbe alatti területet:

Riemann-féle közelítő összeg

Sn=i=1nf(ξi)Δxi,Δxi=xixi1S_n=\sum_{i=1}^{n}f(\xi_i)\,\Delta x_i,\qquad \Delta x_i=x_i-x_{i-1}

Ha a felosztást egyre finomítjuk (a leghosszabb darab hossza is nullához tart), és az összeg ugyanahhoz a számhoz tart függetlenül attól, hogyan osztottunk fel és hol vettük a ξi\xi_i pontokat, akkor a függvényt Riemann-integrálhatónak nevezzük, a közös határértéket pedig határozott integrálnak:

A határozott integrál

abf(x)dx=limni=1nf(ξi)Δxi\int_{a}^{b}f(x)\,dx=\lim_{n\to\infty}\sum_{i=1}^{n}f(\xi_i)\,\Delta x_i

Melyik függvény integrálható?

A vizsgán szinte mindig folytonos függvényekkel dolgozol, és minden zárt intervallumon folytonos függvény integrálható. Sőt, elég a korlátosság és a véges sok szakadás is. Az abf\int_a^b f jelöléshez tehát nem kell külön aggódni; ami tényleg számít, az a következő szakasz feltétele.

Egy dolgot érdemes már most rögzíteni: az integrál előjeles területet ad. Ahol a függvény a tengely alatt fut, ott a f(ξi)f(\xi_i) értékek negatívak, tehát a hozzájuk tartozó téglalapok levonódnak. Ez a szám tehát nem mindig egyezik meg azzal a területtel, amit ránézésre látsz — erre a különbségre épül a görbe alatti terület című lecke.

2. A Newton–Leibniz-formula

A definíció szép, de számolni nem lehet vele: senki nem akar végtelen összegek határértékét keresgélni. Az egész analízis egyik legfontosabb tétele éppen azt mondja ki, hogy nem is kell. Elég egy primitív függvényt találni, és két értéket kivonni egymásból.

Newton–Leibniz-formula

abf(x)dx=[F(x)]ab=F(b)F(a),ahol F=f\int_{a}^{b}f(x)\,dx=\Big[F(x)\Big]_{a}^{b}=F(b)-F(a),\qquad \text{ahol } F'=f

Ez az a pont, ahol a két integrálfogalom összeér: a terület (határozott integrál) kiszámolható a primitív függvény (határozatlan integrál) segítségével. Innen a gyakorlati menet:

  1. Keress egy primitív függvényt ugyanazokkal a módszerekkel, amiket a határozatlan integrálnál tanultál.
  2. Helyettesítsd be a felső határt, majd vond ki belőle az alsó határral vett értéket.
  3. A +C+C konstansra itt nincs szükség: kiesik a kivonásban, hiszen (F(b)+C)(F(a)+C)=F(b)F(a)(F(b)+C)-(F(a)+C)=F(b)-F(a).

Példa

02(3x24x+1)dx=[x32x2+x]02=(88+2)0=2\int_{0}^{2}\left(3x^{2}-4x+1\right)dx=\Big[x^{3}-2x^{2}+x\Big]_{0}^{2}=(8-8+2)-0=2

A formulának feltétele van

A Newton–Leibniz-formula akkor érvényes, ha az ff az egész [a,b][a,b] szakaszon folytonos. Ha az integrandusnak a határok között szakadása van, a gépies behelyettesítés értelmetlen eredményt ad — erről szól az improprius integrál lecke. Mielőtt behelyettesítesz, mindig nézd meg, hogy az integrandus értelmezve van-e mindenütt a két határ között.

3. Tulajdonságok, amiket ki lehet használni

Ezek nem elméleti csemegék: mindegyik azt szolgálja, hogy egy feladatot rövidebbre lehessen zárni.

  • Linearitás. ab(αf+βg)=αabf+βabg\int_a^b\big(\alpha f+\beta g\big)=\alpha\int_a^b f+\beta\int_a^b g — tagonként integrálhatsz, a konstans kiemelhető.
  • Additivitás a határokra. abf=acf+cbf\int_a^b f=\int_a^c f+\int_c^b f. Ezzel lehet szakaszokra bontani egy feladatot, például ott, ahol a függvény előjelet vált.
  • Határcsere. abf=baf\int_a^b f=-\int_b^a f, és aaf=0\int_a^a f=0. A határok felcserélése tehát előjelet vált, nem hiba, csak figyelni kell rá.
  • Monotonitás. Ha fgf\le g az egész szakaszon, akkor abfabg\int_a^b f\le\int_a^b g. Innen jönnek a becslések.
  • Integrálközép. Folytonos függvényre van olyan c[a,b]c\in[a,b], hogy abf=f(c)(ba)\int_a^b f=f(c)\,(b-a). A függvény átlagos értéke tehát 1baabf\frac{1}{b-a}\int_a^b f.

Szimmetria: a leggyorsabb rövidítés

Ha az integrálási tartomány szimmetrikus a nullára, nézd meg a függvény paritását, mielőtt bármit is kiszámolnál:

f paˊratlan  aaf=0,f paˊros  aaf=20aff\ \text{páratlan}\ \Rightarrow\ \int_{-a}^{a}f=0,\qquad f\ \text{páros}\ \Rightarrow\ \int_{-a}^{a}f=2\int_{0}^{a}f

Az 11x3ex2dx\int_{-1}^{1}x^{3}e^{x^{2}}\,dx például minden számolás nélkül 0, mert az integrandus páratlan. Egy dolgozatban ez percekben mérhető nyereség.

4. Helyettesítés és parciális integrálás határokkal

A módszerek ugyanazok, mint a határozatlan integrálnál, egyetlen különbséggel: a határokkal is kezdeni kell valamit.

Helyettesítésnél két út van. Vagy visszahelyettesítesz az eredeti változóra, és az eredeti határokkal számolsz, vagy — és ez a gyorsabb — átírod a határokat is az új változóra, és akkor nem kell visszatérni:

Helyettesítés határozott integrálnál

abf(g(x))g(x)dx=g(a)g(b)f(u)du\int_{a}^{b}f\big(g(x)\big)g'(x)\,dx=\int_{g(a)}^{g(b)}f(u)\,du

Példa: a határok átírásával

Az 012xex2dx\int_{0}^{1}2x\,e^{x^{2}}dx integrálban legyen u=x2u=x^{2}, ekkor du=2xdxdu=2x\,dx. Az új határok: x=0u=0x=0\Rightarrow u=0 és x=1u=1x=1\Rightarrow u=1.

012xex2dx=01eudu=[eu]01=e1\int_{0}^{1}2x\,e^{x^{2}}dx=\int_{0}^{1}e^{u}\,du=\Big[e^{u}\Big]_{0}^{1}=e-1

Itt véletlenül ugyanaz lett a két határ, mint az eredeti — ez szerencse, nem szabály. Mindig számold ki őket külön.

Parciális integrálásnál a kiintegrált tagot azonnal ki lehet értékelni a határok között, és csak a maradék integrál marad határozott integrálként:

Parciális integrálás határokkal

abuvdx=[uv]ababuvdx\int_{a}^{b}u\,v'\,dx=\Big[u\,v\Big]_{a}^{b}-\int_{a}^{b}u'\,v\,dx

Példa

Legyen u=xu=x és v=cosxv'=\cos x, ekkor u=1u'=1 és v=sinxv=\sin x:

0π/2xcosxdx=[xsinx]0π/20π/2sinxdx=π2+[cosx]0π/2=π21\int_{0}^{\pi/2}x\cos x\,dx=\Big[x\sin x\Big]_{0}^{\pi/2}-\int_{0}^{\pi/2}\sin x\,dx=\frac{\pi}{2}+\Big[\cos x\Big]_{0}^{\pi/2}=\frac{\pi}{2}-1

A leggyakoribb hiba a helyettesítésnél

Ha átírod a változót, de a határokat nem, akkor a régi határokat az új változóba helyettesíted be, és rossz számot kapsz. Vagy mindkettőt átírod, vagy egyiket sem, és a végén visszahelyettesítesz. Írd oda a levezetésben, hogy u=u=\ldots mellett mi lett a két új határ, így magadat is emlékezteted rá.

5. Az integrálfüggvény

Rögzítsük az alsó határt, és engedjük szabadon a felsőt. Amit kapunk, az már nem szám, hanem függvény:

Integrálfüggvény

F(x)=axf(t)dtF(x)=\int_{a}^{x}f(t)\,dt

Figyelj a jelölésre: a felső határ xx, ezért az integrálási változó nem lehet ugyanaz — innen a tt. Az analízis alaptétele azt mondja ki, hogy ha ff folytonos, akkor ez a függvény differenciálható, és:

Az analízis alaptétele

ddxaxf(t)dt=f(x)\frac{d}{dx}\int_{a}^{x}f(t)\,dt=f(x)

Vagyis az integrálás és a deriválás valóban egymás megfordításai. Ez az az állítás, ami mögött a Newton–Leibniz-formula áll, és ez az, amiért a „terület” és a „primitív függvény” ugyanarról szól.

Példa: deriválás behelyettesített felső határral

Ha a felső határ nem xx, hanem egy függvénye, a láncszabály is belép:

ddx0x2sin(t2)dt=sin ⁣((x2)2)2x=2xsin(x4)\frac{d}{dx}\int_{0}^{x^{2}}\sin(t^{2})\,dt=\sin\!\big((x^{2})^{2}\big)\cdot 2x=2x\sin(x^{4})

Vedd észre, hogy a belső integrált nem is kellett kiszámolni — a sin(t2)\sin(t^2) primitív függvénye nem is írható fel elemi alakban. Ez a feladattípus pont ezért kedvelt.

6. Tipikus hibák

  • A határok fel nem cserélése helyettesítésnél. Új változó mellé új határok járnak. Ha nem írod át őket, a végeredmény rendszerint egy ránézésre értelmes, de rossz szám lesz.
  • A +C+C odaírása. Határozott integrálnál nincs rá szükség, mert kiesik. Nem hiba súlyosan, de azt mutatja, hogy a két fogalom még összemosódik.
  • Szakadás a határok között. A Newton–Leibniz-formula folytonosságot kíván. Az 11dxx2\int_{-1}^{1}\frac{dx}{x^{2}} nem 2-2, hanem divergens.
  • Az integrál és a terület összekeverése. Ha a függvény előjelet vált a szakaszon, az integrál értéke kisebb, mint a valódi terület. Rajzolj vázlatot, mielőtt „területet” írsz a végeredmény mellé.
  • Fokban számolt szögek. A sin\sin és cos\cos integrálási képletei radiánra érvényesek. Az 0πsinxdx=2\int_{0}^{\pi}\sin x\,dx=2 csak így jön ki.

Elakadtál menet közben?

Egy tananyag megmutatja, hogyan működik a dolog. Azt viszont, hogy pontosan hol csúszik el nálad, egy óra alatt derítjük ki. Foglalj egy alkalmat, vagy beszéljük meg egy ingyenes konzultáción, mire van szükséged.