Какие объекты исследует вычислительная математика |
Лекция 10: Численные методы решения жестких систем обыкновенных дифференциальных уравнений
9.1. Явление жесткости. Предварительные сведения
Рассмотрим в качестве примера две задачи Коши для систем обыкновенных дифференциальных уравнений (ОДУ) [9.1], [9.2]:
![$ \dot {u} = au + \frac{1}{\varepsilon } v,
\dot {v} = - \frac{1}{\varepsilon } v, $](/sites/default/files/tex_cache/b1e7c5fcee5ff6f6e20a3ce4324631cc.png)
с начальными данными u(0) = u0, v(0) = v0 ; здесь ; и линейную систему с постоянными коэффициентами
![\begin{gather*}
\dot {u} = 998u + 1998v, \\
\dot {v} = - 999u - 1999v, \\
u(0) = v(0) = 1.
\end{gather*}](/sites/default/files/tex_cache/b4d2a28b640a7e63017e2b4cd68daa08.png)
Решением первой задачи Коши являются функции
![\begin{gather*}
u(t) = u_0 e^{at} + \frac{{v_0 }}{{1 + a\varepsilon }} (e^{at} - e^{- t/\varepsilon }), \\
v(t) = v_0 e^{- t/\varepsilon },
\end{gather*}](/sites/default/files/tex_cache/d639ca49595c7fa6716bc890a32b256e.png)
а второй -
u(t) = 4e- t - 3e- 1000t, v(t) = - 2e- t + 3e- 1000t.
В обоих случаях решение состоит из двух экспонент: быстро убывающей и относительно медленно изменяющейся. Отметим, что абсолютные величины собственных значений матриц рассматриваемых линейных систем ОДУ при их представлении в виде
![$ \dot {u} = Au, $](/sites/default/files/tex_cache/8169726ac34638f31292e924bbd448d9.png)
( u — вектор - столбец, A — матрица с
постоянными коэффициентами) существенно различаются. Так, в первом случае
; во втором:
В обоих случаях имеем:
![$ \frac{{|\lambda_1 |}}{{|\lambda_2 |}} \gg 1. $](/sites/default/files/tex_cache/93b9fd41bc2b5e13647f9e7e3e8d5e89.png)
При моделировании физических процессов причина такой разницы в собственных числах заключена в существенно различных характерных временах процессов, описываемых системами ОДУ. Наиболее часто подобные системы встречаются при моделировании процессов в ядерных реакторах, при решении задач радиофизики, астрофизики, физики плазмы, биофизики, химической кинетики. Последние задачи часто могут быть записаны в виде [9.3]:
![$ \frac{d u_k}{d t} = \sum\limits_{i = 1}^{N}{\sum\limits_{j = 1}^{N}{a_{_{ij}}^{k} u_i u_j}, } k = 1 \div N; $](/sites/default/files/tex_cache/931eb78665a0d122fac378334e4a50bc.png)
где uk — концентрации веществ, участвующих в химических реакциях, скорости протекания которых характеризуются коэффициентами В качестве примера приведем одну из систем химической кинетики, описывающую изменение концентрации трех веществ, участвующих в реакции для случая полного перемешивания [9.1].
Пример 1. Обозначим концентрации трех веществ, участвующих в реакции, через u1, u2 и u3, тогда
![\begin{gather*}
\dot u_1 = - 4 \cdot 10^{- 2} u_1 + 10^4 u_2 u_3, \\
\dot u_2 = 10^{- 2} u_1 - 10^4 u_2 u_3 - 3 \cdot 10^7 u_2^2, \\
\dot u_3 = 3 \cdot 10^7 u_2^2, \\
u_1 (0) = 1, u_2 (0) = u_3 (0) = 0.
\end{gather*}](/sites/default/files/tex_cache/d6ac7fb84539c5d38e826dafafc03b9e.png)
Участки решения, характеризующиеся быстрым и медленным его изменением, называются пограничным слоем и квазистационарным режимом, соответственно.
Трудности численного решения подобных систем ОДУ, получивших название жестких (определение жесткой системы приведено ниже), связаны с выбором шага интегрирования. Дело в том, что характерные времена исследуемых процессов могут различаться более чем в 1012 раз. Следовательно, если при численном решении системы
![$ \dot {u} = {F}(u) $](/sites/default/files/tex_cache/961818aee3119a4ec222ad383499b7dc.png)
выбирать шаг из условия
![\tau\|f^{\prime}_u (u)\|\ll 1,](/sites/default/files/tex_cache/74979fa1053dcbbf46b30d660d6ba1cc.png)
то он будет соответствовать самому быстрому процессу. В данном случае затраты машинного времени для исследования самых медленных процессов будут неоправданно велики. По этой причине имеются следующие альтернативы в выборе подхода к численному решению рассматриваемых задач.
- Численно решать систему ОДУ с шагом
т.е. с учетом характерных времен всех процессов, описываемых данной системой.
- Решать систему ОДУ с различными шагами, соответствующими физическим процессам с существенно различными характерными временами. В этом случае необходимо задавать условия перехода к другому шагу интегрирования.
- "Пренебречь" быстропротекающими процессами и численно
рассматривать лишь медленные, проводя интегрирование с шагом, превышающим характерные времена быстрых процессов. В этом случае придется конструировать численные методы, позволяющие проводить расчеты с шагом