Вы находитесь на странице: 1из 129

Численные методы

Историческое накопление знаний


• Первые закономерности связывают с именем Архимеда (287-212 до н.э.) – рычаг, винт и гидростатика.
• Автоматические двери и фонтан Герона.
• Аристотель, ученик Платона и воспитатель Македонского – научная картина мира, множество
специфических терминов, например, материя и пустота.
• Блез Паскаль (1588-1651) «паскалина» три столетия была прототипом арифмометров – счетно-
механических машин.
• Эванджелиста (Евангелиста) Торричелли (1608-1647), ученик Галилея – основы гидравлики, ртутный
барометр, скорость истечения из отверстия.
• Исаак Ньютон (1643-1727) – скорость звука, закон вязкого трения, закон сопротивления тела в
разряженной среде, условие третьего рода в задаче теплопроводности.
• Бернулли Даниил (1700-1782) и Николай – основатель кинетической теории газов,  монографию
«Гидродинамика» (опубликована в 1738 году).
• Даламбер (1717-1783) – закон сохранения массы для несжимаемой жидкости.
• Леонард Эйлер (1707-1783) – уравнения движения идеальной жидкости.
• Работы Эйлера развил Лагранж (1736-1813).
• Клод Луи Навье (1785-1836) – уравнения движения вязкой жидкости исходя из гипотезы
взаимодействия молекул (1822).
• Джордж Стокс (1819-1903) интегральная форма для баланса массы, импульса и полной энергии.
• Риман (1826-1866), ученик Гаусса. Комплексные числа и риманова геометрия на поверхностях.
Сжимаемые течения -- теория сверхзвуковых течений. Возникновение газовой динамики относится к
середине и второй половине XIX века и связано с основополагающими работами Х. Допплера, 
Г. Римана, Э. Маха, У. Дж. Ранкина и П.-А. Гюгонио[1]. Бурное развитие данный раздел механики
переживает в XX веке; среди многих имён учёных, внёсших значительный вклад в развитие газовой
динамики, следует назвать С. А. Чаплыгина, Дж. Тейлора, Л. И. Седова, Я. Б. Зельдовича. 
Дифференциальная и интегральная форма
записи законов сохранения

  v   0
t
v v j 1  v j vk 
t
  1
  vv   p   2S  0 S jk    jk
3
 


x j 2  xk x j



E
t

  vE    vp   q   2S v  0 q  T 
или

V t dV  A n v  dA  0
v
  
V t dV  A n v  v  pn  n 2S dA  0
E
V t dV  A n Ev  pv  q   vn 2 S
 dA  0
Кинетическая теория
• Подводя итог этому подходу можно обобщить его как:
• Феноменологический подход: фундаментальные законы (баланс массы Ломоносова, баланс
импульса Ньютона, баланс энергии – второй закон термодинамики) дополненные
соотношениями для ряда термодинамических функций градиентного типа -- законы Ньютона,
Фурье, Фика, (Дарси). Константы в этих законах, при таком подходе, исключительно
экспериментальный результат, обобщающие закономерности для различного сорта молекул,
составов смеси, зависимость от термодинамических функций и, возможно, процессов.
Наиболее трудно описать многокомпонентный состав, возникающий при возбуждении
степеней свободы молекул, диссоциация, ионизация и т.п.
• С именем Людвиг Больцман (1844-1906) связывают новое направление развития. Больцман
написал свое уравнение 1872г и сформировал гносеологический подход: Кинетическая
теория газов: уравнение Больцмана.

f i f i Fi f i
  t
 vi 
r mi vi
  I ij I ij  2
j
 f  
i f j  f i f j vi  v j bdbdvi
' '

• Заметим, что рассматриваются только парные столкновения, т.е. уравнение справедливо для
неплотных газов. При более строгом подходе для построения Кинетического уравнения
Больцмана исходят из уравнения Лиувиля для плотности распределения всех молекул газа в
фазовом пространстве, из которого получают систему уравнений для функций распределения
одной, двух и т д. молекул (Уравнения Боголюбова). Эту цепочку уравнений решают с
помощью разложения по степеням плотности частиц с использованием граничного условия
ослабления корреляций, заменяющего гипотезу молекулярного хаоса. 
Макроскопические характеристики
Все макроскопические характеристики среды определяются через значение
функции распределения

ni  r , t    f i dvi n   ni количество молекул определенного сорта

1
 vi  r , t   v f dv i абсолютная средняя скорость движения молекул
i i
ni

v  r, t  
 mnv
i  v i
 c v i i i
гидродинамическая скорость
m n
i

i i
i i

Vi  vi  v (тепловая скорость)
Vi  vi  v средняя тепловая скорость

3 1 1
kT   mi ni Vi 2 определение температуры как функции
2 n 2 термодинамического равновесия

i
pi  ni kT  kT определение давления и закон Дальтона
mi
Потоки макроскопических величин
Перемещение молекул и наличие градиентов макроскопических величин приводит
к образованию потоков в определенном направлении. Различают потоки массы,
импульса и кинетической энергии молекул.

i   i f i Vi dVi Общая формула определения потока

J i  mi f i Vi dVi  mi ni Vi (поток массы)

P   Pi

(тензор давлений)
Pi  mi f i Vi Vi dVi  mi ni ViVi

1 1
qi  mi  f i Vi Vi dVi  mi ni Vi 2Vi q   qi
2 (плотность
2 2 теплового потока)
Балансовые соотношения
Важно! Основные газодинамические уравнения переноса – уравнения сохранения массы,
количества движения и энергии – могут быть получены непосредственно из уравнений
Больцмана без определения вида функций распределения. Из уравнения Больцмана можно в
виде прямого следствия получить уравнения переноса Энского, которое, при использовании
сумматорных инвариантов ( баланс массы импульса и кинетической энергии для
одноатомных молекул при их парном столкновении) в качестве переменной для осреднения,
то правая часть обобщенного уравнения переноса Энского обращается в ноль в
независимости от значений функций распределения.

Используя массу молекулы как параметр для осреднения, уравнение переноса Энского
сводится к выражению, для баланса числовой плотности молекул i-го сорта


ni  ni vi


   I ij dvi  K i
t r j

Это выражение можно запись относительно массовых концентраций

 
 ci

 
 ci v  ci Vi

  w
i
t r r
Балансовые соотношения
Используя выражение количества движения молекулы как параметр для
осреднения, уравнение переноса Энского приводится к уравнению движения для
смеси газов
v  v  1  P 
v  0
t r  r
Используя выражение кинетической энергии молекулы как параметр для
осреднения, уравнение переноса Энского приводится к уравнению баланса
энергии для смеси газов

  E    Ev    v  q
 P  0
t r r r
Хотя уравнения баланса массы, импульса и энергии получены без знания конкретного
вида функции распределения, но практическое использование возникает только при
знании скорости диффузии, вектор плотности потока массы, импульса и энергии. Для
определения этих величин необходимо РЕШИТЬ уравнения Больцмана. Один из
способов решения уравнения Больцмана – метод возмущения Энского-Чепмена
Распределение Масквелла
Собственно вид функции распределения для равновесного состояния установлен
Максвеллом. В стационарном состоянии число молекул одного сорта покидающего
фазовое пространство уравновешивается количеством молекул поступающих в
фазовое пространство. Математически это выражается соотношением

fi f  fi f j
'
j
'
Или ln f i '  ln f j'  ln f i  ln f j
Исходя из того, что при парных столкновениях молекул справедливы законы сохранения
массы, импульса и кинетической энергии молекул функция распределения в
равновесном состоянии должна иметь вид
1
ln f i  ami  bmi vi  c mi vi2
2
Используя условия нормировки

ni   f i dvi v   mi  vi f i dvi 3 1
nkT   mi  Vi 2 f i dvi
2 2
Позволяют установить значение констант a, b, c.
32
 mi   mi 2 
f i  ni   exp  Vi 
 2kT   2kT 
Отклонение от равновесного состояния
Возмущенное состояние функции распределения можно представить в виде ряда по
параметру возмущения ε (ε-1 – частота столкновений). Сидни Чепмен (1888-1970)
f i   0 f i  0    1 f i  1   2 f i  2   ...
Более изящная форма записи, акцентирующая внимание на разложении в ряд и
возможности его сходимости, имеет зависимость от числа Кнудсена
 ~ ~
f i  f i  0  Kn 0  Kn1 f i  1  Kn 2 f i  2   ... 
В таком виде нулевое приближение есть максвелловская функция распределения.
Любопытно, что нулевое приближение можно трактовать как решение однородного
уравнения Больцмана (отсутствие интеграла столкновения молекул). Вариант решения
k
для последующих функций f i (как следует из условия нормировки) должны
удовлетворять однородным значениям. Из этих соображений получают выражения для
скорости диффузии, тензора давлений и вектора плотности потока энергии.
Итак, Нулевое приближение – система уравнений Эйлера для сжимаемой среды.
Первое приближение является системой уравнений Навье-Стокса.
Второе приближение является системой уравнений Барнетта. Уравнения Барнетта позволяют
получить более точное описание течения в области, где применимы и уравнения Навье - Стокса, но не
позволяют продвинуться в область, где последние неприменимы.
Заметим, что Уравнения Барнетта будут отличаться от системы уравнений Навье-Стокса еще большим
количеством слагаемых более высокого порядка. Если в уравнениях Эйлера используются первые
производные, в уравнениях Навье-Стокса повторные производные, то уравнениях Барнетта будут
содержать производные третьего порядка. Это меняет свойства системы. Можно утверждать, что
система уравнений НС обладает диссипативными свойствами, третья производная будет наделять ее
дисперсионными свойствами.
Коэффициенты переноса
Оригинальные формулы содержатся в монографии Гиршфельдер, Кертисса и Берда
Молекулярная теория газов и жидкостей, ИЛ, Москва, 1961. В достаточном объеме
краткие сведения приведены в книгах Лапина Турбулентный пограничный слой в сверх-
вуковых потоках газа. Гл.ред физ.-мат.лит., Наука М., 1970; Турбулентный пограничный
слой в сверхзвуковых потоках газа. 2-е переработанное М., Наука Гл.ред физ.-мат.лит.,
1982 и Лапин, Стрелец Внутренние течения газовых смесей. М., Наука. Гл.ред физ.-
мат.лит., 1989
В частности, выражение для тензора давлений имеет вид
 
P  pI  2S p  nkT S   1  v j  1  v j  vk 
x j 2  xk x j 
jk jk
H11 H 21 ...H N 1 x1
3 
H12 H 22 ...H N 2 x2 2xi x j mi m j  5 
H ij     1
H1N
x1
H2N
x2
...H NN
xN
xN
0
 
2 
 ij m i  m j  3 Aij 

 2xi x j mi m j  5 mj 
H11 H 21 ... H N 1 x i2  
H ii    
H12 H 22 ... H N 2 i j, j  i  
 ij m i  m j  3 Aij m i 
2 

... ... ... ...


1
H1 N H2N ... H NN 0  xj  m
   i 1   Gij  xi  ci
формула Уилки  j , j i xi  mi
Коэффициенты переноса
  ln T 
J i  ci Vi   i Vi    i   Dij d j  DiT 

 j r 
  n j   n j  j   ln p
   m 1  ci mi1
dj   ~
Di 
r  n   n   r
   cj
~ m D
формула Уилки J i   Di ci j , j i j ij

термодиффузия была установлена теоретически и позже получила экспериментальное подтверждение .

Перенос энергии в многокомпонентных смесях


T T
q     ci Vi hi hi  h   C p i dT
0
r i
i
T0

11  21 ... N 1 x1
12  22 ... N 2 x2 5
i  i cV i формула Масона и Саксена
1 N 2N ... NN xN 2 1
x1 x2 xN 0  xj 
    i 1  1,065  Gij 

11  21 ...  N1 xi 
5 3R  j , j i
12  22 ...  N 2 ij  ij
... ... ... ... 2 4mij
1 N 2N ...  NN 0
Система уравнений Навье-Стокса
После подстановок получаем полную систему уравнений Навье-Стокса

  v   0
t
v
t

  vv   p   2S  0 
H p
t

t

  vH   q   2S v  0 
ci ~
t
 
  vci  J i  wi J i   Di ci
+ два уравнения состояния – h  h T , p  и термодинамическое p  p T ,  
калорическое
Граница пременимости Н-С
Ряд причин стимулировало дальнейшее развитие молекулярно-кинетической теории и
интегральных соотношений описания макросостояний.

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

Другое явление связано со структурой ударной волны.


Ширина ударных волн большой интенсивности имеет величину порядка длины свободного
пробега молекул газа (более точно — ~10 длин свободного пробега, и не может быть менее 2
длин свободного пробега; данный результат получен Чепменом в начале 1950-х).
Альтернативные подходы
Другой подход (менее строгий) можно построить исходя из времени релаксации
функции распределения к равновесному состоянию. В работе Бхатнагара, Гросса и
Крука (БГК) в 1954г было предложено кинетическое уравнение Больцмана в
приближении времени релаксации

f i f i Fi f i fi  fi 0
 vi  
t r mi vi 

Справедливости ради следует сослаться на работы Веландера, который


высказывал подобные идеи. Время релаксации совпадает по порядку со
временем длины свободного пробега молекул в газе.
На основании этого подхода возникло новое направление – кинетически-
согласованные разностные схемы, как отклонение системы уравнений от
системы уравнений Навье-Стокса. Вернее, в современной трактовке, система
уравнений Навье-Стокса является асимптотическим пределом, при времени
релаксации стремящегося к нулю.
Кинетически согласованные схемы
Идейная сторона этого подхода заключается в том, что классический подход
(уравнения Больцмана с интегралом столкновений) подразумевает мгновенное
пространственное осреднение. Так называемое пространственно-временное
осреднение учитывает добавки, связанные с релаксацией параметров по
времени. Эти модели получили развитие в работах Б. Н. Четверушкина и
популяризатора Елизаровой. В их трактовке уравнения должны иметь вид

jm  v     vv  p

t
 
  jm  0
v
t
   
  jm v  p   2S  0
H p
t t
  
   jm H  q   2S v  0 
Обратим внимание на то, что в отличие от системы уравнений Баретта, не происходит
перехода к более высокому порядку системы уравнений, требующих большего количества
граничных условий. Помимо этого появился свободный параметр – время релаксации
системы.
Методы Монте-Карло, R13, Lattice
Boltzmann Method и т.д.
Кинетический подход не единственный. В частности, существуют подходы, непосредственно
опирающиеся на интегралы столкновений. Если постулировать закономерности
взаимодействия молекул, то дальнейшие алгоритмические действия изложены в методе
Метод Монте-Карло (1970г австралиец Берд) – расчет траекторий пробных молекул. На базе
этого подхода функционирует пакет программ Simion для расчета траекторий движения
заряженных частиц.

Моментный подход к описанию турбулентности нашел воплощение в


РЕГУЛЯРИЗОВАННОЙ СИСТЕМЫ УРАВНЕНИЙ R13 (13 моментных уравнений Греда (Трэда),
для плоского случая 9). Тот немногочисленный круг задач, который решен в рамках
данной постановки, демонстрирует отсутствие зависимости от числа Кнудсена.

Другой альтернативный путь - группа методов мезомоделирования, к которым относятся


методы решетчатого газа Больцмана (Lattice Boltzmann Method).

Молекулярная динамика. Здесь ситуация имеет ограничение «снизу», т.е.


количество молекул должно быть больше чем 106-107 штук.
Асимптотические формы системы уравнений Навье-Стокса

Невязкая нетеплопроводная среда – система уравнений Эйлера


(газовая динамика) для 3D, 2D, и 1D постановки

Газовая динамика при М>1: Маршевая система уравнений для


сверхзвуковых течений для 3D, 2D, и 1D постановки.

Система уравнений Прандтля в форме пограничного слоя или узкого


канала

Тонкий ударный слой

Вязкий ударный слой

Параболизованная (параболическая) система уравнений

Система уравнений для гипозвуковых потоков М<<1

Для многих формулировок есть опция несжимаемая среда.


Классификация дифференциальных
уравнений с частными производными
 2u  2u  2u u u
a11 2  2a12  a22 2  b1  b2  cu  d
x xy y x y
a11  dy   2a12 dxdy  a22  dx   0
2 2

 dy dx  D  a122  a11a22

   ( x, y )    ( x, y )    ,    x, y   0

D>0 – гиперболический случай.  ( x, y )  C1  ( x , y )  C2

 2u
 младшие члены  0

       
 2u  2u
 2  младшие члены  0
 2

Гиперболический тип
 2u u  2
u
 b  c 2
d
t 2
t x 2

 2u  2
u
c 2
d
t 2
x 2

с – скорость распространения волны в данной среде, размерность этой величины


– м/с. Телеграфное уравнение описывает распространение электрических
сигналов в длинных электрических цепях или неустановившиеся течение
жидкости или газа в длинных трубах. Волновое уравнение описывает процессы
распространения звуковых, световых, электромагнитных волн. Так же уравнение
описывает упругие продольные колебания в стержнях или поперечные
колебания в струнах, пластинах и тонких мембранах. Течение жидкости или газа в
коротких трубах, когда трением о стенки можно пренебречь.
Гиперболический тип
 2u  2
u u( x,0)  f ( x )
c 2
 d2 2   x   u( x,0)
t 2
x  uu  c22  uu d
2 22
 g ( x)
 c x 2  d
2t
2 2 t
t x x  ct
  x  ct

 2u
0


u( x, t )  R1 ( )  R2 ( )  R1 ( x  ct )  R2 ( x  ct )

u( x,0)  f ( x )  R1  x   R2  x 

u ( x,0)  R R 
 g ( x)  с  1  2 
t    
Гиперболический тип
x  ct
R1 ( x  ct )  R2 ( x  ct ) 1
u( x, t )    g  x  dx
22 2с x ct
 u 2 u 2
c d
t 2
x 2
Параболический тип
D=0 – параболический случай

 2u
 младшие члены  0
 2

u  2u
а 2  d
t x

Уравнение теплопроводности описывает процесс диффузии. Уравнения


