
Функции_нескольких_переменных / Лекция31.Формула Тейлора
.pdf
Лекция 31. Формула Тейлора
Как и для функций одной переменной, формула Тейлора для функций многих переменных да¼т с точностью до определенных остаточных членов представление функции в виде многочлена, который называют многочленом Тейлора.
31.1.Формула Тейлора с остаточным членом в форме Лагранжа
Материал взят из учебника [1], ñòð. 525 526.
1

Замечание 31.1. При n = 0 из формулы (14.50) получаем ф о р м у л у Л а г р а н ж а к о н е ч н ы х п р и р а щ е н и й для функции u = f(x1; : : : ; xm) многих переменных:
f(x10 + x1; : : : ; xm0 |
+ xm) f(x10; : : : ; xm0 ) = |
@f |
(N) x1 |
+ : : : + |
@f |
(N) xm: |
|
|
|||||
@x1 |
@xm |
2

31.2.Формула Тейлора с остаточным членом в форме Пеано
Без доказательства.
Формула (14.58) называется формулой Тейлора (с центром разложения в точке M0) ñ остаточным членом в форме Пеано.
Как видно, формула Тейлора (14.58) справедлива при более слабых условиях, чем формула (14.50).
Пример 31.1. Разложить функцию f(x; y) = 2x 3y по формуле Тейлора с остаточным
членом в форме Пеано в окрестности точки M0(2; 1).
f(M0) = 2 1 = 12:
Пользуясь свойством инвариантности формы первого дифференциала функции одной переменной (d'(u) = '0(u)du) и правилом нахождения дифференциала разности, находим
ln22(dx 3dy):
Здесь dx, dy приращения независимых переменных. Находим второй дифференциал, помня, что dx, dy не изменяются, поэтому выражение dx 3dy константа:
|
d2f = d(ln 2 2x 3y(dx 3dy)) = ln 2 d |
2x 3y |
|
(dx 3dy) = ln2 2 2x 3y(dx 3dy)2; |
||||||||||||
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
ln2 2 |
|
|
|
|
|
|
|
|
|
||
|
|
d f(M0) = |
|
|
(dx 3dy) : |
|
|
|
|
|||||||
|
|
|
2 |
|
|
|
|
|||||||||
d3f = d ln2 |
2 2x 3y(dx 3dy)2 |
|
= ln3 2 2x 3y(dx 3dy)3 |
; d3f(M0) = |
ln3 2 |
(dx 3dy)3: |
||||||||||
2 |
|
|||||||||||||||
Ïî |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
индукции легко вывести, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
dnf = lnn 2 2x 3y(dx 3dy)n |
; dnf(M0) = |
|
lnn 2 |
(dx 3dy)n: |
|
|||||||||
|
|
|
2 |
|
|
Подставим найденные дифференциалы в точке M0 в формулу (14.58), учитывая равенства dx = x 2, dy = y 1, и получим искомое разложение в некоторой окрестности точки
M0(2; 1):
2x 3y = |
1 |
+ ln 2 |
((x |
|
2) |
|
3(y |
|
2)) + ln2 2 |
((x |
|
2) |
|
3(y |
|
2))2 + ln3 2 |
((x |
|
2) |
|
3(y |
|
2))3 |
+ |
|||
|
|
||||||||||||||||||||||||||
|
2 |
2 |
|
|
|
2! 2 |
|
|
|
|
3! 2 |
|
n |
|
|
|
|
||||||||||
|
|
+ : : : + |
lnn 2 |
((x 2) 3(y 2))n + o p |
(x 2)2 + (y 1)2 |
|
|
: |
|
|
|
|
|||||||||||||||
|
|
n! 2 |
|
|
|
|
3
Список литературы
[1]Ильин В.А., Позняк Э.Г. Основы математического анализа: В 2-х ч, Часть 1. М.: ФИЗМАТЛИТ, 2005.
[2]Кудрявцев Л.Д. Математический анализ Òîì 1.
4