Файл: Баясанов, Д. Б. Автоматизированные системы управления трубопроводными объектами коммунального хозяйства.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 17.10.2024
Просмотров: 133
Скачиваний: 0
быть устойчивым (относительно возмущения граничных
условий и правой части). В противном случае оно практи
чески непригодно для численного решения дифференциаль
ного уравнения, так как при крупной сетке нет основания ожидать, что решение первого уравнения будет мало от личаться от соответствующего решения второго, а при мел кой сетке малые ошибки, допущенные в граничных условиях и правой части, недопустимо исказят решение разностного
уравнения.
Понятие об устойчивости разностного .уравнения отно
сительно возмущения граничных условий и правой части
аналогично понятию непрерывной зависимости решения диф
ференциального уравнения от граничных условий и правой
части. Для |
пояснения приведем примеры неустойчивого |
|
и устойчивого разностного уравнения. |
||
Неустойчивое уравнение. В разностном уравнении (3.6) |
||
положим |
1. Сообщим начальным условиям (3.7) |
|
возмущения, |
приняв |
|
и |
u h (0, nh) = |
<р0 (nh) -f х (— 1 )п 8 |
(т, n h ) — Uh (0, |
|
|
щ |
nh) |
|
|
т |
= q>1 (nh) — i ( - \ ) n е, |
|
|
где е — некоторый минимальный параметр при нулевых начальных условиях.
Функция uh, которая прибавится в результате этого к решению задачи (3.6) и (3.7), удовлетворяет однородному
уравнению, соответствующему уравнению (3.6) и началь
ным условиям:
и ь ( 0, nh) — т ( — 1)п е, щ ( х , n h ) = —Зт ( — 1)п е.
Можно непосредственно проверить и убедиться, что она имеет вид:
Uh(tnx, nh) = ( — \)т + п Зт хе.
Возмущения, сообщенные начальным условиям, можно понимать как ошибки округления, допущенные при задании
начальных условий, а при наличии функции uh — как соот ветствующую ошибку в решениях. При т - > 0 и фиксиро
ванном t = тх множитель Зшт, входящий в выражение
uh (тх, nh), быстро растет, т. е. чувствительность решения
уравнения (3.6) к ошибкам округления, допущенным при задании начальных условий, быстро увеличивается.
137
При ( = 1 и т = j имеем Зтт « 20, а при т = ^ мно-
/ х \2 |
4 |
житель Зшт всегда больше 108. Уравнение (3.6) при |
= g |
естественно считать неустойчивым. Существование неустой
чивых разностных уравнений и неудобство таких выражений
для практических целей выдвигают задачу об анализе устой
чивости разностных уравнений.
Устойчивое уравнение. В выражении (3.6) положим величину х = h. Тогда оно примет вид:
uh ( t + % , x ) = uh ( t — x , x ) — uh (t, x + h ) — uh (t, x — h) — /г2 f (t, x).
Изменим правые части начальных условий (3.7) и правую
часть уравнения (3.6), прибавив к ним соответственно функ
ции фА„ (*), фЙ1 (х) и fh (t, х). Функция uh (t, х), которая
прибавится при этом к-решению задачи (3.6) и (3.7), удов летворяет уравнению:
u h ( t + x , x ) + U h ( t — т, x ) — u h (t, |
x + h) — |
|
||
|
|
x — h) — h2J h (t, |
x) |
(3.8) |
и начальным условиям: |
|
|
||
|
|
Uh (т, x) — u h (0, х ) |
(3.9) |
|
Щi (0, х) |
= |
фйо (*); |
= Фа, <*)■ |
|
Перейдем |
к |
оценке значения uh (t0, 0), где /0 = |
т0х, |
а тй— положительное целое число, которое для определен ности будем считать нечетным. Построим треугольник, огра
ниченный осью Ох и прямыми |
t = х + |
t0 и t — — х -Т /0 — |
характеристиками уравнения |
(3.4),. |
проходящими через |
точку ((0, 0). Для каждой точки (/пт,, nh) сетки, которая
лежит строго внутри указанного треугольника и когда
т + п есть четное число, напишем уравнение (3.8) и затем сложим эти уравнения почленно. Если величина т + п — нечетное число и точка (тх, nh) вместе с ближайшими к ней
четырьмя |
соседними точками сетки [(т + |
1)т, nh], |
[тх, |
||||||
. (п + 1)Л], |
\{т — 1)т, |
nh] |
и [тх, (п — |
1)h] |
лежит |
строго |
|||
внутри |
треугольника, |
то |
значение uh (тх, |
nh) |
входит |
||||
в четыре уравнения (3.8), |
составленных |
для этих соседних |
|||||||
точек, |
соответственно |
с коэффициентами |
1, |
— 1,1 |
и |
—1. |
Поэтому после приведения подобных членов функция uh (тх, nh) тоже не войдет в выражение, полученное суммированием
уравнений (3.8). Подсчитывая подобным образом коэффи циенты при uh (тх, nh) для всех точек сетки (тх, nh), лежа
138
щих внутри и на границе указанного выше треугольника,
результат почленного сложения уравнений (3.8) можно
записать |
в |
следующем ■ |
виде: |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
то —3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
“h(t0 . 0) + |
|
^ |
|
uh[0, (2т + |
1) А]— |
|
||||||||||
|
|
|
|
m„—1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
— |
_ 2 m0—1 “A(t >2/ra/l) = Л2 2 |
|
|
|
(mT> п/г)’ |
|
|||||||||||
где |
двойная |
|
сумма распространена |
на те точки сетки, по |
||||||||||||||
которым |
производилось |
суммирование |
уравнений |
(3.8). |
||||||||||||||
Отсюда |
|
|
|
|
т0— 1 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
2 |
|
Uh (т, 2mh) |
—Uh [0, (2т — 1) А] |
|
||||||||
|
«л (to, 0)=Л |
|
2 |
+ |
||||||||||||||
|
|
|
|
|
|
|
|
|
- |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т |
—т0-Ь 3 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ uh[Т, — (/п0 — 1) /г] + A2 2 Z |
|
(«т. лА). |
|
|||||||||||||
|
Заменяя |
в последнем равенстве |
uh (0, |
х) |
и uh (т, х) их |
|||||||||||||
выражениями |
uh (0, |
х) = срЛо (х) |
и |
|
uh (т, |
х) = срЛо (х) + |
||||||||||||
+ АфА, (х), которые следуют |
из |
начальных |
условий |
(3.9) |
||||||||||||||
и |
равенства |
|
т = |
Л, |
получаем |
следующую оценку |
для |
|||||||||||
uh (t, 0): |
|
|
|
|
т0— 1 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
2 |
|
|
Фh, (2/пА) — |
фЛо [(2/?г — 1) /г] |
|
|||||||
I |
«л (^о- |
0) |
|
/г |
|
2 |
|
|
+ |
|||||||||
|
|
|
3 |
|
|
|
|
|
|
А |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
—т0 |
|
|
|
|
|
|
|
|
|
|
||
+ I |
ФА, (2/пт)| J |
+ |
| фА.[ —(mo - |
1) А] | + А| Фа, [ — ("*<> — 1) Л]| + |
||||||||||||||
|
|
+ |
ll“S |
S |
IК (тх’ nll) | < |
|
max |
|
| Фл„ W | + |
|
||||||||
|
|
|
|
|
|
|
|
|
|
I * l^/o |
|
|
|
|
|
|||
+ 22“0 |
max |
Фа„ (* + a) -Tft.W |
|
+ |
|
“ « l |
Фа, « | ) + |
|
||||||||||
|
|
|
A |
|
|
|
|
|
|
|||||||||
|
|
U | - < / o |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
+ |
tl max I fh (t, x)|, |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
139
где max — максимум, взятый по тем точкам сетки, по которым сум
д
мировались уравнения (3.8).
Итак,
uh ( t 0, |
0) | |
c^max |
Фл0W I+ |
max |
Ф*. (*- Н ) - ф й,(*) |
|
|
|
|
|
I xI <^0 |
h |
+ |
|
+ |
max I q>A (*)| + |
max \Jh (t , х)| Y |
(3.10) |
||
где с — коэффициент пропорциональности, зависящий |
только от h , |
|||||
но не от |
h. |
|
|
|
|
|
Неравенство типа |
(ЗЛО) остается, очевидно, |
справедли |
вым для значений uh в точках сетки, не лежащих на оси t. Это неравенство означает устойчивость разностного урав
нения (3.6) при т = |
h, т. е. малому изменению функции <рь |
||
/ и функции ср0 |
|
вместе с ее разностным |
соотношением |
Фо (х 4 - К) — ф 0 (х) |
соответствует независимо |
, |
|
— — -jj-— vl±-l |
от величины п |
малое изменение решения uh.
Можно сказать, что неравенство типа (3.10) сохраняется, если т < ih , т. е. устойчивость разностного уравнения (3.6) имеется и в этом случае. Рассмотрим теперь сходимость
разностного уравнения как следствие его устойчивости. До
кажем, что при т — h решение uh из уравнений (3.6) и (3.7)
стремится к решению щ из уравнений (3.4) и (3.5). При этом
используется только равенство (3.10), т. е. устойчивость
уравнения |
(3.6), |
а также соотношения L tut — Rhuh — |
|||
= |
е (t, |
х, |
h), |
l0ut — r,H tih = |
0, lxut — rht uh = e (где |
Xh„ |
и |
rhl |
— коэффициенты, |
соответствующие нулевым |
условиям), имеющие место для всякой гладкой функции, —
аппроксимация дифференциального уравнения (3.4) и на
чальных условий (3.5) разностным уравнением (3.6) и на
чальными условиями |
(3.7). Вводятся обозначения |
vh = |
||||
= |
ut — uh. Функция |
vk |
удовлетворяет уравнению (3.8) |
|||
и |
начальным |
условиям |
(3.9), |
где функции fh, фд0 |
и <pAl |
|
надо заменить |
соответственно |
на функции в (t, х, К), 0 и |
Bj (х, h). Из неравенства (3.10), примененного к функции
vh, следует, что она стремится к нулю, |
когда lim |
uh = u.t. |
|||
|
|
|
h - |
о |
|
Ранее было показано, |
что в случае |
j |
— г > 1 |
|
(г — по |
стоянное) сходимость |
при шаге h, |
стремящемся |
|
к нулю, |
140