- •Лекция № 1
- •§1. Общие сведения о дифференциальных уравнениях
- •1.1. Основные понятия
- •1.2. Задачи, приводящие к дифференциальным уравнениям
- •§2. Дифференциальные уравнения первого порядка
- •2.1. Основные понятия
- •2.2. Уравнения с разделяющимися переменными
- •Лекция № 2
- •2.3. Однородные дифференциальные уравнения
- •2.4. Линейные уравнения. Уравнение я. Бернулли
- •Лекция № 3
- •2.5. Уравнение в полных дифференциалах. Интегрирующий множитель
- •2.6. Уравнения Лагранжа и Клеро
- •§3. Дифференциальные уравнения высших порядков
- •3.1. Основные понятия
- •Лекция № 4
- •3.2. Уравнения, допускающие понижение порядка
- •3.3. Линейные дифференциальные уравнения высших порядков
- •3.4. Линейные однородные ду второго порядка
- •3.5. Линейные однородные ду n-го порядка
- •Лекция № 5
- •§4. Интегрирование ду второго порядка с постоянными коэффициентами
- •4.1. Интегрирование лоду второго порядка с постоянными коэффициентами
- •4.2. Интегрирование лоду n-го порядка с постоянными коэффициентами
- •§5. Линейные неоднородные дифференциальные уравнения (лнду)
- •5.1. Структура общего решения лнду второго порядка
- •5.2. Метод вариации произвольных постоянных
- •Лекция № 6
- •5.3. Интегрирование лнду второго порядка с постоянными коэффициентами и правой частью специального вида
- •§6. Системы дифференциальных уравнений
- •6.1. Основные понятия
- •Лекция № 7
- •6.2. Интегрирование нормальных систем
- •6.3. Системы линейных ду с постоянными коэффициентами
3.3. Линейные дифференциальные уравнения высших порядков
Основные понятия
Многие задачи математики, механики, электротехники и других технических наук приводят к линейным дифференциальным уравнениям. Уравнение вида
где bo(x) ≠ 0, b1(x),..., bn(x), g(x) - заданные функции (от х), называется линейным ДУ n-го порядка.
Оно содержит искомую функцию у и все ее производные лишь в первой степени. Функции bo(x), b1(x),..., bn(x) называются коэффициентами уравнения (3.11), а функция g(x) - его свободным членом.
Если свободный член g(x)=0, то уравнение (3.11) называется линейным однородным уравнением; если g(x)≠0, то уравнение (3.11) называется неоднородным.
Разделив уравнение (3.11) на bo(x) ≠ 0 и обозначив
запишем уравнение (3.11) в виде приведенного:
Далее будем рассматривать линейные ДУ вида (3.12) и считать, что коэффициенты и свободный член уравнения (3.12) являются непрерывными функциями (на некотором интервале (а;b)). При этих условиях справедлива теорема существования и единственности решения ДУ (3.12) (см. теорему. 3.1).
3.4. Линейные однородные ду второго порядка
Рассмотрим линейное однородное дифференциальное уравнение (ЛОДУ) второго порядка:
и установим некоторые свойства его решений.
Теорема 3.2. Если функции y1=y1(x) и у2=у2(х) являются частными решениями уравнения (3.13), то решением этого уравнения является также функция
где c1 и с2 - произвольные постоянные.
Подставим функцию у=c1y1+с2у2 и ее производные в левую часть ЛОДУ (3.13). Получаем:
так как функции y1 и у2 - решения уравнения (3.13) и, значит, выражения в скобках тождественно равны нулю.
Таким образом, функция у=c1y1+c2y2 также является решением уравнения (3.13).
Из теоремы 3.2, как следствие, вытекает, что если y1 и у2 - решения уравнения (3.13), то решениями его будут также функции у=y1+y2 и у=cу1.
Функция (3.14) содержит две произвольные постоянные и является решением уравнения (3.13). Может ли она являться общим решением уравнения (3.13)?
Для ответа на вопрос введем понятие линейной зависимости и линейной независимости функций.
Функции y1=y1(x) и у2=у2(х) называются линейно независимыми на интервале (а;b), если равенство
где a1,a2 є R, выполняется тогда и только тогда, когда a1=a2=0.
Если хотя бы одно из чисел a1 или а2 отлично от нуля и выполняется равенство (3.15), то функции у1 и у2 называются линейно зависимыми на (а;b).
Очевидно, что функции y1 и у2 линейно зависимы тогда и только тогда, когда они пропорциональны, т.е. для всех х є (a;b) выполняется равенство или Например, функции y1=3ех и у2=ех линейно зависимы: y1/y2=3=const; функции y1 и у2=е2x - линейно независимы: соnst функции у4=sinх и у5=cosx являются линейно независимыми: равенство a1sinx+а2cosх=0 выполняется для всех х є R. лишь при a1=а2=0
Средством изучения линейной зависимости системы функций является так называемый определитель Вронского или вронскиан (Ю. Вронский - польский математик).
Для двух дифференцируемых функций y1=y1(x) и у2=у2(х) вронскиан имеет вид
Имеют место следующие теоремы.
Теорема 3.3. Если дифференцируемые функции y1(x) и у2(х) линейно зависимы на (а;b), то определитель Вронского на этом интервале тождественно равен нулю.
Так как функции y1 и у2 линейно зависимы, то в равенстве (3.15) значение a1 или а2 отлично от нуля. Пусть a1≠0, тогда поэтому для любого х(а;b)
Теорема 3.4. Если функции y1(x) и у2(х) - линейно независимые решения уравнения (3.13) на (а;b), то определитель Вронского на этом интервале нигде не обращается в нуль.
Доказательство теоремы опустим.
Из теорем 3.3 и 3.4 следует, что вронскиан не равен нулю ни в одной точке интервала (a; b) тогда и только тогда, когда частные решения линейно независимы.
Совокупность любых двух линейно независимых на интервале (a; b) частных решений у1(х) и у2 (х) ЛОДУ второго порядка определяет фундаментальную систему решений этого уравнения: любое произвольное решение может быть получено как комбинация у=a1y1(x)+a2y2(x).
Пример 3.4. Частные решения у1=sinx и у2=cosx, у3=2sinx и у4=5cosx (их бесчисленное множество!) уравнения у''+у=0 образуют фундаментальную систему решений; решения же у5=0 и уб=cosx - не образуют. Теперь можно сказать, при каких условиях функция (3.14) будет общим решением уравнения (3.13).
Теорема 3.5 (структура общего решения ЛОДУ второго порядка). Если два частных решения y1=y1(x) и у2=у2(х) ЛОДУ (3.13) образуют на интервале (а;b) фундаментальную систему, то общим решением этого уравнения является функция
где c1 и с2 - произвольные постоянные.
Согласно теореме 3.2, функция (3.16) является решением уравнения (3.13).
Остается доказать, что это решение общее, т. е. что из него можно выделить единственное частное решение, удовлетворяющее заданным начальным условиям
где хоє(a;b).
Подставив начальные условия (3.17) в решение (3.14), получим систему уравнений
где уо=у(хо), уо=у'(хо), с неизвестными с1 и с2. Определитель этой системы
равен значению вронскиана W(x) при х=хо.
Так как решения y1(x) и у2(х) образуют фундаментальную систему решений на (а; b) и хоє(а;b), то, согласно теореме 3.4, W(x0)≠0. Поэтому система уравнений имеет единственное решение:
Решение у=c01y1(x)+c02y2(x) является частным решением (единственным, в силу теоремы единственности) уравнения (3.13), удовлетворяющим начальным условиям (3.17). Теорема доказана.
Пример 3.5. На основании теоремы 3.5 общим решением уравнения у"+у=0 (см. пример 3.4) является функция у=c1sinx+с2cosx.