Документ взят из кэша поисковой машины. Адрес оригинального документа : http://mph.cs.msu.su/Home/Opus/a61.doc Дата изменения: Tue Apr 6 14:53:02 2010 Дата индексирования: Sat Apr 9 23:35:53 2016 Кодировка: koi8-r

Доклады Академии наук СССР 1956. Том 108, ? 3

А. Н. Тихонов, А. А. Самарский


О разностных схемах для уравнений

с разрывными коэффициентами



1. Различные конечноразностные схемы, пригодные для решения
определенного типа дифференциальных уравнений, могут различаться как по
порядку точности, так и в смысле применимости в зависимости от класса
коэффициентов этих уравнений. Автоматизация вычислений, связанная с
использованием машин, ставит вопрос о выборе «наилучших» разностных схем,
обладающих как максимальной точностью, так и применимостью в возможно более
широком классе коэффициентов. Так, например, желательно, чтобы одна и та же
разностная схема позволяла решать задачи для дифференциальных уравнений как
в случае непрерывных, так и в случае разрывных коэффициентов, без явного
выделения точек разрыва.
Рассмотрим ряд относящихся сюда вопросов на примере следующей краевой
задачи:
[pic] (1)
в классе кусочно-непрерывных коэффициентов [pic].
2. Будем рассматривать трехточечную разностную схему
[pic] (2)
где [pic]являются[pic] функциями величин [pic] [pic]а h - шаг равномерной
сетки.
Будем обозначать: [pic]- класс функций, имеющих p непрерывных
производных в интервале [pic]; [pic] - класс функций, кусочно-непрерывных и
имеющих кусочно-непрерывные производные до p-го порядка в интервале [pic].
Будем считать, что [pic].
Определение 1. Разностную схему будем называть однородной, если
[pic],[pic],[pic]. Иными словами, для однородной схемы вычисление
коэффициентов [pic]происходит во всех точках по единому закону.
Определение 2. Трехточечную однородную разностную схему будем
называть линейной, если функции [pic] линейны относительно своих
аргументов, т. е
[pic] (3)
где [pic] - постоянные числа.
В этой заметке мы ограничимся изучением только линейных однородных схем.

Определение 3. Пусть [pic] - некоторый дифференциальный оператор m -го
порядка, а [pic] - некоторый разностный оператор, определенный для всякого
значения h[pic]. Будем говорить, что разностный оператор [pic] имеет в
точке [pic] локальный порядок точности, равный n, если разность [pic], где
[pic] - произвольная функция, имеющая (m+n)-ю непрерывную производную.
Определение 4. Разностная схема [pic] для дифференциального оператора
(1) имеет порядок n, если для всякой функции [pic] из класса
[pic]соответствующий разностный оператор [pic] имеет n-й локальный порядок
точности.
Определение 5. Разностная схема называется безавостной, если краевая
задача для нее разрешима при любом заданном шаге h, любых значениях
коэффициентов и любой правой части уравнения.
Если разностная схема не удовлетворяет такому условию, то при машинном
счете для этого значения h и этих коэффициентов и правой части будет иметь
место аварийный останов машины («авост»). Так как наличие машинного авоста,
вызванное неудачным выбором шага h, не означает неразрешимости краевой
задачи для дифференциального уравнения, то такой авост естественно назвать
схемным авостом.
3. Рассмотрим схему (2) для [pic] и потребуем, чтобы она имела первый
порядок точности:
[pic] (4)
Разлагая [pic] в окрестности [pic], получим
[pic] (5)
Сравнение с (4) дает

[pic] (6)

Отсюда следует, что

[pic] (7)

Для линейных схем отсюда также получаем

[pic], (8)
[pic] (9)

4. Пусть [pic] - точка разрыва функции [pic] из класса [pic] и [pic].
Решение уравнения (1) [pic] удовлетворяет при [pic] условиям сопряжения
[pic].
Разлагая [pic] и [pic] в окрестности точки [pic], [pic]получим:
[pic], (10)
[pic] (11)
Если в окрестности точки [pic] при [pic], где [pic]>0 - любое число, не
содержится других точек разрыва и [pic] дифференцируема, то для схемы 1-го
порядка точности разность [pic] удовлетворяет уравнениям
[pic] (12)
5. Лемма. Пусть [pic] - некоторая фиксированная точка интервала [pic]и
[pic] удовлетворяет условиям (12) для любого шага h, причем [pic]. Для
сходимости любой последовательности решений [pic] разностного уравнения
[pic] к решению [pic] дифференциального уравнения (1) в некотором интервале
[pic] необходимо выполнение условия
[pic] (13)
где [pic] при [pic] быстрее, чем первая степень h.
Полагая в условии (13) [pic]и пользуясь для [pic]формулой (11), получаем
необходимое [pic]-условие сходимости разностной схемы в точке разрыва:
[pic] ([pic])
6. Для линейных схем 1-го порядка из [pic]-условия получаем 4 уравнения
для [pic], решая которые совместно с уравнениями (9), приходим к следующим
4 семействам схем:
I. [pic]
II. [pic]
III. [pic]
IV. [pic]

7. Условие безавостности, предъявляемое нами к разностным схемам,
означает, что [pic] и [pic] при любых значениях [pic]. В самом деле,
рассмотрим краевую задачу [pic]и предположим, что n - наибольший номер, при
котором [pic]. Если [pic] для [pic], то можно написать:
[pic]
Полагая [pic] для [pic], а [pic], получим [pic], т. е. разностная
краевая задача неразрешима. Если [pic] при m>n, то аналогичное рассуждение
также приводит к противоречию. Если [pic], то аналогичные рассуждения
следует провести для задачи [pic].
Для линейных однородных схем требование безавостности означает
неотрицательность [pic].
8. Нетрудно видеть, что из четырех схем, полученных в п. 6, только
первая схема [pic] при [pic] является безавостной.
Если [pic], то такую разностную схему будем называть консервативной. Для
консервативной схемы можно ввести понятие потока [pic], относимого к
«полуцелой» точке [pic], и записать разностное уравнение в виде
[pic] (14)
Если уравнение (14) интерпретировать как некий «закон сохранения» для
интервала [pic], означающий, что разность потоков равна источнику [pic], то
для консервативной схемы закон сохранения для любого интервала [pic]имеет
вид
[pic].
Формулу [pic] следует рассматривать как интерполяционную формулу для
вычисления потока [pic] при [pic].
Нетрудно заметить, что всякая консервативная схема 1-го или 2-го порядка
точности удовлетворяет [pic]- условию.
Если точки разрыва [pic] являются узловыми точками разностной сетки, то
формулы для [pic] и [pic] следует брать в виде

[pic]

9. Теорема 1. Пусть [pic] - однородная, линейная, трехточечная
разностная схема, удовлетворяющая требованию безавостности, необходимому
[pic] - условию сходимости на разрыве. Тогда:
1) если она имеет 1-й порядок точности, то она принадлежит
однопараметрическому семейству консервативных разностных схем:
[pic] (15)
2) если она имеет 2-й порядок точности, то она определена
однозначно:
[pic] (15()
Теорема 2. Решение разностной краевой задачи
[pic]
[pic]
сходится к решению краевой задачи (1), если коэффициент [pic].
Если [pic], то
[pic] .
Аналогичные теоремы имеют место и для линейных краевых условий других
типов.