Главная » Просмотр файлов » Учебник - Аналитическая теория дифференциальных уравнений - Ильяшенко Ю.С.

Учебник - Аналитическая теория дифференциальных уравнений - Ильяшенко Ю.С. (1238784), страница 5

Файл №1238784 Учебник - Аналитическая теория дифференциальных уравнений - Ильяшенко Ю.С. (Учебник - Аналитическая теория дифференциальных уравнений - Ильяшенко Ю.С.) 5 страницаУчебник - Аналитическая теория дифференциальных уравнений - Ильяшенко Ю.С. (1238784) страница 52020-10-28СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

далее замечание 2.10.Однако непосредственное доказательство, в той его части, которая касаетсязависимости от начальных условий, неожиданно оказывается проще, чемв вещественном случае. Это доказательство изложено в послеследующемпараграфе. Как и многие другие доказательства в этой книге, оно основанона применении принципа сжимающих отображений.§ 1.2. Принцип сжимающих отображенийОпределение 1.2. Отображение F метрического пространства M в себяназывается сжимающим, если существует такое положительное вещественноечисло λ < 1, что для произвольных точек u, v ∈ M выполняется неравенствоdist(F(u), F(v)) ¶ λ dist(u, v).Определение 1.3.

Точка w ∈ M называется неподвижной точкой отображения F, если F(w) = w.Оказывается, в полном метрическом пространстве сжимающее отображение всегда имеет неподвижную точку.19§ 1.3. Применение принципа сжимающих отображений к оператору ПикараНапомним, что последовательность {x } точек метрического пространства называется фундаментальной, или последовательностью Коши, еслирасстояние dist(x , x ) стремится к нулю, когда индексы i и j независимостремятся к бесконечности.Определение 1.4. Метрическое пространство M называется полным,если любая фундаментальная последовательность точек этого пространстваимеет предел.Теорема 1.5 (принцип сжимающих отображений).

Любое сжимающееотображение F : M → M полного метрического пространства M в себяимеет единственную неподвижную точку в M .Эта неподвижная точка является пределом последовательности {u },u+1 = F(u ), k = 0, 1, 2, . . . , образов любой начальной точки u0 ∈ M под действием итераций отображения F.Доказательство. Для любой начальной точки u0 ∈ M последовательность {u }, k = 0, 1, 2, . . . , фундаментальна: действительно,dist(u , u+1 ) ¶ λ dist(u0 , u1 ),откуда по неравенству треугольникаdist(u , u ) ¶ dist(u , u+1 ) + . .

. + dist(u−1 , u ) ¶ dist(u0 , u1 )λ /(1 − λ)для любых k, l, таких что k < l. Так как метрическое пространство M полно,последовательность {u } имеет предел w ∈ M . Пользуясь непрерывностьюотображения F, переходим к пределу в равенстве u+1 = F(u ) и получаемравенство w = F(w).Если w1 и w2 — две неподвижные точки отображения F, тоdist(w1 , w2 ) ¶ λ dist(F(w1 ), F(w2 )) = λ dist(w1 , w2 ),что возможно только в случае dist(w1 , w2 ) = 0, т.

е. при w1 = w2 .ƒ§ 1.3. Применение принципа сжимающихотображений к оператору ПикараИзложение доказательства теоремы 1.1 в основном следует [94, глава 4].Решение дифференциального уравнения мы будем искать как неподвижную точку сжимающего отображения в некотором метрическом пространстве.Рассмотрим векторное пространство A (Dρ ) функций, голоморфных в полидиске Dρ и непрерывных в его замыкании:A (Dρ ) = f : Dρ → C: f голоморфна в Dρ и непрерывна в Dρ .(1.3)Это пространство снабжено естественной sup-нормой:k f kρ = max | f (z)|, ∈ ρz = (z1 , . .

. , z ) ∈ C ,(1.4)20Глава 1. Базовые сведения об аналитических ОДУ в комплексной областии поэтому естественным образом вкладывается как подпространство в полноенормированное (т. е. банахово) пространство непрерывных комплекснозначных функций C(Dρ ). При подходе к границе области голоморфная функцияможет вести себя очень сложным образом, поэтому A (U) ( O (U). Однаковсе голоморфные функции непрерывны, и потому для любой меньшей области U 0, относительно компактной в U (т. е.

удовлетворяющей U 0 ⊂ U), имеемA (U 0 ) ⊃ O (U).Теорема 1.6. Пространство A (Dρ ) и его векторные аналогиMA (Dρ ) =A (Dρ ) раз— полные (банаховы) пространства.Доказательство. Каждая фундаментальная последовательность функцийиз A (Dρ ) по определению фундаментальна в банаховом пространстве C(Dρ )и имеет там равномерный предел.

По принципу компактности Вейерштрасса(см. [122]), предельная функция также голоморфна в Dρ , т. е. принадлежитA (Dρ ). Итак, пространство A (Dρ ) полно.Векторные аналоги пространства A (Dρ ) — это прямые суммы несколькихкопий пространства A (Dρ ), поэтому они тоже полны.ƒПерейдём к доказательству теоремы 1.1.Рассмотримуравнение (1.1), определённоев области U ⊂ C+1 . ЧерезD" = |t − t0 | < ", |z − z0, | < ", j = 1, . . .

, n ⊂ C+1 обозначим достаточномаленький полидиск с центром в точке (t0 , z0 ) ∈ U, целиком лежащий в U.Определение 1.7. Оператором Пикара P, соответствующим дифференциальному уравнению (1.1) и начальному условию (t0 , z0 ) ∈ U, называетсяоператор f 7→ P f, заданный интегральной формулой(P f )(s, z) = z +ZF(t, f (t, z)) dt(1.5)0для всех вектор-функций f : C+1 → C , для которых выражение в правойчасти равенства имеет смысл.Ниже мы построим полное метрическое пространство, инвариантное поддействием P, на котором этот оператор сжимает. По принципу сжимающихотображений отсюда будет следовать существование неподвижной точкиэтого оператора. Несложно видеть, что функция f, такая что P f = f, являетсярешением уравнения (1.1).Выберем произвольный компакт K ⊂ U в области U.

Пусть L0 и L1 — константы, ограничивающие сверху значения модуля функции F и её константыЛипшица по z на компакте K: для любых точек (t, z), (t, z0 ) ∈ K|F(t, z)| ¶ L0 ,|F(t, z) − F(t, z0 )| ¶ L1 |z − z0 |.(1.6)§ 1.3. Применение принципа сжимающих отображений к оператору Пикараff (t0 ) = z21тангенс угла наклона = L0график ft0|t{z|t − t0 | < "}Рис. 1.1. График функции из пространства M лежит в закрашенной области (область изображена в пересечениис гиперплоскостью z = const)Пусть M — пространство функций из A (D" ), для которых выполненонеравенство| f (t, z) − z| ¶ L0 |t − t0 |.(1.7)Это пространство полно по норме k·k" , индуцированной с объемлющегопространства A (D" ) (упражнение 1.3).

