Määritelmä 5.7 Otetaan f, g ∈ Fp. (i) Funktiota f sanotaan merkityksettömäksi suhteessa g:hen, kun x → p, jos on olemassa ω ∈ Fp siten, että ω(x) → 0, kun x → p, ja että f(x) = g(x)ω(x) paikallisesti kohdassa p. Tässä tapauksessa kirjoitetaan f ≺ g. Tällöin voidaan myös sanoa, että g dominoi f:tä. (ii) Funktiota f sanotaan asyymptottisesti ekvivalentiksi g:n kanssa, kun x → p, jos on olemassa h ∈ Fp siten, että h(x) → 1, kun x → p, ja että f(x) = g(x)h(x) paikallisesti kohdassa p. Tässä tapauksessa kirjoitetaan f ∼ g. On selvää, että jos g(x) ei ole nolla paikallisesti kohdassa p, niin f ≺ g ⇐⇒ f(x) lim = 0 x→p g(x) ja f ∼ g ⇐⇒ f(x) lim x→ = 1. p g(x)

Lause 5.8 Otetaan f, g, f1, g1 ∈ Fp ja oletetaan, että g(x) ei ole nolla paikallisesti kohdassa p. Tällöin: (i) jos f1 ≺ f ja g1 ≺ g, niin f(x) + f1(x) lim 1(x) = f(x) + lim p g(x) + g1(x) x→ ; p g(x) (ii) jos f1 ∼ f ja g1 ∼ g, niin f(x) lim = f1(x) lim p x→ x→ p g(x) g1(x)

Lauseessa 5.8 (i) sanotaan joskus, että se on merkityksettömien termien eliminointiperiaate, ja (ii) puolestaan tunnetaan myös asyymptottisesti ekvivalenttisten termien korvausperiaatteena. Suhteet f ≺ g ovat transitiivisia, ja f ∼ g on aito ekvivalenssirelaatio. Näillä suhteilla on seuraavat ominaisuudet: f1 ≺ g ja f2 ≺ g =⇒ f1 + f2 ≺ g f1 ≺ αg ja f2 ≺ βg, kun α + β ≠ 0 =⇒ f1 + f2 ≺ (α + β)g f1 ≺ g1 ja f2 ≺ g2 =⇒ f1 f2 ≺ g1g2 f1 ∼ g1 ja f2 ∼ g2 =⇒ f1 f2 ∼ g1g2 f ≺ g ja g ∼ h =⇒ f ≺ h f ∼ g ja g ≺ h =⇒ f ≺ h. Lukijan on syytä olla tarkkana, ettei sekoita ≺ ja ∼ merkintöjä. Esimerkiksi: f1 ≺ g1 ja f2 ≺ g2 ei takaa sitä, että f1 + f2 ≺ g1 + g2. Samoin f1 ∼ g1 ja f2 ∼ g2 ei takaa, että f1 + f2 ∼ g1 + g2. Tällaisia virheitä on helppo keksiä.

Merkintä f ≺ g ei ole universaali. Kuten luvussa 8 käsitellään, aina kun g ∈ Fp, on tapana kirjoittaa { } o(g) = f ∈ Fp : f ≺ g ja sitten korvata täsmällinen kirjoitus f ∈ o(g) epävirallisemmalla mutta tehokkaammalla f = o(g). Tämä merkintä tunnetaan Landau'n pienen o-merkintänä. Epävirallisesti, jos oletetaan, että g ei ole nolla paikallisesti kohdassa p, niin f = o(g) tarkoittaa, että kun f ja g jaetaan, tulos ei ole nolla, vaan hyvin pieni, joka lähestyy nollaa, kun x → x0. Kirjain, joka muistuttaa parhaiten numeroa 0, on tietysti o. Huomaa, että f = o(1) tarkoittaa, että f(x) → 0.

Jos f ∼ g, niin f = g(1 + ω), jossa ω → 0. Tästä seuraa, että f ∼ g ⇐⇒ f = g + o(g). Asyymptottisen ekvivalenssin käyttö ja merkityksettömien termien analyysi kannattaa vähentää laskelmia, aina kun mahdollista, tunnetuiksi rajoiksi, jotka liittyvät elementaarisiin funktioihin. Perusrajojen luettelo, jota käytetään läpi tekstin, on liitteessä B.

5.4 Järjestykset

