Размерность пространства решений однородного дифференциального уравнения

21. Пространство решений системы линейных однородных уравнений

Пусть дана система (30) линейных однородных уравнений с коэффициентами из поля Р.

(30)

Так как столбец свободных членов в матрице А1 этой системы состоит только из нулей, то rang A = rang A1, т. е. система линейных однородных уравнений всегда совместна. В частности она всегда имеет нулевое решение. Рассмотрим множество всех возможных решений системы (30).

Пусть A =(A1, A2, … , An) и B =(B1, B2, … , Bn) – Любые два из них. Их можно рассматривать, как векторы в арифметическом n-мерном пространстве над полем Р. Пусть L – любой элемент поля Р. Тогда A +B = (A1 + B1, A2 + B2, … , An + Bn ), L×A = (LA1, LA2, … , LAn). Подставим компоненты этих векторов в произвольное S-е уравнение системы (30). Получим Итак, если A и B – Любые два решения системы (30) и L – любой элемент поля Р, то A +B И L×A тоже являются решением этой системы. Но тогда из теоремы 14 следует

Теорема 27. Множество решений системы линейных однородных уравнений с N Переменными есть линейное подпространство арифметического пространства Аn .

Теорема 28. Размерность пространства решений системы линейных однородных уравнений равна N – r, Где N – Число неизвестных, r – ранг матрицы системы.

Доказательство. Пусть L – пространство решений системы (30). Тогда L Ì Аn . Пусть A = (A1, A2, … Ar, Ar+1, … , An) – произвольное решение системы. Пусть (Ar+1, … , An) – набор свободных неизвестных, соответствующий этому решению. Множество всех возможных наборов свободных неизвестных есть арифметическое (N – r)-мерное пространство Аn–r . Зададим отображение J: L ® Аn–r по правилу

Покажем, что J – изоморфизм (определение 24). Для этого нужно проверить три условия.

1. Покажем, что J – взаимнооднозначное отображение. Решению A = (A1, A2, … Ar, Ar+1, … , An) соответствует только один набор (Ar+1, … , An), следовательно, J – Однозначное отображение. Обратно, если задать элемент (Ar+1, … , An) из Аn–r , то по теореме Крамера найдётся только один набор (A1, A2, … Ar ) искомых неизвестных, т. е. каждый элемент J(A) из Аn–r соответствует единственному элементу из L .

Итак, пространство решений системы линейных однородных уравнений изоморфно арифметическому (N – r)-мерному пространству. Следовательно, размерность L равна (N – r).

Определение 29. Базис пространства решений системы линейных однородных уравнений называется её Фундаментальной системой решений.

Так как при изоморфизме базис пространства Аn–r соответствует базису пространства L , То для того. чтобы найти фундаментальную систему решений для системы (30), достаточно выбрать (N – r) линейно независимых наборов свободных неизвестных и для каждого из них найти решение данной системы.

Следствие. Если А1, а2, …, аN–r фундаментальная система решений системы линейных однородных уравнений (30) и С1, С2, … , СN–r – произвольные элементы поля Р, то С1А1 + С2А2 + … + СN–r АN–r – общее решение этой системы.

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

Однородные уравнения

Функция называется однородной функцией своих аргументов измерения , если справедливо тождество .

Например, функция есть однородная функция второго измерения, так как

При имеем функцию нулевого измерения. Например, есть однородная функция нулевого измерения, так как

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

Вводя новую искомую функцию , уравнение (1) можно привести к уравнению с разделяющими переменными:

Если есть корень уравнения , то решение однородного уравнения будет или (прямая, проходящая через начало координат).

Замечание. При решении однородных уравнений необязательно приводить их к виду (1). Можно сразу делать подстановку .

Пример 1. Решить однородное уравнение .

Решение. Запишем уравнение в виде так что данное уравнение оказывается однородным относительно и . Положим , или . Тогда . Подставляя в уравнение выражения для и , получаем . Разделяем переменные: . Отсюда интегрированием находим

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

Отсюда общее решение: .

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

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

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

Примечание: Будем называть соответственными те точки на кривых , которые лежат на одном луче, выходящем из начала координат.

Решение. По определению соответственных точек имеем , так что в силу самого уравнения , где и — угловые коэффициенты касательных к интегральным кривым и , в точках и соответственно (рис. 12).

Уравнения, приводящиеся к однородным

А. Рассмотрим дифференциальное уравнение вида

где — постоянные, а — непрерывная функция своего аргумента .

Если , то уравнение (3) является однородным и оно интегрируется, как указано выше.

Если хотя бы одно из чисел отлично от нуля, то следует различать два случая.

1) Определитель . Вводя новые переменные и по формулам , где и — пока неопределенные постоянные, приведем уравнение (3) к виду

Выбирая и как решение системы линейных уравнений

получаем однородное уравнение . Найдя его общий интеграл и заменив в нем на , a на , получаем общий интеграл уравнения (3).

2) Определитель . Система (4) в общем случае не имеет решений и изложенный выше метод неприменим; в этом случае , и, следовательно, уравнение (3) имеет вид . Подстановка приводит его к уравнению с разделяющимися переменными.

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

Решение. Рассмотрим систему линейных алгебраических уравнений

Определитель этой системы .

Система имеет единственное решение . Делаем замену . Тогда уравнение (5) примет вид

Это уравнение является однородным уравнением. Полагая , получаем

Интегрируя, найдем или .

Возвращаемся к переменным :

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

Решение. Система линейных алгебраических уравнений несовместна. В этом случае метод, примененный в предыдущем примере, не подходит. Для интегрирования уравнения применяем подстановку , . Уравнение примет вид

Разделяя переменные, получаем

Возвращаясь к переменным , получаем общий интеграл данного уравнения

Б. Иногда уравнение можно привести к однородному заменой переменного . Это имеет место в том случае, когда в уравнении все члены оказываются одинакового измерения, если переменному приписать измерение 1, переменному — измерение и производной — измерение .

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

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

Заметим, что имеет измерение имеет измерение , имеет измерение . Полученное уравнение будет однородным, если измерения всех членов одинаковы, т.е. если выполняется условие , или .

Положим ; исходное уравнение принимает вид

Положим теперь . Тогда это уравнение примет вид , откуда .

Разделяем переменные в этом уравнении . Интегрируя, найдем

Заменяя через , получаем общий интеграл данного уравнения

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