Riemannin integraali

Käyrän y=f(x), x-akselin sekä suorien x=a ja x=b väliin jäävä tasokuvio S, jonka pinta-ala yritetään määrittää
Riemann-summien jono tasaväliselle ositukselle. Yläkulman luku on nelikulmioiden pinta-alojen summa, joka suppenee kohti integraalin arvoa osituksen tihetessä.
Välin ositus voi olla epäsäännöllinen, kunhan jokaisen osavälin pituus lähestyy nollaa.

Riemannin integraali on määrätty integraali, joka määrittää funktion kuvaajan alle jäävän etumerkillisen pinta-alan. Riemannin integraali määritellään jakamalla integroimisväli osaväleihin, joiden sisällä integroitavaa funktiota approksimoidaan vakiolla, ja laskemalla saatavat pinta-alat yhteen. Kun jakoa tihennetään, arvioi saatava summa integraalia yhä paremmin. Riemannin integraali saadaan tämän prosessin raja-arvona. Jatkuvan funktion Riemannin integraali voidaan laskea derivoinnin käänteisoperaationa analyysin peruslauseen avulla.

On olemassa funktioita, jotka ovat hyvin epäjatkuvia ja joita ei voi visualisoida yksinkertaisesti käyränä. Tällaisille funktioille ei voi laskea Riemannin integraalia, mutta esimerkiksi matemaattisesti hienostuneempi Lebesguen integraali saattaa olla olemassa. Jos funktion Riemannin integraali on olemassa, se vastaa arvoltaan Lebesguen integraalia.

Riemannin integraali oli ensimmäinen funktiolle reaaliakselin välin yli täsmällisesti määritelty integraali. Se on nimetty kehittäjänsä Bernhard Riemannin mukaan, joka esitteli sen vuonna 1854 habilitaatiotutkielmassaan. Riemann käytti määrittelemäänsä integraalia tutkiessaan Fourier-sarjojen suppenemisominaisuuksia.[1]

Määritelmä

Riemannin integraalin määrittelyn tavoitteena on löytää yksiselitteinen pinta-ala reaalilukujen tason kuviolle, jonka rajaavat koordinaatistossa suorat x = a {\displaystyle x=a} , x = b {\displaystyle x=b} ja y = 0 {\displaystyle y=0} , sekä käyrä y = f ( x ) {\displaystyle y=f(x)} , missä f {\displaystyle f} on funktio [ a , b ] R {\displaystyle [a,b]\rightarrow \mathbb {R} } . Tutkittavat pinta-alat ovat etumerkillisiä. Toisin sanoen, jos f {\displaystyle f} saa negatiivisia arvoja, ovat pinta-alat negatiivisia. Tason kuvaamiseen käytetään merkintää:

S = a b f ( x ) d x {\displaystyle S=\int _{a}^{b}f(x)\,dx}

Funktion f {\displaystyle f} halutaan sallia olevan mahdollisimman yleinen, toisin sanoen tässä ei rajoituta integroitaviin funktioihin, jotka ovat jossakin mielessä sopivan sileitä. Tämän vuoksi tässä esiteltävä määritelmä saattaa olla monimutkaisempi kuin joissakin oppikirjoissa.

Tämä määrittely tehdään jakamalla väli [ a , b ] {\displaystyle [a,b]} osaväleihin, joita sitten tihennetään äärettömästi. Jokaisella osavälillä suoran y = 0 {\displaystyle y=0} ja käyrän y = f ( x ) {\displaystyle y=f(x)} väliin jäävää pinta-alaa approksimoidaan suorakulmioilla. Jaon tihentyessä suorakaiteiden pinta-alojen summan pitäisi supeta kohti kysyttyä pinta-alaa. Riemannin integraalissa suorakaiteen korkeudeksi valitaan funktion f {\displaystyle f} arvo osavälin mielivaltaisessa pisteessä, jolloin jokaista jakoa vastaavan kuvion pinta-ala on niin kutsuttu Riemannin summa. Tässä annetaan kuitenkin myös Darboux'n integraalin määritelmä, missä valitaan kaksi suorakaiteen korkeutta, jotka ovat funktion f {\displaystyle f} maksimi ja minimi kullakin osavälillä, ja sen jälkeen tutkitaan, suppenevatko kyseiset pinta-alat, niin kutsutut Darboux'n ylä- ja alasumma, toisiinsa.

Riemannin integraalia määritettäessä jaetaan funktion f ( x ) {\displaystyle f(x)} tutkittava väli osaväleihin, jolloin jakopisteinä ovat x 0 , x 1 , x 3 . . .   j n e {\displaystyle x_{0},x_{1},x_{3}...~jne} , joihin approksimoidaan suorakulmiot. Jakopisteiden tihentyessä infinitesimaalisen välimatkan päähän toisistaan saadaan funktion integraali summaamalla suorakulmiot.

Annetaan nyt muutama määritelmä, joilla saadaan muotoiltua vaadittava osavälien tihentäminen teknisesti. Olkoon a < b {\displaystyle a<b} ja n N {\displaystyle n\in \mathbb {N} } . Välin [ a , b ] {\displaystyle [a,b]} n {\displaystyle n} -välinen jako on lukujono

