Monotoninen funktio

Määritelmä antaa tyydyttävän perusteen selvittää tavallisen yksiarvoisen funktion monotonisuutta. Käytännössä on kuitenkin mahdotonta todistaa yksittäinen funktio monotoniseksi, koska silloin täytyisi osoittaa kaikille lukupareille ${\displaystyle x_{1}}$ ja ${\displaystyle x_{2}}$ määritelmä todeksi. Käytännössä määritelmää käytetään osoittamaan jokin funktion monotonisuus epätodeksi.

Käytännössä monotonisuus osoitetaan erotusosamäärän

${\displaystyle {f(x_{2})-f(x_{1}) \over x_{2}-x_{1}}}$

avulla. Jos ${\displaystyle x_{2}>x_{1}}$ eli ${\displaystyle x_{2}-x_{1}>0}$ kaikille lukupareille ${\displaystyle x_{1}}$ ja ${\displaystyle x_{2}}$, niin määritelmän mukaan aidosti kasvavalle funktiolle pätee silloin aina ${\displaystyle f(x_{2})>f(x_{1})}$ eli myös ${\displaystyle f(x_{2})-f(x_{1})>0}$. Muodostettu erotuksien osamäärä tulee positiiviseksi, jos molemmat erotukset ovat saman merkkiset. Funktio on tällöin aidosti kasvava. Jos erotuksien merkit ovat erit, tulee osamäärä negatiiviseksi ja funktio on aidosti vähenevä.

Erotusosamäärän testaaminen eri lukupareilla ei ole käytännöllistä, vaan erotusosamäärän lauseke muutetaan funktion ${\displaystyle f(x)}$ derivaattafunktioksi ${\displaystyle f'(x_{2})}$ toisen pisteen ${\displaystyle x_{2}}$ suhteen

${\displaystyle f'(x_{2})=\lim _{x_{1}\to x_{2}}{f(x_{2})-f(x_{1}) \over x_{2}-x_{1}}}$

tai vaihtamalla merkintöjä niin, että esitetään derivaattafunktion lauseke kohdassa x

${\displaystyle f'(x)=\lim _{x\to a}{f(x)-f(a) \over x-a}}$.

Derivaattafunktion ${\displaystyle f'(x)}$ ominaisuuksia tutkimalla voidaan päätellä monotonisuuden laatua ja vaihtumista. Monotonisuuden voi jaotella derivaattafunktion ominaisuuksien mukaan koko tarkasteluvälillä seuraavasti:

• Jos ${\displaystyle f'(x)>0}$, on funktio aidosti kasvava.
• Jos ${\displaystyle f'(x)\geq 0}$, on funktio kasvava.
• Jos ${\displaystyle f'(x)<0}$, on funktio aidosti vähenevä.
• Jos ${\displaystyle f'(x)\leq 0}$, on funktio vähenevä.

Aito monotonisuus täsmällisesti määriteltynä: derivoituva funktio ${\displaystyle f}$ on aidosti kasvava, kun ${\displaystyle f'(x)\geq 0}$ ja jos ei ole olemassa väliä, jolla ${\displaystyle f'(x)=0}$. Esimerkiksi funktio ${\displaystyle x^{3}}$ on aidosti kasvava, vaikka sen derivaattafunktio ei ole kaikkialla suurempi kuin 0. Kyseisen funktion derivaatta onkin 0 vain yksittäisessä pisteessä: ${\displaystyle f'(x)=3x^{2}\implies f'(0)=3\cdot 0^{2}=0}$. Ja ${\displaystyle f'(x)>0}$, kun ${\displaystyle x\neq 0}$. Funktion derivaatta voi siis olla yksittäisissä pisteissä 0 ilman, että ${\displaystyle f}$ menettää aidon monotonisuutensa.

Vastaavasti (derivoituva) funktio on aidosti vähenevä, kun ${\displaystyle f'(x)\leq 0}$ ja jos ei ole olemassa väliä, jolla ${\displaystyle f'(x)=0}$.

Aidosti kasvavia alkeisfunktioita koko laajimmassa määrittelyjoukossaan ovat muun muassa muut eksponenttifunktiot (kantaluku > 1), logaritmifunktio, parittomat potenssifunktiot, juurifunktiot, tangenttifunktio ja arcustangenttifunktio.

Aidosti väheneviä alkeisfunktioita ovat muun muassa muut laskevat lineaariset funktiot ja eksponenttifunktiot (0 < kantaluku < 1).

Eksponenttifunktio ${\displaystyle f(x)=e^{x}}$ on aidosti kasvava funktio koko reaalilukualueessa. Negatiivisilla x:n arvoilla funktion kasvuvauhti on pieni, mutta positiivisilla arvoilla se kasvaa nopeasti. Eksponenttifunktion derivaattafunktio on myös eksponenttifunktio ${\displaystyle f'(x)=e^{x}}$, joka on positiivinen eli ${\displaystyle e^{x}>0}$ kaikilla x:n arvoilla. Tämä täyttää monotonisuusehdon.

Eksponenttifunktion kuvaaja

Toisen asteen potenssifunktion kuvaaja on paraabeli.

Toisen asteen potenssifunktio ${\displaystyle g(x)=x^{2}}$ ei ole monotoninen funktio. Kuvaajasta nähdään, että funktion arvot vähenevät negatiivisilla x:n arvoilla ja kasvavat positiivisilla x:n arvoilla. Jos määrittelyjoukkosta poistettaisiin kaikki negatiiviset luvut, olisi kuvaus

${\displaystyle x^{2}:\mathbb {R_{+}} \to \mathbb {R} }$

aidosti kasvava funktio. Negatiivisilla arvoilla kuvaus

${\displaystyle x^{2}:\mathbb {R_{-}} \to \mathbb {R} }$

olisi aidosti vähenevä funktio.

• Tampereen Teknillinen Korkeakoulu: Funktion ominaisuuksia (Arkistoitu – Internet Archive)
• Jyväskylän yliopisto: Funktion monotonisuus
• Helsingin yliopisto: Matematiikan tukikurssi, #8
• Wolframs Mathworld: Monotonic functions
• Connexions: Monotonic functions
• Swarthmore: Monotonic functions (Arkistoitu – Internet Archive)
• Math eCources: Monotonic functions

• 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.