Let $F: R^n \longrightarrow R$ be twice differentiable and $x,y \in R^n$ with $F(x)=F(y)$. Further let $\phi [0,1] \rightarrow R^n$ be a nice curve with $\phi(0)=x$ and $\phi(1)=y$. If we know that $F(\phi(t))=F(x)$ for all $t\in [0,1]$. What does this imply for the Hessians at the points $\phi(t)$ where $t \in (0,1)$? Are the equivalent to the Hessian of F at x?
Hessian equivalence
0
$\begingroup$
real-analysis
differential-geometry
derivatives
1 Answers
1
Certainly not. The conditions only determine $F$ along the curve, which might be e.g. a straight line. The function can do whatever it wants off the curve. For example, $F(x,y)=x^2y^2$ is constant on the $x$-axis, but $F_{yy}=2x^2$ isn't.
-
0Hmm your example $F(x,y)$ is not constant on the x-aches, but on the curve $x\cdot y=1$?! But I guess I see the problem. Thanx! – 2012-12-14
-
0@Benedikt: Assuming that you're referring to the $x$-axis: Sure it's constant there: $F(x,0)=x^2\cdot0^2=0$. There's no contradiction with also being constant on many other curves. – 2012-12-14
-
0Yes, sorry. I realized this too now when I had my first morning coffee.. ;-) You never should post a question and a comment without coffee – 2012-12-14
-
0But is there something that they still share? Like the Trace or one common eigenvalue? – 2012-12-14
-
0But what happens if I know that the gradient is zero all along the curve? – 2012-12-14