§4. ИНТЕГРИРОВАНИЕ ДУ ВТОРОГО ПОРЯДКА С ПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ

4.1. Интегрирование ЛОДУ второго порядка с постоянными коэффициентами

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

Пусть дано ЛОДУ второго порядка

где р и q постоянны.

Для нахождения общего решения уравнения (4.1) достаточно найти два его частных решения, образующих фундаментальную систему (см. теорему 3.5).

Будем искать частные решения уравнения (4.1) в виде

где k - некоторое число (предложено Л. Эйлером). Дифференцируя эту функцию два раза и подставляя выражения для у, у' и у" в уравнение (4.1), получим:

Уравнение (4.2) называется характеристическим уравнением ДУ (4.1) (для его составления достаточно в уравнении (4.1) заменить у", у' и у соответственно на k², k и 1).

При решении характеристического уравнения (4.2) возможны следующие три случая.

Случай 1. Корни k₁ и k₂ уравнения (4.2) действительные и различные:

В этом случае частными решениями уравнения (4.1) являются функции y₁=e^k1x и у₂=е^_k2x. Они образуют фундаментальную систему решений (линейно независимы), т. к. их вронскиан

Следовательно, общее решение уравнения (4.1), согласно формуле (3.16), имеет вид

Пример 4.1. Решить уравнение

Решение: Составим характеристическое уравнение: Решаем его: k₁=2, k₂=3. Записываем общее решение данного уравнения: где c₁ и с₂ - произвольные постоянные (формула (4.3)).

Случай 2. Корни k₁ и k₂ характеристического уравнения (4.2) действительные и равные:

В этом случае имеем лишь одно частное решение y₁=e^k1x. Покажем, что наряду с у₁ решением уравнения (4.1) будет и у^₂=хе^_k1x. Действительно, подставим функцию у₂ в уравнение (4.1). Имеем:

Но k₁²+pk₁+q=0, т. к. k₁ есть корень уравнения (4.2); р+2k₁=0, т. к. по условию

Поэтому y''₂+Py'₂+qy₂=0, т. е. функция у₂=хе^k1x является решением уравнения (4.1).

Частные решения образуют фундаментальную систему решений: W(x)=e^2k1x≠0. Следовательно, в этом случае общее решение ЛОДУ (4.1) имеет вид

Случай3. Корни k₁ и k₂ уравнения (4.2) комплексные:

В этом случае частными решениями уравнения (4.1) являются функцииПо формулам Эйлера (см. Часть 1, п. 27.3)

имеем

Найдем два действительных частных решения уравнения (4.1). Для этого составим две линейные комбинации решений y₁ и у_2:

Функции являются решениями уравнения (4.1), что следует из свойств решений ЛОДУ второго порядка (см. теорему 3.2).Эти решения образуют фундаментальную систему решений, так как W(x) ≠ 0 (убедитесь самостоятельно!). Поэтому общее решение уравнения (4.1) запишется в виде или

Пример 4.2. Решить уравнение

Решение: Имеем:По формуле (4.5) получаем общее решение уравнения:

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

4.2. Интегрирование ЛОДУ n-го порядка с постоянными коэффициентами

Задача нахождения общего решения ЛОДУ n-го порядка (n > 2) с постоянными коэффициентами

где p_i, i=1,n, - числа, решается аналогично случаю уравнения второго порядка с постоянными коэффициентами.

Сформулируем необходимые утверждения и рассмотрим примеры.

Частные решения уравнения (4.6) также ищем в виде у=е^kх, где k - постоянное число.

Характеристическим для уравнения (4.6) является алгебраическое уравнение n-го порядка вида

Уравнение (4.7) имеет, как известно, n корней (в их числе могут быть и комплексные). Обозначим их через k₁, k₂, ..., k_n.

Замечание. Не все из корней уравнения (4.7) обязаны быть различными. Так, в частности, уравнение (k-3)²=0 имеет два равных корня: k1=k2=3. В этом случае говорят, что корень один (k=3) и имеет кратность mk=2. Если кратность корня равна единице: mk=1, его называют простым.

Случай 1. Все корни уравнения (4.7) действительны и просты (различны). Тогда функцииявляются частными решениями уравнения (4.6) и образуют фундаментальную систему решений (линейно независимы). Поэтому общее решение уравнения (4.6) записывается в виде

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

Решение: Характеристическое уравнение k³ - 2k² - К+2=0 имеет корни k₁=-1, k₂=1, k₃=2. Следовательно, общее решение данного уравнения.

Случай 2. Все корни характеристического уравнения действительные, но не все простые (есть корни, имеющие кратность м > 1). Тогда каждому простому корню К соответствует одно частное решение вида е^кх, а каждому корню k кратности m>1 соответствует m частных решений: е^kх, хе^kх, х²е^kx ,..., х^m-1е^kх.

Пример 4.4. Решить уравнение

Решение: Характеристическое уравнение

имеет корни k₁=-2, k₂=1, k₃=1, k₄=1. Следовательно,

- общее решение уравнения.

Случай 3. Среди корней уравнения (4.7) есть комплексно-сопряженные корни. Тогда каждой паре a±β i простых комплексно-сопряженных корней соответствует два частных решения е^ах cosβx и е^ах sinβx, а каждой паре а ± β_i корней кратности m>1 соответствуют 2m частных решений вида

Эти решения, как можно доказать, образуют фундаментальную систему решений.

Пример 4.5. Решить уравнение

Решение: Характеристическое уравнение

имеет корниСледовательно,

- общее решение уравнения.

§5. ЛИНЕЙНЫЕ НЕОДНОРОДНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ (ЛНДУ)

5.1. Структура общего решения ЛНДУ второго порядка

Рассмотрим ЛНДУ второго порядка

где- заданные, непрерывные на (а;b) функции. Уравнение

левая часть которого совпадает с левой частью ЛНДУ (5.1), называется соответствующим ему однородным уравнением.

Убедимся, что функция (5.3) - решение уравнения (5.1). Так как у* есть решение уравнения (5.1), а- решение уравнения (5.2), то

В таком случае имеем:

Это означает, что функцияявляется решением уравнения (5.1).

Покажем теперь, что функция

является общим решением уравнения (5.1). Для этого надо доказать, что из решения (5.4) можно выделить единственное частное решение, удовлетворяющее заданным начальным условиям

Продифференцировав функцию (5.4) и подставив начальные условия (5.5) в функцию (5.4) и ее производную, получим систему уравнений:

где у_о=у(х_о), у'₀=y'(x₀), с неизвестными c₁ и с₂. Определителем этой системы является определитель Вронского W(x₀) для функции y₁(x) и у₂(х) в точке х=х_о. Функции y₁(x) и у₂(х) линейно независимы (образуют фундаментальную систему решений), т. е.Следовательно, система имеет единственное решение: c₁=с⁰₁ и с₂=с⁰₂.

Решениеявляется частным решением уравнения (5.1), удовлетворяющим заданным начальным условиям (5.5). Теорема доказана.

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

Рассмотрим ЛНДУ (5.1). Его общим решением является функция (5.3), т. е.

Частное решениеуравнения (5.1) можно найти, если известно общее решениесоответствующего однородного уравнения (5.2), методом вариации произвольных постоянных (метод Лагранжа), состоящим в следующем. Пусть- общее решение уравнения (5.2).Заменим в общем решении постоянные c₁ и с₂ неизвестными функциями c₁(x) и с₂(х) и подберем их так, чтобы функция

была решением уравнения (5.1). Найдем производную

Подберем функции c₁(x) и с₂(х) так, чтобы

Тогда

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

или

Поскольку y₁(x) и у₂(х) - решения уравнения (5.2), то выражения в квадратных скобках равны нулю, а потому

Таким образом, функция (5.6) будет частным решением у* уравнения (5.1), если функции c₁(x) и с₂(х) удовлетворяют системе уравнений (5.7) и (5.8):

Определитель системытак как это определитель Вронского для фундаментальнойсистемы частных решений у₁ (х) и у₂ (х) уравнения (5.2). Поэтому система (5.9) имеет единственное решение: с'₁(х)= j₁(x) и с'₂(х)=j₂(х), где j₁(x) и j₂(х) - некоторые функции от х. Интегрируя эти функции, находим c₁(x) и с₂(х), а затем по формуле (5.6) составляем частное решение уравнения (5.1).

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

Решение: Найдем общее решениесоответствующего однородного уравненияИмеем:Следовательно,

Найдем теперь частное решение у* исходногоуравнения. Оно ищется в виде (5.6):Для нахождения с₁(х) и с₂(х) составляем систему уравнений вида (5.9):

Решаем ее:

Запишем частное решение данного уравнения: Следовательно, общее решение данного уравнения имеет вид

При нахождении частных решений ЛНДУ может быть полезной следующая теорема.

Действительно,

См. также

Оглавление |