Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Лекции (2010)

.pdf
Скачиваний:
114
Добавлен:
28.06.2014
Размер:
1.12 Mб
Скачать

Стандартный метод Рунге-Кутты IV порядка точности.

yi 1 yi

hKi

 

 

 

 

 

 

 

Ki

 

K1

2K 2 2K 3

K 4

i

 

 

 

i

 

 

 

i

 

i

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

K1

f t

 

, y

 

 

 

 

 

 

 

 

i

 

 

i

 

i

 

 

 

 

 

 

 

2

 

 

 

 

 

h

 

 

 

h

1

 

Ki

f ti

 

 

 

, yi

 

 

 

Ki

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

h

 

 

 

h

2

 

Ki

f ti

 

 

 

, yi

 

 

 

 

Ki

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K 4

f t

i

 

h, y hK

3

 

i

 

 

 

 

 

 

i

 

 

 

 

i

 

l Ch5

Ch4

40 | С т р а н и ц а

Величины погрешностей.Правило Рунге.

Определение 1.

Погрешность на шаге ri y ti 1 yi 1 .

Определение 2.

Глобальной погрешностью называется E h max ri .

Определение 3.

Локальной погрешностью называется li y ti 1 yi 1 ,

при условии, что yi вычисляется точно. li

определяется только для явных одношаговых методов.

 

y ti 1

y ti

li

y

 

i 1

yi

 

ti

ti 1

Рис. 1. Локальная погрешность.

41 | С т р а н и ц а

 

 

 

 

 

 

 

 

Правило практической оценки погрешности

 

 

 

 

 

 

 

 

 

(правило Рунге или двойного пересчёта).

l h y t

i 1

yh

 

Ch p 1

 

 

i

 

 

 

 

i 1

 

 

 

 

 

 

 

h / 2

 

 

 

 

 

 

h / 2

 

 

h p 1

li

y ti 1 yi 1

2C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

h / 2

 

 

h

 

 

 

p

 

h

p 1

yi 1

yi 1

Ch

 

2C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

h p 1

 

yh / 2

yh

 

 

2C

 

 

 

 

i 1

 

i 1

 

 

 

2

 

 

 

2 p 1

 

 

42 | С т р а н и ц а

Адаптивные процедуры численного интегрирования.

 

1.

Вычисление решения с заданной точностью .

 

 

 

 

ri

 

yh / 2

yh

 

 

 

 

 

i

 

 

 

i

 

 

 

 

 

 

 

2p

 

1

 

 

 

 

E max

 

ri

 

 

 

yh / 2

yh

 

 

 

E

точность достигнута, иначе уточнение по Рунге y yh / 2

 

i

i

.

2 p

 

 

 

 

 

 

 

 

 

i i

 

1

 

2.

Адаптивная процедура.

 

 

 

 

t0

t1

t2

t3

...

tN

Рис. 2. Адаптивная процедура численного интегрирования.

i i ,

i

 

 

 

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

h hнач

 

 

 

 

 

 

 

 

r h / 2

 

i

h

1

2 h

i

 

 

i

 

 

i

r h / 2

 

i

h

 

 

hi 1

 

 

 

 

i

 

 

i 1

 

2

 

 

 

 

 

 

 

 

 

Теорема 1.

i lhi

Формула явного одношагового метода.

 

yi 1 yi

Ф t , y , h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y ti 1 y ti

 

Ф t

, y t

, h y t

y

y ti 1 y ti

 

 

yi 1 yi

 

y ti 1 yi 1

 

li

 

i

 

 

 

 

 

 

 

 

 

 

h

 

i

i

i

i

h

 

h

 

h

 

h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

43 | С т р а н и ц а

Устойчивость численного метода. Каноническая форма записи пошагового численного метода.

1

0 yn 1

 

... k yn 1 k

1

k

Ф tn , yn k 1, yn , yn 1, h

1 yn

j yn 1 j

 

 

h

 

 

 

 

h j 0

 

y0 ,

y1, ..., yk 1

стартовые точки.

 

y f t, y t

 

 

 

 

y t

0

y

 

 

 

 

 

 

