ВУЗ:
Составители:
62
получены также аналитическим путем. Рассмотрим метод, применение которого
выходит далеко за рамки частной численной задачи об уравнении теплопроводности
– спектральный метод (СМ) анализа устойчивости.
Идея СМ очень проста. Любая функция, являющаяся решением (10.1) может
быть разложена в ряд Фурье. Если конечно-разностная схема устойчива, то она
должна быть устойчива по отношению к каждой компоненте ряда Фурье. При этом
действие конечной разности (10.5), (10.6) на одну компоненту ряда Фурье не меняет
её вид, а лишь сводится к умножению на число, равно как и действие оператора
второй производной в (10.1). Рассмотрим подробнее, сначала для явной схемы
(10.5):
i
xi
j
i
eT
ω
=
,
i
xi
j
i
CeT
ω
=
+1
(10.2.1)
Подставим (10.2.1) в (10.5):
( )
( ) ( )
( )
( )
hihi
xixi
hxixihxixixixixixixi
eeee
eeeeeeeeCe
ii
iiiiiiiii
ωω
ωω
ωωωωωωωωω
λ
λλ
−
−+
+−+=
=+−+=+−+=
−+
2
22
11
(10.2.2)
Сокращая
i
xi
e
ω
, получаем
C
:
( )
( )
2
sin412cos2121
2
h
heeC
hihi
ω
λωλλ
ωω
−=−+=+−+=
−
(10.2.3)
Чтобы разностная схема была устойчивой, должно выполняться
1≤C
для
любого
ω
. В противном случае вес соответствующей компоненты будет возрастать
экспоненциально с числом итераций, а само решение станет неустойчивым.
Тогда:
1
2
sin
411
2
≤
−≤−
h
ω
λ
(10.2.4)
Или:
≤
≥
2
2
sin4
0
2
sin4
2
2
h
h
ω
λ
ω
λ
(10.2.5)
Первое неравенство в (10.2.5) выполняется всегда. Второе будет выполняться
для любого
ω
только в случае
2/1≤
λ
. Это и есть условие устойчивости для явной
конечноразностной схемы уравнения теплопроводности, полученное нами в
численном эксперименте при выполнении задания из предыдущей главы.
Для неявной схемы получим похожее на (10.2.3) уравнение:
получены также аналитическим путем. Рассмотрим метод, применение которого выходит далеко за рамки частной численной задачи об уравнении теплопроводности – спектральный метод (СМ) анализа устойчивости. Идея СМ очень проста. Любая функция, являющаяся решением (10.1) может быть разложена в ряд Фурье. Если конечно-разностная схема устойчива, то она должна быть устойчива по отношению к каждой компоненте ряда Фурье. При этом действие конечной разности (10.5), (10.6) на одну компоненту ряда Фурье не меняет её вид, а лишь сводится к умножению на число, равно как и действие оператора второй производной в (10.1). Рассмотрим подробнее, сначала для явной схемы (10.5): Ti j = e iωxi , Ti j +1 = Ce iωxi (10.2.1) Подставим (10.2.1) в (10.5): ( ) ( ) Ce iωxi = e iωxi + λ e iωxi +1 − 2e iωxi + e iωxi −1 = e iωxi + λ e iω ( xi + h ) − 2e iωxi + e iω ( xi − h ) = (10.2.2) ( = e iωxi + λe iωxi e iωh − 2 + e −iωh ) Сокращая e iωx , получаем C : i ωh ( ) C = 1 + λ e iωh − 2 + e −iωh = 1 + λ (2 cos ωh − 2 ) = 1 − 4λ sin 2 2 (10.2.3) Чтобы разностная схема была устойчивой, должно выполняться C ≤ 1 для любого ω . В противном случае вес соответствующей компоненты будет возрастать экспоненциально с числом итераций, а само решение станет неустойчивым. Тогда: ωh − 1 ≤ 1 − 4λ sin 2 ≤1 (10.2.4) 2 Или: 2 ωh 4λ sin 2 ≥ 0 (10.2.5) 4λ sin 2 ωh ≤ 2 2 Первое неравенство в (10.2.5) выполняется всегда. Второе будет выполняться для любого ω только в случае λ ≤ 1 / 2 . Это и есть условие устойчивости для явной конечноразностной схемы уравнения теплопроводности, полученное нами в численном эксперименте при выполнении задания из предыдущей главы. Для неявной схемы получим похожее на (10.2.3) уравнение: 62