Алгоритмічний аналіз рівняння Бесселя засобами диференціальної теорії Галуа

Abstract

У статті подано спосіб академічного і водночас методично доступного пояснення алгоритмічних засад систем комп’ютерної алгебри на прикладі рівняння Бесселя. Предметом розгляду є не чисельне знаходження наближень і не технічна робота з програмним середовищем, а внутрішня логіка строгого алгебраїчного висновку про те, чи може лінійне диференціальне рівняння другого порядку мати розв’язок у скінченних термінах. Для цього використано поняття диференціального поля, Окрему увагу приділено змісту алгоритму Ковачіча як навчального об’єкта. Пояснено, що цей алгоритм спирається на класифікацію можливих підгруп спеціальної лінійної групи матриць другого порядку і тому має не лише обчислювальний, а й доказовий характер.Він дозволяє встановити, чи існує розв’язок у вигляді експоненти інтеграла раціональної функції, чи задача зводиться до квадратичного розширення, чи можуть виникати скінченні примітивні групи, або ж потрібно визнати відсутність ліувіллевих розв’язків. Для підготовки магістрів з математики така логіка є принциповою, бо вона переводить увагу з зовнішнього вигляду формули на структуру об’єкта. У результаті рівняння розглядається не як набір символів, до якого треба підібрати вдалу підстановку, а як диференціальний об’єкт, для якого можна досліджувати тип розширення, властивості групи автоморфізмів і межі алгоритмічної розв’язності. Це істотно змінює характер навчального матеріалу і робить його ближчим до сучасного розуміння символьних обчислень. Запропоновано модель подання теми у навчальному курсі. Її доцільно будувати як послідовність кількох етапів: перехід до нормальної форми, аналіз особливих точок раціональної функції, встановлення можливих випадків алгоритму, відсікання неможливих варіантів і формулювання остаточного висновку про існування або відсутність ліувіллевих розв’язків. Така схема не перевантажує курс зайвою термінологією, але дає змогу показати, як із теоретичних положень виростає чітка алгоритмічна процедура. Практична цінність дослідження полягає в тому, що складні положення диференціальної алгебри та теорії лінійних диференціальних рівнянь другого порядку подано у формі, придатній для освітнього використання в магістерській підготовці. Запропонований підхід можна використовувати в курсах диференціальних рівнянь, абстрактної алгебри, математичного аналізу та дисциплін, пов’язаних із цифровими математичними технологіями. Він формує в здобувачів освіти уявлення про принципи роботи систем комп’ютерної алгебри, розвиває вміння пов’язувати аналітичні властивості функцій з алгебраїчною структурою рівнянь і створює основу для подальшого вивчення алгоритмів символьного інтегрування та теорії спеціальних функцій.