tiistai 9. huhtikuuta 2013

Potenssin integraalifunktio

Potenssi $x^n$ integroidaan tunnetusti kaavalla \[ \int x^n\,dx = \frac{x^{n+1}}{n+1} + C.  \] Poikkeuksena on arvo $n = -1$, jolloin \[ \int \frac{1}{x}\,dx = \ln(x) + C.  \]

Peruskursseja luennoidessani en ole koskaan tullut miettineeksi, syntyisikö erikoistapaus peruskaavasta rajaprosessilla $n \to -1$ enkä muista nähneeni tällaista myöskään oppikirjoissa. Jotenkin luonnolliselta ajatus kuitenkin tuntuisi. Eihän kyseessä voi olla kaksi täysin toisistaan riippumatonta faktaa.

Tutkimisen voisi laskentaohjelmien aikakaudella aloittaa luonnollisimmin piirtelemällä kuvaajia. Tämähän sujuu helposti ja sillä näkee, onko ajatuksessa mitään mieltä. Koska integraalifunktioihin liittyy määräämätön vakio $C$, on luonnollista panna käyrät kulkemaan saman pisteen kautta. Olkoon siis vaikkapa $x = 1$ jokaisen kuvaajan nollakohta, jolloin on piirrettävä käyrät \[ y = \ln(x) \quad\text{ja}\quad y = \frac{x^{n+1}}{n+1} - \frac{1}{n+1} \] sopivilla eksponentin $n$ arvoilla.

Liitekuva on tehty GeoGebralla. Kun liukusäätimellä pienennetään parametria $h$, eksponentit lähestyvät ylhäältä ja alhaalta arvoa $n = -1$ ja kuvaajat muuttuvat vastaavasti. Näyttävät lähestyvän logaritmikäyrää.

Seuraava askel olisi katsoa, mitä symbolilaskenta antaa raja-arvoksi \[ \lim_{n \to -1} \left(\frac{x^{n+1}}{n+1} - \frac{1}{n+1}\right).  \] Tuloksena on $\ln(x)$ ja asia siis näyttäisi olevan selvä. Symbolinen ohjelma on kuitenkin käyttäjälle musta laatikko, joka toivottavasti laskee oikein. Lähempää tietoa tuloksen perusteista se harvoin antaa.  Wolfram|Alpha pyrkii olemaan poikkeus, mutta tässä tapauksessa se ei minusta varsinaista valoa asiaan tuo, vaikka jonkinlaiset perusteet onkin mahdollista saada.

Lausekkeen voi kirjoittaa muotoon \[ \frac{x^h-1}{h} \quad (h = n+1) \] ja soveltaa tämän jälkeen l'Hospitalin sääntöä $h$:n suhteen. Perustavampaa olisi kuitenkin palauttaa raja-arvo eksponenttifunktion derivaatan määrittämiseen, kyseessähän on erotusosamäärä. Eksponenttifunktion derivaatan puolestaan voi perustella eri tavoin riippuen siitä, mikä useista vaihtoehdoista on otettu määritelmäksi. Pohjalla voi esimerkiksi olla Neperin luvun määrittely raja-arvona: \[ e = \lim_{p \to \infty} \biggl(1 + \frac{1}{p}\biggr)^p.  \]

Täten onkin johduttu analyysin perusraja-arvoihin! Lukija miettiköön, miten Neperin luvun määrittelystä päästään eksponenttifunktion derivaattaan. (Vihjeeksi Iso-M-tietosanakirjan funktion raja-arvoa käsittelevä artikkeli.)

4 kommenttia:

Anonyymi kirjoitti...

Tjaa, minusta rajaprosessia ei voida määrittää, koska -1 ei ole luonnollisten lukujen joukon kasautumispiste topologiassa jonka N perii reaaliluvuilta. Eli täytyy määrittää derivaattakaava R:n yli. https://en.wikipedia.org/wiki/Fractional_calculus

Anonyymi kirjoitti...

Äh, tarkoitin tietenkin kokonaislukuja en luonnollisia lukuja.

SKK kirjoitti...

Tässä ei ole kyse siitä, että derivoinnin kertaluku olisi reaaliarvo, vaan funktiojonon rajafunktiosta: Funktio x^(n+1)/(n+1)+C on määritelty arvoilla x>0 aina kun n ei ole -1. Ongelmana on, onko tämän rajafunktio ln(x), ja osoittautuu, että sopivalla C:n valinnalla näin on. Tämän päättelyn kannalta on epäolennaista, että kyseessä sattuvat olemaan potenssin x^n integraalifunktiot, mutta tämä on tietenkin motivaationa ongelmalle.

Anonyymi kirjoitti...

No eipä se nyt aivan epäolennaista ole, koska motivaatio ei toimi. Pohdit voiko perustella tuon erityistapauksen pisteessä $n-1$ raja-arvon ottamalla. Vastaus on että et voi, vaan triviaalin raja-arvon vekslaus pätee vain sattumalta.