такого типа встречаются в теории горения, астрофизике, физике плазмы,
динамике популяций. В зависимости от выбора конкретного
рассматриваемого явления используют соответствующий набор в виде
функции и коэффициента переноса. В частности, для процесса
теплопроводности функция u – температура и a – коэффициент
температуропроводности. Процесс массопереноса описывается в терминах
массовая концентрация и коэффициент диффузии; задача фильтрации –
давление и коэффициент пьезопроводности; течение в магистральных трубах
– расходная составляющая скорости и коэффициент кинематической
вязкости. В независимости от решаемой задачи размерность коэффициента
переноса составляет м2/с.
Параболический тип
u  2u
а 2  d
t x
u( x,0)  f ( x ) u(0, t )  u(1, t )  0
 1

u ( x, t )   A n e  ak t sin  kx  A n  2  f  x  sin  kx  dx k  n
2

n 1 0

L2
T
a
Эллиптический тип ,
,

 ( x, y )  i ( x, y )  C1  ( x, y )  i ( x, y )  C2
,
.

 2u  2u  2u  2u
 2  младшие члены  0  2 d
 2
 x 2
y
К уравнениям Лапласа и Пуассона приводит рассмотрение стационарных задач
электростатики, гидродинамики, диффузии, распределение температуры.
 u v
v  0  0
x y
  2  2
v   x 2
 2 0
y
 x,0   sin   x    x,1  e sin   x 


  0, y   0   1, y   0
  x, y   e  y sin   x 
Уравнение первого порядка
a11  a12  a22  0
u u u u
b1  b2  cu  d b1  b2 d
x y x y
dy b2 du d du d

dx b1
 
dх b1 dy b2
u u
u 0 u  u0  x  ut  u0  x 
t x
dx u0 u0
u 0 t  1
dt x u0 x max
u
u u0 u0 u
  t  x
x x x x x 1  u0 t
x
Характеристические свойства
дифференциальных уравнений


 V  0
V  0   
V V  p   V
2
Пример Прандтля
2
d x dx
m 2  k  cx  0
dt dt
k
dx
 cx  0 x  A exp   ct k 
dt
d 2x
m 2 k
dx
0 x  A exp  kt / m 
dt dt

x  A  exp   ct k   exp   kt m   m  k / c
2
Характеристические свойства
дифференциальных уравнений
Рассмотрим N дифференциальных уравнений
для N зависимых переменных uj, j=1,2,...N
nj
 uj

j , k0 , k1 ,...kn
a ( k0 ,...kn )
i, j
x x ...x
k0 k1 kn
 fi  0
0 1 n

Уравнение поверхности Ф=Ф(х1 , х2 ,..., хn )


k0 k1 kn
        
 ( k0 ,...kn )
a
i, j     ....   0
n j  k0  k1 ... k N  x0   x1   xn 
Характеристические свойства дифференциальных уравнений
Характеристическое уравнение

a ( k 0 ,... k N )
i, j
n j  k 0  k 1  ...  k N
k0 k1
 0 1 .... n kn
0
n


i0
2
i 0
n

 i k xk   0
 
i0
x  ~


i0
2
i 1
а)

Характеристические свойства дифференциальных уравнений


 2u  2u  2u u u
a11 2  2a12  a22 2  f ( , , u, x1 , x2 )  0
x1 x1 x2 x2 x1 x2
2 2
           
a11    2a12      a22   0
 x1   x1   x2   x2 
2
 dx 2   dx 2 
a11    2a12    a 22  0
 dx1   dx1 
a  a11a 22  0
2
12

a  a11a 22  0
2
12
a  a11a 22  0
2
12
Характеристические свойства дифференциальных уравнений
u u u 2
u   2  f (u , t , x )
t x x

 (u j )
 0
t x j
 u i u i  p    u i u j ul  
  uj   g i        ij 
 t x j  x i x j   x j x i xl  
 h h  p p   T 
  u j   uj  k 
 t x j  t x j x j  x j 
Характеристические свойства дифференциальных уравнений
u j
0
x j
ui ui 1 p 2 ui
 uj  gi  
t x j  xi x jx j
T T T2
~
 uj a 
t x j x jx j
u j
0
x j
ui ui 1 p 1  ui
2
 uj  gi  
t x j Fr xi Re x jx j
T T 1 2T Ec ~
 uj   
t x j Re Pr x jx j Re
Характеристические свойства дифференциальных уравнений
u j ui ui 1 p 1 2 ui
0  uj  gi  
x j t x j Fr xi Re x jx j

u1 u2 p
1       
 2 2
 
0 Q     
x1 x2 Re  x1   x2  
 

Q 0 0
x1
3
 1      
2 2

0 Q  2      0
x2 Re  x1   x2  
Характеристические свойства дифференциальных уравнений
u1 u2 u3 T p
   2 
      
0 0 1  x1  
x1 x2 x3 Q  
Re    2    2 
  x    x  
Q 0 0 0  2   3  
x1

0 Q 0 0 0
x2      
2 2 4

     
0 0 Q 0  x
1 1  1   2  x 
  0
x3 
Pr Re3     2 
Q    x  
0 0 0 0   3 
Pr
Характеристические свойства дифференциальных уравнений

u j
0
x j
u i u i p
 uj  0
t x j x i
T T
 uj 0
t x j
Характеристические свойства дифференциальных уравнений

u1 u2 u3 T p
      
0 0 s  u1  u2  u3
x1 x2 x3 t x1 x2 x3

s 0 0 0
x1
  0
0 s 0 0
x2
 
          3
2 2 2
0 0 s 0
x3  x    x    x  s  0
 1 2 3 
0 0 0 s 0
Характеристические свойства дифференциальных уравнений
u1 u 2 u 3
  0
x1 x 2 x 3
u1 u1 u1 u1 p 1  2 u1
 u1  u2  u3  
t x1 x 2 x 3 x1 Re x 22
u3 u3 u3 u3 p 1 2 u3
 u1  u2  u3  
t x1 x2 x3 x3 Re x22
T T T T 1 2 T Ec
 u1  u2  u3   
t x1 x2 x3 Re Pr x 2 Re
2

u1e u1e u1e u1e p( x1 ,  , x 3 )


 u1e  u2e  u 3e 
t x1 x 2 x 3 x1
u 3e u 3e u 3e u 3e p( x1 ,  , x 3 )
 u1e  u2 e  u 3e 
t x1 x 2 x 3 x 3
Характеристические свойства дифференциальных уравнений

u1 u2 u3 T
2
1   
     Q  
 x 0  Re  x 2 
x2 x3
 1 
 Q 0 0 0  0 3
   1      1    2 
 0 0 Q 0 
       0
 0 0 0 Q Pr   Pr  x2    Re  x2  

Экспериментальные методы
Аналитические методы
Численные методы
Разрешимость по Адамару

Решение задачи существует (вопросы сингулярности)


Решение является единственным (бифуркации)
Решение непрерывно зависит от вспомогательных данных (начальных и граничных
условий)

Вычислительные подходы
• сеточные
• проекционные (метод взвешенных
невязок)
Метод Ритца (1909)
• Основные положения метода Ритца:
• Задача по нахождению функции u должна
быть сформулирована в вариационной
форме
• Решение должно быть представлено в виде
конечного линейного ряда вида:
u ( x )   0 ( x )   ci  i ( x )

Пробные элементы (полиномы или тригонометрические функции)


Метод Галеркина
• Метод Галёркина имеет несколько усовершенствованных вариантов:
• Метод Галёркина — Петрова — разложение решения производится
по одному базису, а ортогональность невязки требуется к другому.
• Метод Галёркина — Канторовича — позволяет свести уравнения в
частных производных к обыкновенным дифференциальным
(весовые функции
уравнениям.   совпадают с пробными функциями)
L u   f ( x)  0
iI
 ( x )    i i ( x )
i 1
 iI 
N ( x )  L   i  i ( x )   f ( x )
 i 1 
b

a N ( x)i ( x)  ( x)  0
Спектральные методы
• спектральные методы (особенность в том, что и
сеточные и весовые функции ортогональны, т.е.
ряды Фурье, полиномы Лежандра, полиномы
Чебышева)
• Псевдоспектральные (спектральный с
коллокациями)
• Конечного элемента (это гибрид – есть и сеточные
значения функций и пробные, т.е.
интерполяционные значения), другое название
проекционно-сеточный метод
Сеточные методы
• Конечные разности (аппроксимация
дифференциальных уравнений)
• Методы конечного объема (аппроксимация
интегральной формы дифференциальных
уравнений)
Определение сеточных фунций
f  f  x, y , t 
x i  ix, y j  jy, t  nt n

f n
ij  f x , y ,t 
i j
n

x i 1   i  1 x, y j 1   j  1 y , t n1
 nt  t 
f n1
i 1, j 1 
 f xi1 , yi1 , t n1
 f n
i 1, j 1  f i1, j 1

f  n 1 s 1
i, j 
 f n 1 s
i, j   f i ,sj
Ряд Тейлора
f
 lim

f x0  x, y0  f x0 , y0   
x x   0 x

 x  k   k f   x  k 1   k 1 f 
  
f x0  x, y0  f x0 , y0    k!  x k 

 k  1!  x k 1   , y
