Traduire la condition du premier ordre sous contrainte par l'appartenance de ∇f(x0)\nabla f(x_0)∇f(x0) au sous-espace engendré par les gradients des contraintes.
Choisissez une approche :
En écrivant ∇f(x0)\nabla f(x_0)∇f(x0) comme combinaison linéaire des ∇gi\nabla g_i∇gi
Traduire la condition nécessaire en cherchant des coefficients λi\lambda_iλi tels que ∇f(x0)=∑iλi∇gi\nabla f(x_0) = \sum_i \lambda_i \nabla g_i∇f(x0)=∑iλi∇gi.
En traduisant ∇f(x0)⊥H\nabla f(x_0) \perp H∇f(x0)⊥H via ⟨∇f(x0),h⟩=0\langle \nabla f(x_0), h \rangle = 0⟨∇f(x0),h⟩=0 pour tout hhh d'une base de HHH
Exploiter l'équivalence entre ∇f∈Vect(∇gi)\nabla f \in \mathrm{Vect}(\nabla g_i)∇f∈Vect(∇gi) et ∇f⊥H\nabla f \perp H∇f⊥H pour tester l'orthogonalité sur une base de HHH.