Gradient conjecture

Let URnU \subseteq \mathbb{R}^n be an open set, let f:URf : U \to \mathbb{R} be real analytic, and let x0Ux_0 \in U be an isolated critical point of ff, i.e. f(x0)=0\nabla f(x_0) = 0 and f(x)0\nabla f(x) \neq 0 for all xx in some punctured neighborhood of x0x_0.

Let x:[0,τ)Ux : [0, \tau) \to U, with 0<τ0 < \tau \le \infty, be a trajectory of the gradient vector field of ff, that is, a solution of

x˙(t)=f(x(t)),t[0,τ),\dot{x}(t) = \nabla f\bigl(x(t)\bigr), \qquad t \in [0,\tau),

such that x(t)x0x(t) \neq x_0 for all tt and x0x_0 is a limit point of xx, so that

limtτx(t)=x0.\lim_{t \to \tau^-} x(t) = x_0 .

For t[0,τ)t \in [0,\tau) let

(t)=[x(t)x0]PRn1\ell(t) = \left[\, x(t) - x_0 \,\right] \in \mathbb{P}\mathbb{R}^{n-1}

denote the point of the real projective space PRn1\mathbb{P}\mathbb{R}^{n-1} determined by the secant line joining x0x_0 to x(t)x(t).

Then the limit

limtτ(t)\lim_{t \to \tau^-} \ell(t)

exists in PRn1\mathbb{P}\mathbb{R}^{n-1}; equivalently, the unit secant directions

x(t)x0x(t)x0\frac{x(t) - x_0}{\lVert x(t) - x_0 \rVert}

converge in the unit sphere Sn1S^{n-1} as tτt \to \tau^-.

The same assertion holds, with the same conclusion, for trajectories of the negative gradient field x˙(t)=f(x(t))\dot{x}(t) = -\nabla f(x(t)) converging to x0x_0.

Sources & referencesView supporting material

Primary source

Wikipedia

Additional references

  1. Wikipedia, Gradient conjecture, the article this problem comes from.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.