WikiDer > Правило трапеции (дифференциальные уравнения)

В числовой анализ и научные вычисления, то трапеция это численный метод решения обыкновенных дифференциальных уравнений полученный из трапеция для вычисления интегралов. Правило трапеции - это скрытый метод второго порядка, который можно рассматривать как Метод Рунге – Кутты и линейный многоступенчатый метод.

Метод

Предположим, что мы хотим решить дифференциальное уравнение

${ displaystyle y '= f (t, y).}$

Правило трапеции задается формулой

${ displaystyle y_ {n + 1} = y_ {n} + { tfrac {1} {2}} h { Big (} f (t_ {n}, y_ {n}) + f (t_ {n + 1}, y_ {n + 1}) { Big)},}$

куда ${ displaystyle h = t_ {n + 1} -t_ {n}}$ это размер шага.^[1]

Это неявный метод: значение ${ displaystyle y_ {n + 1}}$ появляется на обеих сторонах уравнения, и для его фактического вычисления мы должны решить уравнение, которое обычно будет нелинейным. Одним из возможных методов решения этого уравнения является Метод Ньютона. Мы можем использовать Метод Эйлера чтобы получить достаточно хорошую оценку решения, которую можно использовать в качестве первоначального предположения метода Ньютона.^[2] Это эквивалентно выполнению Метод Хойна.

Мотивация

Интегрируя дифференциальное уравнение из ${ displaystyle t_ {n}}$ к ${ displaystyle t_ {n + 1}}$, мы находим, что

${ Displaystyle у (т_ {п + 1}) - у (т_ {п}) = int _ {т_ {п}} ^ {т_ {п + 1}} е (т, у (т)) , mathrm {d} t.}$

В трапеция утверждает, что интеграл в правой части можно аппроксимировать как

${ displaystyle int _ {t_ {n}} ^ {t_ {n + 1}} f (t, y (t)) , mathrm {d} t приблизительно { tfrac {1} {2}} h { Big (} f (t_ {n}, y (t_ {n})) + f (t_ {n + 1}, y (t_ {n + 1})) { Big)}.}$

Теперь объедините обе формулы и используйте это ${ Displaystyle у_ {п} приблизительно у (т_ {п})}$ и ${ Displaystyle у_ {п + 1} приблизительно у (т_ {п + 1})}$ получить правило трапеций для решения обыкновенных дифференциальных уравнений.^[3]

Анализ ошибок

Из анализа ошибок правила трапеций для квадратуры следует, что локальная ошибка усечения ${ Displaystyle тау _ {п}}$ правила трапеций для решения дифференциальных уравнений можно ограничить как:

${ displaystyle | tau _ {n} | leq { tfrac {1} {12}} h ^ {3} max _ {t} | y '' '(t) |.}$

Таким образом, правило трапеций является методом второго порядка.^{[нужна цитата]} Этот результат можно использовать, чтобы показать, что глобальная ошибка ${ Displaystyle О (ч ^ {2})}$ как размер шага ${ displaystyle h}$ стремится к нулю (см. нотация большой O для значения этого).^[4]

Стабильность

Розовая область - это область устойчивости трапецеидального метода.

В область абсолютной стабильности для правила трапеции

${ displaystyle {z in mathbb {C} mid operatorname {Re} (z) <0 }.}$

Это включает в себя левую полуплоскость, поэтому правило трапеции является A-устойчивым. Второй барьер Дальквиста утверждает, что правило трапеций является наиболее точным среди A-стабильных линейных многоступенчатых методов. Точнее, линейный многоступенчатый метод, который является A-стабильным, имеет не более двух порядков, а константа ошибки A-устойчивого линейного многоступенчатого метода второго порядка не может быть лучше, чем константа ошибки трапециевидной линейки.^[5]

Фактически, область абсолютной устойчивости линейки трапеций - это как раз левая полуплоскость. Это означает, что если правило трапеции применяется к линейному уравнению испытания y ' = λу, численное решение затухает до нуля тогда и только тогда, когда это делает точное решение.

Примечания

Рекомендации

• Изерлес, Арье (1996), Первый курс численного анализа дифференциальных уравнений, Издательство Кембриджского университета, ISBN 978-0-521-55655-2.
• Сули, Эндре; Майерс, Дэвид (2003), Введение в численный анализ, Издательство Кембриджского университета, ISBN 0521007941.

Смотрите также

• Метод Кранка – Николсона