k 1
x0 , y0 0

  x  k   k f
   x    k 1 f
k 1

  
f x0  x, y0  f x0 , y0   k!  x 
k
 
 k  1!

 x k 1


k 1   x0 , y0    , y0

x 0    x0   x
Конечные разности
 x f ij  f i1 j  f ij  x f ij  f ij  f i1 j

 x f ij  f i1 j  f i1 j  x f ij  f i1/ 2 j  f i1/ 2 j


f i 1 / 2 j  0.5 f ij  f i 1 j 
 x f ij   x f ij   x f ij

 x2 f ij   x  x f ij    x  f i1/ 2 j  f i1/ 2 j   f i1, j  2 f i , j  f i1, j

 x2 f ij   x f ij   x f ij  f i 1, j  2 f i , j  f i 1, j
Разностные операторы
 f  f i 1 j  f ij  x f ij
   O x    O x   x1 f ij  O x 
1 1 1

 x  x x
  x0 , y 0

 f  f ij  f i 1 j  x f ij
   O x    O x   x1 f ij  O x 
1 1 1

 x  x x
  x0 , y 0
 f 
   x1 f ij  1    x1 f ij  O x   x f ij  O x 
1 
 x 
  x0 , y 0

 f  f i 1 j  f i 1 j  x f ij
   O x    O x   2x f ij  O x 
2 2 2

 x  2x 2x
  x0 , y 0

 2 f  f i 1 j  2 f ij  f i 1 j  2
x f ij

 x 2


  O  x  2
  O  x  2
 2
f
xx ij  O  x  2

  x0 , y 0  x 2
 x 2
Разностные операторы
 f  3 f ij  4 f i 1 j  f i  2 j
   O x   x2 f ij  O x 
2 2

 x  2x
  x0 , y 0
 f  3 f ij  4 f i 1 j  f i  2 j
   O x   x2 f ij  O x 
2 2

 x  2x
  x0 , y 0

 f 
   2x f ij  1    x2 f ij  O x   x2 f ij  O x 
1 2
 x 
  x0 , y 0
Разностные операторы
 f   f i  2 j  8 f i 1 j  8 f i 1 j  f i  2 j
   O x   4x f ij  O x 
4 4

 x  12x
  x0 , y 0

 2 f   f i  2 j  16 f i 1 j  30 f ij  16 f i 1 j  f i  2 j

 x 2


  O  x  4
 4
f
xx ij  O   x  4

  x0 , y 0 12 x 2
Разностные операторы
f i 1 j  2 f ij  f i 1 j f ij  2 f i 1 j  f i 2 j

 3 f  x 2 x 2 f i 1 j  3 f ij  3 f i 1 j  f i 2 j
   O x 
3
 
 x 3  x x 3
  x0 , y0

f i 2 j  2 f i 1 j  f ij f ij  2 f i 1 j  f i 2 j

 3 f  x 2 x 2 f i 2 j  2 f i 1 j  2 f i 1 j  f i 2 j
   O x 
3
 
 x 3  2x 2x 3
  x0 , y0

 x2 f i 1 j  x2 f ij  x2 f i1 j
2 
 4 f  x 2
x 2
x 2 f i2 j  4 f i1 j  6 f ij  4 f i 1 j  f i 2 j

 x 4


   O   x  2

  x0 , y0 x 2 x 4
Компактные разности
  x2  f   x f ij
1     O x 
4

 6  x 
 x0 y0 2x

 f 
 q
 x 
 
2x f 2x 3  3 f  x 2  2 q 
f i1 j  f i 1 j     O  x  5
 2 x q 

  O x  5
2 
1! x 3! x 3  6 x 
Компактные разности
1  1 2   2 f 
 
4
 f ij
2
x  2 1   x   2   O x
x0 y0 x  12   x 

 2 f 
 q
 x 2 
 
 x 2   2 f  x 4   4 f  
f i 1 j  2 f ij  f i 1 j  2      O x  6
 2!  x 2  4!  x 4 
    
f i 1 j  2 f ij  f i 1 j x 2   2 q 
q    O  x  4
x 2 12  x 2 
f i 1 j  2 f ij  f i 1 j
x 2
 qij 
1
12
 
qi 1 j  2qij  qi 1 j  O x 
4

f i1 j  2 f ij  f i 1 j
x 2

1
12
 
qi 1 j  10qij  qi 1 j  O x 
4
Уравнения с повторными производными

h h  cT
1)   q   Q q   T
t
T
c     T   Q
t

2) 
ci
t
 
  J i  w i J i   Di ci
ci
t

  Di ci  w i

3)   v   0 v  
t 1

 

   0 1  0.5   1 M 2  1 v
    0 
a  a0 1  0.5   1 M 2 0.5

M 
a
Модельная задача
T  2T 
a 2 0 a
c
t x

x   0,1

T  x,0  T 0  x 

T  0, t   T 1, t   0

 

T  x, t    Ak exp  a  k  t sin  kx 
2

k 1

1
Ak  2 T 0  x  sin  kx  dx
0
Аппроксимация, устойчивость, сходимость

T  2T
 a 2  Q T 
t x
T  2T   2 
LT  Q(T )  0 LT  a 2  a 2 T
t x  t x 
 
 ~
LQT  0 ~ Q
Q
T

 ~
 ~
L  Q h  Lh  Qh
T ( x, t )
 ~

L  Q h Th  0
Tn
h
Аппроксимация, устойчивость, сходимость

порядок аппроксимации
~
   
~
 h  Ph L  Q T  L  Q h Th
 h  Ch N
  L  Q T  I  L  Q  T
~ ~
h h h h

устойчивость

 ~ 1

LQ h  M  

сходимость

lim Ph T  x, t   Thn
 hN
h0

теорема Лакса теорема Лакса-Вендроффа


Явная схема первого порядка точности по
времени (1900)

ВВЦП

Ti n1  Ti n Ti n1  2Ti n  Ti n1


a 0
t x 2

t
Ti n 1
 rT  1  2r Ti  rT
n
i 1
n n
i 1
ra
x 2

O t   O x 
1 2
Ожидаемый порядок аппроксимации
ВВЦП. Разложение в ряд Тейлора
Ti n1  Ti n Ti n1  2Ti n  Tin1
a 
t x 2
 t  k   kT 
Ti n    Ti n  O t 
k 1

k 1 k!  t  k
t0 , x0

t

  x  k   kT   x  k   kT 
Ti    2Ti  Ti    O x 
n n n k 1

k!  x k  k!  x k 
k 1   t0 , x0 k 1
t0 , x0
a 
x 2

 T   t    T   t    T             6T  
2 2 4
2 3
1  2
T x  4
T x
 O t   2a   O x   0
6
  
3
       
 t  2!  t 2 
3!  t 3   2   x 2 
4!   x 4 
6!   x 6  
           
ВВЦП.
 
Разложение в ряд Тейлора
 T    T
2

 a 0 Ti n1  Ti n Ti n1  2Ti n  Ti n1


 t   x
2  a 0
 t x 2

 T     2
T    t    2
T    t  2
  3
T     x  2
  4
T    x  4
  6T  
 O  t   2 a   O  x 
6
 
  a 2         3
    
 t   2   3   4  6 
 x  2!  t  3!  t   4!  x  6!  x  

T  2T  a 2 t ax 2   4T  a 3 t 2 ax 4   6T
 a 2     4      6  O  t  3
 O  x  6

t x  2 12  x  6 360  x

O t   O x 
1 2

x 2 1
t  r O t   O x 
2 4

6a 6
согласованность дифференциальной и разностной задачи

1
Ti n 1  rTi n1  1  2r Ti n  rTi n1  HTi n
100-0-100
r 0-100-0
2
ВВЦП. Фурье анализ
T  2T А – аналитическое решение задачи;
a 2 0 D – точное решение разностного уравнения;
t x
N – фактическое решение на ЭВМ с конечным
представлением мантиссы числа
Ti n1  Ti n Ti n1  2Ti n  Ti n1
a 0
t x 2

А-D – погрешность аппроксимации; (real*4) -> 6


ε=N-D – погрешность округления
(real*8) -> 11

 in1   in  in1  2 in   in1


a 0
t x 2
t
ra 2
 in1   in  r in1  2r in  r in1 x

    x, t 
M
  x, t    bm (t ) exp(ik m x) km  m L  Mx
m 1 L
ВВЦП. Фурье анализ
 m  x, t   exp(t ) exp(ik m x )

  

T  x, t    Ak exp  a k  2
t sin kx 
 k 1 

 
exp t   1  r exp  ik m x  2r  r exp  ik m x  
exp i   cos   i sin  
exp i   exp  i   2 cos 
1  cos   2 sin 2   2
 in 1
g  n  exp t   1  2r  cos   1  1  4r sin 2   2 
i
Если 1  4r sin 2   2  0
то 1  4r sin 2   2   1  0 r0
1  4r sin 2   2   1 Если 1  4r sin 2   2  0
1
то 4r sin 2
  2  1  1  0 r
2
Коэффициент перехода для простой явной схемы.—о— простой явный
метод; точное решение.

