Изменения

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

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

123 байта добавлено, 19:21, 4 сентября 2022
м
rollbackEdits.php mass rollback
В результате мы получаем СЛАУ для зависимости дифференциалов. Её матрицей будет матрица Якоби <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 n B_j dx_j=0 \Rightarrow \forall j : B_j =0 </tex>, так как дифференцируются независимые переменные.
Мы получили систему уравнений для полученных точек, похожих на условный экстремум; которую надо решать вместе с уравнениями связи.
1632
правки

Навигация