Proper minimal sets on compact connected 2-manifolds are nowhere dense

2008 ◽  
Vol 28 (3) ◽  
pp. 863-876 ◽  
Author(s):  
SERGII˘ KOLYADA ◽  
L’UBOMÍR SNOHA ◽  
SERGEI˘ TROFIMCHUK

AbstractLet $\mathcal {M}^2$ be a compact connected two-dimensional manifold, with or without boundary, and let $f:{\mathcal {M}}^2\to \mathcal {M}^2$ be a continuous map. We prove that if $M \subseteq \mathcal {M}^2$ is a minimal set of the dynamical system $(\mathcal {M}^2,f)$ then either $M = \mathcal {M}^2$ or M is a nowhere dense subset of $\mathcal {M}^2$. Moreover, we add a shorter proof of the recent result of Blokh, Oversteegen and Tymchatyn, that in the former case $\mathcal {M}^2$ is a torus or a Klein bottle.

2019 ◽  
Vol 879 ◽  
Author(s):  
J. P. Parker ◽  
C. P. Caulfield ◽  
R. R. Kerswell

We study the dynamical system of a two-dimensional, forced, stratified mixing layer at finite Reynolds number $Re$, and Prandtl number $Pr=1$. We consider a hyperbolic tangent background velocity profile in the two cases of hyperbolic tangent and uniform background buoyancy stratifications, in a domain of fixed, finite width and height. The system is forced in such a way that these background profiles are a steady solution of the governing equations. As is well known, if the minimum gradient Richardson number of the flow, $Ri_{m}$, is less than a certain critical value $Ri_{c}$, the flow is linearly unstable to Kelvin–Helmholtz instability in both cases. Using Newton–Krylov iteration, we find steady, two-dimensional, finite-amplitude elliptical vortex structures – i.e. ‘Kelvin–Helmholtz billows’ – existing above $Ri_{c}$. Bifurcation diagrams are produced using branch continuation, and we explore how these diagrams change with varying $Re$. In particular, when $Re$ is sufficiently high we find that finite-amplitude Kelvin–Helmholtz billows exist when $Ri_{m}>1/4$ for the background flow, which is linearly stable by the Miles–Howard theorem. For the uniform background stratification, we give a simple explanation of the dynamical system, showing the dynamics can be understood on a two-dimensional manifold embedded in state space, and demonstrate the cases in which the system is bistable. In the case of a hyperbolic tangent stratification, we also describe a new, slow-growing, linear instability of the background profiles at finite $Re$, which complicates the dynamics.


2007 ◽  
Vol 5 ◽  
pp. 195-200
Author(s):  
A.V. Zhiber ◽  
O.S. Kostrigina

In the paper it is shown that the two-dimensional dynamical system of equations is Darboux integrable if and only if its characteristic Lie algebra is finite-dimensional. The class of systems having a full set of fist and second order integrals is described.


2021 ◽  
Vol 183 (2) ◽  
Author(s):  
D. Benedetto ◽  
E. Caglioti ◽  
S. Caracciolo ◽  
M. D’Achille ◽  
G. Sicuro ◽  
...  

AbstractWe consider the assignment problem between two sets of N random points on a smooth, two-dimensional manifold $$\Omega $$ Ω of unit area. It is known that the average cost scales as $$E_{\Omega }(N)\sim {1}/{2\pi }\ln N$$ E Ω ( N ) ∼ 1 / 2 π ln N with a correction that is at most of order $$\sqrt{\ln N\ln \ln N}$$ ln N ln ln N . In this paper, we show that, within the linearization approximation of the field-theoretical formulation of the problem, the first $$\Omega $$ Ω -dependent correction is on the constant term, and can be exactly computed from the spectrum of the Laplace–Beltrami operator on $$\Omega $$ Ω . We perform the explicit calculation of this constant for various families of surfaces, and compare our predictions with extensive numerics.


