21455

Системы линейных дифференциальных уравнений

Лекция

Математика и математический анализ

Системы линейных дифференциальных уравнений. Напомним что достаточными условиями существования и единственности решения системы обыкновенных дифференциальных уравнений 1 удовлетворяющего начальным условиям 2 являются: непрерывность всех функций в окрестности начальных значений; выполнение условия Липшица для всех...

Русский

2013-08-02

293 KB

6 чел.

Лекция 10.

Системы линейных дифференциальных уравнений.

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

                                                           (1)

удовлетворяющего начальным условиям

                                                  (2)

являются:

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

Условие 2)  можно заменить более сильным, но легче проверяемым

Решение системы:  является n - мерной вектор-функцией X(t), а правая часть F – вектор-функция с координатами , т.е. система (1) имеет вид

а начальное условие:

                                         

где  – n - мерный вектор с координатами .

В пространстве () решение X(t) определяет так называемую интегральную кривую, причем при выполнении условий 1) и 2) через каждую точку пространства проходит единственная интегральная кривая.

Если систему свести к уравнению n-го порядка, то это уже не так: в одной точке могут пересекаться интегральные кривые и иметь совпадающие производные до (n-2) – ого порядка. Например:

        

Избавляясь от t, сведем к уравнению II порядка

          ,

т.е. спроецируем пространство 3-х переменных на плоскость (). При этом не пересекающиеся интегральные кривые могут иметь пересекающиеся проекции.

Совокупность интегральных кривых образует n-параметрическое семейство. В качестве параметров этого семейства могут быть взяты, например, начальные значения .

В евклидовом пространстве с прямоугольными координатами  решение  определяет закон движения по некоторой траектории в зависимости от изменения параметра t, который можно считать временем. Тогда  – скорость движения точки, а  – координаты скорости этой точки. Пространство  называют фазовым, а кривую X=X(t) – фазовой траекторией.

Система (1) в заданный момент времени t определяет в пространстве поле скоростей.

Система (1) называется линейной, если все функции  – линейные, т.е. она имеет вид

                                           (3)       

или

                                                                     (4)

подробнее:

            .                         (4а)

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

Определим линейный оператор L равенством

                

тогда уравнение (4) может быть записано в виде

                                                                             (5)

Если все , т.е. вектор F=0, то система (5) называется линейной однородной. Линейная однородная система имеет вид

                                                                             (6)

Оператор L обладает следующими свойствами:

1)         

где с – произвольная постоянная,

2)       

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

    

Следствие:

                           

где  – произвольные постоянные.

 Теорема 1. Если X является решением линейной однородной системы   то и cX, с – произвольная постоянная, является решением той же системы.

Доказательство: в силу свойства (1)

                      

 ч.т.д

 Теорема 2. Сумма  двух решений  и  однородной линейной системы дифференциальных уравнений является решением той же системы.

Доказательство: в силу свойства (2)

 

Следствие. Линейная комбинация  с произвольными постоянными коэффициентами решений  линейной однородной системы L[X]=0 является решением той же системы.

 Теорема 3. Если линейная однородная система (6) с действительными коэффициентами  имеет комплексное решение X=U+iV, то действительная и мнимая части

      и        

в отдельности являются решениями этой же системы.

Доказательство: из свойств 1) и 2) оператора L имеем

 L[U+iV]L[U]+iL[V]0

поэтому L[U]0 и L[V]0.

Определение. Векторы , где

                                 

называются линейно зависимыми на отрезке , если существуют постоянные , такие, что

                                                     (7)

при , причем хотя бы одно . Если же (7) справедливо лишь при , то векторы  называются линейно независимыми.

Тождество (7) эквивалентно n тождествам

                   (7а)

Отсюда вытекает

Теорема 4. Если векторы  линейно зависимы, т.е. существует нетривиальная совокупность , удовлетворяющая системе n линейных однородных уравнений (7а), то её определитель   

                        ,

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

 Теорема 5. Если линейно независимые векторы  являются решениями линейной однородной системы (6) с непрерывными на отрезке [a, b] коэффициентами, то определитель Вронского W этой совокупности векторов не может обратиться в нуль ни в одной точке отрезка .

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

                                  .

Тогда линейная комбинация  является решением системы (6), удовлетворяющим нулевым начальным условиям . Таким условиям удовлетворяет тривиальное решение , а в силу теоремы единственности этим условиям удовлетворяет только это решение, т.е.  – линейно зависимы, вопреки условию, ч. т. д.

 Замечание. Эта теорема не верна для произвольных векторов , не являющихся решением системы (6) с непрерывными коэффициентами.

 Теорема 6. Линейная комбинация  n линейно независимых решений  линейной однородной системы (6) с непрерывными на отрезке [a, b] коэффициентами  является общим решением системы (6) на этом отрезке.

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

                                                     .

Векторное уравнение

                                                   

эквивалентно системе

                                                  

                                                  

                                                  ………………..

                                                  

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

          Теорема 7. Если   является решением линейной неоднородной системы

                                                                                               (5)

а   - решением соответствующей однородной системы  

то сумма    также будет решением неоднородной системы   

Доказательство: 

имеем

                                     

ч. т. д.

          Теорема 8. Общее решение на отрезке  неоднородной системы (5) с непрерывными на том же отрезке коэффициентами  и правыми частями  равно сумме общего решения соответствующей однородной системы и частного решения  рассматриваемой неоднородной системы.

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

                                                    .

Но уравнение

                                                             

эквивалентное системе

                                                            

                                                                            (8)

                                             ………………..

                                            

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

          Теорема 9 (принцип суперпозиции). Решением системы линейных уравнений

                                           

является сумма  решений систем уравнений

                                              

          Доказательство. Имеем

                                    

ч. т. д.

 Замечание. Теорема (9) верна и при , если ряд  сходится и допускает почленное дифференцирование.

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

Пусть  является при произвольных постоянных  общим решением соответствующей однородной системы с непрерывными коэффициентами

                                                                     (6)

и, следовательно,  - линейно независимые частные решения той же однородной системы. Решение неоднородной системы

                                                                     (9)

будем искать в виде

                 

где  - новые неизвестные функции. Подстановка в уравнение (9) дает

            

или т.к. , получим

                

Последнее уравнение эквивалентно системе

                                                                 (10)

Из этой системы n уравнений с n неизвестными  с определителем W, являющимся определителем Вронского для линейно независимых решений  и, следовательно, отличным от нуля, определяются все :

 

откуда, интегрируя, получим

 

Логарифмирование.

Натуральным логарифмом комплексного числа  называется показатель степени, в которую нужно возвести e, чтобы получилось это число, т.е.

 

если

 

и наоборот. Из последнего равенства следует

 

откуда   k=0,1,…

Т.е.  а

Окончательно

                                             (23)

Натуральный логарифм любого числа имеет бесчисленное множество значений (здесь z=0 – точка ветвления бесконечного порядка). Если мы потребуем, чтобы

         

то получим главное значение логарифма:

 

 Если U и V - два комплексных числа, то положим

        

т.е. комплексная степень комплексного числа имеет бесчисленное множество значений.


EMBED PBrush  

EMBED PBrush  

Интегрирующий множитель.

      В некоторых случаях левая часть уравнения

                                                                                (5)

не является полным дифференциалом, однако можно подобрать функцию (x, y), после умножения на которую левая часть уравнения (5) превращается в полный дифференциал

,

т.е.     .

Такая функция называется интегрирующим множителем. Заметим, что умножение на интегрирующий множитель (x, y) может привести к появлению лишних частных решений, обращающих этот множитель в нуль. Интегрирующий множитель всегда существует локально (Из теоремы о существовании и единственности (см. ниже) следует, что (5) имеет единственное решение, если  удовлетворяет условиям теоремы). Пусть U(x, y)=C – общий интеграл уравнения (5), тогда

,   т.е.  , откуда

Поэтому

,

т.е. - интегрирующий множитель).

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

Пример 2.

                     .                                     (9)

Здесь . Действительно

                             ,

т.к.

                            ,

то это уравнение в полных дифференциалах, поэтому, интегрируя, имеем:

       

                      т.е.

                                                        .

Итак,

                                         

откуда окончательно имеем

                                             

Это решение удовлетворяет уравнению (9).

6

PAGE  9


 

А также другие работы, которые могут Вас заинтересовать

79632. ЗАКОННОСТЬ И ОБОСНОВАННОСТЬ СУДЕБНОГО ПРИГОВОРА 110.5 KB
  Цель уголовного процесса: установление истины по уголовному делу изобличение и наказание лица совершившего преступление и защита невиновного человека от необоснованного обвинения и осуждения достигается при постановлении судом правосудного приговора.
79633. ДОТАЛЬНЫЕ СОГЛАШЕНИЯ И DONATIO PROPTER NUPTIAS В РИМСКОМ ПРАВЕ 76 KB
  Поимущественные отношения супругов в римском праве определялись не браком, а переходом женщины во власть мужа, эффект которого подобен усыновлению. Брак сам по себе никак не сказывается на имущественных правах сторон: женщина по прежнему остается под опекой и не терпит никаких дополнительных...
79634. ЗАКОННЫЙ РЕЖИМ ИМУЩЕСТВА СУПРУГОВ 73.5 KB
  Имущество имеющееся у супругов состоит из имущества собственником которого является каждый из супругов личное имущество и имущества приобретенного во время брака совместное имущество супругов. Определяющим признаком правового режима является бездолевой характер поскольку доли супругов в их общем...
79635. ПЕРСПЕКТИВЫ РАЗВИТИЯ ОРГАНОВ ГОСУДАРСТВЕННОГО ФИНАНСОВОГО КОНТРОЛЯ 92.5 KB
  В 2002 году на IV Конференции Ассоциации контрольно-счетных органов Российской Федерации была принята Декларация принципов деятельности контрольно-счетных органов России что заложило основу для объединения усилий всех органов государственной власти и органов местного самоуправления усилий...
79636. ПОРЯДОК И ОСОБЕННОСТИ ОФОРМЛЕНИЯ ДОГОВОРА ИПОТЕКИ ЖИЛЫХ ПОМЕЩЕНИЙ 175 KB
  Договор о залоге недвижимого имущества договор об ипотеке это договор в котором одна сторона залогодержатель являющийся кредитором по обязательству обеспеченному ипотекой имеет право получить удовлетворение своих денежных требований к должнику по этому обязательству из стоимости...
79637. АДМИНИСТРАТИВНО-ПРАВОВОЙ РЕЖИМ СТРАХОВОЙ ДЕЯТЕЛЬНОСТИ В РОССИЙСКОЙ ФЕДЕРАЦИИ 159 KB
  В правовой научной литературе вопрос о природе правового режима вообще и административно-правового режима в частности поднимался неоднократно. Российский энциклопедический словарь определяет режим как установленный порядок жизни совокупность правил мероприятий норм для достижения...
79638. О БРАЧНОМ ДОГОВОРЕ В РОССИЙСКОЙ ФЕДЕРАЦИИ 92 KB
  Принятие Семейного кодекса России поставило юридическую науку вообще и науку семейного права в частности перед необходимостью исследовать феномен брачного договора (контракта) как института семейного права, его роль и значение в регулировании имущественных семейно-брачных отношений, условия...
79639. КОНФЕДЕРАТИВНЫЕ СОЮЗЫ: ИСТОРИЧЕСКАЯ ХАРАКТЕРИСТИКА И ПРАВОВАЯ ОСНОВА 237.5 KB
  Наиболее остро устаревшие характеристики конфедерации обнаруживают свою несостоятельность в вопросе о правовых основах конфедерации, ибо решение именно этого вопроса обусловливает изучение конфедерации конкретной отраслью юридической науки.
79640. К ВОПРОСУ О ПОНЯТИИ И СОДЕРЖАНИИ ПРАВОВОГО СТАТУСА ПРОКУРАТУРЫ АДМИНИСТРАТИВНОГО ОКРУГА РОССИЙСКОЙ ФЕДЕРАЦИИ 120.5 KB
  Как правило, термин «правовой статус», часто употребляемый в литературе, применяют для характеристики того или иного субъекта правоотношений. Однако возможны случаи использования этого понятия в юридической литературе по отношению к объектам права.