Изменения

Перейти к: навигация, поиск

Локальная теорема о неявном отображении

123 байта добавлено, 06:35, 13 июня 2011
Нет описания правки
В результате мы получаем СЛАУ для зависимости дифференциалов. Её матрицей будет матрица Якоби <tex>g'_{\overline y}(\overline x,\overline y)</tex>. Раз она обратима в <tex>(x_0,y_0)</tex>, то по непрерывности она будет обратима в окрестности этой точки, следовательно, <tex>dy</tex> можно выразить через <tex>dx</tex>, формулы будут линейны.
<tex>dy_1=\sum\limits_{j=1}^n A_{1j}dx_j</tex>. Тогда, подставляя эти форулы в <tex>(*)</tex>, получим <tex>\sum\limits_{j=1}^m B_j dx_j=0 \Rightarrow \forall j : B_j =0 </tex>, так как дифференцируются независимые переменные.
Мы получили систему уравнений для полученных точек, похожих на условный экстремум; которую надо решать вместе с уравнениями связи.
403
правки

Навигация