From Wikipedia, the free encyclopedia
This article is within the scope of WikiProject Mathematics mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Mathematics Wikipedia:WikiProject Mathematics Template:WikiProject Mathematics mathematics articles Low This article has been rated as Low-priority on the project's priority scale .
In the final section of the section "General case", I am pretty sure that there is a substantial error. It is said that
⟨
∇
j
(
v
)
,
δ
v
⟩
=
d
v
j
(
v
;
δ
v
)
=
d
v
L
(
u
v
,
v
,
λ
v
;
δ
v
)
.
{\displaystyle \langle \nabla j(v),\delta _{v}\rangle =d_{v}j(v;\delta _{v})=d_{v}{\mathcal {L}}(u_{v},v,\lambda _{v};\delta _{v}).}
The last equality seems to be wrong. From the second equation from the Lagrange multiplier ansatz we instead find
⟨
∇
j
(
v
)
,
δ
v
⟩
=
d
v
j
(
v
;
δ
v
)
=
d
v
J
(
u
v
,
v
;
δ
v
)
=
−
⟨
d
v
D
v
(
u
v
;
δ
v
)
,
λ
v
⟩
.
{\displaystyle \langle \nabla j(v),\delta _{v}\rangle =d_{v}j(v;\delta _{v})=d_{v}J(u_{v},v;\delta _{v})=-\langle d_{v}D_{v}(u_{v};\delta _{v}),\lambda _{v}\rangle .}
The example in the linear case should be changed accordingly. To be specific, instead of
⟨
∇
j
(
v
)
,
δ
v
⟩
=
⟨
A
u
v
,
δ
v
⟩
+
⟨
∇
v
B
v
:
λ
v
⊗
u
v
,
δ
v
⟩
,
{\displaystyle \langle \nabla j(v),\delta _{v}\rangle =\langle Au_{v},\delta _{v}\rangle +\langle \nabla _{v}B_{v}:\lambda _{v}\otimes u_{v},\delta _{v}\rangle ,}
it should read
⟨
∇
j
(
v
)
,
δ
v
⟩
=
⟨
A
u
v
,
δ
v
⟩
=
−
⟨
∇
v
B
v
:
u
v
⊗
δ
v
,
λ
v
⟩
.
{\displaystyle \langle \nabla j(v),\delta _{v}\rangle =\langle Au_{v},\delta _{v}\rangle =-\langle \nabla _{v}B_{v}:u_{v}\otimes \delta _{v},\lambda _{v}\rangle .}
