- •Логинов а.С. Часть 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.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.6.2.Максимальные и минимальные значения функций ( экстремумы )
Определение. Пусть f(x) задана на [a,b] и x0(a,b), x0 называется точкой локального максимума функции f(x), если в некоторой окрестности точки x0 выполнено неравенство f(x) f(x0).
Строгий максимум, если в некоторой проколотой окрестности точки x0 выполнено неравенство f(x)< f(x0).
Аналогично определяются: минимум, строгий минимум.
Экстремум локальный: в точке локальный минимум или локальный максимум.
Экстремум строгий: в точке строгий локальный минимум или строгий локальный максимум. Это можно сформулировать, как сохранение знака приращения функции f(x) – f(x0) в некоторой проколотой окрестности точки x0 .
Теорема ( Необходимое условие экстремума ).
Если x0 – точка экстремума функции f и существует f(x0), то f(x0)=0.
Доказательство. Следует из теоремы Ферма.
Определение. Точка, в которой f(x0)=0 называется стационарной точкой.
Замечание. Таким образом, у дифференцируемой функции экстремум следует искать среди стационарных точек.
Пример. f(x)=x3.
Теорема. ( Первое достаточное условие экстремума )
Пусть f непрерывна в точке x0. Если в некоторой проколотой окрестности точки x0 функция f(x) дифференцируема и f(x) меняет знак при переходе через точку x0 , то x0 есть точка строгого экстремума, причем
производная меняет знак с минуса на плюс, то это минимум,
производная меняет знак с плюса на минус, то это максимум.
Доказательство. Применить теорему 3 на [x0-, x0] и на
[x0, x0+].
Другими словами, теорему можно сформулировать так: Если f непрерывна в x0, дифференцируема в некоторой проколотой окрестности точки x0 причем f(x)0 на (x0-, x0), f(x)0 на (x0, x0+),
тогда в точке x0 локальный минимум. Аналогично, для максимума достаточно выполнения условий:
f(x) 0 на (x0-, x0), f(x) 0 на (x0, x0+).
Пример. |x|.
Теорема (Второе достаточное условие экстремума)
Пусть x0 – стационарная точка функции f и f(x0)0, тогда, если f(x0)>0, то в точке строгий минимум, если f(x0)<0, то в точке строгий максимум
Доказательство. Пусть f(x0)>0,
Из теоремы о сохранении знака в некоторой проколотой окрестности будет выполнено неравенство
, или . Тогда для x > x0 будет
f(x) > 0 , а для x < x0 : f(x) < 0.
Аналогично для случая f(x0)<0.
Задача. Из квадратного листа сделать выкройку коробки, открытой сверху, наибольшего объема
Рис. 4.16
Объем коробки равен (a-2x)2x. Для поиска максимального объема вычислим производную
f(x)=( 4x3- 4ax2 +a2x)= 12x2 - 8ax+ a2 . Нули производной
Таким образом, x = .
Рис. 4.17
4.6.3. Исследование функций на экстремум по знаку высших производных
Пусть x0 стационарная точка функции f, f(x) n-раз непрерывно дифференцируема в некоторой окрестности точки x0 причем
f(x0)= f(x0)=…= f(n-1)(x0)=0, f(n)(x0)0. В этом случае по формуле Тейлора с остатком Лагранжа будет выполнено равенство .
n=2k
Если f(2k)(x0)>0 , то в x0 наблюдается строгий локальный min.
Если f(2k)(x0)<0 , то в x0 наблюдается строгий локальный max.
n=2k+1
x0 не является точкой экстремума, так как приращение функции f(x) – f(x0) имеет разные знаки по разные стороны от точки x0 .
Пример f(x) = ch x + cos x - , в точке 0.
f(x)=sh x – sin x - , f (0)=0,
f(x)=ch x – cos x –x2, f(0)=0,
f(x)=sh x + sin x –2x, f(0)=0,
f(4)(x)=ch x + cos x –2, f(4) (0)=0,
f(5)(x)=sh x - sin x, f(5) (0)=0,
f(6)(x)=ch x - cos x, f(6) (0)=0,
f(7)(x)=sh x + sin x, f(7) (0)=0,
f(8)(x)=ch x + cos x, f(8) (0)=2 >0 . Поэтому в точке 0 имеется строгий локальный min .