Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta Seminaariaine Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2004
Matemaattista ja historiallista taustaa Tämän kappaleen historiallinen tausta perustuu lähteisiin [] ja [3]. Määritelmä. Funktio f : R R on jatkuva pisteessä x 0 R, mikäli lim f(x) = f(x 0 ). x x 0 Määritelmä 2. Funktio f : R R on derivoituva pisteessä x 0 R, mikäli raja-arvo f (x 0 ) = lim h 0 f(x 0 + h) f(x 0 ) h on äärellisenä olemassa. Tällöin f (x 0 ) on funktion f derivaatta pisteessä x 0. On helppoa huomata, että funktion derivoituvuudesta seuraa funktion jatkuvuus. Lause. Jos funktio f : R R on derivoituva pisteessä x 0 R, niin se on jatkuva pisteessä x 0. Todistus. Oletetaan, että funktio f on derivoituva pisteessä x 0 R. Täten on äärellisenä olemassa. Nyt f (x 0 ) = lim h 0 f(x 0 + h) f(x 0 ) h R f(x 0 + h) f(x 0 ) = f(x 0 + h) f(x 0 ) h f (x 0 ) 0 = 0 h kun h 0. Valitsemalla x = x 0 + h saadaan josta väite seuraa. lim f(x) f(x 0 ) = 0 x x 0 Kuitenkaan päinvastainen ei pidä paikkaansa, kuten seuraava esimerkki näyttää. Lause 2. Funktio f : R R, f(x) = x on jatkuva, muttei derivoituva, pisteessä x = 0.
Todistus. Funktion f jatkuvuus pisteessä x = 0 on selvä. Derivoitumisen tutkimiseksi tarkastellaan toispuoleisia raja-arvoja pisteessä x = 0. Kun h 0, niin 0 + h 0 h = h h =. Toisaalta 0 + h 0 = h h h = kun h 0 +. Täten raja-arvoa ei ole olemassa, joten f ei ole derivoituva pisteessä x = 0. Tästä huolimatta on luontevaa ajatella, että jatkuvalla funktiolla täytyi olla yksi tai useampia pisteitä, joissa se on derivoituva. Tämä olikin yleinen uskomus matemaatikkopiireissä aina 800-luvun loppupuolelle asti. Osasyynä tähän oli liiallinen luottamus fysikaaliseen intuitioon ja määritelmien epätäsmällisyys. Funktiot tulkittiin fysikaalisten suureiden kuvaajiksi. Täten niissä saattoi olla teräviä kärkiä tai epäjatkuvuuskohtia, mutta uskottiin, että näistä huolimatta aina pystyi löytämään jatkuvasta funktiosta sen verran säännöllisyyttä, että sen joillekin pisteille pystyi laskemaan tangentin. Ainakin ranskalainen matemaatikko ja fyysikko Andre-Marie Ampere yritti muotoilla teoreettisia perusteluita jatkuvan funktion derivaatan olemassaololle suurimassa osasta reaalipisteistä. Ensimmäisen tunnetun esimerkin tälläisestä patologisesta funktiosta, joka käyttäytyi vastoin matemaatikojen yleistä luuloa, esitti vuoden 830 tienoilla tsekki Bernard Bolzano. Tämä geometrisesti konstruoitu funktio oli jatkuva suljetulla välillä, mutta se ei ollut derivoituva yhdessäkään pisteessä. Valitettavasti Bolzanon esimerkki unohtui ja se julkaistiin vasta satakunta vuotta myöhemmin. Sama kohtalo oli Charles Cellerierin esimerkkifunktiolla. Vuoden 860 tienoilla Cellerier todisti, että funktio C(x) = k= a k sin(ak x) 2
on jatkuva, mutta ei derivoituva, kun a > 000 on parillinen kokonaisluku. Tämä tulos hautautui ja se julkistettiin vasta Cellerierin kuoleman jälkeen vuonna 890. Tätä ennen, vuonna 872, saksalainen Karl Weierstrassin oli ehtinyt esitellä ensimmäisenä julkaistun esimerkin kaikkialla jatkuvasta derivoitumattomasta funktiosta. Kyseinen funktio kantaa Weierstrassin nimeä ja on W (x) = a k cos(b k πx) k=0 missä 0 < a <, b on pariton kokonaisluku ja ab > + 3π. 2 Yhdessä samoihin aikoihin löydettyjen epäeuklidisten geometrioiden ja joukkoopillisia paradoksien kanssa nämä patologiset funktiot osoittivat, että liiallinen luottamus maalaisjärkeen ja intuitioon on pettävää matematiikkassa. Tämä johti siten matemaattisen logiikan syntymiseen ja eri matematiikan alojen aksiomatisointiin. Itseasiassa on osoitettu, että kaikkien jatkuvien funktioiden joukossa funktiot, jotka ovat derivoituvia kaikkialla, ovat eräässä mielessä harvemmassa verrattuna jatkuviin muttei missään derivoituviin funktioihin. Vaikka molemmissa joukoissa on äärettömän monta alkiota, niin derivoitumattomat funktiot muodostavat samalla tavalla tiheämmän joukon kuin irrationaalilukujen joukko verrattuna rationaalilukujen joukkoon. 3
2 McCarthyn esimerkki Vuonna 953 John McCarthy julkaisi tässä esitettävän esimerkin kaikkialla jatkuvasta, muttei missään derivoituvasta funktiosta [2]. Esimerkkinä se on hyvä, koska sen todistus on muihin patologisten funktioiden todistuksiin verrattuna varsin yksinkertainen eikä vaadi analyysin peruskursseilla esitettävää laajempaa tietämystä. Määritellään funktio ĝ : [ 2, 2[ [, ] seuraavasti + x,, kun 2 x < 0 ĝ(x) = x,, kun 0 x < 2. Olkoon apufunktio g : R [, ] funktion ĝ 4-periodinen laajennus eli g(x 0 + 4p) = ĝ(x 0 ) aina, kun 2 x 0 < 2 ja p Z. Tällöin apufunktio g on jatkuva ja se on jaksollinen, sillä g(x + 4) = g(x) kaikilla x R. Sahanterä-funktiona se ei tule olemaan derivoituva pisteissä x = 2p, missä p Z. Kuva. Apufunktio g Käyttämällä edellisiä merkintöjä McCarthyn funktio M määritellään funktiosarjana M(x) = k= ( ) 2 g 2 2k x. k 4
Koska 2 2k ( ) kasvaa hyvin nopeasti, apufunktion g 2 2k x derivoitumattomat kärkipisteet kertyvät yhä tiheämpään. Niinpä kaikkien pisteiden x R jokaisesta ympäristöstä löytyy piste, jossa McCarthyn funktio M ei ole derivoituva. Ohessa kaksi approksimaatiota funktiolle pienillä summien arvoilla. Kuva 2. 2 k= g(2 2k x) Kuva 3. 2 k 3 k= 2 k g(2 2k x) Funktion M jatkuvuuden osoittamiseen voidaan käyttää seuraavia kahta kurssin Analyysi I lausetta, jotka esitetään ilman todistuksia. Lause 3. (Weierstrassin M-testi) Jos sarja a k suppenee ja f k (x) a k aina, kun x D ja k Z +, niin funktiosarja f k (x) suppenee tasaisesti joukossa D. Lause 4. Olkoon (f k ) k= D R. Jos funktiosarja k= k= jono sellaisia funktioita, jotka ovat jatkuvia joukossa f k (x) k= suppenee tasaisesti joukossa D kohti rajafunktiota f, niin funktio f : D R on jatkuva. 5
Lause 5. McCarthyn funktio M on jatkuva kaikilla x R. ( ) Todistus. Merkitään f k = g 2 2k x. Koska g on jatkuva joukossa R, niin siten 2 k myös jokainen f k on jatkuva alueessa R. Lisäksi f k (x) = ( 2 g k ) 2 2k x = ( g 2 k koska g(x) kaikilla x R. Koska sarja M-testin nojalla funktiosarja M(x) = k= k= ( ) 2 g 2 2k x k ) 2 2k x 2 k suppenee, niin Weierstrassin 2 k suppenee tasaisesti. Lauseen 4 nojalla rajafunktio M on jatkuva. Se, että funktio ei ole derivoituva missään pisteessä, on huomattavasti pidempi todistus, mutta silti suhteellisen yksinkertainen verrattuna muiden patologisten funktioiden todistuksiin. Osoitetaan, että McCarthyn funktion M(x) derivaatta ei voi olla äärellisenä olemassa missään pisteessä x R. Tätä varten muodostetaan lukujono (h n ) n=, jonka n:s alkio on muotoa h n = ±2 2n. Lukujonon alkioiden etumerkki tulee riippumaan pisteestä x R. Valitaan merkki positiiviseksi, mikäli on olemassa sellainen p n Z, että 2p n 2 2n x < 2 2n x + 2 2n h n 2p n + 2 ja negatiiviseksi, jos on olemassa sellainen p n Z, että 2p n 2 2n x + 2 2n h n < 2 2n x 2p n + 2. Valinta voidaan tehdä, koska 2 2n h n = ±2 2n 2 n = ±. Merkki valitaan siis niin, että lukujen 2 2n x ja 2 2n (x+h n ) välissä ei ole parillisia kokonaislukuja. Apufunktio g vaihtoi suuntaansa aina parillisissa kokonaislukupisteissä, joten luvut 2 2n x ja 2 2n (x + h n ) ovat aina samalla suoran pätkällä. 6
Lemma. Olkoon k, n Z +. Nyt ( ) g 2 2k (x + h n ) = g(2 2k x) kaikilla k > n ja x R. Täten M(x + h n ) M(x) = n k= ( ( ) ( )) g 2 2k (x + h 2 k n ) g 2 2k x kaikilla x R. Todistus. Olkoon x R ja n Z + mielivaltaisia. Kun k > n, niin 2 2k h n = 2 2 k 2 n = 2 2n (2 k n ) = 4 2n (2 k n ) joten 2 2k h n on neljällä jaollinen. Koska g oli 4-periodinen funktio, niin ( ) ) ( ) g 2 2k (x + h n ) = g (2 2k x + 2 2k h n = g 2 2k x. Täten eli k=n+ 2 k M(x + h n ) M(x) = ( ) ( g 2 2k (x + h n ) g } {{ } =0 = k= n k= ) 2 2k x = 0 ( ( ) ( )) g 2 2k (x + h 2 k n ) g 2 2k x ( ( ) ( )) g 2 2k (x + h 2 k n ) g 2 2k x. Seuraava lemma osoittaa, että kun k n, niin luvut 2 2k x ja 2 2k (x + h n ) ovat funktion g samalla osalla. 7
Lemma 2. Olkoon k n ja x R. Jos 2 2k x [4p, 4p + 2[, niin 2 2k (x + h n ) [4p, 4p + 2[ tai jos 2 2k x [4p 2, 4p[, niin 2 2k (x + h n ) [4p 2, 4p[, missä p Z. Todistus. Termin h n määritelmän nojalla lause on tosi aina, kun k = n. Täten riittää tarkastella tapauksia, joissa k < n. Jos termin h n merkki on positiivinen, niin on olemassa sellainen p n Z, että 2p n 2 2n x < 2 2n x + 2 2n h n 2p n + 2. Tehdään vastaoletus, että on olemassa sellaiset k < n ja p k Z, että 2 2k x < 2p k 2 2k x + 2 2k h n. Kerrotaan tämä epäyhtälö puolittain luvulla q = 2 2n 2 k Z + ja saadaan 2 2n x < 2qp k 2 2n x + 2 2n h n. Täten eli 2p n 2 2n x < 2qp k 2 2n x + 2 2n h n 2p n + 2 2p n < 2qp k < 2p n + 2. Näin ollen 2qp k = 2p n + eli luku 2qp k on pariton. Tällöin joko q Z tai p k Z, mikä on ristiriita lukujen valinnan perusteella. Vastaoletuksen täytyy siis olla epätosi. Vastaavalla tavalla voidaan todistetaa tapaus, jossa termin h n merkki on negatiivinen. Täten reaalilukujen 2 2k x ja 2 2k (x + h n ) välissä ei ole parillisia kokonaislukuja millään kokonaisluvun k arvolla, kun k n. 8
Lemma 3. Olkoon k n. Nyt ( ) ( ) g 2 2k (x + h n ) g 2 2k x = 2 2 k 2 n kaikilla x R. Todistus. Olkoon n Z + ja k n mielivaltaisia. Jos 2 2k x [4p, 4p + 2[, niin edellisen lemman nojalla myös 2 2k (x + h n ) [4p, 4p + 2[. Täten ( ) ( ( g 2 2k (x + h n ) g 2 x) 2k = 2 2 k x 2 2k h n ) ( 2 2k x) = 2 2k h n = 2 2k 2 n Vastaavasti voidaan todistaa tapaus 2 2k x [4p 2, 4p[. Lemma 4. Olkoon n Z +. Nyt kaikilla x R. M(x + h n ) M(x) > 2 n 2 2n Todistus. Olkoon x R ja n Z + mielivaltaisia. Lemma 3 antaa, että ( ( ) ( g 2 2k (x + h 2 k n ) g 2 x)) kun k = n 2k 2 = n 2 2k 2 n k kun k < n. Koska k < 2 k, kun k, voidaan arvioida, että n ( ( ) ( g 2 2k (x + h 2 k n ) g 2 x)) n 2k ( 2 k k= k= n ( g = 2 2k 2 n k = k= ) 2 2k (x + h n ) n k= 2 2n 2 k +k ( g 2 x)) 2k n 2 = n 2n 2 n +n 2 = n 2n +n 2 n 2 2n 2 n < =. 2 n 2 2n 2 2n 9
Lemman nojalla M(x + h n ) M(x) = n k= ( ( ) ( )) g 2 2k (x + h 2 k n ) g 2 2k x. Väite saadaan nyt arviosta kaikille n Z 2 2n 2 n + ja kolmioepäyhtälöstä. M(x + h n ) M(x) 2 n ( ( ) ( )) g 2 2k (x + h n 2 k n ) g 2 2k x k= } {{ } = 2 n n k= > 2 n 2 2n. < 2 n ( ( g 2 2k (x + h 2 k n ) ) ( )) g 2 2k x Lause 6. McCarthyn funktio M ei ole derivoituva missään pisteessä x R. Todistus. Olkoon x R ja n Z + mielivaltaisia. Kokoamalla aikaisemmat tulokset yhteen saadaan, että M(x + h n ) M(x) h n = 22n M(x + h n ) M(x) > 2 2n ( 2 ) Lemma 4 n 2 2n = 2 2n n 2 2n. Koska lim 2 2n n 2 2n =, niin n M(x + h n ) M(x) h n kun n. Koska lim n h n = 0, niin derivaattaa M (x) ei ole olemassa äärellisenä. 0
Viitteet [] C. B. Boyer: Tieteiden kuningatar, Art House, Juva 2000. [2] J. McCarthy: An Everywhere Continuous Nowhere Dierentiable Function, Amer. Math. Monthly 60 (953), 709. [3] J. Thim: Continuous Nowhere Dierentiable Functions, Master Thesis, http://epubl.luth.se/402-67/2003/320/ltu-ex-03320-se.pdf, Luleå University of Technology 2003.