Символический метод расчета дифференциальные уравнения

Символьное решение линейных дифференциальных уравнений и систем методом преобразований Лапласа c применением SymPy

Реализация алгоритмов на языке Python с использованием символьных вычислений очень удобна при решении задач математического моделирования объектов, заданных дифференциальными уравнениями. Для решения таких уравнений широко используются преобразования Лапласа, которые, говоря упрощенно, позволяют свести задачу к решению простейших алгебраических уравнений.

В данной публикации предлагаю рассмотреть функции прямого и обратного преобразования Лапласа из библиотеки SymPy, которые позволяют использовать метод Лапласа для решения дифференциальных уравнений и систем средствами Python.

Сам метод Лапласа и его преимущества при решении линейных дифференциальных уравнений и систем широко освещены в литературе, например в популярном издании [1]. В книге метод Лапласа приведен для реализации в лицензионных программных пакетах Mathematica, Maple и MATLAB (что подразумевает приобретение учебным заведением этого ПО) на выбранных автором отдельных примерах.

Попробуем сегодня рассмотреть не отдельный пример решения учебной задачи средствами Python, а общий метод решения линейных дифференциальных уравнений и систем с использованием функций прямого и обратного преобразования Лапласа. При этом сохраним обучающий момент: левая часть линейного дифференциального уравнения с условиями Коши будет формироваться самим студентом, а рутинная часть задачи, состоящая в прямом преобразовании Лапласа правой части уравнения, будет выполняться при помощи функции laplace_transform().

История об авторстве преобразований Лапласа

Преобразования Лапласа (изображения по Лапласу) имеют интересную историю. Впервые интеграл в определении преобразования Лапласа появился в одной из работ Л. Эйлера. Однако в математике общепринято называть методику или теорему именем того математика, который открыл ее после Эйлера. В противном случае существовало бы несколько сотен различных теорем Эйлера.

В данном случае следующим после Эйлера был французский математик Пьер Симон де Лаплас (Pierre Simon de Laplace (1749-1827)). Именно он использовал такие интегралы в своей работе по теории вероятностей. Самим Лапласом не применялись так называемые «операционные методы» для нахождения решений дифференциальных уравнений, основанные на преобразованиях Лапласа (изображениях по Лапласу). Эти методы в действительности были обнаружены и популяризировались инженерами-практиками, особенно английским инженером-электриком Оливером Хевисайдом (1850-1925). Задолго до того, как была строго доказана справедливость этих методов, операционное исчисление успешно и широко применялось, хотя его законность ставилось в значительной мере под сомнение даже в начале XX столетия, и по этой теме велись весьма ожесточенные дебаты.

Функции прямого и обратного преобразования Лапласа

Эта функция возвращает (F, a, cond), где F(s) есть преобразование Лапласа функции f(t), a Текст программы

Время на обратное визуальное преобразование Лапласа: 2.68 s

Обратное преобразование Лапласа часто используется при синтезе САУ, где Python может заменить дорогостоящих программных “монстров” типа MathCAD, поэтому приведенное использование обратного преобразования имеет практическое значение.

Преобразование Лапласа от производных высших порядков для решения задачи Коши

Если a и b — константы, то

для всех s, таких, что существуют оба преобразования Лапласа (изображения по Лапласу) функций f(t) и q(t).

Проверим линейность прямого и обратного преобразований Лапласа с помощью ранее рассмотренных функций laplace_transform() и inverse_laplace_transform(). Для этого в качестве примера примем f(t)=sin(3t), q(t)=cos(7t), a=5, b=7 и используем следующую программу.

(7*s**3 + 15*s**2 + 63*s + 735)/((s**2 + 9)*(s**2 + 49))
(7*s**3 + 15*s**2 + 63*s + 735)/((s**2 + 9)*(s**2 + 49))
True
5*sin(3*t) + 7*cos(7*t)
5*sin(3*t) + 7*cos(7*t)

Приведенный код также демонстрирует однозначность обратного преобразования Лапласа.

Если предположить, что удовлетворяет условиям первой теоремы, то из этой теоремы будет следовать, что:

Повторение этого вычисления дает

После конечного числа таких шагов мы получаем следующее обобщение первой теоремы:

Применяя соотношение (3), содержащее преобразованные по Лапласу производные искомой функции с начальными условиями, к уравнению (1), можно получить его решение по методу, специально разработанному на нашей кафедре при активной поддержке Scorobey для библиотеки SymPy.

Метод решения линейных дифференциальных уравнений и систем уравнений, основанный на преобразованиях Лапласа, с использованием библиотеки SymPy

где — приведенное начальное положение массы, — приведенная начальная скорость массы.

Упрощённая физическая модель, заданная уравнением (4) при ненулевых начальных условиях [1]:

Система, состоящая из материальной точки заданной массы, закрепленной на пружине, удовлетворяет задаче Коши (задаче с начальными условиями). Материальная точка заданной массы первоначально находится в покое в положении ее равновесия.

Для решения этого и других линейных дифференциальных уравнений методом преобразований Лапласа удобно пользоваться следующей системой, полученной из соотношений (3):

Последовательность решения средствами SymPy следующая:

загружаем необходимые модули и явно определяем символьные переменные:

указываем версию библиотеки sympy, чтобы учесть ее особенности. Для этого нужно ввести такие строки:

по физическому смыслу задачи переменная времени определяется для области, включающей ноль и положительные числа. Задаём начальные условия и функцию в правой части уравнения (4) с её последующим преобразование по Лапласу. Для начальных условий необходимо использовать функцию Rational, поскольку использование десятичного округления приводит к ошибке.

пользуясь (5), переписываем преобразованные по Лапласу производные, входящие в левую часть уравнения (4), формируя из них левую часть этого уравнения, и сравниваем результат с правой его частью:

решаем полученное алгебраическое уравнение относительно преобразования X(s) и выполняем обратное преобразование Лапласа:

осуществляем переход из работы в библиотеке SymPyв библиотеку NumPy:

строим график обычным для Python методом:

Получаем:
Версия библиотеки sympy – 1.3

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

При этом учебное значение метода решения сохраняется за счёт необходимости использования системы (5) и перехода в NumPy для исследования решения более производительными методами.

Для дальнейшей демонстрации метода решим систему дифференциальных уравнений:

с начальными условиями

Упрощённая физическая модель, заданная системой уравнений (6) при нулевых начальных условиях:

Таким образом, сила f(t) внезапно прилагается ко второй материальной точке заданной массы в момент времени t = 0, когда система находится в покое в ее положении равновесия.

Решение системы уравнений идентично ранее рассмотренному решению дифференциального уравнения (4), поэтому привожу текст программы без пояснений.

Для ненулевых начальных условий текст программы и график функций примет вид:

Рассмотрим решение линейного дифференциального уравнения четвёртого порядка с нулевыми начальными условиями:

Решим линейное дифференциальное уравнение четвёртого порядка:

с начальными условиями , , .

Функции для решения ОДУ

Для имеющих аналитическое решение ОДУ и систем ОДУ применяется функция dsolve():
sympy.solvers.ode.dsolve(eq, func=None, hint=’default’, simplify=True, ics=None, xi=None, eta=None, x0=0, n=6, **kwargs)

Давайте сравним производительность функции dsolve() с методом Лапласа. Для примера возьмём следующее дифференциальное уравнение четвёртой степени с нулевыми начальными условиями:

Время решения уравнения с использованием функции dsolve(): 1.437 s

Время решения уравнения с использованием преобразования Лапласа: 3.274 s

Итак, функция dsolve() (1.437 s) решает уравнение четвёртого порядка быстрее, чем выполняется решение по методу преобразований Лапласа (3.274 s) более чем в два раза. Однако при этом следует отметить, что функция dsolve() не решает системы дифференциальных уравнений второго порядка, например, при решении системы (6) с использованием функция dsolve() возникает ошибка:

Данная ошибка означает, что решение системы дифференциальных уравнений с помощью функции dsolve() не может быть представлено символьно. Тогда как при помощи преобразований Лапласа мы получили символьное представление решения, и это доказывает эффективность предложенного метода.

Для того чтобы найти необходимый метод решения дифференциальных уравнений с помощью функции dsolve(), нужно использовать classify_ode(eq, f(x)), например:

Eq(f(x), C1*sin(x) + C2*cos(x))
(‘nth_linear_constant_coeff_homogeneous’, ‘2nd_power_series_ordinary’)
(‘separable’, ‘1st_exact’, ‘almost_linear’, ‘1st_power_series’, ‘lie_group’, ‘separable_Integral’, ‘1st_exact_Integral’, ‘almost_linear_Integral’)
[Eq(f(x), -acos((C1 + Integral(0, x))*exp(-Integral(-tan(x), x))) + 2*pi), Eq(f(x), acos((C1 + Integral(0,x))*exp(-Integral(-tan(x), x))))]

Таким образом, для уравнения eq=Eq(f(x).diff(x,x)+f(x),0) работает любой метод из первого списка:

Для уравнения eq = sin(x)*cos(f(x)) + cos(x)*sin(f(x))*f(x).diff(x) работает любой метод из второго списка:

separable, 1st_exact, almost_linear,
1st_power_series, lie_group, separable_Integral,
1st_exact_Integral, almost_linear_Integral

Чтобы использовать выбранный метод, запись функции dsolve() примет вид, к примеру:

Вывод:

Данная статья ставила своей целью показать, как использовать средства библиотек SciPy и NumPy на примере решения систем линейных ОДУ операторным методом. Таким образом, были рассмотрены методы символьного решения линейных дифференциальных уравнений и систем уравнений методом Лапласа. Проведен анализ производительности этого метода и методов, реализованных в функции dsolve().

1. Дифференциальные уравнения и краевые задачи: моделирование и вычисление с помощью Mathematica, Maple и MATLAB. 3-е издание.: Пер. с англ. — М.: ООО «И.Д. Вильяме», 2008. — 1104 с.: ил. — Парал. тит. англ.
2. Использование обратного преобразования Лапласа для анализа динамических звеньев систем управления

Виды дифференциальных уравнений

Существует целый ряд задач, в которых установить прямую связь между величинами, применяемыми для описания процесса, не получается. Единственное, что можно сделать, это получить равенство, запись которого включает производные исследуемых функций, и решить его. Решение дифференциального уравнения позволяет установить непосредственную связь между величинами.

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

Если какие-то термины окажутся для вас новыми, обратитесь к разделу «Определения и понятия теории дифференциальных уравнений». А тем временем перейдем к рассмотрению вопроса о видах дифференциальных уравнений.

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

Возможно, прежде чем приступить к решению дифференциальных уравнений, вам придется освежить в памяти такие темы как «Методы интегрирования» и «Неопределенные интегралы».

Начнем ознакомление с темой мы с видов обыкновенных дифференциальных уравнений 1 -го порядка. Эти уравнения могут быть разрешены относительно производной. Затем перейдем в ОДУ 2 -го и высших порядков. Также мы уделим внимание системам дифференциальных уравнений.

Напомним, что y ‘ = d x d y , если y является функцией аргумента x .

Дифференциальные уравнения первого порядка

Простейшие дифференциальные уравнения первого порядка вида y ‘ = f ( x )

Начнем с примеров таких уравнений.

y ‘ = 0 , y ‘ = x + e x — 1 , y ‘ = 2 x x 2 — 7 3

Оптимальным для решения дифференциальных уравнений f ( x ) · y ‘ = g ( x ) является метод деления обеих частей на f ( x ) . Решение относительно производной позволяет нам прийти к уравнению вида y ‘ = g ( x ) f ( x ) . Оно является эквивалентом исходного уравнения при f ( x ) ≠ 0 .

Приведем примеры подобных дифференциальных уравнений:

e x · y ‘ = 2 x + 1 , ( x + 2 ) · y ‘ = 1

Мы можем получить ряд дополнительных решений в тех случаях, когда существуют значения аргумента х , при которых функции f ( x ) и g ( x ) одновременно обращаются в 0 . В качестве дополнительного решения в уравнениях f ( x ) · y ‘ = g ( x ) при заданных значениях аргумента может выступать любая функция, определенная для заданного значения х .

Наличие дополнительных решений возможно для дифференциальных уравнений x · y ‘ = sin x , ( x 2 — x ) · y ‘ = ln ( 2 x 2 — 1 )

Ознакомиться с теоретической частью и примерами решения задач таких уравнений вы можете в разделе «Простейшие дифференциальные уравнения 1 -го порядка».

Дифференциальные уравнения с разделяющимися переменными вида f 1 ( y ) · g 1 ( x ) d y = f 2 ( y ) · g 2 ( x ) d x или f 1 ( y ) · g 1 ( x ) · y ‘ = f 2 ( y ) · g 2 ( x )

Поговорим теперь об уравнениях с разделенными переменными, которые имеют вид f ( y ) d y = g ( x ) d x . Как следует из названия, к данному виду дифференциальных уравнений относятся выражения, которые содержат переменные х и у , разделенные знаком равенства. Переменные находятся в разных частях уравнения, по обе стороны от знака равенства.

Решить уравнения с разделенными переменными можно путем интегрирования обеих его частей: ∫ f ( y ) d y = ∫ f ( x ) d x

К числу дифференциальных уравнений с разделенными переменными можно отнести следующие из них:

y 2 3 d y = sin x d x , e y d y = ( x + sin 2 x ) d x

Для того, чтобы прийти от ДУ с разделяющимися переменными к ДУ с разделенными переменными, необходимо разделить обе части уравнения на произведение f 2 ( y ) ⋅ g 1 ( x ) . Так мы придем к уравнению f 1 ( y ) f 2 ( y ) d y = g 2 ( x ) g 1 ( x ) d x . Преобразование можно будет считать эквивалентным в том случае, если одновременно f 2 ( y ) ≠ 0 и g 1 ( x ) ≠ 0 . Если хоть одно из условий не будет соблюдаться, мы можем потерять часть решений.

В качестве примеров дифференциальных уравнений с разделяющимися переменными можно привести следующие из них: d y d x = y · ( x 2 + e x ) , ( y 2 + a r c cos y ) · sin x · y ‘ = cos x y .

К уравнениям с разделяющимися переменными мы можем прийти от ряда дифференциальных уравнений других видов путем замены переменных. Например, мы можем подставить в исходное уравнение z = a x + b y . Это позволит нам перейти к дифференциальному уравнению с разделяющимися переменными от дифференциального уравнения вида y ‘ = f ( a x + b y ) , a , b ∈ R .

Подставив z = 2 x + 3 y в уравнение y ‘ = 1 e 2 x + 3 y получаем d z d x = 3 + 2 e z e z .

Заменив z = x y или z = y x в выражениях y ‘ = f x y или y ‘ = f y x , мы переходим к уравнениям с разделяющимися переменными.

Если произвести замену z = y x в исходном уравнении y ‘ = y x · ln y x + 1 , получаем x · d z d x = z · ln z .

В ряде случаев прежде, чем производить замену, необходимо произвести преобразования исходного уравнения.

Предположим, что в условии задачи нам дано уравнение y ‘ = y 2 — x 2 2 x y . Нам необходимо привести его к виду y ‘ = f x y или y ‘ = f y x . Для этого нам нужно разделить числитель и знаменатель правой части исходного выражения на x 2 или y 2 .

Нам дано уравнение y ‘ = f a 1 x + b 1 y + c 1 a 2 x + b 2 y + c 2 , a 1 , b 1 , c 1 , a 2 , b 2 , c 2 ∈ R .

Для того, чтобы привести исходное уравнение к виду y ‘ = f x y или y ‘ = f y x , нам необходимо ввести новые переменные u = x — x 1 v = y — y 1 , где ( x 1 ; y 1 ) является решением системы уравнений a 1 x + b 1 y + c 1 = 0 a 2 x + b 2 y + c 2 = 0

Введение новых переменных u = x — 1 v = y — 2 в исходное уравнение y ‘ = 5 x — y — 3 3 x + 2 y — 7 позволяет нам получить уравнение вида d v d u = 5 u — v 3 u + 2 v .

Теперь выполним деление числителя и знаменателя правой части уравнения на u . Также примем, что z = u v . Получаем дифференциальное уравнение с разделяющимися переменными u · d z d u = 5 — 4 z — 2 z 2 3 + 2 z .

Подробный разбор теории и алгоритмов решения задач мы привели в разделе «Дифференциальные уравнения с разделяющимися переменными».

Линейные неоднородные дифференциальные уравнения первого порядка y ‘ + P ( x ) · y = Q ( x )

Приведем примеры таких уравнений.

К числу линейных неоднородных дифференциальных уравнений 1 -го порядка относятся:

y ‘ — 2 x y 1 + x 2 = 1 + x 2 ; y ‘ — x y = — ( 1 + x ) e — x

Для решения уравнений этого вида применяется метод вариации произвольной постоянной. Также мы можем представить искомую функцию у в виде произведения y ( x ) = u ( x ) v ( x ) . Алгоритмы применения обоих методов мы привели в разделе «Линейные неоднородные дифференциальные уравнения первого порядка».

Дифференциальное уравнение Бернулли y ‘ + P ( x ) y = Q ( x ) y a

Приведем примеры подобных уравнений.

К числу дифференциальных уравнений Бернулли можно отнести:

y ‘ + x y = ( 1 + x ) e — x y 2 3 ; y ‘ + y x 2 + 1 = a r c t g x x 2 + 1 · y 2

Для решения уравнений этого вида можно применить метод подстановки z = y 1 — a , которая выполняется для того, чтобы свести исходное уравнение к линейному дифференциальному уравнению 1 -го порядка. Также применим метод представления функции у в качестве y ( x ) = u ( x ) v ( x ) .

Алгоритм применения обоих методов приведен в разделе «Дифференциальное уравнение Бернулли». Там же можно найти подробный разбор решения примеров по теме.

Уравнения в полных дифференциалах P ( x , y ) d x + Q ( x , y ) d y = 0

Если для любых значений x и y выполняется ∂ P ( x , y ) ∂ y = ∂ Q ( x , y ) ∂ x , то этого условия необходимо и достаточно, чтобы выражение P ( x , y ) d x + Q ( x , y ) d y представляло собой полный дифференциал некоторой функции U ( x , y ) = 0 , то есть, d U ( x , y ) = P ( x , y ) d x + Q ( x , y ) d y . Таким образом, задача сводится к восстановлению функции U ( x , y ) = 0 по ее полному дифференциалу.

Выражение, расположенное в левой части записи уравнения ( x 2 — y 2 ) d x — 2 x y d y = 0 представляет собой полный дифференциал функции x 3 3 — x y 2 + C = 0

Для более подробного ознакомления с теорией и алгоритмами решения примеров можно обратиться к разделу «Уравнения в полных дифференциалах».

Дифференциальные уравнения второго порядка

Линейные однородные дифференциальные уравнения второго порядка с постоянными коэффициентами y ‘ ‘ + p y ‘ + q y = 0 , p , q ∈ R

Линейное однородное дифференциальное уравнение с постоянными коэффициентами обычно решается достаточно просто. Нам необходимо найти корни характеристического уравнения k 2 + p k + q = 0 . Здесь возможны три варианта в зависимости от различных p и q :

• действительные и различающиеся корни характеристического уравнения k 1 ≠ k 2 , k 1 , k 2 ∈ R ;
• действительные и совпадающие k 1 = k 2 = k , k ∈ R ;
• комплексно сопряженные k 1 = α + i · β , k 2 = α — i · β .

Значения корней характеристического уравнения определяет, как будет записано общее решение дифференциального уравнения. Возможные варианты:

• y = C 1 e k 1 x + C 2 e k 2 x ;
• y = C 1 e k x + C 2 x e k x ;
• y = e a · x · ( C 1 cos β x + C 2 sin β x ) .

Пример 13

Предположим, что у нас есть линейное однородное дифференциальное уравнение 2 -го порядка с постоянными коэффициентами y ‘ ‘ + 3 y ‘ = 0 . Найдем корни характеристического уравнения k 2 + 3 k = 0 . Это действительные и различные k 1 = — 3 и k 2 = 0 . Это значит, что общее решение исходного уравнения будет иметь вид:

y = C 1 e k 1 x + C 2 e k 2 x ⇔ y = C 1 e — 3 x + C 2 e 0 x ⇔ y = C 1 e — 3 x + C 2

Восполнить пробелы в теоретической части и посмотреть подробный разбор примеров по теме можно в статье «Линейные однородные дифференциальные уравнения 2 -го порядка с постоянными коэффициентами».

Линейные неоднородные дифференциальные уравнения второго порядка с постоянными коэффициентами y ‘ ‘ + p y ‘ + q y = f ( x ) , p , q ∈ R

