рефераты конспекты курсовые дипломные лекции шпоры

Раздел Математика
/
Теорема Пикара (док-во существования решения задачи Коши).

Реферат Курсовая Конспект

Выберите учебное заведение

Теорема Пикара (док-во существования решения задачи Коши).

Теорема Пикара (док-во существования решения задачи Коши). - раздел Математика, Обыкновенные ДУ: определение, порядок, решение, интегральная кривая, интегрирование, интегрирование в квадратурах Дано: ...

Дано:

= f(x,y) (1)y(x₀) = y₀ (2)

1) D = {(x,y) : |x-x₀| ≤ a, |y-y₀| ≤ b}}, где a, b – некоторые известные положит. числа, из св-в непрер. ф-ции замкнут. обл. => такого числа М, что для всех точек (x,y)ϵ D : |f(x,y)| ≤ M.

2) |f(x,y₁) - f(x,y₂)| ≤ L |y₁ – y₂|, где L – постоянная Липшица.[ Условие Липшица: если для любых точек х и х', принадлежащих отрезку [а, b], приращение функции удовлетворяет неравенств ∣f(x) — f(x')∣ ≤ L∣х - х'∣^α, где 0 < α ≤ 1 и L — некоторая постоянная].

Ǝ У(х) удовл. нач. условиям у(х₀) = у₀ ,определённое и непрер. диф-мое для знач. х из интервала |x-x₀| ≤ h, где h = min{a, } и х не выходит из обл. D.

Док-во.

Покажем, что есть решение интегрального уравнения (3). Для этого покажем сначало, что предел , то есть допустим предельный переход под знаком интеграла.

Так как y_n(x) сх. равномерно к Y(x) на промежутке , то по-любому Е>0, будет выполнятся неравенство:.Для любого х из одновременно.

Оценим разность:

Отсюда следует, что .Из предыдущего следует, что . И в равенстве, определ. , перейдём к пределу при н-к бескон.

, данная ф-ция явл решением интегрального уравнения (3).Значит решение ур-я (1),определённом и непрерывно дифф. при и удовлетвор. Начальному усл (данная ф-ция допускает производную по х,так как в правой части уравнения стоит интеграл от непрерывной функции,допускающая производную по верхнему пределу).

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Обыкновенные ДУ: определение, порядок, решение, интегральная кривая, интегрирование, интегрирование в квадратурах

Пусть ф ция F ф ция n переменных Надо найти ф цию у х удовл на некот промежутке I ур ию F x y x y x y n x... Опр Обыкновенным ДУ наз соотношение вида F x y x y x y n x... Опр Порядком ДУ наз порядок старшей производной неизв ф ции у у х вход в уравнение...

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

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Задачи, приводящие к ДУ.
Задача. В благоприятных для размножения условиях находится некоторое количество N0 бактерий. Из эксперимента известно, что скорость пропорц. их количеству. Найти зав

ДУ в полных дифференциалах.
Рассм. ур-ие вида М(х,у)dx + N(x,y)dy = 0 (1), где ф-ции М(х,у), N(x,y) – непрер. по обеим перем. в некот. связной обл. и одновременно не обращ. в 0, т.е. М2(х,у) + N

Однородные ДУ 1-го порядка.
Рассмотр. ДУ М(х,у)dx + N(x,y)dy = 0 (1). Опр.Ф-ция f(x,y) наз. однородной ф-ей степени m, если

Линейные ДУ 1-го порядка. Линейные однородные ДУ 1-го порядка.
M(x,y)dx + N(x,y)dy = 0 (1)является линейным ДУ, если оно линейно относительно искомых ф-ций. Если искомая функция у, то (1) линейно относительно у: у' = -р(х)у+g(x)

Линейные неоднородные ДУ 1-го порядка. Стр-ра общего решения. Метод Лагранжа.
M(x,y)dx + N(x,y)dy = 0 (1)является линейным ДУ, если оно линейно относительно искомых ф-ций. Если искомая функция у, то (1) линейно относительно у: у' = -р(х)у+g(x)

Линейные неоднородные ДУ 1-го порядка. Метод Бернулли. ДУ Бернулли.
M(x,y)dx + N(x,y)dy = 0 (1)является линейным ДУ, если оно линейно относительно искомых ф-ций. Если искомая функция у, то (1) линейно относительно у: у' = -р(х)у+g(x)

Общее, частное и особое решение ДУ 1-го порядка.
D⊂R2 – область в точке, которой у' = (1)имеет единств. решение. Опр. Ф-ция

ДУ n-го порядка. Общие понятия, теорема существования и единственности.
Рассм. ур-ие вида F(x, y, y', y'', …, y(n)) = 0(1). Будем предполагать, что ф-ция F такая что (1) м.б. разрешено относит. старшей произв. y(

Понятие линейной зависимости с-мы ф-ций.
у1(х), у2(х), ..., уm(x) – линейно зависимые на [a,b], если одна из них явл. линейной комбинацией других. Линейная зав-сть у1(х), у2(х)

Формула Остроградского-Лиувилля.
Для линейного ДУ L[y]=0 c непрер. коэф. имеет место формула (1), где р1(х) – коэф. при у(n

Метод Лагранжа линейных неоднородных ДУ n-го порядка.
Покажем, что общее решение ЛНДУ можно найти в квадратурах, если известно общее решение соотв. однородного ур-ия. Рассмотрим ур-ие у''(х) + р1(х) у'(х) + р0(х) у(х) =

Линейные однородные ДУ n-го порядка с постоянными коэффициентами. Характеристическое уравнение. Случай комплексного корня.
Ур-е вида (1), где,-некот. постоян. числа, i = {0,…,n-1} наз. Л

Теорема Пикара (построение эквивалентного интегрального уравнения).
Дано: = f(x,y) (1)y(x0) = y0 (2) 1) D = {(

Теорема Пикара (док-во единственности решения задачи Коши).
Дано: = f(x,y) (1)y(x0) = y0 (2) 1) D = {(

Применение метода сжатых отображений для док-ва теоремы Пикара.
Опр.Пусть Х – полное метрическое пространство и пусть ,причём сущ-т действительной число α с условием 0< α <

Нормальные с-мы ДУ. Общие понятия. Механическая интерпретация. Геометрическая интерпретация.
Совокупность соотношений вида: (1),где у1,у2,...,уn – искомые ф-ции от независим. перемен.

Понятие интеграла нормально с-мы. Первый интеграл нормальной с-мы. Общий интеграл.
Рассмотрим одно из равенств с-мы (12) ψ1(х, у1, ..., уn) = Ci (13). Ф-ция ψ1(х, у1, ..., уn)

Линейные с-мы ДУ. Линейно независимые с-мы функциональных векторов. Фундаментальная с-ма. Вронскиан.
Совокупность соотношений вида: (1),где у1,у2,...,уn – искомые ф-ции от независим. перемен.

Общее решение линейной однородной с-мы ДУ с постоянными коэффициентами.
Рассм лин с-му: (1), или (1')

Приведение нормальных с-м к уравнению n-го порядка и наоборот.
1)Приведение ур-ия n-ого порядка к с-ме n ур-ий 1-ого порядка. Пусть дано ур-ие n-ого порядка: y(n) = f(x, y, y', y'', …, y(