Seuraavassa käsitellään käsitteitä, jotka auttavat ymmärtämään, miten nopeasti funktio f ∈ Fp joko lähestyy nollaa tai divergoi, kun x → p. Tämän arvioimiseksi valitaan viitefunktioiden skaala, yleensä potenssiskaalat, ja vertaamme f:tä näihin.

Määritelmä 5.8 (Järjestys, I) Kiinteä p ∈ R. Funktiota f ∈ Fp sanotaan häviävän järjestyksellä α > 0, kun x → p+, jos on olemassa λ+ ∈ R{0}, siten että f ∼ λ+|x − p|α, kun x → p+, eli f(x) lim x→p | = λ . + x − p|α. Samalla tavalla sanotaan, että f häviää järjestyksellä α > 0, kun x → p−, jos on olemassa λ− ∈ R{0}, siten että f ∼ λ−|x − p|α, kun x → p−. Jos f häviää järjestyksellä α sekä x → p+ että x → p−, silloin f sanotaan häviävän järjestyksellä α kohdassa p.

Esimerkiksi funktio f(x) = (sin x)³ häviää järjestyksellä 3, kun x → 0. Tällöin λ± = ±1, ja sen pääosa on itse asiassa x³.

Määritelmä 5.9 (Järjestys, II) Funktio f ∈ F±∞ sanotaan divergoivan järjestyksellä α > 0, kun x → ±∞, jos on olemassa λ± ∈ R{0}, siten että f ∼ λ±|x |−α, kun x → ±∞, eli lim x→±∞ f(x)|x|−α = λ±. Tässä tapauksessa f:n pääosa ±∞ kohdassa on λ±|x |−α. Esimerkiksi funktio f(x) = log(1 + x−n), jossa n on positiivinen kokonaisluku, divergoi järjestyksellä n kohdassa +∞.

Järjestykset ja rajoja käsittelevät esimerkit

Esimerkiksi eksponenttifunktio ex divergoi +∞ kohdassa suuremmalla järjestyksellä kuin mikään α > 0, koska ex / x−α → +∞ kaikilla positiivisilla α:lla, kun x → +∞.

Jos funktio f ja g divergoivat eri järjestyksillä, voimme käyttää tätä eroa rajoja käsitellessä, esimerkiksi:

Lause 5.9 (Järjestykset ja suhteet rajoihin) Oletetaan p ∈ R ja f, g ∈ Fp, ja oletetaan, että g(x) ei ole nolla paikallisesti kohdassa p. (i) Jos f häviää järjestyksellä α ja g järjestyksellä β, niin:

  • α > β → lim f(x)/g(x) = 0 x → p+

  • α = β → lim f(x)/g(x) = r, missä r ∈ R{0} x → p+

  • α < β → lim f(x)/g(x) = ±∞ x → p+

Milloin funktiolla on alkuperäinen funktio ja miten määrittää sen muoto?

Funktio, joka divergoituu pisteessä (esimerkiksi oikealta lähestyttäessä), ei voi omata alkuperäistä funktiota kyseisen pisteen ympäristössä. Tämä on keskeinen periaate, sillä alkuperäinen funktio määritellään jatkuvaksi ja differentioituvaksi, ja divergointi rikkoo tätä jatkuvuutta. Esimerkiksi funktiolle, jonka määrittelyjoukko on rajoitettu avoimeksi joukoksi, alkuperäisen funktion olemassaolo liittyy vahvasti sen jatkuvuuteen ja määrittelyjoukon muotoon.

Kun tarkastellaan funktiota f(x)=xx3+6f(x) = x - x^3 + 6 välillä (0,2](0, 2], sen alkuperäinen funktio FF, joka toteuttaa ehdon F(1)=0F(1) = 0, löytyy määrittämällä ensin epämääräinen integraali ja sitten sovittamalla vakio vaatimuksiin. Funktio ff on jatkuva tällä välillä, koska se koostuu jatkuvista funktioista, ja sen alkuperäinen funktio on siten olemassa tällä välillä. Koska ff on positiivinen ja sen derivaatta negatiivinen, FF on tiukasti kasvava ja konkaavi.

Kun käsitellään rationaalisia funktioita, joiden nimittäjä ei saa olla nolla, on tarkasteltava määrittelyjoukon muotoa erityisen huolellisesti. Esimerkiksi funktio f(x)=exe2x+ex+kf(x) = \frac{e^x}{e^{2x} + e^x + k} määrittyy kaikilla reaaliluvuilla, jos ja vain jos nimittäjä ei koskaan saavuta nollaa, eli silloin kun k0k \geq 0. Tällöin ff on jatkuva koko R\mathbb{R}:ssä, ja alkuperäinen funktio on määritelty koko R\mathbb{R}:ssä. Jos k<0k < 0, funktio ei ole määritelty kaikkialla, eikä sillä ole globaalia alkuperäistä funktiota. Epämääräinen integraali voidaan ratkaista muuttujanvaihdolla, minkä jälkeen funktioiden muoto liittyy usein arctan-funktion kaltaisiin funktioihin, jotka ovat tyypillisiä rajoitettuja antiderivaattoja rationaalisille funktioille.

Funktioissa, joissa esiintyy itseisarvoja, kuten f(x)=x+2+kf(x) = |x + 2| + k, alkuperäisen funktion olemassaolo ja muoto riippuvat arvojen kk valinnasta ja erityisesti siitä, onko määrittelyjoukko koko R\mathbb{R}. Jos k>0k > 0, funktio on jatkuva koko R\mathbb{R}:ssä, ja alkuperäinen funktio on globaali. Kun funktio koostuu eri lausekkeista eri väleillä, alkuperäisten funktioiden yhdistäminen ("liittäminen") oikealla tavalla siten, että ne ovat jatkuvia ja derivoituvia pisteissä, joissa lausekkeet vaihtuvat, on olennainen osa analyysiä. Tällöin käytetään raja-arvojen ja derivaatan raja-arvon kriteerejä, jotka takaavat alkuperäisen funktion yhtenäisyyden ja derivoinnin pisteissä, joissa funktio "liimautuu" yhteen.

Monimutkaisemmat koostefunktiot, joissa on sisäkkäisiä itseisarvoja ja eksponentteja, voidaan pilkkoa palasiksi ja integroida osissa. Jatkuvuus ja derivoituvuus pisteissä, joissa funktio muuttaa muotoaan, varmistetaan yhtäläisillä raja-arvoilla ja derivaatan rajaarvoilla. Tämä varmistaa, että globaali alkuperäinen funktio voidaan määrittää koko reaalilukujen joukolle.

Integraalilaskennassa on tärkeää tunnistaa, milloin voidaan käyttää substituutiota, osittaisintegraatiota tai arctan-funktion kaltaisia perusfunktioita. Näiden menetelmien hallinta on avain ymmärtää alkuperäisten funktioiden rakennetta ja niiden käyttäytymistä erityisesti määrittelyjoukon reunaehdoissa.

Alkuperäisen funktion olemassaolo ja sen määrittelyjoukon laajuus liittyvät läheisesti funktion jatkuvuuteen, määrittelyjoukon muotoon ja sen derivaatan käyttäytymiseen. Erityisesti on tärkeää huomata, että jos funktio ei ole jatkuva tai sillä on singulariteetteja määrittelyjoukossaan, globaalia alkuperäistä funktiota ei voi olla olemassa. Lisäksi, kun funktio koostuu eri lausekkeista, sen alkuperäinen funktio muodostuu yhtenäisistä osista, joiden yhtymäkohdissa on varmistettava jatkuvuus ja derivoituvuus raja-arvokriteerien avulla. Tämä lähestymistapa on keskeinen kokonaiskuvan ymmärtämisessä, kuinka alkuperäiset funktiot rakentuvat ja miten niitä käytetään matematiikan eri osa-alueilla.

Miten määrittää epäyhtälöfunktion alue ja sen derivoituvuus

Epäyhtälöfunktioiden analysoinnissa on keskeistä määrittää funktion määrittelyalue, sen käyttäytyminen määrittelyalueen rajoilla, sekä missä ja miten se on derivoituva. Tämä prosessi vaatii usein epämääräisten integraalien käsittelyä ja Taylorin sarjojen apuna käyttöä. Esimerkiksi funktio, joka sisältää epäyhtälöintegraaleja, kuten f(x)=1xg(t)dt,f(x) = \int_{ -1}^{x} g(t) dt, missä g(t)g(t) on määritelty ja jatkuva, voi antaa paljon tietoa funktiosta sen käyttäytymisen ja derivoituvuuden suhteen.

Kun tarkastellaan funktioita, jotka sisältävät epämääräisiä integraaleja, kuten esimerkissä annettu 1xlog(1t)dt(t2+1)arctan(t3t)\int_{ -1}^{x} \log(1-t) \frac{dt}{(t^2 + 1) \cdot \arctan(t^3 t)}, on tärkeää ymmärtää, milloin integrointifunktio on määritelty ja missä se on jatkuva. Tässä esimerkissä integraali on määritelty, jos xx kuuluu väliin (,1](-\infty, 1], mutta ei enempää. Integraaliin liittyvät epäyhtälöfunktiot voivat olla sekä jatkuvia että derivoituvia tietyissä väleissä ja sisältää rajoitteita, jotka on määritettävä tarkasti, jotta saadaan selville, missä funktio on derivoitavissa ja milloin se ei ole.

Toinen esimerkki tarkastelee funktiota f(x)=1xlog(1t)dt(t2+1)arctan(t3t),f(x) = \int_{ -1}^{x} \log(1 - t) \frac{dt}{(t^2 + 1) \cdot \arctan(t^3 t)}, jonka määrittelyalue määritellään, kun tutkitaan g(t)g(t):n käyttäytymistä rajoilla, kuten t=0t = 0 ja t=1t = 1. Tässä integraalissa g(t)g(t) käyttäytyy niin, että t=1t = 1 on raja, jossa epäyhtälöfunktio muuttuu ja sen integraali kasvaa äärettömäksi.

Kun tarkastellaan rajatapahtumia, kuten x=0x = 0 tai x=1x = 1, ja arvioidaan, kuinka funktio käyttäytyy rajalla, se paljastaa, onko funktion raja-arvo olemassa ja mikä on funktion derivoituvuuden tila. Esimerkiksi f(x)f(x) voi olla derivoitavissa tietyissä väleissä, mutta ei rajoilla, kuten kohdassa x=0x = 0, jossa f(x)f(x) ei ole derivoitavissa.

Määrityksissä on tärkeää myös huomioida integraalin käyrän ja funktion derivaatan käyttäytyminen. Jos integraali kasvaa liian nopeasti jossakin tietyssä pisteessä tai jos derivoituminen on määrittämätöntä tietyssä kohdassa, se voi johtaa siihen, että funktio ei ole derivoitavissa tai sen raja-arvo on äärettömän suuri. Tässä asiassa käytetään hyväksi Taylorin laajennuksia ja integrointialueen rajojen tarkastelua. Jos funktion käyttäytyminen tietyssä pisteessä osoittaa äärettömyyttä, funktion määrittelyalue voi supistua eikä se ole enää jatkuva tai derivoituvissa kaikilla arvoilla.

Kun tarkastellaan funktion erottelun rajoja ja arvioidaan, kuinka f(x)f(x) muuttuu lähempänä rajoja, kuten x=0x = 0 tai x=1x = 1, voidaan tarkentaa, missä funktion arvioitu rajatapaus on määritelty ja missä se ei ole. Esimerkiksi, jos f(x)f(x) lähestyy äärettömyyttä, tämä voi viitata siihen, että epäyhtälöintegraali ei ole määritelty rajoilla.

Mikä on tärkeää ymmärtää, kun työskentelemme epäyhtälöintegraalien ja integrointifunktioiden kanssa?

Lukijan on tärkeää ymmärtää, että integraalin määrittelyalue ja funktion derivoituvuus voivat vaihdella riippuen integraalin käyttäytymisestä tietyissä kohdissa, kuten äärettömissä tai äärellisissä rajoissa. Tällöin integraalin lähestyminen rajalle saattaa vaatia erityistä huomiota ja voi vaikuttaa siihen, onko funktio derivoitavissa vai ei. On myös tärkeää huomioida, että epämääräiset integraalit voivat johtaa siihen, että funktio ei ole derivoitavissa tietyissä pisteissä, mutta silti voidaan osoittaa, että se on jatkuva tietyissä väleissä.

Miten määritetään maksimi, minimi, supremumi ja infimum?

Tässä tehtävässä käsitellään erityisesti kuinka maksimi, minimi, supremumi ja infimum määritetään tietyille joukkoille ja funktioille. Yleisesti ottaen nämä käsitteet liittyvät joukon ääripäihin, joilla kuvataan arvon ylä- ja alarajoja sekä rajaa, johon arvot voivat lähestyä, mutta eivät välttämättä koskaan saavuta.

Tarkastellaan ensin funktiota xf(x)1x \mapsto | f(x) - 1 |, joka määrittelee joukon Ak={x:f(x)1k}A_k = \{ x : |f(x) - 1| \leq k \}, missä kk on ei-negatiivinen luku. Tehtävä on tutkia, miten tämä joukko käyttäytyy eri kk-arvoilla ja miten määritetään sen maksimi ja minimi. Käytännön kannalta on tärkeää ymmärtää, että nämä joukot voivat vaihdella riippuen siitä, kuinka kk muuttuu.

Jos k>0k > 0, voidaan helposti laskea joukon AkA_k minimi ja maksimi:

min Ak=1kjamax Ak=1+2+k.\text{min } A_k = 1 - k \quad \text{ja} \quad \text{max } A_k = 1 + \sqrt{2} + k.
Erityisesti, kun k=0k = 0, joukon A0A_0 minimi ja maksimi ovat yhtä suuret ja saavat arvon:
A0=1+2.A_0 = 1 + \sqrt{2}.
Näiden tulosten saamiseksi on hyvä tehdä piirros, mutta itse ratkaisu ei ole piirros vaan analyyttinen laskelma, joka vaatii huolellista tarkastelua.

Mikäli halutaan tutkia joukon ääriarvoja, kuten supremumia ja infimumia, tarvitaan tarkempaa analyysiä. Supremumi on joukkojen ylärajan pienin mahdollinen arvo, joka kuitenkin saattaa olla joukossa itse. Infimum puolestaan on joukon alaraja, joka saattaa olla myös joukossa. Jos etsitään supremumia, on tärkeää tarkistaa, että kaikki mahdolliset ylärajan ehdot toteutuvat ja että raja on mahdollisimman pieni. Infimumin laskemisessa taas analysoidaan joukkojen alarajoja ja valitaan pienin mahdollinen raja.

Esimerkiksi joukossa A={2x2:x<1/2}A = \{ 2 - x^2 : x < -1/2 \} voidaan tutkia sen ylä- ja alarajoja. Yksinkertainen tarkastelu riittää löytämään, että supremumi on supA=73\sup A = \frac{7}{3}, mutta joukossa ei ole maksimiarvoa, koska 73\frac{7}{3} ei kuulu itse joukkoon. Vastaavasti infimum on infA=273\inf A = \frac{2 - \sqrt{7}}{3}, ja tämä arvo kuuluu joukkoon, koska se täyttää joukon ehdot.

Tällaiset tehtävät vaativat paitsi laskemista myös käsitteellistä ymmärrystä siitä, miten tarkastellaan funktioiden ja joukkojen rajoja ja ääripäitä. Usein kannattaa erikseen analysoida joukon ylä- ja alarajat, mikä helpottaa oikean vastauksen löytämistä.

Kun tarkastellaan joukkoja, kuten A={xR:xx11}A = \{ x \in \mathbb{R} : x - \sqrt{|x-1|} \leq 1 \}, on tärkeää muistaa, että kaikki tietyt epäyhtälöt, kuten x24x+33x2x^2 - 4x + 3 \leq 3 - x^2, voivat vaikuttaa siihen, kuinka suuret tai pienet arvot joukon jäsenet voivat olla. Tällöin supremumi ja infimum määritetään ottamalla huomioon kaikki mahdolliset ratkaisuväliin kuuluvat arvot ja tarkistamalla, täyttävätkö ne ehdot.

Samalla tavalla kuin edellisissä esimerkeissä, on tärkeää muistaa, että supremumi ja infimum ovat rajoja, jotka saattavat olla jäseninä joukossa tai voivat olla sen ulkopuolella. Supremumi on yläraja, jonka pienin mahdollinen arvo kuuluu joukkoon, mutta infimum on alaraja, joka saattaa olla itse joukossa. Näiden laskeminen voi olla haastavaa, mutta huolellinen analyysi ja laskeminen antavat vastauksen.

Yksi tärkeä huomio on se, että vaikka matematiikassa on olemassa tarkkoja sääntöjä ja kaavoja, ne eivät aina ole riittäviä ilman perusteellista ymmärrystä käsitteiden takana olevasta logiikasta. Täsmällinen lähestymistapa on avain siihen, että nämä käsitteet saadaan määriteltyä oikein ja sovellettua ongelmien ratkaisemiseen.