Главная » Просмотр файлов » Лекции Дымарский 2 семестр

Лекции Дымарский 2 семестр (1187969), страница 28

Файл №1187969 Лекции Дымарский 2 семестр (Лекции Дымарский 2 семестр) 28 страницаЛекции Дымарский 2 семестр (1187969) страница 282020-09-16СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Если функция представима в виде степенного ряда с положительнымрадиусом сходимости, то коэффициенты этого ряда определяются единственным образом.Доказательство первого утверждения следует из теоремы 12.9, примененной к исходному степенному ряду n раз. Формула (12.8) получается из формулы (12.7) подстановкой z = z0 . Единственность коэффициентов степенногоряда следует из формул (12.8). Позже нам понадобится138Я. М. ДЫМАРСКИЙТеорема 12.10.

(о радиусе сходимости суммы двух степенныхрядов)∑∞kПустьRиR–радиусысходимостистепенныхрядовc(z12k=0 k ∑− z0 ) и∑∞∞kk=0 dk (z −z0 ) соответственно. Тогда радиус сходимости R рядаk=0 (ck +dk )(z−z0 )k равен: 1) R = min{R1 , R2 }, если R1 ̸= R2 ; 2) R > R1 , если R1 = R2 .Доказательство. Пусть, для определенности, R1 < R2 . Тогда при |z − z0 | <R1 оба ряда сходятся и ряд, являющийся их суммой, тоже сходится. ЕслиR1 < |z − z0 | < R2 , то первый ряд расходится, а второй сходится. Поэтому ихсумма расходится.

Поскольку сумма рядов также является степенным рядом,мы можем сделать вывод, что R = R1 = min{R1 , R2 }. (Нет необходимостиисследовать сходимость ряда при условии |z − z0 | > R2 : т.к. обнаруженыточки z, в которых ряд расходится при условии |z − z0 | > R1 , то ряд тем болеебудет расходится при условии |z − z0 | > R2 > R1 . Хотя, заметим, сумма двухрасходящихся рядов не обязана расходиться.)Если же R1 = R2 , то при |z − z0 | < R1 оба ряда сходятся и ряд, являющийсяих суммой, тоже сходится.

Поэтому R > R1 . При |z − z0 | > R1 = R2 оба рядарасходятся и сделать определенный вывод невозможно. ) k∑∞ ( 11Примеры 12.1. 1) Радиус сходимости) k k=0 2k + 3k z равен 2, по∑∞ ( 1рядасколькуk=0 2k z равен 2, а радиус сходимости( ) сходимости ряда∑∞радиусряда k=0 31k z k равен 3.∑∞∑∞2) Ряды k=0 z k и k=0 (−1)z k имеют радиусы сходимости, равные 1. А ихсумма имеет радиус сходимости +∞, поскольку сумма равна нулевому ряду.ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОМУ АНАЛИЗУ, ВТОРОЙ СЕМЕСТР139§ 13. Ряды ТейлораРяд Тейлора естественным образом появляется из формулы Тейлора в случае, когда исследуемая функция бесконечно дифференцируема. В предыдущей лекции мы интересовались сходимостью данного степенного ряда. Сейчасв качестве исходного объекта берется функция f . Затем по ней определяется степенной ряд по образцу формулы Тейлора. После чего решается вопроссходимости этого ряда именно к той функции, которая его породила.13.1.

Степенные ряды с действительными членами. В предыдущемпараграфе мы убедились в том, что теория степенных рядов естественно выглядит на комплексной прямой. Ряды Тейлора также естественно исследоватьна C, однако для этого требуются продвинутые знания о функциях комплексной переменной. Поэтому сейчас мы вынуждены ограничиться случаем рядовс действительными коэффициентами от действительной переменной x ∈ R.Прежде всего уточним результаты теории СР на R.∑∞kРассмотрим действительный степенной ряд (ДСР)k=0 ak (x − x0 ) , гдеak , x, x0 ∈ R.

Поскольку ДСР можно рассматривать как комплексный, трактуя переменную x ∈ C как комплексную, то радиус сходимости ДСР можноопределить по формуле Коши-Адамара (12.1), положив ck = ak . Центр кругасходимости x0 ∈ R, поэтому пересечение круга сходимости с действительнойпрямой есть интервал сходимости (x0 − R, x0 + R) (рис. ???). Соберемутверждения теорем 12.8, 12.9 и следствия ?? об интегрировании и дифференцировании комплексных СР в одну теорему о ДСР и докажем ее, опираясь натеорию действительных функциональных рядов.Теорема∑∞ 13.1.

(об интегрировании и дифференцировании ДСР) Если ДСРf (x) = k=0 ak (x − x0 )k имеет положительный радиус сходимости R > 0,то:1. для любого x ∈ (x0 − R, x0 + R) справедлива формула почленного интегрирования∫ x∞∑akf (t)dt =(x − x0 )k+1 ;(13.1)k+1x0k=02. в интервале сходимости (x0 − R, x0 + R) функция f имеет производныелюбого порядка, причем для любого x ∈ (x0 − R, x0 + R) и для любогоn ∈ N справедлива формула почленного дифференцированияf (n) (x) =∞∑ak ((x − x0 )k )(n) ;(13.2)k=0∑∞3.

коэффициенты степенного ряда f (x) = k=0 ak (x − x0 )k определяютсяпо функции f формулойf (k) (x0 )ak =.(13.3)k!4. Если функция представима в виде степенного ряда с положительнымрадиусом сходимости, то коэффициенты этого ряда определяются единственным образом.140Я. М. ДЫМАРСКИЙДоказательство п. 1 Возьмем произвольное r ∈ (|x − x0 |, R). Данный рядравномерно сходится на отрезке [x0 − r, x0 + r] (теорема 12.3). Поэтому, применяя теорему 10.8, получаем формулу (13.1).Доказательство п. 2. Во-первых, ряд (13.2) сходитсяпри x = x0 .

Во-вторых,∑∞в силу теоремы 12.8, радиус сходимости ряда k=0 ak k(x − x0 )k−1 , полученного формальным дифференцированием, равен R. Поэтому на отрезке [x0 −r,определен нами в предыдущем пункте доказательства, ряд∑x∞0 + r], которыйk−1ak(x−x)сходится равномерно. В силу теоремы 10.9, получаем форk0k=0мулу (13.2) при n = 1.

Применяя те же рассуждения произвольное конечноеколичество раз, получаем формулу (13.2) для произвольного n ∈ N.Доказательство пп. 3 и 4 остаются неизменными. 13.2. Ряд Тейлора. Дадим, мотивированное теоремой 13.1,Определение 13.1. (свойств функции в т. x0 )1. Функция f называется бесконечно дифференцируемой в т. x0 , еслидля любого k ∈ N существует производная f (k) (x0 ).2. Пусть функция f бесконечно дифференцируема в точке x0 . Степеннойряд∞∑f (k) (x0 )(x − x0 )k(13.4)k!k=0называют рядом Тейлора функции f в точке x0 . По аналогии с формулой Тейлора, ряд Тейлора функции f в точке x0 = 0 называют рядомМаклорена этой функции.3.

Функция f называется регулярной в точке x0 , если она бесконечнодифференцируема в этой точке и ее ряд Тейлора в точке x0 сходится кэтой же функции f в некоторой окрестности точки x0 , т.е.∃δ > 0 : ∀x ∈ Uδ (x0 ) ,→ f (x) =∞∑f (k) (x0 )k=0k!(x − x0 )k .Обсуждение 13.1. Рассмотрим четыре объекта: регулярную в точке x0функцию f (РФ); функцию f , которая бесконечно дифференцируема в некоторой окрестноститочки x0 (ДФ); ряд Тейлора (13.4) функции f (РТ); сте∑∞пенной ряд k=0 ak (x−x0 )k , у которого радиус сходимости R > 0 (СР). Междуобъектами имеются связи, нуждающиеся в пояснении.1.

(РФ) ⇒ (ДФ): регулярная в точке x0 функция, в силу п. 2 теоремы13.1, является бесконечно дифференцируемой в некоторой окрестностиэтой точки.2. (ДФ) ⇒ (РТ): в силу определения (13.4).3. (РФ) ⇔ (СР) в силу п. 3 теоремы 13.1; другими словами, если степенной∑∞ряд k=0 ak (x − x0 )k имеет положительный радиус сходимости, то он(ряд) порождает функцию (сумму ряда!) внутри интервала сходимости,для которой этот же ряд является рядом Тейлора (ak = f (k) (x0 )/k!), афункция является регулярной в точке x0 .ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОМУ АНАЛИЗУ, ВТОРОЙ СЕМЕСТР141Однако из (ДФ) в общем случае НЕ следует (РФ), т.е. существует бесконечнодифференцируемая функция, порождающая ряд Тейлора, который (ряд) к нейНЕ сходится ни в какой сколь угодно малой окрестности точки x0 .Примеры 13.1.

Рассмотрим функции (рис. 13.1 и 13.2){{2e−1/x , если x ̸= 0,0, если x 6 0,g(x) =h(x) =20, если x = 0;e−1/x , если x > 0.Функция g больше нуля всюду, кроме точки x0 = 0. Оказывается, в нулепроизводная любого порядка g (k) (0) = 0 (k ∈ N). Следовательно, функция gбесконечно дифференцируема на R, а ее коэффициенты ряда Маклорена в точке x0 = 0 все равны нулю.

Значит, ряд Маклорена всюду сходится, его суммаравна тождественному нулю на R и НЕ совпадает с функцией g ни в однойточке, кроме x0 = 0. Все производные функции h также обнуляются в нуле,но ее ряд Маклорена совпадает с функцией на полуоси неотрицательных чисел. Известны бесконечно дифференцируемые на R функции, ряд Маклоренакоторых не сходится ни в одной точке. Получается, что в общем случае всепроизводные в одной точке не дают прогноза поведения функции ни в какойее окрестности.Рис.

13.1Рис. 13.2Рис. 13.3Оказывается, для функций комплексного переменного ситуация принципиально иная: однократная дифференцируемость (в комплексном смысле!) на области влечет бесконечную дифференцируемость, которая, в свою очередь, влечет регулярность. Заметим, что функция g на C не может рассматриватьсякак контрпример: в точке z0 = 0 она разрывна, поскольку на мнимой оси2g(iy) = e1/y → +∞ при y → 0.Задача 13.1. Докажите, что для любого k ∈ N производная g (k) (0) = 0.Задача 13.2. Чему равны остаточные члены rn (x) (n = 1, 2, ...) формулыМаклорена функций g(x) и h(x)?Возникает естественный вопрос: каковы условия сходимости ряда Тейлора именно к той функции, которая его породила? Другими словами, каковыусловия регулярности функции? Чтобы ответить на него, мы воспользуемсяостаткомn∑f (k) (x0 )rn (x) := f (x) −(x − x0 )k = f (x) − Sn (x),k!k=0где Sn (x) – одновременно и многочлен Тейлора, и частичная сумма ряда Тейлора, а rn (x) – одновременно и остаточный член формулы Тейлора, и остатокряда Тейлора.142Я.

М. ДЫМАРСКИЙЛемма 13.1. (критерий регулярности функции в терминах остаточногочлена формулы Тейлора) Функция f является регулярной в точке x0 тогда ит.т., когда∃δ > 0 : ∀x ∈ Uδ (x0 ) ,→ lim rn (x) = 0.n→∞Доказательство. Достаточно определение регулярности (п. 3 определения13.1) сопоставить с определением суммы функционального ряда.

Замечание 13.1. Ранее, исследуя формулу Тейлора, мы проверяли стремление остатка rn (x) → 0, фиксируя n ∈ N, при x → x0 . Сейчас, исследуя рядТейлора, мы проверяем стремление остатка rn (x) → 0, фиксируя произвольный◦x ∈ U δ (x0 ), при n → ∞.Применим лемму 13.1, чтобы получитьТеорема 13.2.

(достаточный признак регулярности) Пусть функция fбесконечно дифференцируема в некоторой δ-окрестности точки x0 и все еепроизводные равномерно ограничены в этой окрестности, т.е.∃δ > 0 ∧ ∃M > 0 : (∀n ∈ N ∧ ∀x ∈ Uδ (x0 )) ,→ |f (n) (x)| 6 M.Тогда функция регулярна в точке x0 и ее ряд Тейлора сходится к ней в тойже δ-окрестности точки x0 :∀x ∈ Uδ (x0 ) ,→ f (x) =∞∑f (k) (x0 )k=0k!(x − x0 )k .Доказательство. Остаточный член формулы Тейлора запишем в формеЛагранжа: rn (x) = (f (n+1) (ξ)/(n + 1)!)(x − x0 )(n+1) , где x ∈ Uδ (x0 ), а ξ лежитстрого между x0 и x.

Из условия теоремы получаем равномерную для всехx ∈ Uδ (x0 ) оценку сверху: |rn (x)| 6 M δ n+1 /(n + 1)!. Остается показать, чтос ростом n дробь dn+1 := δ n+1 /(n + 1)! стремится к нулю, иначе говоря, степенная функция растет медленнее, чем факториал (не исключено, что δ > 1,и мы имеем дело с неопределенностью δ n+1 /(n + 1)! = ∞/∞ при n → ∞).

Ноотношение dn+1 /dn = δ/(n + 1) → 0 при n → ∞. Поэтому последовательностьdn убывает к нулю быстрее, чем геометрическая прогрессия с произвольнымпоказателем q ∈ (0, 1). Замечание 13.2. Понятно, что функции из примеров 13.1 не удовлетворяют условиям теоремы 13.2: с ростом n производные g (n) (x) неограниченнорастут в сколь угодно малой окрестности нуля (на рис.

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

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

Список файлов лекций

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