Про теореми існування і єдиності розв’язків. Як це розуміти

Анотація

У теорії рівнянь математичної фізики теореми існування та єдиності розв’язків граничних задач відіграють фундаментальну роль. Проте у практичних застосуваннях ці теореми часто інтерпретуються формально, без належного усвідомлення змісту поняття «єдиність розв’язку». Це породжує методологічні труднощі при побудові аналітичних та чисельних розв’язків задач теорії потенціалу та інших задач математичної фізики. Тому важливим є уточнення практичного змісту поняття єдиності розв’язку та аналіз можливих форм його представлення.

Метою роботи є поглиблення розуміння поняття єдиності розв’язку граничної задачі шляхом аналізу конкретного прикладу з теорії потенціалу. Основними завданнями є: побудова альтернативних аналітичних представлень розв’язку задачі Діріхле для рівняння Лапласа у прямокутній області; дослідження можливості отримання різних за формою аналітичних виразів, що описують один і той самий фізичний розв’язок; аналіз збіжності чисельних оцінок, отриманих на основі цих представлень.

У роботі використано аналітичні методи теорії рівнянь математичної фізики, зокрема метод розділення змінних, розкладання у ряди Фур’є та властивості повних систем функцій. Для аналізу збіжності різних представлень розв’язку застосовано чисельні обчислення і порівняння відносних похибок при використанні скінченних сум рядів.

Показано, що для простої граничної задачі теорії потенціалу можна отримати декілька різних аналітичних представлень розв’язку, зокрема у вигляді елементарної функції та у вигляді подвійного ряду. Продемонстровано, що введення довільної функції при продовженні граничних умов на нефізичну частину межі призводить до побудови нескінченної множини формально різних виразів для одного й того самого розв’язку. Чисельні експерименти підтверджують збіжність результатів, отриманих за різними формулами, при збільшенні кількості членів ряду.

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