Возрастание, убывание, точки экстремума функции

ИКТИБ ИТА ЮФУ

 

КУРС ЛЕКЦИЙ ПО МАТЕМАТИКЕ

 

Лекция 17 Основные теоремы дифференциального исчисления

 

План лекции

Производные и дифференциалы параметрически и неявно заданных функций. Основные теоремы дифференциального исчисления: Ферма, Ролля, Лагранжа, Коши, Лопиталя. Формула Тейлора. Разложение функций по формуле Тейлора.

 

 

1. Производные и дифференциалы
параметрически заданных функций

 

Пусть задано соотношение . (1) При каждом фиксированном , принадлежащего этому () или, может быть, другому промежутку, это значение параметра система (1) устанавливает соответствие между равноправными здесь переменными и . Таким образов и задается функция . (Хотя может этими же соотношениями задаваться и функция .) Если функции и из соотношения (1) дифференцируемы и задано приращение параметра , то мы легко найдем приращения и . Рассматривая отношение этих величин , мы получим формулу для производной . (2)

Итак, если функция задана параметрически в виде (1), то искомая производная равна отношению производных по параметру от функции и от аргумента, т. е. . В этом суть формулы (2). А что будет, если формулу (2) применить к самой формуле (2)? В этом случае мы, предполагая как всегда, что соответствующие производные по параметру существуют, получим формулу для вычисления производной 2-го порядка от функции, заданной параметрически.

Итак, пусть задано соотношение . По формуле (2) . В итоге . Таким же образом можно вычислить производную любого порядка от функции, заданной параметрически.

 

Производные и дифференциалы неявно заданных функций

 

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

Пример 1. Для функции , заданной неявно уравнением найдите и .

Решение. От функции вычислим производную по переменной и получим и приравняем ее к 0. Отсюда найдем . Вторую производную найдем как производную от первой производной . Подставляя сюда уже найденную первую производную , найдем . С учетом того, что , получим в итоге . Нарисуйте эллипс и посмотрите на геометрический смысл полученных результатов.

 

Возрастание, убывание, точки экстремума функции

 

Определение 1. Пусть функция определена на множестве и числа , принадлежат множеству . Если из условия (*) следует, что , функция называется возрастающей на множестве . Если из условия (*) следует, что , функция называется убывающей на множестве . Если из условия (*) следует, что , функция называется неубывающей на множестве . Если из условия (*) следует, что , функция называется невозрастающей на множестве . Во всех этих случаях функция называется монотонной на множестве .

Определение 2. Точка называется точкой максимума функции , если существует число такое, что функция определена на интервале и при .

Определение 3. Точка называется точкой минимума функции , если существует число такое, что функция определена на интервале и при .

Определение 4. Точки максимума и минимума функции называются точками экстремума функции .

Теорема 1. Пусть для функции выполнено условие , тогда существует число такое, что функция возрастает на интервале .

Доказательство. По условию теоремы . Следовательно, при достаточно малых выполнено условие , т. е. большему значению аргумента соответствует большее значение функции. Отсюда функция возрастает и теорема доказана.

Теорема 2. Пусть для функции выполнено условие , тогда существует число такое, что функция убывает на интервале .

Доказательство. По условию теоремы . Следовательно, при достаточно малых выполнено условие , т. е. большему значению аргумента соответствует меньшее значение функции. Отсюда функция убывает и теорема доказана.