Лекции и конспекты по математике Примеры решения задч

Разность между функцией $ f(x)$ и её многочленом Тейлора называется $ n$-м остатком, или $ n$-м остаточным членом; обозначим этот остаток через $ R_n(x)$:

$\displaystyle R_n(x)=f(x)-P(x).$

Формула $ f(x)=P(x)+R_n(x)$, в более развёрнутой форме имеющая вид

$\displaystyle f(x)=f(x_0)+f'(x_0)(x-x_0)+\frac{f''(x_0)}{2!}(x-x_0)^2+\ldots+ \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n+R_n(x),$

называется формулой Тейлора для функции $ f(x)$ в точке $ x_0$, а представление функции $ f(x)$ в таком виде -- её разложением по формуле Тейлора.

Если считать, что остаток $ R_n(x)$ мал, то его можно отбросить без большой погрешности; при этом получается приближённая формула

$\displaystyle f(x)\approx f(x_0)+f'(x_0)(x-x_0)+\frac{f''(x_0)}{2!}(x-x_0)^2+\ldots+ \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n,$

дающая возможность для приближённого нахождения значений функции $ f(x)$.

Выясним, в каком смысле можно понимать "малость" остатка $ R_n(x)$ в формуле Тейлора, чтобы этой приближённой формулой мы могли пользоваться осмысленно.

[an error occurred while processing this directive]

        Теорема 6.1 (формула Тейлора с остаточным членом в форме Пеано)   Пусть $ R_n(x)$ -- остаток в формуле Тейлора для функции $ f(x)$ в точке $ x_0$, и функция $ f(x)$ имеет непрерывную $ (n+1)$-ю производную. Тогда $ R_n(x)$ -- бесконечно малая величина того же или большего порядка малости, как $ (x-x_0)^{n+1}$, при $ x\to x_0$. (Остаточный член $ R_n(x)$, о котором известны эти сведения о порядке малости, называется остаточным членом в форме Пеано.)

        Доказательство.     Утверждение теоремы означает, что существует

$\displaystyle \lim\limits_{x\to x_0}\dfrac{R_n(x)}{(x-x_0)^{n+1}}=L.$

При $ L\ne0$ остаток $ R_n(x)$ будет иметь тот же порядок малости, что $ (x-x_0)^{n+1}$, а при $ L=0$ -- больший порядок малости. Итак, вычислим предел:

