Теорема эквивалентности Лакса - Lax equivalence theorem

В числовой анализ, то Теорема эквивалентности Лакса является фундаментальной теоремой анализа методы конечных разностей для численного решения уравнения в частных производных. В нем говорится, что для последовательный метод конечных разностей для хорошо поставленный линейный проблема начального значения, метод сходящийся если и только если это стабильный.[1]

Важность теоремы состоит в том, что, хотя сходимость решения метода конечных разностей к решению уравнения в частных производных является желаемым, это обычно трудно установить, поскольку численный метод определяется отношение повторения в то время как дифференциальное уравнение включает в себя дифференцируемый функция. Однако согласованность - требование, чтобы метод конечных разностей аппроксимировал правильное уравнение в частных производных - несложно проверить, а стабильность обычно гораздо легче показать, чем сходимость (и в любом случае потребуется, чтобы показать, что ошибка округления не разрушит вычисление). Следовательно, сходимость обычно демонстрируется с помощью теоремы об эквивалентности Лакса.

Стабильность в этом контексте означает, что матричная норма матрицы, используемой в итерации, не более единство, называемая (практической) устойчивостью Лакса – Рихтмайера.[2] Часто анализ устойчивости фон Неймана заменяется для удобства, хотя устойчивость по фон Нейману подразумевает устойчивость по Лаксу – Рихтмайеру только в некоторых случаях.

Эта теорема связана с Питер Лакс. Иногда его называют Теорема Лакса – Рихтмайера, после Питера Лакса и Роберт Д. Рихтмайер.[3]

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

  1. ^ Стрикверда, Джон К. (1989). Конечно-разностные схемы и уравнения с частными производными (1-е изд.). Чепмен и Холл. С. 26, 222. ISBN  0-534-09984-X.
  2. ^ Смит, Г. Д. (1985). Численное решение дифференциальных уравнений в частных производных: конечно-разностные методы (3-е изд.). Издательство Оксфордского университета. стр.67 –68. ISBN  0-19-859641-3.
  3. ^ Lax, P.D .; Рихтмайер, Р. Д. (1956). «Обзор устойчивости линейных конечно-разностных уравнений». Comm. Pure Appl. Математика. 9: 267–293. Дои:10.1002 / cpa.3160090206. МИСТЕР  0079204.