G  1  2r  cos   1
Зона зависимости для простой явной схемы.
Обобщение на случаи 2-х и 3-х
мерных постановок. Явная схема
первого порядка точности.
 T n
 2T n
 T n
T n
 2T n
 T n

 Tij  ta 
i  1 j ij i  1 j ij 1 ij ij 1
Tijn 1 n

  x 2
 y 2 
 
 1 1  1
  2 at 
 x 2
 y  2
 

 T n
 2T n
 T n
T n
 2T n
 T n
T n
 2T n
 T n

 Tijk  ta 
i  1 jk ijk i  1 jk ij 1k ijk ij 1k ijk 1 ijk ijk 1
Tijkn 1 n
 
  x 2
 y 2
 z 2 
 
 1 1 1 
   at  1
 x 2 y 2 z 2  2
 
Схема Ричардсона (1910)
n 1 n 1
Ti  Ti T  2Ti  T
n n n
a i 1 i 1
0
2t x 2

n 1 n 1
Ti  Ti  2rT  4rTi  2rT
n
i 1
n n
i 1
t
ra 2 O t   O x 
2 2

x
 i
n 2
   2 r
i
n
 n 1
i 1  2 r i
n 1
 r n 1
i 1 
 m  x, t   exp(t ) exp(ik m x)
Схема Ричардсона (1910)
exp 2t   1 
   
 2r exp t  exp  ik m x  2 exp t   exp t  exp  ik m x 

g  8rg sin   2  1  0
2 2

g1, 2  4r sin   2  1  16r sin   2


2 2 4

r  1 1  16r sin   2   4 r sin   2


2 4 2

r 1 1  16r sin   2   1  8r sin   2


2 4 2 4
Неявная схема Лаасонена (1949)
n 1 n 1 n 1 n 1
Ti  Ti T n
 2Ti  T
a i 1 i 1
0
t x 2

t
rT n 1
i 1  1  2r Ti n 1
 rT n 1
i 1  Ti n ra 2
x

O t   O x 
1 2
Неявная схема Лаасонена (1949)
Ti n1  Ti n Ti n11  2Ti n1  Tin11
a 
t x 2

   t  k
  k
T
Ti  Ti  
n1 n1 


k 
 O  t  k 1

k 1 k !   t  t ,x
 0 0

t
  x  k   k T   x  k   kT 
Ti n1    2Ti n1  Ti n1    O x 
k 1

k!  x k  k!  x k 
k 1   t0 , x0 k 1
t0 , x0
a 
x 2

 T   t  

 2
T 

  t  

 3
T
2

  O t  3 
 
 t  2!  t  3!  t 3 
2

 1   2T   x  2   4T   x  4   6T  
 2a  2       O x    0
6
 2  x  4!  x 4  6!  x 6  
       
Неявная схема Лаасонена (1949)
 T     2
T   t    2
T   t  2
  3
T    x  2
  4
T   x  4
  6T  
 O t   2a   O x 
6
 
  a 2         3
    
  t    x 2!   t 2 
3!   t 3   4!   x 4 
6!   x 6  
          

T  2T  a 2 t ax 2   4T  a 3 t 2 ax 4   6T
 6  O t   O x 
3 6
 a 2     4   
t x  2 12  x  6 360  x

rTi n11  1  2r Ti n1  rTi n11  Ti n


r in11  1  2r  in 1  r in11   in
 m  x, t   exp(t ) exp(ik m x )
 
r exp   t  exp  ik m x  1  2 r  exp   t   r exp   t  exp  ik m x  1  
 in 1 1
g  n  expt  g
i 1  2r 1  cos  
Метод Гаусса
rT n 1
i 1  1  2r Ti n 1
 rT n 1
i 1  Ti n

LTi n 1
 Ti n Ti n 1  L1Ti n

 l11 l12 0 0 0 0 0 
 
 l 21 l 22 l 21 0 0 0 0 
 
0 l32 l33 l34 0 0 0 
L 0 0 lii 1 lii lii 1 0 0 
 
0 0 0 l N  2, N 3 l N  2, N  2 l N  2, N 1 0 
0 0 0 0 l N 1, N  2 l N 1, N 1 l N 1, N 
 
0 0 0 0 0 l N , N 1 l N , N 

Прогонка
n 1 n 1 n 1
ai T
i 1  bi Ti  ci T i 1  fi n
f i  Ti
n n

 b1 c1 0 0 0 0 0  f1
 
 a2 b2 c2 0 0 0 0  f2
 
0 a3 b3 c3 0 0 0  f3
0 0 ai bi ci 0 0  fi
 
0 0 0 a N 2 bN  2 cN 2 0  f N  21
0 0 0 0 a N 1 bN 1 c N 1  f N 1
 
0 0 0 0 0 aN bN  fN
Прогонка
b1 y1  c1 y 2  f1 i 1
ai y i 1  bi y i  ci y i 1  f i i  2..im  1
aim yim 1  bim yim  f im i  im

~ ~ ~ ~
y1  c1 y 2  f1 c~1  c1 b1 f1  f1 b1 b1  1

~ ~
bi  bi  ai ci 1 f i  f i  ai f i 1
~ ~ ~ ~ ~
bi  1
yi  ci yi 1  f i ci  ci bi f i  f i bi
~ ~ ~
i  2..im y im  f im yi  f i  ci yi 1
Прогонка
subroutine gauss3(a, b, c, f, nsize)
implicit none
integer :: nsize, i
real(8) :: a(nsize), b(nsize), c(nsize), f(nsize)
c(1)=c(1)/b(1)
f(1)=f(1)/b(1)
b(1)=1.0d0
do i=2,nsize
b(i)=b(i)-a(i)*c(i-1)
f(i)=f(i)-a(i)*f(i-1)
f(i)=f(i)/b(i)
c(i)=c(i)/b(i)
b(i)=1.0d0
end do
do i=nsize-1,1,-1
f(i)=f(i)-c(i)*f(i+1)
end do
end subroutine gauss3
Двумерная задача
Tijn 1  Tijn Ti n11j  2Tijn 1  Ti n11j Tijn11  2Tijn 1  Tijn11
a a 0
t x 2
y 2

for ( i = 0; i < M; i ++ )
  for ( j = 0; j < N; j ++ )
     B[i*N+j] = A[i][j];

T n 1
 2T n 1
T n 1 Tijn11  2Tijn 1  Tijn11
L T n 1

i 1 j ij i 1 j
L yyTijn 1 
xx ij
x 2 y 2
Tijn 1  taLxxTijn 1  taL yy Tijn 1  Tijn
1  taL xx  taL yy T  n 1
ij T n
ij

1  taL 1  taL T


xx yy
n 1
ij T n
ij
1  taL xx  taL yy T  n 1
ij  
 1  taLxx 1  taL yy 
1  taL xx  taL yy  t 2 Lxx L yy 
1  taL 1  taL T
xx yy
n 1
ij T n
ij

1  taL T  T xx
*
ij
n
ij

1  taL T  T yy ij
n 1 *
ij
Схема расщепления
n 1 / 3
T T n
n 1 / 3
 aLxxT 0
t
T n 2 / 3  T n 1 / 3
 aLyyT n 2 / 3  0
t
T n 1  T n 2 / 3
 aLzzT n 1  0
t
Комбинированная схема А
Ti n 1  Ti n  Ti n11  2Ti n 1  Ti n11   Ti n1  2Ti n  Ti n1 
  a    1    a 0
t  x 2
  x 2

Θ=0 – явная схема ВВЦП
Θ=1 – простая неявная схема Лаасонена (1949)

ai Ti n11  bi Ti n 1  ci Ti n11  f i n
a a
  ai  ci 
ci   2 1
ai   2 bi 
x x t
Ti n Ti n1  2Ti n  Ti n1
fi   1    a
t x 2
Комбинированная схема А
x f t f x 2  2 f xt  2 f t 2  2 f
  
f x0  x, t0  t  f x0 , t0   
1! x 1! t

2! x 2

1!1! xt

2! t 2

T  2T  1 2 ax 2   4T
 a 2     a t   4 
t x  2 12  x
 2 1 3 2 1  1 2 ax 4
  6
T
      a t     a t x  2
 6  O  t  3
 O   x  6

 3  6  2  360  x
1 O t   O x 
2 2

2 – схема Кранка-Никольсона. (1947)
1  x  2
O t   O x 
2 4
 
2 12a t 
1  x 
2  x  2 O t   O x 
2 6

  и  20
2 12a t  a t 
t 1
ra 2 0r 
x 2  4
Схема Кранка-Никольсона(1947)
Ti n 1 / 2  Ti n Ti n11 / 2  2Ti n 1 / 2  Ti n11 / 2
a 0
t / 2 x 2
Двухшаговый метод
Кранка-Никольсона
Ti n 1  Ti n 1 / 2 Ti n11  2Ti n 1  Ti n11 (предиктор-корректор)
a 0
t / 2 x 2

Ti n 1 / 2  Ti n Ti n1  2Ti n  Ti n1


a 0
O t   O x 
2 2
t / 2 x 2

Ti n 1  Ti n 1 / 2 Ti n11  2Ti n 1  Ti n11


