Sufficient conditions for smoothing codimension one foliations

Author:
Christopher Ennis

Journal:
Trans. Amer. Math. Soc. **276** (1983), 311-322

MSC:
Primary 57R30; Secondary 57R10, 58F18

DOI:
https://doi.org/10.1090/S0002-9947-1983-0684511-4

MathSciNet review:
684511

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a compact manifold. Let be a nonsingular vector field on , having unique integral curves through . For continuous, call whenever defined. Similarly, call .

For , a foliation of is said to be smoothable if there exist a foliation , which approximates , and a homeomorphism such that takes leaves of onto leaves of .

Definition. A transversely oriented Lyapunov foliation is a pair consisting of a codimension one foliation of and a nonsingular, uniquely integrable vector field on , such that there is a covering of by neighborhoods , , on which is described as level sets of continuous functions for which is continuous and strictly positive.

We prove the following theorems.

Theorem 1. *Every* *transversely oriented Lyapunov foliation* *is* *smoothable to a* *transversely oriented Lyapunov foliation* .

Theorem 2. *If* *is a* *transversely oriented Lyapunov foliation, with* *and* *continuous for* *and* , *then* *is* *smoothable to a* *transversely oriented Lyapunov foliation* .

The proofs of the above theorems depend on a fairly deep result in analysis due to F. Wesley Wilson, Jr. With only elementary arguments we obtain the version of Theorem 1.

Theorem 3. *If* *is a* *transversely oriented Lyapunov foliation, with* *and* *is continuous, then* *is* *smoothable to a* *transversely oriented Lyapunov foliation* .

**[1]**A. Denjoy,*Sur les courbes définies par les équations differentielles à la surface du tore*, J. Math. Pures Appl.**11**(1932), 333-375.**[2]**C. Ennis, M. Hirsch and C. Pugh,*Foliations that are not approximable by smoother ones*, Report PAM-63, Center for Pure and Appl. Math., University of California, Berkeley, Calif., 1981.**[3]**J. Harrison,*Unsmoothable diffeomorphisms*, Ann. of Math. (2)**102**(1975), 85-94. MR**0388458 (52:9294)****[4]**D. Hart,*On the smoothness of generators for flows and foliations*, Ph.D. Thesis, University of California, Berkeley, Calif., 1980.**[5]**A. J. Schwartz,*A generalization of a Poincaré-Bendixson theorem to closed two-dimensional manifolds*, Amer. J. Math.**85**(1963), 453-458. MR**0155061 (27:5003)****[6]**D. Sullivan,*Hyperbolic geometry and homeomorphisms*, Geometric Topology (J. Cantrell, editor), Academic Press, New York, 1979, p. 549. MR**537749 (81m:57012)****[7]**F. W. Wilson,*Smoothing derivatives of functions and applications*, Trans. Amer. Math. Soc.**139**(1969), 413-428. MR**0251747 (40:4974)****[8]**-,*Implicit submanifolds*, J. Math. Mech.**18**(1968), 229-236. MR**0229252 (37:4826)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
57R30,
57R10,
58F18

Retrieve articles in all journals with MSC: 57R30, 57R10, 58F18

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1983-0684511-4

Article copyright:
© Copyright 1983
American Mathematical Society