( x 0 , x 1 , , x n ) {\displaystyle (x_{0},x_{1},\ldots ,x_{n})} ,

jolle pätee x i 1 < x i {\displaystyle x_{i-1}<x_{i}} kaikilla 1 i n {\displaystyle 1\leq i\leq n} , x 0 = a {\displaystyle x_{0}=a} ja x n = b {\displaystyle x_{n}=b} . Tällöin välit [ x i 1 , x i ] {\displaystyle [x_{i-1},x_{i}]} , missä 1 i n {\displaystyle 1\leq i\leq n} , muodostavat yhteisiä päätepisteitä lukuun ottamatta välin [ a , b ] {\displaystyle [a,b]} osituksen.

Jatkossa jaon merkitsemiseen käytetään symbolia D n {\displaystyle D_{n}} , ja lisäksi oletetaan, että D n {\displaystyle D_{n}} on k n {\displaystyle k_{n}} -jakoinen, missä siis ( k n ) n N {\displaystyle (k_{n})_{n\in \mathbb {N} }} on luonnollisten lukujen jono. Jaon D n {\displaystyle D_{n}} jakopisteitä merkitään symbolilla x i n {\displaystyle x_{i}^{n}} , missä 1 i k n {\displaystyle 1\leq i\leq k_{n}} , eli toisin sanoen

D n = ( x 0 n , x 1 n , , x k n n ) {\displaystyle D_{n}=(x_{0}^{n},x_{1}^{n},\ldots ,x_{k_{n}}^{n})} .

Jaon D n {\displaystyle D_{n}} pisin jakoväli on luku

| D n | = max { x i n x i 1 n | 1 i k n } {\displaystyle |D_{n}|=\max\{x_{i}^{n}-x_{i-1}^{n}\,|\,1\leq i\leq k_{n}\}} .

Jako D i {\displaystyle D_{i}} on jaon D j {\displaystyle D_{j}} tihennys, jos D j D i {\displaystyle D_{j}\subset D_{i}} , eli jaossa D i {\displaystyle D_{i}} on vähintään samat jakopisteet kuin jaossa D j {\displaystyle D_{j}} . Jakojen jono ( D 1 , D 2 , ) {\displaystyle (D_{1},D_{2},\ldots )} on tihenevä, jos jokainen jako D i {\displaystyle D_{i}} on sitä edeltävän jaon D i 1 {\displaystyle D_{i-1}} tihennys.

Riemannin summa ja integraali

Olkoon D n {\displaystyle D_{n}} välin [ a , b ] {\displaystyle [a,b]} jako, ja jono

ξ n = ( ξ 1 n , , ξ k n n ) {\displaystyle \xi ^{n}=(\xi _{1}^{n},\ldots ,\xi _{k_{n}}^{n})}

sellainen, että ξ i n [ x i 1 n , x i n ] {\displaystyle \xi _{i}^{n}\in [x_{i-1}^{n},x_{i}^{n}]} kaikilla 1 i k n {\displaystyle 1\leq i\leq k_{n}} .

Olkoon f {\displaystyle f} funktio [ a , b ] R {\displaystyle [a,b]\rightarrow \mathbb {R} } . Funktion f {\displaystyle f} jakoa D n {\displaystyle D_{n}} pisteissä ξ n {\displaystyle \xi ^{n}} vastaava Riemannin summa on

S D n ( f , ξ n ) = i = 1 k n f ( ξ i n ) ( x i n x i 1 n ) {\displaystyle S_{D_{n}}(f,\xi ^{n})=\sum _{i=1}^{k_{n}}f(\xi _{i}^{n})(x_{i}^{n}-x_{i-1}^{n})} .

Riemannin summan jokainen termi vastaa siis sellaisen suorakaiteen etumerkillistä pinta-alaa, jonka kanta on x i n x i 1 n {\displaystyle x_{i}^{n}-x_{i-1}^{n}} ja korkeus f ( ξ i n ) {\displaystyle f(\xi _{i}^{n})} . Se voidaan täten mieltää etsityn pinta-alan likiarvoksi. Likiarvon voisi olettaa tarkentuvan, kun jakoa tihennetään, mutta näin ei välttämättä ole. Esimerkiksi rationaalilukujen joukon indikaattorifunktiolle 1 Q {\displaystyle 1_{\mathbb {Q} }} voidaan kaikille tiheneville jakojonoille ( D n ) n N {\displaystyle (D_{n})_{n\in \mathbb {N} }} valita pisteet ( ξ n ) n N {\displaystyle (\xi ^{n})_{n\in \mathbb {N} }} siten, että vastaava Riemannin summien jono ( S D n ( 1 Q , ξ n ) ) n N {\displaystyle (S_{D_{n}}(1_{\mathbb {Q} },\xi ^{n}))_{n\in \mathbb {N} }} ei suppene.

Riemannin integraali määritellään seuraavaksi tihenevän jaon Riemannin summien raja-arvona. Koska raja-arvo ei välttämättä ole olemassa, sanotaan Riemann-integroituviksi niitä funktioita, joilla raja-arvo on olemassa riippumatta pisteiden ξ n {\displaystyle \xi ^{n}} valinnasta.