0

 

 

 

 

Возмущенная задача:

k

 

 

 

1 j yn* 1 j Ф tn , yn* k 1, yn , yn 1, h n

h j 0

 

 

y*,

y*, ...,

y*

стартовые точки.

0

1

k 1

 

n – погрешность вычисления правой части метода в каждой точке.

Определение 4.

Численный метод называется устойчивым, если

 

 

 

 

 

 

 

 

 

 

N 1

 

 

 

max

y

n

y*

K T

max

y

j

y*

h

 

 

j

 

 

 

n

 

 

 

j

 

 

k n N

 

 

 

0 j k 1

 

 

 

 

k 1

 

 

 

Теорема 2.

Если рассматривается метод Рунге-Кутты p-ого порядка точности по h, то если начальное условие задано с p-ым порядком точности по h, то метод сходится с p- ым порядком точности по h.

(Устойчивость + Аппроксимация = Сходимость)

Метод Рунге-Кутты является одношаговым.

yn 1 yn Ф tn , yn h

y0 – стартовая точка.

yn 1 y tn 1

y tn 1 y tn Ф tn , y tn n

h

n – погрешность аппроксимации.

Воспользуемся оценкой для устойчивости.

y* y t

max yn y tn K T h Ch p K T C T t0 h p Сходимость с порядком p.

44 | С т р а н и ц а

Лекция № 10.

ЛИНЕЙНАЯ УСТОЙЧИВОСТЬ ЧИСЛЕННОГО МЕТОДА РЕШЕНИЯ ЗАДАЧИ КОШИ.

Методы Адамса.

y f t, y ty t0 y0

Экстраполяция метода Адамса 2-ого порядка.

Напишем формулу для явного двухшагового экстраполяционного метода Адамса:

ti 1

ti 1

y dt

f t, y dt

ti

ti

f t, y P t

1

y ti 1 y ti t

f

i 1

 

fi

fi 1

t t

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

f

i

f

i 1

 

 

 

 

 

 

 

 

f

i

f

i 1

 

t t

i

1

2

 

ti 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

i 1

 

 

 

 

t

t

i 1

 

dt

f

h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

ti

 

 

 

 

 

 

 

h

 

 

 

 

 

 

 

 

 

 

 

h

 

 

2

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

yi 1 yi h2 3 fi fi 1 , y0 , y1 – заданные точки.

Интерполяция метода Адамса 2-ого порядка.

Напишем формулу для неявного одношагового интерполяционного метода Адамса:

f t, y Q t f

i

 

fi 1 fi

t t

i 1

 

 

1

 

h

 

 

 

 

 

 

yi 1 yi h2 fi fi 1 , y0 – заданная точка.

Оба метода имеют второй порядок аппроксимации по h: Ch2 .

45 | С т р а н и ц а

Нуль-устойчивость численных методов.

k-шаговый метод:

1

k

Ф tn ,

 

 

h ,

 

j yn 1 j

yn 1 k , ..., yn ,

yn 1,

y0 , y1, ..., yk 1 – стартовые точки.

 

h j 0

 

 

 

 

 

i yi yi* , i 0,1,..., k 1

yi* – возмущѐнные значения начальных точек (с погрешностями).

max i

0 i k 1

Самый простой тип устойчивости – нуль-устойчивость. Для еѐ исследования будем применять следующую модельную задачу.

Определение 1.

Нуль-устойчивостью называется устойчивость на задаче:

y 0 y t C

Для данной задачи:

1

 

 

k

 

 

 

 

 

 

 

 

 

 

j yn 1 j

0,

y0 ,

y1, ...,

yk 1

– стартовые точки.

 

 

 

 

 

h j 0

 

 

 

 

 

 

 

 

 

1

 

 

k

 

 

 

 

 

 

 

 

 

 

j yn* 1 j

0,

y0* ,

y1* , ...,

yk* 1

– стартовые точки (возмущенные).

 

 

 

 

 

h j 0

 

 

 

 

 

 

 

 

 

 

k

 

 

yn 1 j yn* 1 j 0 n 1 1 n ... k n 1 k 0 – конечно-разностное уравнение.

