Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь FAQ Написать работу КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Теорема Арцела. Признак равностепенной непрерывности функциональной последовательности.Содержание книги
Поиск на нашем сайте
О1. Функц. послед-сть { fn (x)} сходится к функции f (х) равномерно на { х }, если для ε > 0 N= N (ε): для всех п (п ≥ N (ε)), и для всех х { х }: О2. Функц. послед-сть { fn (x)} называется равномерно ограниченной на { x }, если вещественное M > 0, что для всех п и всех точек х { x }: Пусть каждая fn (x)из { fn (x)}определена на некотором плотном в себе { x } пр-ва Ет. О3. Послед-сть { fn (x)} называется равностепенно непрерывной на { х }, если для ε > 0 δ > 0: неравенство справедливо для всех п и всех х' и х" { х }, связанных условием ρ (х', х") < δ. Из определения => если вся { fn (x)}равностепенно непрерывна на { х }, то и ее подпослед-сть равностепенно непрерывна на { х }. Рассмотрим { fn (x)}функций одной переменной х, равностепенно непрерывную на [ а, b ]. По определению для ε > 0 δ > 0: неравенство (1) справедливо для всех п и всех х' и х" [ а, b ], связанных условием | х' ̶ х"| < δ. Т1 (теорема Арцела). Если { fn (x)} равностепенно непрерывна и равномерно ограничена на [ а, b ], то из этой послед-сти можно выделить подпослед-сть, сходящуюся равномерно на [ а, b ]. Док ̶ во. Рассмотрим на [ а, b ]специальную послед-сть точек { xn }: х 1делит [ а, b ]на 2 равные части; х 2и х 3 вместе с х 1делят [ а, b ]на 4 равные части; х 4, х 5, х 6и х 7вместе с х 1, х 2и х 3делят [ а, b ]на 8 равных частей и т. д. Построенная послед-сть всюду плотная на [ а, b ]: для δ > 0 п 0: на принадлежащем [ а, b ] сегменте длины δ лежит хотя бы 1 из элементов х 1, х 2, ..., хп 0. Выделим из { fn (x)} равномерно на сегменте [ а, b ]сходящуюся подпоследовательность. Рассмотрим { fn (x)} в точке х 1. Получим ограниченную числовую послед-сть { fn (х 1)}, из которой по Т. Больцано - Вейерштрасса можно выделить сходящуюся подпослед-сть: Далее рассмотрим функц. послед-сть в точке х 2. По Т. Больцано- Вейерштрасса из нее выделим сходящуюся подпослед-сть: => функц. послед-сть сходится и в х 1, и в х 2. Продолжая, получим бесконечное множество подпослед-стей ……………………………… ……………………………… причем подпослед-сть, стоящая в n ̶ й строке, сходится в каждой из х 1, х 2 ,..., хп. «Диагональную» послед-сть обозначим: Докажем, что она равномерно сходится на [ а, b ]. Фиксируем ε > 0. Т.к. диагональная послед-сть равностепенно непрерывна на [ а, b ], то для этого ε > 0 δ > 0: для х и хт [ а, b ], связанные неравенством | х - хт| < δ, для всех п справедливо: Разобьем [ а, b ]на конечное число отрезков длины < δ. Из { хп }выберем конечное число п 01-х членов х 1, х 2, ..., хп 0настолько большое, чтобы в каждом из этихх отрезков содержалась хотя бы 1 из точек х 1, х 2, ..., хп 0 . Диагональная послед-сть сходится в каждой х 1, х 2, ..., хп 0 => для фиксированного выше ε > 0 N: для всех п ≥ N, всех р и всех т =1, 2, …, п 0. Пусть х - точка [ а, b ], она обязательно лежит в одном из отрезков длины < δ => для этой точки х найдется хоть 1 точка хт (т - один из номеров 1, 2,..., п 0), удовлетворяющая условию | х - хт| < δ. Т.к. модуль суммы не превосходит суммы модулей: => (3) + (4) +(3) + условие | х - хт| < δ: для ε > 0 N: для всех п ≥ N, всех р и х из [ а, b ] => равномерная сходимость диагональной послед-сти. • З1. В Т. Арцела вместо равномерной ограниченности { fn (x)} на [ а, b ]достаточно потребовать ограниченности { fn (x)} хотя бы в 1 точке [ а, b ]: если { fn (x)} равностепенно непрерывна на [ а, b ] и ограничена хотя бы в 1 точке х 0[ а, b ], то { fn (x)} равномерно ограничена на [ а, b ]. Док-во. По определению равностепенной непрерывности для ε = 1 δ > 0: колебание fn (x)на сегменте длины < δ не превосходит ε = 1. Т.к. весь [ а, b ]можно покрыть конечным числом п 0 сегментов длины < δ, то колебание fn (x)на всем [ а, b ]не превосходит числа п 0 => из неравенства , выражающего ограниченность { fn (x)}в х 0 => , справедливое для х из [ а, b ]=> равномерная ограниченность { fn (x)}на [ а, b ]. З2. Достаточный признак равностепенной непрерывности: если { fn (x)} состоит из дифференцируемых на [ а, b ] функций и если { fn ' (x)} равномерно ограничена на [ а, b ], то { fn (x)} равностепенно непрерывна на [ а, b ]. Док-во. Возьмем на [ а, b ]2 точки х' и х", по Т. Лагранжа ξ n [ х', х" ]: Т.к. { fn ' (x)} равномерно ограничена на [ а, b ] => А > 0: для всех п: Подставляя (7) в (6): Фиксируем ε > 0 => взяв δ = ε / A и использовав (8), получим: для всех п и для всех х' и х" из [ а, b ], связанных | х'- х" | < δ: => равностепенная непрерывность { fn (x)}. 16. Степенные ряды. Теорема Коши ̶ Адамара. Непрерывность суммы, почленное интегр-ние и дифф-ние степенного ряда. Разложение функций в степенные ряды. Определения сходимости??? Степенной ряд - функц. ряд вида ( - постоянные веществ. числа) степенной ряд сходится в х = 0, степенные ряды, сходящиеся только в х = 0 (). Числовая послед-сть из коэффициентов аn: 2 случая: 1) (2) неограничена; 2) (2) ограничена => у (2) конечный верхний предел (Т*) L ≥ 0 => Могут быть 3 случая: I) (2) неограничена; II) (2) ограничена и имеет конечный верхний предел L > 0; III) (2) ограничена и имеет верхний предел L = 0. Т1 (Коши - Адамара). I. Если (2) не ограничена, то степенной ряд (1) сходится лишь при х = 0. II. Если (2) ограничена и имеет верхний предел L > 0, то ряд (1) абсолютно сходится для х, удовлетворяющих |х| < 1 / L, и расходится для х, удовлетворяющих |х| > 1 / L. III. Если (2) ограничена и ее верхний предел L = 0, то ряд (1) абсолютно сходится для всех х. Док-во. I. (2) не ограничена => при х ≠ 0посл-сть не ограничена => у нее имеются члены со сколь угодно большими п, удовлетворяющие => => для (1) (при х ≠ 0) нарушено необходимое условие сходимости (2*) => (1) расходится при х ≠ 0. II. (2) ограничена и ее верхний предел L > 0. а) Фиксируем х: |х| < 1 / L => ε > 0: |х| < 1 / (L + ε). По свойствам верхнего предела все , начиная с некоторого п, удовлетворяют: => начиная с этого n: => ряд (1) абсолютно сходится по признаку Коши (3*). б) Фиксируем х: | х| > 1 / L => ε > 0: |х| > 1 / (L - ε). По определению верхнего предела из послед-сти (2) можно выделить подпослед-сть , (k = 1, 2,...) => начиная с некоторого k: => начиная с этого k: => нарушено необходимое условие сходимости (2*) ряда (1) => (1) расходится. III. (2) ограничена и ее верхний предел L = 0. Фиксируем x ≠ 0 (при x = 0 ряд (1) абсолютно сходится). Верхний предел L = 0и послед-сть (2) не может иметь отрицательных предельных точек => L = 0 - единственная предельная точка => L - предел (2) => послед-сть (2) бесконечно малая => для 1/(2| х |) > 0 n, начиная с которого => ряд (1) абсолютно сходится к признаку Коши (3*). Т2. Для каждого степенного ряда (1), если он не является рядом, сходящимся лишь в точке х = 0, R > 0(возможно, = ∞): этот ряд абсолютно сходится при |х| < R и расходится при |х| > R. R - радиус сходимости степенного ряда, (- R, R) - промежуток сходимости. Вычисляется:
З1. На концах (- R, R) степенной ряд может быть как сходящимся, так и расходящимся. Пусть ряд (1) имеет радиус сходимости R > 0. Л. Каково бы ни было 0 < r < R, ряд (1) равномерно сходится на [- r, +r ], т.е. при |х| < r. Док-во. По Т2 ряд (1) абсолютно сходится при x = r, т. е. сходится ряд По признаку Вейерштрасса (4*) ряд (1) сходится равномерно на [- r, +r ]. Сл1. В условиях леммы сумма ряда (1) является функцией, непрерывной на [- r, +r ]. (По (Т(7*)). Т 3. Сумма степенного ряда внутри его промежутка сходимости - непрерывная функция. Док-во. Пусть S (x) - сумма ряда (1), R - его радиус сходимости. Фиксируем х: |х| < R. Всегда r: |х| < r < R. По Сл1 функция S (x) непрерывна на [- r, +r ] => S (x) непрерывна и в точке х. Т4. Если R > 0 - радиус сходимости ряда (1), а х удовлетворяет условию | х| < R, то ряд (1) можно почленно интегрировать на [0, х ]. Полученный в результате почленного интегрирования ряд имеет тот же радиус сходимости R, что и исходный ряд. Док-во. Для х: | х| < R, r: |х| < r < R. По лемме ряд (1) сходится равномерно на [- r, +r ] => и на [0, х ] => по Т(5*) его можно почленно интегрировать на [0, х ] => получится степенной ряд радиус сходимости которого (по (3)) - величина, обратная верхнему пределу последовательности Т4 доказана, так как верхний предел послед-сти (4) тот же, что и у (2): Т5. Степенной ряд (1) внутри его промежутка сходимости можно дифференцировать почленно. Ряд, полученный почленным дифференцированием, имеет тот же радиус сходимости, что и исходный ряд. Док-во. Достаточно (по Т(6*) и леммы) доказать лишь второе утверждение теоремы. В результате почленного дифференцирования (1) получим ряд радиус сходимости R которого (по (3)) обратен верхнему пределу последовательности Теорема доказана, так как последовательность (5) имеет тот же верхний предел, что и (2): Сл2. Степенной ряд внутри его промежутка сходимости можно дифференцировать почленно сколько угодно раз. Ряд, полученный п-кратным почленным дифференцированием исходного степенного ряда, имеет тот же радиус сходимости, что и исходный ряд. О1. Функция f (х) на (- R, +R)(на { х }) может быть разложена в степенной ряд, если степенной ряд, сходящийся к f (х) на (- R, +R)(на { х }). Утв1. Чтобы f (х) могла быть разложена в степенной ряд на (- R, +R), необходимо, чтобы эта функция имела на (- R, +R) непрерывные производные порядка. Док-во. Степенной ряд внутри его промежутка сходимости, который во всяком случае содержит (- R, +R), можно почленно дифференцировать сколько угодно раз, причем все полученные при этом ряды сходятся внутри того же промежутка сходимости (Т5) => суммы рядов, полученных сколь угодно кратным дифференцированием (по Т3), являются функциями, непрерывными внутри указанного промежутка сходимости => непрерывными на (- R, +R). Утв2. Если f (х) может быть на (- R, +R) разложена в степенной ряд, то лишь единственным образом. Док-во. Пусть f (х)может быть разложена на (- R, +R)в степенной ряд (1). Дифференцируя этот ряд почленно п раз: => коэффициенты степенного ряда (1), в который может быть разложена функция f (х), однозначно определяются формулой (6). • Пусть f (х)имеет на (- R, +R)непрерывные производные порядка. О2. Степенной ряд (1), коэффициенты которого определяются формулой (6), называется рядом Тейлора функции f (х). Утв3. Если функция f (х) может быть разложена на (- R, +R) в степенной ряд, то этот ряд является рядом Тейлора функции f (х). (Следует из Утв2) Утв4. Чтобы функция f (х) могла быть разложена в ряд Тейлора на (- R, +R)(на { х }), необходимо и достаточно, чтобы остаточный член в формуле Маклорена для этой функции стремился к 0 на (- R, +R)(на { х }). Остаточные члены в формуле Маклорена для стремятся к 0 на всей числовой прямой, для - на => из Утв4: *: У всякой ограниченной послед-сти верхний и нижний пределы. 2*: Для сходимости ряда необходимо, чтобы послед-сть и 1, и 2, …, иk,... членов этого ряда являлась бесконечно малой. 3*: Если для всех номеров k, по крайней мере начиная с некоторого номера, справедливо неравенство , то ряд сходится (расходится). 4 *: Если функц. ряд определен на { х } пр-ва Ет и если сходящийся числовой ряд такой, что для всех х { х } и для всех k справедливо , то ряд сходится равномерно на { х }. 5*: Если функц. ряд на [ а, b ] и если каждый член ряда является функцией, интегрируемой на [ а, b ], то и сумма S (х) интегрируема на [ а, b ], причем этот ряд можно интегрировать на [ а, b ] почленно, т. е. сходится числовой ряд 6*: Если каждая функция имеет производную на [ а, b ] и если ряд из производных сходится равномерно на [ а, b ], а сам ряд сходится хотя бы в одной точке х 0 [ а, b ], то на сегменте [ а, b ], причем этот ряд можно дифф-вать на [ а, b ] почленно, т. е. его сумма S (х) имеет производную: . 7*: Если функц. ряд на { x } и у всех членов этого ряда в предел то и сумма ряда S (х) имеет в предел, и к пределу можно переходить почленно: Сл1. Если в условиях Т потребовать, чтобы { x } и чтобы все члены ряда (1) были непрерывны в , то и сумма S (х) этого ряда будет непрерывна в .
|
||||
Последнее изменение этой страницы: 2016-08-06; просмотров: 966; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 3.135.184.195 (0.007 с.) |