Olkoon jakojen jono ( D n ) n N {\displaystyle (D_{n})_{n\in \mathbb {N} }} tihenevä ja | D n | 0 {\displaystyle |D_{n}|\rightarrow 0} , kun n {\displaystyle n\rightarrow \infty } . Tämän voi tulkita niin, että jaot hienonevat äärettömän tiheiksi koko välillä [ a , b ] {\displaystyle [a,b]} . Sanotaan, että funktion f {\displaystyle f} Riemannin summilla on raja-arvo S R {\displaystyle S\in \mathbb {R} } , jos jokaiselle luvulle ε > 0 {\displaystyle \varepsilon >0} on olemassa luvut δ ε > 0 {\displaystyle \delta _{\varepsilon }>0} ja n ε N {\displaystyle n_{\varepsilon }\in \mathbb {N} } siten, että

| S D n ε ( f , ξ n ε ) S | < ε {\displaystyle |S_{D_{n_{\varepsilon }}}(f,\xi ^{n_{\varepsilon }})-S|<\varepsilon } , kun | D n ε | < δ ε {\displaystyle |D_{n_{\varepsilon }}|<\delta _{\varepsilon }} ,

ja S {\displaystyle S} on yksikäsitteinen kaikilla jonolla ξ n ε {\displaystyle \xi ^{n_{\varepsilon }}} . Jos Riemannin summilla on raja-arvo S {\displaystyle S} , niin funktio f {\displaystyle f} on Riemann-integroituva välillä [ a , b ] {\displaystyle [a,b]} ja sen Riemannin integraali on luku S {\displaystyle S} . Tällöin merkitään

S = a b f ( x ) d x {\displaystyle S=\int _{a}^{b}f(x)\,dx} .

Tässä merkintätavassa funktiota f {\displaystyle f} kutsutaan integrandiksi.

Tämä määritelmä saattaa olla vaikeaselkoinen ja sen käyttäminen monimutkaista. Seuraavaksi määritellään Darboux'n integraali, jonka määritelmä lienee intuitiivisempi ja joka on ominaisuuksiltaan olennaisin osin sama kuin Riemannin integraali. Darboux-integraalia käytetäänkin yleisesti mm. suomalaisessa lukio-opetuksessa.[2]

Darboux'n integraali

Olkoon f {\displaystyle f} reaalifunktio [ a , b ] R {\displaystyle [a,b]\rightarrow \mathbb {R} } . Funktion f {\displaystyle f} Darboux'n yläsumma jaolla D n {\displaystyle D_{n}} on

S D n ( f ) = i = 1 k n ( x i n x i 1 n ) sup { f ( x ) | x i 1 n x x i n } {\displaystyle S_{D_{n}}(f)=\sum _{i=1}^{k_{n}}(x_{i}^{n}-x_{i-1}^{n})\sup\{f(x)\,|\,x_{i-1}^{n}\leq x\leq x_{i}^{n}\}} .

Vastaava Darboux'n alasumma on

s D n ( f ) = i = 1 k n ( x i n x i 1 n ) inf { f ( x ) | x i 1 n x x i n } {\displaystyle s_{D_{n}}(f)=\sum _{i=1}^{k_{n}}(x_{i}^{n}-x_{i-1}^{n})\inf\{f(x)\,|\,x_{i-1}^{n}\leq x\leq x_{i}^{n}\}} .

Olkoon jakojen jono ( D n ) n N {\displaystyle (D_{n})_{n\in \mathbb {N} }} tihenevä ja | D n | 0 {\displaystyle |D_{n}|\rightarrow 0} , kun n {\displaystyle n\rightarrow \infty } . Jaon ollessa tihenevä, ovat sekä Darboux'n ylä- että alasummien arvot, eli jonot ( S D n ( f ) ) n N {\displaystyle (S_{D_{n}}(f))_{n\in \mathbb {N} }} ja ( s D n ( f ) ) n N {\displaystyle (s_{D_{n}}(f))_{n\in \mathbb {N} }} , monotonisia. Darboux'n yläintegraali on yläsummien vähenevän jonon infimum, eli luku

inf n S D n ( f ) {\displaystyle \inf _{n\rightarrow \infty }S_{D_{n}}(f)} .

Darboux'n alaintegraali on puolestaan alasummien kasvavan jonon supremum, eli luku

sup n s D n ( f ) {\displaystyle \sup _{n\rightarrow \infty }s_{D_{n}}(f)} .

Funktio f {\displaystyle f} on Darboux-integroituva, jos edellä mainitut raja-arvot ovat yhtäläiset eli

inf n S D n ( f ) = sup n s D n ( f ) {\displaystyle \inf _{n\rightarrow \infty }S_{D_{n}}(f)=\sup _{n\rightarrow \infty }s_{D_{n}}(f)} .

Tällöin kyseistä raja-arvoa kutsutaan funktion f {\displaystyle f} Darboux'n integraaliksi yli välin [ a , b ] {\displaystyle [a,b]} .

Funktio on Darboux-integroituva jos ja vain jos se on Riemann-integroituva. Yleinen tapa tarkastaa, onko funktio Riemann-integroituva, onkin verrata sen Darboux'n ylä- ja alaintegraalin arvoja. Lisäksi Darboux'n integraalin arvo on sama kuin Riemannin integraalin, toisin sanoen jos f {\displaystyle f} on Darboux- eli Riemann-integroituva, niin

