Matematická analýza II
Matematická analýza II. - (prezentácia k prednáške MANb/10)
Matematická analýza II. - (prezentácia k prednáške MANb/10)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
V. Diferenciálny počet<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.<br />
(prezentácia k prednáške MANb/10)<br />
doc. RNDr. Ondrej Hutník, PhD. 1<br />
1 ondrej.hutnik@upjs.sk<br />
Prednáška 16<br />
17. apríla 2015<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Taylorov polynóm<br />
Veta V.30<br />
Nech f je n-krát diferencovatel’ná v bode x 0 , kde n ∈ N. Potom<br />
existuje práve jeden polynóm T n stupňa nanajvýš n taký, že<br />
T (k)<br />
n (x 0 ) = f (k) (x 0 ) pre k = 0, 1, . . . , n.<br />
Poznámka: polynóm tvaru<br />
T n(f , x 0 )(x) := f (x 0 ) + f ′ (x 0 )<br />
1!<br />
(x − x 0 ) + f ′′ (x 0 )<br />
2!<br />
(x − x 0 ) 2 + · · · + f (n) (x 0 )<br />
(x − x 0 ) n<br />
n!<br />
nazývame Taylorov polynóm n-tého stupňa funkcie f v bode x 0 (ako<br />
polynóm premennej x)<br />
Poznámka: Maclaurinov polynóm = Taylorov polynóm v bode x 0 = 0<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Taylorov polynóm<br />
Veta V.30<br />
Nech f je n-krát diferencovatel’ná v bode x 0 , kde n ∈ N. Potom<br />
existuje práve jeden polynóm T n stupňa nanajvýš n taký, že<br />
T (k)<br />
n (x 0 ) = f (k) (x 0 ) pre k = 0, 1, . . . , n.<br />
Poznámka: polynóm tvaru<br />
T n(f , x 0 )(x) := f (x 0 ) + f ′ (x 0 )<br />
1!<br />
(x − x 0 ) + f ′′ (x 0 )<br />
2!<br />
(x − x 0 ) 2 + · · · + f (n) (x 0 )<br />
(x − x 0 ) n<br />
n!<br />
nazývame Taylorov polynóm n-tého stupňa funkcie f v bode x 0 (ako<br />
polynóm premennej x)<br />
Poznámka: Maclaurinov polynóm = Taylorov polynóm v bode x 0 = 0<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Taylorov polynóm<br />
Veta V.30<br />
Nech f je n-krát diferencovatel’ná v bode x 0 , kde n ∈ N. Potom<br />
existuje práve jeden polynóm T n stupňa nanajvýš n taký, že<br />
T (k)<br />
n (x 0 ) = f (k) (x 0 ) pre k = 0, 1, . . . , n.<br />
Poznámka: polynóm tvaru<br />
T n(f , x 0 )(x) := f (x 0 ) + f ′ (x 0 )<br />
1!<br />
(x − x 0 ) + f ′′ (x 0 )<br />
2!<br />
(x − x 0 ) 2 + · · · + f (n) (x 0 )<br />
(x − x 0 ) n<br />
n!<br />
nazývame Taylorov polynóm n-tého stupňa funkcie f v bode x 0 (ako<br />
polynóm premennej x)<br />
Poznámka: Maclaurinov polynóm = Taylorov polynóm v bode x 0 = 0<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Príklad: Maclaurinov polynóm funkcie f (x) = cos x<br />
T n (cos, 0)(x) = 1 − x 2<br />
2! + x 4<br />
x<br />
2k ( n<br />
)<br />
+ · · · + (−1)k<br />
4! (2k)! , k = E 2<br />
Akej chyby sa dopustíme, ked’ namiesto f na okolí bodu x 0 vezmeme<br />
T n (f , x 0 )(x)?<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Chyba aproximácie Taylorovým polynómom<br />
Príbeh zo života: Počas ruskej revolúcie bol IGOR TAMM zatknutý<br />
anti-komunistickými povstalcami ned’aleko Odesy ako anti-ukrajinský<br />
komunistický agitátor. Pri vypočúvaní sa ho vodca povstalcov pýtal,<br />
kde pracuje. Tamm odpovedal, že je matematik. „Ak je tak, napíš mi<br />
zvyšok po n-tom Taylorom polynóme. Ak to urobíš, si vol’ný, ak nie,<br />
zastrelíme t’a.“ Tamm napísal trasúcou rukou niekol’ko formúl a podal<br />
ich vodcovi. Ten ho v zápätí prepustil na slobodu.<br />
IGOR JEVGENJEVIČ TAMM (1895–1971)<br />
nositel’ Nobelovej ceny za fyziku (1958)<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Chyba aproximácie Taylorovým polynómom<br />
Zvyšok po n-tom Taylorovom polynóme funkcie f v bode x 0<br />
R n (f , x 0 )(x) := f (x) − T n (f , x 0 )(x), x ∈ O(x 0 )<br />
alebo tiež Taylorov vzorec f (x) = T n (f , x 0 )(x) + R n (f , x 0 )(x)<br />
Veta V.31<br />
Nech R n (x) := R n (f , x 0 )(x) je zvyšok po n-tom Taylorovom polynóme<br />
funkcie f v bode x 0 . Potom<br />
(i) R n (x 0 ) = R ′ n(x 0 ) = · · · = R (n)<br />
n (x 0 ) = 0;<br />
(ii) existuje funkcia ω spojitá v bode x 0 taká, že<br />
R n (x) = (x − x 0 ) n ω(x) pre x ∈ O(x 0 ) a lim<br />
x→x0<br />
ω(x) = ω(x 0 ) = 0.<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Chyba aproximácie Taylorovým polynómom<br />
Zvyšok po n-tom Taylorovom polynóme funkcie f v bode x 0<br />
R n (f , x 0 )(x) := f (x) − T n (f , x 0 )(x), x ∈ O(x 0 )<br />
alebo tiež Taylorov vzorec f (x) = T n (f , x 0 )(x) + R n (f , x 0 )(x)<br />
Veta V.31<br />
Nech R n (x) := R n (f , x 0 )(x) je zvyšok po n-tom Taylorovom polynóme<br />
funkcie f v bode x 0 . Potom<br />
(i) R n (x 0 ) = R ′ n(x 0 ) = · · · = R (n)<br />
n (x 0 ) = 0;<br />
(ii) existuje funkcia ω spojitá v bode x 0 taká, že<br />
R n (x) = (x − x 0 ) n ω(x) pre x ∈ O(x 0 ) a lim<br />
x→x0<br />
ω(x) = ω(x 0 ) = 0.<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Veta (Taylorova)<br />
Nech f ∈ D (n) (O(x 0 )) a f (n) ∈ D(O ∗ (x 0 )). Ak g ∈ D(O(x 0 )) a<br />
(∀x ∈ O ∗ (x 0 )) g ′ (x) ≠ 0, tak (∃θ ∈ (0, 1)) (∀x ∈ O ∗ (x 0 ))<br />
R n (x) = (x − x 0) n (1 − θ) n<br />
n!<br />
·<br />
g(x) − g(x 0 )<br />
g ′ (x 0 + θ(x − x 0 )) f (n+1) (x 0 + θ(x − x 0 )).<br />
BROOK TAYLOR (1685–1731)<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Tvary zvyšku po Taylorovom polynóme<br />
(i) pre g(t) = (x − t) n+1 máme Lagrangeov tvar zvyšku<br />
L n (x) = (x − x 0) n+1<br />
(n + 1)!<br />
f (n+1) (x 0 + θ(x − x 0 ));<br />
(ii) pre g(t) = t máme Cauchyho tvar zvyšku<br />
C n (x) = (x − x 0) n+1 (1 − θ) n<br />
n!<br />
f (n+1) (x 0 + θ(x − x 0 ));<br />
(iii) pre iné vol’by funkcie g dostávame iné tvary zvyškov, napr.<br />
Bernsteinov a pod.<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Tvary zvyšku po Taylorovom polynóme<br />
(i) pre g(t) = (x − t) n+1 máme Lagrangeov tvar zvyšku<br />
L n (x) = (x − x 0) n+1<br />
(n + 1)!<br />
f (n+1) (x 0 + θ(x − x 0 ));<br />
(ii) pre g(t) = t máme Cauchyho tvar zvyšku<br />
C n (x) = (x − x 0) n+1 (1 − θ) n<br />
n!<br />
f (n+1) (x 0 + θ(x − x 0 ));<br />
(iii) pre iné vol’by funkcie g dostávame iné tvary zvyškov, napr.<br />
Bernsteinov a pod.<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.
V. Diferenciálny počet<br />
Tvary zvyšku po Taylorovom polynóme<br />
(i) pre g(t) = (x − t) n+1 máme Lagrangeov tvar zvyšku<br />
L n (x) = (x − x 0) n+1<br />
(n + 1)!<br />
f (n+1) (x 0 + θ(x − x 0 ));<br />
(ii) pre g(t) = t máme Cauchyho tvar zvyšku<br />
C n (x) = (x − x 0) n+1 (1 − θ) n<br />
n!<br />
f (n+1) (x 0 + θ(x − x 0 ));<br />
(iii) pre iné vol’by funkcie g dostávame iné tvary zvyškov, napr.<br />
Bernsteinov a pod.<br />
Ondrej Hutník<br />
<strong>Matematická</strong> <strong>analýza</strong> <strong>II</strong>.