![](/user_photo/2706_HbeT2.jpg)
- •Глава 8. Неявные функции. Дифференцируемые Отображения
- •8.1. Неявные функции заданные одним уравнением
- •8.2. Векторные отображения
- •В силу (13) это будет означать, что
- •Предел отображения обозначается:
- •8.3. Неявные функции n-переменных. Обратные отображения
- •8.4. Условный экстремум
- •8.5. Поверхности в трехмерном евклидовом пространстве
- •8.6. Контрольные вопросы
- •8.7. Примеры решения задач
- •8.8. Задачи для самостоятельного решения
8.6. Контрольные вопросы
1.
Какая функция называется неявной?
Приведите пример уравнения вида
,
определяющего неявную функцию, и пример
уравнения, не определяющего неявную
функцию.
2.
Сколько непрерывных неявных функций
вида
определяет уравнение
в окрестности точки О(0,
0)?
3. Сформулируйте теорему о существовании, единственности и непрерывности неявной функции, определяемой уравнением . Докажите существование и единственность этой функции.
4.
Докажите, что уравнение
не определяет неявную функцию в
прямоугольнике
.
Какое условие теоремы 10.1 не выполнено
в данном случае?
5.
Приведите примеры, когда невыполнение
условия
:
а) приводит к неразрешимости уравнения относительно у в окрестности точки или к не единственности решения;
б) не нарушает существования и единственности неявной функции вида , определяемой уравнением в окрестности точки .
6.
Докажите, что уравнение
не определяет неявной функции в достаточно
малой окрестности точки (1, 1). Какое
условие теоремы 10.2 не выполнено в данном
случае?
7.
Уравнение
определяет в окрестности точки
не дифференцируемую в точке
функцию
.
Какое условие теоремы 10.2 не выполнено
в данном случае?
8.
Уравнение
определяет в любой окрестности точки
три
дифференцируемые функции:
.
Какое условие теоремы 10.2 не выполнено
в данном случае?
9.
Вычислите производные
и
неявной функции
,
определяемой уравнением
и удовлетворяющей условию
,
двумя способами: а) используя формулы
(3) и (4); б) используя явное выражение для
функции
.
10. Сформулируйте теорему о существовании, единственности и дифференцируемости совокупности неявных функций, определяемых системой уравнений.
11. Сформулируйте определение условного экстремума функции.
12.
Объясните, в чем состоит метод исключения
части переменных. Сведите задачу об
условном экстремуме функции
при условии связи
к задаче о безусловном экстремуме.
13. Что такое функция Лагранжа? Сформулируйте теорему о необходимых условиях Лагранжа условного экстремума.
8.7. Примеры решения задач
1.
Доказать, что уравнение
определяют единственную неявную функцию
вида
,
и найти
.
Решение.
Введем обозначение
.
Так как
,
то при любом фиксированном значении х
функция
является возрастающей функцией аргумента
у.
Кроме того, для любого фиксированного
значения х
при достаточно больших значениях
,
очевидно, выполняются неравенства
при
при
.
Поскольку
– непрерывная функция, отсюда следует,
что
существует единственное у
такое, что
,
т.е.
уравнение имеет единственное решение
относительно у.
Это и означает, что уравнение определяет
единственную неявную функцию вида
.
Так
как
– дифференцируемая функция и
,
то и функция
дифференцируема на всей числовой прямой.
Для нахождения
воспользуемся формулой (3):
Дифференцируя , найдем
.
Чтобы
найти значения
и
в какой-либо точке х,
нужно сначала вычислить соответствующее
значение
.
Пусть
.
Нетрудно проверить, что решением
уравнения при
является
,
т. е.
.
Подставляя
в формулы для
и
,
получаем
,
.
2.
Найти производные
и
неявной функции
,
заданной
уравнением
(42)
и
удовлетворяющей условию
.
Решение.
Функция
дифференцируема в любой окрестности
точки (0,1). Производная
непрерывна в точке (0,1). Наконец,
,
т.е. выполнены все условия теоремы 10.2.
Поэтому в некоторой окрестности точки
(0, 1) уравнение (42) определяет единственную
дифференцируемую неявную функцию вида
,
причем
.
Более того, так
как функция
дважды
дифференцируема в любой окрестности
точки (0, 1), то и функция
дважды дифференцируема в некоторой
окрестности точки
.
Производные
и
можно найти по правилу дифференцирования
неявных функций, а затем, полагая
,
вычислить
и
.
Однако удобнее
поступить следующим образом. Предполагая,
что функция
подставлена в уравнение (42), продифференцируем
полученное тождество
по х:
.
(43)
Полагая
в равенстве (43)
,
,
получаем
,
откуда
.
Чтобы найти вторую производную,
продифференцируем тождество (42) по х:
.
Полагая
,
,
,
получаем
,
откуда
.
Итак,
.
3. Найти производные первого и второго порядков неявной функции , заданной уравнением
.
(44)
Решение.
Левая часть уравнения (44) не определена
при
.
Будем считать, что
.
Предположим, что уравнение (44) определяет
дважды дифференцируемую неявную функцию
.
Подставляя ее и дифференцируя полученное
тождество по х,
приходим
к равенству
.
(45)
Уравнение
(45) можно упростить, если воспользоваться
исходным уравнением (44). А именно, из
уравнения (44) следует,
.
Поэтому
уравнение (45) можно записать так:
Отсюда находим
.
(46)
где . Для вычисления второй производной можно продифференцировать тождество (45) по х и, получив линейное относительно у" уравнение, найти вторую производную. Однако в данном случае удобнее воспользоваться равенством (46), из которого следует
.
Подставляя
в последнее равенство выражение для
,
окончательно находим
.
4. Методом исключения переменных найти экстремум функции
(47)
при условиях связи
(48)
Решение. Решая систему уравнений (54) относительно y и z, находим
.
(49)
Подставляя
выражение (49) в равенство (47), приходим
к функции одной переменной
:
,
для которой рассмотрим задачу о
безусловном экстремуме. Так как
при
,
то функция
имеет единственную точку возможного
экстремума. Но
,
поэтому при
функция
имеет минимум. Из системы (55) находим
соответствующие
значения у
и
:
.
Итак, функция (47) при условиях связи (48)
имеет в точке
минимум, причем
.
5. Методом Лагранжа найти экстремум функции (47) при условиях связи (48).
Решение. Составим функцию Лагранжа
и рассмотрим систему уравнений:
Она
имеет единственное решение:
,
т. е.
– единственная точка возможного
экстремума функции (47) при условиях
связи (48). Отметим, что в окрестности
точки
система (48) определяет единственную
пару неявных функций
,
.
Хотя
в данном случае их легко найти в явном
виде,
нам эти явные выражения не понадобятся.
Предполагая, что в систему (48) подставлено
ее решение
,
,
и
дифференцируя полученные
тождества, приходим к равенствам
Отсюда находим
(
Теперь вычисляем второй дифференциал функции Лагранжа:
,
и,
подставляя
и выражение (54) для dz,
получаем положительно определенную
квадратичную форму от одной переменной
:
.
Отсюда следует, что функция (47) при
условиях связи (48) имеет в точке
условный минимум.