Основным способом решение уравнений данного вида является нахождение суммы общего решения y 0 , которое соответствует линейному однородному дифференциальному уравнению y ‘ ‘ + p y ‘ + q y = 0 , и частного решения y

исходного уравнения. Получаем: y = y 0 + y

Способ нахождения y 0 мы рассмотрели в предыдущем пункте. Найти частное решение y

мы можем методом неопределенных коэффициентов при определенном виде функции f ( x ) , которая расположена в правой части записи исходного выражения. Также применим метод вариации произвольных постоянных.

К числу линейных неоднородных дифференциальных уравнений 2 -го порядка с постоянными коэффициентами относятся:

y ‘ ‘ — 2 y ‘ = ( x 2 + 1 ) e x ; y ‘ ‘ + 36 y = 24 sin ( 6 x ) — 12 cos ( 6 x ) + 36 e 6 x

Теоретические выкладки и подробный разбор примеров по теме можно найти в разделе «ЛНДУ 2 -го порядка с постоянными коэффициентами».

Линейные однородные дифференциальные уравнения (ЛОДУ) y ‘ ‘ + p ( x ) · y ‘ + q ( x ) · y = 0 и линейные неоднородные дифференциальные уравнения (ЛНДУ) второго порядка y ‘ ‘ + p ( x ) · y ‘ + q ( x ) · y = f ( x )

Линейные однородные и неоднородные дифференциальные уравнения и постоянными коэффициентами являются частными случаями дифференциальных уравнений этого вида.

На некотором отрезке [ a ; b ] общее решение линейного однородного дифференциального уравнения y ‘ ‘ + p ( x ) · y ‘ + q ( x ) · y = 0 представлено линейной комбинацией двух линейно независимых частных решений y 1 и y 2 этого уравнения, то есть, y = C 1 y 1 + C 2 y 2 .

Частные решения мы можем выбрать из систем независимых функций:

1 ) 1 , x , x 2 , . . . , x n 2 ) e k 1 x , e k 2 x , . . . , e k n x 3 ) e k 1 x , x · e k 1 x , . . . , x n 1 · e k 1 x , e k 2 x , x · e k 2 x , . . . , x n 2 · e k 2 x , . . . e k p x , x · e k p x , . . . , x n p · e k p x 4 ) 1 , c h x , s h x

Однако существуют примеру уравнений, для которых частные решения не могут быть представлены в таком виде.

Возьмем для примера линейное однородное дифференциальное уравнение x y ‘ ‘ — x y ‘ + y = 0 .

Общее решение линейного неоднородного дифференциального уравнения y ‘ ‘ + p ( x ) · y ‘ + q ( x ) · y = f ( x ) мы можем найти в виде суммы y = y 0 + y

, где y 0 — общее решение соответствующего ЛОДУ, а y

частное решение исходного дифференциального уравнения. Найти y 0 можно описанным выше способом. Определить y

нам поможет метод вариации произвольных постоянных.

Возьмем для примера линейное неоднородное дифференциальное уравнение x y ‘ ‘ — x y ‘ + y = x 2 + 1 .

Более подробно этот раздел освещен на странице «Линейные дифференциальные уравнения второго порядка».

Дифференциальные уравнения высших порядков

Дифференциальные уравнения, допускающие понижение порядка

Мы можем провести замену y ( k ) = p ( x ) для того, чтобы понизить порядок исходного дифференциального уравнения F ( x , y ( k ) , y ( k + 1 ) , . . . , y ( n ) ) = 0 , которое не содержит искомой функции и ее производных до k — 1 порядка.

В этом случае y ( k + 1 ) = p ‘ ( x ) , y ( k + 2 ) = p ‘ ‘ ( x ) , . . . , y ( n ) = p ( n — k ) ( x ) , и исходное дифференциальное уравнение сведется к F 1 ( x , p , p ‘ , . . . , p ( n — k ) ) = 0 . После нахождения его решения p ( x ) останется вернуться к замене y ( k ) = p ( x ) и определить неизвестную функцию y .

Дифференциальное уравнение y ‘ ‘ ‘ x ln ( x ) = y ‘ ‘ после замены y ‘ ‘ = p ( x ) станет уравнением с разделяющимися переменными y ‘ ‘ = p ( x ) , и его порядок с третьего понизится до первого.