График функции из пространства Mпоказан на рис. 1.1.Лемма 1.8. Для достаточно малого полидиска D" интегральная формула (1.5) задаёт корректно определённый оператор Пикара P: M → M ,который сжимает в норме k·k" . Показатель сжатия λ этого оператора непревосходит "L1 (константа L1 определена выше).Доказательство. Поскольку | f (t, z) − z| ¶ L0 ", для достаточно малого "точка (t, f (t, z)) принадлежит U и подынтегральное выражение в правойчасти (1.5) определено. Оценим интеграл из равенства (1.5): ZZ|P f (s, z) − z| = F(t, f (t, z)) dt ¶ L0 |dt| = L0 |s − t0 |.00Поэтому правая часть формулы (1.5) имеет смысл для функций из пространства M , и оператор P отображает это пространство в себя.Для любых двух вектор-функций f, f 0, определённых в полидиске D" ,аналогичная оценка даётZkP f − P f 0 k ¶ sup|−0 |<"L1 | f (t, z) − f 0 (t, z)| · |dt| ¶ "L1 k f − f 0 k.0Если "L1 < 1, оператор P сжимает и показатель сжатия не превосходит "L1 .

ƒДоказательство теоремы 1.1. Возьмём " из леммы 1.8. Тогда операторПикара P: M → M сжимает с показателем сжатия λ не больше "L1 . По теореме 1.5 неподвижная точка этого оператора существует и единственна.22Глава 1. Базовые сведения об аналитических ОДУ в комплексной областиПо теореме 1.6 эта неподвижная точка является голоморфной вектор-функцией f : D" → C , удовлетворяющей интегральному равенствуf (s, z) = z +ZF(t, f (t, z)) dt,|s − t0 | < ",|z − z0 | < ".(1.8)0Для любого фиксированного z функция ϕ (t) = f (t, z), очевидно, удовлетворяет и начальным условиям (1.2) (для z0 = z), и дифференциальномууравнению (1.1). По построению, она голоморфно зависит от начальныхусловий z.Чтобы доказать, что решение голоморфно зависит от параметров, можнорассмотреть их как дополнительные переменные.

Предположим, что векторфункция F = F(t, z, y) голоморфно зависит от параметров y ∈C , и рассмотримзадачу Коши (напомним, что точкой мы обозначаем производную d/dt)ż = F(t, z, y),z(t0 ) = z0 ,(1.9)ẏ = 0,y(t0 ) = y0 .Решением задачи Коши будет функция f (t, z, y, z0 , y0 ), голоморфно зависящая от всех переменных.ƒЗамечание 1.9. Для дифференциального уравнения с правой частью F(t, z)и его решения z(t) можно произвести сдвиг по времени, рассмотрев функциюz0 (t) = z(t − y), y ∈ C1 . Эта функция удовлетворяет уравнению ż0 = F(t − y, z0 ),которое аналитически зависит от параметра y.

По теореме 1.1 из этого следует,что решение задачи Коши голоморфно зависит также и от t-координатыначальной точки (t0 , z0 ) ∈ U.§ 1.4. Линейные дифференциальные уравнения.Экспонента линейного оператораДоказательство теоремы существования конструктивно: решение дифференциального уравнения получается как равномерный предел его приближений Пикара — последовательных образов некоторой функции под действиемоператора Пикара.В простейшем случае, когда правая часть дифференциального уравнения — константа F = const ∈ C (т.

е. не зависит от t, z, y), приближенияПикара быстро стабилизируются: если f0 (t, v) = v, тоf1 (t, v) = f2 (t, v) = . . . = v + (t − t0 )F.Линейной системой дифференциальных уравнений с постоянными коэффициентами называется система уравненийż = Az,z ∈ C , A ∈ Mat(n, C),(1.10)где A = ka k — постоянная (независящая от t и z) матрица n × n с комплексными коэффициентами.

Характеристики

Тип файла
PDF-файл
Размер
3,53 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Почему делать на заказ в разы дороже, чем купить готовую учебную работу на СтудИзбе? Наши учебные работы продаются каждый год, тогда как большинство заказов выполняются с нуля. Найдите подходящий учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6596
Авторов
на СтудИзбе
296
Средний доход
с одного платного файла
Обучение Подробнее