Raja-arvon määrittäminen laskusääntöjen avulla¶
Raja-arvon tarkastelun lähtökohtana on se, että funktion arvojen käyttäytymistä voidaan tarkastella mielivaltaisen lähellä tiettyä pistettä \(a\). Siispä on luonnollista vaatia, että funktio on määritelty ainakin kyseisen pisteen läheisyydessä ja sen molemmilla puolilla, jotta pistettä voidaan ylipäätään lähestyä. Määritellään pisteen \(a\) läheisyys seuraavaksi täsmällisemmin.
Välillä tarkasteltavaa funktiota ei ole määritelty pisteessä \(a\), jossa funktion raja-arvo halutaan määrittää. Tällöin kuitenkin riittää, että funktio on määritelty pisteen \(a\) jossakin punkteeratussa ympäristössä, jotta funktion käyttäytymistä voidaan tutkia mielivaltaisen lähellä kyseistä pistettä. Tästä hyvänä esimerkkinä on esimerkin 4.1.1 kohdan 2 funktio, jota ei ole määritelty, kun \(x=0\), mutta silti voidaan tarkastella, mitä tapahtuu, kun lähestytään kyseistä pistettä. Siispä raja-arvoa määritettäessä ei oikeastaan olla kiinnostuneita, mitä funktiolle käy juuri pisteessä \(a\), vaan mitä sille käy, kun pistettä \(a\) lähestytään.
Reaalifunktion tapauksessa piste \(a\) on tyypillisesti jokin piste \(x\)-akselilla, ja sitä voidaan siten lähestyä vasemmalta tai oikealta. Perustetaan tähän havaintoon seuraavat (epämuodolliset) raja-arvon käsitteet.
Funktion varsinainen raja-arvo on nyt luontevaa määritellä toispuoleisten raja-arvojen avulla. Jos funktion toispuoleiset raja-arvot ovat pisteessä \(a\) yhtä suuret, lähestyvät funktion arvot samaa arvoa riippumatta siitä, lähestytäänkö pistettä \(a\) vasemmalta tai oikealta. Tällöin varsinaiseksi raja-arvoksi on järkevää määritellä toispuoleisten raja-arvojen yhteinen arvo.
Alla olevassa kuvassa on havainnollistettu, että katkoviivalla merkityt funktion \(f\) arvot \(f\left( x \right)\) lähestyvät molemmat lukua \(L\), kun muuttuja \(x\) lähestyy lukua \(a\) vasemmalta ja oikealta. Idea on siis hyvin intuitiivinen.
Seuraava esimerkki perustelee, miksi toispuoleisten raja-arvojen olemassaolo on välttämätön ehto sille, että funktion raja-arvo on olemassa. Näiden olemassaolo ei kuitenkaan ole riittävä ehto, mikä tulee myös esimerkissä esiin.
Esimerkki 4.2.4
Havainnollistetaan erilaisten raja-arvojen käsitteitä, sekä toispuoleisten raja-arvojen samuuden välttämättömyyttä raja-arvon olemassaololle.
Funktiolla
\[\begin{split}f(x)=\begin{cases} x^2-1,&\text{kun }x<1,\\ 2-x,&\text{kun }x>1, \end{cases}\end{split}\]on toispuoleiset raja-arvot
\[\lim_{x\to1-}f(x)=0\qquad\text{ja}\qquad\lim_{x\to1+}f(x)=1.\]Koska toispuoleiset raja-arvot eivät ole samat, raja-arvoa \(\lim\limits_{x\to1}f(x)\) ei ole olemassa määritelmän 4.2.3 mukaisesti.
Funktiolla
\[\begin{split}g(x)=\begin{cases} x^2,&\text{kun }x<0,\\ x\sin\dfrac{1}{x},&\text{kun }x>0, \end{cases}\end{split}\]on toispuoleiset raja-arvot
\[\lim_{x\to0-}g(x)=0=\lim_{x\to0+}g(x).\]Koska toispuoleiset raja-arvot ovat yhtä suuret, raja-arvo \(\lim\limits_{x\to0}g(x)=0\) on olemassa määritelmän 4.2.3 mukaisesti.
Funktiolla
\[\begin{split}h(x)=\begin{cases} 1,&\text{kun }x<0,\\ \sin\dfrac1x,&\text{kun }x>0, \end{cases}\end{split}\]on vasemmanpuoleinen raja-arvo \(\lim\limits_{x\to0-}h(x)=1\), mutta ei oikeanpuoleista raja-arvoa \(\lim\limits_{x\to0+}h(x)\), eikä siten myöskään raja-arvoa \(\lim\limits_{x\to0}h(x)\). Esimerkissä 1.5 on perusteltu täsmällisesti, miksei raja-arvoa \(\lim\limits_{x\to 0} \sin\frac{1}{x}\) ole olemassa.
Huomaa, että mikään yllä olevista funktioista ei ole määritelty siinä pisteessä, jossa raja-arvoa tutkitaan.
Seuraavan lauseen raja-arvon peruslaskusääntöjen mukaan summan raja-arvo on raja-arvojen summa, tulon raja-arvo on raja-arvojen tulo ja osamäärän raja-arvo on raja-arvojen osamäärä. Osan laskusäännöistä voi varsin helposti perustella itselleen geometrisesti, mutta niiden tarkka todistaminen vaatii raja-arvon täsmällisen määritelmän, minkä vuoksi todistukset sivuutetaan tässä kohtaa.
Lause 4.2.5
Jos \(\displaystyle{\lim_{x\to a}f(x)=L}\) ja \(\displaystyle{\lim_{x\to a}g(x)=M}\), sekä \(c \in \R\), niin
- \(\lim\limits_{x \to a}c = c\),
- \(\lim\limits_{x \to a}x = a\),
- \(\displaystyle{\lim_{x\to a}\big(cf(x)\big)}=cL\),
- \(\displaystyle{\lim_{x\to a}\big(f(x)\pm g(x)\big)=L\pm M}\),
- \(\displaystyle{\lim_{x\to a}\big(f(x)g(x)\big)=LM}\),
- \(\displaystyle{\lim_{x\to a}\frac{f(x)}{g(x)}=\frac{L}{M}}\), jos \(M\ne0\),
- \(\lim\limits_{x\to a}\sqrt{x}=\sqrt{a}\), \(a>0\),
- Jos \(\displaystyle{\lim_{x\to a}g(x)=M}\) ja \(\displaystyle{\lim_{x\to M}f(x)=f(M)}\), niin \(\displaystyle \lim\limits_{x\to a}f(g(x))=f(M)\).
Edellisen lauseen viidennestä kohdasta seuraa suoraan seuraava tulos. Tuloksen voi todistaa yksinkertaisesti induktiolla ja hyödyntämällä kohtaa 5.
Seuraus 4.2.6
Jos \(\lim\limits_{x\to a}f(x)\) on olemassa, niin \(\lim\limits_{x\to a}f(x)^n=\left(\lim\limits_{x\to a}f(x)\right)^n,\) kun \(n\in\N\).
Seuraavien perustulosten yhdistäminen edellä mainittuihin raja-arvojen laskusääntöihin tarjoaa yksinkertaisen keinon monien funktioiden raja-arvojen määrittämiseen.
Esimerkki 4.2.7
Tämän raja-arvon määrittämiseen tarvitaan kaikkia raja-arvojen laskusääntöjä sekä edellisen lauseen tuloksia. Merkitään selvyyden vuoksi numeroin, mitä raja-arvon laskusääntöjä kussakin kohdassa on käytetty. Nyt
missä toisen yhtäsuuruuden kohdalla on käytetty lisäksi seurausta 4.2.6 termin \(2x^3\) kohdalla.
Esimerkki 4.2.8
Raja-arvo
\[\lim_{x\to-3}\frac{x^2+2x-3}{x^2+5x+6}\]on olemassa, mutta sen määrittämiseksi ei voi soveltaa suoraan osamäärän raja-arvon sääntöä, sillä nimittäjän raja-arvoksi tulee \(0\). Sekä osoittaja että nimittäjä voidaan jakaa tekijöihin nollakohtiensa avulla, jolloin tämä ongelma voidaan ohittaa supistamalla yhteinen tekijä pois.
\[\lim_{x\to-3}\frac{x^2+2x-3}{x^2+5x+6} =\lim_{x\to-3}\frac{(x-1)(x+3)}{(x+2)(x+3)} =\lim_{x\to-3}\frac{(x-1)}{(x+2)} =4\]Raja-arvoa
\[\lim_{x\to2}\frac{1}{2-x}\]ei ole olemassa. Kun \(x\) lähestyy arvoa \(2\) vasemmalta, eli \(x<2\), niin \(2-x>0\) ja siten \(\frac{1}{2-x}>0\). Lisäksi nimittäjä \(2-x\) lähestyy nollaa, eli nyt ykköstä jaetaan jollain pienellä nollaa lähellä olevalla luvulla. Tällainen luku on hyvin suuri ja kasvaa sitä mukaan, mitä lähempänä nollaa nimittäjä \(2-x\) on. Täten \(\frac{1}{2-x}\) kasvaa rajatta, kun \(x \to 2+\) ja näin ollen oikean puoleista raja-arvoa ei ole olemassa. Tästä puolestaan seuraa, että raja-arvoa ei ole olemassa. Jos \(x>2\), niin \(2-x\) on negatiivinen ja vastaavin perusteluin voidaan todeta, että \(\frac{1}{2-x}\) saa mielivaltaisen pieniä arvoja, kun \(x \to 2-\).
Esimerkki 4.2.9
Raja-arvon laskusäännöistä seuraa, että
\[\lim_{x\to5}\sqrt{2x^2-1}=\sqrt{\lim_{x\to5}(2x^2-1)}=\sqrt{49}=7.\]Tutkitaan raja-arvoa
\[\lim_{x\to0}\frac{\sqrt{x+4}-2}{x}.\]Suora sijoitus ei onnistu, sillä nimittäjän raja-arvoksi tulee \(0\), mutta funktiota voidaan muokata sopivasti laventamalla lausekkeella \(\sqrt{x+4}+2\). Näin päästään eroon osoittajan neliöjuuresta ja jakolaskusta voidaan supistaa nollaa kohti menevät termit pois. Nimittäjään tuleva neliöjuurilauseke \(\sqrt{x+4}+2\) ei lähesty nollaa, kun \(x\to 0\), joten se ei aiheuta ongelmia.
\[\frac{\sqrt{x+4}-2}{x} =\frac{(x+4)-4}{x(\sqrt{x+4}+2)} =\frac{1}{\sqrt{x+4}+2} \to\frac14,\]kun \(x \to 0\).
Viimeinen raja-arvojen määrittämiseen liittyvä päättelykeino on kuristusperiaate, jonka todistaminen sivuutetaan. Todistus vaatii jälleen raja-arvon täsmällisen määritelmän.
Lause 4.2.10 (Kuristusperiaate)
Olkoon \(f(x)\le g(x)\le h(x)\) aina, kun \(x\ne a\) jossakin pisteen \(a\) ympäristössä ja oletetaan, että
Tällöin \(\lim\limits_{x\to a}g(x)=L\).
Kuristusperiaate antaa mahdollisuuden arvioida mielenkiinnon kohteena olevaa funktiota \(g(x)\) ylös- ja alaspäin ja saada näin monimutkaisempi raja-arvo lasketuksi. Huomaa, että sekä ylä- että alarajan funktioiden \(f\) ja \(h\) täytyy supeta kohti samaa arvoa tarkastelun kohteena olevassa pisteessä \(a\). Aina sopivien rajoittavien funktioiden löytäminen ei ole helppoa, mutta esimerkiksi sinistä ja kosinista tiedetään, että niiden arvot ovat välillä \([-1,1]\), ja tätä tietoa voidaan käyttää hyväksi kuristusperiaatetta käytettäessä. Havainnollistetaan tätä seuraavassa esimerkissä.
Esimerkki 4.2.11
Funktiolla \(g(x)=x\sin\frac1x\) on raja-arvo \(0\) pisteessä \(0\), sillä
ja \(f(x)=-|x|\to0\) ja \(h(x)=|x|\to0\), kun \(x\to0\).
Funktiot \(-|x|\) ja \(|x|\) ikäänkuin ”kuristavat” funktion \(x\sin \frac{1}{x}\) lähestymään arvoa \(0\).
Tärkeitä raja-arvoja¶
Tämän osion lopussa tarkastellaan erään hyvin hyödyllisen raja-arvon määritystä toispuoleisten raja-arvojen avulla. Sitä ennen kuitenkin tarvitaan tietoa sini- ja kosinifunktioiden raja-arvoista kohdassa \(0\).
Lemma 4.2.12
\(\lim\limits_{\theta\to0}\sin\theta = 0\) ja \(\lim\limits_{\theta\to0}\cos\theta = 1\).
Esitetään lemmalle geometrinen perustelu. Trigonometriset funktiot määritellään yksikköympyrän kehäpisteiden avulla, joten tarkastellaan alla olevaa kuvaa ensimmäisestä koordinaattineljänneksestä.
Kuvassa \(\theta \to 0+\), ja kun kulma \(\theta\) lähestyy nollakulmaa, kuvan kehäpiste \((\cos\theta,\sin\theta)\) lähestyy pistettä \((1,0)\). Toisin sanoen \(\sin\theta\) lähestyy arvoa \(0\) ja \(\cos\theta\) arvoa \(1\). Samaan lopputulokseen päädytään myös tilanteessa, jossa \(\theta\to 0-\). Tällöin tarkasteluun lisätään neljäs koordinaattineljännes. Koska toispuoleiset raja-arvot ovat yhtä suuret,
mikä oli osoitettava.
Funktiolla \(f : \R\setminus\{0\} \to \R\), \(f(x) = \frac{\sin x}{x}\) on keskeinen merkitys useissa signaalinkäsittelyyn liittyvissä sovelluksissa, ja sille annetaan usein erityisnimitys \(\operatorname{sinc}(x)\). Matematiikassa ollaan erityisen kiinnostuneita tämän funktion raja-arvosta kohdassa \(0\), jossa funktiota ei ole määritelty. Kyseisen raja-arvon merkitys tulee esille esimerkiksi trigonometristen funktioiden derivointikaavojen johtamisissa.
Kuvaajan perusteella funktio \(\frac{\sin x}{x}\) näyttää lähestyvän arvoa \(1\) origon läheisyydessä. Kuvaajasta katsominen ei kuitenkaan ikinä kelpaa täsmälliseski perusteluksi, minkä vuoksi havainto todistetaan seuraavassa lauseessa.
Lause 4.2.13
\(\lim\limits_{\theta\to0}\dfrac{\sin\theta}{\theta}=1\)
Todistetaan lause geometrisesti.
Tutkitaan aluksi oikeanpuoleista raja-arvoa \(\lim\limits_{\theta\to0+}\frac{\sin\theta}{\theta}\). Oletetaan siis, että \(0<\theta<\frac{\pi}{2}\). Oheisesta kuvasta päätellään, että \(x\)-akselin ja pisteen \((\cos\theta, \sin\theta)\) rajaaman kolmion pinta-ala on pienempi kuin niiden rajaaman ympyräsektorin pinta-ala. Viimeksi mainittu on lisäksi pienempi kuin \(x\)-akselin ja pisteen \((1, \tan\theta)\) rajaaman kolmion pinta-ala.
Tunnetusti \(1\)-säteisen kiekon pinta-ala on \(\pi\cdot1^2=\pi\), joten kulmaan \(\theta\) rajautuvan sektorin pinta-ala on \(\pi\cdot\frac{\theta}{2\pi}=\frac{\theta}{2}\). Kolmioiden pinta-alat voidaan laskea tutusti kateettien avulla, ja hyödyntämällä tangentin määritelmää saadaan
Edelleen kertomalla luvulla \(2\) ja jakamalla luvulla \(\sin\theta \not= 0\) nähdään, että
Ottamalla käänteisluvut järjestys kääntyy ja saadaan
Koska lemman 4.2.12 mukaan \(\lim\limits_{\theta\to0}\cos\theta=1\), niin kuristusperiaatteen nojalla
Olettamalla \(-\frac{\pi}{2}<\theta<0\) ja käsittelemällä vastaavan tilanteen neljännessä neljänneksessä vasemmanpuoleiseksi raja-arvoksi saadaan
joten väite on todistettu toispuoleisten raja-arvojen olemassaoloon vetoamalla.
Seuraavissa esimerkeissä hyödynnetään edellisen lauseen tulosta.
Esimerkki 4.2.14
Osoitetaan, että
Suora sijoitus ei onnistu, sillä nimittäjän raja-arvo on \(0\). Lavennetaan siis lausekkeella \(1+\cos x\) ja hyödynnetään tietoa \(\sin^2x=1-\cos^2x\), joka seuraa suoraan trigonometrian peruskaavasta.
kun \(x\to0\).
Esimerkki 4.2.15
Selvitä itsellesi raja-arvon
määrityksen välivaiheet.