Let $X \subset \mathbf{\mathbb{R}}^n$ be a compact semialgebraic set and let $f : X \to \mathbf{\mathbb{R}}$ be a nonzero Nash function. We give a Solernó and D'Acunto–Kurdyka type estimation of the exponent $\varrho\in[0,1)$ in the Łojasiewicz gradient inequality $|\nabla f(x)| \ge C|f(x)|^\varrho$ for $x \in X$, $|f(x)| < \varepsilon$ for some constants $C,\varepsilon > 0$, in terms of the degree of a polynomial $P$ such that $P(x,f(x)) = 0$, $x \in X$. As a corollary we obtain an estimation of the degree of sufficiency of non-isolated Nash function singularities.
References
[2] J. Bochnak and S. Łojasiewicz, A converse of the Kuiper–Kuo theorem, In: Proceedings of Liverpool Singularities—Symposium I (1969/70), Lecture Notes in Math., 192, Springer, Berlin, 1971, 254–261. 0221.58002[2] J. Bochnak and S. Łojasiewicz, A converse of the Kuiper–Kuo theorem, In: Proceedings of Liverpool Singularities—Symposium I (1969/70), Lecture Notes in Math., 192, Springer, Berlin, 1971, 254–261. 0221.58002
[3] J. Bochnak and J. J. Risler, Sur les exposants de Łojasiewicz, Comment. Math. Helv., 50 (1975), 493–507. 0321.32006 10.1007/BF02565764[3] J. Bochnak and J. J. Risler, Sur les exposants de Łojasiewicz, Comment. Math. Helv., 50 (1975), 493–507. 0321.32006 10.1007/BF02565764
[5] S. H. Chang and Y. C. Lu, On $C^{0}$-sufficiency of complex jets, Canad. J. Math., 25 (1973), 874–880. 0258.58004 10.4153/CJM-1973-091-0[5] S. H. Chang and Y. C. Lu, On $C^{0}$-sufficiency of complex jets, Canad. J. Math., 25 (1973), 874–880. 0258.58004 10.4153/CJM-1973-091-0
[6] D. D'Acunto and K. Kurdyka, Explicit bounds for the Łojasiewicz exponent in the gradient inequality for polynomials, Ann. Polon. Math., 87 (2005), 51–61. 1093.32011 10.4064/ap87-0-5[6] D. D'Acunto and K. Kurdyka, Explicit bounds for the Łojasiewicz exponent in the gradient inequality for polynomials, Ann. Polon. Math., 87 (2005), 51–61. 1093.32011 10.4064/ap87-0-5
[7] D. D'Acunto and K. Kurdyka, Bounds for gradient trajectories and geodesic diameter of real algebraic sets, Bull. London Math. Soc., 38 (2006), 951–965. 1106.14046 10.1112/S0024609306018911[7] D. D'Acunto and K. Kurdyka, Bounds for gradient trajectories and geodesic diameter of real algebraic sets, Bull. London Math. Soc., 38 (2006), 951–965. 1106.14046 10.1112/S0024609306018911
[8] J. Damon and T. Gaffney, Topological triviality of deformations of functions and Newton filtrations, Invent. Math., 72 (1983), 335–358. 0519.58021 10.1007/BF01398391[8] J. Damon and T. Gaffney, Topological triviality of deformations of functions and Newton filtrations, Invent. Math., 72 (1983), 335–358. 0519.58021 10.1007/BF01398391
[9] T. Fukui and E. Yoshinaga, The modified analytic trivialization of family of real analytic functions, Invent. Math., 82 (1985), 467–477. 0559.58005 10.1007/BF01388866[9] T. Fukui and E. Yoshinaga, The modified analytic trivialization of family of real analytic functions, Invent. Math., 82 (1985), 467–477. 0559.58005 10.1007/BF01388866
[10] A. Gabrielov, Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality, Selecta Math. (N.S.), 1 (1995), 113–127. 0889.32005 10.1007/BF01614074[10] A. Gabrielov, Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality, Selecta Math. (N.S.), 1 (1995), 113–127. 0889.32005 10.1007/BF01614074
[11] V. Grandjean, Finite determinacy relative to closed and finitely generated ideals, Manuscripta Math., 103 (2000), 313–328. 0971.58023 10.1007/s002290070009[11] V. Grandjean, Finite determinacy relative to closed and finitely generated ideals, Manuscripta Math., 103 (2000), 313–328. 0971.58023 10.1007/s002290070009
[12] J. Gwoździewicz, The Łojasiewicz exponent of an analytic function at an isolated zero, Comment. Math. Helv., 74 (1999), 364–375. 0948.32028 10.1007/s000140050094[12] J. Gwoździewicz, The Łojasiewicz exponent of an analytic function at an isolated zero, Comment. Math. Helv., 74 (1999), 364–375. 0948.32028 10.1007/s000140050094
[14] N. H. Kuiper, $C^1$-equivalence of functions near isolated critical points, In: Proceedings of Symposium on Infinite-Dimensional Topology, Baton Rouge, 1967, Ann. of Math. Studies, 69, Princeton Univ. Press, Princeton, NJ, 1972, 199–218.[14] N. H. Kuiper, $C^1$-equivalence of functions near isolated critical points, In: Proceedings of Symposium on Infinite-Dimensional Topology, Baton Rouge, 1967, Ann. of Math. Studies, 69, Princeton Univ. Press, Princeton, NJ, 1972, 199–218.
[16] K. Kurdyka, T. Mostowski and A. Parusiński, Proof of the gradient conjecture of R. Thom, Ann. of Math. (2), 152 (2000), 763–792. 1053.37008 10.2307/2661354[16] K. Kurdyka, T. Mostowski and A. Parusiński, Proof of the gradient conjecture of R. Thom, Ann. of Math. (2), 152 (2000), 763–792. 1053.37008 10.2307/2661354
[17] K. Kurdyka, B. Osińska-Ulrych, G. Skalski and S. Spodzieja, Effective Łojasiewicz gradient inequality for generic Nash functions with isolated singularity, Bull. Soc. Sci. Lett. Łódź Sér. Rech. Déform., 66 (2016), 47–64. 1380.32010[17] K. Kurdyka, B. Osińska-Ulrych, G. Skalski and S. Spodzieja, Effective Łojasiewicz gradient inequality for generic Nash functions with isolated singularity, Bull. Soc. Sci. Lett. Łódź Sér. Rech. Déform., 66 (2016), 47–64. 1380.32010
[18] K. Kurdyka and S. Spodzieja, Separation of real algebraic sets and the Łojasiewicz exponent, Proc. Amer. Math. Soc., 142 (2014), 3089–3102. 1305.32002 10.1090/S0002-9939-2014-12061-2[18] K. Kurdyka and S. Spodzieja, Separation of real algebraic sets and the Łojasiewicz exponent, Proc. Amer. Math. Soc., 142 (2014), 3089–3102. 1305.32002 10.1090/S0002-9939-2014-12061-2
[19] K. Kurdyka and S. Spodzieja, Convexifying positive polynomials and sums of squares approximation, SIAM J. Optim., 25 (2015), 2512–2536. 1331.11025 10.1137/140958165[19] K. Kurdyka and S. Spodzieja, Convexifying positive polynomials and sums of squares approximation, SIAM J. Optim., 25 (2015), 2512–2536. 1331.11025 10.1137/140958165
[20] K. Kurdyka, S. Spodzieja and A. Szlachcińska, Metric properties of semialgebraic mappings, Discrete Comput. Geom., 55 (2016), 786–800. 1349.14182 10.1007/s00454-016-9776-4[20] K. Kurdyka, S. Spodzieja and A. Szlachcińska, Metric properties of semialgebraic mappings, Discrete Comput. Geom., 55 (2016), 786–800. 1349.14182 10.1007/s00454-016-9776-4
[21] L. Kushner, Finite determination on algebraic sets, Trans. Amer. Math. Soc., 331 (1992), 553–561. 0763.58005 10.1090/S0002-9947-1992-1028759-3[21] L. Kushner, Finite determination on algebraic sets, Trans. Amer. Math. Soc., 331 (1992), 553–561. 0763.58005 10.1090/S0002-9947-1992-1028759-3
[22] M. Lejeune-Jalabert and B. Teissier, Clôture Intégrale des Idéaux et Équisingularité, Centre de Mathématiques Ecole Polytechnique, Palaiseau, 1974.[22] M. Lejeune-Jalabert and B. Teissier, Clôture Intégrale des Idéaux et Équisingularité, Centre de Mathématiques Ecole Polytechnique, Palaiseau, 1974.
[24] S. Łojasiewicz, Sur les trajectoires du gradient d'une fonction analytique, In: Geometry Seminars, 1982–1983, Univ. Stud. Bologna, Bologna, 1984, 115–117. 0606.58045[24] S. Łojasiewicz, Sur les trajectoires du gradient d'une fonction analytique, In: Geometry Seminars, 1982–1983, Univ. Stud. Bologna, Bologna, 1984, 115–117. 0606.58045
[26] M. Merle, Invariants polaires des courbes planes, Invent. Math., 41 (1977), 103–111. 0371.14003 10.1007/BF01418370[26] M. Merle, Invariants polaires des courbes planes, Invent. Math., 41 (1977), 103–111. 0371.14003 10.1007/BF01418370
[27] P. Migus, T. Rodak and S. Spodzieja, Finite determinacy of non-isolated singularities, Ann. Polon. Math., 117 (2016), 197–206. 1357.14069[27] P. Migus, T. Rodak and S. Spodzieja, Finite determinacy of non-isolated singularities, Ann. Polon. Math., 117 (2016), 197–206. 1357.14069
[28] D. Mumford, Algebraic Geometry I. Complex Projective Varieties, Springer, Berlin, 1976. 0356.14002[28] D. Mumford, Algebraic Geometry I. Complex Projective Varieties, Springer, Berlin, 1976. 0356.14002
[29] B. Osińska-Ulrych, G. Skalski and S. Spodzieja, On $C^0$-sufficiency of jets, In: Analytic and Algebraic Geometry, Faculty of Math. and Computer Science, Univ. of Łódź, Łódź, 2013, 95–113. 1325.14012[29] B. Osińska-Ulrych, G. Skalski and S. Spodzieja, On $C^0$-sufficiency of jets, In: Analytic and Algebraic Geometry, Faculty of Math. and Computer Science, Univ. of Łódź, Łódź, 2013, 95–113. 1325.14012
[30] R. Pellikaan, Finite determinacy of functions with non-isolated singularities, Proc. London Math. Soc. (3), 57 (1988), 357–382. 0621.32019 10.1112/plms/s3-57.2.357[30] R. Pellikaan, Finite determinacy of functions with non-isolated singularities, Proc. London Math. Soc. (3), 57 (1988), 357–382. 0621.32019 10.1112/plms/s3-57.2.357
[31] T. S. Pham, An explicit bound for the Łojasiewicz exponent of real polynomials, Kodai Math. J., 35 (2012), 311–319. 1252.32036 10.2996/kmj/1341401053 euclid.kmj/1341401053[31] T. S. Pham, An explicit bound for the Łojasiewicz exponent of real polynomials, Kodai Math. J., 35 (2012), 311–319. 1252.32036 10.2996/kmj/1341401053 euclid.kmj/1341401053
[32] P. J. Rabier, Ehresmann fibrations and Palais–Smale conditions for morphisms of Finsler manifolds, Ann. of Math. (2), 146 (1997), 647–691. 0919.58003 10.2307/2952457[32] P. J. Rabier, Ehresmann fibrations and Palais–Smale conditions for morphisms of Finsler manifolds, Ann. of Math. (2), 146 (1997), 647–691. 0919.58003 10.2307/2952457
[33] T. Rodak and S. Spodzieja, Effective formulas for the local Łojasiewicz exponent, Math. Z., 268 (2011), 37–44. 1262.14072 10.1007/s00209-009-0659-8[33] T. Rodak and S. Spodzieja, Effective formulas for the local Łojasiewicz exponent, Math. Z., 268 (2011), 37–44. 1262.14072 10.1007/s00209-009-0659-8
[34] T. Rodak and S. Spodzieja, Łojasiewicz exponent near the fibre of a mapping, Proc. Amer. Math. Soc., 139 (2011), 1201–1213. 1217.14045 10.1090/S0002-9939-2010-10623-8[34] T. Rodak and S. Spodzieja, Łojasiewicz exponent near the fibre of a mapping, Proc. Amer. Math. Soc., 139 (2011), 1201–1213. 1217.14045 10.1090/S0002-9939-2010-10623-8
[35] T. Rodak and S. Spodzieja, Equivalence of mappings at infinity, Bull. Sci. Math., 136 (2012), 679–686. 1253.14056 10.1016/j.bulsci.2012.01.005[35] T. Rodak and S. Spodzieja, Equivalence of mappings at infinity, Bull. Sci. Math., 136 (2012), 679–686. 1253.14056 10.1016/j.bulsci.2012.01.005
[36] D. Siersma, Singularities with critical locus a 1-dimensional complete intersection and transversal type $A_1$, Topology Appl., 27 (1987), 51–73. 0635.32006 10.1016/0166-8641(87)90057-5[36] D. Siersma, Singularities with critical locus a 1-dimensional complete intersection and transversal type $A_1$, Topology Appl., 27 (1987), 51–73. 0635.32006 10.1016/0166-8641(87)90057-5
[37] G. Skalski, On analytic equivalence of functions at infinity, Bull. Sci. Math., 135 (2011), 517–530. 1225.32032 10.1016/j.bulsci.2011.02.005[37] G. Skalski, On analytic equivalence of functions at infinity, Bull. Sci. Math., 135 (2011), 517–530. 1225.32032 10.1016/j.bulsci.2011.02.005
[39] S. Spodzieja, The Łojasiewicz exponent of subanalytic sets, Ann. Polon. Math., 87 (2005), 247–263. 1095.32004 10.4064/ap87-0-21[39] S. Spodzieja, The Łojasiewicz exponent of subanalytic sets, Ann. Polon. Math., 87 (2005), 247–263. 1095.32004 10.4064/ap87-0-21
[41] X. Xu, $C^0$-sufficiency, Kuiper–Kuo and Thom conditions for non-isolated singularity, Acta Math. Sin. (Engl. Ser.), 23 (2007), 1251–1256. 1130.58023 10.1007/s10114-005-0879-8[41] X. Xu, $C^0$-sufficiency, Kuiper–Kuo and Thom conditions for non-isolated singularity, Acta Math. Sin. (Engl. Ser.), 23 (2007), 1251–1256. 1130.58023 10.1007/s10114-005-0879-8