Skip to main content
Log in

Nonautonomous vector fields on \(S^3\): Simple dynamics and wild embedding of separatrices

  • Research Articles
  • Published:
Theoretical and Mathematical Physics Aims and scope Submit manuscript

Abstract

We construct new substantive examples of nonautonomous vector fields on a \(3\)-dimensional sphere having simple dynamics but nontrivial topology. The construction is based on two ideas : the theory of diffeomorphisms with wild separatrix embedding and the construction of a nonautonomous suspension over a diffeomorphism. As a result, we obtain periodic, almost periodic, or even nonrecurrent vector fields that have a finite number of special integral curves possessing exponential dichotomy on \(\mathbb R\) such that among them there is one saddle integral curve (with a \((3,2)\) dichotomy type) with a wildly embedded \(2\)-dimensional unstable separatrix and a wildly embedded \(3\)-dimensional stable manifold. All other integral curves tend to these special integral curves as \(t\to \pm \infty\). We also construct other vector fields having \(k\geqslant 2\) special saddle integral curves with the tamely embedded \(2\)-dimensional unstable separatrices forming mildly wild frames in the sense of Debrunner–Fox. In the case of periodic vector fields, the corresponding specific integral curves are periodic with the period of the vector field, and are almost periodic in the case of an almost periodic vector field.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.
Fig. 8.
Fig. 9.
Fig. 10.

Similar content being viewed by others

Notes

  1. Two diffeomorphisms \(f\) and \(g\) of a smooth manifold \(M\) are diffeotopic if they can be joined by a continuous arc \(F_t\) (\(F_0 = f\), \(F_1 = g\)) such that each \(F_t\) is a diffeomorphism of \(M\).

  2. The term “fiber-wise” means the existence of a diffeomorphism \(\Psi\colon M_{f} \to M\times S^1\) acting as \((x,s)\to (\psi(x,s),s)\) .

  3. We take the homotopy class \([c]\in\pi_1(S^2\times S^1)\) of a loop \(c\colon \mathbb R/\mathbb Z \to S^2\times S^1\). Then \(c\colon [0,1]\to S^2\times S^1\) lifts to a curve \(\bar{c}\colon [0,1]\to \mathbb R^3\setminus \{O\}\) joining \(x\) with the point \((a^{s})^n(x)\) for some \(n\in \mathbb Z\), where \(n\) is independent of the lift. We then set \(\eta^s_{_{S^2\times S^1}}([c])=n\).

  4. A topological space is regular if and only if for any its point \(x\) and any its neighborhood \(U\), there is a closed neighborhood \(V\) of \(x\) such that \(V\subset U\).

References

  1. B. M. Levitan and V. V. Zhikov, Almost Periodic Functions and Differential Equations, Cambridge Univ. Press, New York (1983).

    MATH  Google Scholar 

  2. C. Corduneanu, Almost Periodic Oscillations and Waves, Springer, New York (2009).

    Book  Google Scholar 

  3. L. M. Lerman and L. P. Shilnikov, “On the classification of structurally stable nonautonomous systems of the second order with a finite number of cells,” Soviet Math. Dokl., 14, 444–448 (1973).

    MATH  Google Scholar 

  4. L. M. Lerman, On nonautonomous dynamical systems of the Morse–Smale type [in Russian] (PhD thesis) Gorky State Univ., Gorky (1975).

    Google Scholar 

  5. J. L. Massera and J. J. Schäffer, Linear Differential Equations and Function Spaces (Pure and Applied Mathematics, Vol. 21), Academic Press, New York–London (1966).

    MATH  Google Scholar 

  6. E. Artin and R. Fox, “Some wild cells and spheres in three-dimensional space,” Ann. Math., 49, 979–990 (1948).

    Article  MathSciNet  Google Scholar 

  7. D. Pixton, “Wild unstable manifolds,” Topology, 16, 167–172 (1977).

    Article  MathSciNet  Google Scholar 

  8. C. Bonatti and V. Grines, “Knots as topological invariant for gradient-like diffeomorphisms of the sphere \(S^3\),” J. Dynam. Control Systems, 6, 579–602 (2000).

    Article  MathSciNet  Google Scholar 

  9. C. Bonatti, V. Grines, V. Medvedev, and E. Pecou, “Topological classification of gradient-like diffeomorphisms on 3-manifolds,” Topology, 43, 369–391 (2004).

    Article  MathSciNet  Google Scholar 

  10. V. Z. Grines, T. V. Medvedev, and O. V. Pochinka, Dynamical Systems on 2-and 3-maifolds (Developments in Mathematics, Vol. 46), Springer, Cham (2016).

    MATH  Google Scholar 

  11. A. G. Vainshtein and L. M. Lerman, “Uniform structures and the equivalence of diffeomorphisms,” Math. Notes, 23, 407–414 (1978).

    Article  MathSciNet  Google Scholar 

  12. A. G. Vainshtein and L. M. Lerman, “Nonautonomous suspensions over diffeomorphisms, and the geometry of nearness [in Russian],” Uspekhi Mat. Nauk, 31, 231–232 (1976).

    MathSciNet  Google Scholar 

  13. S. Smale, “Differential dynamical dystems,” Bull. Amer. Math. Soc., 73, 747–817 (1967).

    Article  MathSciNet  Google Scholar 

  14. J. L. Kelley, General Topology (Graduate Texts in Mathematics, Vol. 27), Springer, New York (1975).

    MATH  Google Scholar 

  15. O. G. Harrold, H. C. Griffith, and E. E. Posey, “A characterization of tame curves in three-space,” Trans. Amer. Math. Soc., 79, 12–34 (1955).

    Article  MathSciNet  Google Scholar 

  16. B. Mazur, “A note on some contractible 4-manifolds,” Ann. Math., 73, 221–228 (1961).

    Article  MathSciNet  Google Scholar 

  17. H. Debrunner and R. Fox, “A mildly wild embedding of an \(n\)-frame,” Duke Math. J., 27, 425–429 (1960).

    Article  MathSciNet  Google Scholar 

  18. O. Pochinka, “Diffeomorphisms with mildly wild frame of separatrices,” Univ. Iagel. Acta Math., 47, 149–154 (2009).

    MathSciNet  MATH  Google Scholar 

  19. J. Cerf, “Sur les difféomorphismes de la sphère de dimension trois (\(\Gamma_4=0\))” (Lecture Notes in Mathematics, Vol. 53), Springer, Berlin (1968).

    MATH  Google Scholar 

