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

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

§1. Методы понижения  порядка уравнения.

Дифференциальное  уравнение 2-го порядка имеет вид:

. (1.1)

Общим решением уравнения является семейство функций, зависящее от двух произвольных постоянных и : (или  – общий интеграл дифференциального уравнения 2-го порядка). Задача Коши для дифференциального уравнения 2-го порядка (1.1) состоит в отыскании частного решения уравнения, удовлетворяющего начальным условиям: при : , . Необходимо заметить, что графики решений уравнения 2-го порядка могут пересекаться в отличие от графиков решений уравнения 1-го порядка. Однако решение задачи Коши для уравнений 2-го порядка (1.1) при довольно широких предположениях для функций, входящих в уравнение, единственно, т.е. всякие два решения с общим начальным условием , совпадают на пересечении интервалов определения.

Получить общее решение  или решить задачу Коши для дифференциального уравнения 2-го порядка аналитически удается далеко не всегда. Однако в некоторых случаях удается понизить порядок уравнения с помощью введения различных подстановок. Разберем эти случаи.

1. Уравнения, не содержащие явно независимой переменной .

Пусть дифференциальное уравнение 2-го порядка имеет вид: , т.е. в уравнении (1.1) явно не присутствует независимая переменная . Это позволяет принять за новый аргумент, а производную 1-го порядка принять за новую функцию . Тогда .

Таким образом, уравнение 2-го порядка  для функции , не содержащее явно , свелось к уравнению 1-го порядка для функции . Интегрируя это уравнение, получаем общий интеграл или , а это есть дифференциальное уравнение 1-го порядка для функции . Решая его, получаем общий интеграл исходного дифференциального уравнения, зависящий от двух произвольных постоянных: .

Пример 1. Решить дифференциальное уравнение при заданных начальных  условиях: , .

Решение.

Так как в исходном уравнении  в явном виде отсутствует аргумент , то примем за новую независимую переменную, а – за . Тогда и уравнение приобретает следующий вид для функции : .

Это дифференциальное уравнение  с разделяющимися переменными: . Откуда следует , т.е. .

Так как при  и , то подставляя начальные условия в последнее равенство, получаем, что и , что равносильно . В результате для функции имеем уравнение с разделяющимися переменными, решая которое, получаем . Используя начальные условия, получаем, что . Следовательно, частный интеграл уравнения, удовлетворяющий начальным условиям, имеет вид: .

2. Уравнения, не содержащие явно искомой функции .

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

Пример 2. Найти общее решение уравнения:

Решение.

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

3. Порядок степени понижается, если удается преобразовать его к такому виду, что обе части уравнения становятся полными производными по от каких-нибудь функций. Например, пусть дано уравнение . Деля обе части на , получаем ; ; ; – порядок уравнения понижен.

 

§2. Линейное дифференциальное уравнение 2-го порядка.

Линейное дифференциальное уравнение (ЛДУ) 2-го порядка имеет  следующий вид:

, (2.1)

где , , и – заданные функции, непрерывные на том промежутке, на котором ищется решение. Предполагая, что a₀(x) ≠ 0, поделим (2.1) на и, после введения новых обозначений для коэффициентов, запишем уравнение в виде:

(2.2)

Примем без  доказательства, что (2.2) имеет на некотором  промежутке единственное решение, удовлетворяющее  любым начальным условиям , , если на рассматриваемом промежутке функции , и непрерывны. Если , то уравнение (2.2) называется однородным, и уравнение (2.2) называется неоднородным в противном случае.

Рассмотрим свойства решений  лоду 2-го порядка.

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

Теорема. Если и – решение лоду

, (2.3)

то их линейная комбинация также будет решением этого уравнения.

Доказательство.

Поставим выражение  в (2.3) и покажем, что в результате получается тождество:

.

Перегруппируем  слагаемые:

.

Поскольку функции  и являются решениями уравнения (2.3), то каждая из скобок в последнем уравнении тождественно равна нулю, что и требовалось доказать.

Следствие 1. Из доказанной теоремы вытекает при , что если – решение уравнения (2.3), то тоже есть решение этого уравнения.

Следствие 2. Полагая , видим, что сумма двух решений лоду также является решением этого уравнения.

Замечание. Доказанное в теореме свойство решений остается справедливым для лоду любого порядка.

 

 

 

 

§3. Определитель Вронского.

Определение. Система функций называется линейно независимой на некотором промежутке, если ни одна из этих функций не представляется в виде линейной комбинации всех остальных.

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

Пусть  – определитель Вронского для линейно независимых решений и уравнения (2.3). Убедимся подстановкой, что функция удовлетворяет уравнению . (3.1)

Действительно, . Поскольку функции и удовлетворяют уравнению (2.3), то , т.е. – решение уравнения (3.1). Найдем это решение: ; . Откуда , . , , .

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

(3.2)

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

 

§4. Структура  общего решения лоду 2-го порядка.

Теорема. Если и – линейно независимые решения уравнения (2.3), то их линейная комбинация , где и – произвольные постоянные, будет общим решением этого уравнения.

Доказательство.

 То, что  есть решение уравнения (2.3), следует из теоремы о свойствах решений лоду 2-го порядка. Надо только еще показать, что решение будет общим, т.е. надо показать, что при любых начальных условиях , можно выбрать произвольные постоянные и так, чтобы удовлетворить этим условиям. Запишем начальные условия в виде:

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

,

а такой определитель, как мы видели в предыдущем параграфе, отличен от нуля. Теорема доказана.

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

Решение.

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

 

§5. ЛОДУ 2-го порядка с постоянными коэффициентами.

Дано лоду 2-го порядка  с постоянными коэффициентами (5.1), где , . Согласно предыдущему параграфу общее решение лоду 2-го порядка легко определяется, если известны два линейно независимых частных решения этого уравнения. Простой метод нахождения частных решений уравнения с постоянными коэффициентами предложил Л. Эйлер. Это метод, который называется методом Эйлера, состоит в том, что частные решения ищутся в виде .

Подставляя  эту функцию в уравнение (5.1), после сокращения на , получим алгебраическое уравнение, которое называется характеристическим:

(5.2)

Функция будет решением уравнения (5.1) только при тех значениях k, которые являются корнями характеристического уравнения (5.2). В зависимости от величины дискриминанта возможны три случая.

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

 или , т.к. и .

Частные решения  и линейно независимы, т.к. . Следовательно, общее решение (5.1) имеет вид:

 или .

3. . В этом случае корни характеристического уравнения комплексно-сопряженные: , где , . Можно проверить, что линейно независимыми решениями уравнения (5.1) будут функции и . Убедимся, что уравнению (5.1) удовлетворяет, например, функция y₁. Действительно, , . Подставив эти выражения в уравнение (5.1), получим

.

Обе скобки в левой части этого равенства тождественно равны нулю. Действительно, ,

. Таким образом, функция  удовлетворяет уравнению (5.1). Аналогично нетрудно убедиться в том, что и есть решение уравнения (5.1). Поскольку , то общее решение будет иметь вид:

.

 

§6. Структура общего решения линейного неоднородного дифференциального уравнения (лнду) 2-го порядка.

Теорема 1. Общее решение лнду 2-го порядка

 f(x) (6.1)

представляется в виде суммы общего решения соответствующего однородного уравнения

 (6.2)

и любого частного решения лнду (6.1).

Доказательство.

Докажем сначала, что  будет решением уравнения (6.1). Для этого подставим в уравнение (6.1): f(x). Это равенство является тождеством, т.к. и f(x). Следовательно, есть решение уравнения (6.1).

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

 и, следовательно, начальные  условия (6.3) можно записать в  виде:

или

 (6.4)

Произвольные постоянные и определяются из этой системы линейных алгебраических уравнений однозначно при любых правых частях, т.к. определитель этой системы = есть значение определителя Вронского для линейно независимых решений уравнения (6.2) при , а такой определитель, как мы видели выше, отличен от нуля. Определив постоянные и из системы уравнений (6.4) и подставив их в выражение , мы получим частное решение уравнения (6.1), удовлетворяющее заданным начальным условиям. Теорема доказана.