Розділ 1. Методи обчислень: предмет, основні поняття та застосування

§ 1. Предмет і застосування

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

Для рівняння f(x) = 0, де f(x) – многочлен степеня n > 4 не існує універсальних аналітичних методів для отримання точних значень коренів. Їх нема навіть для рівняння x² + sin x = 0, та й практично для будь – якого довільно написаного рівняння. З іншого боку при застосуванні як правило байдуже чи є корінь точним чи він отриманий з прийнятною точністю. Тому вкрай важливо мати алгоритми знаходження наближених розв’язків, які б сходились до точного із зростанням числа кроків алгоритму. Такі методи називають ітераційними. Назви деяких з таких методів – Ньютона, Ейлера, Лобачевського, Гаусса, Ерміта – свідчать про те, що їх розробкою займались найвидатніші вчені свого часу. Після виконання складних обчислень Дж. Адамс у 1845 році та У. Левер’є у 1846 незалежно один від одного дійшли висновку про існування невідомої досі планети і вказали її розміщення. За розрахунками Левер’є астроном І. Галле знайшов цю планету, її назвали Нептуном. Аналогічно на “кінчику пера” П. Ловелл у 1930 р. передбачив існування дев’ятої планети сонячної системи – Плутона. Але такі яскраві події були унікальними, до того ж стосувались вони лише найбільш математизованих наук – фізики, механіки, астрономії: надто трудомісткі були обчислення. Звичайно, принципово можна знайти розв’язок системи лінійних рівнянь, однак вручну це неабияке випробування уже для системи десяти рівнянь з десятьма невідомими.

Сучасний бурхливий розвиток комп’ютерної техніки докорінно змінив ці можливості. (Тут доречно зауважити, що за два століття промислової революції, викликаної винаходом парового двигуна, швидкість пересування зросла з 6 км/год. до швидкості космонавта 30000 км/год. тобто у 5000 разів. За перші ж 30 років інформаційної революції швидкість виконання арифметичних операцій зросла з 0,1 операцій у секунду при обчисленнях вручну до 3000000, тобто приблизно у (5000)² разів ). Завдяки кардинальному зростанню можливостей обчислень якісно зросли й можливості науки взагалі.

Річ в тому, що необхідною передумовою будь – якого використання методів обчислень є створення математичної моделі досліджуваного об’єкта чи явища, тобто опис його мовою математичних структур. Метою ж обчислень неодмінно є отримання таких висновків, які можна було б віднести до реального об’єкту. Але саме цей цикл: створення математичної моделі → обчислення → порівняння з реальним об’єктом – і є насправді єдиний досі метод дослідження світу фундаментальними науками, задум якого належить І. Ньютону. Обчислення – центральний пункт цього циклу, якісне зростання його можливостей відкрило змогу віднині вивчати будь – які математичні моделі, а не лише вузькі спеціальні класи, як це насправді було до того. Відтепер почалась математизація хімії, економіки, геології, психології, медицини, багатьох галузей техніки. Розвиток економіки, атомної енергетики, космічної техніки був би просто неможливим без застосування комп’ютерів та методів обчислень. Повідомлення про результати обчислень провідними фінансовими аналітичними центрами або ж повідомлення про розходження між цими результатами та реальними статистичними даними викликає негайну реакцію на всіх біржах світу.

Основною метою вивчення методів обчислень безперечно є їх подальше застосування. Цілком технологічний цикл використання методів обчислень виглядає так:

1) побудова математичної моделі задачі → 2) розробка методу обчислень →

3) програмування → 4) тестування → 5) аналіз результатів → 6) застосування.

1) Математична модель задачі – це математична задача, до розв’язування якої зводиться поставлена задача з даної конкретної галузі. Формулювання математичної моделі – це не менш складна проблема, ніж її розв’язування. Не можна сподіватись, що це зроблять фахівці тієї галузі, звідки походить поставлена задача: як правило, це результат їх зусиль, спільних з тими, хто має спеціальну математичну освіту. Вміння знайти, сформулювати математичну модель – неодмінна мета учбового процесу.

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

Не варто розраховувати, що вдасться завжди знайти готовий метод розв’язання будь – якої реальної задачі: насправді їх різноманітність є практично необмеженою.

3) Сучасні мови програмування безпосередньо пов’язані з пакетами прикладних програм, призначених для розв’язування певного класу задач. Знання цих пакетів, вміння їх застосувати значно спрощує процес програмування обчислювальних алгоритмів.

4) Оскільки запрограмована математична модель є дублікатом реального об’єкта у комп’ютері, а тестування є аналогом експерименту з цим об’єктом, то його й називають обчислювальним (або математичним) експериментом. Головна мета – тестування таких даних, щоб можна було надійно судити про достовірність розв’язків задачі. Разом з тим за допомогою обчислювального експерименту передбачається поведінка досліджуваного об’єкта в умовах, де натурні експерименти ще не проводились або й зовсім неможливі.

Тестування – це копітка та трудомістка дослідницька робота, вміння проводити її є вкрай важливим.

5) На основі тестування проводиться аналіз як відповідності математичної моделі реальному об’єкту, так і ефективності методу. Саме такий, заснований на вже проведених розрахунках (тобто апостеріорний) аналіз найчастіше застосовується на практиці: існує строк виконання, тож дослідження в стилі чистої математики у більшості випадків тут неможливі.

Описаний тут технологічний процес є циклом: якщо результати задовільні, то програму передають замовнику для застосування; якщо ні, то цикл повторюється.