Missä f(x) = |x| - √(arcsin(|x|)) log(1 + |x|) on derivoituvainen?
Vastaus. Aluksi huomioimme, että funktion f(x) määrittelyalue on rajoitettu, eli Dom(f) = [-1, 1]. Funktion f rakenteeseen kuuluu useita yhdistettyjä funktioita, joiden derivoituvuus voidaan tarkistaa erikseen. Funktio f voidaan esittää kahden osafunktion summana, ja molempien derivoituvuus voidaan todeta tunnetuilla derivoituvuusteorioilla. Käyttämällä seuraavaa esitystä, jossa g(x) = arcsin(|x|), voimme kirjoittaa f(x) osina, joissa on seuraavat osafunktiot:
h(z) = arcsin(z)
q(y) = √y
p(x) = |x|
Ensimmäinen funktio p(x) on derivoituva kaikilla arvoilla paitsi kohdassa x = 0, toinen funktio q(y) on derivoituva (0, +∞) välillä ja kolmas funktio h(z) on derivoituva välillä (-1, 1). Näin ollen niiden yhdistelmä g(x) on derivoituvainen ainakin väleillä (-1, 0) ja (0, 1).
Edellä mainittujen funktioiden kompositio, q(p(x)) = |x| √, on myös derivoituva, ja sen seurauksena log(1 + |x|) on derivoituva kyseisillä väleillä. Tällöin f(x) on derivoituvainen ainakin väleillä (-1, 0) ja (0, 1).
Kuitenkin on tarkasteltava, mitä tapahtuu kohdassa x = 0 ja ääriarvoissa ±1. Aluksi tarkastelemme derivoituvuuden ehtoja kohdassa 0. Fuktio f(x) on määritelty seuraavasti:
f(x)=(arcsin(∣x∣)−∣x∣)log(1+∣x∣)
Ensimmäinen askel on laskea ensimmäisen kertaluvun Taylor-laajennus arcsin-funktiolle, joka on seuraavan muotoinen:
arcsin(z)=z+zω(z)
Tässä ω(z) on funktion jäännös, ja sen raja-arvo nollassa on nolla, eli lim_{z→0} ω(z) = 0. Näin ollen, kun otamme limitin x → 0, saamme seuraavan lausekkeen:
Tämä antaa meille, että f(x) on derivoituva kohdassa x = 0, ja sen derivoituva arvo f′(0) on 0.
Seuraavaksi tarkastelemme, mitä tapahtuu ääriarvoissa x = ±1. Huomioimme, että log(1 + x) on derivoituva kohdassa x = 1 ja sillä on ei-nolla oleva derivaatta. Näin ollen f(x) on derivoituva kohdassa x = 1 vain, jos β(x) = |x| - √arcsin(|x|) on derivoituva. Tällöin otamme huomioon seuraavan eron:
Tämän laskeminen johtaa siihen, että saamme äärettömän arvon (∞) raja-arvona, joka osoittaa, ettei f(x) ole derivoituva kohdassa x = 1.
Koska f(x) on parillinen funktio, se ei ole derivoituva myöskään kohdassa x = -1.
Lopputulemana on, että f(x) on derivoituva välillä (-1, 1), mutta ei derivoituva pisteissä x = -1 ja x = 1.
Funktion derivoituvuus edellyttää usein yksityiskohtaisia tarkasteluja, erityisesti siinä, missä ehdotettu funktio sisältää absoluuttisia arvoja, kuten tässä käsitellyissä esimerkeissä. Derivaatan raja-arvot yhdensuuntaisissa eroissa ovat tärkeitä, ja niiden yhteensovittaminen vasemman ja oikean puolen käyttäytymisen kanssa ratkaisee derivoituvuuden. Tämä analyysi korostaa myös de L'Hopitalin säännön käyttöä ääriarvojen kohdalla ja Taylorin laajennuksia alkuperäisissä komposiiteissa.
Miten funktion kuvaaja liittyy sen ominaisuuksiin ja matemaattisiin käsitteisiin?
Olkoon f : R → R funktio, joka on määritelty seuraavasti: