Taylori rea uurija

lokaalne lähendus koos astme ja keskpunkti seadistustega

Interaktiivse simulatsiooni laadimine...

miks Taylori rida on lokaalne, mitte globaalne 🖖

Taylori polünoom koostatakse ühe punkti tuletiste põhjal, mistõttu kajastab ta funktsiooni lokaalset geomeetriat just seal. Kaugemal ei pruugi samad kordajad funktsiooni enam hästi kirjeldada: viga sõltub funktsiooni siledusest, astmest ja koonduvusraadiusest.

Kõvera taasloomine tuletis tuletise haaval 🖖

See tööriist ehitab kõvera funktsiooni üles ainult liitmiste, korrutamiste ja astendamiste abil — just nende tehetega, mida protsessor tegelikult teha oskab. Nulljärku liige tabab funktsiooni kõrguse keskpunktis, esimest järku selle tõusu, teist järku selle kõveruse, ja iga järgmine liige fikseerib ühe tuletise juurde. Suurenda astet n ja jälgi, kuidas punktiirjoonega polünoom keskpunkti a lähedal pideva kõveraga aina tihedamalt kokku sulab.

Kui siledusest ikka ei piisa 🖖

Võiks arvata, et lõpmatult sileda funktsiooni püüab piisavalt kõrge astmega Taylori polünoom alati kinni — kuid see pole tagatud. Klassikaline vastunäide on f(x)=e−1/x² (kus f(0)=0): kõik tuletised nullis on null, seega on tema Taylori polünoom nulli ümber igal astmel lihtsalt 0, kuigi funktsioon on mujal kõikjal positiivne. Liikmete lisamine ei aita kunagi. 'Sile' (kõik tuletised on olemas) on nõrgem kui 'analüütiline' (tegelikult võrdne oma reaga).

TAYLORI READ — KUI KAUGELE KESKPUNKTIST SAAB VEEL USALDADA

Millises Taylori juhtumis sa oled?

Taylori polünoom klapib funktsiooni väärtuse ja esimese n tuletisega ühes punktis ning triivib siis eemaldudes kõrvale. Kui kiiresti, otsustab kaks asja: kui ruttu kordajad kahanevad ja kas läheduses on singulaarsus. Liikmete lisamine aitab koonduvusraadiuse sees ja ei aita väljaspool üldse mitte — ning keskpunkti nihutamine tasub end sageli rohkem ära kui uued liikmed.

Keskpunkti lähedal hea, kaugel kasutu ε ∝ (x − a)n+1
Faktoriaalid võidavad — rida koondub kõikjal xn/n! → 0, R = ∞
Koonduvusraadius — sellest väljaspool liikmed ei aita ln(1 + x): R = 1
Nihuta keskpunkti — odavam kui liikmeid lisada Δa ≠ 0, Δn = 0

01

Keskpunkti lähedal hea, kaugel kasutu

Mida sa tead: Hästi käituva funktsiooni madala astme arendus. Keskpunkti lähedal täpne, eemaldudes kasvab viga kiiresti.

Rida: ε ∝ (x − a)n+1

Näidisarvutus: sin x ≈ x − x³/6 annab x = 1 juures 0,8333 tegeliku 0,8415 asemel — viga 0,008. x = 3 juures annab −1,5 väärtuse 0,141 asemel

Ava see juhtum: sin nulli lähedal
Keskpunkti lähedal hea, kaugel kasutu. Kuupliige järgib siinust umbes ühe radiaani jagu ja lahkub siis täiesti valesse suunda. Hästi käituva funktsiooni madala astme arendus. Keskpunkti lähedal täpne, eemaldudes kasvab viga kiiresti.
Kuupliige järgib siinust umbes ühe radiaani jagu ja lahkub siis täiesti valesse suunda.

02

Faktoriaalid võidavad — rida koondub kõikjal

Mida sa tead: Kordajate nimetajas on faktoriaal, nii et nad kahanevad kiiremini, kui ükski aste kasvab. Koonduvusraadius on lõpmatu.

Rida: xn/n! → 0, R = ∞

Näidisarvutus: eˣ ≈ 1 + x + x²/2 + x³/6 + x⁴/24 + x⁵/120 annab x = 1 juures 2,71667 väärtuse e = 2,71828 asemel — viis liiget, neli õiget kohta

Ava see juhtum: exp kiire
Faktoriaalid võidavad — rida koondub kõikjal. Viis liiget joonistavad eksponendi juba kogu nähtaval alal välja. Kordajate nimetajas on faktoriaal, nii et nad kahanevad kiiremini, kui ükski aste kasvab. Koonduvusraadius on lõpmatu.
Viis liiget joonistavad eksponendi juba kogu nähtaval alal välja.

03

Koonduvusraadius — sellest väljaspool liikmed ei aita

Mida sa tead: Funktsioonil on keskpunktist lõpliku kauguse peal singulaarsus. Selle kauguse sees rida koondub, väljaspool hajub, ükskõik kui palju liikmeid võtta.

