Topological Dynamics
[43/88%]Suppose that for a function , the inequality holds for every . Prove that for every .
Does there exist a continuous function satisfying the equation in the following cases:
;
;
?
Let us denote by (or simply Id) the identity map of a set onto itself (i.e., for every in ). A map will be called an involution if .
Let . Find two involutions and such that the relations hold.
Let us denote by (or simply Id) the identity map of a set onto itself (i.e., for every in ). A map will be called an involution if .
Prove that every bijection of a set onto itself is the composition of two involutions.
A map is called an involution if , where is the identity map of . A fixed point of a map is a point in its domain of definition such that .
Prove that a continuous map , where is some interval, has a fixed point in each of the following cases:
;
;
is an involution.
A fixed point of a map is a point in its domain of definition such that . Let a function be increasing, . Prove that for every the sequence () converges to a fixed point. Does this hold if is a decreasing function?
A fixed point of a map is a point in its domain of definition such that . Let . For , set . Prove that if for some the sequence is bounded, then has a fixed point. Does this hold for continuous maps ?
A fixed point of a map is a point in its domain of definition such that .
Prove that a finite group of affine transformations of the plane has a fixed point (common to all transformations of the group).
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map. It is assumed that the maps are continuous, defined on intervals, and map them into themselves.
Prove that the relation of topological conjugacy is an equivalence relation, i.e.
;
if and only if ;
if , then .
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map. It is assumed that the maps are continuous, defined on intervals, and map them into themselves.
Prove that topologically conjugate maps simultaneously possess or fail to possess the following properties:
injectivity;
monotonicity of a definite type;
one-sided boundedness (without specifying its type);
boundedness.
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map. It is assumed that the maps are continuous, defined on intervals, and map them into themselves.
Prove that topologically conjugate maps have
the same number of intervals of monotonicity;
the same number of fixed points.
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map. It is assumed that the maps are continuous, defined on intervals, and map them into themselves.
Prove that if , then the intervals on which the inequality holds are carried by the conjugating map into intervals on which (depending on the character of the monotonicity of ) the same or the opposite strict inequality holds for the map . Prove that if the maps and are defined on and one of them is odd, then the conjugating bijection can be chosen to be increasing.
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map.
Determine whether the maps and defined on are topologically conjugate in the following cases:
,
, ;
, ;
, ;
, .
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map.
Let . For which and are the functions topologically conjugate
and ;
and ;
and ?
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map.
Let . Describe the set of pairs for which .
For which can one find such that the maps and are topologically conjugate? Describe the set of all numbers that arise in this way.
Prove that the maps and , are not topologically conjugate.
For which and which interval is the map , topologically conjugate to the map of the form ?
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map.
Prove the topological conjugacy of the continuous maps , given as follows:
;
is the ``sawtooth'' map taking values at the points , and linear on the intervals between them (Fig. 14), and is the -th Chebyshev polynomial, defined by the equality (see Problem I.2.20 and Fig. 15);
Fig. 14
Fig. 15
prove that the functions from part a) are conjugate as maps from to .
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map.
Let be homeomorphisms of intervals having no fixed interior points. Prove that . Verify that the statement remains valid if the closed intervals are replaced by open intervals.
Maps and ( being intervals on the line) are called topologically conjugate if there exists a continuous bijection (homeomorphism) such that (i.e., ). In this case we write and call the conjugating map.
Classify, up to topological conjugacy, the homeomorphisms of an interval onto itself having a finite set of fixed points, among which are the endpoints of the interval.
Let be a map of an interval into itself, , , for . We say that the method of successive approximations with initial point converges if the limit exists, where .
Let the function be increasing. Prove that the method of successive approximations converges for any initial point , if
for ;
for .
Let be a map of an interval into itself, , , for . We say that the method of successive approximations with initial point converges if the limit exists, where .
Prove the convergence of the method of successive approximations for any starting point and find for the following maps :
;
;
;
;
;
;
.
Let be a map of an interval into itself, , , for . We say that the method of successive approximations with initial point converges if the limit exists, where .
Determine for which starting points in the domain of definition of the map the method of successive approximations converges, and find , if
;
;
;
;
We call a fixed point of the map attracting if for all taken from some neighborhood of the point , the sequence converges to the point . If for some neighborhood of the fixed point and an arbitrary point , there is an index such that , then the point is called repelling.
Let be a fixed point of the map , and suppose is differentiable at . Prove that
if , then is attracting;
if , then is repelling;
show by examples that a fixed point may be neither attracting nor repelling.
For which values of the parameter and for which does the sequence of iterates converge, if
;
;
;
.
Let be a differentiable function defined on an interval , and the map defined at those points where by . The fixed points of coincide with the roots of . We say that Newton's iterative process with initial point converges to if .
Let for . Prove that if the point is sufficiently close to , then
Newton's iterative process, started at , converges to ;
"superconvergence" holds: , where , (cf. problem II.3.10).
Let be a differentiable function defined on an interval , and the map defined at those points where by . The fixed points of coincide with the roots of . We say that Newton's iterative process with initial point converges to if .
Prove that if , then for initial points sufficiently close to , Newton's iterative process converges to , and moreover .
Let be a differentiable function defined on an interval , and the map defined at those points where by . The fixed points of coincide with the roots of . We say that Newton's iterative process with initial point converges to if .
Let be a function such that on and (or ). Verify that for any initial point from , Newton's iterative process converges to a root of .
Let be a differentiable function defined on an interval , and the map defined at those points where by . We say that Newton's iterative process with initial point converges to if .
Let be a polynomial having only simple real roots. Prove that if is an inflection point of (i.e. ), then Newton's iterative process, started at the point , converges to a root of . In a similar way, by varying the inflection points, one can find all the roots except the minimal and maximal ones.
The set is called the trajectory of the point . If the trajectory is finite, then there exists such that the points are pairwise distinct, while ; in this case is called a periodic point, the number its period, and the tuple an -cycle.
Let -cycle of the map be given. Prove that
if , then for taken from some neighborhood of , the relation
holds;
if , then for some and any , there is an index such that for all .
Let be a continuous map of a segment into itself, and let be a finite or infinite sequence of segments, with for every . Prove that
there exists a sequence of segments , such that ;
there exists a point for which for every .
The set is called the trajectory of the point . If the trajectory is finite, then there exists such that the points are pairwise distinct, while ; in this case is called a periodic point, the number its period, and the tuple an -cycle.
Prove that if a continuous map of a segment into itself has a 4-cycle, then it also has a 2-cycle.
The set is called the trajectory of the point . If the trajectory is finite, then there exists such that the points are pairwise distinct, while ; in this case is called a periodic point, the number its period, and the tuple an -cycle.
Let be a continuous map of a segment into itself. Prove that the following statements are equivalent:
-
there exists a point such that the points , satisfy the inequalities or ;
-
in there exists a point having period three;
-
for any , in there exists a point having period .
The implication b) ⇒ c) and problem 1.30 are special cases of A.N. Sharkovsky's theorem [Sh]. Let be a continuous map . Consider the natural numbers ordered as follows:
If stands to the left of in this sequence and has a -cycle, then also has a -cycle.
The set is called the trajectory of the point . If the trajectory is finite, then there exists such that the points are pairwise distinct, while ; in this case is called a periodic point, the number its period, and the tuple an -cycle.
Prove that for the Chebyshev polynomial (see problems I.2.20 and 1.16 b)), defined on , has cycles of arbitrary order.
A fixed point of a map is called attracting if for all from some neighborhood of the sequence converges to , and repelling if for some neighborhood of it and every point , , there is an index such that . If the points , where , are pairwise distinct while , then the tuple is called an -cycle and the period of ; the -cycle is called attracting if is an attracting fixed point of , and repelling if is a repelling fixed point of .
Find the values of the parameter for which the map has
a 2-cycle;
a 4-cycle;
a 3-cycle,
and determine when these cycles are attracting.
A fixed point of a map is called attracting if for all from some neighborhood of the sequence converges to , and repelling if for some neighborhood of it and every point , , there is an index such that . If the points , where , are pairwise distinct while , then the tuple is called an -cycle and the period of ; the -cycle is called attracting if is an attracting fixed point of , and repelling if is a repelling fixed point of .
Let . Determine for which values of the parameter an attracting fixed point and an attracting 2-cycle exist. Find the "birth moments" of the 2-, 4- and 3-cycles (i.e., the lower bounds on the values of for which these cycles exist).
A fixed point of a map is called attracting if for all from some neighborhood of the sequence converges to , and repelling if for some neighborhood of it and every point , , there is an index such that . If the points , where , are pairwise distinct while , then the tuple is called an -cycle and the period of ; the -cycle is called attracting if is an attracting fixed point of , and repelling if is a repelling fixed point of .
Let . Find the lower bound of the values of the parameter for which has
an attracting 2-cycle;
a repelling 2-cycle;
a 4-cycle;
a 3-cycle.
The set is called the trajectory of the point . If the trajectory is finite, then there exists such that the points are pairwise distinct, while ; in this case is called a periodic point, the number its period, and the tuple an -cycle.
Let be a fixed point of a continuous map . Prove that if the one-sided derivatives are negative and , then has a 2-cycle. In particular, a 2-cycle exists if .
The set is called the trajectory of the point . If the trajectory is finite, then there exists such that the points are pairwise distinct, while ; in this case is called a periodic point, the number its period, and the tuple an -cycle.
Let be a piecewise smooth map of the interval into itself. Prove that if at all points where the derivative exists, then has a -cycle for every . Show by an example that this fails if the smoothness of the map is violated on a countable set of points.
We consider maps of an interval into itself such that and the Schwarzian derivative (see Problems VII.2.25, VII.2.26 and the definition preceding them) is negative at those points that are not critical points of (i.e., where ). We denote the class of such maps by the symbol . If the points , where , are pairwise distinct while , then the tuple is called an -cycle.
Let and let the set of critical points of be finite. Prove that for every the transformation can have only finitely many -cycles.
We consider maps of an interval into itself such that and the Schwarzian derivative (see Problems VII.2.25, VII.2.26 and the definition preceding them) is negative at those points that are not critical points of (i.e., where ). We denote the class of such maps by the symbol .
Let be consecutive fixed points of the map . Prove that if the interval contains no critical points of , then .
We consider maps of an interval into itself such that and the Schwarzian derivative (see Problems VII.2.25, VII.2.26 and the definition preceding them) is negative at those points that are not critical points of (i.e., where ). We denote the class of such maps by the symbol . A fixed point of a map is called attracting if for all from some neighborhood of the sequence converges to . If the points , where , are pairwise distinct while , then the tuple is called an -cycle; the -cycle is called attracting if is an attracting fixed point of . The set is called the trajectory of the point .
Let the map have a unique critical point . Prove that every attracting cycle of the map attracts the trajectory of one of the points , and consequently can have at most three attracting cycles.
A fixed point of a map is called attracting if for all from some neighborhood of the sequence converges to , and repelling if for some neighborhood of it and every point , , there is an index such that . If the points , where , are pairwise distinct while , then the tuple is called an -cycle and the period of ; the -cycle is called attracting if is an attracting fixed point of , and repelling if is a repelling fixed point of .
Prove that a map of the form , for , cannot have more than one attracting cycle, while for it has an -cycle for every , but none of them is attracting.
The set is called the trajectory of the point . If the trajectory is finite, then there exists such that the points are pairwise distinct, while ; in this case is called a periodic point, the number its period, and the tuple an -cycle.
Let be a continuous map of the circle into itself having a fixed point and a 3-cycle.
Prove that also has -cycles for all .
Must have a 2-cycle?
Let be a continuous increasing function on the line satisfying the condition . Prove that
the map defines a homeomorphism of the circle , preserving the cyclic order of any three points, and that an arbitrary orientation-preserving homeomorphism of the circle can be defined in this way;
if the limit exists for some , then it also exists for every ;
if the map has a fixed point for some , then the limit exists and is a rational number;
if no power of has a fixed point, then the limit exists and is an irrational number;
if two distinct functions and define the same homeomorphism , then the corresponding limits and differ by an integer.
The number defined in this way for an arbitrary orientation-preserving homeomorphism is called the rotation number of this homeomorphism. This notion was introduced by H. Poincare.