Skip to main content
added 834 characters in body; edited body; deleted 9 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Instead of giving all detail, I'll give two hints.

1. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines will converge to the origin, and all of them will present a oscillating unit tangent vector, till they remain in the upper half-plane. So the point is to arrange things so that at least one trajectory remains there for all times, which is a bit technical, yet feasible.

2. Even simpler: start with a simple curve $\Gamma$ with an end-point at the origin, such that $\Gamma\setminus\{0\}$ is parametrized by a $C^\infty$ injective regular curve $\gamma:\mathbb{R}\to\mathbb{R}^2\setminus\{0\}$ such that $\gamma(t)\to 0$, and $\|\dot\gamma(t)\|\le\exp(-1/\|\gamma(t)\|)$, but with a non converging unit tangent vector. Define a function $f_0$, and a field $f_1$, on $\Gamma$,setting $f_0(x):=\int_t^\infty\|\gamma(t)\|^2dt$ and $f_1(x)=-\dot\gamma(t)$ if $x=\gamma(t)$, and both vanishing at the origin. Use the Whitney extension theorem to extend the data $f_0$ and $f_1$ to a $C^\infty$ function $f$ and its gradient. Then $\gamma$ is a gradient-line trajectory of $f$ by construction, with the desired properties.

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines will converge to the origin, and all of them will present a oscillating unit tangent vector, till they remain in the upper half-plane. So the point is to arrange things so that at least one trajectory remains there for all times, which is a bit technical, yet feasible.

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Instead of giving all detail, I'll give two hints.

1. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines will converge to the origin, and all of them will present a oscillating unit tangent vector, till they remain in the upper half-plane. So the point is to arrange things so that at least one trajectory remains there for all times, which is a bit technical, yet feasible.

2. Even simpler: start with a simple curve $\Gamma$ with an end-point at the origin, such that $\Gamma\setminus\{0\}$ is parametrized by a $C^\infty$ injective regular curve $\gamma:\mathbb{R}\to\mathbb{R}^2\setminus\{0\}$ such that $\gamma(t)\to 0$, and $\|\dot\gamma(t)\|\le\exp(-1/\|\gamma(t)\|)$, but with a non converging unit tangent vector. Define a function $f_0$, and a field $f_1$, on $\Gamma$,setting $f_0(x):=\int_t^\infty\|\gamma(t)\|^2dt$ and $f_1(x)=-\dot\gamma(t)$ if $x=\gamma(t)$, and both vanishing at the origin. Use the Whitney extension theorem to extend the data $f_0$ and $f_1$ to a $C^\infty$ function $f$ and its gradient. Then $\gamma$ is a gradient-line trajectory of $f$ by construction, with the desired properties.

added 179 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines will converge to the origin, and all of them will present a oscillating unit tangent vector, till they remain in the upper half-plane. So the point is to arrange things so that at least one trajectory remains there for all times, which is a bit technical, yet feasible.

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines will converge to the origin, and all of them will present a oscillating unit tangent vector.

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines will converge to the origin, and all of them will present a oscillating unit tangent vector, till they remain in the upper half-plane. So the point is to arrange things so that at least one trajectory remains there for all times, which is a bit technical, yet feasible.

added 8 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines of will converge to the origin, and all of them will present a oscillating unit tangent vector.

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines of will converge to the origin, and all of them will present a oscillating unit tangent vector.

It is easy to make a $C^\infty$ function on $\mathbb{R}^2$ for which the unit tangent vector of a gradient flow converging to an equilibrium has no limit. Think of a function that has a unique critical point, a global minimum at the origin, and such that the gradient of $f$ at the upper half boundary of the circle of radius $r$ makes an angle $\theta(r)$ with the exterior normal, oscillating e.g. within $\pm\pi/4$. There is no difficulty to realize this for a function $C^\infty(\mathbb{R}^2)$ because the norm of the gradient may go to zero extremely fast (I'll add more details at request). Then, all gradient lines will converge to the origin, and all of them will present a oscillating unit tangent vector.

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269
Loading