Метод конечных разностей для ур-я диффузии:
Проиллюстрируем применение метода на примере реш. 1 нач. краевых задач на плоскости
{ ¶T/¶t = aDT; T½L=f; T(M,0) = j(M) }
Покроем область S линиями параллельн. осям х и y сеткой с шагом Dх=Dy=h)шаг может быть и переменным, но для простоты – const) Определим на этой сетке сеточную ф-ию Ti j. Р/м фрагмент / см рис/
Апроксимируем централ. разностями и перепишем в виде: ¶Ti j /¶t = (L1+L2)Tij (*)
L1Tij = a(Ti +1,j - 2Tij + Ti-1,j ) / h2
L2Tij = (a/h2)(Ti,j+1 - 2Tij + Ti-1,j)
Проинтегрируем (*) по t от tk до tk+1 и результат разделим на Dt: (Tij k+1 – Tijk )/Dt = (L1+L2)T~ij
где T ~ij = (1/Dt) òtktk+1 Tij dt /В зависимости от способа вычисл. интеграла T ~ получают различные схемы для реш ур-я диф-ии. Р/м 2 наиболее употребительные:
1) Пусть например T ~ij1=Tijk В этом случае получаем явную конечно разностную схему: Tk+1ij=Dt(L1+L2) Tkij+ Tkij Здесь при k=0 правая часть известна и по этой ф-ле вычис-ляется значение искомой ф-ии в момент k+1. Полученная сеточная ф-ция подставл-ся в прав часть и т.д. до установ-ления. Однако обладает 1-м недостатком: Она условно устойчива к погрешностям округления. (Dta) / h 2 < 1 – Условие устойчивости. Это усл накладывает жесткие требования к соотношению шагов Dt/h2. что при больших скоростях диффузии приводит к очень мелким рублениям. По этой причине она используется редко.
2) теперь T ~ij = Tk+1ij В результате получим неявную безус-ловно устойчивую к погрешностям вычислений схему.
T k+1ij - Dt(L1+L2)T k+1ij = T kij (" t, h)
при k=0 правая часть известна, а для нахождения T 1ij нужно решить СЛАУ. В этой схеме на каждом временном слое нужно решать СЛАУ.
Метод установления для ур-я Лапласа. Эволюц. метод
Описанной выше процедурой решили ур. диф. Можно юзать для построения одного из вариантов методовреш. краевых задач для ур. Лапласа. Пусть например в некото-рой плоской обл. нужно реш. з.Д. для ур.Лапласа.
{ DU=0 в S, UçL = f } (*)
Р/м вспомогательную (эволюционную) задачу вида:
{ ¶V/¶t = DV (**)
{VçL = f: V(M,0)=g(M)
где g(M) – произвол. ф-ция совпадающая на границе с ф-цией f. Покажем что при t® ¥ решение задачи (**) асимптотическое ® решению (*) т.е. V(M,t)®U(M), t® ¥
Вычитая (*) из (**) получим что ф-ия j(M,t) = V - U удовл.усл.: { ¶j/¶t = Dj; (3*)
{ jçs= 0: j(M,0) = g(M)-U(M)
здесь j (M,0)- произвол ф-ия, на границе обращается в 0.
Ниже показано что решение (3*) представимо в виде:
j (M,t) = S¥k=1Cke --lкtjk(M), где jk и lk решение следующей задачи Штурма-Лиувиля { Djk = -lkjk
{ jk|L = 0
, а Ck = òS j(M,0) jk(M)dS
Можно показ.,что числа lk положит и образ счетное мн-во
l1 £ l2 £ l3 £ … А ф-я jk образ. полную ортонормир систе-му: òS jk jndS = {1, k = n
{0, k ¹ n.
Use св-ва собственых ф-ций оценим норму ф-ции j (M,t) òS j2dS = åkC2k exp(-2lkt) £ exp(-2l1t)åkCk2 <¥
Тогда при t®¥ òS j2dS®0 Что говорит о том, что j(M,t)®0 т.е. V(M,t)®U(M) при t®¥.
Установление эволюционного решения происходит очень быстро благодаря exp-затуханию начальных данных.
Этот метод явл одним из основных.
8.5 Метод разделения перем(Фурье) для ур-я диффузии
Покажем этот метод на конкретном при-мере. Пусть есть шар R, нагрет до Т0.
Пусть в момент t=0 этот шар в переме-шиваемую жидк-ть T1 < T0. Найти распред-ние темпер-ры внутри шара: T(M,t)=? Решение: В силу симметр. Þ что искомое темп/поле будет зависеть только от T(r,t).
В силу интенсивного перемешив/я и выс. теплопроводно-сти шара можно считать, что t0-ра пов-ти шара T(R,t) = T1
Уравнение для t0-ры: DT = - (1/a)¶T/¶t = 0
Сферич система: 1/r2 (¶/¶r)(r2 ¶T/¶r) - 1/a(¶T/¶t) = 0
Для реш-я задачи удобно ввести вспом ф-ю j(r,t)=T(r,t)-T1
{(1/r2)¶/¶r(r2 ¶j/¶r) - 1/a(¶j/¶t)=0
| j(RШ,t) = 0
| j(r,0) = T0 - T1
{j (r,t) < ¥
Если применить метод Ф. непоср-но к этому ур-ю, то реш. может быть выраж. через ф-и Бесселя. Можно упростить ур-е так, чтобы прийти к тригоном. ф-ям.
Из 1/r (¶/¶r)(r2 ¶j/¶r) - 1/a(¶/¶t)(rj) = 0
можно олучить ¶2/¶r2(rj) - 1/a(¶/¶t)(rj) = 0. / Введем новую ф-ю. y(r,t)=rj. Сформулир. краев. зад. для этой ф-и.
{ (¶2y/¶r2) - 1/a(¶y/¶t) = 0
{ y(R,t) = 0: y(r,0) = r(T0-T1)
{ y(r,t) / r < ¥.
В соотв. с методом Фур. ищем реш в виде: y(r,t)=R(r)Q(t)
R``-mR = 0: Q`-maQ = 0 - m=const разделения. Решение имеет вид: Q(t)=C1emat. Поскольку реш не может неогр-но возраст Þ положить m = -l2. В этом случае имеем:
Q(t)=C1exp(-l2at); R(r) = C2 sin lr + C3 cos lr. Заметим, что ф-ция R(r)/r < ¥ откуда имеем: C3 = 0. Удовлетворяя краев. усл.: R | S = 0 ® sin lR0=0 ® lk = kp/R0 , k = 1,2. Частное реш. для yk можно записать в виде:
yk (r,t) = Dk exp(-l2k at)sin lk r. Общее реш. ищется наложением: y(r,t)=åk Dk exp(-lk2at)sin lkr. Удовлетворяя нач. усл. зад.: r (T0 - T1) = åk Dk sin rlk
® находим коэф. Dk: Dk = (T0 - T1) 2R0 / [kp(-1)k-1]
Возвращаясь к темп/полю T(r,t) получ окончат решение.:
{ T(r,t) = T1 + 2R0(T0-T1)/(pr) *
*åk[ (-1)k-1/ k]exp(-lk2at) sin lk r
{ lk = kp / R0.
o Примен. преобр-я Лапласа для реш. ур-я дифф.
Используя преобр-е Лапл. по времени можно ур-е дифф-и привести к ур. содержащее только пространственые производные. При этом нач. краев. задача преобр в краев. задачу, методы реш. кот. р/ны раньше. Рассм ур-е дифф-и:
{Dj - 1/a(¶j/¶t)=f Предпол, что все ф-и в этой зад.
{j (M,0) = j0 (M) принадл. множ-ву оригиналов тогда
{j (M,t)|MÎt = j1(M,t). использ. преобр-е Л. по t к ур-ю и доп. усл, и use его св-ва получим краев. задачу для изобра-жений.
{Dj 0 - P/a (j0) = F0 - j0(M)/a;
{j0(M,P)|MÎS = j01(M,P).
Заметим, что нач. усл. вошло в прав. часть ур-я. Если реш. этой зад. построено, то оригин. можно восст. с пом-ю ò-ла:
j (M,t) = 1/2pi òs-i¥s+i¥j0(N,P)eptdP Re p =s
Этот ò-л можно вычислить с помощью вычетов.
---------------
---------------
Интеграл Дюамеля.
Если известно решение з. Релея при единичном гранич условии, то реш. при произв. меняющемся во времени гран. усл. можно постр. с пом-ю ò-ла Дюамеля. Псть реш. при ед. имеет вид:
{ T1o(x,p)=(1/p) exp{-x Öp/a}
{Реш. при произв. меняющ. во времени кр. усл. f(t) = T(0,t)
{ To(x,p)=Fo(p) exp{-x Ö(p/a)}
Исключая из этих соотн. exp получим: To(x,t)=pFo(p)To(x,p)
Оригинал такого изображения опред-ся ò-лом Дюамеля.
T(x,t) = f(0)T1(x,t) + ò0t T1`(x,t)F(t-t)dt =
= T1(0,t) f(t) + ò0t f `(t) T1(x, t-t)dt =
= ò0tf `(t)Erf [ x / 2Öa(t-t)| ]dt. Это и есть решение.