Rida: ln(1 + x): R = 1

Näidisarvutus: ln(1 + x) kuue liikmega annab x = 0,8 juures 0,5701 väärtuse 0,5878 asemel — koondub veel, aga aeglaselt. x = 1,2 juures liikmed kasvavad ja summa jookseb ära

Ava see juhtum: ln piiril
Koonduvusraadius — sellest väljaspool liikmed ei aita. Raadiuse sees järgib polünoom kõverat; sellest väljaspool lahkub ja ei tule enam tagasi. Funktsioonil on keskpunktist lõpliku kauguse peal singulaarsus. Selle kauguse sees rida koondub, väljaspool hajub, ükskõik kui palju liikmeid võtta.
Raadiuse sees järgib polünoom kõverat; sellest väljaspool lahkub ja ei tule enam tagasi.

04

Nihuta keskpunkti — odavam kui liikmeid lisada

Mida sa tead: Sul on vaja täpsust kohas, mis on rea keskpunktist kaugel. Uuesti lähema punkti ümber arendamine ei maksa astmes midagi juurde.

Rida: Δa ≠ 0, Δn = 0

Näidisarvutus: Neljas aste cos x jaoks punktis x = 2: nulli ümber arendatuna annab −0,333 väärtuse −0,416 asemel, ühe ümber arendatuna −0,4086 — üksteist korda väiksem viga

Ava see juhtum: nihutatud keskpunkt
Nihuta keskpunkti — odavam kui liikmeid lisada. Sama aste, teine keskpunkt: ühe ümber tehtud arendus hoiab x = 2 juures kõverast kinni. Sul on vaja täpsust kohas, mis on rea keskpunktist kaugel. Uuesti lähema punkti ümber arendamine ei maksa astmes midagi juurde.
Sama aste, teine keskpunkt: ühe ümber tehtud arendus hoiab x = 2 juures kõverast kinni.

Ülesanne täielikult lahendatud

  1. sin 1 lähendamine 3. astme Maclaurini polünoomiga ja vea piiramine 5 sammu

    Lähenda väärtust sin 1 3. astme Maclaurini polünoomiga ja hinda vea piiri enne tegeliku väärtuse vaatamist. Veahinnang, mida saab arvutada alles pärast vastuse teada saamist, ei ole midagi väärt.

    1. Maclaurin vajab tuletisi kohal 0 ja siinus läbib neid perioodiga neli. Esimesest neljast kaks on nullid, mistõttu polünoom tulebki nii lühike.

    2. Nii on polünoomil P₃ kaks liiget ning x³/6 moodustab kogu paranduse. See viib väärtuse 1 allapoole tasemeni 0,83333 — vähenemine ligi 17%, mis on juba vihje sellele, et ka järgmine liige ei ole tühine.

    3. See on samm, mis õigustab kogu teemat. Siinuse rida on vahelduvate märkidega ja kahanevate liikmetega, mistõttu kärpimisviga on väiksem kui esimene välja jäetud liige. See liige on x⁵/120 ning selle arvutamine ei nõua väärtuse sin 1 kohta vähimatki teadmist.

    4. Nüüd kontrolli lubadust. Tegelik väärtus on 0,84147, seega tegelik viga on 0,0081377 — ja see tõepoolest jääb alla 0,0083333, mis oli ette garanteeritud.

    5. Tõke on täpne ja on näha, miks. Viga on kogu välja jäetud lõpuosa ning see lõpuosa on samuti vahelduvate märkidega: 1/5! paneb üle, 1/7! lahutamine paneb teisele poole üle ja 1/9! toob tulemuse kohale. Juba kolm liiget taastavad kuvatud vea numbrihaaval.

    Vastus

    P₃(1) = 0,83333 võrrelduna tegeliku väärtusega 0,84147, viga on 0,0081377 — kõik kolm on üleval paneelil. Mida paneel aga näidata ei saa, on arvude saabumise järjekord. 1/120 = 0,0083333 oli käepärast enne väärtust sin 1 ning see pani tegelikust veast üle vaid 2,4% võrra. See ongi erinevus lähenduse ja arvamuse vahel: lähendusega käib kaasas sertifikaat. Tõsta aste 5-ni ja sama argument annab sulle väärtuse 1/5040 — kolm komakohta on garanteeritud enne, kui vastuse ainustki numbrit on arvutatud.

Õpitee

Miks kõik tundub lähedalt sirge

Viib edasi Rohkem kui üks suund sama konstruktsiooni ka pärast esimest liiget ning jääkliikme, mida saad pelga lootmise asemel konkreetselt piiritleda.

Allikad (1)

Näiteülesanded

  • sin nulli lähedal - Madala astme sin-arendus on täpne x=0 lähedal.
  • exp kiire - Eksponentfunktsiooni Taylori rida koondub 0 ümbruses kiiresti.
  • ln piiril - Logaritmi rida kaotab täpsust koonduvusraadiuse ääre lähedal.
  • nihutatud keskpunkt - Arenduskeskme muutmine parandab lokaalset täpsust mujal.