Прикладная математика. Учебное пособие
.pdfЕсли эта система совместна, то, решив ее, получим приближенные
значения |
точного решения задачи (2.69), (2.70) в |
|
точках |
|
,…,. Таким образом, вместо непрерывной задачи |
(2.69), |
(2.70) получили дискретную задачу (2.83). Решив ее, найдем |
|
|
,…, |
|
значение функции в точках. Можем построить график по этим точкам. Этот численный метод решения краевой задачи называется ме-
тодом конечных разностей. Можно доказать, что при n |
, т.е. при |
|
h |
|
решению за- |
, решение системы (2.83) в точках стремится к→ ∞ |
||
|
→ 0 |
|
дачи (2.69), (2.70). Отсюда следует, что чем больше n, тем меньше
погрешность |
|
. |
|
|
Запишем теперь| |
краевую|задачу (2.69), (2.70) в следующем виде: |
|||
|
|
, |
, ; |
(2.85) |
|
|
нелинейное, |
уравнение, |
(2.84) |
где уравнение (2.84) |
второго порядка. Про- |
|||
водя все прежние рассуждения и действия, начиная с разложения
функций |
и |
в ряды Тейлора по |
степеням , где |
достаточно мало, удается заменить приближенно |
|
краевую задачу (2.84), (2.85) следующей системой разностных уравнений:
|
|
|
|
|
, |
, |
|
|
|
, |
(2.86) |
||
|
|
1,2,…, |
1, |
|
. |
|
|||||||
Решив (2.86), |
|
, |
|
|
|
|
|
|
|||||
|
|
получим приближенные значения точного решения |
|||||||||||
задачи (2.84), (2.85) в точках |
|
|
|
|
|
|
приближенное |
||||||
|
|
|
|
Галёркина при |
|
||||||||
Пример. Найдем методом , |
,…, |
. |
|
1 |
|
|
|
||||||
решение задачи |
|
1; 0 |
0, |
|
|
1. |
|
|
(2.87) |
||||
|
|
|
|
|
|
|
|
||||||
Выберем вспомогательные функции в виде
|
, |
|
|
|
|
|
. |
|
|
||||
|
|
|
|
|
|
||||||||
Функция |
|
|
в граничных точках |
|
|
и |
|
|
равна нулю. |
||||
|
|
|
|
||||||||||
Функция |
удовлетворяет левому |
краевому условию. Чтобы она |
|||||||||||
|
|
|
0 |
|
|
|
|
||||||
удовлетворяла и правому краевому условию, найдем а из условия |
|||||||||||||
|
|
|
|
|
1, что дает a = |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
71
Тогда приближенное решение будем искать в виде |
|
|
|
|||||
|
|
|
|
|
|
(2.88) |
||
|
|
|
|
|
|
|||
Для нахождения невязки |
подставим (2.88) в дифференци. |
- |
||||||
альное уравнение (2.87), получим, |
1 |
|
|
|
|
|||
, |
1 |
2 1 |
|
|
1. |
|||
|
|
|||||||
Согласно методу Галёркина система (2.77) записывается в форме одного уравнения
1d 0.
Подставляя сюда вместо y1 правую часть равенства (2.88)
1 |
|
3 2 |
|
d |
0, |
|
|
после интегрирования получим
50 π
40 π
и, следовательно,
.
Вданном примере точное решение известно, а именно: y(x) = 1 –
–cosx. Поэтому можно вычислить погрешность. Например, в точке
x = имеем
0,151 0,137 0,014 ,
то есть ошибка порядка 1,0 %.
В случае краевой задачи (2.71), (2.72) для дифференциального уравнения 2n-го порядка все остается без изменения, за исключением
того, что функция |
|
|
|
уже удовлетворяет условиям (2.72) и функ- |
||||||||||||
цииПример,…. Решим, |
предполагаются 2n раз дифференцируемыми. |
|||||||||||||||
методом конечных разностей при n = 3 краевую |
||||||||||||||||
задачу из предыдущего примера. Возьмем шаг |
|
|
|
|
|
|
|
. |
||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
Тогда |
0, |
|
|
, |
2 |
|
, |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
72
0, |
Необходимо |
|
найти |
для |
|
|
|
|
|
|
при |
|
|||||||||||||||||||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
дискретной, система |
|||||||
|
|
|
|
|
. Переходя от непрерывной, |
задачи к |
|
|
1 |
|
|
|
0 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
(2.83) принимает вид |
|
|
|
|
1; |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1, |
|
|
|
|
|
|
|
|
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, |
|
|
1 |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
1. |
0,128 |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
Решая |
эту |
систему, получим |
|
|
|
|
|
|
|
|
; |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
. При этом для погрешности в точке |
|
|
|||||||||||||||||||||||||
|
|
0,495 |
|
|
|
|
|
|
|
|
|
|
|
0,128 |
0,137 |
|
|
0,009, |
|
|
имеем |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
то есть погрешность менее 1,0 %, следовательно, метод конечных разностей точнее.
2.16. Методы Эйлера и Рунге–Кутты для системы дифференциальных уравнений
Рассмотрим |
задачу. |
Найти |
непрерывные в |
областях |
, |
||||
, |
|
,… |
, |
|
|
функции |
|
, |
,…, |
, |
|
|
|
|
|
|
|
||
|
удовлетворяющие системе дифференциальных уравнений |
||||||||
|
|
; ; ;…; |
, |
, |
,…, |
; |
(2.89) |
||
|
|
|
; |
; ;…; |
, |
,…, |
; |
|
|
|
|
|
; |
; |
;…; |
, |
,…, |
; |
|
с начальными условиями |
|
;…; |
|
. |
|
||||
|
|
|
|
; |
|
|
(2.90) |
||
|
|
|
|
|
|
|
|
|
73 |
Согласно методу Эйлера выберем достаточно малый шаг h(h > 0) и будем искать приближенное решение задачи (2.89), (2.90) в дискретных точках , 0,1,…, 1 в виде соответствующих рядов Тейлора:
|
|
|
|
2! |
|
; |
|
|
|
|
|
|
2! |
|
; |
. |
|
|
|
|
|
|
|
|
|
|
Пусть |
|
|
! |
|
||||
|
|
|
||||||
небрегая в рядах Тейлора, |
|
|
|
|
|
|
уже найдены. Пре- |
|
величинами второго порядка малости и |
||||||||
,…, |
, |
,…, |
, можно получить |
|||||
заменяя с помощью (2.89) величины |
||||||||
|
; |
; |
;…; |
; |
(2.91) |
|||
|
; |
; |
;…; |
; |
|
|||
|
; |
; |
|
;…; |
. |
|
||
Теперь покажем применение метода Рунге–Кутты второго порядка для системы уравнений (2.89) с начальными условиями (2.90). На основании (2.91) по формуле Рунге–Кутты (2.62) запишем приближенное решение задачи (2.89), (2.90) в виде
|
|
|
|
|
, , ,…, |
, |
|
|
(2.92) |
|
где |
– пока, |
|
|
|
; |
|
|
, |
(2.93) |
|
|
|
|
|
постоянные. |
|
|||||
|
неизвестные, |
,…, |
|
|||||||
Перепишем, , , , ,уравнение (2.92) в виде |
|
|
|
|
|
|||||
|
|
|
, |
|
, ,…, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
, |
|
,…, |
(2.94) |
|
где |
|
при |
|
. |
||||||
Разложим |
,в ряд, ,…Тейлора, |
выражение |
, |
|
|
|
||||
и ограничимся линейной, |
частью, |
,…, |
, , ,…, |
|
||||||
, |
, |
|
|
|
,…, |
|
|
|
|
|
74
|
|
|
|
(2.95) |
В формулу (2.92) вместо |
подставим |
(2.93), а вместо – выра- |
||
|
|
. |
|
|
жение (2.95). В результате преобразований получим
|
|
|
|
|
|
|
|
|
. |
(2.96) |
Выбираем: |
|
|
, |
тогда |
1 , |
1, |
1,…, |
1. Под- |
||
|
||||||||||
ставляя это в формулу (2.96), имеем |
||||||||||
, |
, |
|
, |
|
, |
,…, |
; ; |
0,1,…, |
1. |
|
|
|
|||||||||
|
|
,…, |
|
, |
||||||
Поскольку величинами 2-го порядка малости при нахождении системы (2.91) пренебрегали, то исходя из простоты написания формулы (2.62) сделаем следующий выбор:
1, |
|
0. |
Тогда
0, 1,
откуда |
|
|
|
|
, |
|
|
|
|
|
где |
|
, , |
,…, |
. |
|
|
|
(2.97) |
||
Аналогично |
|
|
|
|
,…, |
. |
||||
|
|
рассуждая, можно найти выражения для |
||||||||
|
|
2.17. Общая задача интерполяции |
|
|||||||
Пусть |
некоторая |
функция |
задана |
|
только |
в |
точках |
|||
, ,…, |
|
|
|
|
значениями |
, |
,…, |
. |
Если n |
|
|
|
|
|
|
|
|
||||
невелико, то часто ищут аналитическую зависимость, график кото-
рой |
проходит через все заданные точки |
|
на плоскости. |
||
Как себя ведет |
в промежуточных точках? Трудно, |
сказать. Важно, |
|||
чтобы она совпадала в точках |
с функцией |
. Такие аналитиче- |
|||
ские зависимости называются интерполяционными, а сам процесс по-
строения«плавной» функции |
, удовлетворяющейусловиям |
|
75 |
|
|
|
, |
0,1,2,…, , |
(2.98) |
интерполяцией. Точки |
|
||||
|
называются узлами интерполя- |
||||
ции, функция |
– |
интерполирующей функцией. В качестве ин- |
|||
|
, ,…, |
|
|
||
терполирующих функций чаще всего используют многочлены, так как они являются простейшими функциями. Так как «плавных» кривых , удовлетворяющих условию (2.98), можно провести бесчисленное множество, то задача интерполяции в общей постановке не имеет единственного решения, т.е. решается неоднозначно, а все эти кривые будут достаточно гладкими (рис. 2.13).
Рис. 2.13. Геометрическая интерпретация постановки задачи интерполяции
Однако существует случай параболической интерполяции, если в качестве интерполирующей функции взять многочлен
|
(2.99) |
степени n, то задача интерполяции имеет единственное решение. В силу (2.98) коэффициенты , ,…, этого многочлена могут быть получены решением следующей системы линейных алгебраических уравнений:
|
|
; |
(2.100) |
|
|
; |
|
Первое уравнение в (2.100) |
получается из условия |
в |
|
|
. |
|
|
точке , второе уравнение – из условия |
в точке |
и т.д. |
|
Докажем, что система (2.100) всегда разрешима и при этом однозначно. Определителем этой системы является определитель Ван-
76
дермонда, который всегда отличен от нуля, если |
, т.е. |
:
|
|
|
|
|
∆ |
|
|
|
…1 |
|
0. |
|
||
|
|
|
|
|
|
|
|
…1 |
|
|
||||
Отсюда имеем |
∆ |
|
,… , |
…1 |
|
|
, |
|
|
|||||
имеет |
|
∆ |
∆ |
, |
∆ |
|
∆ |
|
∆ |
следовательно, |
задача |
|||
|
|
|
|
|
|
|
|
|
а |
|||||
|
единственное решение. Раскрыв |
|
∆ |
по j-му столбцу, имеем |
||||||||||
|
|
|
|
|
|
|
∑ |
∆ |
∆ |
. |
|
|
|
|
Эти |
|
можно подставить в нашу F(x), |
одновременно группируя |
|||||||||||
все члены по . В результате получим |
|
|
|
. |
|
|||||||||
В качестве |
|
возьмем |
|
|
∆ |
|
||||||||
|
|
|
|
, зависящее только от уз- |
||||||||||
лов интерполяции и не зависящее от |
значений искомой функции |
|||||||||||||
∆ |
|
|
||||||||||||
|
|
|
Как же выглядит |
|
|
|
|
|
|
|
||||
В силу условия. |
(2.98) можно записать? |
|
|
|||||||||||
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
причем |
|
|
1 , |
|
0,1,2,…, ; |
|
||||||||
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
(2.101) |
||||||
|
|
|
|
|
|
|
|
0, |
|
|
. |
|
|
|
2.18. Интерполяционный многочлен Лагранжа
Интерполяционный многочлен (2.99) можно построить, не решая системы (2.100). Рассмотрим функцию , удовлетворяющую ус-
ловиям (2.101):
… |
… |
. |
|
… |
… |
|
(2.102) |
Выражение (2.102) есть многочлен n-й степени, равный нулю во всех узлах интерполяции, кроме узла , где он равен 1. Рассмотрим многочлен n-й степени
77
… |
. |
… |
Очевидно, этот многочлен равен нулю во всех узлах интерполяции, кроме узла , где он равен 1. Далее рассмотрим многочлен n-й степени
… |
. |
… |
Этот многочлен равен нулю во всех узлах интерполяции, кроме узла , где он равен 1. Построив аналогичные многочлены
,…, , образуем следующую линейную комбинацию
∑,
являющуюся интерполирующей функцией.
В дальнейшем будем ее обозначать через . Многочлен называется интерполяционным многочленом Лагранжа n-й степе-
ни, а формула
называется интерполяционной∑ |
… |
… |
(2.103) |
формулой… |
Лагранжа… |
, удовлетво- |
|
ряющей условию интерполяции (2.98): |
|
|
|
, |
0,1,… , . |
|
(2.104) |
На практике используются два частных случая формулы (2.103). Случай 1. При 1 имеем многочлен 1-й степени, т.е. это урав-
нение прямой линии, проходящей через две заданные точки:
.
Случай 2. При |
2 получаем |
||
|
|
|
|
+∙ .
Интерполяционная формула Лагранжа применяется:
–когда требуется представить функцию аналитически, т.е. в виде формулы, а задана функция таблично;
–при построении формул численного интегрирования и численного дифференцирования;
78
– когда функция задана, а нам нужно знать ее значения в ста точках, тогда берут 10 точек, равномерно расположенных на отрезке, и в них вычисляют значения функции; по этим десяти точкам строят интерполяционную функцию, а в остальных девяноста точках с помощью интерполяционно построенного многочлена находят искомые значения функции;
– когда не хватает либо точных значений, либо велик ее шаг между ; тогда применяют линейную или параболическую интерполя-
цию в виде |
или |
. |
|
а |
Предположим теперь, что не в отдельных точках |
|
|||
на всем отрезке |
|
задана некоторая функция |
, ,…В, этом, |
|
случае уместен вопрос, |
о погрешности интерполяции. |
Оценим. |
по- |
|
грешность интерполяционной формулы Лагранжа п =
– |
(рис. 2.14), считая, что функция |
|
при |
1 |
раз диффе- |
|||
|
|
а |
|
|
|
|||
ренцируема в промежутке |
, , |
|
|
0 |
|
0,1,… , . |
||
|
|
|
|
|
||||
|
Рис. 2.14. Графическое пояснение погрешности интерполяции |
|
|
|
||||||||||
Введем вспомогательную функцию |
|
аαω |
– пока, |
|
|
|
|
|||||||
где |
ω |
φ |
… |
|
|
, |
(2.105) |
|
||||||
|
|
неопределенный |
||||||||||||
|
|
|
|
|
α |
|
|
|
α |
|
|
|||
параметр. |
|
|
|
|
|
|
|
|
|
|
|
|
||
В силу условия (2.104) функция |
|
|
при любом значении |
рав- |
||||||||||
на нулю в точках |
|
,… , , |
т.е. φ |
|
|
0 |
при |
|
0,1,… , . |
|
|
|||
Возьмем теперь , |
|
φ |
|
|
|
|
|
не |
||||||
|
|
|
произвольную точку |
|
в интервале |
|
||||||||
совпадающую с узлами интерполяции |
|
|
̅ |
, |
и выберем, |
α |
так, |
, |
||||||
чтобы выполнялось равенство φ |
̅ |
0, т,.е. ,… , |
|
|
|
|
||||||||
79
Отсюда |
|
|
̅ |
|
̅ αω ̅ |
|
0. |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
̅ |
̅ |
|
|
|
|
|
|
|
(2.106) |
||
При этом значении |
|
|
функция ̅ . |
обращается в нуль в |
|
|||||||||||||
точках |
|
|
|
|
тα.е. имеет |
φ |
|
|
корней. |
Тогда′′ |
по |
теореме |
||||||
′ |
, |
|
|
|
2 |
|
|
2 |
||||||||||
Ролля′′′ |
имеет, по крайней мере, |
|
|
корней, |
|
|
|
корней, |
||||||||||
,… , , ̅, |
|
|
|
|
– |
1 |
φ |
|
|
|
|
|||||||
φ |
|
1 |
корней, …, |
φ |
|
|
|
|
|
|
|
|
||||||
φ |
|
|
|
один корень. Последнее озна- |
||||||||||||||
|
|
|
|
|
|
|
|
ƺ |
|
|
φ |
|
|
об- |
||||
чает, что существует единственная точка |
такая, |
что |
|
|
||||||||||||||
ращается в ней в нуль. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Обозначим корень |
|
|
|
через ƺ, т.е. |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
ƺ |
0. |
|
1 раз, получаем |
(2.107) |
|||||||
Дифференцируя равенство (2.105) |
|
|
|
|
||||||||||||||
Отсюда, учитывая (2.107) и то, что |
|
|
|
|
α ω |
|
|
в силу того, |
||||||||||
φ |
– многочлен п-й степени, а ω |
|
|
|
|
0 |
. |
|
|
|||||||||
что |
|
|
1 ! |
|
1 ! , имеем |
|||||||||||||
Тогда |
|
|
0 |
|
|
ƺ |
ƺ |
α |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.108) |
||
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
Приравнивая правые части формул (2.106) и (2.108), находим |
|
|||||||||||||||||
|
|
|
α |
|
|
|
, |
ƺ |
ƺ |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.109) |
||
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
можно написать х. |
||||
Так как точка – произвольная, то здесь вместо |
||||||||||||||||||
|
|
|
̅ |
̅ |
|
|
|
|
|
̅. |
|
|
|
|
|
|||
Но левая часть уравнения (2.109) – это искомая погрешность (х). |
||
̅ |
̅ |
п |
Таким образом, для погрешности интерполяционного многочлена Лагранжа имеем следующее выражение:
п(х) |
ƺ |
|
|
|
! |
|
|
Здесь – некоторое число, зависящее неизвестным образом от . |
|||
|
|
… |
. |
ƺ
На практике обычно используют следующую оценку для погрешности интерполяционной формулы Лагранжа:
80