inf n S D n ( f ) = a b f ( x ) d x = sup n s D n ( f ) {\displaystyle \inf _{n\rightarrow \infty }S_{D_{n}}(f)=\int _{a}^{b}f(x)\,dx=\sup _{n\rightarrow \infty }s_{D_{n}}(f)} .

Näistä syistä johtuen Riemannin integraali voidaan periaatteessa määritellä kuten Darboux'n integraali. Joissakin oppikirjoissa esitelläänkin Darboux'n integraali Riemannin integraalina.

Darboux'n ylä- ja alasummat voidaan merkitä myös U f ( P ) {\displaystyle U_{f}(P)} ja L f ( P ) {\displaystyle L_{f}(P)} , joissa P on välin jako.

Määritelmän yleistäminen

Riemannin integraali yleistetään mielivaltaiselle integrandin lähtöjoukolle seuraavasti. Olkoon joukko A {\displaystyle A} sellainen, että [ a , b ] A R {\displaystyle [a,b]\subset A\subset \mathbb {R} } , g {\displaystyle g} reaalifunktio A R {\displaystyle A\rightarrow \mathbb {R} } ja g [ a , b ] : [ a , b ] R {\displaystyle g_{[a,b]}:[a,b]\rightarrow \mathbb {R} } sen rajoittuma välille [ a , b ] {\displaystyle [a,b]} . Jos g [ a , b ] {\displaystyle g_{[a,b]}} on Riemann-integroituva, niin sanotaan, että g {\displaystyle g} on Riemann-integroituva välillä [ a , b ] {\displaystyle [a,b]} , ja funktion g {\displaystyle g} Riemannin integraaliksi yli välin [ a , b ] {\displaystyle [a,b]} määritellään

a b g ( x ) d x = a b g [ a , b ] ( x ) d x {\displaystyle \int _{a}^{b}g(x)\,dx=\int _{a}^{b}g_{[a,b]}(x)\,dx} .

Lisäksi määritellään

a a g ( x ) d x = 0 {\displaystyle \int _{a}^{a}g(x)\,dx=0}

ja

a b g ( x ) d x = b a g ( x ) d x {\displaystyle \int _{a}^{b}g(x)\,dx=-\int _{b}^{a}g(x)\,dx} .

Epäoleellinen integraali

Epäoleellinen integraali on Riemannin integraalien raja-arvo, jossa väli, jonka yli integroidaan, lähestyy joukkoa jossa Riemannin integraali ei ole edellä olevan määritelmän mukaan määritelty. Epäoleellinen integraali voidaan tulkita Riemannin integraalin laajennukseksi, eikä merkinnöissä näille tehdä yleensä eroa.

Ensiksi määritellään epäoleellinen integraali rajoitetulle suljetulle välille tapauksessa, jossa integrandi ei ole määritelty toisessa välin päätepisteessä. Toiseksi määritellään epäoleellinen integraali rajoittamattomalle välille.

