21455

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

Лекция

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

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

Русский

2013-08-02

293 KB

7 чел.

Лекция 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


 

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

52062. Володимир Винниченко. «Федько — халамидник». Щедрий на добро внутрішній світ героя. Федько як особистість. Образи Федька і Толі 141 KB
  Образи Федька і Толі. Образи Федька і Толі. На уроці ми з вами визначимо риси характеру Федька які вирізняють його з кола друзів однолітків прокоментуємо їх. Порівняємо Федька і Толю зробимо відповідні висновки.
52063. Подорож. Переваги і недоліки різних видів подорожей 76.5 KB
  Travelling by plane is the fastest. You can get to many cities only in a few hours. You can stop wherever you like. During the trip you can sit comfortably in the armchair and read, eat or sleep. During the trip you need no tickets. People can
52064. Підсумковий урок – подорож «Синоніми, антоніми, омоніми» 37.5 KB
  учні дають визначення синонімам наводять приклади; Гра Синонімічний ланцюжок І варіант щирий ІІ варіант казати ІІІ варіант кричати виконання вправ за варіантами різних рівнів складності І варіант скласти звязний текст з синонімічного ланцюжка ІІ варіант відредагувати речення замінивши однокореневі слова синонімами. ІІІ варіант Підберіть потрібне слово. Коли групи приїхали на зупинку диктор оголошував назву станції але мікрофон був зламаний і ми почули останні слова деньніч Зясуємо яке це місто...
52065. В поисках сокровищ Луганщины 597.5 KB
  Углублять знания учащихся о родном крае; формировать представление о национальной культуре украинского народа; развивать поисковые и творческие способности учащихся, умение работать в команде, мышление, память, представление;
52066. Наука. Наукові дослідження 2.35 MB
  Наука — сфера людської діяльності, функцією якої є вироблення і систематизація об'єктивних знань про дійсність; одна з форм суспільної свідомості.
52067. Щербина В. С . Господарське право 3.87 MB
  У підручнику відповідно до програми курсу висвітлено основні правові інститути Загальної частини господарського права, а також питання правового регулювання в окремих галузях господарювання (Особлива частина) на основі Господарського кодексу України та нового Цивільного кодексу України, а також інших нормативно-правових актів господарського законодавства України. Головну увагу зосереджено на правових питаннях господарської діяльності та управління нею.
52068. Графические возможности языка программирования 129.5 KB
  Точка SetPixelxycolor Закрашивает цветом color точку с координатами x y; Отрезок Linex1y1x2y2 Рисует отрезок из точки с координатами x1y1 в точку с координатами x2y2; окружность Circlexy rdius Рисует окружность с центром в точке с координатами xy и радиусом rdius. Точки с координатами x1 y1 и x2 y2 определяют диагональные вершины прямоугольника. Начало текста в точке с координатами x y.
52069. ЭТНОГРАФИЯ. Ю. В. Бромлея и Г. Е. Маркова 2.05 MB
  Специальный раздел посвящен проблемам этнической истории народов СССР вопросам формирования новой исторической общности советского народа. Классификация народов мира. Распространенность такого представления в значительной мере связана с тем что сложившись как наука в эпоху расцвета колониализма буржуазной Европы этнография была первоначально нацелена преимущественно на изучение народов внеевропейских территорий в большинстве отстававших в своем развитии. Уже давно стала очевидна несостоятельность деления народов на исторические...
52070. Основи наукових досліджень 846 KB
  Методологія типологія та етапи наукового дослідження План Предмет і задачі дисципліни Основи наукових досліджень. Методологічні основи наукового дослідження Рівні психологопедагогічних досліджень. ОПП: Наука наукознавство обєкт науки предмет науки наукове дослідження метод методологія методична основа. Методологічні основи наукового дослідження Рівні психологопедагогічних досліджень.