21449

Теорема о дифференцируемости решений дифференциальных уравнений. Особые точки

Лекция

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

Особые точки. Теорема: если в окрестности точки функция имеет непрерывные производные до mого порядка включительно то решение уравнения 1 удовлетворяющее начальному условию в некоторой окрестности точки имеет непрерывные производные до m1 порядка включительно. Подставляя в уравнение 1 получим тождество...

Русский

2013-08-02

463.5 KB

2 чел.

Лекция 4.

Теорема о дифференцируемости решений дифференциальных уравнений. Особые точки.

Теорема: если в окрестности точки функция  имеет непрерывные производные до m-ого порядка включительно, то решение  уравнения

                                                                              (1)

удовлетворяющее начальному условию , в некоторой окрестности точки  имеет непрерывные производные до (m+1) порядка включительно.

 Доказательство. Подставляя  в уравнение (1), получим тождество

                                                                          (1a)

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

Если m>1, то, в силу существования непрерывных производных второго порядка, можно, еще раз дифференцируя тождество (1а), обнаружить существование и непрерывность третьей производной

                

Повторяя это рассуждение m раз, докажем утверждение теоремы.

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

Кривая, состоящая из особых точек, называется особой. Очевидно, что особые точки будут среди тех, в которых нарушаются условия теоремы существования и единственности решения уравнения (1).

Первое  условие теоремы нарушается в точках разрыва функции . Однако, если переменные x и y равноправны, то в случае, когда при   функция ,  уравнение (1) может быть заменено следующим

у которого правая часть уже непрерывна в точке , если считать , что   .

Поэтому в тех задачах, в которых переменные x и y равноправны, особые точки могут быть среди тех, в которых функции   и  разрывные.

Часто уравнение (1) имеет вид:

                                                                                        (2)

где функции  – непрерывны.

В этом случае функции  и  будут одновременно разрывными, лишь в тех точках , в которых  и не существует пределов:

                             и          .

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

                                                                                          (3)

Пусть  (т.к. в противном случае ) (т.е. при этом ).

Уравнение (3) эквивалентно следующей системе дифференциальных уравнений:

                                                                                         

с матрицей

.

Рассмотрим различные возможные случаи.

I. Корни характеристического уравнения

                        ,                (4)

где  - единичная матрица, разные: .

В этом случае существует линейное преобразование

с невырожденной матрицей , такое, что

,

или

,

т.е.

                                      .                                      (5)
Система (5) сводится к уравнению

                                          ,                                                                   (6)

которое решается разделением переменных:

                     

откуда

                                 .                                                                (7)

Рассмотрим возможные случаи.

I.1. Корни   действительные и одного знака. 

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

        .

Кроме семейства (7), куда входит и решение =0, существует также, как видно из (6), интегральная кривая =0.

Через начало координат проходит бесконечно много интегральных

кривых, такая особая точка называется узлом (бесконечное множество решений в точке , , С – любое).

Пример 1.

(семейство парабол с вертикальными осями и с вершиной в особой точке).

I.2. Корни  - действительные разных знаков. 

Тогда  Решение (7) имеет вид:

Два решения =0,=0 проходят через особую точку (начало координат). Остальные интегральные кривые не проходят через начало координат. Такая особая точка называется седлом.

    Пример 2.

        

   Общий интеграл        .

I.3. Корни  - комплексно сопряженные:

В этом случае, как видно из (5), мы можем считать, что . Таким образом, решение системы уравнений (5) мы можем записать в следующем виде:

,

где  - вещественная постоянная.

Получившиеся новые переменные , принимают комплексные значения при вещественных x и y, поэтому перейдем к вещественным переменным U, V при помощи невырожденного преобразования

             

В результате будем иметь:

                            ,                        (8)

или

.

В полярных координатах () имеем  .

Это семейство логарифмических спиралей в плоскости U, V с асимптотической точкой в начале; все кривые примыкают к началу, но без определенной предельной касательной. Они делают у точки (0,0) бесконечное количество оборотов. Такая особая точка называется фокусом.

I.4. Корни  чисто мнимые: .

Из (8) имеем

                                               

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

II. Корни  - равные действительные:

.

В этом случае дискриминант характеристического уравнения (4) равен нулю:

                                 .

Последнее, в свою очередь, возможно лишь в случае, когда , а также либо a=0, либо d=0, либо a=d=0. Рассмотрим отдельно эти случаи.

II.1. , a=0, либо d=0. Пусть для определенности d=0,  . В случае, когда a=0, , картина будет качественно такой же.

В рассматриваемом случае из уравнения (3) имеем

,

откуда  .

Решая второе уравнение, получим

.

Таким образом, исключая t, будем иметь

                       .                                           (9)  