a 0
t / 2 x 2
Комбинированный метод Б (1967)
Ti n 1  Ti n Ti n  Ti n 1 Ti n11  2Ti n 1  Ti n11
1     a 0
t t x 2

1
O t   O x 
2 2
Схема Рихтмайера и Мортона при 
2
3Ti n 1  4Ti n  Ti n 1
2t

 x  2

O t   O x 
1 2 4
 
2 12a  t 
Схема Дюфорта-Франкела (1953)
Ti n 1  Ti n 1
a
Ti n1  2Ti n  Ti n1
0 2Ti n  Ti n 1  Ti n 1 
2t x 2

Ti n1  Ti n1
a
 
Ti n1  Ti n1  Ti n1  Tin1
0
2t x 2

 2r T  T   1  2r  T t
1  2r Ti n 1 n
i 1
n
i 1 i
n 1 ra
x 2

1  2r  g 2  4rg cos    1  2r   0

2r cos    4r 2 cos 2     1  2r 1  2r  2r cos    1  4r 2 sin 2   


g1, 2  
1  2r 1  2r
r>0 При r>0.5
Схема Дюфорта-Франкела (1953)

O t   O x 
2 2
Ожидаемый порядок аппроксимации
Схема Дюфорта-Франкела (1953)
 t  k   kT    t  k   kT 
Ti n    Ti n    O t 
k 1

k 1 k!  t k  k 1 k!  t k 
  t0 , x0
t0 , x0

2t

  x  k   kT   x  k   k T 
Ti n    Ti n    O x 
k 1

k!  x k  k!  x k 
k 1   t0 , x0 k 1
t0 , x0
a
x 2

  t  k   kT   t  k   kT 
Ti n    Ti n    O t 
k 1

k!  t k  k!  t k 
k 1   t0 , x0 k 1
t0 , x0
a 0
x 2
Схема Дюфорта-Франкела (1953)

 T   t  2   3T   t  4   5T 
     O  t  6

 t  3!  t 3  5!  t 5 

 1   2T   x  2   4T   x  4   6T  

 2a  2        O x  6
 2  x  4!  x 
4
6!  x 
6 
       

 1   2T   t  2  t  4
  4T   t  6   6T  
 2a  2       
 2  t   x  2 4! x  2  x 4  6! x  2  x 6 
 O  x  6 0

       
Схема Дюфорта-Франкела (1953)
 T     2
T    t  2
  3
T    t  4
  5
T    x  2
  4
T   x  4
  6T  
 O  t   2 a   O x 
6
 
  a 2         6
    
 t   x  
3!  t  3  
5!  t  5    4   6  
 4!  x  6!  x  

 t    2T   t    4T   t    6T 
2 4 6

 
6
a 2  2 
 2 a 2  4 
 2 a 2  6 
 O x
 x   t 4!  x   t  6! x   t 
 t 
t  0 x  0  const
 x 

 T    T    T 
2 2
 t  2   3T    x  2   4T  
    2   a 2     O  t   2 a   4   O  x  
4 4
  3   4!  x  
 t   t   x  3!  t     
 t  2  t 
2
 a O  t   O  x   O  
2 2

 x  2  x 
Схема Алена-Чена (1955)
Ti n1  Ti n Tin1  2Ti n1  Tin1
a 0
t x 2

t
1  2r Ti n 1
 rT  Ti  rT
n
i 1
n n
i 1
ra 2
x
1  2r cos 
G
1  2r
 T     2
T    t  1
  2T   t  2   3T  
  O t   2a
 x  2
  4
T   x  4
  6T  
  O x  6 
  a 2         
4
  t 2   t 3 
 t   x  2! 3!  4!  x 4  6!  x 6  
         
 t    T   t  2   2T   t  3   3T 
 O t 
4
 2a  2a  2a
 x   t 
2 
2! x   t 
2 2
3! x   x 
2 3

 T    2T    2T   t 
1
  2T    x  2   4T  
1 1     2  2   a 2       O t   2a
 t 2 
2

 4!  x 4 
  O x  4 

 t   t   x  2!      
Явный метод переменных направлений
Саульева (1957)
Ti n 1 / 2  Ti n Ti n11 / 2  Ti n 1 / 2  Ti n  Ti n1
a 0
t / 2 x 2

Ti n 1  Ti n 1 / 2 Ti n11 / 2  Ti n 1 / 2  Ti n 1  Ti n11
a 0
t / 2 x 2

1 n 1 n
T n 1/2
T n 1/2
  Ti  Ti 1    Ti 1  Ti n11 
n 1
Ti n 1  Ti n i 1 i 1
2 2
a 0
t x 2

2
 t 
O  t   O  x   O  
2 2

 x 
Явный метод переменных направлений
Саульева (1957)

a  1 a  n1/ 2  1 a  n a
 T n1/ 2
   T    T  T n

2x 2
i 1  t 2x 2  i  t 2x 2  i 2x 2 i1
   
a 1 a  n1  1 a  n1/ 2 a
 T n1
   T    T  T n 1/ 2

2x 2 i 1  2  i  2  i 2 i 1
 t 2x   t 2x  2x
Схема типа «классика»
Ti n 1  Ti n Ti n1  2Ti n  Ti n1
n+i= 2m a 0
t x 2

Ti n 1  Ti n Ti n11  2Ti n 1  Ti n11


n+i= 2m+1 a 0
t x 2

Ti n1  Ti n Tin1  2Ti n  Ti n1


a 0
t x 2

Ti n2  Ti n1 Ti n12  2Ti n2  Tin12


a 0
t x 2

O  t   O  x 
2 2
Многомерный случай
Схема Дюфорта-Франкела

 n1  1 1 1 1  Ti n1 jk  Ti n1 jk Tijn1k  Tijn1k Tijkn 1  Tijkn 1 


T   2  2  2    
ijk  
 2a x y  z x 2
y 2
z 2 
n 1    
Tijk 
1  1 1 1 
  2 2

2a  x 2
y z 

Схема Алена-Чена

 Tijkn Tin1 jk  Tin1 jk Tijn1k  Tijn1k Tijkn 1  Tijkn 1 


    
 a  x 2
 y 2
 z 2 
Tijkn1   
1  1 1 1 
 2 2  2  2 
a  x y z 
2D
Неявный метод переменных направлений для двухмерного случая Дугласа Гана
(1955)

Tijn1/ 2  Tijn Tin11j / 2  2Tijn1/ 2  Ti n11j / 2 Tijn1  2Tijn  Tijn1


a a 0
t 2 x 2
y 2

Tijn1  Tijn1/ 2 Tin11j / 2  2Tijn1/ 2  Ti n11j / 2 Tijn11  2Tijn1  Tijn11


a a 0
t 2 x 2
y 2

O t   O x   O y 
2 2 2

метод продольно-поперечной прогонки


3D
Неявный метод переменных направлений для трехмерного случая предложен
Дугласом и Ганом (1964)

T n 1 / 3  T n a  x2 n 1 / 3
t 3
 2
x 2
 T n
 a 2 n
y
a 2 n
 T  2  yT  2 z T  0
z
T n  2 / 3  T n 1 / 3 a   2
 T n 1 / 3  T n   2 y T n  2 / 3  T n   2  z2T n  0
2
a a
 2 x
t 3 x 2 y 2 z
T n 1  T n  2 / 3 a  x2 n 1 / 3  2
a  z2 n 1
t 3
 2
x 2
 T T   2
n a
y 2
y
 T n2 / 3
T   2
n

z 2
 T Tn  0

O t   O x   O y   O z 
2 2 2 2
2D – 3D
метод стабилизирующей поправки

T n 1 / 3  T n a 2 n 1 / 3 a 2 n a 2 n
 2 xT  2  yT  2 z T  0
t x y z
T n  2 / 3  T n 1 / 3
 2  y T Tn  0
a 2 n2 / 3
t y

T n 1  T n  2 / 3
 2  z T  T n   0
a 2 n 1
t z

O t   O x   O y   O z 
2 2 2 2
2D – 3D
Метод дробных шагов Яненко (1959)

T n 1 / 3  T n a 2 n 1 / 3
 2 xT 0
t x
T n  2 / 3  T n 1 / 3 a 2 n2 / 3
 2  yT 0
t y
T n 1  T n  2 / 3 a 2 n 1
 2 z T  0
t z
O t   O x   O y   O z 
1 2 2 2
2D – 3D
T n 1 / 3  T n
t

a 1 2 n 1 / 3
 2 x T
x 2
T   0
n

T n  2 / 3  T n 1 / 3
 2  y T  T n 1 / 3   0
a 1 2 n2 / 3
t y 2

T n 1  T n  2 / 3
 2  z T  T n  2 / 3   0
a 1 2 n 1
t z 2

O t   O x   O y   O z 
2 2 2 2
Явный метод переменных направлений для двумерного случая

Tijn1/ 2  Tijn n 1/ 2 n 1/ 2


1 Ti 1 j  Tij  Tijn  Ti n1 j 1 Tijn11/ 2  Tijn1/ 2  Tijn  Tijn1
 a  a 0
t 2 x 2
2 y 2

Tijn1  Tijn1/ 2 n1/ 2 n1/ 2


