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

Видео:9. Метод вариации произвольной постоянной ( метод Лагранжа ). Линейные дифференциальные уравнения.Скачать

Аксиомы линейного пространства

Линейным (векторным) пространством называется множество произвольных элементов, называемых векторами, в котором определены операции сложения векторов и умножения вектора на число, т.е. любым двум векторам и поставлен в соответствие вектор , называемый суммой векторов и , любому вектору и любому числу из поля действительных чисел поставлен в соответствие вектор , называемый произведением вектора на число ; так что выполняются следующие условия:

Условия 1-8 называются аксиомами линейного пространства . Знак равенства, поставленный между векторами, означает, что в левой и правой частях равенства представлен один и тот же элемент множества , такие векторы называются равными.

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

1. Аксиомы 1-4 показывают, что линейное пространство является коммутативной группой относительно операции сложения.

2. Аксиомы 5 и 6 определяют дистрибутивность операции умножения вектора на число по отношению к операции сложения векторов (аксиома 5) или к операции сложения чисел (аксиома 6). Аксиома 7, иногда называемая законом ассоциативности умножения на число, выражает связь двух разных операций: умножения вектора на число и умножения чисел. Свойство, определяемое аксиомой 8, называется унитарностью операции умножения вектора на число.

3. Линейное пространство — это непустое множество, так как обязательно содержит нулевой вектор.

4. Операции сложения векторов и умножения вектора на число называются линейными операциями над векторами.

5. Разностью векторов и называется сумма вектора с противоположным вектором и обозначается: .

6. Два ненулевых вектора и называются коллинеарными (пропорциональными), если существует такое число , что . Понятие коллинеарности распространяется на любое конечное число векторов. Нулевой вектор считается коллинеарным с любым вектором.

Видео:7. Линейные дифференциальные уравнения первого порядка. Метод Бернулли.Скачать

Следствия аксиом линейного пространства

1. В линейном пространстве существует единственный нулевой вектор.

2. В линейном пространстве для любого вектора существует единственный противоположный вектор .

3. Произведение произвольного вектора пространства на число нуль равно нулевому вектору, т.е. .

4. Произведение нулевого вектора на любое число равно нулевому вектору, т.е для любого числа .

5. Вектор, противоположный данному вектору, равен произведению данного вектора на число (-1), т.е. .

6. В выражениях вида (сумма конечного числа векторов) или (произведение вектора на конечное число множителей) можно расставлять скобки в любом порядке, либо вообще не указывать.

Докажем, например, первые два свойства. Единственность нулевого вектора. Если и — два нулевых вектора, то по аксиоме 3 получаем два равенства: или , левые части которых равны по аксиоме 1. Следовательно, равны и правые части, т.е. . Единственность противоположного вектора. Если вектор имеет два противоположных вектора и , то по аксиомам 2, 3,4 получаем их равенство:

Остальные свойства доказываются аналогично.

Видео:Математика без Ху!ни. Линейное неоднородное уравнение 1 порядка. Метод вариации постоянной.Скачать

Примеры линейных пространств

1. Обозначим — множество, содержащее один нулевой вектор, с операциями и . Для указанных операций аксиомы 1-8 выполняются. Следовательно, множество является линейным пространством над любым числовым полем. Это линейное пространство называется нулевым.

2. Обозначим — множества векторов (направленных отрезков) на прямой, на плоскости, в пространстве соответственно с обычными операциями сложения векторов и умножения векторов на число. Выполнение аксиом 1-8 линейного пространства следует из курса элементарной геометрии. Следовательно, множества являются вещественными линейными пространствами. Вместо свободных векторов можно рассмотреть соответствующие множества радиус-векторов. Например, множество векторов на плоскости, имеющих общее начало, т.е. отложенных от одной фиксированной точки плоскости, является вещественным линейным пространством. Множество радиус-векторов единичной длины не образует линейное пространство, так как для любого из этих векторов сумма не принадлежит рассматриваемому множеству.

3. Обозначим — множество матриц-столбцов размеров с операциями сложения матриц и умножения матриц на число. Аксиомы 1-8 линейного пространства для этого множества выполняются. Нулевым вектором в этом множестве служит нулевой столбец . Следовательно, множество является вещественным линейным пространством. Аналогично, множество столбцов размеров с комплексными элементами является комплексным линейным пространством. Множество матриц-столбцов с неотрицательными действительными элементами, напротив, не является линейным пространством, так как не содержит противоположных векторов.

4. Обозначим — множество решений однородной системы линейных алгебраических уравнений с и неизвестными (где — действительная матрица системы), рассматриваемое как множество столбцов размеров с операциями сложения матриц и умножения матриц на число. Заметим, что эти операции действительно определены на множестве . Из свойства 1 решений однородной системы (см. разд. 5.5) следует, что сумма двух решений однородной системы и произведение ее решения на число также являются решениями однородной системы, т.е. принадлежат множеству . Аксиомы линейного пространства для столбцов выполняются (см. пункт 3 в примерах линейных пространств). Поэтому множество решений однородной системы является вещественным линейным пространством.