В уравнении, которое не содержит аргумента х и имеет вид F ( y , y ‘ , y ‘ ‘ , . . . , y ( n ) ) = 0 , порядок может быть заменен на единицу следующим образом: необходимо провести замену d y d x = p ( y ) , где p ( y ( x ) ) будет сложной функцией. Применив правило дифференцирования, получаем:

d 2 y d x 2 = d p d y d y d x = d p d y p ( y ) d 3 y d x 3 = d d p d y p ( y ) d x = d 2 p d y 2 d y d x p ( y ) + d p d y d p d y d y d x = = d 2 p d y 2 p 2 ( y ) + d p d y 2 p ( y )
Полученный результаты подставляем в исходное выражение. При этом мы получим дифференциальное уравнение, порядок которого на единицу меньше, чем у исходного.

Рассмотрим решение уравнения 4 y 3 y ‘ ‘ = y 4 — 1 . Путем замены d y d x = p ( y ) приведем исходное выражение к уравнению с разделяющимися переменными 4 y 3 p d p d y = y 4 — 1 .

Более подробно решения задач по теме рассмотрены в разделе «Дифференциальные уравнения, допускающие понижение порядка».

Линейные однородные и неоднородные дифференциальные уравнения высших порядков с постоянными коэффициентами y ( n ) + f n — 1 · y ( n — 1 ) + . . . + f 1 · y ‘ + f 0 · y = 0 и y ( n ) + f n — 1 · y ( n — 1 ) + . . . + f 1 · y ‘ + f 0 · y = f ( x )

Решение уравнений данного вида предполагает выполнение следующих простых шагов:

• находим корни характеристического уравнения k n + f n — 1 · k n — 1 + . . . + f 1 · k + f 0 = 0 ;
• записываем общее решение ЛОДУ y 0 в стандартной форме, а общее решение ЛНДУ представляем суммой y = y 0 + y

— частное решение неоднородного дифференциального уравнения.

Нахождение корней характеристического уравнения подробно описано в разделе «Решение уравнений высших степеней». Для нахождения y

целесообразно использовать метод вариации произвольных постоянных.

Линейному неоднородному ДУ с постоянными коэффициентами y ( 4 ) + y ( 3 ) — 5 y ‘ ‘ + y ‘ — 6 y = x cos x + sin x соответствует линейное однородное ДУ y ( 4 ) + y ( 3 ) — 5 y ‘ ‘ + y ‘ — 6 y = 0 .

Более детальный разбор теории и примеров по теме вы можете найти на странице « Линейные однородные и неоднородные дифференциальные уравнения высших порядков с постоянными коэффициентами».

Линейные однородные и неоднородные дифференциальные уравнения высших порядков y ( n ) + f n — 1 ( x ) · y ( n — 1 ) + . . . + f 1 ( x ) · y ‘ + f 0 ( x ) · y = 0 и y ( n ) + f n — 1 ( x ) · y ( n — 1 ) + . . . + f 1 ( x ) · y ‘ + f 0 ( x ) · y = f ( x )

Найти решение ЛНДУ высших порядков можно благодаря сумме y = y 0 + y

, где y 0 — общее решение соответствующего ЛОДУ, а y

— частное решение неоднородного дифференциального уравнения.

y 0 представляет собой линейную комбинацию линейно независимых функций y 1 , y 2 , . . . , y n , каждая из которых является частным решением ЛОДУ, то есть, обращает равенство y ( n ) + f n — 1 ( x ) · y ( n — 1 ) + . . . + f 1 ( x ) · y ‘ + f 0 ( x ) · y = 0 в тождество. Частные решения y 1 , y 2 , . . . , y n обычно подбираются из известных систем линейно независимых функций. Подобрать их далеко не всегда просто и возможно, в этом и заключается основная проблема.

После того, как мы найдем общее решение ЛОДУ, найти частное решение соответствующего ЛНДУ можно благодаря методу вариации произвольных постоянных. Итак, y = y 0 + y

Получить более подробную информацию по теме можно в разделе «Дифференциальные уравнения высших порядков».

Системы дифференциальных уравнений вида d x d t = a 1 x + b 1 y + c 1 d y d t = a 2 x + b 2 y + c 2

Данная тема подробно разобрана на странице «Системы дифференциальных уравнений». Там же приведены примеры задач с подробных разбором.