Из (9) следует, что

                        ,

где знак (+) или  зависит от знака . Это вырожденный узел. Здесь, в отличие от узла (1) все интегральные кривые имеют одну касательную. В случае (1) одна кривая имела другую касательную. На рисунке изображен случай, соответствующий >0.

II.2. b=c=, a=d=0. В этом случае уравнение (3) имеет следующий вид

                       ,

а его общее решение -               .

Такая особая точка называется дикритическим узлом.


EMBED PBrush  

EMBED PBrush  

EMBED PBrush  

EMBED PBrush  

где , т.е. [a, b], поэтому , а, следовательно,

Приведенный выше пример функции , для которой условие

Липшица выполняется, но производная F(x) при x=0 не существует, говорит о том, что условие  является более грубым, чем условие Липшица.

Пример.

Д.у. II порядка

                      

Положим

Тогда получим нормальную систему д.у.

Пусть

             

Эквивалентная систему интегральных уравнений имеет вид:

             

Итерации:

            

Итак,

             

При x=/2:

             

Точное решение:

               

т.е.

Интегрируя это уравнение, находим С(y). Второй способ определения функции U(x,y) по её полному дифференциалу  состоит в вычислении криволинейного интеграла от   по некоторому пути от точки  до точки (x, y):

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

Если путь интегрирования - ломаная со звеньями, параллельными осям координат, то

   

                        =

 Пример 1.

Это уравнение в полных дифференциалах, т.к.

.

Теперь, поскольку

, то     

откуда

 

Следовательно, общий интеграл имеет вид:

 

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

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

                                                                                (5)

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

,

т.е.     .

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

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

Поэтому

,

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

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

Пример 2.

                     .                                     (9)

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

                             ,

т.к.

                            ,

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

       

                      т.е.

                                                        .

Итак,

                                         

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

                                             

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

6

PAGE  9


 

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

7154. Синхронизированный RS-триггер 662 KB
  Синхронизированный RS-триггер Синхронизированные RS-триггеры могут строится на элементах Особенностью этих триггеров является, то что они имеют дополнительный вход управлений который называется - синхронизированный в отсутствии сигнала....
7155. Серебряный век русской культуры (кон. ХIХ в.-нач. ХХ в.). 3. Тенденции развития современной социокультурной ситуации в России 378 KB
  Серебряный век русской культуры (кон. ХIХ в.-нач. ХХ в.). Культура советского периода: достижения и проблемы (1917–середина 1980-х гг.). Тенденции развития современной социокультурной ситуации в России (1980-е  гг.-н...
7156. Дисперсия в волоконных световодах 295 KB
  Дисперсия в волоконных световодах. В световодах при передачи импульсных сигналов после прохождения некоторого расстояния импульсы искажаются, расширяются и наступает момент, когда соседние импульсы перекрывают друг друга. Данное явление в теории све...
7157. Автоматизированные системы научных исследований 1015.5 KB
  Автоматизированные системы научных исследований. Некоторые сведения из математического анализа. Геометрический смысл производной...
7158. Отечественная история от возникновения Древнерусского государства до первой русской революции 187 KB
  Возникновение Древнерусского государства Нет точных сведений, когда было образовано Древнерусское государство. Источников информации не сохранилось. Единственный источник, который нам дает хоть какое-то представление о тех временах - Повесть...
7159. Тепловой расчёт парового котла ДЕ-25-14 ГМО 487.5 KB
  Общие сведения о котлах ДЕ 1..25. Газомазутные котлы ДЕ конструкции котельного завода г. Бийска и ЦКТИ предназначены для выработки насыщенного или слабо перегретого пара с абсолютным давлением 14 кгс/см2 или 24 кгс/см2, паропроизводительностью 1 4...
7160. Формы и виды инфляции, причины ее возникновения 172.43 KB
  Введение Деньги - один из основных феноменов экономической жизни выступают в качестве реальной связи хозяйствующих субъектов государства. Нет ничего удивительного в том, что теории денежного обращения посвящали свои труды, выдающиеся мыслители...
7161. Разработка цифровой интегральной микросхемы по заданным параметрам 476.5 KB
  Разработка цифровой интегральной микросхемы, 10-й вариант. Рисунок 1 Раздел 1. Электрический расчет цифровой схемы. При выполнении расчетов принимаем:  U0 = 0,1 B, U1 > 3 В, падение напряжения на д...
7162. Комплексная оценка состояния и уровня содержания автомобильной дороги 214.5 KB
  Комплексная оценка состояния и уровня содержания автомобильной дороги Вопросы оценки качества и уровня содержания автомобильных дорог играют решающее значение в области технической эксплуатации автомагистралей. Результаты такой оценки служа...