j

 

j 0

 

 

 

 

 

 

 

 

 

 

 

 

 

n i j

 

 

 

 

 

 

 

n

 

qn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

qn 1 qn ...

qn 1 k 0

 

 

 

 

0

 

 

1

 

 

k

 

 

 

 

 

0

qn 1 qn ...

qn 1 k

0

 

 

 

 

 

 

1

 

k

 

 

 

 

 

 

P q

qk qk 1 ...

k

называется характеристическим полиномом k-шагового

 

 

 

 

 

 

0

 

1

 

 

 

 

 

метода.

q1, q2 , ..., qk – корни.

Если q j – просто, то решение n qnj .

Если q j – кратный кратности r, то решение n qnj , nqnj , ..., nr 1qnj .

Определение 2.

Будем говорить, что выполнено корневое условие, если все корни q1, q2 , ..., qk

характеристического полинома метода лежат внутри или на границе комплексной плоскости радиуса 1 и на границе нет кратных корней

Метод является нуль-устойчивым, если выполнено корневое условие.

46 | С т р а н и ц а

q 1 0 q 1

Все методы Рунге-Кутты и Адамса являются нуль-устойчивыми.

на границе нет кратных корней.

y f t, y t

 

 

y t

0

y

 

 

 

 

0

 

 

Пример.

 

 

 

yn 1 yn 2 yn 1

 

5 fn fn 1

 

 

 

 

 

 

3h

6

 

y 0

 

 

 

 

yn 1 yn 2 yn 1 0

 

y*

y*

2 y*

0

 

n 1

 

n

n 1

 

 

n 1 n 2 n 1 0

n qn

qn 1 qn 2qn 1 0 P q q2 q 2 0

q1 1, q2 2

q2 1 корневое условие не выполнено.

Пример.

y cos ty 0 0

h 0.1

y0 0

y1 y0 h cos t0 0.1 y t1 sin 0.1 0.0998y1 y t1 2 10 4

0.8

Рис. 1. Неустойчивость задачи.

47 | С т р а н и ц а

f ti , yi yi

Абсолютная устойчивость метода.

y y, C

 

y t

0

 

y

 

 

 

 

 

0

 

 

i

 

 

0 задача устойчива,

y t Ce t .

 

1

 

k

 

 

 

Ф tn , yn 1 k , ...,

yn , yn 1, h

 

j yn 1 j

 

h

 

j 0

 

 

 

 

 

1

 

k

 

 

 

k

 

 

j yn 1 j

j yn 1 j

 

 

h

 

 

j 0

 

 

j 0

 

 

k

 

 

 

 

 

 

j h j yn 1 j 0

 

 

j 0

 

 

 

 

 

 

обозн.

 

 

 

 

z

 

 

h

 

 

 

 

 

обозн.

 

 

 

j

 

 

j z j

 

P q, z 0qk 1qk 1 ... k 0

D – область устойчивости метода. Состоит из точек z, при которых выполняется корневое условие. Найдѐм D для явного метода Эйлера.

yi 1 yi

h

yi 1 1 h yi 0 P q, z q 1 z 0

q 1 z 1 z 1

D

-1

Рис. 2. Область устойчивости явного метода Эйлера.

1 1 z 1 h

1

– шаг, при котором метод устойчив.

Re

Найдѐм D для неявного метода Эйлера.

48 | С т р а н и ц а

yi 1 yi

f t

i 1

, y

i 1

y

 

h

 

 

i 1

 

 

 

 

 

1 z yi 1 yi

0

 

 

P q, z 1 z q 1 0

q 1 1 z

1 z 1

D

1

Рис. 3. Область устойчивости неявного метода Эйлера.

Неявный метод Эйлера устойчив при любом шаге h.

Определение 3.

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

Определение 4.

Множество точек D комплексной плоскости, состоящее из точек z, для которых метод абсолютно устойчив, называется областью абсолютной устойчивости метода.

Определение 5.

Метод называется А-устойчивым, если область D включает в себя область комплексной плоскости Re z 0 .

49 | С т р а н и ц а

Соседние файлы в предмете Численные методы