В математике обыкновенное дифференциальное уравнение ( ОДУ ) — это дифференциальное уравнение (ДУ), зависящее только от одной независимой переменной . Как и в случае с другими DE, его неизвестное(и) состоит из одной (или нескольких) функций и включает в себя производные этих функций. [1] Термин «обычный» используется в отличие от уравнений в частных производных , которые могут относиться к более чем одной независимой переменной. [2]
Линейное дифференциальное уравнение — это дифференциальное уравнение, которое определяется линейным многочленом от неизвестной функции и ее производных, то есть уравнение вида
где , ..., и – произвольные дифференцируемые функции , которые не обязательно должны быть линейными, и являются последовательными производными неизвестной функции y переменной x .
Среди обыкновенных дифференциальных уравнений линейные дифференциальные уравнения играют заметную роль по нескольким причинам. Большинство элементарных и специальных функций, встречающихся в физике и прикладной математике, являются решениями линейных дифференциальных уравнений (см. Голономная функция ). Когда физические явления моделируются нелинейными уравнениями, для упрощения решения они обычно аппроксимируются линейными дифференциальными уравнениями. Несколько нелинейных ОДУ, которые можно решить явно, обычно решаются путем преобразования уравнения в эквивалентное линейное ОДУ (см., например, уравнение Риккати ).
Некоторые ОДУ могут быть решены явно с использованием известных функций и интегралов . Если это невозможно, может оказаться полезным уравнение для вычисления ряда Тейлора решений. Для прикладных задач численные методы для обыкновенных дифференциальных уравнений могут обеспечить приближение решения.
Обыкновенные дифференциальные уравнения (ОДУ) возникают во многих контекстах математики, социальных и естественных наук. Математические описания изменений используют дифференциалы и производные. Различные дифференциалы, производные и функции связываются посредством уравнений, так что дифференциальное уравнение является результатом, описывающим динамически изменяющиеся явления, эволюцию и вариации. Часто величины определяются как скорость изменения других величин (например, производных перемещения по времени) или как градиенты величин, и именно так они входят в дифференциальные уравнения. [ нужна цитата ]
Конкретные математические области включают геометрию и аналитическую механику . Научные области включают в себя большую часть физики и астрономии (небесная механика), метеорологии (моделирование погоды), химии (скорость реакций), [3] биологии (инфекционные заболевания, генетические вариации), экологии и популяционного моделирования (конкуренция популяций), экономики (конкуренция численности населения ). , процентные ставки и изменения рыночно-равновесной цены).
Многие математики изучали дифференциальные уравнения и внесли свой вклад в эту область, в том числе Ньютон , Лейбниц , семья Бернулли , Риккати , Клеро , Даламбер и Эйлер .
Простым примером является второй закон движения Ньютона : связь между смещением x и временем t объекта под действием силы F определяется дифференциальным уравнением
которое ограничивает движение частицы постоянной массы m . В общем, F является функцией положения x ( t ) частицы в момент времени t . Неизвестная функция x ( t ) появляется в обеих частях дифференциального уравнения и обозначается обозначением F ( x ( t )). [4] [5] [6] [7]
Далее y — зависимая переменная , представляющая неизвестную функцию y = f ( x ) независимой переменной x . Обозначения для дифференцирования различаются в зависимости от автора и от того, какое обозначение наиболее полезно для поставленной задачи. В этом контексте обозначения Лейбница (умри/дх,день 2 года/дх 2, …,день , день/дх н) более полезна для дифференцирования и интегрирования , тогда как нотация Лагранжа ( y ′, y ”, …, y ( n ) ) более полезна для компактного представления производных более высокого порядка , а обозначения Ньютона часто используются в физике для представления производных низшего порядка по времени.
Учитывая F , функцию x , y и производных y . Тогда уравнение вида
называется явным обыкновенным дифференциальным уравнением порядка n . [8] [9]
В более общем смысле неявное обыкновенное дифференциальное уравнение порядка n принимает форму: [10]
Существуют и другие классификации:
Ряд связанных дифференциальных уравнений образуют систему уравнений. Если y — вектор, элементы которого являются функциями; y ( x ) = [ y 1 ( x ), y 2 ( x ),..., y m ( x )], а F — вектор-функция от y и ее производных, тогда
является явной системой обыкновенных дифференциальных уравнений порядка n и размерности m . В форме вектора-столбца :
Они не обязательно линейны. Неявный аналог :
где 0 = (0, 0, ..., 0) — нулевой вектор . В матричной форме
Для системы вида некоторые источники также требуют, чтобы матрица Якоби была неособой , чтобы называть ее неявным ОДУ [системой]; неявная система ОДУ, удовлетворяющая этому условию несингулярности Якобиана, может быть преобразована в явную систему ОДУ. В тех же источниках неявные системы ОДУ с сингулярным якобианом называются дифференциальными алгебраическими уравнениями (ДАУ). Это различие не просто терминологическое; ДАУ имеют принципиально разные характеристики и, как правило, требуют больше усилий для решения, чем (несингулярные) системы ОДУ. [14] [15] [16] Предположительно для дополнительных производных матрица Гессе и т. д. также считаются неособыми в соответствии с этой схемой, [ нужна цитация ], хотя обратите внимание, что любое ОДУ порядка больше единицы может быть (и обычно is) переписано как система ОДУ первого порядка [17] , что делает критерий сингулярности Якобиана достаточным для того, чтобы эта таксономия была всеобъемлющей на всех порядках.
Поведение системы ОДУ можно визуализировать с помощью фазового портрета .
Учитывая дифференциальное уравнение
функция u : I ⊂ R → R , где I — интервал, называется решением или интегральной кривой для F , если u n -раз дифференцируема на I , и
Учитывая два решения u : J ⊂ R → R и v : I ⊂ R → R , u называется расширением v , если I ⊂ J и
Решение, не имеющее расширения, называется максимальным решением . Решение, определенное на всем R, называется глобальным решением .
Общим решением уравнения n -го порядка является решение, содержащее n произвольных независимых констант интегрирования . Частное решение получается из общего решения путем присвоения константам определенных значений, часто выбираемых для выполнения набора « начальных или граничных условий ». [18] Особое решение — это решение, которое нельзя получить, присваивая определенные значения произвольным константам в общем решении. [19]
В контексте линейного ОДУ терминологическое частное решение может также относиться к любому решению ОДУ (не обязательно удовлетворяющему начальным условиям), которое затем добавляется к однородному решению (общему решению однородного ОДУ), которое затем образует общее решение исходного ОДУ. Эта терминология используется в разделе метода угадывания в этой статье и часто используется при обсуждении метода неопределенных коэффициентов и вариации параметров .
Для нелинейных автономных ОДУ при некоторых условиях возможно разработать решения конечной длительности, [20] имея в виду здесь, что из-за своей собственной динамики система достигнет нулевого значения в конечный момент времени и останется там в нуле навсегда. Эти решения конечной длительности не могут быть аналитическими функциями на всей вещественной прямой, и поскольку они будут нелипшицевыми функциями в момент окончания, они не включены в теорему единственности решений липшицевых дифференциальных уравнений.
Например, уравнение:
Допускает решение конечной длительности:
Теория сингулярных решений обыкновенных уравнений и уравнений в частных производных была предметом исследований еще со времен Лейбница, но только с середины XIX века ей стало уделяться особое внимание. Ценной, но малоизвестной работой по этой теме является работа Хаутэна (1854 г.). Дарбу (с 1873 г.) был лидером в теории, и в геометрической интерпретации этих решений он открыл область, над которой работали различные авторы, особенно Казорати и Кэли . Последнему обязана (1872 г.) теория сингулярных решений дифференциальных уравнений первого порядка, принятая около 1900 г.
Примитивная попытка обращения с дифференциальными уравнениями имела в виду сведение к квадратурам . Как алгебраисты восемнадцатого века надеялись найти метод решения общего уравнения n- й степени, так и аналитики надеялись найти общий метод интегрирования любого дифференциального уравнения. Гаусс (1799) показал, однако, что для сложных дифференциальных уравнений требуются комплексные числа . Следовательно, аналитики начали заменять изучение функций, открывая тем самым новое и плодородное поле. Коши был первым, кто оценил важность этой точки зрения. После этого реальный вопрос заключался уже не в том, возможно ли решение с помощью известных функций или их интегралов, а в том, достаточно ли данного дифференциального уравнения для определения функции независимой переменной или переменных, и если да, то каковы характерные свойства.
Два мемуара Фукса [21] вдохновили на новый подход, впоследствии развитый Томе и Фробениусом . Колле внес выдающийся вклад, начиная с 1869 года. Его метод интегрирования нелинейной системы был передан Бертрану в 1868 году. Клебш (1873) атаковал теорию в направлении, параллельном тем, которые были в его теории абелевых интегралов . Поскольку последние можно классифицировать по свойствам фундаментальной кривой, остающейся неизменной при рациональном преобразовании, Клебш предложил классифицировать трансцендентные функции, определяемые дифференциальными уравнениями, по инвариантным свойствам соответствующих поверхностей f = 0 при рациональном одно-к -одно преобразование.
С 1870 года работы Софуса Ли положили теорию дифференциальных уравнений на лучшую основу. Он показал, что теории интеграции старых математиков можно, используя группы Ли , отнести к общему источнику и что обыкновенные дифференциальные уравнения, допускающие одни и те же бесконечно малые преобразования, представляют сопоставимые трудности интеграции. Он также остановился на теме трансформаций контакта .
Групповая теория дифференциальных уравнений Ли была сертифицирована, а именно: (1) она объединяет многие специальные методы, известные для решения дифференциальных уравнений, и (2) что она обеспечивает новые мощные способы поиска решений. Теория имеет приложения как к обыкновенным уравнениям, так и к уравнениям в частных производных. [22]
Общий подход к решению использует свойство симметрии дифференциальных уравнений, непрерывные бесконечно малые преобразования решений в решения ( теория Ли ). Непрерывная теория групп , алгебры Ли и дифференциальная геометрия используются для понимания структуры линейных и нелинейных (частных) дифференциальных уравнений, для генерации интегрируемых уравнений, для нахождения их пар Лакса , операторов рекурсии, преобразования Беклунда и, наконец, для нахождения точных аналитических решений. в ДЭ.
Методы симметрии применялись к дифференциальным уравнениям, возникающим в математике, физике, технике и других дисциплинах.
Теория Штурма–Лиувилля — это теория особого типа линейного обыкновенного дифференциального уравнения второго порядка. Их решения основаны на собственных значениях и соответствующих собственных функциях линейных операторов, определенных с помощью однородных линейных уравнений второго порядка . Проблемы идентифицируются как задачи Штурма-Лиувилля (SLP) и названы в честь Дж. К. Ф. Штурма и Дж. Лиувилля , которые изучали их в середине 1800-х годов. SLP имеют бесконечное количество собственных значений, а соответствующие собственные функции образуют полный ортогональный набор, что делает возможным ортогональное разложение. Это ключевая идея в прикладной математике, физике и технике. [23] SLP также полезны при анализе некоторых уравнений в частных производных.
Существует несколько теорем, которые устанавливают существование и единственность решений начальных задач с участием ОДУ как локально, так и глобально. Две основные теоремы:
В своей базовой форме обе эти теоремы гарантируют только локальные результаты, хотя последняя может быть расширена для получения глобального результата, например, если выполняются условия неравенства Грёнвалля .
Кроме того, теоремы единственности, подобные приведенной выше Липшицевой теореме, не применимы к системам ДАУ , которые могут иметь несколько решений, вытекающих только из их (нелинейной) алгебраической части. [24]
Теорему можно сформулировать просто следующим образом. [25] Для уравнения и задачи начального значения:
Когда условия теоремы Пикара–Линделёфа удовлетворены, локальное существование и уникальность могут быть расширены до глобального результата. Точнее: [26]
Для каждого начального условия ( x 0 , y 0 ) существует уникальный максимальный (возможно, бесконечный) открытый интервал.
такое, что любое решение, удовлетворяющее этому начальному условию, является ограничением решения, удовлетворяющего этому начальному условию, областью определения .
В этом случае есть ровно две возможности
где Ω — открытое множество, в котором определено F , и — его граница.
Обратите внимание, что максимальная область определения решения
Это означает, что F ( x, y ) = y 2 , что является C 1 и, следовательно, локально липшицевым, удовлетворяя теореме Пикара–Линделёфа.
Даже в такой простой ситуации максимальная область решения не может быть всей, поскольку решение
который имеет максимальный домен:
Это ясно показывает, что максимальный интервал может зависеть от начальных условий. Область определения y можно было бы принять как существующую, но это привело бы к тому, что область, которая не является интервалом, так что сторона, противоположная начальному условию, была бы отключена от начального условия и, следовательно, не определялась бы им однозначно.
Максимальный домен не потому, что
что является одним из двух возможных случаев согласно приведенной выше теореме.
Дифференциальные уравнения обычно легче решать, если порядок уравнения можно уменьшить.
Любое явное дифференциальное уравнение порядка n ,
можно записать как систему n дифференциальных уравнений первого порядка, определив новое семейство неизвестных функций
для i = 1, 2, ..., n . Тогда n -мерная система связанных дифференциальных уравнений первого порядка имеет вид
более компактно в векторной записи:
где
Некоторые дифференциальные уравнения имеют решения, которые можно записать в точной и замкнутой форме. Здесь приведены несколько важных классов.
В таблице ниже P ( x ) , Q ( x ) , P ( y ) , Q ( y ) и M ( x , y ) , N ( x , y ) — любые интегрируемые функции от x , y ; b и c — действительные заданные константы; C 1 , C 2 , ... — произвольные константы ( вообще говоря, комплексные ). Дифференциальные уравнения находятся в их эквивалентных и альтернативных формах, которые приводят к решению путем интегрирования.
В интегральных решениях λ и ε являются фиктивными переменными интегрирования (континуальные аналоги индексов при суммировании ), а обозначение ∫ x F ( λ ) dλ просто означает интегрирование F ( λ ) по λ , затем после интегрирования замените λ = x без добавления констант (явно указано).
Когда все другие методы решения ОДУ терпят неудачу или в тех случаях, когда у нас есть некоторая интуиция относительно того, как может выглядеть решение ДУ, иногда можно решить ДУ, просто угадав решение и проверив его правильность. Чтобы использовать этот метод, мы просто угадываем решение дифференциального уравнения, а затем подставляем это решение в дифференциальное уравнение, чтобы проверить, удовлетворяет ли оно уравнению. Если да, то у нас есть конкретное решение DE, в противном случае мы начинаем заново и пробуем еще одно предположение. Например, мы могли бы догадаться, что решение ДУ имеет вид: поскольку это очень распространенное решение, которое физически ведет себя синусоидально.
В случае неоднородного ОДУ первого порядка нам нужно сначала найти решение ДУ однородной части ДУ, также известное как характеристическое уравнение, а затем найти решение всего неоднородного уравнения, угадывая . Наконец, мы сложим оба этих решения вместе, чтобы получить полное решение ОДУ, то есть: