- •Логинов а.С. Часть 1. Дифференциальное исчисление Глава 1. Ведение
- •1.1. Некоторые понятия теории множеств и математической логики
- •1.1.1. Множество, операции над множествами, обозначения
- •1.1.2. Отображение, взаимно-однозначное соответствие, счетное и несчетное множества
- •1.1.3.Некоторые понятия математической логики (Дж. Маллас Пролог)
- •1.1.4.Вещественные числа
- •1.2. Комплексные числа
- •1.2.1. Определение комплексного числа
- •1.2.2. Свойства комплексных чисел
- •1.2.3. Алгебраическая форма записи
- •1.2.4. Модуль и аргумент комплексного числа. Комплексное сопряжение. Тригонометрическая форма записи комплексных чисел
- •1.2.5. Формула Муавра
- •1.3.1.Ограниченное множество. Точные грани
- •1.3.2.Существование точной верхней грани у ограниченного сверху множества
- •Глава 2. Последовательности
- •2.1. Основные понятия, относящиеся к последовательностям
- •2.1.1. Ограниченная последовательность. Точная верхняя (нижняя) грань. Монотонные последовательности
- •2.1.2. Предел последовательности
- •2.1.3. Несобственные пределы
- •2.2. Теоремы о пределах последовательностей
- •2.2.1.Простейшие свойства сходящихся последовательностей
- •2.2.2. Монотонные последовательности
- •2.3. Некоторые свойства последовательностей, связанные со свойством непрерывности вещественных чисел
- •2.3.1.Подпоследовательность. Теорема Больцано-Вейерштрасса
- •2.3.2.Верхний и нижний пределы последовательности
- •2.3.3. Фундаментальная последовательность. Критерий Коши для последовательности
- •2.4. Свойства последовательностей
- •2.4.1.Операции над последовательностями. Свойства пределов, связанные с операциями
- •Глава 3. Предел функции. Непрерывность
- •3.1. Основные понятия, относящиеся к функции
- •3.1.2.Ограниченность. Точные грани
- •3.1.3.Элементарные функции
- •3.2. Предел функции
- •3.2.2. Односторонние пределы. Предел слева, предел справа
- •3.2.3. Связь предела с односторонними пределами
- •3.2.5. Критерий Коши существования конечного предела функции
- •3.2.6. Локальная ограниченность функции, имеющей конечный предел
- •3.2.7. Сохранение знака функции, имеющей ненулевой предел в точке
- •3.2.8. Предел сложной функции
- •3.3 Свойства пределов
- •3.3.1. Переход к пределу в неравенствах
- •3.3.2. Арифметические операции над пределами
- •3.3.3. Бесконечно малые и бесконечно большие функции
- •3.3.4. Сравнение б.М. И б.Б. Функций. Символы o,o
- •3.4 Замечательные пределы Замечательные пределы, основные эквивалентности.
- •3.4.1. Первый замечательный предел.
- •3.4.2. Второй замечательный предел.
- •3.5 Непрерывные функции
- •3.5.2.Простейшие свойства непрерывных функций
- •Определение. Если существуют конечные пределы
- •3.5.3. Ограниченность непрерывной функции. Теоремы Вейерштрасса
- •3.5.4.Теорема о промежуточных значениях непрерывной функции
- •3.5.5.Критерий непрерывности монотонной функции
- •3.5.6.Непрерывность обратной функции
- •3.5.7.Непрерывность элементарных функций
- •3.5.8.Равномерная непрерывность
- •Глава 4 Дифференциальное исчисление
- •4.1 Производная
- •4.1.1.Определение производной. Геометрическая интерпретация. Необходимое условие дифференцируемости
- •4.1.2. Дифференциал функции
- •4.1.3.Основные правила дифференцирования
- •4.1.4.Производные элементарных функций
- •4.1.5. Логарифмическое дифференцирование
- •4.1.6.Функции, заданные параметрически
- •4.2 Производные и дифференциалы высших порядков
- •4.2.1.Производные высших порядков
- •4.2.2. Вычисление производных функций, заданных неявно
- •4.2.3. Формула Лейбница
- •4.2.4. Дифференциалы высших порядков
- •4.2.5. Инвариантность формы дифференциала первого порядка
- •4.2.6. Дифференцирование функций, заданных неявно
- •4.3 Теоремы о среднем для дифференцируемых функций
- •4.3.1. Теорема Ферма о нуле производной
- •4.3.2. Теорема Ролля о нуле производной
- •4.3.3. Теорема Лагранжа о конечных приращениях
- •4.3.4. Теорема Коши о конечных приращениях
- •4.4 Правило Лопиталя
- •4.4.1.Раскрытие неопределенностей вида 0/0
- •4.4.2.Раскрытие неопределенностей вида /
- •4.4.3.Использование правила Лопиталя для выделения главных частей и определения порядков бесконечно больших
- •4.4.4.Раскрытие неопределенностей вида 0, 1 , 00, 0, -
- •4.5 Формула Тейлора
- •4.5.1.Многочлен Тейлора. Формула Тейлора с остаточным членом Rn
- •4.5.2. Остаток в форме Пеано
- •Лемма. Если
- •4.5.3.Другие формы остатка в формуле Тейлора
- •4.5.4. Разложение некоторых элементарных функций по формуле Тейлора
- •4.5.5. Примеры использования стандартных разложений для представления функций по формуле Тейлора и для вычисления пределов
- •4.5.6. Формула Тейлора для четных и нечетных функций
- •4.6 Исследования характера поведения функций
- •4.6.1.Условие монотонности функции
- •4.6.2.Максимальные и минимальные значения функций ( экстремумы )
- •Аналогично определяются: минимум, строгий минимум.
- •4.6.3. Исследование функций на экстремум по знаку высших производных
- •4.6.4. Выпуклость функции, точки перегиба
- •4.6.5. Асимптоты функций
- •4.6.6. Общая схема построения графиков
- •Глава 5. Элементы теории кривых
- •5.1 Векторная функция скалярного аргумента
- •5.1.1.Определение векторной функции. Операции над векторными функциями
- •5.1.2. Предел вектор функции
- •5.1.3. Непрерывность вектор функции
- •5.1.4. Дифференцируемость вектор функции
- •5.1.5. Правила дифференцирования вектор функций
- •5.1.6. Гладкие кривые Определение. Кривая
- •5.2 Длина кривой
- •5.2.1.Спрямляемая кривая
- •5.3 Плоские кривые
- •5.3.1.Понятие кривизны и ее вычисление
- •5.3.2.Выражение центра и радиуса кривизны для явно заданной кривой
- •5.3.3.Порядок соприкосновения кривых
4.4.4.Раскрытие неопределенностей вида 0, 1 , 00, 0, -
Неопределенности вида 0 сводятся к уже рассмотренным ранее.
Примеры.
1) .
2) .
3) .
4) -
.
Можно, например, так
5) Неопределенности вида 1, 00, 0 сводятся к уже рассмотренным ранее логарифмированием
y=uv=ev ln u
Пример1..Вычисление. . Этот предел рассматриваем, как , где , а . Из теоремы о существовании предела суперпозиции двух функций следует, что . Далее , заменяя знаменатель на эквивалентную бесконечно малую получим:
==
=. Таким образом, .
Пример 2. . Представим функцию в следующем виде: и вычислим предел
4.5 Формула Тейлора
Формула Тейлора. Различные остатки в формуле Тейлора.
4.5.1.Многочлен Тейлора. Формула Тейлора с остаточным членом Rn
Пусть у функции f существует f(n)(x0) ( это предпологает существование всех производных до (n-1)-го порядка в некоторой окрестности U=(x0-a,x0+a) точки x0 ). Многочленом Тейлора в точке x0 называется многочлен вида
Производные многочлена Тейлора будут равны:
(1)
Из (1) следует
= (2)
В частности, из дифференцируемости функции в точке получаем:
=. (3)
Далее, из (1) получается замечательное свойство многочлена Тейлора: он имеет в точке такие же производные, что и сама функция до порядка включительно («нулевая производная» - это сама функция):
Pn(x0)=f(x0), (4)
В частности, , k=0,1,…,n-1.
Обозначим Rn(x)=f(x) - Pn(x), тогда
(5)
Выражение (5) называется формулой Тейлора функции f в окрестности точки x0 с остаточным членом Rn. Основная задача будет состоять в представлении остатка в удобной для оценок форме.
Пример. Для функции найти многочлен , имеющий такие же прозводные в точке , что и , до 5-го порядка включительно.
4.5.2. Остаток в форме Пеано
Теорема 1. Если у функции f(x) существует f(n)(x0), то имеет место равенство
.
Другими словами
(6)
Доказательство. Для краткости будем обозначать R(x)=Rn(x), тогда можно выписать следующие равенства для последующего использования по правилу Лопиталя
(10)
(11)
…
(1m)
…
(1n-1)
Как уже отмечалось (формула (3))
По правилу Лопиталя
Теорема 2. (Единственность представления функции по формуле Тейлора) Если f имеет n–ю производную в точке x0 и
, то
Лемма. Если
, (2)
то bk=0, k=0,1,…,n.
Доказательство. В формуле (2) перейдем к пределу при x x0 , получим b0 = 0,
, делим полученное выражение на (x-x0) и переходим к пределу при x x0 и т.д.
Доказательство теоремы.
откуда и следует утверждение.
4.5.3.Другие формы остатка в формуле Тейлора
Пусть функция f(x) (n+1)–раз дифференцируема в окрестности Ua(x0)=(x0-a,x0+a) и (x) дифференцируема в , 0 в , (x) непрерывна в .
Возьмем x(x0-a,x0+a), xx0 и фиксируем. Для определенности будем считать x0<x и рассмотрим на [x0,x] функцию
Отметим следующие свойства этой функции
-
(x)=0.
-
(x0)=Rn(x).
-
(z) непрерывна на [x0,x], дифференцируема на (x0,x).
-
Не очевидным является только четвертое свойство
=
===.
К функциям и применим теорему Коши о конечных приращениях на отрезке [x0,x]
. Откуда и, далее,
(1)
Следствие 1. Если функция f является (n+1)-раз дифференцируемой на (x0-a, x0+a), то
,
где (x0,x) (или (x,x0)),p>0. Полученный остаток называется остатком в форме Шлемильха-Роша.
Для доказательства этой формулы в качестве функции (z) нужно взять (z)=(x - z)p.
Следствие 2. (Формула Тейлора с остатком в форме Лагранжа) Если f является (n+1)–раз дифференцируемой на (x0-a, x0+a), то
.
Этот остаток получен из общей формулы при p=n+1.
Замечание. Формулу Тейлора с остатком Лагранжа можно представить в виде
.
Следствие 3. Если f (n+1)–раз дифференцируема на (x0 - a, x0+a), то справедлива формула Тейлора с остатком в форме Коши
Этот остаток получен из общей формулы при p=1.