Professional Documents
Culture Documents
Lab 13
Lab 13
Виконав:
студент 2-го курсу
ННК ІПСА гр. ДА-52
Білозуб В.Д.
Київ 2017 р.
Варіант №4
Розглянемо розв’язання крайової задачі (13.3), (13.4). Ідея методу полягає в тому,
що похідні в диференціальному рівнянні (13.3) і крайових умовах (13.4)
заміняються їх кінцево-різницевими апроксимаціями. Введемо на відрізку [a,b]
сітку з кроком:
b-a
: {ti | ti t0 i ; i 0, n; t0 a; tn b} .
n
Позначимо через yi = y(ti) значення точного розв’язку задачі (13.1) у i-му вузлі сітки,
а через ui — значення наближеного розв’язку в цій точці. Заміняючи в кожному
внутрішньому вузлі сітки похідні різницями, отримаємо різницеві рівняння :
ui1 - 2ui ui1 ui1 - ui1
pi qi ui f i , i 1, n - 1 (13.21)
2
2
Як відомо, симетричним різницевим апроксимаціям похідних першого і другого
порядку властива глобальна похибка другого порядку відносно т, тобто О(τ2), а
також локальна похибка третього порядку відносно τ, тобто О(τ3). Це легко
доводиться розкладанням у ряд Тейлора виразів:
ui 2 ui(3) 3
ui 1 ui ui .....
2 6
ui 2 ui(3) 3
ui1 ui ui
.....
2 6
з різниці яких отримуємо шуканий результат:
ui(3) 3
ui 1 ui 1 2ui ..... 2ui O( 3 ) .
3
Тому різницеве рівняння (13.21) апроксимує вихідне диференціальне рівняння
(13.4) на його розв’язку також із другим порядком відносно τ. Знайдемо нев'язок
різницевого рівняння:
ui 1 2ui ui 1 ui 1 ui 1
ri pi qiui fi . (13.22)
2
2
Апроксимуємо крайові умови наступними різницевими рівняннями:
u u u u
0u0 0 1 0 0 , 1un 1 n n1 1 , (13.23)
Знайдемо похибку апроксимації крайових умов. Нев'язки рівнянь (11.23) мають
вигляд:
y1 y0 yn yn 1
r0 0 y0 0 0, rn 1 yn 1 1 .
Асиметрична апроксимація першої похідної на відміну від симетричної має
глобальну похибку першого порядку за τ, тобто О(τ), і отже, локальну похибку
другого порядку чи О(τ2). Це безпосередньо випливає з розкладання в ряд
Тейлора виразу
ui 2
ui 1 ui ui ..... ,
2
із якого отримуємо
ui 2
ui1 ui ui
.... ui O( 2 ).
2
Отже, крайові умови (11.23) апроксимовані з першим порядком за τ. Порядок їх
апроксимації можна підвищити до другого, наприклад, наступними кінцево-
різницевими співвідношеннями:
3u0 4u1 u2 u 4un 1 3un
0u0 0 0 , 1un 1 n 2 1 (13.24)
2 2
глобальна похибка апроксимації яких також дорівнює О(τ2), як і в симетричній
апроксимації похідних. Це випливає з зіставлення двох розкладань у ряд Тейлора:
ui 2 ui(3) 3
ui 1 u( xi ) ui ui .....
2 6
ui u (3)
ui 2 u( xi 2 ) ui 2ui (2 )2 i (2 )3 ..... ,
2 6
з яких при множенні першого розкладання на 4 і вирахуванні його з другого
рівняння отримуємо:
4ui(3) 3
ui 2 4ui 1 ui 2ui ..... 2u i O( 3 ) .
6
Розглянемо ще одну можливість врахування крайових умов типу (13.4) на прикладі
умови:
lb [ y] 1 y(b) 1 y(b) 1 .
Для цього вводиться додаткова точка tn + 1 = b + τ за межами інтервалу [a,b], для
якої з глобальною похибкою O(τ2) справедливе співвідношення із симетричною
апроксимацією:
1 (un 1 un 1 )
1 yn 1 (13.25)
2
Цю точку з координатою un+1 можна виключити, скориставшись виразом (13.25) і
різницевою апроксимацією диференціального рівняння y”(t) = f(t) в кінцевій точці
інтервалу tn = t0 + nτ:
un 1 2un un 1
f n f (tn ) ,
2
при цьому отримуємо рівняння для межевої умови в точці n з порядком O(τ2):
(1- 0.5 pn-1 ) u n-2 - (2 - 2qn-1 ) u n-1 (1- 0.5 pn-1 ) u n 2f n-1 .
Виключимо з них un - 2, знаходимо:
la [u] la [0 (a) i1 cii (a)] la [0 (a)] la [i1 cii (a)] 0 i1 cila [i (a)] 0 .
n n n
l b [u ] 1 . (13.34)
Ідея методу колокацій полягає в тому, що, вибравши n різних точок
a x1 x 2 ... x n b
на відрізку [a,b], названих вузлами колокацій, підбирають значення ci так, щоб
отримана при цьому функція u(x) (13.31) задовольняла рівнянню (13.3) у кожному з
вузлів інтерполяції. Тобто для кожного вузла колокацій tj повинна виконуватися
рівність:
де L[i (t j )] i (t j ) p(t j )i (t j ) q(t j )i (t j ), j 1, n . (13.36)
Покладемо
aij L[i (t j )], b j f (t j ) L[0 (t j )] , (13.37)
α1 ( b a )2 β1 ( i 2 )( b a )
si (13.43)
α1 ( b a ) β1( i 1 )
Якщо в умовах (13.40) β0 = 0, то можливий інакший вибір, а саме:
i (t) =si (t-a)i + (t-a)i +1 , (13.44)
α1 ( b a )2 β1 ( i 1 )( b a )
si (13.45)
α1 ( b a ) i β1
Метод Гальоркіна
(t ) (t )dt 0 при i j та
a a
i j i
2
(t )dt 0 . (13.51)
b b
і повною, тобто не існує ніякої іншої відмінної від нуля ортогональної функції до
всіх функцій φi(t), i = 0,1,2,…
Підставимо наближений розв’язок (13.50) у рівняння (13.3) і знайдемо нев'язок:
b k 1 2 n (13.53)
або, у більш докладній формі:
яка повинна бути при 0≤t≤b якомога меншою по абсолютній величині. Тому
зажадаємо, щоб виконувалася умова:
що мають вигляд
x xi 1
h , якщо x [ xi 1 , xi ]
x xi 1
i ( x) , якщо x [ xi , xi 1 ] (13.65)
h
0, якщо x [ xi 1 , xi ]
і які звичайно звані фінітними. Графік однієї з таких функцій наведено на рис.13.7,
з якого витікає, що функція відмінна від нуля тільки на інтервалі ( xi 1 , xi1 ). Щодо
сукупності фінітних функцій, що задаються на відрізку [а,b],то відомо, що вони
лінійно незалежні (більш того, ортогональні в спеціальній енергетичній нормі) і
утворюють повну систему в просторі L1[а,b]. Це дає підставу для їх
використовування в якості базисних функції в методі Галеркіна.
ak i k ( x) L[i ( x)]dx
b
a a
a a
x j 1
[k ( x) i ( x) p( x)k ( x)i ( x) q( x)k ( x)i ( x)]dx (13.68)
xj
j 0
Для їх обчислення треба визначити значення похідних від фінітних функцій. З
цією метою диференціюємо (13.65) і отримаємо:
1
h , якщо x [ xi 1 , xi ]
1
( x) , якщо x [ xi , xi 1 ] (13.69)
h
0, якщо x [ xi 1 , xi ]
Функція відмінна від нуля також тільки на інтервалі ( xi 1 , xi1 ). Крім того, на одному
і тому ж інтервалі ( xi1 , xi ) ненульовими є дві сусідні базисні функція і їх похідні:
на ( xi1 , xi ) відмінні від нуля, на ( xi , xi1 ) - i ( x), i 1 ( x), i( x), i1 ( x) , і т.д.
x xi 1 ( x xi 1 )
xi 2
1
aii
xi 1
[
h 2
p( x )
h 2
q( x)
h2
]dx
(13.71)
x xi 1 ( x xi 1 )
xi 1 2
1
xi
[ 2 p( x )
h h 2
q( x)
h2
]dx
При i=k+1, отримаємо формули для елементів правої побічної діагоналі матриці А:
( x xi 1 ) ( x xi 1 )( x xi )
xi 1
1
ai i 1 [h
xi
2
p( x)
h 2
q( x)
h2
]dx, (13.72)
Хід роботи:
№1)
№2)
№3)
№4)
№5)
№6)
Висновок:
Під час даної роботи були придбані практичні навички в чисельному інтегруванні звичайних
диференційних рівнянь при заданих граничних умовах, застосуванні стандартних операторів
пакету Mathematica для розв’язання звичайних диференційних рівнянь, досліджені методи
кінцевих елементів, колокацій, Гальоркіна, кінцевих елементів.