Множество решений неоднородной системы , напротив, не является линейным пространством, хотя бы потому, что не содержит нулевого элемента ( не является решением неоднородной системы).

5. Обозначим — множество матриц размеров с операциями сложения матриц и умножения матриц на число. Аксиомы 1-8 линейного пространства для этого множества выполняются. Нулевым вектором является нулевая матрица соответствующих размеров. Следовательно, множество является линейным пространством.

6. Обозначим — множество многочленов одной переменной с комплексными коэффициентами. Операции сложения много членов и умножения многочлена на число, рассматриваемое как многочлен нулевой степени, определены и удовлетворяют аксиомам 1-8 (в частности, нулевым вектором является многочлен, тождественно равный нулю). Поэтому множество является линейным пространством над полем комплексных чисел. Множество многочленов с действительными коэффициентами также является линейным пространством (но, разумеется, над полем действительных чисел). Множество многочленов степени не выше, чем , с действительными коэффициентами также является вещественным линейным пространством. Заметим, что операция сложения много членов определена на этом множестве, так как степень суммы многочленов не превышает степеней слагаемых.

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

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

Эти операции действительно определены на , так как сумма непрерывных функций и произведение непрерывной функции на число являются непрерывными функциями, т.е. элементами . Проверим выполнение аксиом линейного пространства. Из коммутативности сложения действительных чисел следует справедливость равенства для любого . По этому , т.е. аксиома 1 выполняется. Аксиома 2 следует аналогично из ассоциативности сложения. Нулевым вектором служит функция , тождественно равная нулю, которая, разумеется, является непрерывной. Для любой функции выполняется равенство , т.е. справедлива аксиома 3. Противоположным вектором для вектора будет функция . Тогда (аксиома 4 выполняется). Аксиомы 5, 6 следуют из дистрибутивности операций сложения и умножения действительных чисел, а аксиома 7 — из ассоциативности умножения чисел. Последняя аксиома выполняется, так как умножение на единицу не изменяет функцию: для любого , т.е. . Таким образом, рассматриваемое множество с введенными операциями является вещественным линейным пространством. Аналогично доказывается, что — множества функций, имеющих непрерывные производные первого, второго .и т.д. порядков соответственно, также являются линейными пространствами.

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

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

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

Оно является вещественным линейным пространтвом (доказательство такое же, как в предыдущем примере). При этом множество может быть выбрано произвольно. В частности, если , то — упорядоченный набор чисел , где Такой набор можно считать матрицей-столбцом размеров , т.е. множество совпадает с множеством (см. пункт 3 примеров линейных пространств). Если (напомним, что — множество натуральных чисел), то получаем линейное пространство — множество числовых последовательностей . В частности, множество сходящихся числовых последовательностей также образует линейное пространство, так как сумма двух сходящихся последовательностей сходится, и при умножении всех членов сходящейся последовательности на число получаем сходящуюся последовательность. Напротив, множество расходящихся последовательностей не является линейным пространством, так как, например, сумма расходящихся последовательностей может иметь предел.

9. Обозначим — множество положительных действительных чисел, в котором сумма и произведение (обозначения в этом примере отличаются от обычных) определены равенствами: , другими словами, сумма элементов понимается как произведение чисел, а умножение элемента на число — как возведение в степень. Обе операции действительно определены на множестве , так как произведение положительных чисел есть положительное число и любая действительная степень положительного числа есть положительное число. Проверим справедливость аксиом. Равенства

показывают, что аксиомы 1, 2 выполняются. Нулевым вектором данного множества является единица, так как , т.е. . Противоположным для вектором является вектор , который определен, так как . В самом деле, . Проверим выполнение аксиом 5, 6,7,8:

Все аксиомы выполняются. Следовательно, рассматриваемое множество является вещественным линейным пространством.

10. Пусть — вещественное линейное пространство. Рассмотрим множество определенных на линейных скалярных функций, т.е. функций , принимающих действительные значения и удовлетворяющих условиям:

Линейные операции над линейными функциями задаются также, как в пункте 8 примеров линейных пространств. Сумма и произведение определяются равенствами:

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

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

Видео:Линейное неоднородное дифференциальное уравнение второго порядка с постоянными коэффициентамиСкачать

Решение задач. Выполним

Теорема о вронскиане линейно зависимой системы функций. Если система функций y1(x), y2(x), …, yn(x) линейно зависима на интервале (a, b), то вронскиан этой системы тождественно равен нулю на этом интервале.

Док-во. Если функции y1(x), y2(x), …, yn(x) линейно зависимы на интервале (a, b), то найдутся числа , из которых хотя бы одно отлично от нуля, такие что

для . (27)

Продифференцируем по x равенство (27) n — 1 раз и составим систему уравнений

Будем рассматривать эту систему как однородную линейную систему алгебраических уравнений относительно . Определитель этой системы — определитель Вронского (26). В каждой точке эта система имеет нетривиальное решение , следовательно, в каждой точке её определитель равен нулю. Итак, W(x) = 0 при , т.е. на (a, b).

14.5.4. Свойства решений линейного однородного дифференциального уравнения (25).

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

Док-во. Требуется доказать, что множество частных решений линейного однородного дифференциального уравнения (25) (или, что тоже самое, (21)), т.е. не менее n раз дифференцируемых функций y(x) для которых Ln(y) = 0, является линейным пространством. Для этого достаточно доказать, что если функции y, y1(x), y2(x) — частные решения (25), то функции Cy, y1(x) + y2(x) — тоже частные решения (25). Действительно, пользуясь свойствами пункта 14.5.2. Линейный дифференциальный оператор и его свойства, получим

если Ln(y) = 0, то Ln(Cy) = CLn(y) = 0;

если Ln(y1) = 0 и Ln(y2) = 0, то Ln(y1 + y2) = Ln(y1) + Ln(y2) = 0.

Следствие. Если y1(x), y2(x), …, yn(x) — частные решения уравнения (25), то их линейная комбинация C1 y1(x) + C2 y2(x) + …+ Cn yn(x) — тоже частное решение этого уравнения.

Теперь мы займемся определением размерности этого пространства и нахождением его базиса. Предварительно сформулируем и докажем несколько свойств определителя Вронского системы решений уравнения (25).

Теорема 14.5.4.2. Пусть y1(x), y2(x), …, yn(x) — частные решения линейного однородного дифференциального уравнения. Если определитель Вронского этой системы функций равен нулю в некоторой точке , то система функций y1(x), y2(x), …, yn(x) линейно зависима, и её определитель Вронского тождественно равен нулю на (a, b).

Док-во. Пусть . Тогда однородная система линейных алгебраических уравнений, для которой W(x0) является определителем,

имеет нетривиальное решение относительно C1, C2, …, Cn. Рассмотрим линейную комбинацию функций y1(x), y2(x), …, yn(x) с этими коэффициентами C1, C2, …, Cn: y(x) = C1 y1(x) + C2 y2(x) + …+ + Cn yn(x). Эта функция удовлетворяет уравнению (25) и, как следует из приведённой выше системы, имеет нулевые начальные условия в точке x0, т.е. является решением задачи Коши

,

Этой же задаче Коши удовлетворяет и функция y(x) = 0, тождественно равная нулю на интервале (a, b). Вследствие единственности решения задачи Коши y(x) = C1 y1(x) + C2 y2(x) + …+ Cn yn(x) = 0 для любого . Таким образом, система функций y1(x), y2(x), …, yn(x) линейно зависима на (a, b), и по Теореме 14.5.4 о вронскиане линейно зависимой системы её определитель Вронского тождественно равен нулю на (a, b).

Теорема 14.5.4.3. Если определитель Вронского W(x) системы y1(x), y2(x), …, yn(x) частных решений линейного однородного дифференциального уравнения отличен от нуля в некоторой точке , то W(x) отличен от нуля в любой точке этого интервала.

Док-во легко проводится от противного. Если предположить, что в некоторой точке определитель Вронского равен нулю, то по предыдущей теореме он тождественно равен нулю на (a, b), что противоречит условию .

Содержание двух предыдущих теорем можно изложить так:

Теорема 14.5.4.4. Если W(x) — определитель Вронского системы y1(x), y2(x), …, yn(x) частных решений линейного однородного дифференциального уравнения, то либо на интервале (a, b) (что означает линейную зависимость этих решений на (a, b)), либо в любой точке этого интервала (что означает линейную независимость этих решений на (a, b)).

🌟 Видео

Задача Коши ➜ Частное решение линейного однородного дифференциального уравненияСкачать

16. Линейные неоднородные дифференциальные уравнения 2-го порядка с постоянными коэффициентамиСкачать

19. Метод вариации произвольных постоянных. Линейные неоднородные диф уравнения 2-го порядкаСкачать

Линейное дифференциальное уравнение первого порядка (1-x^2)*y'-xy=1Скачать

15. Линейные однородные дифференциальные уравнения второго порядка с постоянными коэффициентамиСкачать

Дифференциальные уравнения, 4 урок, Линейные дифференциальные уравнения первого порядкаСкачать

Линейное однородное дифференциальное уравнение 2-го порядка с постоянными коэффициентами.Скачать

13. Как решить дифференциальное уравнение первого порядка?Скачать

Линейные однородные дифференциальные уравнения n-го порядка с постоянными коэффициентамСкачать

Линейное неоднородное дифференциальное уравнение с постоянными коэффициентами 4y''-y=x^3-24x #1Скачать

15. Однородная система линейных уравнений / фундаментальная система решенийСкачать

Линейное дифференциальное уравнение Коши-ЭйлераСкачать

ЛОДУ 2 порядка c постоянными коэффициентамиСкачать

10. Уравнения БернуллиСкачать

Дифференциальные уравнения, 9 урок, Линейные дифференциальные уравнения высших порядковСкачать