Olkoon funktio f :   [ a , b [ R {\displaystyle f:\ [a,b[\rightarrow \mathbb {R} } Riemann-integroituva kaikilla väleillä [ a , c ] [ a , b [ {\displaystyle [a,c]\subset [a,b[} . Jos vasemmanpuoleinen raja-arvo

lim c b a c f ( x ) d x {\displaystyle \lim _{c\rightarrow b-}\int _{a}^{c}f(x)\,dx}

on olemassa eli reaaliluku, ääretön tai miinus ääretön, niin funktion f {\displaystyle f} epäoleellinen integraali yli välin [ a , b ] {\displaystyle [a,b]} on

a b f ( x ) d x = lim c b a c f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx=\lim _{c\rightarrow b-}\int _{a}^{c}f(x)\,dx} .

Funktiolle ] a , b ] R {\displaystyle ]a,b]\rightarrow \mathbb {R} } epäoleellinen integraali määritellään samoin oikeanpuoleisen raja-arvon kautta.

Olkoon funktio f :   [ a , [ R {\displaystyle f:\ [a,\infty [\rightarrow \mathbb {R} } Riemann-integroituva kaikilla väleillä [ a , c ] [ a , [ {\displaystyle [a,c]\subset [a,\infty [} . Jos raja-arvo

lim c a c f ( x ) d x {\displaystyle \lim _{c\rightarrow \infty }\int _{a}^{c}f(x)\,dx}

on olemassa, niin funktion f {\displaystyle f} epäoleellinen integraali yli välin [ a , [ {\displaystyle [a,\infty [} on

a f ( x ) d x = lim c a c f ( x ) d x {\displaystyle \int _{a}^{\infty }f(x)\,dx=\lim _{c\rightarrow \infty }\int _{a}^{c}f(x)\,dx} .

Samoin määritellään funktiolle g :   ] , a ] R {\displaystyle g:\ ]-\infty ,a]\rightarrow \mathbb {R} }

b f ( x ) d x = lim c c a f ( x ) d x {\displaystyle \int _{-\infty }^{b}f(x)\,dx=\lim _{c\rightarrow -\infty }\int _{c}^{a}f(x)\,dx} .

Ominaisuuksia

Koska Riemannin integraali on määritelty mittateoriasta riippumattomasti, ei se peri kaikkia yleisiä mittaintegraalin ominaisuuksia, vaan ne on johdettava sen määritelmästä analyysin menetelmin. Useimmat niistä ovat johdettavissa, mutta erityisesti konvergenssilauseita ei pysty Riemannin integraalille todistamaan ilman mittateoriaa. Ne ja kaikki muutkin mittaintegraalin ominaisuudet kuitenkin ovat voimassa, sillä Riemannin integraali yhtenee Riemann-integroituville funktioille joidenkin mittaintegraalien kanssa, esimerkiksi Lebesguen integraalin ja Riemann–Stieltjes-integraalin, jonka integraattori on identtinen kuvaus.

Riemann-integroituvia funktioita

Suljetulla välillä jatkuvat funktiot ovat Riemann-integroituvia. Riemann-integroituvien funktioiden summa ja tulo on Riemann-integroituva.

Riemann-integroituvien funktioiden integraalien ominaisuuksia

  • Jos f {\displaystyle f} ja g {\displaystyle g} ovat integroituvia välillä [min{a,b},max{a,b}], niin a c f d x = a b f d x + b c f d x {\displaystyle \int _{a}^{c}f\,dx=\int _{a}^{b}f\,dx+\int _{b}^{c}f\,dx}
  • Jos f {\displaystyle f} ja g {\displaystyle g} ovat integroituvia välillä [min{a,b},max{a,b}], niin a a f d x = 2 0 a f d x , kun  f ( x ) = f ( x ) {\displaystyle \int _{-a}^{a}f\,dx=2\int _{0}^{a}f\,dx,{\mbox{kun }}f(-x)=f(x)} kaikilla x ] {\displaystyle x\in ]} min { a , b } , {\displaystyle \{a,b\},} max { a , b } [ {\displaystyle \{a,b\}[}
  • Jos f {\displaystyle f} ja g {\displaystyle g} ovat integroituvia välillä [min{a,b},max{a,b}], niin a a f d x = 0 , kun  f ( x ) = f ( x ) {\displaystyle \int _{-a}^{a}f\,dx=0,{\mbox{kun }}f(-x)=-f(x)} kaikilla x ] {\displaystyle x\in ]} min { a , b } , {\displaystyle \{a,b\},} max { a , b } [ {\displaystyle \{a,b\}[}

Integraalilaskennan väliarvolauseita

Jos funktio f {\displaystyle f} on Riemann-integroituva välillä [ a , b ] {\displaystyle [a,b]} , niin

inf x [ a , b ] f ( x ) 1 b a a b f ( x ) d x sup x [ a , b ] f ( x ) {\displaystyle \inf _{x\in [a,b]}f(x)\leq {\frac {1}{b-a}}\int _{a}^{b}f(x)\,dx\leq \sup _{x\in [a,b]}f(x)} .

Jos f {\displaystyle f} on jatkuva välillä [ a , b ] {\displaystyle [a,b]} , niin on olemassa sellainen ξ ] a , b [ {\displaystyle \xi \in ]a,b[} , että

1 b a a b f ( x ) d x = f ( ξ ) {\displaystyle {\frac {1}{b-a}}\int _{a}^{b}f(x)\,dx=f(\xi )} .

Edellä olleita tuloksia kutsutaan integraalilaskennan väliarvolauseiksi. Seuraavia kutsutaan (integraalilaskennan) yleistetyiksi väliarvolauseiksi.

Jos funktiot f {\displaystyle f} ja g {\displaystyle g} ovat Riemann-integroituvia välillä [ a , b ] {\displaystyle [a,b]} , g 0 {\displaystyle g\geq 0} ja

a b g ( x ) d x > 0 {\displaystyle \int _{a}^{b}g(x)\,dx>0} ,

niin

inf x [ a , b ] f ( x ) a b f ( x ) g ( x ) d x a b g ( x ) d x sup x [ a , b ] f ( x ) {\displaystyle \inf _{x\in [a,b]}f(x)\leq {\frac {\int _{a}^{b}f(x)g(x)\,dx}{\int _{a}^{b}g(x)\,dx}}\leq \sup _{x\in [a,b]}f(x)} .

Jos f {\displaystyle f} on jatkuva välillä [ a , b ] {\displaystyle [a,b]} , niin on olemassa sellainen ξ ] a , b [ {\displaystyle \xi \in ]a,b[} , että

a b f ( x ) g ( x ) d x a b g ( x ) d x = f ( ξ ) {\displaystyle {\frac {\int _{a}^{b}f(x)g(x)\,dx}{\int _{a}^{b}g(x)\,dx}}=f(\xi )} .

Riemann-integroituvien funktioiden jonojen ominaisuuksia

Nimenomaan funktiojonoja tutkittaessa Riemannin integraalin tekniset puutteet tulevat esiin. Mittateoriassa on käytännöllisiä ja vahvoja konvergenssilauseita, joiden todistaminen on Riemannin integraalille mahdotonta pelkästään analyysin keinoin. Ne pätevät myös Riemannin integraalille, mutta tässä annetaan kaksi ilman mittateoriaa johdettavissa olevaa kaavaa integroimisen ja funktiojonon raja-arvon oton järjestyksen vaihtamiselle. Ne vaativat tasaisen suppenemisen ehdon, mikä on vaativampi ja monimutkaisempi kuin konvergenssilauseiden ehdot, jotka ovat funktiojonon monotonisuus tai funktiojonon rajoittuneisuus. Pelkkä pisteittäinen suppeneminen ei takaa integroimisen ja raja-arvon oton järjestyksen vaihdettavuutta.

Olkoon ( f n ) n N {\displaystyle (f_{n})_{n\in \mathbb {N} }} jono Riemann-integroituvia funktioita [ a , b ] R {\displaystyle [a,b]\rightarrow \mathbb {R} } .

Jos ( f n ) n N {\displaystyle (f_{n})_{n\in \mathbb {N} }} suppenee tasaisesti kohti Riemann-integroituvaa funktiota, niin raja-arvon ja integroimisen järjestys voidaan vaihtaa, eli pätee kaava

lim n a b f n ( x ) d x = a b lim n f n ( x ) d x {\displaystyle \lim _{n\rightarrow \infty }\int _{a}^{b}f_{n}(x)\,dx=\int _{a}^{b}\lim _{n\rightarrow \infty }f_{n}(x)\,dx} .

Jos sarja

( n = 1 k f n ) k N {\displaystyle \left(\sum _{n=1}^{k}f_{n}\right)_{k\in \mathbb {N} }}

suppenee tasaisesti kohti Riemann-integroituvaa funktiota, niin summan raja-arvon ja integroimisen järjestys voidaan vaihtaa, eli pätee kaava

a b n = 1 f n ( x ) d x = n = 1 a b f n ( x ) d x {\displaystyle \int _{a}^{b}\sum _{n=1}^{\infty }f_{n}(x)\,dx=\sum _{n=1}^{\infty }\int _{a}^{b}f_{n}(x)\,dx} .

Integraalin arvon määrääminen

Riemannin integraalin arvo voidaan laskea integraalifunktion avulla. Muita yleisiä apukeinoja ovat sijoittaminen eli muuttujanvaihto ja osittaisintegrointi.

Analyysin ensimmäinen peruslause

Analyysin ensimmäinen peruslause antaa yhteyden integraalifunktion ja Riemannin integraalin välille sekä hyvin käytännöllisen tavan Riemannin integraalien laskemiseen. Sen mukaan, jos f {\displaystyle f} on välillä [ a , b ] {\displaystyle [a,b]} jatkuva funktio ja F {\displaystyle F} jokin sen integraalifunktio, niin pätee yhtälö

a b f ( x ) d x = F ( b ) F ( a ) {\displaystyle \int _{a}^{b}f(x)\,dx=F(b)-F(a)} .

Esimerkki

Analyysin peruslauseen käyttöä voi valaista seuraavalla esimerkillä. Lasketaan Riemannin integraalin

0 π 2 ( 1 + cos 2 t ) d t {\displaystyle \int _{0}^{\frac {\pi }{2}}(1+\cos 2t)\,dt}

arvo. Koska funktiolle

F ( t ) = t + 1 2 sin 2 t {\displaystyle F(t)=t+{\frac {1}{2}}\sin 2t}

pätee

F ( t ) = 1 + cos 2 t {\displaystyle F'(t)=1+\cos 2t} ,

niin analyysin peruslauseesta seuraa tulos

0 π 2 ( 1 + cos 2 t ) d t {\displaystyle \int _{0}^{\frac {\pi }{2}}(1+\cos 2t)\,dt} = {\displaystyle =} F ( π 2 ) F ( 0 ) {\displaystyle F\left({\frac {\pi }{2}}\right)-F(0)}
= {\displaystyle =} ( π 2 + 1 2 sin π ) ( 0 + 1 2 sin 0 ) {\displaystyle \left({\frac {\pi }{2}}+{\frac {1}{2}}\sin \pi \right)-\left(0+{\frac {1}{2}}\sin 0\right)}
= {\displaystyle =} π 2 {\displaystyle {\frac {\pi }{2}}} .

Integrointi sijoittamalla

Olkoon f {\displaystyle f} jatkuva funktio reaalivälillä [ a , b ] {\displaystyle [a,b]} . Jos x {\displaystyle x} funktio [ α , β ] [ a , b ] {\displaystyle [\alpha ,\beta ]\rightarrow [a,b]} , jonka derivaatta on jatkuva ja jolle x ( α ) = a {\displaystyle x(\alpha )=a} ja x ( β ) = b {\displaystyle x(\beta )=b} , niin

a b f ( x ) d x = α β f ( x ( t ) ) x ( t ) d t {\displaystyle \int _{a}^{b}f(x)\,dx=\int _{\alpha }^{\beta }f(x(t))x'(t)\,dt}

Tässä siis muuttujan x {\displaystyle x} tilalle sijoitetaan muuttujan t {\displaystyle t} kuvaus x ( t ) {\displaystyle x(t)} , eli identtisen kuvauksen x x {\displaystyle x\mapsto x} tilalle sijoitetaan kuvaus t x ( t ) {\displaystyle t\mapsto x(t)} . Tätä kutsutaan Riemannin integraalin muuttujanvaihtokaavaksi. Laskua, jossa etsitään kuvaus x {\displaystyle x} ja sijoitetaan se muuttujanvaihtokaavaan, kutsutaan sijoittamalla integroimiseksi.

Esimerkki

Tyypillistä sijoittamalla integroimista voi kuvata seuraavalla esimerkillä. Riemannin integraalin

0 1 1 x 2 d x {\displaystyle \int _{0}^{1}{\sqrt {1-x^{2}}}\,dx}

laskeminen pelkän analyysin peruslauseen avulla lienee vaikeaa.

Sijoitetaan muuttujan x {\displaystyle x} tilalle kuvaus t sin ( t ) {\displaystyle t\mapsto \sin(t)} . Nyt edellä olevan kaavan merkinnöin

  • f ( x ) = 1 x 2 {\displaystyle f(x)={\sqrt {1-x^{2}}}}
  • a = 0 {\displaystyle a=0} ja b = 1 {\displaystyle b=1}
  • x ( t ) = sin ( t ) {\displaystyle x(t)=\sin(t)} .

Koska

sin ( 0 ) = 0 = a {\displaystyle \sin(0)=0=a} ja sin ( π / 2 ) = 1 = b {\displaystyle \sin(\pi /2)=1=b} ,

rajoiksi saadaan

α = 0 {\displaystyle \alpha =0} ja β = π / 2 {\displaystyle \beta =\pi /2}

Sijoittamalla nämä arvot ja x ( t ) = cos ( t ) {\displaystyle x'(t)=\cos(t)} muuttujanvaihtokaavaan, saadaan

0 1 1 x 2 d x = 0 π 2 1 sin 2 t   cos t d t {\displaystyle \int _{0}^{1}{\sqrt {1-x^{2}}}\,dx=\int _{0}^{\frac {\pi }{2}}{\sqrt {1-\sin ^{2}t}}\ \cos t\,dt}

Tästä voidaan jatkaa ratkaisuun käyttämällä trigonometrisiä kaavoja ja analyysin peruslausetta. Koska sin 2 t + cos 2 t = 1 {\displaystyle \sin ^{2}t+\cos ^{2}t=1} saadaan:

0 π 2 1 sin 2 t cos t d t = 0 π 2 cos 2 t cos t d t = 0 π 2 | cos t | cos t d t {\displaystyle {\begin{aligned}\int _{0}^{\frac {\pi }{2}}{\sqrt {1-\sin ^{2}t}}\cos t\,dt&=\int _{0}^{\frac {\pi }{2}}{\sqrt {\cos ^{2}t}}\cos t\,dt\\&=\int _{0}^{\frac {\pi }{2}}|\cos t|\cos t\,dt\end{aligned}}}

Koska kosini on ei-negatiivinen kyseisellä integroimisvälillä, on

0 π 2 | cos t | cos t d t = 0 π 2 cos 2 t d t {\displaystyle \int _{0}^{\frac {\pi }{2}}|\cos t|\cos t\,dt=\int _{0}^{\frac {\pi }{2}}\cos ^{2}t\,dt}

Sijoittamalla cos 2 t = 1 / 2 ( 1 + cos 2 t ) {\displaystyle \cos ^{2}t=1/2(1+\cos 2t)} seuraa:

0 π 2 cos 2 t d t = 1 2 0 π 2 ( 1 + cos 2 t ) d t {\displaystyle \int _{0}^{\frac {\pi }{2}}\cos ^{2}t\,dt={\frac {1}{2}}\int _{0}^{\frac {\pi }{2}}(1+\cos 2t)\,dt}

Edeltävästä esimerkistä seuraa lopputulos

1 2 0 π 2 ( 1 + cos 2 t ) d t = π 4 {\displaystyle {\frac {1}{2}}\int _{0}^{\frac {\pi }{2}}(1+\cos 2t)\,dt={\frac {\pi }{4}}}

Osittaisintegrointi

Osittaisintegrointi on operaatio, jonka merkitys riippuu asiayhteydestä, mutta osittaisintegrointikaava Riemannin integraalille pätee seuraavassa muodossa. Olkoon f {\displaystyle f} ja g {\displaystyle g} derivoituvia sekä derivaatat f {\displaystyle f'} ja g {\displaystyle g'} Riemann-integroituvia välillä [ a , b ] {\displaystyle [a,b]} . Tällöin

a b f ( x ) g ( x ) d x = f ( b ) g ( b ) f ( a ) g ( a ) a b f ( x ) g ( x ) d x {\displaystyle \int _{a}^{b}f(x)g'(x)\,dx=f(b)g(b)-f(a)g(a)-\int _{a}^{b}f'(x)g(x)\,dx}

Esimerkki

Lasketaan Riemannin integraali osittaisintegroinnilla. On annettu integraali:

1 2 ln x d x {\displaystyle \int _{1}^{2}\ln x\,dx}

Valitaan osittaisintegrointikaavassa

  • f = ln x {\displaystyle \displaystyle f=\ln x}
  • g = x {\displaystyle \displaystyle g=x}

Tällöin

  • f ( x ) = 1 x {\displaystyle \displaystyle f'(x)={\frac {1}{x}}}
  • g ( x ) = 1 {\displaystyle \displaystyle g'(x)=1}

Osittaisintegrointikaavan mukaan:

1 2 ln x 1 d x = ln 2 2 ln 1 1 1 2 1 x x d x = 2 ln 2 0 ( 2 1 ) = 2 ln 2 1 {\displaystyle {\begin{aligned}\int _{1}^{2}\ln x\cdot 1\,dx&=\ln 2\cdot 2-\ln 1\cdot 1-\int _{1}^{2}{\frac {1}{x}}\cdot x\,dx\\&=2\ln 2-0-(2-1)\\&=2\ln 2-1\end{aligned}}}


Sovelluksia

Riemannin integraali soveltuu määritelmänsä kautta luonnollisesti tasokuvioiden pinta-alojen laskemiseen.

Tasokuvion pinta-ala

Tasokuvion, joka jää suorien x = a {\displaystyle x=a} ja x = b {\displaystyle x=b} sekä x-akselin ja jatkuvan funktion f :   [ a , b ] R + {\displaystyle f:\ [a,b]\rightarrow \mathbb {R} _{+}} kuvaajan y = f ( x ) {\displaystyle y=f(x)} sisäpuolelle, pinta-ala on

a b f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx} .
Funktion f kuvaaja sinisellä, funktion g kuvaaja punaisella ja niiden väliin jäävä tasokuvio vaaleansinisellä

Yleisemmin, jos f {\displaystyle f} ja g {\displaystyle g} ovat jatkuvia funktioita [ a , b ] R {\displaystyle [a,b]\rightarrow \mathbb {R} } ja f > g {\displaystyle f>g} , niin niiden kuvaajien sekä suorien x = a {\displaystyle x=a} ja x = b {\displaystyle x=b} väliin jäävän tasokuvion pinta-ala on

a b ( f ( x ) g ( x ) ) d x {\displaystyle \int _{a}^{b}(f(x)-g(x))\,dx} .

Käyrän pituus

Pääartikkeli: Käyrän pituus

Olkoon f {\displaystyle f} tasokuviossa jatkuva käyrä, joka on kuvaus

[ a , b ] R 2 t ( x ( t ) , y ( t ) ) {\displaystyle {\begin{aligned}\left[a,b\right]&\rightarrow \mathbb {R} ^{2}\\t&\mapsto (x(t),\,y(t))\end{aligned}}}

,missä x {\displaystyle x} ja y {\displaystyle y} ovat kuvauksia [ a , b ] R {\displaystyle [a,b]\rightarrow \mathbb {R} } , joiden derivaatat ovat jatkuvia välillä [ a , b ] {\displaystyle [a,b]} . Tällöin käyrän f {\displaystyle f} pituus on:

a b ( x ( t ) ) 2 + ( y ( t ) ) 2 d t {\displaystyle \int _{a}^{b}{\sqrt {(x'(t))^{2}+(y'(t))^{2}}}\,dt}

Käyrän pyörähdyskappaleen tilavuus

Jos f : [ a , b ] R + {\displaystyle f:[a,b]\rightarrow \mathbb {R} _{+}} on jatkuva funktio, niin suorien x = a {\displaystyle x=a} ja x = b {\displaystyle x=b} ja käyrän y = f ( x ) {\displaystyle y=f(x)} x-akselin pyörähdyskappaleen tilavuus on

π a b ( f ( x ) ) 2 d x {\displaystyle \pi \int _{a}^{b}(f(x))^{2}\,dx} .

Käyrän pyörähdyskappaleen pinnan ala

Jos f {\displaystyle f} on funktio [ a , b ] R + {\displaystyle [a,b]\rightarrow \mathbb {R} _{+}} , joka on positiivinen välillä ] a , b [ {\displaystyle ]a,b[} ja jonka derivaatta on jatkuva välillä [ a , b ] {\displaystyle [a,b]} , niin käyrän y = f ( x ) {\displaystyle y=f(x)} pyörähtäessä x-akselin ympäri syntyvän kappaleen pinnan ala on

2 π a b f ( x ) 1 + f ( x ) 2 d x {\displaystyle 2\pi \int _{a}^{b}f(x){\sqrt {1+f'(x)^{2}}}\,dx} .

Katso myös

Lähteet

  1. Timothy Gowers, June Barrow-Green, Imre Leader: The Princeton companion to mathematics, s. 124,775. Princeton: Princeton University Press, 2008. ISBN 978-1-4008-3039-8.
  2. ”Pinta-ala suorakulmioilla - ala- ja yläsumma”. fi-FI

Kirjallisuutta

  • Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013) (pdf) Helsinki: Avoimet oppimateriaalit ry. ISBN 978-952-7010-12-9 ISBN 978-952-7010-6 (pdf). Viitattu 8.7.2019.

Aiheesta muualla

Commons
Commons
Wikimedia Commonsissa on kuvia tai muita tiedostoja aiheesta Riemannin integraali.
  • MathWorld. Darboux Integral
    • MathWorld. Lower Sum
    • MathWorld. Upper Sum
    • MathWorld. Lower Integral
    • MathWorld. Upper Integral
  • MathWorld. Riemann Sum
  • MathWorld. Riemann Integral
  • MathWorld. Improper Integral
  • MathWorld. Integration by Parts