1 Ti1 j  Tij  Tijn1  Tin11j 1 Tijn11/ 2  Tijn1/ 2  Tijn1  Tijn11
 a  a 0
t 2 x 2
2 y 2
Явный метод переменных направлений для трехмерного случая

Tijkn1/2 Tijkn 1 Tin11jk/2 Tijkn1/2 Tijkn Tin1jk 1 Tijn11k/2 Tijkn1/2 Tijkn Tijn1k 1 Tijkn11/2 Tijkn1/2 Tijkn Tijkn1
 a  a  a 0
t 2 x 2
2 y 2
2 z 2

Tijkn1 Tijkn1/2 1 Tin11jk/2 Tijkn1/2 Tijkn1 Tin11jk 1 Tijn11k/2 Tijkn1/2 Tijkn1 Tijn11k 1 Tijkn11/2 Tijkn1/2 Tijkn1 Tijkn11
 a  a  a 0
t 2 x 2
2 y 2
2 z 2
Уравнение конвективного переноса
T
u
T
0 u  u ( x, t )   Au 
0
t x x
A  A( x, t )  0
u
u
u
0 

u  u 2 2
0

t x t x
ВВЦП
Ti n 1  Ti n T n
 T n
 uin i 1 i 1  0
t 2 x
 t  k   kT 
Ti n    Ti n  O t 
k 1

k 1 k!  t k 
t0 , x0

t

 x  k   kT    x  k   kT 
Ti n    Ti n    O x 
k 1

k 1 k!  x k  k 1 k!  x k 
  t0 , x0
t0 , x0
u 
2x

 T   t    T   t    T     T   x  2   3T   x  4   5T  
2 2 3

 O t   u   O x   0
6
  
3
       
 t  2!  t 2 
3!  t 3    x  3!   x 3 
5!   x 5  
          
ВВЦП
 T     T  
  t    2
T   t  2
  3
T     x  2
  3
T   x  4
  5T  
6 
      O t   u       O x 
3
   u 

 2 

 3   3 

 5 
  t    x  2!  t 3!  t  3!  x 5!  x 
           

 T    T    t    2T   t  2   3T    x  2   3T   x  4   5T  
   u   u 2    u 3    O t   u
3        O x 
6 

 t   x   2!  x 2 
3!  x 3   3!   x 3 
5!   x 5  
           
ВВЦП. Фурье анализ
exp t   1
u
   
exp ik m x  exp  ik m x
0
t 2x

u exp i   exp  i 
g 1 0
x t 2

2i sin   exp i   exp  i 

u ut
g  1  iCu sin  Cu  
x t x
x
t  Cu
u
Линейное уравнение Бюргерса
T T  2T
u a 2 0
t x x
схема ВВЦП для уравнения конвекции-диффузии

Ti n1  Ti n Ti n1  Tin1 Tin1  2Ti n  Ti n1


u a 0
t 2x x 2

Фурье анализ устойчивости схемы


at
r 2
exp i   exp  i 
g  1  Cu  r  exp i   2  exp  i    0 x
2
g  1  iCu sin   2r  cos   1  0
ut
Cu 
x

g  1  2r  2r cos   iCu sin  Сu<1, и 2r<1.

Cu 2  2r
 t  k   kT 
Ti n    Ti n  O t 
k 1

k 1 k!  t k 
t0 , x0

t
 x  k   kT    x  k   kT 
Ti n    Ti n    O x 
k 1

k 1 k!  x k  k 1 k!  x k 
  t0 , x0
t0 , x0
u 
2x
  x  k   kT   x  k   kT 
Ti n    2Ti n  Ti n    O x 
k 1

k!  x k  k!  x k 
k 1   t0 , x0 k 1
t0 , x0
a 0
x 2

 T     T    2
T    t    2
T  u  x  2
 1  T 
  3

  3r  Cu   3   O x 
3
   u  a    u 2   2

 t   x   x   2    2  
 2!  x  3  2  x  
 T     T    2
T    t    2
T  u  x  2
 1   3T  
  3r  Cu   3   O x 
3
   u   a  u  2 
2 2

 t   x   x   2   2!   
  x  3  2  x  

u 2 t
a
2
u 2 t at u 2 t 2
a  2r  Cu 2
2 x 2
2x 2

ux ux ut Rex Cu  2


Re x  2 0
a a x
 2a x 2 
2Cu  Re x Cu  2
2
t  min  2 ,
 u 2a 

 
a физическая вязкость
u 2 t
 схемная вязкость
2
u 2 t эффективная вязкость
a
2

Ti n1
 Ti T T
n n n
T  2Ti  T
n n n  u 2 t  Tin1  2Ti n  Tin1
u i 1 i 1
a i 1 i 1
 
t 2x x 2  2  x 2
 
Схема Лакса (1954)

Ti n1  0.5 Ti n1  Ti n1
u

Ti n1  Ti n1
0
t 2x

Ti n1

 T n
i 1  Tin1 
 Cu
Ti n1  Ti n1 1  Cu n 1  Cu n
 Ti 1  Ti 1
2 2 2 2

g  cos   iCu sin  Сu<1

 t  k   k T 
1  n  x  k
  kT    x  k
  kT  
  O x  k 1   O t  k 1
Ti n    Ti      Ti n   
k 1 k!  t k  2  k 1 k!  x 

k
 k 1 k!  x k 
 


t

 x  k   k T    x  k   kT 
Ti n    Ti n    O x 
k 1

k 1 k!  x k  k 1 k!  x k 
  t0 , x0
t0 , x0
u 0
2x
Схема Лакса (1954)

 T   t    2
T    t  2
  3
T    x  2
  2
T   x  4
  4
T  O   x  6

     O t        
3
    
 t  2!  t 
2
3!  t  3   t  2!  x   t  4!  x 
2 4
 t  
     
   T   x  2   3T   x  4   5T  

u        O x   0
6
  x  3!  x 
3
5!  x 
5 
       

 T     T 


   x  2


 2
T 

  x  4


 4
T 

O  x  6


   u
 t   x    t  2!  x   t  4!  x   t  
2 4

  t    2T   t  2   3T    x  2
  3
T   x  4
  5
T  
       O t   u
3
     O x   
6
 2!  t 2  3!  t 3   3!  x 3  5!  x 5  
          
Схема Лакса (1954)
 T    T  u t  1
2
  2T    t  2 3   3T    x  2   3T   x  4   5T   
   u   1 2    u  3   u    
 t   x            5!  x   

 x    x   3!  x 
2 3 5
2  Cu 3!

 T    T  u x  1   2T    t  2 3   3T    x  2   3T   x  4   5T   
   u   Cu  2    u  3   u    
 t   x            5!  x   

 x    x   3!  x 
3 5
2  Cu 3!

  x  2 
O t   O 
  t  
 
Схема Лакса (1954)
Tan  Tin1 Tin1  Tin1

a  xi1 xi1  xi1

a  xi  ut  xi  Cux
a  xi 1 x  Cux
Ti n 1  T (a, t n )  Ti n1  (Ti n1  Ti n1 )  Ti n1  (Ti n1  Ti n1 )
xi 1  xi 1 2x

1  Cu n 1  Cu n
Ti n (a, t n )  Ti 1  Ti 1
2 2


Ti n1  0.5 Tin1  Tin1
u

Tin1  Ti n1
0
t 2x
схема Куранта–Изаксона–Риса (КИР)
Ti n1  Ti n u  u Ti n  Ti n1 u  u Ti n1  Ti n
  0
t 2 x 2 x
a  xi  ut  xi  Cux
Ti n  Tan Ti n  Tin1
u0 
xi  a xi  xi1
xi  a Cux
Ti n 1  T (a, t n )  Ti n  (Ti n  Ti n1 )  Ti n  (Ti n  Ti n1 )  Ti n  Cu (Ti n  Ti n1 )
xi  xi 1 xi  xi 1

Tan  Ti n Ti n1  Ti n
u0 
a  xi xi 1  xi
a  xi  Cux
Ti n 1  T (a, t n )  Ti n  (Ti n1  Ti n )  Ti n  (Ti n1  Ti n )  Ti n  Cu (Ti n1  Ti n )
xi 1  xi xi 1  xi

Ti n1  Ti n Ti n  Ti n1 Ti n1  Ti n Tin1  Ti n


u0 u 0 u0 u 0
t x t x
схема Куранта–Изаксона–Риса (КИР)
 t  k   kT    x  k   kT 
Ti n    Ti n  O t  Ti n  Ti n    O x 
k 1 k 1

k!  t k  k!  x k
k 1
t0 , x0
k 1   t0 , x0
u 0
t x

 T   t    T   t    T     T   x    2T   x  2   3T  
2 2 3

 O t   u    O x   0
3
  
3
   

 t  2!  t   
3!  t       x 2   3  
  x  3!  x 
2 3
2!   

 T    T   u  x  u  t    T   u  x  u 3  t    3T 
2 2 2 2

   u         O t  3  O x  3  0
 t   x   2! 2!  x   3!  x 
2 3
3!

 T    T  ux   2T  ux 2   3T 
   u   1  Cu   2   2 3

Cu  1  3   O t   O x   0
3

 t   x  2  x 
  6  x 
 
