Umumiy holatda birinchi tartibli oddiy differensial tenglamaning (ODE) aniq yechimini uni integrallash orqali topish mumkin emas. Bundan tashqari, bu ODE tizimi uchun amalga oshirilmaydi. Ushbu holat ODE va ularning tizimlarini echishning ko'plab taxminiy usullarini yaratishga olib keldi. Taxminiy usullar orasida uchta guruhni ajratish mumkin: analitik, grafik va raqamli. Albatta, bunday tasnif ma'lum darajada o'zboshimchalikdir. Masalan, differensial tenglamani sonli yechish usullaridan biri negizida Eyler siniq chiziqlarining grafik usuli yotadi.
Quvvat seriyalaridan foydalangan holda ODElarni integratsiyalash, qoida tariqasida, kamida ikkinchi darajali chiziqli tenglamalarga qo'llaniladigan taxminiy analitik usuldir. Oddiylik uchun biz o'zgaruvchan koeffitsientli chiziqli bir hil ikkinchi darajali ODEni ko'rib chiqish bilan cheklanamiz.
(1.12)
Eslatma: juda keng funktsiyalar sinfi sifatida ifodalanishi mumkin
ba'zi konstantalar qayerda. Bu ifoda kuch qatori deyiladi.
Faraz qilaylik, funksiyalarni intervalda yaqinlashuvchi qatorlarga kengaytirish mumkin:
Quyidagi teorema o'rinli (isbotni qoldirmasdan, biz faqat uning formulasini keltiramiz).
1.5 teorema: agar funktsiyalar (1.13) ko'rinishda bo'lsa, u holda ODE (1.12) ning har qanday yechimini yaqinlashuvchi darajalar qatori sifatida ko'rsatish mumkin:
(1.14)
Bu teorema yechimni darajalar qatori ko’rinishida ifodalash imkonini beribgina qolmay, balki, eng muhimi, (1.14) qatorning yaqinlashuvini asoslaydi. Oddiylik uchun biz (1.13) va (1.14) ni qo'yamiz va ODE (1.12) ning echimini shaklda qidiramiz.
(1.15)
(1.15) ni (1.12) ga almashtirib, tenglikka erishamiz
(1.16) ni bajarish uchun har bir darajadagi koeffitsient nolga teng bo'lishi kerak.
Bu shartdan chiziqli algebraik tenglamalarning cheksiz sistemasini olamiz
Agar biz qiymatlarni o'rnatgan bo'lsak, ketma-ket topish mumkin va (ODE uchun Koshi muammosi (1.12) bo'lsa, ular dastlabki shartlarga kiritilgan) ).
Funktsiyalar oqilona bo'lsa, ya'ni.
ko'phadlar qayerda bo'lsa, u holda darajalar qatori ko'rinishidagi yechim mavjud bo'lmasligi mumkin bo'lgan nuqtalar yaqinida va agar mavjud bo'lsa, nuqtadan tashqari hamma joyda ajralishi mumkin. Bu holat L ga allaqachon ma'lum edi. Birinchi tartibli tenglamani ko'rib chiqqan Eyler
Bu tenglama kuch qatori bilan qanoatlantiriladi
Biroq, bu seriya har qanday kishi uchun farqlanishini ko'rish oson
ODE ning ajraladigan kuch qatori ko'rinishidagi yechimi formal deyiladi.Ko'rib chiqilgan misolda ikkinchi o'rinda faqat bitta nol bor edi va bu unchalik yomon emas. Umumiy holatda, siz xohlagancha va istalgan joyda nol bo'lishi mumkin. Yakuniy bosqichda almashtirishlarda adashmaslik uchun ularni nolga teng bo'lmagan natijalar bilan birga ta'kidlash juda muhim.
Teylor qatorining nolga teng bo‘lmagan dastlabki uchta hadi ko‘rinishidagi boshlang‘ich shartga mos keladigan differensial tenglamaning taqribiy qisman yechimini toping.
Dars oxirida topshiriqni loyihalashning taxminiy namunasi. Algoritmning nuqtalari raqamlanmasligi mumkin (masalan, qadamlar orasida bo'sh chiziqlar qoldirib), lekin men yangi boshlanuvchilarga qat'iy shablonga rioya qilishni maslahat beraman.
Ko'rib chiqilayotgan muammo ko'proq e'tiborni talab qiladi - agar siz biron bir qadamda xato qilsangiz, qolgan hamma narsa ham noto'g'ri bo'ladi! Shuning uchun, sizning aniq boshingiz soat kabi ishlashi kerak. Afsuski, bu emas integrallar yoki diffuziya, ular charchagan holatda ham ishonchli tarzda hal qilinadi, chunki ular samarali tekshirishga imkon beradi.
Amalda, bu juda keng tarqalgan Maklaurin seriyasining kengayishi:
4-misol
Do'stlaringiz bilan baham: |
