- •Глава 6. Теория неявных функция
- •§1. Отображение и его матрица
- •1.Матрица Якоби отображения, якобиан
- •2.Свойства матрицы Якоби и якобиана
- •3.Якобиан обратного отображения
- •§2. Неявные функции
- •1.Существование неявной функции одного переменного
- •2.Неявные функции многих переменных
- •3 Касательная к поверхности, заданной неявно
- •4.Неявные функции, заданные системой уравнений
- •5.Вычисление производных неявных функций, заданных системой уравнений
- •§3. Дифференцируемые отображения
- •1.Дифференцируемость. Производные отображения
- •2.Регулярные отображения
- •§4. Функциональная зависимость систем функций
- •1.Необходимые и достаточные условия зависимости функций
- •§5. Условный экстремум
- •1.Необходимые условия
- •2.Достаточные условия
2.Неявные функции многих переменных
Определение. Неявная функция, заданная уравнением F(x1,x2,…,xn,y)=0 (или кратко F(x,y)=0) определяется, как функция y=f(x)=f(x1,x2,…,xn) при подстановке которой в уравнение, оно превращается в тождество на некотором множестве, т. е.
F(x1,x2,…,xn, f(x1,x2,…,xn))=0 , или кратко, F(x,f(x))=0 при xD.
Теорема 2. Пусть
F(x,y) имеет непрерывные частные производные первого порядка в окрестности U(M0) точки M0=(x0,y0)= , x0=
F(M0)=0,
.
Тогда существует окрестность U(x0) и единственная функция, определенная в этой окрестности y = f(x), такая, что
x U(x0) : F(x,f(x))=0 и y0 = f(x0).
Эта функция дифференцируема в точке x0 и ее производные определяется по формуле
.
Доказательство. Для определенности будем считать, что .Пусть в U(M0) выполнены условия теоремы и , положим = /2. Тогда цилиндр B={(x,y):(x,x0) < ,|y - y0|< } содержится в U(M0) так как
(M,M0)=<.
Так как в этом цилиндре ,то функция F(x0,y) строго возрастает на
[y0 - , y0 + ]. В центре этого отрезка функция равна нулю, поэтому F(x0, y0 - ) < 0 , F(x0, y0 + ) > 0. Функции F(x, y0 - ) , F(x, y0 + ) непрерывны по x и поэтому сохраняют знак в окрестности точки x0 . таким образом, существует < x U( x0) : F(x, y0 - ) < 0 , F(x, y0 + ) > 0 . Тогда для U( x0) функция F(,y) имеет на [y0 - , y0 + ] единственный ноль ,F(,) = 0 (промежуточное значение строго монотонной функции). Функция f : , действующая наU( x0) является искомой. В силу единственности нуля f(x0) = y0. Построенная функция является функцией неявно заданной уравнение F(x,y)=0 в окрестности U( x0). Докажем дифференцируемость этой функции. В окрестности точки M0 справедливо равенство
F=.
Если в этом равенстве положить y=f=f(x) – f(x0), где x= то F = 0 и все xk=0 кроме одного при k=j
Откуда
.
Переходя к пределу при M M0 получим требуемое равенство.
Замечание. При выполнении условий теоремы построенная функция будет принадлежать классу C1 в некоторой окрестности точки x0 .
Действительно, условия теоремы будут выполнены, если в качестве точки (x0,y0) взять любую точку (x, f(x)), x. Для таких точек будут выполнено равенство
,
где правая часть является непрерывной функцией.
3 Касательная к поверхности, заданной неявно
Рассмотрим поверхность заданную неявно уравнением
F(x, y, z) = 0.
Будем предполагать выполненными условия теоремы существования неявной функции z = f(x,y) в окрестности точки P0=(x0, y0) (,M0=(x0, y0, z0), z0=f(x0, y0)). Уравнение касательной плоскости к поверхности в точке M0, будет иметь вид
. (1)
С другой стороны, для неявно заданной функции
, .
Подставляя эти выражения в (1) получим
или
. (2)
Отсюда следует следующее правило для построения касательной плоскости к поверхности, заданной неявно.
Нужно взять дифференциал левой и правой части уравнения (1)
dF=0
и в полученном выражении частные производные вычислить в интересующей нас точке поверхности M0 , а дифференциалы dx, dy, dz нужно заменить на (x-x0), (y-y0), (z-z0) соответственно.
Замечание. Формула (2) будет справедлива и в случаях, когда уравнение (1) можно разрешить относительно y (в случае выполнения условия ) или относительно x (при выполнении условия ).