$\displaystyle \lim\limits_{x\to x_0}\dfrac{R_n(x)}{(x-x_0)^{n+1}}= \lim\limits_{x\to x_0}\dfrac{f(x)-P(x)}{(x-x_0)^{n+1}}=$   
$\displaystyle =\lim\limits_{x\to x_0}\dfrac{ f(x)-f(x_0)-f'(x_0)(x-x_0)-\frac{f''(x_0)}{2!}(x-x_0)^2-\ldots- \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n}{(x-x_0)^{n+1}}.$   
 


Применим к этому пределу правило Лопиталя, повторив этот приём $ n$ раз:

$\displaystyle \lim\limits_{x\to x_0}\dfrac{ f(x)-f(x_0)-f'(x_0)(x-x_0)-\frac{f''(x_0)}{2!}(x-x_0)^2-\ldots- \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n}{(x-x_0)^{n+1}}=$   
$\displaystyle =\lim\limits_{x\to x_0}\dfrac{ f'(x)-f'(x_0)-f''(x_0)(x-x_0)-\ldots- \frac{f^{(n)}(x_0)}{(n-1)!}(x-x_0)^{n-1}}{(n+1)(x-x_0)^n}=$   
$\displaystyle =\lim\limits_{x\to x_0}\dfrac{ f''(x)-f''(x_0)-f'''(x_0)(x-x_0)-\ldots- \frac{f^{(n)}(x_0)}{(n-2)!}(x-x_0)^{n-2}}{(n+1)n(x-x_0)^{n-1}}=$   
$\displaystyle =\ldots=\lim\limits_{x\to x_0}\dfrac{ f^{(n)}(x)-f^{(n)}(x_0)}{(n+1)n(n-1)\ldots2(x-x_0)}=$   
$\displaystyle =\lim\limits_{x\to x_0}\dfrac{ f^{(n+1)}(x)}{(n+1)n(n-1)\ldots2\cdot1}= \dfrac{f^{(n+1)}(x_0)}{(n+1)n(n-1)\ldots2\cdot1}=L.$   
 


Последний предел мы вычислили прямой подстановкой, поскольку по предположению $ f^{(n+1)}(x)$ -- непрерывная функция. Существование предела доказывает утверждение теоремы.     

Доказанная теорема утверждает, что при малых отклонениях от $ x_0$ значения $ P(x)$ будут отклоняться от $ f(x)$ не более чем на величину $ (n+1)$-го порядка малости относительно разности $ x-x_0$, что даёт нам уверенность в том, что замена $ f(x)$ на многочлен Тейлора $ P(x)$ будет давать очень хорошее приближение, и это приближение будет улучшаться, если мы будем увеличивать значения $ n$. Однако доказанная теорема не даёт нам оценки остатка $ R_n(x)$. Этот пробел устраняет следующая теорема.

Метод Гаусса. (Карл Фридрих Гаусс (1777-1855) немецкий математик)  В отличие от матричного метода и метода Крамера, метод Гаусса может быть применен к системам линейных уравнений с произвольным числом уравнений и неизвестных. Суть метода заключается в последовательном исключении неизвестных.

  Рассмотрим систему линейных уравнений:    

Разделим обе части 1–го уравнения на a11 ¹ 0, затем: 1) умножим на а21 и вычтем из второго уравнения 2) умножим на а31 и вычтем из третьего уравнения  и т.д. Получим: , где d1j = a1j/a11,  j = 2, 3, …, n+1. dij = aij – ai1d1j  i = 2, 3, … , n; j = 2, 3, … , n+1.  Далее повторяем эти же действия для второго уравнения системы, потом – для третьего и т.д.  

 

[an error occurred while processing this directive]

Пример. Решить систему линейных уравнений методом Гаусса. Составим расширенную матрицу системы. А* = Таким образом, исходная система может быть представлена в виде: , откуда получаем: x3 = 2; x2 = 5; x1 = 1.

 

  Пример. Решить систему методом Гаусса. Составим расширенную матрицу системы. Таким образом, исходная система может быть представлена в виде: , откуда получаем: z = 3; y = 2; x = 1.  Полученный ответ совпадает с ответом, полученным для данной системы методом Крамера и матричным методом.   Для самостоятельного решения:  Ответ: {1, 2, 3, 4}.

Абсолютная и условная сходимость несобственных интегралов по бесконечному промежутку

  До сих пор рассматривались интегралы от знакоположительных (знакопостоянных) функций. Теперь пусть подынтегральная функция таких ограничений не имеет, то есть может быть и знакочередующейся функцией.

 Если наряду с собственным интегралом по бесконечному промежутку сходится и интеграл  по этому же промежутку, то первый интеграл называется абсолютно сходящимся.

 Если интеграл сходится, а интеграл  расходится, то первый интеграл называется условно сходящимся.

  Пример 8. Исследовать на абсолютную сходимость интеграл: .

  Решение. В начале исследуется данный интеграл вообще на сходимость, для чего проведем интегрированние по частям: пусть  тогда , далее . Так как последний интеграл сходится, то по признаку сравнения сходится и интеграл , причем абсолютно. Исходный интеграл  при этом является сходящимся (кстати, сходимость этого можно определить быстрее с помощью признака сходимости Дирихле, который будет рассмотрен позже). Чтобы исследовать исходный интеграл на абсолютную сходимость, надо рассмотреть интеграл: . Так как  при , то имеем: . Интеграл  аналогично исходному интегралу  сходится, а интеграл  расходится; стало быть, и интеграл  является расходящимся. При этом исходный интеграл является условно сходящимся.

 Упражнение 8. Установить условную сходимость интеграла: .

  Пример 9. Исследовать на абсолютную сходимость интеграл: .

Математический анализ Типовые расчеты по математике