Дыферэнцыяльнае ўраўненне

Дыферэнцыяльнае ўраўненне, ці дыферэнцыяльнае раўнанне[1] — ураўненне, якое звязвае значэнне некаторай невядомай функцыі ў некаторым пункце і значэнне яе вытворных розных парадкаў у тым жа пункце. Дыферэнцыяльнае ўраўненне змяшчае ў сваім запісе невядомую функцыю, яе вытворныя і незалежныя пераменныя. Аднак не кожнае ўраўненне, якое змяшчае вытворныя невядомай функцыі, з’яўляецца дыферэнцыяльным ураўненнем. Напрыклад, не з’яўляецца дыферэнцыяльным ураўненнем. Варта таксама адзначыць, што дыферэнцыяльнае ўраўненне можа наогул не змяшчаць невядомую функцыю, некаторыя яе вытворныя і свабодныя зменныя, але абавязкова змяшчаць хоць адну з вытворных.

Мадэль размеркавання цяпла ў корпусе помпы, створаная шляхам рашэння ўраўнення цеплаправоднасці

У прыкладаннях матэматыкі часта ўзнікаюць задачы, у якіх невядомая залежнасць аднаго параметра ад іншага, але магчыма запісаць выраз дзеля хуткасці змены аднаго параметра адносна іншага (вытворнай). У гэтым выпадку задача зводзіцца да знаходжання функцыі па яе вытворнай, звязанай з некаторымі іншымі выразамі.

Гісторыя даследавання правіць

Першапачаткова дыферэнцыяльныя ўраўненні ўзніклі з задач механікі, у якіх патрабавалася вызначыць каардынаты цел, іх хуткасці і паскарэнні, якія разглядаюцца як функцыі часу пры розных уздзеяннях. Да дыферэнцыяльных раўнанняў прыводзілі таксама некаторыя разгледжаныя ў той час геаметрычныя задачы.

Асноваю тэорыі дыферэнцыяльных раўнанняў стала дыферэнцыяльнае злічэнне, створанае Лейбніцам і Ньютанам (1642—1727). Сам тэрмін «дыферэнцыяльнае раўнанне» быў прапанаваны ў 1676 годзе Лейбніцам.

З вялікай колькасці работ XVIII стагоддзя па дыферэнцыяльных ураўненнях вылучаюцца працы Эйлера (1707—1783) і Лагранжа (1736—1813). У гэтых працах была развіта тэорыя малых ваганняў і тэорыя лінейных сістэм дыферэнцыяльных ураўненняў; адначасова ўзніклі асноўныя паняцці лінейнай алгебры (уласныя лікі і вектары ў n-мерным выпадку). Услед за Ньютанам Лаплас і Лагранж, а пазней Гаус (1777—1855) развіваюць таксама метады тэорыі ўзбурэнняў.

Калі была даказана невырашальнасць алгебраічных ураўненняў у радыкалах, Жазеф Ліувіль (1809—1882) пабудаваў аналагічную тэорыю для дыферэнцыяльных ураўненняў, устанавіўшы немагчымасць рашэння рада раўнанняў (у тым ліку, такіх класічных, як лінейныя ўраўненні другога парадку) у элементарных функцыях і квадратуры. Пазней Софус Лі (1842—1899), аналізуючы пытанне аб інтэграванні раўнанняў у квадратурах, прыйшоў да неабходнасці падрабязна даследаваць групы дыфеамарфізмаў (якія пасля атрымалі назву груп Лі) — так з тэорыі дыферэнцыяльных ураўненняў узнікла адна з самых плённых абласцей сучаснай матэматыкі, далейшае развіццё якой было цесна звязана зусім з іншымі пытаннямі (алгебры Лі яшчэ раней разглядалі Сімеон Дэні Пуасон (1781—1840) і, асабліва, Карл Густаў Якаб Якобі (1804—1851)). Новы этап развіцця тэорыі дыферэнцыяльных ураўненняў пачынаецца з работ Анры Пуанкарэ (1854—1912), створаная ім «якасная тэорыя дыферэнцыяльных раўнанняў» разам з тэорыяй функцый камплексных зменных прывяла да стварэння сучаснай тапалогіі. Якасная тэорыя дыферэнцыяльных ураўненняў, ці, як цяпер яе часцей называюць, тэорыя дынамічных сістэм, цяпер актыўна развіваецца і мае шмат прыкладанняў у прыродазнаўстве.

