В математике условие сходимости по Куранту – Фридрихсу – Леви является необходимым условием сходимости при численном решении некоторых дифференциальных уравнений в частных производных (обычно гиперболических уравнений в частных производных ). Он возникает в численном анализе схем явного интегрирования по времени, когда они используются для численного решения. Как следствие, временной шаг должен быть меньше определенного времени во многих явных маршевых во времени компьютерных моделированиях, в противном случае моделирование даст неверные результаты. Условие названо в честь Ричарда Куранта, Курта Фридрихса и Ганса Леви, которые описали его в своей статье 1928 года.
Принцип, лежащий в основе этого условия, заключается в том, что, например, если волна движется по дискретной пространственной сетке, и мы хотим вычислить ее амплитуду с дискретными временными шагами равной продолжительности, тогда эта продолжительность должна быть меньше времени прохождения волны до соседних точек сетки. Как следствие, когда расстояние между точками сетки уменьшается, верхний предел для временного шага также уменьшается. По сути, численная область зависимости любой точки в пространстве и времени (определяемая начальными условиями и параметрами схемы аппроксимации) должна включать аналитическую область зависимости (в которой начальные условия влияют на точное значение решение в этот момент), чтобы гарантировать, что схема может получить доступ к информации, необходимой для формирования решения.
Чтобы сделать достаточно формально точное утверждение условия, необходимо определить следующие величины:
Пространственные координаты и время имеют дискретные значения. независимые переменные, которые расположены на регулярных расстояниях, называемых длиной интервала и временным шагом, соответственно. Используя эти имена, условие CFL связывает длину временного шага с функцией длины интервала каждой пространственной координаты и максимальной скорости, с которой информация может перемещаться в физическом пространстве.
На практике условие CFL обычно предписывается для тех членов конечно-разностной аппроксимации общих дифференциальных уравнений в частных производных, которые моделируют адвекцию
Для одномерного случая КЛЛ имеет следующий вид:
где безразмерное число называется числом Куранта,
Значение изменяется вместе с метод, используемый для решения дискретного уравнения, особенно в зависимости от того, является ли метод явный или неявный. Если используется явный (маршевый по времени) решатель, то обычно . Неявные (матричные) решатели обычно менее чувствительны к числовой нестабильности, поэтому допускаются более высокие значения .
В двумерном случае условие CFL становится
с очевидными значениями задействованных символов. По аналогии с двумерным случаем, общее условие CFL для -мерного случая имеет следующий вид:
Длина интервала не обязательно должна быть одинаковой для каждой пространственной переменной . Эта «степень свободы » может использоваться для некоторой оптимизации значения временного шага для конкретной задачи путем изменения значений различных интервалов, чтобы они не были слишком малыми.
| month =
().