Homoclinic Bifurcation of a Quadratic Family of Real Functions with Two Parameters ()
1. Introduction
There are various definitions for the homoclinic bifurcation. In the sense of Devaney, the homoclinic bifurcation is a global type of bifurcations, that is, this type of bifurcation is a collection of local and simple types of bifurcations [1] (like, period-doubling and saddle-node of bifurcation [2] ).
According to [3] [4] [5] we have another definition of the homoclinic bifurcation via the notions of the unstable sets of a repelling periodic point (fixed point) and the intersection of this set with the backward orbits of this point.
The purpose of this work is to prove the family
has homoclinic bifurcation at
following the second definition.
2. Definitions and Basic Concepts
2.1. Definition 1: [6]
A fixed point P is said to be expanding for a map f, if there exists a neighborhood
such that
for any
.
The neighborhood in the previous definition is exactly the local unstable set.
2.2. Definition 2: [7]
Let P be a repelling fixed point for a function
on a compact interval
, then there is an open interval about P on which f is one-to-one and satisfies the expansion property.
where
.
The interval in the previous definition is exactly the unstable set of P.
2.3. Definition 3: [8]
Let P is fixed point and
for a map
. A point q is called homoclinic point to P if
and there exists
such that
.
2.4. Definition 4: [9]
The union of the forward orbit of q with a suitable sequence of preimage of q is called the homoclinic orbit of P. That is
where
for
,
and
.
2.5. Definition 5: [10]
The critical x point is non-degenerate if
. The critical point x is degenerate if
.
2.6. Definition 6: [11]
Let f be a smooth map on
, and let p be a hyperbolic fixed point for the map f. If
intersects the backward orbit of p at a nondegenerate critical point
of f, then
is called a point of homoclinic tangency associated to p.
2.7. Definition 7: [3]
Let
be a smooth map on
, and let p be a hyperbolic fixed point for a map
. We say that
has homoclinic bifurcation associated to p at
if:
1) For
(
),
and the backward orbit of p has no intersect.
2) For
,
has a point of homoclinic tangency
associated to p.
3) For
(
), the intersection of
with the backward orbit of p is nonempty.
3. Homoclinic Bifurcation of the Family
In this section, we show that the family H has a point of homoclinic tangency associated to P1 at
, and H has a homoclinic bifurcation.
We need the following results proved in [12].
At the first, the fixed points of
are
.
a) Proposition:
For
with
the local unstable set of the fixed point P1 is
.
b) Lemma:
For
,
where
for
c) Theorem:
For
with
, the unstable set of the fixed point P1 is
.
d) Remark: [13]
The local unstable set of the fixed point P2 is
, and the unstable set of the fixed point P2 is
. In this work we will omit the result about P2 because (
, when
for
for
). Thus we will not care for the fixed point P2. (See definition (2.3)).
e) Remark:
For
,
.
f) Proposition:
For
, if
with
, then the second preimage of the fixed point P1 belongs to the local unstable set of P1.
g) Proposition:
For
, if
with
, then the third preimage of the fixed point P1 belongs to the local unstable set of P1.
h) Theorem:
For the family
, there exist homoclinic points to the fixed point P1 whenever
. Moreover
are the first homoclinic points for
,
respictivelity.
i) Example:
For
, a homoclinic orbit of a homoclinic point
is:
.
The main result:
3.1. Lemma 1
For
with
, the critical point of
is 0, and it is a non-degenerate critical point.
Proof:
Clearly that the critical point of
is zero.
Since
, then
.
So
has a non-degenerate critical point at
. ∎
3.2. Lemma 2
If
of
with
, then the backward orbit of the repelling fixed point P1 is undefined in
.
Proof:
, clearly
.
Now the first preimage of
is
, where
for
.
By Lemma (3-b), we have
.
But +P1 is a fixed point, and
, see Proposition (3-a).
By Remark (3-e) we have
,
since
,
.
Therefore
are undefined in
with
.
Thus the backward orbit of the repelling fixed point P1 is undefined in ∎
3.3. Theorem 1
For the family
, 0 belong to the backward orbit of P1 whenever
with
, and the backward orbit of P1 is:
.
Proof:
We test the values of n which makes
.
By Lemma (3-b),
.
So
.
Now suppose that
, by Remark (3-e) then
, thus
.
Since the fixed point
, therefore
,
then
, which implies
, then either
, but by the above Lemma (3.2) the backward orbit of P1 is undefined, so we omit this case.
Or
, thus
.
Now,
and to find the backward orbit of P1, we consider
.
By Lemma (3-b)
, then
. But
is a fixed point, therefor
.
So
.
, and so on.
Therefore the backward orbit of
is:
. ∎
3.4. Example
For
, 0 belongs to the backward orbit of
(Figure 1), and the backward orbit of P1 is
.
Figure 1. For
, the backward orbit of
.
3.5. Theorem 2
If
for
with
, then there is no intersection of the backward orbit with the unstable set of P1.
Proof:
The backward orbit of P1
By Lemma (3-b)
, since +P1 is a fixed point, then we consider
.
By Remark (3-e),
.
If
, then by Theorem (3-h),
which is a contradiction with
. Therefore
, which implies
.
So
are undefined in
with
.
Thus the backward orbit of P1 is undefined .
So the intersection of
with the backward orbit of P1 is also undefined. ∎
3.6. Theorem 3
If
for
with
, then
has a point of homoclinic tangency at 0 associated to P1.
Proof:
By Theorem (3.3),
.
By Theorem (3-c),
, then
, i.e.
. Now
intersects
at 0.
By Lemma (3.1) 0 is a non-degenerate critical point. So
has a point of homoclinic tangency at 0 associated to P1. ∎
3.7. Theorem 4
If
for
with
, then the backward orbit of P1 crosses the unstable set
.
Proof:
First consider the backward orbit of P1.
By Lemma (3-b)
.
But + P1 is a fixed point, therefore we consider
.
By Remark (3-e),
.
Since
, then by Theorem (3-h)
.
Let
,
.
By Proposition (3-f), if
, then
.
By Proposition (3-g), if
, then
.
Now since the local unstable set of the repelling fixed point contained in the unstable set of the repelling fixed point. Therefore
. ∎
Following examples explain the cases for
,
and
(with
) respectively.
3.8. Example 1
For
, we have no intersection of the backward orbit of P1 with the unstable set of P1.
Solution:
Consider the fixed point of
is
, and
.
The backward orbit of
, where
is a fixed point, therefore we consider
. Now
.
So
are undefined in
with
.
Thus the backward orbit of P1 is undefined.
So the intersection of
with the backward orbit of P1 is also undefined. ∎
3.9. Example 2
For
, then
has a point of tangency at 0 associated to P1.
Solution:
Consider the fixed point of
is
.
By Example (3.4), The backward orbit of
is
.
On the other hand, the unstable set of
is
, (see Theorem (3-c)). Now
intersects
at 0.
By Lemma (3.1), 0 is a non-degenerate critical point. So
has a point of tangency at 0 associated to
. ∎
3.10. Example 3
For
, the backward orbit of P1 crosses the unstable set
.
Solution:
First consider the fixed point
.
The backward orbit of 3 is:
(see Example (3-i)), with
, and
.
Since
is a homoclinic point of
, then
.
Now since the local unstable set of the repelling fixed point
contained in the unstable set of the repelling fixed point
. Therefore
. ∎
Note , the main theorem in the work :
3.11. Theorem 5
has a homoclinic bifurcation associated to the repelling fixed point of
,
, at
.
Proof:
1) For
, by Theorem (3.5) the intersection of the backward orbit of P1 and the unstable set of P1 is undefined.
2) For
, by Theorem (3.6)
has a point of homoclinic tangency associated to P1 at
.
3) For
, by Theorem (3.7) the backward orbit of P1 crosses the unstable set of P1,
.
Therefore
has a homoclinic bifurcation associated to P1 at
. ∎
3.12. Example
has a homoclinic bifurcation associated to the repelling fixed point of
,
, at
.
has a homoclinic bifurcation associated to the repelling fixed point of
,
, at
. See examples (3.8), (3.9), (3.10).
3.13. Remark
For
, we have same results which proved above for
. In fact, we can prove in similar ways, that:
has a homoclinic bifurcation associated to the repelling fixed point of
,
, at
.
4. Conclusion
We conclude that the family
has homoclinic tangency associated to P1 at the critical point
. Also for
we have no intersection between the backward orbit of P1 and the unstable set of P1, and the backward orbit of P1 crosses the unstable set of P1 for
. So we have homoclinic bifurcation at
.