What Conditions Make a Matrix the Hessian of a Function?

  • Context: Graduate 
  • Thread starter Thread starter quasar987
  • Start date Start date
  • Tags Tags
    Hessian Matrix
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
0 replies · 2K views
Messages
4,796
Reaction score
32
Apparently it is a well-known fact that if [itex]G(x)=(G_{ij}(x_1,\ldots,x_n))[/itex] is a smooth nxn matrix-valued function such that [itex]G_{ij,k}=G_{ik,j}[/itex] for all i,j,k, then there exists a smooth function g such that Hess(g)=G; i.e. [itex]g_{,ij}=G_{ij}[/itex]. ([itex]f_{,k}[/itex] denotes partial differentiation with respect to the kth variable.)

I believe I can construct the solution explicitly in the n=2 case, but I'm not sure how to generalize my argument. Is there an argument to be made about the existence of a solution to this overdetermined system of PDE? Thx!