книги / Математическое моделирование кинетики сложных химических реакций. Ч. 1
.pdfляющих исследуемое решение). Поэтому в дальнейшем будем считать, что на устойчивость исследуется именно нулевое решение xi (t) = 0 или расположенная в начале координат точка покоя системы уравнений
dxi |
= ψi (t, x1, x2 , ..., xn ), |
i =1, 2, ..., n. |
(4.60′′) |
dt |
|
|
|
Тогда равенство (4.60′′) определяет так называемое тривиаль-
ное решение. |
|
|
|
||||||
Введем понятие точек покоя. |
|
|
|
||||||
Точка покоя xi (t) = 0 (i =1,2,...,n) |
системы (4.60′′) устой- |
||||||||
чива по Ляпунову, если для любого |
ε > 0 можно подобрать |
||||||||
δ(ε) > 0 |
|
такое, что из неравенства |
|
xi |
(t0 ) |
|
< δ(ε) (i =1, 2, ..., n) |
||
|
|
||||||||
следует |
|
xi (t) |
|
< ε при всех t ≥ t0. |
|
|
|
||
|
|
|
|
|
Поясним введенные понятия на простом примере. Пример 1. Проверить, что каждое решение уравнения
dx = 0 |
устойчиво. |
|
|
|
|
(а) |
||||
dt |
|
|
|
|
|
|
|
|
|
|
Решение. Действительно, решение |
|
x1(t) |
уравнения (а) |
|||||||
удовлетворяет начальному условию |
|
|
|
|
|
|||||
x1 (t0 ) = x10 = const. |
|
|
|
|
(б) |
|||||
Рассмотрим другое решение |
x2 (t) уравнения (а), удовле- |
|||||||||
творяющее начальному условию |
|
|
|
|
|
|
|
|
||
x (t) = x0. |
|
|
|
|
(в) |
|||||
2 |
|
2 |
|
|
|
|
|
|
|
|
Для этих решений имеем |
|
x (t) − x (t) |
|
= |
|
x0 |
− x0 |
|
для всех t. |
|
|
|
|
|
|||||||
|
|
2 |
1 |
|
|
|
2 |
1 |
|
|
Следовательно, для всякого ε > 0 |
существует δ > 0, например |
181
δ = ε такое, что как только |
x0 |
|
− x0 |
< δ (см. формулу (2.45)), |
|||||||||
|
|
|
|
|
|
|
|
2 |
1 |
|
|
|
|
для решений x2 (t) и x1(t) |
будет выполнено неравенство |
||||||||||||
|
x |
(t) − x (t) |
|
= |
|
x0 − x0 |
|
< ε |
при всех t ≥t |
0 |
. |
||
|
|
|
|
||||||||||
|
2 |
1 |
|
|
|
|
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Следовательно, любое решение уравнения (а) устойчиво. Покажем теперь, что асимптотической устойчивости уравнения согласно определению нет:
x (t) − x (t) |
|
= |
x0 |
− x0 |
≠ 0 при t →∞. |
|
|
||||||
2 |
1 |
|
|
2 |
1 |
|
|
|
|
|
|
|
|
Остановимся на простейших типах точек покоя. Пусть система (2.41) представима в виде
dx = P(x, y), |
|
dt |
(4.61) |
|
|
dy |
=Q(x, y), |
dt |
|
где P(x, y), Q(x, y) – непрерывные функции в замкнутой области D.
Точка A(x0 , y0 ) называется точкой покоя системы (4.61),
если P(x0 , y0 ) = 0, Q(x0 , y0 ) = 0.
Исследовать по типам точки покоя можно в простейшем случае, если записать систему (4.61) в виде
dx = a |
x +a y, |
|
dt |
11 |
12 |
|
(4.61′) |
|
dy |
|
|
= a21x +a22 y, |
||
dt |
|
|
где aij (i, j =1,2) – постоянные, и для нее можно составить характеристическое уравнение вида
182
|
a11 −k |
a |
a12 |
|
= 0. |
(4.61′′) |
|
|
|
||||||
|
a |
22 |
−k |
|
|
|
|
|
21 |
|
|
|
|
|
В зависимости от вида корней уравнения (4.61′′) (действительные различные, действительные кратные, комплексносопряженные) определяется и тип точек покоя.
Для системы линейных однородных уравнений с постоянными коэффициентами (см. (2.2′′) п. 2.2.1)
dxi |
= ∑ aij xj , |
i =1, 2, ..., n |
(4.62) |
|
n |
|
|
dt |
j=1 |
|
|
характеристическим уравнением будет
|
a11 −k |
a12 |
... |
a1n |
|
|
|
|
|
||||
|
a21 |
a22 −k ... |
a2n |
= 0. |
(4.62′) |
|
|
... |
... |
|
... |
|
|
|
an1 |
an2 |
… ann −k |
|
|
Из анализа (4.62′) следует:
1)если действительные части всех корней характеристического уравнения (4.62′) системы (4.62) отрицательны, то точка покоя xi (t) = 0 (i =1, 2, ..., n) асимптотически устойчива;
2)если действительная часть хотя бы одного корня харак-
теристического уравнения (4.62′) положительна Re ki = pi > 0, то точка покоя xi (t ) = 0 (i =1, 2, ..., n) системы (4,62) неус-
тойчива; 3) если характеристическое уравнение (4.62′) имеет про-
стые корни с нулевой действительной частью (т.е. нулевые или чисто мнимые корни), то точка покоя xi (t) = 0 (i =1,n) систе-
мы (4.62) устойчива, но не асимптотически. Проиллюстрируем эти положения простым примером.
183
Пример 2. Установить характер точки покоя A(0;0) системы
dxdt = y,
dydt = −x.
Решение. В данном случае a11 = 0, a12 =1; |
a21 = −1; |
||||
a22 = 0. Составим характеристическое уравнение |
|
||||
|
−k |
1 |
|
= 0 или k2 +1 = 0. |
|
|
|
|
|||
|
−1 |
−k |
|
|
|
Так как корни характеристического уравнения |
k1,2 = ±i – |
чисто мнимые, то точка покоя устойчива, но не асимптотически (см. анализ формулы (4.62′)).
В заключение обзора сформулируем три очень важных теоремы об устойчивости нелинейных систем.
1. Теорема Ляпунова об устойчивости Если система (2.41) такова, что существует функция
υ(t, x1, x2 , ..., xn ) определенно положительная при t ≥ t0 в не-
которой H-окрестности начала координат, производная которой vt′, вычисленная в силу системы (2.41), не положительна,
то тривиальное решение системы (2.41) устойчиво.
2. Теорема Ляпунова об асимптотической устойчивости Если рассматриваемая автономная система (2.41) такова,
что существует функция υ(t, x1, x2 , ..., xn ), определенно поло-
жительная в некоторой H-окрестности начала координат, производная которой vt′, вычисленная в силу системы (2.41), определенно отрицательна, то тривиальное решение xi = 0 (i =1, 2, ..., n) асимптотически устойчиво.
184
3. Теорема Четаева о неустойчивости Если для системы дифференциальных уравнений
dv |
|
∂v |
n |
∂v |
|
dx |
|
∂v |
n |
∂v |
fi (t, x1 |
, ..., xn ) |
|
|
= |
|
+∑ |
|
|
i |
= |
|
+∑ |
|
|||
dt |
∂t |
∂x |
dt |
∂t |
∂x |
||||||||
|
i 1 |
|
|
i 1 |
|
|
|||||||
|
|
|
= |
i |
|
|
|
|
= |
i |
|
|
можно найти функцию, удовлетворяющую условиям:
1) при сколь угодно больших значениях t (в сколь угодно малой окрестности начала координат) существует область v > 0;
2)в области v > 0 функция v ограничена;
3)в области v > 0 производная dvdt определенно положи-
тельная, то тривиальное решение этой системы неустойчиво. Проиллюстрируем сформулированные теоремы на кон-
кретных примерах.
Пример 3. Исследовать на устойчивость тривиальное решение системы:
dxdt = −5y −2x3,
dydt = 5x −3y3.
Решение. Функция v = x2 + y2 удовлетворяет условиям 2-й теоремы Ляпунова:
1)v(x, y) ≥ 0, v(0;0) = 0;
2)dvdt = 2x(−5y −2x3 )+ 2y(5x −3y3 ) = −(4x4 +6y4 ) ≤ 0,
то есть dvdt < 0 и dvdt = 0 только при x = y = 0, и, значит, есть
определенно отрицательная функция.
Следовательно, решение x = 0, y = 0 асимптотически устойчиво.
185
Пример 4. Исследовать на устойчивость тривиальное решение автономной системы
dxdt = x2 + y,
dydt = y2 + x.
Решение. Возьмем в качестве v(x, y) функцию
v = 13 x3 + xy + 13 y3.
Для данной функции областью v > 0 является, например, область x > 0, y > 0. В области v > 0 имеем
dvdt = ∂∂vx dxdt + ∂∂yv dydt = (x2 + y)2 +(x + y2 )2 > 0.
Согласно теореме 3 о неустойчивости решение x = 0, y = 0 неустойчиво.
Рассмотрим теперь применение изложенного материала конкретно к двум прикладным задачам химической кинетики.
Задача 4.9. |
(Последовательная реакция первого порядка). |
|||||||
Для системы (4.1) установить характер точки покоя |
( x = 0, |
|||||||
y = 0, z = 0). |
|
|
|
|
|
|
|
|
Решение. |
В качестве точки |
покоя выберем |
точку |
|||||
A(0;0;0). Система (4.2) имеет вид |
|
|
|
|
||||
|
dy1 |
= −2,5y + y |
|
+ y , |
|
|||
|
dx |
|
1 |
|
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
dy |
2 |
= y1 −3y2 + |
0,5y3, |
|
|||
|
|
|
||||||
|
dx |
|
|
|
|
|
|
|
|
dy3 |
= 0,5y |
+ y |
2 |
−2y . |
|
||
|
|
|
1 |
|
|
3 |
|
|
|
dx |
|
|
|
|
|
|
186
Далее составим характеристическое уравнение
|
−2,5 |
−k |
1 |
1 |
|
|
|
|
|
|
|||||
|
1 |
|
−3 −k |
0,5 |
|
= 0. |
(4.63) |
|
0,5 |
1 |
−2 −k |
|
|
|
Характеристическое уравнение (4.63) совпадает с (4.5) (см. п.4.2) и после преобразований получаем кубическое уравнение (см. (4.6)) вида
k3 +7,5k2 +16,5k −9 = 0. |
(4.63′) |
Его корни найдены в п. 4.2:
k1 = −0,8132 , k2 = −3,6835 , k3 = −3,0035.
Так как корни характеристического уравнения (4.60) действительные и различны, причем k1, k2 , k3 < 0, то следует вывод: точка покоя A(0; 0; 0) асимптотически устойчива (устой-
чивый узел последовательной реакции первого порядка). Задача 4.10. Исследовать на устойчивость тривиальное
решение системы дифференциальных уравнений І типа (4.22)
табл. 1.4.
Система записывается в виде
dy1 |
= −y |
|
+ y , |
|
dx |
|
2 |
3 |
|
|
|
|
|
|
dy |
2 |
= y12 |
− y2 , |
|
|
||||
dx |
|
|
|
|
dy3 |
= y2 |
− y . |
||
dx |
1 |
|
3 |
|
|
|
|
С учётом того, что в этой системе правые части не содержат явно x = t, назовем её автономной.
После ввода следующих обозначений:
x = t; y1 = x; y2 = y; y3 = z
187
систему можно записать в виде
dxdt = −y + z,
dy = x2 − y,
dt
dz = x2 − z.
dt
Пусть для простоты изложения z = c* = const, тема (4.64) принимает следующий вид:
dxdt = −y +c*,
dydt = x2 − y.
(4.64)
тогда сис-
(4.64′)
Составим функцию v = x2 + y2 , которая должна удовлетворять условиям 2-й теоремы Ляпунова:
1)v(x, y) ≥ 0, v(0;0) = 0;
2)dvdt = 2x(−y +c* ) +2y(x2 − y) = −2xy + 2x2 y − y2 =
=−2xy (1+ x2 )− y2 = −y2 ≤ 0,
сучетом того, что из 3-го уравнения (4.64) x = const.
Таким образом, |
dv |
< 0 и |
dv |
= 0 |
только при x = 0, y = 0. |
|
dt |
|
dt |
|
|
Следовательно, тривиальное решение |
A(0;0) асимптотически |
устойчиво.
Для случая z ≠ const (некоторая функция) система (4.64′) переходит в систему (4.64) и, проведя аналогичные выкладки
с использованием функции v = x2 + y2 + z2 , приходим к выводу, что нелинейная система (4.22), а следовательно, и реакции
188
системы І типа табл. 1.4 асимптотически устойчивы в окрестности точки A(0;0;0) (устойчивый узел реакции).
4.4.4. Некоторые примеры построения эллиптических функций
Остановимся здесь на некоторых подходах построения решений прикладных задач с помощью эллиптических функций. Среди всего многообразия эллиптических функций ( χ, ξ, и σ -функции Вейерштрасса, функции Якоби, тета-функ-
ции Якоби-Лежандра, присоединенные функции Лагерра и др.) [30, 31, 39] остановимся лишь на χ -функциях Вейерштрасса,
так как только они описывают нелинейные системы дифференциальных уравнений кинетики сложных химических реакций, приведенных в табл. 1.4. Основные понятия и соотношения между интегралами и χ- функциями Вейерштрасса приве-
дены в п. Д. 2.6.
Покажем основные этапы построения χ- функций Вейер-
штрасса на примерах решения прикладных задач, разобранных выше.
Задача 4.11. Используя данные и схему решения задачи 4.4, найти решения для интегральных кривых (кривых концентраций) y1, y2 , y3 в эллиптических функциях.
Решение. При решении задачи 4.4 выбрана система дифференциальных уравнений вида (4.26), для которой составлено дифференциальное уравнение специального типа (4.37) в виде
y′2 = y14 + Ay12 + B. .
Взадаче 4.4 разобраны частные случаи этого уравнения (случаи, когда его правая часть имела кратные корни). В рамках этой задачи разберем общий случай (случай некратных корней данного уравнения).
Взадаче 4.4. коэффициенты А и В связаны следующими соотношениями:
189
|
= − |
a |
|
, |
|
A |
|
+b |
|||
|
|
|
2 |
|
(4.65) |
|
|
|
|
|
|
ab |
= B, |
|
|
||
|
|
|
|
||
2 |
|
|
|
|
|
где a и b – коэффициенты, |
определяемые табл. 1.4. (см. |
||||
п. 1.2.4.). |
|
|
|
|
|
Если корни многочлена четвертой степени правой части уравнения некратны, то этот многочлен в общем случае подвергают дробно-линейному преобразованию на основании сле-
дующей теоремы (см. п. Д 2.6). |
|
|
|
ϕ( y1 ) = a0 y14 +4a1 y13 + |
||||||||||||||||||||
Теорема. Для всякого многочлена |
||||||||||||||||||||||||
+ 6a y2 |
+ 4a y +a |
|
|
можно найти дробно-линейное преобразо- |
||||||||||||||||||||
2 |
1 |
|
3 |
1 |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
вание |
y = |
αt1 +β |
|
с |
определителем |
D = |
|
α |
β |
|
≠ 0 |
такое, |
что |
|||||||||||
|
|
|
||||||||||||||||||||||
|
|
|
1 |
γt |
+δ |
|
|
|
|
|
|
|
|
|
|
|
γ |
δ |
|
|
|
|
||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при D = 1 |
ϕ( y ) |
= |
|
4t3 − g t |
− g |
3 |
, где |
|
|
|
= a a −4a a +3a2 , |
|||||||||||||
|
|
1 |
2 1 |
|
g |
|
||||||||||||||||||
|
|
(γt +δ)4 |
|
|
||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
2 |
0 4 |
1 3 |
2 |
||||||
g3 = |
|
a0 |
a1 |
|
a2 |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
a1 |
a2 |
|
a3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
a2 |
a3 |
|
a4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В теореме |
|
g2 |
|
и g3 |
называются инвариантами преобразо- |
|||||||||||||||||||
вания, |
а многочлен |
Ψ(t1 ) = 4t13 − g2t1 − g3 |
|
является канониче- |
ской формой дифференциального уравнения (4.37).
Его решения на основании теоремы, рассмотренной выше, ищутся в виде
χ = c* + ∫ |
|
dy1 |
|
|
|
, |
(4.66) |
||
4y3 |
− g |
y |
− g |
3 |
|||||
|
|
|
|||||||
|
1 |
|
2 |
1 |
|
|
|
где y1 = χ(x +c* ), χ(x) – функция Вейерштрасса с инвариантами g2 и g3. Таким образом, для случая некратных корней мно-
190