2018 ◽  
Vol 28 (04) ◽  
pp. 1830011
Author(s):  
Mio Kobayashi ◽  
Tetsuya Yoshinaga

A one-dimensional Gaussian map defined by a Gaussian function describes a discrete-time dynamical system. Chaotic behavior can be observed in both Gaussian and logistic maps. This study analyzes the bifurcation structure corresponding to the fixed and periodic points of a coupled system comprising two Gaussian maps. The bifurcation structure of a mutually coupled Gaussian map is more complex than that of a mutually coupled logistic map. In a coupled Gaussian map, it was confirmed that after a stable fixed point or stable periodic points became unstable through the bifurcation, the points were able to recover their stability while the system parameters were changing. Moreover, we investigated a parameter region in which symmetric and asymmetric stable fixed points coexisted. Asymmetric unstable fixed point was generated by the [Formula: see text]-type branching of a symmetric stable fixed point. The stability of the unstable fixed point could be recovered through period-doubling and tangent bifurcations. Furthermore, a homoclinic structure related to the occurrence of chaotic behavior and invariant closed curves caused by two-periodic points was observed. The mutually coupled Gaussian map was merely a two-dimensional dynamical system; however, chaotic itinerancy, known to be a characteristic property associated with high-dimensional dynamical systems, was observed. The bifurcation structure of the mutually coupled Gaussian map clearly elucidates the mechanism of chaotic itinerancy generation in the two-dimensional coupled map. We discussed this mechanism by comparing the bifurcation structures of the Gaussian and logistic maps.


2003 ◽  
Vol 13 (07) ◽  
pp. 1721-1725 ◽  
Author(s):  
Francisco Balibrea ◽  
Roman Hric ◽  
L'ubomír Snoha

The topological structure of minimal sets of continuous maps on graphs, dendrites and dendroids is studied. A full characterization of minimal sets on graphs and a partial characterization of minimal sets on dendrites are given. An example of a minimal set containing an interval on a dendroid is given.


1991 ◽  
Vol 56 (4) ◽  
pp. 1184-1194 ◽  
Author(s):  
Steven Buechler

AbstractLet D be a strongly minimal set in the language L, and D′ ⊃ D an elementary extension with infinite dimension over D. Add to L a unary predicate symbol D and let T′ be the theory of the structure (D′, D), where D interprets the predicate D. It is known that T′ is ω-stable. We proveTheorem A. If D is not locally modular, then T′ has Morley rank ω.We say that a strongly minimal set D is pseudoprojective if it is nontrivial and there is a k < ω such that, for all a, b ∈ D and closed X ⊂ D, a ∈ cl(Xb) ⇒ there is a Y ⊂ X with a ∈ cl(Yb) and ∣Y∣ ≤ k. Using Theorem A, we proveTheorem B. If a strongly minimal set D is pseudoprojective, then D is locally projective.The following result of Hrushovski's (proved in §4) plays a part in the proof of Theorem B.Theorem C. Suppose that D is strongly minimal, and there is some proper elementary extension D1 of D such that the theory of the pair (D1, D) is ω1-categorical. Then D is locally modular.


1985 ◽  
Vol 50 (4) ◽  
pp. 1054-1061 ◽  
Author(s):  
Steven Buechler

AbstractSuppose D ⊂ M is a strongly minimal set definable in M with parameters from C. We say D is locally modular if for all X, Y ⊂ D, with X = acl(X ∪ C)∩D, Y = acl(Y ∪ C) ∩ D and X ∩ Y ≠ ∅,We prove the following theorems.Theorem 1. Suppose M is stable and D ⊂ M is strongly minimal. If D is not locally modular then inMeqthere is a definable pseudoplane.(For a discussion of Meq see [M, §A].) This is the main part of Theorem 1 of [Z2] and the trichotomy theorem of [Z3].Theorem 2. Suppose M is stable and D, D′ ⊂ M are strongly minimal and nonorthogonal. Then D is locally modular if and only if D′ is locally modular.


Sign in / Sign up

Export Citation Format

Share Document