Maximum Interval of Stability and Convergence of Solution of a Forced Mathieu’s Equation ()
1. Introduction
Consider a harmonically forced Mathieu’s equation defined by
(1)
For small
, this equation describes a simple harmonic oscillator whose frequency is a periodic function of time with the boundary condition as;
(2)
where
is the second derivative with respect to time, f is the amplitude of a
periodic driving force, w and
are the Mathieu’s parameters and
is the angular frequency of the periodic driving force.
Mathieu’s equation is a special case of a linear second order homogenous equation [1]. In [2], Equation (1) was discussed in connection with problem of vibrations in elliptical membrane and developed the leading terms of the series known as Mathieu’s function. Mathieu’s function was further investigated by a number of researchers who found a considerable amount of results. [3] [4] [5] [6] wrote that Mathieu’s differential equation occurs in two main categories involving elliptical geometrics, such as analysis of vibrating modes, elliptical membrane, the propagation modes of elliptic pipes and the oscillation of water in a lake of elliptic shape. Mathieu’s equation arises after separating the wave equation using elliptic coordinates. Secondly, problems involving periodic motion are the trajectory of an electron in a periodic array of atoms [7].
Stability is an important concept in linear and nonlinear analysis. For instance, roughly speaking, a physical system is stable if small changes at sometimes cause only a small change in the behavior of the system in future [8]. Analytically, stability is determined by the interval placed on the total derivative of the system form by the given differential equation. Such interval is restricted only on the equilibrium point of the system. Other intervals of interest which have been studied by others researchers in these recent times can be seen in [9] [10]. For linear system, stability and boundedness are equivalent; thus, the search for convergence of solution and maximum interval of stability becomes an issue. Emphasis on stability and convergence has been discussed by many authors. For instance see [11] [12] [13] [14] [15] and their references therein. For other researchers who have worked on stability of non-linear systems, see [16] [17] [18] [19].
Motivated by the above literature and ongoing research in this direction, the objectives of this paper are to investigate the maximum interval of stability and convergence of solution of forced Mathieu’s equation. We further prove that the solution converges in that interval of interest and that if all solutions are bounded, then the corresponding point in the w and
parameter plane is said to be stable.
2. Preliminaries
Definition 2.1. Frobenius method which was named after Ferdinard Geog Frobenius is a method for finding an infinite series solution for a second-order ordinary differential equation of the form;
(3)
with
and
In the vicinity of the regular singular point
, we can divide (3) by
to obtain a differential equation of the form;
(4)
which will not be solvable with regular power series method if either
or
are not analytic at
. The Frobenius method enables us to make use
of powers series solution to solve a different equation, given that
and
are themselves analytic at 0 or being analytic elsewhere. In this case both limit exist at 0 and are finite [20].
Definition 2.2. Stability is a qualitative property of behavior of the solutions of differential equations by which given a reference solution
of
,
,
, any other solution
starting close to
i.e.
and
remains close to
for later times.
Theorem 2.3. Suppose
(i)
is a regular singular point and
(ii)
and
are analytic at
Then Frobenius method is effective at regular singular point of the form.
Theorem 2.4. Assume that
otherwise the point
is a singular point of
(5)
and that
and
are analytic at
, then they will have Maclaurin series expansion
(6)
with radius of convergence
and
respectively. That is
which converges for
. Then the point
is called a regular singular point of (5).
Theorem 2.5. Consider a power series
(7)
with radius of convergence R, then term by term differential and integration of the power series is permitted and does not change the radius of convergence that is;
(8)
(9)
Theorem 2.6. Let A be an
matrix and let the eigenvalue of A be denoted by
and consider the linear system of differential equation
(10)
(i) If
and all the eigenvalues of A with real part zero are simple, then zero is a stable fixed point of (10)
(ii) If
, then zero is a globally asymptotically stable solution of (10)
(iii) If there is an eigenvalue of A with positive real part, then zero is unstable
3. Results and Discussion
3.1. Stability Analysis of Mathieu Equation
We consider the equation
(11)
where p is a positive constant. Equation (11) can be written as
(12)
Let
then equation (12) can be written as
(13)
The equivalent system is given by
(14)
(14) can be reduced in matrix form as
(15)
(15) can further be written as
where,
and
For the eigenvalue of A we compute
(16)
(17)
(18)
(19)
Evaluating
in (19) we have
(20)
Since the eigenvalue is in complex form with real part equals to zero, then the equilibrium point is unstable.
3.2. Convergence of Mathieu Equation
We consider the Mathieu equation of the form;
(21)
From (21) we assume a power series solution of the form;
(22)
Differentiating (21) term by term we have
(23)
(24)
Substituting (23) and (24) into (21) we have
(25)
The indicial equation is obtained by looking at the coefficient of the lowest power
. Since this only occur in the first sum (for n = 0), it must vanish. This reduces (25) to
(26)
There are therefore two possible values of the index k = 0, k = 1 and this is quite typical for a second order equation. Changing the dummy index in the first sum by
we have
(27)
All the powers now look alike and we can now compare coefficient to obtain the recurrence relation given by
(28)
which reduces to
(29)
Given the value of
, we can evaluate
,
, etc. The odd
are completely independent and as far as getting a solution is concerned, we can put them all to zero. This independent of the odd and even
is a consequence of the fact that odd and even solution of the differential equation are possible.
In order to generate these odd/even solution, it is easiest to put
in order not to create extra solution by merely using some of the key solution into that of
.
The recurrence relation for
given by
(30)
has the solution
(31)
The recurrence relation for
is
(32)
with the solution
(33)
Recall that
(34)
(35)
Combining equations (31) and (33) we have
where
and
are arbitrary parameter
Using Ratio Test on
, we have
(36)
(37)
Similarly for
we have
(38)
Thus the interval of convergence is
, radius = infinity
Therefore
(39)
Since the limit of the odd and even function is equal to zero we conclude that the solution of Mathieu equation converges. Applying the boundary condition we have that
(40)
3.3. Numerical Simulation of Forced Mathieu’s Equation
Define a function that determines a vector of derivatives values at any solution point
Define an additional argument for solving the ODE
Initial value of independent variable
Final value of independent variable
Vector of initial function values
Numbers of solution values on
Independent variables values
First solution function values
Second solution function values
4. Conclusions
From our result, we observed that the solution existed using the Frobenius method and also periodic. The solution converged at the equilibrium point but unfortunately this convergence did not imply asymptotic stability, and the converse is true. The solution was observed to be unbounded for the given parameters w-ε. Since the solution is unbounded, we concluded that the corresponding equilibrium point in w-ε plane is unstable. This can be seen in Figure 3 where the phase portrait is far away from the equilibrium point. Due to the periodic nature of Mathieu’s equation, its application can be seen in propagation of waves in radios and television. MATHCAD software was also used to demonstrate the numerical behavior of the solution of Mathieu’s equation. The numerical behavior is explained as follows:
In Figure 1, periodic solution of Mathieu equation was shown by the relationship between the first solution function values and the independent variable values as seen in Table 1. The variable values were generated using the vector of initial function values X0 and the constant p. The periodic nature shown is unstable since the trajectory did not start from the equilibrium point. The maximum displacement reached by the trajectory is at ±0.1 representing a value along the first solution function values.
Table 1. The solution matrix table for solution function values.
Figure 1. Periodic profile of Mathieu’s equation obtained by plotting X1 against t for
.
Figure 2. Periodic profile of Mathieu’s equation obtained by plotting X2 against t for
.
Figure 3. Phase portrait showing instability of solution of Mathieu’s equation for
.
In Figure 2, the solution was also periodic using the second solution function values and independent variable values. The starting point of the trajectory was far from the origin hence showing instability of the system.
In Figure 3, phase portrait of Mathieu’s equation was obtained by relating X2 and X1. The phase portrait was seen to be far away from the equilibrium point. This shows that the solution of Mathieu’s equation is unstable with the maximum displacement coinciding with the maximum displacement of X1 in Figure 1. These values represent the maximum interval of stability of the system.