Download references

Funding

This research was supported by the Laboratory of Dynamical Systems and Applications of NRU HSE, Ministry of Science and Higher Education of the Russian Federation, grant No. 075-15-2019-1931. L. M. Lerman was also partially supported by the Ministry of Science and Higher Education of the Russian Federation under grant No. 0729-2020-0036.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to L. M. Lerman.

Ethics declarations

The authors declare no conflicts of interest.

Additional information

Translated from Teoreticheskaya i Matematicheskaya Fizika, 2022, Vol. 212, pp. 15–32 https://doi.org/10.4213/tmf10216.

Appendix Elements of uniform topology

For the convenience of the reader, we recall some notions from uniform topology. The main definitions of the theory of uniform spaces, with all the necessary details, can be found in [14].

A set \(X\) is called a uniform space if a collection \(\mathcal U\) of subsets is defined on \(X\times X\) such that the following conditions are satisfied (and \(\mathcal U\) is then called the uniformity).

  1. 1.

    Each element of \(\mathcal U\) contains the diagonal \(\Delta = \cup_{x\in X}\{(x,x)\}\).

  2. 2.

    If \(U\in \mathcal U\), then \(U^{-1}\in \mathcal U\), where \(U^{-1}\) is the set of all pairs \((y,x)\) for which \((x,y)\in U\).

  3. 3.

    For any \(U\in \mathcal U\), some \(V\in \mathcal U\) exists such that \(V\circ V \subset \mathcal U\), where \(V\circ V\) denotes composition: \((x,z)\in V\circ V\) if there is \(y\in X\) such that \((x,y)\in V\) and \((y,z)\in V\).

  4. 4.

    If \(U,V \in \mathcal U\), then \(U\cap V \in \mathcal U\).

  5. 5.

    If \(U \in \mathcal U\) and \(U\subset V \subset X\times X,\) then \(V\in \mathcal U\).

If \(X\) is a metric space with a metric \(d\), then item 1 corresponds to the property \(d(x,x)=0\), and item 2 corresponds to the symmetry of \(d\): \(d(x,y)=d(y,x)\). Property 3 is of the triangle inequality type: for each point of \(x\in X\) and any ball of radius \(r\) with centered at \(x\), a ball of the radius \(r/2\) centered at the same point must exist. Conditions 3 and 5 are similar to the axioms of neighborhoods near a point for the topology defined by uniformity.

The uniformity \(\mathcal U\) on a given set \(X\) can be defined in many ways, which gives different uniform spaces. This was used above where different uniform structures were defined on the set \(M\times \mathbb R\). if \((X,\mathcal U)\), \((Y, \mathcal V)\) are two uniform spaces, then the notion of a uniformly continuous map \(h\colon X\to Y\) is defined. Namely, a map \(h\colon X\to Y\) is uniformly continuous with respect to \(\mathcal U, \mathcal V\), if for any \(V\in \mathcal V\) the set \(\{(x,y)\mid (h(x),h(y))\in V\}\) belongs to \(\mathcal U\). If \(h\colon X\to Y\) is one-to-one and both \(h\) and \(h^{-1}\) are uniformly continuous, then \(h\) is called an equimorphism. In this case, the uniform spaces \((X,\mathcal U)\) and \((Y, \mathcal V)\) are said to be uniformly equivalent or equimorphic.

A uniformity \(\mathcal U\) on a set \(X\) making it a uniform space \((X,\mathcal U)\) endows \(X\) with a certain topology, making it a topological space. This space can have various topological properties. Conversely, each regularFootnote

A topological space is regular if and only if for any its point \(x\) and any its neighborhood \(U\), there is a closed neighborhood \(V\) of \(x\) such that \(V\subset U\).

topology \(\mathcal T\) on \(X\) is a uniform topology that corresponds to some uniformity, but such a uniformity is not unique in general. But if the topological space is compact and regular, then there is a unique uniformity generating the topology \(\mathcal T\).

A topological space is regular if and only if for any its point \(x\) and any its neighborhood \(U\), there is a closed neighborhood \(V\) of \(x\) such that \(V\subset U\).

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Grines, V.Z., Lerman, L.M. Nonautonomous vector fields on \(S^3\): Simple dynamics and wild embedding of separatrices. Theor Math Phys 212, 903–917 (2022). https://doi.org/10.1134/S0040577922070029

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0040577922070029

Keywords

Navigation