схема Куранта–Изаксона–Риса (КИР)
Ti n1  Ti n u  u Ti n  Ti n1 u  u Ti n1  Ti n Ti n1  2Ti n  Tin1
  a 0
t 2 x 2 x x 2

 T    T     T  ux   3T 
2 2
ux
   u  a   1  Cu    Cu 2
 1 
 
  O t  3  O x  3  0
 t   x    x   x 3 
2
2 6  

 T    T     2T  ux 2   T
3
u x
   u  a   1  Cu      Cu 2

 1     O t  3  O x  3  0
 t   x   2  2
 x  6  x 3 
 

Ti n1  Ti n Ti n1  Tin1 Tin1  2Ti n  Tin1 Tin1  2Ti n  Tin1


u u a 0
t 2x 2x x 2
Ti n1  Ti n Tin1  Tin1  u x  Tin1  2Ti n  Ti n1
u   a  
 0
t 2x  2  x 2

 x x 2 
t  min , 
 u 2a 
 
направленные аппроксимации 2-го и 3-го порядка точности

Ti n1  Ti n u  u  3Ti n  4Tin1  Ti n2  u  u  3Ti n  4Tin1  Ti n2 


        0
t 2  2x  2  2x 

Ti n1  Ti n  Tin1  Tin1 Tin1  3Ti n  3Ti n1  Tin2 


 u    0 u>0
t  2x 6x 
Ti n1  Ti n  Tin1  Tin1 Tin2  3Tin1  3Ti n  Tin1 
 u    0 u<0
t  2x 6x 
 T    T    t    2T   t  2   3T    x  2   3T   x  4   5T  
   u  u 2    u 3    O t   u
3        O x 
6 

 t   x   2!  x 2 
3!  x 3   3!   x 3 
5!   x 5  
           
f i1 j  2 f ij  f i 1 j f ij  2 f i 1 j  f i 2 j

 3 f  x 2 x 2 f i1 j  3 f ij  3 f i 1 j  f i 2 j
   O x 
3
 
 x 3  x x 3
  x0 , y0
Схема «чехарда»
Ti n1  Ti n1 Ti n1  Ti n1
u 0
2 t 2x
Ti n1  T (a, t n )
Ti n1 n
T (b, t ) Ti n1

a  xi  ut  xi  Cux (точно)

b  xi  ut  xi  Cux (приближенно)

Ti1  k1 x 2  k2 x  k3

T  k1 x  k2 x  k3
2 Tb  k1 Cu 2 x 2  k2 Cux  k3
Ti1  k1 x 2  k2 x  k3
Ti1  Ti 1
Ta  k1 Cu 2 x 2  k 2 Cux  k3  Tb  2k 2 Cux  Tb  2 Cux
2x
Ti n1  T (a, t n )  CuTin1  T (b, t n )  CuTin1
Ti n1  Ti n1 Ti n1  Tin1
u 0
T (b, t n )  Ti n1 t x
Схема «Кабаре» (Головизин Самарский)
Ti n1  T (a, t n )  1  2Cu Tin1  1  2Cu Ti n  T (b, t n )

T (b, t n )  Tin11

Ti n1  T (a, t n )  1  2Cu Tin1  1  2Cu Ti n  Tin11

1  Ti n1  Ti n Tin1  Ti n11  Ti n  Tin1


    u 0
2  t t  x

Важные частные случай. При Cu=1 (на границе устойчивости) и


Cu=0.5 схема обеспечивает точное решение.
Схема Дюффорта-Франкела (схема типа
ромб)

Ti n1  Ti n1 Ti n1  Ti n1 Ti n1  Ti n1  Ti n1  Ti n1


u a 0
2 t 2x x 2

x
t 
c
 t  
2
 2
T   T    T    2
T
a     u   a 0
 x   t   t   x   x 
2 2

2
Ti n1  Ti n1 Ti n1  Ti n1 Ti n1  Ti n1  Ti n1  Ti n1 n1
 t  Ti  2Ti  Ti
n n 1
u a  a 
2t 2 x x 2
 x  t 2
Двухшаговая схема Аллена-Чена
~ n1 ~ n1
Ti  Ti n
Ti 1  Ti1
n n
Ti1  2Ti  Tin1
n
u a 0
t 2x x 2

n 1 ~ n1 ~ n1 ~ n1 n1 ~ n1


Ti  Ti n
Ti 1  Ti 1 Ti1  2Ti  Ti 1
u a 0
t 2x x 2
Схема Лакса-Вендроффа
 t   T    t  2   2T   t  3   3T 
 O  t 
4
Ti n 1  Ti n    
1!  t  2!  t 2  3!  t 3 

 T    T 
0
 u
 t   x 

Ti n1  Tin1  ut  Ti n1  2Ti n  Ti n1


2
n1
Ti  Ti  ut
n
  O  t  3

2x 2! x 2
2
Cu
Ti n1  Ti n 
Cu
2

Ti n1  Ti n1 
2
 
Ti n1  2Ti n  Tin1  O t 
3

g  1  Cu 2 1  cos    iCu sin  Cu<1
двухшаговая трехслойная схема Лакса-Вендроффа.

 
Tin1/12/ 2  0.5 Ti n1  Ti n
u
Tin1  Ti n
0
t / 2 x

Ti n1  Ti n Ti n1/12/ 2  Ti n1/12/ 2


u 0
t x
явная схема Мак-Кормака (1969)
~ n1
Ti  Ti n Ti n  Ti n1
u 0
t x
~
~ n1 ~ n1 ~ n1
Ti  Ti n
Ti1  Ti
u 0
t x
n 1  ~ n1 ~
~ n1 
Ti  0.5 Ti  Ti 
 

ut n
~ n1
Ti  Ti 
n

x
Ti  Ti n1  
Ti n 1
  Ti  Ti 
2 x

1  n ~ n1 ut ~ n1 ~ n1 
Ti1  Ti  

Неявный противопоточный метод
Ti n 1  Ti n Ti n 1  Ti n11
u 0
t x
 1 u  n 1 1 n u n 1
   i
T   Ti  Ti 1
 t  x  t x

Ti n 1  Ti n u  u Ti n 1  Ti n11 u  u Ti n11  Ti n 1
  0
t 2 x 2 x

aiTi n11  biTi n 1  ciTi n11  f i


Неявный метод Эйлера
Ti n 1  Ti n T n 1
 T n 1
 uin i 1 i 1
0
t 2 x u 0
n
1
b1T1n 1  f1n 1

Cu n 1 n 1 Cu n 1 aiTi n11  biTi n 1  ciTi n11  f i


 Ti 1  Ti  Ti 1  Ti n
2 2
u 0
n
N
a N TNn11  bN TNn 1  f N

1  iCu sin 
g
1  Cu 2 sin 2 

 T     T   t    2
T   u 3
  t  2
u  x  2
   3
T
   u  u  2 
2
    ...
 t   x   x   3  x  3
2    6  
Схема Кранка-Никольсона
Ti n 1  Ti n  T n 1
 T n 1
T n
 Ti 1 
n
 ui  
n i 1 i 1
 1    i 1
  0
t  2x 2x 
  0.5
aiTi n11  biTi n 1  ciTi n11  f i

1  i 0.5Cu sin 
g
1  i 0.5Cu sin 

 T     T  
  
u 3
  t  2
u   x  2


  3
T

   u   ...
 t   x   6  x  3
 12  
Предиктор-корректор
U U
 A t , x,U  0
t x
n 1 / 2
U n 1 / 2
U U n
i
 Ain 0 i
0.5t x
n 1 / 2
U U n 1
U n
i
 Ain 1 / 2 i
0
t x

1  0.5tA  U i
n (1)
i
n 1 / 2
U i
n
U i
n 1 / 2
 1  0.5tA  i
n

(1) 1
U in
A  A t
n 1 / 2
, x ,U n 1 / 2 n 1 / 2

O  t 2  x n 
i i i
n 1 n 1 / 2 n 1 / 2
U i  U  tA
i
n
i  U
(n)
Невязки-поправки
Ti n 1  Ti n T n 1
 T n 1
 uin i 1 i 1
0
t 2 x
Ti n 1  Ti n  T
Ti T  T  T n
 T i 1 
n
 ui
n i 1 i 1
  ui
n i 1

t 2x  2  x 
 Ti n1  Ti n1 Ti n1  3Ti n  3Ti n1  Ti n 2 
....  u   u>0
 2x 6x 
 Ti n1  Ti n1 Ti n 2  3Ti n1  3Ti n  Ti n1 
...  u   u<0
 2x 6x 
Невязки-поправки
T i
n 1 s 1
 Ti 
n 1 s
 T
Ti n Ti 1  Ti 1
 ui  ...
t 2 x
Ti n 1  Ti n  Ti n11  Ti n11 Ti n11  3Ti n 1  3Ti n11  Ti n 21 
....   u   u>0
t  2x 6x 
Ti n 1  Ti n  Ti n11  Ti n11 Ti n 21  3Ti n11  3Ti n 1  Ti n11 
...   u   u<0
t  2x 6x 
ai Ti 1  bi Ti  ci Ti 1  ... i

 1 u  u
   Ti   ...  Ti 1
 t x  x