Showing 1–21 of 21 results for author: Kurdyka, K

Exponential convexifying of polynomials

Authors: Krzysztof Kurdyka, Katarzyna Kuta, Stanisław Spodzieja

Abstract: Let $X\subset\mathbb{R}^n$ be a convex closed and semialgebraic set and let $f$ be a polynomial positive on $X$. We prove that there exists an exponent $N\geq 1$, such that for any $ξ\in\mathbb{R}^n$ the function $\varphi_N(x)=e^{N|x-ξ|^2}f(x)$ is strongly convex on $X$. When $X$ is unbounded we have to assume also that the leading form of $f$ is positive in $\mathbb{R}^n\setminus\{0\}$. We obtain… ▽ More Let $X\subset\mathbb{R}^n$ be a convex closed and semialgebraic set and let $f$ be a polynomial positive on $X$. We prove that there exists an exponent $N\geq 1$, such that for any $ξ\in\mathbb{R}^n$ the function $\varphi_N(x)=e^{N|x-ξ|^2}f(x)$ is strongly convex on $X$. When $X$ is unbounded we have to assume also that the leading form of $f$ is positive in $\mathbb{R}^n\setminus\{0\}$. We obtain strong convexity of $\varPhi_N(x)=e^{e^{N|x|^2}}f(x)$ on possibly unbounded $X$, provided $N$ is sufficiently large, assuming only that $f$ is positive on $X$. We apply these results for searching critical points of polynomials on convex closed semialgebraic sets. △ Less

Submitted 12 December, 2018; originally announced December 2018.

Comments: 19 pages

MSC Class: 11E25; 12D15; 26B25

Global mixed Łojasiewicz inequalities and asymptotic critical values

Authors: Si Tiep Dinh, Krzysztof Kurdyka, Tien Son Pham

Abstract: In this paper, we prove a version of global Łojasiewicz inequality for $C^1$ semialgebraic functions and relate its existence to the set of asymptotic critical values. In this paper, we prove a version of global Łojasiewicz inequality for $C^1$ semialgebraic functions and relate its existence to the set of asymptotic critical values. △ Less

Submitted 17 November, 2018; originally announced November 2018.

Arc spaces, motivic measure and Lipschitz geometry of real algebraic sets

Authors: Jean-Baptiste Campesato, Toshizumi Fukui, Krzysztof Kurdyka, Adam Parusinski

Abstract: We investigate connections between Lipschitz geometry of real algebraic varieties and properties of their arc spaces. For this purpose we develop motivic integration in the real algebraic set-up. We construct a motivic measure on the space of real analytic arcs. We use this measure to define a real motivic integral which admits a change of variables formula not only for the birational but also for… ▽ More We investigate connections between Lipschitz geometry of real algebraic varieties and properties of their arc spaces. For this purpose we develop motivic integration in the real algebraic set-up. We construct a motivic measure on the space of real analytic arcs. We use this measure to define a real motivic integral which admits a change of variables formula not only for the birational but also for generically one-to-one Nash maps. As a consequence we obtain an inverse mapping theorem which holds for continuous rational maps and, more generally, for generically arc-analytic maps. These maps appeared recently in the classification of singularities of real analytic function germs. Finally, as an application, we characterize in terms of the motivic measure, germs of arc-analytic homeomorphism between real algebraic varieties which are bi-Lipschitz for the inner metric. △ Less

Submitted 14 December, 2018; v1 submitted 13 July, 2018; originally announced July 2018.

MSC Class: 14P99 (Primary); 26A16; 14E18; 14B05 (Secondary)

Journal ref: Mathematische Annalen, 374 no. 1-2 (2019), pp. 211-251

Tangent cones and $C^1$ regularity of definable sets

Authors: Krzysztof Kurdyka, Olivier Le Gal, Nhan Nguyen