Віды дыферэнцыяльных ураўненняў правіць

Звычайныя ДУ правіць

Звычайныя дыферэнцыяльныя ўраўненні (ЗДУ) — гэта ўраўненні, у якіх невядомая функцыя залежыць ад аднае зменнай. Яны маюць выгляд

   ці   

дзе   — невядомая функцыя (магчыма, вектар-функцыя; у такім выпадку часта гавораць аб сістэме дыферэнцыяльных ураўненняў), якая залежыць ад незалежнай зменнай x, штрых абазначае дыферэнцаванне па x. Лік n, роўны найвышэйшаму парадку вытворных, прысутных ва ўраўненні, называецца парадкам дыферэнцыяльнага ўраўнення. Найбольш практычна важнымі з’яўляюцца дыферэнцыяльныя ўраўненні першага і другога парадку.

ДУ ў частковых вытворных правіць

Дыферэнцыяльныя ўраўненні ў частковых вытворных (ДУЧВ) — ураўненні, якія змяшчаюць невядомыя функцыі ад некалькіх зменных і іх частковыя вытворныя. Такія ўраўненні можна запісаць у выглядзе:

 

дзе   — незалежныя пераменныя, а   — функцыя гэтых пераменных. Парадак ураўненняў у частковых вытворных можа вызначацца гэтак жа, як для звычайных ДУ.

Ураўненні ў ЧВ другога парадку таксама падзяляюцца на ўраўненні эліптычнага, парабалічнага і гіпербалічнага тыпу.

Абагульненыя тыпы ДУ правіць

Праграмнае забеспячэнне правіць

Гл. таксама правіць

Зноскі правіць

  1. Літ.: Русско-белорусский математический словарь. Мн., 1993, С.204.: Раўнанне дыферэнцыяльнае. Тлумачальны слоўнік беларускай літаратурнай мовы. Мн.:БелЭн, 2002.: Дыферэнцыяльнае ўраўненне
  2. https://www.maplesoft.com/support/help/Maple/view.aspx?path=dsolve
  3. http://doc.sagemath.org/html/en/tutorial/tour_algebra.html
  4. http://www-fourier.ujf-grenoble.fr/~parisse/giac/cascmd_en.pdf

Літаратура правіць

Падручнікі правіць

  • В. И. Арнольд. Обыкновенные дифференциальные уравнения. М.: Наука, 1966.
  • Л. С. Понтрягин. Обыкновенные дифференциальные уравнения. М.: Наука, 1974.
  • Л. Э. Эльсгольц. Дифференциальные уравнения и вариационное исчисление. М.: Наука, 1969.
  • А. Н. Тихонов, А. Б. Васильева, А. Г. Свешников. Дифференциальные уравнения, 4-е изд., Физматлит, 2005.
  • А. Н. Тихонов, А. А. Самарский. Уравнения математической физики. М.: Наука, 1972.
  • А. Д. Полянин, В. Ф. Зайцев, А. И. Журов. Методы решения нелинейных уравнений математической физики и механики. М.: Физматлит, 2005.
  • Чарльз Генри Эдвардс, Дэвид Э. Пенни. Дифференциальные уравнения и проблема собственных значений: моделирование и вычисление с помощью Mathematica, Maple и MATLAB = Differential Equations and Boundary Value Problems: Computing and Modeling. — 3-е изд. — М.: «Вильямс», 2007. — ISBN 978-5-8459-1166-7.
  • А. Ф. Филиппов. Введение в теорию дифференциальных уравнений. — Изд. 2-е. — 2007. — 240 с. — ISBN 5354004160.

Даведнікі правіць

  • Э. Камке. Справочник по обыкновенным дифференциальным уравнениям. — М.: Наука, 1976.
  • В. Ф. Зайцев, А. Д. Полянин. Справочник по обыкновенным дифференциальным уравнениям. — М.: Физматлит, 2001.
  • Э. Камке. Справочник по дифференциальным уравнениям в частных производных первого порядка. — М.: Наука, 1966.
  • В. Ф. Зайцев, А. Д. Полянин. Справочник по дифференциальным уравнениям с частными производными первого порядка. — М.: Физматлит, 2003.
  • А. Д. Полянин. Справочник по линейным уравнениям математической физики. — М.: Физматлит, 2001.
  • А. Д. Полянин, В. Ф. Зайцев. Справочник по нелинейным уравнениям математической физики: Точные решения. — М.: Физматлит, 2002.

Спасылкі правіць