Лекция 10 (1133450)
Текст из файла
3. Метод конечных разностей1. Основные понятияРассмотрим задачу:L u ( x) f ( x), x ∈ D,==l u ( x) µ ( x), x ∈ Γ,(1)(2)где L - линейный дифференциальный оператор, l – оператордополнительных (начальных, граничных) условий,D= D + Γ.D заменяем на ωh - дискретное множество узлов – сетка,u ( x) , x ∈ D заменяем на yh ( xn ) - сеточные функции (зависят отпараметра h), xn ∈ ωh..u ( x) ∈ H 0 , yh ( xn ) ∈ H h . Пространство H0 отображается напространство Hh: u ( x) ∈ H 0 ~ uh ( x) = Рh u ( x), uh ∈ H h ,где Ph - линейный оператор из H0 в Нh.На линейном пространстве Нh вводятся сеточные нормыаналоги норм в пространстве H0.yhh-Условие согласования норм:lim uh h = uh →00, где uh= Рhu , u- норма в пространстве H0.0Пусть φh ( x) =Ph f ( x), x ∈ ωh , χ h ( x) =Ph µ ( x), x ∈ γ h ,ωh + γ h , ωh- множество внутренних узлов, γh – множествогде ω=hграничных узлов.Перейдем от дифференциальных операторов к разностным:L → Lh , l → lh .Будем говорить, что Lh аппроксимирует L с порядком m>0 в точке x,еслиψ ( x) = Lhu ( x) − Lu ( x) = O( h ).m(3)Задаче (1) – (2) ставится в соответствие система алгебраических(разностных) уравненийLh yh ( x) φh ( x), x ∈ ωh ,==lh yh ( x) χ h ( x), x ∈ γ h .(4)(5)Семейство уравнений (4), (5), зависящих от параметра h, называетсяразностной схемой.Пусть zh=yh-uh, где uh=Phu.
Так как Lh и lh линейные операторы, то получаем задачу: Lh z=h ( x ) ψ h , x ∈ ωh ,h ( x) ν h , x ∈ γ h ,lh z=(6)(7)где ψ h и νh - погрешности аппроксимации нарешении u(x) разностной схемой уравнения (1) идополнительного условия (2). Схема (4)- (5):1) аппроксимирует задачу(1)-(2) и имеет m-йпорядок аппроксимации, если=ψ h ( 2 h ) O=( h ), ν h (3h ) O( h );mm(8)2) сходится и имеет m – й порядок точности, еслиyh − u h=O( h ).(1h )m(9)Схема (4)-(5) корректна (разностная задачапоставлена корректно), если при всех достаточномалых h ≤ h0 :1) разностная задача однозначно разрешима прилюбых входных данных φh , χ h ;2) решение yh равномерно по h непрерывно зависитот входных данных (свойство устойчивости).Если Lh и lh - линейные операторы, то при h ≤ h0yh(1h )где M 1 > 0, M 2 > 0≤ M 1 φh(2 h )+ M 2 χh(3 h ),(10)- постоянные, не зависящие от h ивыбора входных данных φh , χ h .Если схема (4)-(5) устойчива, а zh – решение задачи(6)-(7),то (10) =>yh − uh (1h ) = zh (1h ) ≤ M 1 ψ h (2 h ) + M 2 ν h (3h ) (11)Из равенства (11) следует утверждение:Если линейная схема (4)-(5) устойчива иаппроксимирует задачу (1)-(2) , то она сходится (изустойчивости и аппроксимации линейной схемыследует ее сходимость).Порядок точности схемы (4)-(5) определяетсяпорядком аппроксимации.2.
Разностная задача для уравнениятеплопроводности на отрезке.∂u ∂ 2u =+ f ( x, t ), 0 < x < 1, 0 < t ≤ T , (12)2 ∂t ∂x(13)u=( x, 0) u0 ( x), 0 ≤ x ≤ 1, u (0,=t ) µ0 , u (1,=t ) µ1 , 0 ≤ t ≤ T . (14)∂u ∂ 2uРазностная аппроксимация оператора Lu=Введем равномерные сетки :xn nh ; =n 0,1,..., N ; hNωh ≡ {== 1} ,ωτ ≡ {=ts sτ ; =s 0,1,..., S ; τ=S T},ωhτ ≡ ωh ×=ωτ {( xn , ts ) ∈ D} ,D ≡ {0 ≤ x ≤ 1 ; 0 ≤ t ≤ T } .∂t−∂x2.Назовем шаблоном(x,t+τ)множество узлов, на котором(x-h,t)(x,t)(x+h,t)записывается операторw( x, t + τ ) − w( x, t ) w( x + h, t ) − 2w( x, t ) + w( x − h, t )(15)L w−2hτ=w w( x, t=), wˆ w( x, t + τ )(0)hτ1h1vx= (v( x + h) − v( x))h1v=(v x − v x )xxhvx = (v( x) − v( x − h))wˆ − wwt =τ(16)w( x + h, t ) − 2w( x, t ) + w( x − h, t )w xx =h2L(0)= wt − wxxhτ w(17)(x-h,t+τ) (x,t+τ) (x+h,t+τ)(x,t)(x-h,t+τ) (x,t+τ) (x+h,t+τ)(x-h,t)(x,t)(x+h,t)L(1)= wt − wˆ xxhτ w(18)L(hστ ) w = wt − (σ wˆ xx + (1 − σ ) wxx )(19)∂wτ ∂2w2+τwt = ( x, t ) +xtO(,)()2∂t2 ∂x∂2wh2 ∂ 4 w4+wxx = 2 ( x, t ) +xtOh(,)()4∂x2 ∂x(20)Подставляя (20) в (17), (18), получим2L(0)wLw(x,t)O(hψ (0) =−=+τ )hτ(21)2ψ (1) =L(1)w−Lw(x,t)=O(h+τ )hτ(22)==При σ=0,5 («симметричная схема») получаемψτ= L w − Lw( x, t + )= O(h 2 + τ 2 ),2 =(0,5)(0,5)hτ(23)где ψ - погрешность аппроксимации оператора Lсоответствующим разностным оператором Lhτ.Добавляя к разностному уравнению разностныеначальные и граничные условия (13), (14), получимразностную начально – краевую задачу (схему): L(hστ ) y ≡ yt − (σ yˆ xx + (1 −=σ ) yxx ) φ , ( xn , ts ) ∈ ωhτ , y ( x,0)= u0 ( x), x= xn ∈ ωh , y (0, t )= µ , y (1, t )= µ , t= t ∈ ω ,τ01s(24)(25)(26)sφ ( xn , ts ) .где φ= φ=nСхема (24)-(26) аппроксимирует задачу (12)-(14) с22O(h+τ) приσ 0,=σ 1 ипорядком O(h + τ ) при =2σ = 0,5 .Схема называется явной, если σ=0.При σ≠0 схема называется неявной (при σ=1 – чистонеявной).Явная схема (σ=0):ys +1nτ s=y + 2 ( yn −1 − 2 yns + yns +1 ) + τφnsh=n 1, 2,..., N − 1; =s 0,1,..., M .sn(27)Чисто неявная схема (σ=1):1 s +1 2 1 s +1 1 s +11 s s−( yn + φn )y − ( 2 + ) yn + 2 yn +1 =2 n −1τhh τh=n 1, 2,..., N − 1; =s 0,1,..., M .(28)ТеоремаДля устойчивости разностной схемы (24)-(26)достаточно, чтобы существовали такие не зависящиеот h и τ постоянные C1 ≥ 0 и C2 > 0 , при которыхимеет место оценка(29)s +1sy≤ (1 + C1τ ) y + C2τ φЗамечание.
В (29) введены нормы:ynsравномерная (чебышевская): y = maxn,sна s-м слое: y s = max ynsnДоказательство:(30)(31){y s +1 ≤ (1 + C1τ ) y s + C2τ φ ≤ (1 + C1τ ) (1 + C1τ ) y s −1 + C2τ φ } + C2τ φ ==(1 + C1τ )2 y s −1 + C2τ φ {1 + (1 + C1τ )} ≤ ... ≤ (1 + C1τ ) s +1 y 0 + C2τ φ {1 ++(1 + C1τ ) + ...
+ (1 + C1τ ) s } ≤ (1 + C1τ )m+1 u0 + C2τ (m + 1)(1 + C1τ )m φ , s ≤ m,(32)Так как(1 + C1τ ) ≤ (1 + C1τ ) ≤ emMC1τ M=eC1T(33)при m ≤ M , то полагая=M 1 eC1T ,=M 2 C2TM 1 ⇒y ≤ M 1 u0 + M 2 φ .(34)Рассмотрим устойчивость чисто неявной схемы(σ=1)τs +1ss +1s +1s +1s(28) => yn =yn − γ 2 yn − yn +1 − yn −1 + τφn , γ = 2 (35){}h1max yns +1 ≥ yns +1 ⇒yks0+=(36)2 yks0+1 − yks0++11 − yks0+−11 ≥ 0 ⇒(37)yks0+1 ≤ yks0 + τφks0(38)nys0+1= min yns +1 ≤ yns +1 ⇒(39)2 ys0+1 − ys0++11 − ys0+−11 ≤ 0 ⇒(40)ys0+1 ≥ ys0 + τφs0(41)ys0 + τφs0 ≤ ys0+1 ≤ yns +1 ≤ yks0+1 ≤ yks0 + τφks0(42)yns +1 ≤ y s + τ φ(43)y s +1 ≤ y s + τ φ(44)n(38), (41) =>(42) =>(43) =>Рассмотрим устойчивость явной схемы (σ=0)(27) =>ys +1n=(1 − 2γ ) y + γ y + γ y + τφsnsn +1sn −1sn(45)1Пусть γ <. Тогда 1 − 2γ > 0 и получим2yns +1 ≤ (1 − 2γ ) yns + γ yns +1 + γ yns −1 + τ φns ≤≤ (1 − 2γ + γ + γ ) y s + τ φ =ys +τ φ(46)(46) =>y s +1 ≤ y s + τ φ(47)Пустьδ yns =(−1)n ε , ε > 0 - ошибка на s-м слое.(1 − 2γ )δ yns + γδ yns +1 + γδ yns −1 =δ yns +1 ==(−1)n ε (1 − 2γ − γ − γ ) =(−1)n +1 (4γ − 1)ε1γ > ⇒ δ yns + k= (4γ − 1)k ε , 4γ − 1 > 1 ⇒(48)2ошибка неограниченно возрастает, причем суменьшением шага сетки ошибка нарастает(увеличивается число шагов).Выводы.
Чисто неявная схема является безусловноустойчивой. Явная схема является условно1устойчивой при выполнении условия γ < или2h2(49)τ<(условие Куранта).23. Метод прогонки.− F=n 1, 2, ..., N − 1 (50) An yn −1 − Cn yn + Bn yn +1 =n,æ1 y1 + µ1 , yN =æ 2 yN −1 + µ2(51) y0 =An ≠ 0, Bn ≠ =0, n1, 2, ..., N − 1.yn α n +1 yn +1 + β=n=n +1 ,0, 1, 2, ..., N − 1.(52)(52) =>yn −1= α n yn + β n= α nα n +1 yn +1 + α n β n +1 + β n(53)(50),(52),(53) =>(α n +1 (α n An − Cn ) + Bn ) yn +1 +(54)+ ( β n +1 (α n An − Cn ) + β n An + Fn ) =0(54) =>Bnα n +1 =Cn − α n AnПрямой ход:An β n + Fnβ n +1 ==nCn − α n An(55)1, 2, ..., N − 1(51),(52) n=0 =>=α1 æ=µ11 , β1(56)(51),(52) n=N-1 =>µ2 + β N æ 2yN =1-α N æ 2(57)Обратный ход:=yn α n +1 yn +1 + β n +1 ,n =N − 1, N − 2, ..., 0 (58)Достаточные условия устойчивости:Cn ≥ An + Bn=, næα ≤ 1,=α 1, 2,1, 2, ..., N − 1,æ1 + æ 2 < 2(59)Число арифметических операций прогонки O ( N ) .Покажем, что (59)=> α i ≤ 1,Индукция: а) α=æ1 ≤ 11i = 1, 2, ..., N; б) α i ≤ 1 ⇒ α i +1 ≤ 1 .(59)=>Ci − α i Ai − Bi ≥ Ci − α i Ai − Bi ≥ Ai (1 − α i ) ≥ 0 (59а)Bi ≠ 0 , (59а)=> Ci − α i Ai > 0Bi≤ 1.⇒ α i +1(59а)=> Ci − α i Ai ≥ Bi =Ci − α i Aiα i < 1 ⇒ α i +1 < 1Если α1 < 1 , то Ai ≠ 0 ,(59а) => Ci − α i Ai > Bi ⇒ α i +1 < 1.Покажем, что (59)=> 1 − α n æ 2 ≠ 0.Покажем, чтоа) æ 2 < 1 ⇒ æ1 ≤ 1 ⇒ α1 ≤ 1 ⇒ α N ≤ 1 ⇒1 − α N æ 2 ≥ 1 − α N æ 2 ≥ 1 − æ 2 > 0.б) æ 2 ≤ 1 ⇒ æ1 < 1 ⇒ α1 < 1 ⇒ α N < 1 ⇒1 − α N æ 2 ≥ 1 − α N æ 2 ≥ 1 − α N > 0.yi +1 − yi +1 не нарастает:При α i ≤ 1 ошибка δ y=i +1y=i α i +1 yi +1 + βi +1 , y=i α i +1 yi +1 + βi +1 ⇒ δ y=i α i +1 yi +1 ⇒δ yiα i +1 δ yi +1 ≤ δ yi +12maxδy≈εNЕсли α i +1 , β i +1 возмущаются, то,i01≤i ≤ Nгде ε 0 - ошибка округления..
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.