Abstract: Let $X\subset \mathbb R^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ manifold, (ii) the tangent cone and the paratangent cone of $X$ coincide at every point in $X$, (iii) for every $x \in X$, the tangent cone of $X$ at the point $x$ is a $k$-dimensional linear subspace of $\mathbb R^n$ (… ▽ More Let $X\subset \mathbb R^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ manifold, (ii) the tangent cone and the paratangent cone of $X$ coincide at every point in $X$, (iii) for every $x \in X$, the tangent cone of $X$ at the point $x$ is a $k$-dimensional linear subspace of $\mathbb R^n$ ($k$ does not depend on $x$) varies continuously in $x$, and the density $θ(X, x) < 3/2$. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 11 pages

Higher order approximation of analytic sets by topologically equivalent algebraic sets

Authors: Marcin Bilski, Krzysztof Kurdyka, Adam Parusinski, Guillaume Rond

Abstract: It is known that every germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that the homeomorphism can be chosen in such a way that the analytic and algebraic germs are tangent with any prescribed order of tangency. Moreover, the space of arcs contained in the algebraic germ approximates the space of arcs contained in the analytic one, in the sense that th… ▽ More It is known that every germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that the homeomorphism can be chosen in such a way that the analytic and algebraic germs are tangent with any prescribed order of tangency. Moreover, the space of arcs contained in the algebraic germ approximates the space of arcs contained in the analytic one, in the sense that they are identical up to a prescribed truncation order. △ Less

Submitted 18 May, 2017; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: 15 pages, to appear in Math. Z

MSC Class: 32S05; 32S15; 13B40

Linear equations on real algebraic surfaces

Authors: Wojciech Kucharz, Krzysztof Kurdyka

Abstract: We prove that if a linear equation, whose coefficients are continuous rational functions on a nonsingular real algebraic surface, has a continuous solution, then it also has a continuous rational solution. This is known to fail in higher dimensions. We prove that if a linear equation, whose coefficients are continuous rational functions on a nonsingular real algebraic surface, has a continuous solution, then it also has a continuous rational solution. This is known to fail in higher dimensions. △ Less

Submitted 26 April, 2016; v1 submitted 5 February, 2016; originally announced February 2016.

MSC Class: 14P25; 14E05; 26C15; 13A15

Some conjectures on continuous rational maps into spheres

Authors: Wojciech Kucharz, Krzysztof Kurdyka

Abstract: Recently continuous rational maps between real algebraic varieties have attracted the attention of several researchers. In this paper we continue the investigation of approximation properties of continuous rational maps with values in spheres. We propose a conjecture concerning such maps and show that it follows from certain classical conjectures involving transformation of compact smooth submanif… ▽ More Recently continuous rational maps between real algebraic varieties have attracted the attention of several researchers. In this paper we continue the investigation of approximation properties of continuous rational maps with values in spheres. We propose a conjecture concerning such maps and show that it follows from certain classical conjectures involving transformation of compact smooth submanifolds of nonsingular real algebraic varieties onto subvarieties. Furthermore, we prove our conjecture in a special case and obtain several related results. △ Less

Submitted 18 December, 2015; originally announced December 2015.

Comments: arXiv admin note: text overlap with arXiv:1403.5127

Comparison of stratified-algebraic and topological K-theory

Authors: Wojciech Kucharz, Krzysztof Kurdyka

Abstract: Stratified-algebraic vector bundles on real algebraic varieties have many desirable features of algebraic vector bundles but are more flexible. We give a characterization of the compact real algebraic varieties having the following property: There exists a positive integer r such that for any topological vector bundle E on X, the direct sum of r copies of E is isomorphic to a stratified-algebraic… ▽ More Stratified-algebraic vector bundles on real algebraic varieties have many desirable features of algebraic vector bundles but are more flexible. We give a characterization of the compact real algebraic varieties having the following property: There exists a positive integer r such that for any topological vector bundle E on X, the direct sum of r copies of E is isomorphic to a stratified-algebraic vector bundle. In particular, each compact real algebraic variety of dimension at most 8 has this property. Our results are expressed in terms of K-theory. △ Less

Submitted 13 November, 2015; originally announced November 2015.

Comments: arXiv admin note: text overlap with arXiv:1308.4376

MSC Class: 14P25; 14F25; 19A49; 57R22

Curve-rational functions

Authors: János Kollár, Wojciech Kucharz, Krzysztof Kurdyka

Abstract: Let $W$ be a subset of the set of real points of a real algebraic variety $X$. We investigate which functions $f: W \to \mathbb R$ are the restrictions of rational functions on $X$. We introduce two new notions: ${\it curve-rational \, functions}$ (i.e., continuous rational on algebraic curves) and ${\it arc-rational\, functions}$ (i.e., continuous rational on arcs of algebraic curves). We prove t… ▽ More Let $W$ be a subset of the set of real points of a real algebraic variety $X$. We investigate which functions $f: W \to \mathbb R$ are the restrictions of rational functions on $X$. We introduce two new notions: ${\it curve-rational \, functions}$ (i.e., continuous rational on algebraic curves) and ${\it arc-rational\, functions}$ (i.e., continuous rational on arcs of algebraic curves). We prove that under mild assumptions the following classes of functions coincide: continuous hereditarily rational (introduced recently by the first named author), curve-rational and arc-rational. In particular, if $W$ is semialgebraic and $f$ is arc-rational, then $f$ is continuous and semialgebraic. We also show that an arc-rational function defined on an open set is arc-analytic (i.e., analytic on analytic arcs). Furthermore, we study rational functions on products of varieties. As an application we obtain a characterization of regular functions. Finally, we get analogous results in the framework of complex algebraic varieties. △ Less

Submitted 21 February, 2017; v1 submitted 19 September, 2015; originally announced September 2015.

MSC Class: 14P05; 14P10; 26C15

Convexifying positive polynomials and sums of squares approximation

Authors: Krzysztof Kurdyka, Stanisław Spodzieja

Abstract: We show that if a polynomial $f\in \mathbb{R}[x_1,\ldots,x_n]$ is nonnegative on a closed basic semialgebraic set $X=\{x\in\mathbb{R}^n:g_1(x)\ge 0,\ldots,g_r (x)\ge 0\}$, where $g_1,\ldots,g_r\in\mathbb{R}[x_1,\ldots,x_n]$, then $f$ can be approximated uniformly on compact sets by polynomials of the form $σ_0+\varphi(g_1) g_1+\cdots +\varphi(g_r) g_r$, where $σ_0\in \mathbb{R}[x_1,\ldots,x_n]$ an… ▽ More We show that if a polynomial $f\in \mathbb{R}[x_1,\ldots,x_n]$ is nonnegative on a closed basic semialgebraic set $X=\{x\in\mathbb{R}^n:g_1(x)\ge 0,\ldots,g_r (x)\ge 0\}$, where $g_1,\ldots,g_r\in\mathbb{R}[x_1,\ldots,x_n]$, then $f$ can be approximated uniformly on compact sets by polynomials of the form $σ_0+\varphi(g_1) g_1+\cdots +\varphi(g_r) g_r$, where $σ_0\in \mathbb{R}[x_1,\ldots,x_n]$ and $\varphi\in\mathbb{R}[t]$ are sums of squares of polynomials. In particular, if $X$ is compact, and $h(x):=R^2-|x|^2 $ is positive on $X$, then $f=σ_{0}+σ_1 h+\varphi(g_1) g_1+\cdots +\varphi(g_r) g_r$ for some sums of squares $σ_{0},σ_1\in \mathbb{R}[x_1,\ldots,x_n]$ and $\varphi\in\mathbb{R}[t]$, where $|x|^2={x_1^2+\cdots+x_n^2}$. We apply a quantitative version of those results to semidefinite optimization methods. Let $X$ be a convex closed semialgebraic subset of $\mathbb{R}^n$ and let $f$ be a polynomial which is positive on $X$. We give necessary and sufficient conditions for the existence of an exponent $N\in\mathbb{N}$ such that $(1+|x|^2)^Nf(x)$ is a convex function on $X$. We apply this result to searching for lower critical points of polynomials on convex compact semialgebraic sets. △ Less

Submitted 22 July, 2015; originally announced July 2015.

Comments: 24 pages

MSC Class: 11E25; 12D15; 26B25

Nuij type pencils of hyperbolic polynomials

Authors: Krzysztof Kurdyka, Laurentiu Paunescu

Abstract: Nuij's theorem states that if a polynomial $p\in \mathbb{R}[z]$ is hyperbolic (i.e., has only real roots) then $p+sp'$ is also hyperbolic for any $s\in \mathbb{R}$. We study other perturbations of hyperbolic polynomials of the form $p_a(z,s): =p(z) +\sum_{k=1}^d a_ks^kp^{(k)}(z)$. We give a full characterization of those $a= (a_1, \dots, a_d) \in \mathbb{R}^d$ for which $p_a(z,s)$ is a pencil of h… ▽ More Nuij's theorem states that if a polynomial $p\in \mathbb{R}[z]$ is hyperbolic (i.e., has only real roots) then $p+sp'$ is also hyperbolic for any $s\in \mathbb{R}$. We study other perturbations of hyperbolic polynomials of the form $p_a(z,s): =p(z) +\sum_{k=1}^d a_ks^kp^{(k)}(z)$. We give a full characterization of those $a= (a_1, \dots, a_d) \in \mathbb{R}^d$ for which $p_a(z,s)$ is a pencil of hyperbolic polynomials. We give also a full characterization of those $a= (a_1, \dots, a_d) \in \mathbb{R}^d$ for which the associated families $p_a(z,s)$ admit universal determinantal representations. In fact we show that all these sequences come from special symmetric Toeplitz matrices. △ Less

Submitted 9 April, 2015; originally announced April 2015.

MSC Class: 15A15; 30C10; 47A56

Journal ref: Can. Math. Bull. 60 (2017) 561-570

Metric properties of semialgebraic mappings

Authors: Krzysztof Kurdyka, Stanisław Spodzieja, Anna Szlachcińska

Abstract: We give an effective estimation from above for the local Łojasiewicz exponent for separation of semialgebraic sets and for a semialgebraic mapping on a closed semialgebraic set. We also give an effective estimation from below of the Łojasiewicz exponent in the global separation for semialgebraic sets and estimation of the Łojasiewicz exponent at infinity of a semialgebraic mapping similar to the J… ▽ More We give an effective estimation from above for the local Łojasiewicz exponent for separation of semialgebraic sets and for a semialgebraic mapping on a closed semialgebraic set. We also give an effective estimation from below of the Łojasiewicz exponent in the global separation for semialgebraic sets and estimation of the Łojasiewicz exponent at infinity of a semialgebraic mapping similar to the Jelonek result in the complex case. △ Less

Submitted 16 December, 2014; originally announced December 2014.

MSC Class: 14P10 (Primary) 14P20; 32C07 (Secondary)

Horizontal gradient of polynomial functions for the standard Engel structure on $\mathbb R^4$

Authors: Si Tiep Dinh, Krzysztof Kurdyka

Abstract: We investigate the set $V_f$ of horizontal critical points of a polynomial function $f$ for the standard Engel structure defined by the 1-forms $ω_3=dx_3-x_1dx_2,$ $ω_4=dx_4-x_3dx_2$, endowed with the sub-Riemannian metric $g_{SR}=dx_1^2+dx_2^2$. For a generic polynomial, we show that the intersection of any fiber of $f$ and $V_f$ does not contain a horizontal curve. Then we prove that each trajec… ▽ More We investigate the set $V_f$ of horizontal critical points of a polynomial function $f$ for the standard Engel structure defined by the 1-forms $ω_3=dx_3-x_1dx_2,$ $ω_4=dx_4-x_3dx_2$, endowed with the sub-Riemannian metric $g_{SR}=dx_1^2+dx_2^2$. For a generic polynomial, we show that the intersection of any fiber of $f$ and $V_f$ does not contain a horizontal curve. Then we prove that each trajectory of the horizontal gradient of $f$ approaching the set $V_f$ has a limit. △ Less

Submitted 21 January, 2014; originally announced January 2014.

Comments: 19 pages

MSC Class: 14P10; 53C17; 58A30; 58Kxx

Journal ref: Journal of Dynamical and Control Systems January 2016, Volume 22, Issue 1, pp 15-34

Stratified-algebraic vector bundles

Authors: Wojciech Kucharz, Krzysztof Kurdyka

Abstract: We investigate stratified-algebraic vector bundles on a real algebraic variety X. A stratification of X is a finite collection of pairwise disjoint, Zariski locally closed subvarieties whose union is X. A topological vector bundle on X is called a stratified-algebraic vector bundle if, roughly speaking, there exists a stratification of X such that the restriction of the bundle to each stratum is a… ▽ More We investigate stratified-algebraic vector bundles on a real algebraic variety X. A stratification of X is a finite collection of pairwise disjoint, Zariski locally closed subvarieties whose union is X. A topological vector bundle on X is called a stratified-algebraic vector bundle if, roughly speaking, there exists a stratification of X such that the restriction of the bundle to each stratum is an algebraic vector bundle. In particular, every algebraic vector bundle on X is stratified-algebraic. It turns out that stratified-algebraic vector bundles have many surprising properties, which distinguish them from algebraic and topological vector bundles. △ Less

Submitted 20 August, 2013; originally announced August 2013.

MSC Class: 14P25; 14P99; 14F25; 19A49

Reaching generalized critical values of a polynomial

Authors: Zbigniew Jelonek, Krzysztof Kurdyka

Abstract: Let f be a real or complex polynomial. We give an algorithm to compute the set of generalized critical values. The algorithm uses a finite dimensional space of rational arcs along which we can reach all generalized critical values of f. Let f be a real or complex polynomial. We give an algorithm to compute the set of generalized critical values. The algorithm uses a finite dimensional space of rational arcs along which we can reach all generalized critical values of f. △ Less

Submitted 7 August, 2013; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: 11 pages, revised version, to appear in Math. Z

MSC Class: 14 D 06; 14 Q 20

Journal ref: Math. Z. 276 (2014), no. 1-2, 557-570

Inverse Function Theorems for Arc-analytic Homeomorphisms

Authors: Toshizumi Fukui, Krzysztof Kurdyka, Adam Parusiński

Abstract: We call a local homeomorphism $f: (R^n,0)\to(R^n,0)$ blow-analytic if it becomes real analytic after composing with a finite number blowings-up with smooth nowhere dense centers. If the graph of $f$ is semi-algebraic then, by a theorem of Bierstone and Milman, $f$ is blow-analytic if and only if it is arc-analytic: the image by $f$ of a parametrized real analytic arc is again a real analytic arc… ▽ More We call a local homeomorphism $f: (R^n,0)\to(R^n,0)$ blow-analytic if it becomes real analytic after composing with a finite number blowings-up with smooth nowhere dense centers. If the graph of $f$ is semi-algebraic then, by a theorem of Bierstone and Milman, $f$ is blow-analytic if and only if it is arc-analytic: the image by $f$ of a parametrized real analytic arc is again a real analytic arc. For a semialgebraic homeomorphism $f$ we show that if $f$ is blow-analytic and the inverse of $f$ is Lipschitz, then $f$ is Lipschitz and the inverse of $f$ is blow-analytic. The proof is by a motivic integration argument, using additive invariants on the spaces of arcs. △ Less

Submitted 3 March, 2010; originally announced March 2010.

Comments: 11 pages

MSC Class: Primary: 14P99; 32S15. Secondary: 32B20

On the non-analyticity locus of an arc-analytic function

Authors: Krzysztof Kurdyka, Adam Parusinski

Abstract: In this paper we show that the non-analyticity locus of an arc-analytic function is arc-symmetric. Recall that a function is called arc-analytic if it is real analytic on each real analytic arc. By a result of Bierstone and Milman a big class of arc-analytic function, namely those that satisfy a polynomial equation with real analytic coefficients, can be made analytic by a sequence of global b… ▽ More In this paper we show that the non-analyticity locus of an arc-analytic function is arc-symmetric. Recall that a function is called arc-analytic if it is real analytic on each real analytic arc. By a result of Bierstone and Milman a big class of arc-analytic function, namely those that satisfy a polynomial equation with real analytic coefficients, can be made analytic by a sequence of global blowings-up with smooth centers. We show that these centers can be chosen, at each stage of the resolution, inside the non-analyticity locus. △ Less

Submitted 13 March, 2009; originally announced March 2009.

Comments: 11 pages

Report number: Oberwolfach Preprints OWP 2009 - 03 MSC Class: 14Pxx; 32S45; 32B20

Expansions of the real field by open sets: definability versus interpretability

Authors: H. Friedman, K. Kurdyka, C. Miller, P. Speissegger

Abstract: An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal ex… ▽ More An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal expansions of (R,+,x). In particular, there is a Cantor subset K of R such that for every exponentially bounded o-minimal expansion M of (R,+,x), every subset of R definable in (M,K) either has interior or is Hausdorff null. △ Less

Submitted 5 December, 2008; v1 submitted 3 December, 2008; originally announced December 2008.

Comments: 14 pages

MSC Class: 03C64; 03E15; 28E15.

Tame nonsmooth inverse mapping theorems

Authors: Toshizumi Fukui, Krzysztof Kurdyka, Laurentiu Paunescu

Abstract: We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient conditions are formulated in terms of various properties (convexity, positivity of some principal minors, contractiblity) of the space of Jacobi's matrices a… ▽ More We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient conditions are formulated in terms of various properties (convexity, positivity of some principal minors, contractiblity) of the space of Jacobi's matrices at smooth points. △ Less

Submitted 17 December, 2007; originally announced December 2007.

Comments: 19 pages

MSC Class: 52Axx; 32F27; 03C64 (Primary); 14P10; 58A35 (Secondary)

Hyperbolic polynomials and multiparameter real analytic perturbation theory

Authors: Krzysztof Kurdyka, Laurentiu Paunescu

Abstract: Let $P(x,z)= z^d +\sum_{i=1}^{d}a_i(x)z^{d-i}$ be a polynomial, where $a_i$ are real analytic functions in an open subset $U$ of $\R^n$. If for any $x \in U$ the polynomial $z\mapsto P(x,z)$ has only real roots, then we can write those roots as locally lipschitz functions of $x$. Moreover, there exists a modification (a locally finite composition of blowing-ups with smooth centers) $σ: W \to U$… ▽ More Let $P(x,z)= z^d +\sum_{i=1}^{d}a_i(x)z^{d-i}$ be a polynomial, where $a_i$ are real analytic functions in an open subset $U$ of $\R^n$. If for any $x \in U$ the polynomial $z\mapsto P(x,z)$ has only real roots, then we can write those roots as locally lipschitz functions of $x$. Moreover, there exists a modification (a locally finite composition of blowing-ups with smooth centers) $σ: W \to U$ such that the roots of the corresponding polynomial $\tilde P(w,z) =P(σ(w),z), w\in W $, can be written locally as analytic functions of $w$. Let $A(x), x\in U$ be an analytic family of symmetric matrices, where $U$ is open in $\R^n$. Then there exists a modification $σ: W \to U$, such the corresponding family $\tilde A(w) =A(σ(w))$ can be locally diagonalized analytically (i.e. we can choose locally eigenvectors in an analytic way). This generalizes the Rellich's well known theorem (1937) for one-parameter families. Similarly for an analytic family $A(x), x\in U$ of antisymmetric matrices there exits a modification $σ$ such that we can find locally a basis of proper subspaces in an analytic way. △ Less

Submitted 23 February, 2006; originally announced February 2006.

MSC Class: 15A18;32B20;14B20

Proof of the gradient conjecture of R. Thom

Authors: Krzysztof Kurdyka, Tadeusz Mostowski, Adam Parusinski

Abstract: Let x(t) be a trajectory of the gradient of a real analytic function and suppose that x_0 is a limit point of x(t). We prove the gradient conjecture of R. Thom which states that the secants of x(t) at x_0 have a limit. Actually we show a stronger statement: the radial projection of x(t) from x_0 onto the unit sphere has finite length. Let x(t) be a trajectory of the gradient of a real analytic function and suppose that x_0 is a limit point of x(t). We prove the gradient conjecture of R. Thom which states that the secants of x(t) at x_0 have a limit. Actually we show a stronger statement: the radial projection of x(t) from x_0 onto the unit sphere has finite length. △ Less

Submitted 31 October, 2000; v1 submitted 30 June, 1999; originally announced June 1999.

Comments: 30 pages, published version

Report number: Universite d'Angers, prepublication no. 85, juin 1999; Annals migration 4/2001

Journal ref: Ann. of Math. (2) 152 (2000), no. 3, 763--792