Kaikkialla jatkuva ei-missään derivoituva funktio
Funktio on kaikkialla jatkuva ei-missään derivoituva, mikäli se on jatkuva, mutta ei-derivoituva jokaisessa funktion pisteessä. Tällaisia funktioita on suomen kielessä kutsuttu myös patologiksi funktioiksi.[1]
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Kaikkialla_jatkuva_ei-missaan_derivoituva_funktio.jpg/250px-Kaikkialla_jatkuva_ei-missaan_derivoituva_funktio.jpg)
Historia
[muokkaa | muokkaa wikitekstiä]1800-luvun loppupuolelle asti oletettiin, että jokainen jatkuva funktio on myös vähintään yhdessä sen pisteessä derivoituva. Syynä tähän oli liiallinen luottamus fysikaaliseen intuitioon ja määritelmien epätäsmällisyys; funktioiden tulkittiin olevan vain fysikaalisten ilmiöiden matemaattinen muoto.[2]
Ensimmäisen esimerkin kaikkialla jatkuvasta ei-missään derivoituvasta funktiosta antoi tšekkiläinen matemaatikko Bernard Bolzano vuoden 1830 tienoilla. Tämä funktio oli konstruoitu geometrisesti tietyllä suljetulla välillä. Valitettavasti tämä esimerkki unohtui ja julkaistiin vasta sata vuotta myöhemmin, vuonna 1922. Vuoden 1860 tienoilla matemaatikko Charles Cellerier kehitti esimerkkinä asiasta seuraavan funktion:
, joka on kaikkialla jatkuva ei-missään derivoituva, kun on parillinen. Tämä tulos hautautui ja julkaistiin vasta Cellerierin kuoleman jälkeen vuonna 1890.[2]
Ensimmäinen julkaistu esimerkki kaikkialla jatkuvasta ei-missään derivoituvasta funktiosta on Karl Weierstrassin vuonna 1872 julkaisema funktio:
, missä pariton ja .[2]
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/2/29/Weierstrass_Animation.gif/250px-Weierstrass_Animation.gif)
Puolalainen matemaatikko Stefan Banach todisti vuonna 1931 seuraavan tuloksen:
Kaikki ne välin jatkuvat funktiot, joilla on derivaatta vähintään yhdessä kyseisen välin pisteessä, sijaitsevat välin kaikkien jatkuvien funktioiden joukossa samantyyppisesti kuin rationaaliluvut reaalilukujen joukossa. Toisin sanoen, välillä jatkuvat ei-missään derivoituvat funktiot ovat huomattavasti yleisempiä kuin derivoituvat.[1]
Vuonna 1953 John McCarthy julkaisi seuraavan esimerkin[2]:
Määritellään funktio seuraavasti:
Olkoon apufunktio funktion neljäperiodinen laajennus eli
aina, kun ja .
Tämä funktio on jatkuva kaikkialla, mutta ei-derivoituva pisteissä .
Näillä merkinnöillä ja määritelmillä voidaan kirjoittaa varsinainen McCarthyn funktio , joka on
.
Funktion muodostaminen
[muokkaa | muokkaa wikitekstiä]Edellä esitetty McCarthyn funktio on esimerkki siitä, kuinka tämän tyyppisiä funktioita tavallisesti muodostetaan. Aluksi määritellään jaksollinen ja jatkuva "sahanteräfunktio", joka on ei-derivoituva yksittäisissä kärkipisteissä. Tämän jälkeen funktion kuvaajaa "rypytetään" siten, että lopulta funktion jokainen piste on kärkipiste ja täten derivaattaa ei ole määritelty missään funktion pisteessä.[1]
Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ a b c Markku Halmetoja: Analyysin alkulähteillä. Matematiikkalehti Solmu, , 2008. vsk, nro 3, s. 2. Helsinki: Helsingin yliopiston Matematiikan ja tilastotieteen laitos. [solmu.math.helsinki.fi http://solmu.math.helsinki.fi/2008/3/kummalliset.pdf] (pdf). Viitattu 21.12.2012. (suomeksi)
- ↑ a b c d Thim, Johan: Continuous Nowhere Differentiable Functions (pdf) (Pro Gradu-tutkielma) 2003. Luleå University of Technology. Arkistoitu 1.10.2007. Viitattu 20.05.2012. (englanniksi)