Определим дополнительные термины:
Определение
Пусть $K\left(x^{0} \right)\subset R^{n}$ и $Q\left(y^{0} \right)\subset R^{m}$ — клеточные окрестности. Система уравнений $F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$, где $x=\left(x_{1},…,x_{n} \right)$, $y=\left(y_{1},…,y_{m} \right)$, определяет в $K\left(x^{0} \right)\times Q\left(y^{0} \right)$ переменные $y_{1},…, y_{m}$ как неявные функции переменных $x_{1},…, x_{n}$, если $\forall x\in K\left(x^{0} \right)$ $ \exists ! y\in Q\left(y^{0} \right): F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$.
Теорема о неявной функции многих переменных
Пусть выполнены следующие условия:
Функции $F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$, непрерывно дифференцируемы в клеточной окрестности точки $\left(x^{0}, y^{0} \right)$;
$F_{i}\left(x^{0}, y^{0} \right)=0$, $i=\overline{1, m}$;
$$\begin{vmatrix}\frac{\partial F_{1}}{\partial y_{1}} & \cdots & \frac{\partial F_{1}}{\partial y_{m}} \\\cdots & \cdots & \cdots \\\frac{\partial F_{m}}{\partial y_{1}} & \cdots & \frac{\partial F_{m}}{\partial y_{m}}\end{vmatrix}_{\left(x^{0}, y^{0} \right)}\neq 0$$
Тогда найдутся клеточные окрестности $K\left(x^{0} \right)\subset R^{n}$ и $Q\left(y^{0} \right)\subset R^{m}$ такие, что в $K\left(x^{0} \right)\times Q\left(y^{0} \right)$ система уравнений $F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$ определяет переменные $y_{1},…, y_{m}$ как неявные функции переменных $x_{1},…, x_{n}$. Неявные функции $y_{j}=\varphi _{j}\left(x \right)$ непрерывно дифференцируемы в $K\left(x^{0} \right)$ и $y_{j}^{0}=\varphi _{j}\left(x^{0} \right)$, $j=\overline{1, m}$.
Доказательство
Докажем методом индукции по числу уравнений $m$.
Б.И. При $m=1$ доказательство проводится, как в теореме о неявной функции одной переменной.
П.И. Предположим, что теорема справедлива, когда содержит $m-1$ уравнений.
Ш.И. Докажем, что условие теоремы выполняется для $m$ уравнений.
По третьему условию теоремы определитель не равен нулю. Разложим его по элементам последней строки. Тогда хотя бы один из соответствующих миноров $m-1$-го порядка отличен от нуля. Пусть, например,
$$\begin{vmatrix}\frac{\partial F_{1}}{\partial y_{1}} & \cdots & \frac{\partial F_{1}}{\partial y_{m-1}} \\\cdots & \cdots & \cdots \\\frac{\partial F_{m-1}}{\partial y_{1}} & \cdots & \frac{\partial F_{m-1}}{\partial y_{m-1}}\end{vmatrix}_{\left(x^{0}, y^{0} \right)}\neq 0$$
Тогда по предположению индукции существуют такие клеточные окрестности
$K_{1}=\left\{\left(x, y_{m} \right): \left|x_{i}-x_{i}^{0} \right|\leq \varepsilon _{i}’, i=\overline{1, n}, \left|y_{m}-y_{m}^{0} \right|<\delta _{m}’ \right\}$,
$Q_{1}=\left \{ \left ( y_{1},…,y_{m-1} \right ): \left | y_{j}-y_{j}^{0} \right |\leqslant \delta ‘_{j}, j=\overline{1,m-1} \right \}$,
в которых система первых $m-1$ уравнений $F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$ определяет $y_{1},…, y_{m-1}$ как неявные функции переменных $x_{1},…,x_{n},y_{m}$, т.е. $y_{j}=\psi _{j}\left(x, y_{m} \right), j=\overline{1, m-1}$.
Функции $\psi _{j}\left(x,y_{m} \right)$ непрерывно дифференцируемы и $\psi _{j}\left(x^{0},y_{m}^{0} \right)=y_{j}^{0}$, $j=\overline{1,m-1}$; $\left(x, y_{m} \right)\in K_{1}$, $F_{j}\left(x, \psi _{1}\left(x,y_{m} \right),…,\psi _{m-1}\left(x,y_{m} \right), y_{m} \right)\equiv 0$.
Если $K_{2}=\left\{\left(x_{1},…,x_{n} \right): \left|x_{i}-x_{i}^{0} \right|<\varepsilon ‘_{i}, i=\overline{1,m} \right\}$,
$Q_{2}=\left\{\left(y_{1},…,y_{m} \right): \left|y_{j}-y_{j}^{0} \right|<\delta ‘_{j}, j=\overline{1,m} \right\}$,
то при $x\in K_{2}, y\in Q_{2}$ система уравнений $F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$ эквивалентна следующей системе:
$y_{1}-\psi _{1}\left(x,y_{m} \right)=0,…,y_{m-1}-\psi _{m-1}\left(x,y_{m} \right)=0$, $\tilde{F}_{m}\left(x,y_{m} \right)=F_{m}\left(x, \psi _{1}\left(x,y_{m} \right),…,\psi _{m-1}\left(x,y_{m} \right), y_{m} \right)=0$.
Уравнение $\tilde{F}_{m}\left(x,y_{m} \right)=0$ может быть разрешено относительно $y_{m}$, так как для него выполнены все условия теоремы о неявной функции одной переменной. $\tilde{F}_{m}\left(x,y_{m} \right)$ непрерывно дифференцируема как суперпозиция непрерывно дифференцируемых функций.
Следовательно,
$\tilde{F}_{m}\left(x^{0},y_{m}^{0} \right)=F_{m}\left(x^{0}, \psi _{1}\left(x^{0},y_{m}^{0} \right),…,\psi _{m-1}\left(x^{0},y_{m}^{0}\right),y_{m}^{0}\right)=F\left(x^{0},y_{1}^{0},…,y_{m}^{0} \right)=0$.
Теперь проверим условие $\frac{\partial \tilde{F}_{m}}{\partial y_{m}}\neq 0$ для аргументов $x^{0}, y^{0}_{m}$.
Если оно не выполнено, то $\frac{\partial \tilde{F}_{m}}{\partial y_{m}}=\sum_{p=1}^{m-1}{\frac{\partial F_{m}}{\partial y_{p}}}\frac{\partial \psi _{p}}{\partial y_{m}}+\frac{\partial F_{m}}{\partial y_{m}}=0$.
Дифференцируя по $y_{m}$ тождества $F_{j}\left(x, \psi _{1}\left(x,y_{m} \right),…,\psi _{m-1}\left(x,y_{m} \right), y_{m} \right)\equiv 0$ в точке $\left(x^{0},y^{0} \right)$, получаем
$\sum_{p=1}^{m-1}{\frac{\partial F_{j}}{\partial y_{p}}\frac{\partial \psi _{p}}{\partial y_{m}}+\frac{\partial F_{j}}{\partial y_{m}}}=0$, $j=\overline{1,m-1}$.
Следовательно, последний столбец определителя есть линейная комбинация остальных его столбцов, тогда определитель равен нулю, а это противоречит условию теоремы.
Выполняются все условия теоремы о неявной функции одной переменной, значит существует окрестность $K=\left\{\left(x,y_{m} \right): \left|x_{i}-x_{i^{0}} \right|<\varepsilon _{i}<\varepsilon _{i}’, i=\overline{1,n}; \left|y_{m}-y_{m^{0}} \right|<\delta _{m}<\delta _{m}’ \right\}$, в которой уравнение $\tilde{F}_{m}\left(x,y_{m} \right)=0$ определяет $y_{m}$ как неявную непрерывно дифференцируемую функцию $y_{m}=\varphi _{m}\left(x \right)$, причём $y_{m}^{0}=\varphi _{m}\left(x^{0} \right)$.
В окрестности $K$ система $y_{1}-\psi _{1}\left(x,y_{m} \right)=0,…,y_{m-1}-\psi _{m-1}\left(x,y_{m} \right)=0$, $\tilde{F}_{m}\left(x,y_{m} \right)=F_{m}\left(x, \psi _{1}\left(x,y_{m} \right),…,\psi _{m-1}\left(x,y_{m} \right), y_{m} \right)=0$ эквивалентна и системе $F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$, и системе: $y_{1}-\psi _{1}\left(x,y_{m} \right)=0,…,y_{m-1}-\psi _{m-1}\left(x,y_{m} \right)=0$, $y_{m}-\varphi _{m}\left(x \right)=0$.
Данная система, в свою очередь, эквивалентна следующей: $y_{1}=\varphi _{1}\left(x \right),…,y_{m}=\varphi _{m}\left(x \right)$, где $\varphi _{1}\left(x \right)=\psi _{1}\left(x,\varphi _{m}\left(x \right) \right),…,\varphi _{m-1}\left(x \right)=\psi _{m-1}\left(x,\varphi _{m}\left(x \right) \right)$, причём $\varphi _{1}\left(x^{0} \right)=y_{1}^{0},…,\varphi _{m}\left(x^{0} \right)=y_{m}^{0}$.
Уравнения $F_{i}\left(x, y \right)=0$, $i=\overline{1, m}$ неявно определяют систему функций $\varphi _{1}\left(x \right),…,\varphi _{m}\left(x \right)$ в окрестности $K\times Q$ точки $\left(x^{0},y^{0} \right)$, где
$K=\left\{x: \left|x_{i}-x_{i}^{0} \right|<\varepsilon _{i}, i=\overline{1, n} \right\}$,
$Q=\left\{y: \left|y_{i}-y_{i}^{0} \right|<\delta _{i}, j=\overline{1, m} \right\}$, $\delta _{j}=\delta ‘_{j}$ при $ j=\overline{1, m-1}$.
Литература
- Тер-Крикоров А.М., Шабунин М.И. Курс математического анализа: 3-е издание, исправл.- Физмат-лит, 2001. стр.260-263.
- Л.Д. Кудрявцев. Курс математического анализа, том 2 стр.309-315.
- В.И. Коляда, А.А. Кореновский. Курс лекций по математическому анализу т.2 стр.321-323.
- Конспект лекций по математическому анализу Лысенко З. М.
Теорема о неявной функции многих переменных
Тест для закрепления материала.
Таблица лучших: Теорема о неявной функции многих переменных
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |