Методы расщепления
8.3. Методы двуциклического покомпонентного расщепления
Для этих методов отсутствует требование коммутативности операторов
Будем рассматривать численное решение (8.1) не на одном шаге по времени, отрезке [tn, tn + 1], а на двух последовательных шагах [tn - 1, tn + 1]. Пусть теперь разностные локально - одномерные операторы зависят явно от времени, тогда они определены в середине отрезка . Запишем схему расщепления:
![]() |
( 8.6) |
В операторной форме этот метод записывается как , где введено обозначение
![\begin{gather*} {\mathbf{T}}^{n} = \left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)^{- 1} \left({{\mathbf{E}} - \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right) \left({{\mathbf{E}} + \frac{\tau}{2}
{\mathbf{\Lambda}}_2}\right)^{- 1} \left({{\mathbf{E}} - \frac{\tau}{2}{\mathbf{\Lambda}}_2}\right) \times \\
\times \left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_2}\right)^{- 1}
\left({{\mathbf{E}}- \frac{\tau}{2}{\mathbf{\Lambda}}_2}\right) \left({{\mathbf{E}}
+ \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)^{- 1} \left({{\mathbf{E}} -
\frac{\tau}{2}{\mathbf{\Lambda}}_1}\right) = \mathbf{E}{- } 2 {\tau}{\Lambda}+
\frac{{(2 \tau)}^2}{2}{(\Lambda)}^2 + \ldots \end{gather*}](/sites/default/files/tex_cache/58515a6ab277665e587ee27d7bc48c46.png)
Если локально - одномерные операторы положительны , то при достаточной гладкости решения и элементов матриц
схема (8.6) абсолютно устойчива и аппроксимирует
(8.1) со вторым порядком.
Для неоднородного дифференциального уравнения
![$ \frac{{\partial u}}{{\partial}t} + {\mathbf{A}}u = f $](/sites/default/files/tex_cache/7f5f09c6156f7cdbc1b31110155cd8d9.png)
![\begin{gather*} \left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n - 1/2} = \left({{\mathbf{E}} - \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n - 1}, \\
\left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_2}\right)(u^{n} -
{\tau}f^n) = \left({{\mathbf{E}} - \frac{\tau }{2}{\mathbf{\Lambda}}_2}\right)u^{n - 1/2}, \\
\left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_2}\right)u^{n + 1/2} = \left({{\mathbf{E}} - \frac{\tau}{2}{\mathbf{\Lambda}}_2}\right)(u^{n} + {\tau}f^{n} ), \\
\left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n + 1} = \left({{\mathbf{E}} - \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n + 1/2},
\end{gather*}](/sites/default/files/tex_cache/7c338b28447b439572055df90e61aa20.png)
где fn = f(tn).
В операторной форме записи решение неоднородной задачи имеет вид: , где введены обозначения
![$ {\mathbf{T}}^{n} = {\mathbf{T}}_1^{n}{\mathbf{T}}_2^{n}{\mathbf{T}}_2^{n}{\mathbf{T}}_1^{n}](/sites/default/files/tex_cache/00ce2bb27485a12c6387187e36c92b9a.png)
![{\mathbf{T}}_i^{n} = \left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_i^{n}}\right)^{- 1} \left({{\mathbf{E}} - \frac{\tau }{2}{\mathbf{\Lambda}}_i^{n}}\right). $](/sites/default/files/tex_cache/502c9318623a2fc942592a6a0b6923ba.png)
![\Lambda _{1}, \dots , \Lambda _{n}](/sites/default/files/tex_cache/abf1c39980123e7fc923f435a2bc1a4e.png)
![\Lambda _{n}, \dots , \Lambda _{1}:](/sites/default/files/tex_cache/aa1be518887c6ef4d21b9d446cb0d961.png)
![\begin{gather*} \left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n - \frac{N - 1}{N}} = \left({{\mathbf{E}} -
\frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n - 1}, \\
\ldots \\
\left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_n }\right)(u^{n} - {\tau}f^{n} ) = \left({{\mathbf{E}} - \frac{\tau }{2}{\mathbf{\Lambda}}_n }\right)u^{n - 1/N}, \\
\ldots \\
\left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_n }\right)u^{n + 1/N} =
\left({{\mathbf{E}} - \frac{\tau}{2}{\mathbf{\Lambda}}_n }\right)(u^{n} + {\tau}f^{n} ), \\
\ldots \\
\left({{\mathbf{E}} + \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n + 1} =
\left({{\mathbf{E}} - \frac{\tau}{2}{\mathbf{\Lambda}}_1}\right)u^{n + \frac{{N - 1}}{N}} . \end{gather*}](/sites/default/files/tex_cache/0759a9ea3519002a896605267d7430b7.png)
Рассмотрим примеры использования метода двуциклического расщепления для некоторых задач математической физики.
Пример 1. Трехмерное нестационарное уравнение диффузии, область
интегрирования — параллелепипед. Полагаем, что в вертикальном направлении
(ось 0z ) коэффициент диффузии в вертикальной плоскости зависит от координаты, что характерно для задач геофизики,
— коэффициент диффузии в горизонтальной плоскости. Задача может быть представлена в виде
![$ \frac{{\partial}u}{{\partial}t} = \frac{\partial }{{{\partial}z}} \gamma
\frac{{\partial}u}{{{\partial}z}} + \mu \Delta u + f. $](/sites/default/files/tex_cache/40fcd4992a4633d302c31a7d92afc73f.png)
Сведем решение рассматриваемой трехмерной задачи к последовательному решению трех одномерных задач. Первая задача имеет вид
![$ \frac{{{\partial}u_1}}{{\partial}t} = \frac{{\partial}}{{{\partial}z}} \gamma \frac{{{\partial}u_1}}{{{\partial}z}} + f, $](/sites/default/files/tex_cache/e43720e70dd3ed18f2308f1524c21754.png)
она описывает диффузию в вертикальной плоскости. Вторую и третью задачи запишем
![$ \frac{{{\partial}u_2}}{{\partial}t} = \mu \frac{{{\partial}^2 u_2}}
{{{\partial}x^2}}, \frac{{{\partial}u_3 }}{{\partial}t} = \mu \frac{{{\partial}^2 u_3 }}
{{{\partial}y^2}}. $](/sites/default/files/tex_cache/c7330d7130b98467191035eb8fc8f8ac.png)
Теперь рассмотрим разностную аппроксимацию исходного дифференциального уравнения
![\begin{gather*} \frac{{\partial}u}{{\partial}t} + ({\mathbf{\Lambda}}_1 + {\mathbf{\Lambda}}_2 + {\mathbf{\Lambda}}_3 )u = f,
\mbox{ где} \\
{\mathbf{\Lambda}}_1 u = -\frac{\mu}{h_x^2}(u_{m, j, k + 1} - 2u_{mjk}+ u_{m, j, k - 1} ),\\
{\mathbf{\Lambda}}_2 u = -\frac{\mu}{h_y^2}(u_{m, j - 1, k} - 2u_{mjk} + u_{m, j + 1, k}),\\
{\mathbf{\Lambda}}_3 u = \frac{1}{{h_{z}}} \left[{- \frac{{\gamma_{m + 1/2, jk}}}{{h_{z}}}(u_{m + 1, jk} - u_{mjk} ) + \frac{{\gamma_{m - 1/2}}}{{h_{z}}}
(u_{mjk} - u_{m - 1, jk} )}\right]. \end{gather*}](/sites/default/files/tex_cache/b5af9cc648fb5f239d6e445daf0e0530.png)
Разностная схема двуциклического покомпонентного расщепления приобретает вид
![\begin{gather*} \frac{{u^{n + 1/6} - u^{n}}}{\tau} +
{\mathbf{\Lambda}}_1 \frac{{u^{n + 1/6} + u^{n}}}{2} = 0, \\
\frac{{u^{n + 2/6} - u^{n + 1/6}}}{\tau} + {\mathbf{\Lambda}}_2 \frac{{u^{n + 2/6} +
u^{n + 1/6}}}{2} = 0, \\
\frac{{u^{n + 3/6} - u^{n + 2/6}}}{\tau} + {\mathbf{\Lambda}}_3 \frac{{u^{n + 3/6} +
u^{n + 2/6}}}{2} = \frac{{f^{n + 1/2}}}{2}, \\
\frac{{u^{n + 4/6} - u^{n + 3/6}}}{\tau} + {\mathbf{\Lambda}}_3 \frac{{u^{n + 4/6} + u^{n + 3/6}}}{2} = \frac{{f^{n + 1/2}}}{2}, \\
\frac{{u^{n + 5/6} - u^{n + 4/6}}}{\tau} + {\mathbf{\Lambda}}_2 \frac{{u^{n + 5/6} + u^{n + 4/6}}}{2} = 0, \\
\frac{{u^{n + 1} - u^{n + 5/6}}}{\tau} + {\mathbf{\Lambda}}_1 \frac{{u^{n + 1} + u^{n + 5/6}}}{2} = 0. \end{gather*}](/sites/default/files/tex_cache/657aec17c67d3e7ac194605155056bb3.png)