Mapleda differensial tenglamalarni yechish funksiyalari



![Differensial operatorlarni qo'shish, ko'paytirish, o'rniga qo'yish va boshqalarga
o'xshash o'rin almashtirib bo'lmaydi (noncommutative domain) . C(x)[DF]dagi L
differensial operatori buL := a ( x ) DF ( n ) + . . . +
a ( x )
DF a( x ), bo'lib , bu yerda
n
1 0
a ( x ) C(x)ning elementlari. C(x)[Dx] dagi L elementi L( y(x) )=0 chiziqli bir xil
i
differensial tenglamaga to'g'ri keladi.
C(x)[Dx] doirasida ko'paytirish differensial operatorlarni shakllantirishga
to'g'ri keladi. Shunday qilib agar L = mult(f,g) bo'lsa, u holda L( y(x) ) =
f(g( y(x) )). Xususan, mult(DF,x) = x*DF + 1.
Misol tariqasida qanday algebraik amallarni bajarish mumkinligini ko'rish uchun
quyidagi differensial operatorlarga e'tibor bering:
> L1 := x^2*DF^2 - x*DF + (a-x^2);
L1 := x 2
DF 2
x DF a x 2
> L2 := x*DF - (x^2-b);
L2 := x DF x 2
b
> L3 := DF^2 - x;
L3 := DF 2
x
Biz bu operatorlari ko'paytirib shuni eslatib o'tishimiz mumkinki, ularni
o'rnini almashtirib bo'lmaydi:
> L4 := collect( mult( L1, L2, [DF, x] ), DF );](/data/documents/ffbd53ea-025b-43c8-862a-7b2b79d63ba5/page_4.png)
![L4 := x 3
DF 3
( x 4
x 2
x 2
b ) DF 2
( a x x b x 4 x 3
) DF a x 2
x 4
x 2
b a
b
> L5 := collect( mult( L2, L1, [DF, x] ), DF );
L5 :=
x 3
DF 3
( x 4
x 2
x 2
b ) DF 2
( x b x a x ) DF a b x 4
2 x 2
a x 2
x 2
b
Argument [DF, x] mult komandasiga ko'paytirish DF va x belgilab bergan
differensial sohasi ustida ekanligini ko'rsatadi, shuning uchun a va b o'zgaruvchilari
o'zgarmas songa teng. Bu yana _Envdiffopdomain := [DF, x], muhit o'zrgaruvchisi
orqali belgilanishi mumkin.
Bir tomonli eng kichik umumiy ko'paytuvchi va eng katta umumiy bo'luvchi
tushunchasi shunday sohalarda mavjud bo'ladi. Misol tariqasida,
> L6 := LCLM( L3, L2, [DF, x] );](/data/documents/ffbd53ea-025b-43c8-862a-7b2b79d63ba5/page_5.png)
![va
> L7 := GCRD( L4, L6, [DF, x] );
L7 := DF x
2
x b
Ikki holatda ham yuqoridagi amal 0 qoldiqli bo'linmani beradi. Hisobni
to'g'riligi quyidagi ko'paytirish orqali tekshirish mumkin:
> collect( L4 - mult( %[1], L7, [DF,x] ), DF, normal );
Differensial tenglamalarning umumiy yechimi.
Maple da differensial tenglamalarning analitik yechimlarini topish uchun
quyidagi komanda ishlitiladi:
dsolve(eq,var,options),
bu yerda eq – differensial tenglama, var – noaniq funkslar, options – parametrlar.
Parametrlar masalaning yechilish metodini ko’rsatishi mumkin, masalan, jimlik
qoidasi bo’yicha analitik yechim quyidagicha izlanadi: type=exact. Differensial
tenglamani kiritishda hosilani bildirish uchun diff komanda ishlatiladi, masalan,
y'' + y = x differensial tenglama quyidagi ko’rinishda yoziladi: diff(y(x),x$2)+y(x)=x.](/data/documents/ffbd53ea-025b-43c8-862a-7b2b79d63ba5/page_6.png)








Mavzu: Mapleda differensial tenglamalarni yechish funksiyalari. 1. Nazariy qism 2. Berilgan topshiriqning bajarilish qismi 3. 2.1. Laboratoriya topshirig’i mazmuni 2.2. Mustaqil ishning bajarilishi 4. Xulosa 5. Adabiyotlar
1 . Nazariy qism Chiziqli differensial tenglamalar. .Maple tizimida, DEtools paketining subsetini ishlatgan holatda differensial operatorlar bilan ishlash mumkin. Differensial operatorlar bu holda ko'phad obyektlar bo'lib quyidagi shaklga ega bo'ladi: L := a ( x ) DF ( n ) + . . . + a( x ) DF a ( x ) N 1 0 a ( x ) koeffisiyentlari soha ustidagi ratsional funksiya hisoblanadi. Bu yerda D i DF( x ) 1 va DF( u v ) u DF( v ) DF( u ) v . kabi xossalarni qonotlantiradigan obyekt hisoblanadi . Bu operatorlar ustida ko'paytirish, simmetrik ko'paytmalar hosil qilish, bir tomonli eng katta umumiy bo'luvchilarni topish, ko'paytuvchilarga ajratish, va boshqa funksiyalarni bajarish mumkin. Mark van Xoyeyjga (Nijmegen Universiteti) xos bu funksiya chiziqli differensial tenglamalarning yopiq shakldagi natijalarini topishda kelajakdagi rivojlanishlarga imkon yaratadi. Quyida DEtools ning subpaketidagi amaliyotlar keltirilgan. DEtools paketida biz with komandasidan komandalarning qisqa shaklini ishlatishga imkon yaratishi uchun foydalanamiz. > restart;
> with(DEtools): Differensial operatorlar bilan algebraik amallar bajarish .
Differensial operatorlarni qo'shish, ko'paytirish, o'rniga qo'yish va boshqalarga o'xshash o'rin almashtirib bo'lmaydi (noncommutative domain) . C(x)[DF]dagi L differensial operatori buL := a ( x ) DF ( n ) + . . . + a ( x ) DF a( x ), bo'lib , bu yerda n 1 0 a ( x ) C(x)ning elementlari. C(x)[Dx] dagi L elementi L( y(x) )=0 chiziqli bir xil i differensial tenglamaga to'g'ri keladi. C(x)[Dx] doirasida ko'paytirish differensial operatorlarni shakllantirishga to'g'ri keladi. Shunday qilib agar L = mult(f,g) bo'lsa, u holda L( y(x) ) = f(g( y(x) )). Xususan, mult(DF,x) = x*DF + 1. Misol tariqasida qanday algebraik amallarni bajarish mumkinligini ko'rish uchun quyidagi differensial operatorlarga e'tibor bering: > L1 := x^2*DF^2 - x*DF + (a-x^2); L1 := x 2 DF 2 x DF a x 2 > L2 := x*DF - (x^2-b); L2 := x DF x 2 b > L3 := DF^2 - x; L3 := DF 2 x Biz bu operatorlari ko'paytirib shuni eslatib o'tishimiz mumkinki, ularni o'rnini almashtirib bo'lmaydi: > L4 := collect( mult( L1, L2, [DF, x] ), DF );
L4 := x 3 DF 3 ( x 4 x 2 x 2 b ) DF 2 ( a x x b x 4 x 3 ) DF a x 2 x 4 x 2 b a b > L5 := collect( mult( L2, L1, [DF, x] ), DF ); L5 := x 3 DF 3 ( x 4 x 2 x 2 b ) DF 2 ( x b x a x ) DF a b x 4 2 x 2 a x 2 x 2 b Argument [DF, x] mult komandasiga ko'paytirish DF va x belgilab bergan differensial sohasi ustida ekanligini ko'rsatadi, shuning uchun a va b o'zgaruvchilari o'zgarmas songa teng. Bu yana _Envdiffopdomain := [DF, x], muhit o'zrgaruvchisi orqali belgilanishi mumkin. Bir tomonli eng kichik umumiy ko'paytuvchi va eng katta umumiy bo'luvchi tushunchasi shunday sohalarda mavjud bo'ladi. Misol tariqasida, > L6 := LCLM( L3, L2, [DF, x] );