Всякое решение уравнения (6.1) является частным решением, так что особых решений оно не имеет.
Однородное линейное уравнение (ОЛДУ)
(6.2)
(всегда) имеет нулевое решение , удовлетворяющее нулевым начальным условиям при и оно единственно.
Теорема 2. Общее решение ОЛДУ есть линейная комбинация решений его фундаментальной системы:
. (6.3)
Определение 2. Фундаментальной системой решений (ФСР) уравнения (6.2) называется n его любых линейно-независимых частных решений .
Замечание. Для любого ОЛДУ существует бесконечное число фундаментальных систем решений.
Определение 3. Система из n функций называется линейно-независимой ( на (a,b)) системой, если тождество
(6.4)
выполняется лишь в случае .
Теорема 3. Чтобы система решений была фундаментальной, необходимо и достаточно, чтобы ее определитель Вронского
(6.5)
был отличен от нуля хотя бы в одной точке интервала .
Ниже (§10.6.2) показывается, что построить ФСР в элементарных функциях удается всегда для уравнений с постоянными коэффициентами – для этих уравнений легко находится общее решение. Для уравнений с переменными коэффициентами общего (точного) метода построения ФСР не существует.
Пример 1. Показать, что система функций линейно независима на интервале (.
Решение. Равенство (6.4) может выполняться лишь при условии, что ; иначе в левой части будем иметь многочлен степени не выше третьей, который может обратиться в нуль не более, чем при трех значениях x из данного интервала.
Пример 2. Показать, что система функций , где попарно различны, линейно независима на интервале .
Решение. Предположим противное; тогда в тождестве (6.4) . Пусть это . Деля обе части тождества (6.4) на , получим: . Дифференцируя это тождество и деля обе части его на , придем к тождеству . Дифференцируя, получим , что невозможно, так как по предположению, по условию, а .
Замечание. Для случая двух функций критерием их линейной независимости является отношение их, тождественно не равное постоянной.
Пример 3. Функции tgx и ctgx линейно независимы в интервале , так как их отношение в этом интервале. Функции sin2x и линейно зависимы в интервале , так как их отношение в этом интервале (в точках разрыва функции доопределяем это отношение по непрерывности).
Пример 4. Найти определитель Вронского для функции .
Решение. Имеем
.
Пусть есть система из n линейно-независимых на отрезке [a,b] функций, имеющих все производные до n-го порядка включительно. Тогда уравнение
(6.6)
где - независимая функция, определяет ДУ, для которого функции составляют ФСР.
Пример 5. Составить ДУ, для которого функции образуют ФСР.
Решение. Составим уравнение (6.6):
или .
Раскрывая последний определитель по элементам третьего столбца, получим искомое уравнение: .
Замечание. В данном примере определитель Вронского обращается в ноль при , что не противоречит общей теории, так как записав уравнение в виде , обнаружим, что коэффициент при терпит разрыв при .
Если известно какое-либо частное решение уравнения (6.2), то подстановка приводит это уравнение к линейному уравнению относительно функции , не содержащему (явно) этой функции и, следовательно, подстановка понижает порядок этого уравнения на единицу.
Пример 6. Найти общее решение уравнения , если функция есть его частное решение.
Решение. Подставив в уравнение, убеждаемся в том, что , действительно, является его частным решением. Положим , найдем . Подставив в уравнение, после преобразования придем к уравнению . Полагая здесь , придем к уравнению первого порядка относительно функции , общее решение которого имеет вид . Учитывая, что , придем к уравнению , интегрируя которое, найдем: . Заменяя z по формуле , получим общее решение исходного уравнения: .
Замечание 1. Изложенный метод обобщается на случай, когда известны k частных линейно-независимых решений уравнения (6.2).
Замечание 2. Для построения общего решения ОЛДУ достаточно знать только одно ненулевое частное решение его. При этом второе частное решение можно найти по формуле .
Пример 7. Найти общее решение уравнения , если оно имеет частное решение .
Решение. Найдем Поэтому общим решением уравнения будет .
2°. Неоднородные уравнения (НЛДУ). Приведем теорему о структуре общего решения НЛДУ.
Теорема 4. Общее решение НЛДУ (6.1) есть сумма общего решения (6.3) ОЛДУ (6.2) и любого частного решения НЛДУ (6.1):
(6.7)
Все решения НЛДУ содержатся в формуле (6.7).
Пользование формулой (6.7) на практике затруднительно, так как метод определения частного решения НЛДУ получен лишь для уравнений с постоянными коэффициентами и с правой частью некоторого специального вида.
Приведем одно свойство решений НЛДУ (принцип суперпозиции решений): если правая часть НЛДУ (6.1) состоит из нескольких слагаемых и для НЛДУ с той же левой частью и правой частью, равной каждому из этих слагаемых в отдельности, мы можем найти частное решение, то сумма последних будет частным решением всего уравнения (6.1).
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.