Joint continuity of division of smooth functions. I. Uniform Lojasiewicz estimates
HTML articles powered by AMS MathViewer
- by Mark Alan Mostow and Steven Shnider
- Trans. Amer. Math. Soc. 292 (1985), 573-583
- DOI: https://doi.org/10.1090/S0002-9947-1985-0808738-5
- PDF | Request permission
Abstract:
In this paper we study the question of the existence of a continuous inverse to the multiplication mapping $(f,g) \to (fg,g)$ defined on pairs of ${C^\infty }$ functions on a manifold $M$. Obviously, restrictions must be imposed on the domain of such an inverse. This leads us to the study of a modified problem: Find an appropriate domain for the inverse of $(f,G) \to (f(p \circ G),G)$, where $G$ is a ${C^\infty }$ mapping of the manifold $M$ into an analytic manifold $N$ and $p$ is a fixed analytic function on $N$. We prove a theorem adequate for application to the study of inverting the mapping $(A,X) \to (A,AX)$, where $X$ is a vector valued ${C^\infty }$ function and $A$ is a square matrix valued ${C^\infty }$ function on $M$ whose determinant may vanish on a nowhere dense set.References
- M. Golubitsky and V. Guillemin, Stable mappings and their singularities, Graduate Texts in Mathematics, Vol. 14, Springer-Verlag, New York-Heidelberg, 1973. MR 0341518, DOI 10.1007/978-1-4615-7904-5
- Christopher G. Gibson, Klaus Wirthmüller, Andrew A. du Plessis, and Eduard J. N. Looijenga, Topological stability of smooth mappings, Lecture Notes in Mathematics, Vol. 552, Springer-Verlag, Berlin-New York, 1976. MR 0436203, DOI 10.1007/BFb0095244
- Morris W. Hirsch, Differential topology, Graduate Texts in Mathematics, No. 33, Springer-Verlag, New York-Heidelberg, 1976. MR 0448362, DOI 10.1007/978-1-4684-9449-5
- Lars Hörmander, On the division of distributions by polynomials, Ark. Mat. 3 (1958), 555–568. MR 124734, DOI 10.1007/BF02589517
- S. Łojasiewicz, Sur le problème de la division, Studia Math. 18 (1959), 87–136 (French). MR 107168, DOI 10.4064/sm-18-1-87-136
- B. Malgrange, Ideals of differentiable functions, Tata Institute of Fundamental Research Studies in Mathematics, vol. 3, Tata Institute of Fundamental Research, Bombay; Oxford University Press, London, 1967. MR 0212575
- John N. Mather, Stability of $C^{\infty }$ mappings. II. Infinitesimal stability implies stability, Ann. of Math. (2) 89 (1969), 254–291. MR 259953, DOI 10.2307/1970668
- Mark Alan Mostow and Steven Shnider, Joint continuity of division of smooth functions. I. Uniform Lojasiewicz estimates, Trans. Amer. Math. Soc. 292 (1985), no. 2, 573–583. MR 808738, DOI 10.1090/S0002-9947-1985-0808738-5
- Mark Alan Mostow and Steven Shnider, The continuity of computing connections from curvatures, and of dividing smooth functions, Differential geometric methods in mathematical physics (Jerusalem, 1982) Math. Phys. Stud., vol. 6, Reidel, Dordrecht, 1984, pp. 45–54. MR 767827 —, An application of a division theorem to the continuous determination of connections from curvatures (in preparation).
- Laurent Schwartz, Théorie des distributions, Publications de l’Institut de Mathématique de l’Université de Strasbourg, IX-X, Hermann, Paris, 1966 (French). Nouvelle édition, entiérement corrigée, refondue et augmentée. MR 0209834
- Jean-Claude Tougeron, Idéaux de fonctions différentiables, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 71, Springer-Verlag, Berlin-New York, 1972. MR 0440598 F. Trèves, Linear partial differential equations with constant coefficients, Gordon and Breach, New York, 1966.
- François Trèves, Topological vector spaces, distributions and kernels, Academic Press, New York-London, 1967. MR 0225131
- Jean-Louis Verdier, Stratifications de Whitney et théorème de Bertini-Sard, Invent. Math. 36 (1976), 295–312 (French). MR 481096, DOI 10.1007/BF01390015
- Hassler Whitney, On ideals of differentiable functions, Amer. J. Math. 70 (1948), 635–658. MR 26238, DOI 10.2307/2372203
Bibliographic Information
- © Copyright 1985 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 292 (1985), 573-583
- MSC: Primary 58C25; Secondary 26E10
- DOI: https://doi.org/10.1090/S0002-9947-1985-0808738-5
- MathSciNet review: 808738