Proof of the gradient conjecture of R. Thom

@article{Kurdyka1999ProofOT,
  title={Proof of the gradient conjecture of R. Thom},
  author={Krzysztof Kurdyka and Tadeusz Mostowski and Adam Parusinski},
  journal={Annals of Mathematics},
  year={1999},
  volume={152},
  pages={763-792}
}
Let x(t) be a trajectory of the gradient of a real analytic function and suppose that x0 is a limit point of x(t). We prove the gradient conjecture of R. Thom which states that the secants of x(t )a tx0 have a limit. Actually we show a stronger statement: the radial projection of x(t) from x0 onto the unit sphere has flnite length. 
On Trajectories of Analytic Gradient Vector Fields
Abstract Let f : R n ,0→ R ,0 be an analytic function defined in a neighbourhood of the origin, having a critical point at 0. We show that the set of non-trivial trajectories of the equation x dot;=∇
ON THE LIMIT SET AT INFINITY OF GRADIENT OF SEMIALGEBRAIC FUNCTION
Given any C semialgebraic function f defined on a non bounded open set of R, we prove, following VERY CLOSELY the lines of the proof of the gradient conjecture of R. Thom ([KM] and [KMP]) and its
Gradient flow of a harmonic function in R 3
ON GRADIENT AT INFINITY OF SEMIALGEBRAIC FUNCTIONS
Let f : U R n ! R be a C 2 semialgebraic function and let c be an asymptotic critical value of f. We prove that there exists a smallest rational number c6 1 such thatjxj jrfj andjf(x) cj c are
Thom's gradient conjecture for parabolic systems and the Yang-Mills flow
In [8], the gradient conjecture of R. Thom was proven for gradient flows of analytic functions on R. This result means that the secant at a limit point converges, so that the flow cannot spiral
Gradient Vector Fields Do Not Generate Twister Dynamics
Thom's Gradient Conjecture states that a solution γ of an analytic gradient vector field X approaching to a singularity P of X has a tangent at P. A stronger version asserts that γ does not meet an
ON GRADIENT AT INFINITY OF REAL POLYNOMIALS
Let f : R n ! R be a polynomial function. We discuss on dieren t conditions to trivialise the graph of f by its level sets in the neighbourhood of a critical value at innit y via the gradient eld of
A Gradient Inequality at Infinity for Tame Functions
Let f be a C 1 function defined over R n and definable in a given o-minimal structure M expanding the real field. We prove here a gradient-like inequality at infinity in a neighborhood of an
Initial Newton polynomial of the discriminant
Let (f, g) : (C, 0) −→ (C, 0) be a holomorphic mapping with an isolated zero. We show that the initial Newton polynomial of its discriminant is determined, up to rescalling variables, by the ideals
...
...

References

SHOWING 1-6 OF 6 REFERENCES
Stratifications de Whitney et théorème de Bertini-Sard
Apparatus for molding hollow bodies from plastic material by blow extrusion has a rotatable support with a plurality of successive, continguous molds arranged thereon, for rotation therewith. Each of