Общее решение однородного дифференцированного уравнения

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

Определение

Как определить однородное дифференциальное уравнение

Для того, чтобы определить, является ли дифференциальное уравнение первого порядка однородным, нужно ввести постоянную t и заменить y на ty и x на tx : y → ty , x → tx . Если t сократится, то это однородное дифференциальное уравнение. Производная y′ при таком преобразовании не меняется.
.

Пример

Определить, является ли данное уравнение однородным

Делаем замену y → ty , x → tx .

Делим на t 2 .

.
Уравнение не содержит t . Следовательно, это однородное уравнение.

Метод решения однородного дифференциального уравнения

Однородное дифференциальное уравнение первого порядка приводится к уравнению с разделяющимися переменными с помощью подстановки y = ux . Покажем это. Рассмотрим уравнение:
(i)
Делаем подстановку:
y = ux ,
где u — функция от x . Дифференцируем по x :
y′ = ( ux ) ′ = u′ x + u ( x ) ′ = u′ x + u
Подставляем в исходное уравнение (i).
,
,
(ii) .
Разделяем переменные. Умножаем на dx и делим на x ( f ( u ) – u ) .

При f ( u ) – u ≠ 0 и x ≠ 0 получаем:

Интегрируем:

Таким образом, мы получили общий интеграл уравнения (i) в квадратурах:

Заменим постоянную интегрирования C на ln C , тогда

Опустим знак модуля, поскольку нужный знак определяется выбором знака постоянной C . Тогда общий интеграл примет вид:

Далее следует рассмотреть случай f ( u ) – u = 0 .
Если это уравнение имеет корни, то они являются решением уравнения (ii). Поскольку уравнение (ii) не совпадает с исходным уравнением, то следует убедиться, что дополнительные решения удовлетворяют исходному уравнению (i).

Всякий раз, когда мы, в процессе преобразований, делим какое-либо уравнение на некоторую функцию, которую обозначим как g ( x, y ) , то дальнейшие преобразования справедливы при g ( x, y ) ≠ 0 . Поэтому следует отдельно рассматривать случай g ( x, y ) = 0 .

Пример решения однородного дифференциального уравнения первого порядка

Проверим, является ли данное уравнение однородным. Делаем замену y → ty , x → tx . При этом y′ → y′ .
,
,
.
Сокращаем на t .

Постоянная t сократилась. Поэтому уравнение является однородным.

Делаем подстановку y = ux , где u – функция от x .
y′ = ( ux ) ′ = u′ x + u ( x ) ′ = u′ x + u
Подставляем в исходное уравнение.
,
,
,
.
При x ≥ 0 , |x| = x . При x ≤ 0 , |x| = – x . Мы пишем |x| = ± x подразумевая, что верхний знак относится к значениям x ≥ 0 , а нижний – к значениям x ≤ 0 .
,
Умножаем на ± dx и делим на .

При u 2 – 1 ≠ 0 имеем:

Интегрируем:

Интегралы табличные,
.

Применим формулу:
( a + b )( a – b ) = a 2 – b 2 .
Положим a = u , .
.
Возьмем обе части по модулю и логарифмируем,
.
Отсюда
.

Таким образом имеем:
,
.
Опускаем знак модуля, поскольку нужный знак обеспечивается выбором знака постоянной C .

Умножаем на x и подставляем ux = y .
,
.
Возводим в квадрат.
,
,
.

Теперь рассмотрим случай, u 2 – 1 = 0 .
Корни этого уравнения
.
Легко убедиться, что функции y = ± x удовлетворяют исходному уравнению.

Использованная литература:
Н.М. Гюнтер, Р.О. Кузьмин, Сборник задач по высшей математике, «Лань», 2003.

Автор: Олег Одинцов . Опубликовано: 19-07-2012 Изменено: 24-02-2015

Калькулятор Обыкновенных Дифференциальных Уравнений (ОДУ) и Систем (СОДУ)

Порядок производной указывается штрихами — y»’ или числом после одного штриха — y’5

Ввод распознает различные синонимы функций, как asin , arsin , arcsin

Знак умножения и скобки расставляются дополнительно — запись 2sinx сходна 2*sin(x)

Список математических функций и констант :

• ln(x) — натуральный логарифм

• sh(x) — гиперболический синус

• ch(x) — гиперболический косинус

• th(x) — гиперболический тангенс

• cth(x) — гиперболический котангенс

• sch(x) — гиперболический секанс

• csch(x) — гиперболический косеканс

• arsh(x) — обратный гиперболический синус

• arch(x) — обратный гиперболический косинус

• arth(x) — обратный гиперболический тангенс

• arcth(x) — обратный гиперболический котангенс

• arsch(x) — обратный гиперболический секанс

• arcsch(x) — обратный гиперболический косеканс

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

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

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

Теорема общего решения линейного однородного дифференциального уравнения

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

Отсюда получаем, что общее решение такого уравнения y » + p y ‘ + q y = 0 может быть записано как y 0 = C 1 ⋅ y 1 + C 2 ⋅ y 2 , где y 1 и y 2 выражаются линейно независимыми решениями, а С 1 и C 2 – произвольными постоянными. Необходимо поработать с нахождением частных решений y 1 и y 2 .

Существует формула по Эйлеру для поиска частных решений вида y = e k · x .

Если взять y = e k · x за частное решение ЛОДУ второго порядка с постоянными коэффициентами y » + p y ‘ + q y = 0 , тогда, используя подстановку, получим тождество вида:

e k · x » + p · e k · x ‘ + q · e k · x = 0 k 2 · e k · x + p · e k · x + q · e k · x = 0 e k · x · ( k 2 + p · k + q ) = 0 k 2 + p · k + q = 0

Данное тождество называют характеристическим уравнением с постоянными коэффициентами k 1 и k 2 , которые и являются его решениями и определяют частые решения вида y 1 = e k 1 · x и y 2 = e k 2 · x заданного ЛОДУ.

При различных значениях p и q можно получить характеристические уравнения с корнами такого вида:

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

Первый случай показывает, что решениями такого уравнения могут быть y 1 = e k 1 · x и y 2 = e k 2 · x , а общее решение принимает вид y 0 = C 1 · e k 1 · x + C 2 · e k 2 · x с постоянными коэффициентами. Функции y 1 = e k 1 · x и y 2 = e k 2 · x рассматриваются, как линейно независимыми по причине отличного от нуля определителя Вронского W ( x ) = y 1 y 2 y 1 ‘ y 2 ‘ = e k 1 · x e k 2 · x k 1 · e k 1 · x k 2 · e k 2 · x = e k 1 · x · e k 2 · x · k 2 — k 1 с действительными k 1 ≠ k 2 , k 1 , k 2 ∈ R .

Второй случай объясняет, что первым частным решением функции – это выражение y 1 = e k 0 · x . Вторым частным решением можно брать y 2 = x · e k 0 · x . Определим, что y 2 = x · e k 0 · x может являться частным решением ЛОДУ второго порядка с постоянными коэффициентами y » + p y ‘ + q y = 0 и докажем линейную независимость y 1 и y 2 .

Имеем, что k 1 = k 0 и k 2 = k 0 являются совпадающими корнями характеристического уравнения. Тогда оно примет вид k — k 0 2 = 0 ⇔ k 2 — 2 k 0 · k + k 0 2 = 0 . Отсюда следует, что y » — 2 k 0 · y ‘ + k 0 2 · y = 0 является линейным однородным дифференциальным уравнением. Необходимо подставить выражение y 2 = x · e k 0 · x для того, чтобы убедиться в тождественности:

y 2 » — 2 k 0 · y ‘ 2 + k 0 2 · y 2 = 0 x · e k 0 · x » — 2 k 0 · x · e k 0 x ‘ + k 0 2 · x · e k 0 · x = 0 e k 0 · x + k 0 · x · e k 0 x ‘ — 2 k 0 · e k 0 · x + k 0 · x · e k 0 x + k 0 2 · x · e k 0 · x = 0 ( k 0 · e k 0 · x + k 0 · e k 0 · x + k 0 2 · x · e k 0 · x — — 2 k 0 · e k 0 · x — k 0 2 · x · e k 0 · x + k 0 2 · x · e k 0 · x ) = 0 0 ≡ 0

Отсюда следует, что y 2 = x · e k 0 · x — это частное решение данного уравнения. Необходимо рассмотреть линейную независимость y 1 = e k 0 · x и y 2 = x · e k 0 · x . Чтобы убедиться в этом, следует прибегнуть к вычислению определителя Вронского. Он не должен быть равен нулю.

W ( x ) = y 1 y 2 y 1 ‘ y 2 ‘ = e k 0 · x x · e k 0 · x e k 0 · x ‘ x · e k 0 · x ‘ = = e k 0 · x x · e k 0 · x k 0 · e k 0 · x e k 0 · x · ( 1 + k 0 · x ) = = e k 0 · x · e k 0 · x · 1 + k 0 · x — k 0 · x · e k 0 · x · e k 0 · x = e 2 k 0 · x ≠ 0 ∀ x ∈ R

Можно сделать вывод, что линейно независимые частные решения ЛОДУ второго порядка с постоянными коэффициентами y » + p y ‘ + q y = 0 считаются y 1 = e k 0 · x и y 2 = x · e k 0 · x . Это подразумевает то, что решением будет являться выражение y 0 = C 1 · e k 0 · x + C 2 · x · e k 0 · x при k 1 = k 2 = k 0 , k 0 ∈ R .

Третий случай говорит о том, что имеем дело с парой комплексных частных решений ЛОДУ вида y 1 = e α + i · β · x и y 2 = e α — i · β · x .

Запись общего решения примет вид y 0 = C 1 · e α + i · β · x + C 2 · e α — i · β · x .

Функции y 1 = e a · x · cos β x и y 2 = e a · x · sin β x могут быть записаны вместо частных решений уравнения, причем с соответствующими действительной и мнимой частями. Это понятно при преобразовании общего решения y 0 = C 1 · e α + i · β · x + C 2 · e α — i · β · x . Для этого необходимо воспользоваться формулами из теории функции комплексного переменного вида. Тогда получим, что

y 0 = C 1 · e α + i · β · x + C 2 · e α — i · β · x = = C 1 · e α · x · cos β x + i · sin β x + C 2 · e α · x · cos β x — i · sin β x = = ( C 1 + C 2 ) · e α · x · cos β x + i · ( C 1 — C 2 ) · e α · x · sin β x = = C 3 · e α · x · cos β x + C 4 · e α · x · sin β x

Отчетливо видно, что С 3 и С 4 используются в качестве произвольных постоянных.

Алгоритм нахождения общего решения линейного однородного дифференциального уравнения

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

  1. Запись характеристического уравнения k 2 + p ⋅ k + q = 0 .
  2. Нахождение корней характеристического уравнения k 1 и k 2 .
  3. Производим запись ЛОДУ, исходя из полученных значений с постоянными коэффициентами:
  • y 0 = C 1 · e k 1 · x + C 2 · e k 2 · x при k 1 ≠ k 2 , k 1 , k 2 ∈ R ;
  • y 0 = C 1 · e k 0 · x + C 2 · x · e k 0 · x при k 1 = k 2 = k 0 , k 0 ∈ R ;
  • y 0 = e α · x · ( C 1 · cos β x + C 2 · sin β x ) при k 1 = α + i · β , k 2 = α — i · β .

Найти общее решение заданного уравнения с постоянными коэффициентами y » + 4 y ‘ + 4 y = 0 .

Решение

Следуя алгоритму, необходимо записать характеристическое уравнение k 2 + 4 ⋅ k + 4 = 0 , после чего обозначить его корни. Получаем, что

k 2 + 4 k + 4 = 0 ( k + 2 ) 2 = 0 k 1 = k 2 = k 0 = — 2

Очевидно, что полученные корни являются совпадающими.

Ответ: Запись общего решения: y 0 = C 1 · e k 0 x + C 2 · x · e k 0 x = C 1 · e — 2 x + C 2 · x · e — 2 x .

Найти решение заданного уравнения вида y » — 5 y ‘ + 6 y = 0 .

Решение

По условию имеется ЛОДУ 2 порядка с постоянными коэффициентами. Это указывает на то, что необходимо записать характеристическое уравнение и обозначить его корни. Получим:

k 2 — 5 k + 6 = 0 D = 5 2 — 4 · 6 = 1 k 1 = 5 — 1 2 = 2 k 2 = 5 + 1 2 = 3

Видно, что корни различные и действительные. Это говорит о том, что уравнение общего вида запишется как y 0 = C 1 · e k 1 x + C 2 e k 2 x = C 1 · e 2 x + C 2 · e 3 x .

Ответ: y 0 = C 1 · e k 1 x + C 2 e k 2 x = C 1 · e 2 x + C 2 · e 3 x .

Найти общее решение дифференциального уравнения вида y » — y ‘ + 3 y = 0 .

Решение

Необходимо перейти к характеристическому уравнению ЛОДУ 2 порядка, что соответствует записи k 2 — k + 3 = 0 , после чего обозначить его корни. Тогда получим, что

D = 1 2 — 4 · 3 = — 11 k 1 = 1 + i 11 2 = 1 2 + i · 11 2 k 2 = 1 — i 11 2 = 1 2 — i · 11 2 ⇒ α = 1 2 , β = 11 2

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

y 0 = e a · x · ( C 1 · cos β x + C 2 · sin β x ) = = e x 2 · C 1 · cos 11 x 2 + C 2 · sin 11 2

Ответ: y 0 = e x 2 · C 1 · cos 11 x 2 + C 2 · sin 11 2 .


источники:

http://mathdf.com/dif/ru/

http://zaochnik.com/spravochnik/matematika/differentsialnye-uravnenija/linejnye-odnorodnye-differentsialnye-uravnenija-vt/