Понятие о методах конечных элементов
7.6. МКЭ для нестационарных уравнений
Рассмотрим простейшую МКЭ - аппроксимацию уравнения теплопроводности:
![\frac{{\partial}u}{{\partial}t} = D \frac{{{\partial}^2 u}}{{{\partial}x^2}}](/sites/default/files/tex_cache/9789030de4fc20db4394a364e967ed14.png)
с соответствующими граничными и начальными условиями. Будем искать решение в виде
![u = \sum\limits_{j = 1}^{N}{C_j (t) \psi_j^{N}}.](/sites/default/files/tex_cache/9c98bf047c02130263a8f57b36d904a6.png)
Используя подход Галеркина, получаем (в базисе из "крышечек")
![\frac{1}{6} \frac{{dC_{j - 1}}}{dt} + \frac{2}{3}
\frac{{dC_j }}{dt} + \frac{1}{6} \frac{{dC_{j + 1}}}{dt} = \frac{D}{{h^2}}(C_{j - 1} - 2C_j + C_{j + 1}).](/sites/default/files/tex_cache/888ae0928156f0cd1a55e266ec720d81.png)
Это — система дифференциально - разностных уравнений. Теперь необходимо заменить производные по времени разностными отношениями.
Заметим, что "явная" схема (когда в правой части стоят коэффициенты разложения на предыдущем слое по времени ) уже не является явной, в соответствии с определением явных методов, данном выше:
![\frac{1}{6} \frac{{C_{j - 1}^{n + 1} - C_{j - 1}^{n}}}{\tau} +
\frac{2}{3} \frac{{C_j^{n + 1} - C_j^{n}}}{\tau} + \frac{1}{6} \frac{{C_{j + 1}^{n + 1} - C_{j + 1}^{n}}}{\tau} = \frac{D}{{h^2}}(C_{j - 1}^{n} - 2C_j^{n} + C_{j + 1}^{n}
)](/sites/default/files/tex_cache/c11b3369d166c78853c8166bfebcd6c4.png)
и на n + 1 - м слое все равно необходимо решать систему уравнений методом прогонки. Причиной этого вычислительного неудобства является то, что система дифференциальных уравнений для определения зависимости коэффициентов разложения — это система обыкновенных дифференциальных уравнений, но не записанная в нормальной форме Коши.
Попытаемся исследовать схему на устойчивость спектральному признаку фон Неймана. Подставив в приведенное выше разностное уравнение
![C_j^{n} = {\lambda}^{n}e^{ij {\varphi}},](/sites/default/files/tex_cache/c7b765e22f91a9cfd1e4f0023f25bbb4.png)
получаем выражение для спектра оператора послойного перехода
![\frac{{{\lambda} - 1}}{6}[e^{i {\varphi}} + 4 + e^{- i {\varphi}} ] =
k[e^{i {\varphi}} + 2 + e^{- i {\varphi}}],](/sites/default/files/tex_cache/733d22235fcda5493c9c58ba722d6321.png)
где
![k = D \frac{\tau}{h^2}.](/sites/default/files/tex_cache/9223d74210e7fac0d7dba4e6086a80ad.png)
![\lambda:](/sites/default/files/tex_cache/43c6bed47b5e4a3227dbac5620791165.png)
![\begin{gather*} \frac{{\lambda}- 1}{6} = \frac{{k(2 \cos {\varphi}- 2)}}{{4 + 2 \cos {\varphi}}}, \\
{\lambda} = 1 - 6k \frac{{\cos {\varphi} - 1}}{{\cos {\varphi}+ 2}}, \mbox{ откуда условием устойчивости будет } k \le \frac{1}{6}. \end{gather*}](/sites/default/files/tex_cache/9a9d67b1211c8f9e6a3049488c344c0a.png)
Имеет смысл пользоваться "неявной схемой" (правая часть берется с верхнего слоя по времени) или аппроксимацией типа Кранка - Никольсон.
Продолжим рассмотрение применения МКЭ к нестационарным уравнениям. Как и ранее, смотрим задачу для уравнения теплопроводности
![\frac{{\partial}u}{{\partial}t} = D \frac{{{\partial}^2 u}}
{{{\partial}x^2}}.](/sites/default/files/tex_cache/358845e09c17f6141a71608c65d2f184.png)
Выбирая базис из "крышечек", представляем решение в виде
![u = \sum\limits_{j = 1}^{N}{C_j (t) \psi_j^{N}}.](/sites/default/files/tex_cache/9c98bf047c02130263a8f57b36d904a6.png)
Подставляя последнее уравнение в исходное и применяя стандартную процедуру метода Галеркина, получаем систему дифференциальных уравнений
![\frac{1}{6} \frac{{dC_{j - 1}}}{dt} + \frac{2}{3} \frac{{dC_j }}{dt} + \frac{1}{6} \frac{{dC_{j + 1}}}{dt} = \frac{D}{{h^2}}(C_{j - 1} - 2C_j +
C_{j + 1})](/sites/default/files/tex_cache/12ee88436cc7859fcf7d43e0396f0f27.png)
(шаг сетки считается постоянным), или, в матричном виде
![]() |
( 7.15) |
При этом, в любом базисе
![{\mathbf{B}} = {\mathbf{B}}^* > 0, \quad {\mathbf{A}} = {\mathbf{A}}^* > 0.](/sites/default/files/tex_cache/edaae7340d4ecd41aba451662f200528.png)
Тогда
![\exists {\mathbf{B}}^{1/2} : \quad {\mathbf{B}}^{1/2}{\mathbf{B}}^{1/2} =
{\mathbf{B}}.](/sites/default/files/tex_cache/f7754bd7f1beac190e11c348b281eee1.png)
Матрица - самосопряженная положительно
определенная. Можно записать последнее уравнение (7.15) в виде
![{\mathbf{B}}^{1/2}{\mathbf{B}}^{1/2} \frac{{d{\mathbf{C}}}}{dt} = \frac{D}{{h^2}}{\mathbf{AB}}^{- 1/2}{\mathbf{B}}^{1/2}{\mathbf{C}}.](/sites/default/files/tex_cache/79e364339b2e37a9710177d43c512b26.png)
Введем вектор и умножим последнее соотношение слева на
, тогда
получаем
![]() |
( 7.16) |
Таким образом, из неявной системы (7.15) получена "явная" система (7.16) — перед вектором производных нет матричного множителя.
Запишем для (7.16) схему Кранка - Николсон:
![]() |
( 7.17) |
Вопрос об устойчивости схемы (7.17) можно решить следующим образом. Умножим (7.17) на . Получаем соотношение:
![\begin{gather*} ({\mathbf{z}}^{n + 1}, {\mathbf{z}}^{n + 1}) - ({\mathbf{z}}^{n}, {\mathbf{z}}^{n}) = \frac{{\sigma}}{2}({\mathbf{B}}^{- 1/2}
{\mathbf{AB}}^{- 1/2} ({\mathbf{z}}^{n + 1} + {\mathbf{z}}^{n}), ({\mathbf{z}}^{n + 1} + {\mathbf{z}}^{n}));\\
\|{\mathbf{z}}^{n + 1}\|^2 = \|{\mathbf{z}}^{n}\|^2 + \frac{{\sigma}}{2}({\mathbf{P}}({\mathbf{z}}^{n + 1} + {\mathbf{z}}^{n}), ({\mathbf{z}}^{n + 1} + {\mathbf{z}}^{n})) \le \|{\mathbf{z}}^{n}\|^2 - \frac{{{\sigma}{\lambda}}}{2} \|{\mathbf{z}}^{n + 1} + {\mathbf{z}}^{n}\|^2
\end{gather*}](/sites/default/files/tex_cache/04458cb3d14df53b0a235317ff6d745d.png)
в силу того, что (спектр оператора
уже известен). Последнее неравенство и означает безусловную устойчивость метода.