1. Introduction
The Van der Pol equation
is the basic model for many applied problems (see, for example, [
1,
2,
3,
4,
5,
6,
7,
8]). Under the condition
, all solutions (
1) tend to the zero equilibrium state as
, whereas for
, there exists a stable cycle. Currently, a lot of research is devoted to problems that use Equation (
1) with delayed feedback [
9,
10,
11,
12,
13,
14,
15,
16]
Numerical methods are mainly used to study the behavior of solutions to an equation of the form (
2).
In this paper, it is assumed that the parameter
T is sufficiently large:
This condition opens up the possibility of applying asymptotic methods to the analysis of solutions to Equation (
2).
In (
2), it is convenient to change
. As a result, we obtain a singularly perturbed equation
in which
Note that the degenerate equation for is not informative: if , its solutions tend to zero as , whereas if the solutions are unbounded as .
Here, we will study the local dynamics of Equation (
3) under the condition (
4), i.e., the behavior as
of all solutions with sufficiently small initial conditions in the norm
.
The location of the roots of the characteristic equation
plays an important role for the equation linearized at zero (
3)
In the case when all roots (
5) have negative real parts and are separated from the imaginary axis at
, all solutions (
3) from a sufficiently small (and independent of
) neighborhood of the zero equilibrium tend to zero as
. If (
5) has a root with a positive real part separated from the imaginary axis at
, then there cannot be stable solutions in a small neighborhood of the zero solution (
5), and hence the problem of dynamics (
3) is nonlocal. A necessary condition for locality is
Below, Equation (
3) is studied in the critical case when Equation (
5) does not have roots with positive real parts separated from the imaginary axis at
, but there are roots with their real parts tending to zero as
.
The roots of Equation (
5) are studied in
Section 2. It is shown that the critical cases have infinite dimension, that is, infinitely many roots of (
5) tend to the imaginary axis at
. In this situation, in the nonlinear analysis of Equation (
3), it is neither possible to use the known results on the existence of local invariant integral manifolds [
17,
18], nor the normal form methods. Therefore, in [
19,
20], special asymptotic methods for the nonlinear analysis of equations with large delay were developed. These methods allowed in critical cases to construct nonlinear boundary value problems of the Ginzburg–Landau type, which do not contain small parameters, and the nonlocal dynamics of these boundary value problems determines the local behavior of the solutions to the original equation for small
. It is possible to obtain asymptotic formulas relating the solutions of the original equation and the constructed boundary value problems. This work is based on the results in [
19,
20,
21,
22]. Note that systematic presentations of studies for the Van der Pol equation with delayed feedback are considered for the first time. All the main results are new. The solutions of the equation with a large delay were also studied analytically and numerically in [
23,
24,
25]. A number of interesting results in problems of laser physics with a large delay are given in [
26].
Section 3 is devoted to the nonlinear analysis of Equation (
3) in critical cases. There are two fundamentally different cases. In the first, we will deal with solutions that slowly oscillate in time, whereas in the second, we study rapidly oscillating solutions. The main result in both cases is the construction of nonlinear boundary value problems which play the role of normal forms. They are called quasi-normal forms.
In
Section 4 and
Section 5, the construction of a normal form for
is considered separately. The corresponding results differ significantly from the case when
In
Section 4, the solutions are studied in the neighborhood of the equilibrium state, whereas, in
Section 5, in the neighborhood of the cycle. The results of
Section 6 are closely related to the results of the previous sections. Specifically, the dynamics of the Van der Pol equation with a large delay control coefficient,
is studied.
Section 7 is concerned with the construction of a quasi-normal form for the Van der Pol equation with a delay in the nonlinearity
The following sections share the same structure which we describe here. First, the parameters of the problem are identified for which the critical case is observed in the problem of the stability of the zero equilibrium state. Then, a linearized boundary value problem is considered, and its characteristic equation is given. After that, we study the asymptotic behavior of all those roots of the characteristic equation whose real part tends to zero as the small parameter
tends to zero. There are infinitely many such roots. Based on them, a set of special solutions is constructed for the linearized problem. Such solutions can be written in a form that allows them to be used to analyze solutions (with unknown amplitudes) of the original nonlinear boundary value problem. It is possible to determine an explicit form for the leading approximation (with respect to the parameter
) of the corresponding solution. Let us conditionally denote it here by
. Then, we seek solutions of the nonlinear boundary value problem in the form
Note that, here, the absence of coefficients quadratic in is due to the fact that there is no quadratic nonlinearity in the original equation. Regarding , it is known in advance that it is periodic in several of its arguments. Substituting the above expression for , to determine , we arrive at a special linear inhomogeneous boundary value problem. The solvability condition for this boundary value problem in the specified class of functions allows us to write an equation for the unknown amplitudes in . Obtaining such equations is the ultimate goal. Such equations are called quasinormal forms. This term arose because, in contrast to normal forms for the finite-dimensional critical case, there is no theorem stating that the normalized equation completely describes the local behavior of solutions. The nonlocal dynamics of these equations, which are also called quasinormal forms, makes it possible to describe the local behavior of solutions to the original boundary value problem. Note that the fulfillment of the conditions for the solvability of the equations for allows us to define this function explicitly. Below, we will use the function, but sometimes we will be omitting its formula.
2. Asymptotics of the Roots of the Characteristic Equation
First, we find those values of the parameter
for which the critical case occurs in (
5).
Assume that
is a purely imaginary root of (
5). Then, from (
5), we arrive at the equation
where
From here, we obtain
By
we denote the smallest value of function
:
and by
the value
for which
. The definition of
and
immediately implies the following statement.
Lemma 1. The smallest value for which Equation (5) has a purely imaginary root is determined by Note that for .
Let us formulate the main statements about the asymptotic behavior in critical cases of those roots of (
5) whose real parts tend to zero as
. We omit simple justifications.
Lemma 2. Then, for all sufficiently small ε, all roots (5) have negative real parts separated from zero as . Lemma 3. Then, for all sufficiently small ε, Equation (5) has a root with a positive real part separated from zero as . In order to justify Lemma 2, it suffices to note that for
, and hence for all
the real parts of all (
5) roots are negative. Same for Lemma 3.
In this paper, we study critical cases when it is assumed that for arbitrary fixed
, the parameter
either satisfies the equality
or
In these cases, there is no root of the characteristic equation with a positive real part separated from zero, but there are roots whose real parts tend to zero at .
Consider the asymptotic behavior of all the roots of Equation (
5) whose real parts tend to zero as
. The corresponding asymptotic expansions are fundamentally different for the cases when
and when
. The justification of the corresponding expansions is based on the standard perturbation theory.
Lemma 4. Then, , and for those roots , of Equation (5) whose real parts tend to to zero as , the following asymptotic equalities hold: Next, consider the case when
Let us introduce some notation. Let
be the value that completes the expression
to an integer. Set
Lemma 5. Let (12) hold. Then, for those roots , of (5) whose real parts tend to zero as , the following asymptotic equalities hold:whereand, moreover, 4. Van der Pol Equation with a Large Delay and a Small Coefficient of Delayed Feedback
It was shown above that the critical case for Equation (
3), for
, is realized for
. Here, we assume that the coefficients
a and
are sufficiently small, i.e., for some
and
we have
Let us first consider the Van der Pol equation with delayed feedback
without assuming that the value of
h is large.
For the equation linearized at zero, the characteristic quasi-polynomial has the form
In this section, we first study the solutions to (
24) from a small neighborhood of the zero equilibrium state for fixed values of
h, and then we consider the case when the delay is asymptotically large.
This equation has two roots,
and
, the real parts of which tend to zero as
, while all other roots have negative real parts separated from zero as
. Note that
where
In the vicinity of the zero state of Equation (
24), for sufficiently small
, there is a stable two-dimensional local invariant integral manifold [
17,
18], on which Equation (
24) can be written up to order
in normal form, namely as a scalar complex first-order equation:
Equations (
24) and (
25) are related via the relation
Equation (
25) can be integrated explicitly, so it is easy to conclude about the existence and stability of its cycle. According to (
25), the same conclusion about the existence and stability of the cycle is true for Equation (
24).
Let us then consider the case when the delay in (
24) is sufficiently large. Let
Then, infinitely many roots,
,
, of the characteristic equation
tend to the imaginary axis as
, and there is no root with a positive real part separated from zero as
. Thus, in the problem of stability of the zero solution of (
24), the critical case of infinite dimension is realized. For
, we have the following asymptotic representations:
where
is the root of the quasipolynomial
The quantity
appearing in (
27) complements the value
to an integer multiple of
. Note that the quasipolynomial (
27) has infinitely many roots.
We seek solutions to the nonlinear equation in the form of formal series:
where the dependence on the argument
t is
-periodic. We substitute (
28) into (
24). After standard calculations, we arrive at an equation for
. From the condition of its solvability in the class of
-periodic functions in
t, we obtain an equation with a fixed delay for determining the unknown complex amplitude
:
Let us introduce some notation. We denote by a sequence such that . We now formulate the final result; its justification is obtained according to the above standard scheme.
Theorem 3. Let (23) and (26) hold. Let Equation (29) have a solution bounded at for an arbitrarily fixed value . Then, for the sequence , the functionwhere satisfies (24) up to . It follows from this theorem that the distributed Equation (
29) is a quasinormal form in the case under consideration. For Equation (
29), it is easy to investigate the existence and stability of the simplest cycles of the form
. We do not dwell on this in more detail.
5. Investigation of the Solutions in the Neighborhood of a Cycle of the Van der Pol Equation with a Small Perturbation with a Large Delay
Let us first consider the Van der Pol equation with a small perturbation and a fixed delay
hAssume that for
, the Van der Pol equation
has an exponentially orbitally stable periodic solution
of period
L. Equation (
31) can be written as the system
The system
linearized on
has periodic solutions
By
we denote a periodic solution of the system conjugate to (
33). It is convenient to assume that
Equation (
30) defines a ‘perturbed’ system with respect to (
32)
It is known that, for small
, system (
34) has an exponentially orbitally stable
L-periodic solution
, and
where
is related to
t via
Substituting (
35) and (
36) into (
34), and collecting the coefficients of the various powers of
, one can determine the coefficients of the formal series (
35) and (
36). For example, by collecting the coefficients of
, we obtain an equation for
, and from the condition of its solvability in the class of
L-periodic functions in
we arrive at
In this section, we study the structure of solutions to system (
34) in a neighborhood of the cycle
under the condition that the parameter
is sufficiently small and the delay
h is sufficiently large:
Let us consider formal series more general than (
35) and (
36), namely
where functions
are
L-periodic in
, and
is a scalar almost periodic function. Substitute (
37), (
38) into (
34). Collecting the coefficients at the first power of
, we arrive at the system
Let us introduce some notation. Let
denote the value that completes the expression
to an integer multiple of
L. Thus, for
, the value of
changes infinitely many times from 0 to
L. Then, consider the
L-periodic function
defined by
From (
38), we obtain that
and therefore,
We return to system (
39). The condition for the existence of a solution
L-periodic in
is that the terms of function
which do not contain
are orthogonal on average. From here, we arrive at
After the solution (
40) is found, the algorithm for determining successively the elements of the series (
37) and (
38) can be continued indefinitely.
We examine the equilibrium state
of the Equation (
40). In order to find them, we obtain the equation
The number of solutions to this equation depends on function
. Let (
41) have a solution
, for some
, i.e., for
; Equation (
40) has the equilibrium state
. We study the stability of this solution. To do this, consider the equation linearized on
We have the following.
Lemma 6. Whenall roots of the characteristic quasi-polynomial for the Equation (42) have negative real parts, and whenthere is a positive root of this quasi-polynomial. The following proposition reveals the main result.
Theorem 4. Let Equation (41) have an equilibrium , for some , and let Then, there exists a sequence , determined by the condition , such that for and for sufficiently large n, the functionsatisfies (34) up to . Remark 2. The results in [27] indicate that there is a stronger statement than Theorem 4 about the existence, stability, and asymptotic behavior of a periodic solution (34) close to (43). Note that Equation (
40) can have any number of equilibrium states, which means that system (
34) can have any number of stable periodic solutions. In addition, (
34) is characterized by an unbounded process of forward and backward bifurcations as
. This is due to the fact that the number and stability of equilibrium states in (
40) depend on the quantity
, which changes infinitely many times from 0 to
L as
0.
6. Van der Pol Equations with a Large Delay Control Coefficient
The Van der Pol equation with delay control reads
Here, the coefficients
and
are positive. Equations of this form arise in many applied problems (see, for example, [
27,
28,
29,
30,
31]). The basic assumption that paves the way for the application of asymptotic methods is that the parameter
is large enough:
After dividing by
both sides of (
44), we obtain
Note that the simpler equation
in a region of the phase space
bounded at
cannot have stable solutions to Equation (
45) for sufficiently large
. This follows from the results of
Section 3.
Equation (
45) can be written equivalently as the system
We employ the results obtained in [
21] for solutions to
where the parameter
takes one of the values
or
, and
is some bounded smooth function dependent on ‘slow’ time as
:
For each of the two values of
, the case of infinite dimension, which is critical in the stability of the zero solution, is realized. Therefore, the structure of solutions is determined by special quasi-normal forms. The quasi-normal form in the case
is a parabolic boundary value problem for an unknown function
where
The leading term of the asymptotic representation of the solution,
, to Equation (
48) is defined by
In the case when
, the situation is much more complicated, and it is studied in [
21,
32]. Here, the quasi-normal form is a family of parabolic-type boundary value problems for
, depending on the continuum parameters
and
Unlike (
49), here, the spatial variable
x and variable
are related to
t via
whereas for the solutions to (
48),
, we have the asymptotic relation
We return to system (
46) and (
47). Suppose that in (
47) for some function
, we have the asymptotic representation
where
. Then, this equation belongs to the class of Equations (
48), where
, and hence the asymptotic behavior in the principal function
is determined by an expression of the form (
51), and
changes slowly with respect to its first argument
and oscillates rapidly with respect to its second argument
. With this in mind, consider Equation (
46). The right side of it can be averaged [
33] over the rapidly oscillating variable
x. Then, we arrive at
Since the expression
changes slowly with respect to the time variable, we can use the well-known results (see, for example, [
34]) on the applicability of the frozen coefficients method. Hence, we obtain that
Using (
50) and (
52), and the asymptotic representation
for the definition of function
from (
47), we obtain the boundary value problem
with periodic boundary conditions
We have the following.
Theorem 5. We arbitrarily fix and , and let be a bounded solution of the boundary value problem (53) and (54), for . Then, for sufficiently small and ε such that , the vector functionfor satisfies the system (46) and (47) up to . The theorem states that the boundary value problem (
53) and (
54) plays the role of a normal form for the system of Equations (
46) and (
47). Note that, in the formulation of the theorem, the case
is excluded. This case is special. Solutions to the boundary value problem (
46), (
47) are no longer rapidly oscillating, so the averaging principle cannot be used. In this case, it is necessary to assume that the Van der Pol Equation (
1) has a
T-periodic solution
. In (
44), we set
where
. Then, for
, we arrive at the boundary value problem
This boundary value problem also plays the role of a normal form for Equation (
44) for sufficiently small
. Its solutions determine the leading terms of the asymptotics of the solutions to Equation (
44). Note that
is the equilibrium state of the boundary value problem (
55) and (
56).
From the Theorem 5 we can conclude the following. For large values of the delay control coefficients in (
44), there is no stabilization to the homogeneous cycle of the Van der Pol equation. The structures that arise in such systems are complex, but on the other hand, they have a detailed analytical description.
7. Van der Pol Equation with Delayed Nonlinearity
We study the behavior of all solutions from a sufficiently small neighborhood of the zero equilibrium state for the Van der Pol equation with delayed nonlinearity
which differs from (
1) only by the presence of a delay in the nonlinearity. The critical case in the zero stability problem is determined by the linear part, so we assume that for some fixed value
,
In the absence of delay, i.e., for
, the local behavior of solutions of (
57) is determined primarily by the normal form
Functions
, for
, and
are related via
The same formula relates the solutions to (
57) for
and the solutions to (
58), and for the normal form, we obtain
where
,
. The stable non-zero periodic solution
exists under the condition
Thus, the existence and stability of the corresponding cycle in (
57)
can be controlled by choosing the appropriate parameter
T.
The situation when the parameter
T in (
57) is sufficiently large, namely
for some
, is more interesting. In this case, instead of the ordinary differential equation (
59), as a normal form, we obtain an equation with delay
where
.
We fix arbitrarily
Then, for
, we have
. By
we denote the roots of the equation numbered in ascending order
and set
Unlike (
58), (
60) has infinitely many different periodic solutions
. This implies, in particular, that Equation (
60), and hence Equation (
57), is not dissipative.
The periodic solutions
allow us to determine the corresponding periodic solutions for Equation (
57) for
The stability of these solutions mainly depends on the location of the roots of the characteristic quasi-polynomial of the equation linearized on
For stability, it is necessary that all roots of (
61) have negative real parts. It can be shown that, for all sufficiently large numbers
j, Equation (
61) has a root with a positive real part.
The given results indicate that the dynamics of solutions to Equation (
57) for large delays is much more complicated than in the case of the ordinary differential Equation (
1).
8. Conclusions
The local structure of solutions to the Van der Pol equation with delayed feedback is studied under the assumption that the delay parameter
T is sufficiently large. All possible critical cases in the problem of the stability of the zero equilibrium state are singled out. It is shown that they all have an infinite dimension in the sense that infinitely many roots of the characteristic equation of the linearized problem tend to the imaginary axis as the small parameter
(or
in
Section 6). A technique was developed for constructing analogs of normal forms, the so-called quasi-normal forms. Their nonlocal dynamics allows us to describe the asymptotics of solutions to the original equation in the vicinity of the equilibrium state.
Under the condition
and
, the solutions to (
3) for small
are mainly formed on relatively small modes. They are described by quasi-normal forms, which are the Ginzburg–Landau Equations (
14), with real coefficients and boundary conditions, (
15) or (
16). In the case
, the solutions are rapidly oscillating. The asymptotic behavior of the amplitudes of these solutions is determined by the quasi-normal form, namely a complex boundary value problem of the Ginzburg–Landau type (
22) and (
21). For the important case, when in (
3)
, the quasi-normal form is a first-order nonlinear complex equation with delay (
29). For the case when
, the behavior of solutions to (
3) in a neighborhood of a nonlocal cycle
of the Equation (
1) is studied. In order to find other cycles in the neighborhood
, an equation with delay (
40) is constructed. The existence and stability of equilibrium states (
40) is investigated. It is these equilibrium states that correspond to cycles from the neighborhood
.
The dynamics of the Van der Pol equation with a large delay control coefficient, which is closely related to problems with a large delay, is studied. Here, quasi-normal forms are constructed, namely complex equations of the Ginzburg–Landau-type (
53) for rapidly oscillating solutions of Equation (
44), and the boundary value problem (
55) and (
56) for slowly oscillating solutions.
In the problem of the dynamics of the Van der Pol equation with a large delay in cubic nonlinearity (
57), the role of the quasi-normal form is played by a complex equation with delay also in cubic nonlinearity (
60). An explicit form of an infinite set of quasi-normal form cycles is given.
To conclude, we note that analytical statements about the behavior of solutions to the original problem in cases close to critical are given. Moreover, asymptotic formulas for solutions are presented, which is particularly important for applications. From these formulas, it follows that the use of the degenerate Equation (
3) for
does not make sense. Indeed, the local dynamics of the corresponding one-dimensional map
is well known, even for an arbitrary smooth function
(see, for example, [
35]) and has nothing to do with the behavior of solutions of Equation (
3) described above for small
. In addition, note that the numerical study of (
3) for small
is difficult since it was shown that the solutions can be asymptotically rapidly oscillating and their dynamics can be sensitive even to small changes in the problem parameters. We formulate some of the most important conclusions that follow from the analysis of the constructed quasi-normal forms:
In all the cases considered above, the local dynamics of the initial equations is determined by the nonlocal dynamics of distributed quasi-normal forms of nonlinear equations, either with partial derivatives or with delay. Thus, the considered problems are characterized by a complex structure of solutions. It is known that the Ginzburg–Landau equations can have irregular dynamics. Therefore, the same conclusion is also true for the original equation.
Separately, we note the effect of multistability. For example, it is demonstrated for Equation (
44). The point is that these equations involve an arbitrary parameter
, and each dynamic mode of the corresponding equations for
for each fixed
z corresponds to a solution of the original equation. Thus, pseudo-continuum families of solutions to (
44) may arise.
After the leading asymptotic approximations for the solutions (
44) are found, it is possible to obtain, using standard methods, asymptotic expansions that are more accurate with respect to the small parameter
. This way, it becomes possible to justify the proximity of the constructed solutions to the exact solutions of the corresponding equations and conclude about the inheritance of stability properties. Note that there are significant technical difficulties here.
It should be noted that the dynamic properties of Equation (
44) are highly “sensitive” to changes in the small parameter
or
. This is due to the fact that the construction involves the quantity
, which varies infinitely often from 0 to 1 for
. It remains to be noted that for various
, the dynamic properties can also be different [
36]. Thus, at
, an unlimited process of forward and backward bifurcations occurs. Hence, it follows that the application of numerical methods in the problems under consideration requires serious efforts.
Note that solutions (
3) with arbitrary initial conditions as
tend to a “critical” set of solutions, i.e., to solutions corresponding to the main function
Therefore, the choice of initial conditions is arbitrary. Of course, the process of establishing solutions will be faster if the initial conditions at
are taken as an arbitrary function close to
. The specificity of the Van der Pol equation was practically not used. The same study could be applied to an arbitrary second-order differential equation with sufficiently smooth nonlinearity. It is interesting to note that quasi-normal forms very similar to those given above arise in the analysis of critical cases for many classes of partial differential equations (see, for example, [
17,
18]) and for evolution equations describing chains of coupled oscillators with a large number of elements (see, for example, [
8,
31]). The dynamics of the Van der Pol equations, in which the feedback delay is not large enough, does not have such effects. The critical cases in them are finite dimensional, which means that they are described by much simpler normal forms, finite-dimensional ordinary differential equations.