Research Article | Open Access
Süleyman Cengizci, "An Asymptotic-Numerical Hybrid Method for Solving Singularly Perturbed Linear Delay Differential Equations", International Journal of Differential Equations, vol. 2017, Article ID 7269450, 8 pages, 2017. https://doi.org/10.1155/2017/7269450
An Asymptotic-Numerical Hybrid Method for Solving Singularly Perturbed Linear Delay Differential Equations
In this work, approximations to the solutions of singularly perturbed second-order linear delay differential equations are studied. We firstly use two-term Taylor series expansion for the delayed convection term and obtain a singularly perturbed ordinary differential equation (ODE). Later, an efficient and simple asymptotic method so called Successive Complementary Expansion Method (SCEM) is employed to obtain a uniformly valid approximation to this corresponding singularly perturbed ODE. As the final step, we employ a numerical procedure to solve the resulting equations that come from SCEM procedure. In order to show efficiency of this numerical-asymptotic hybrid method, we compare the results with exact solutions if possible; if not we compare with the results that are obtained by other reported methods.
Almost all physical phenomena in nature are modelled using differential equations, and singularly perturbed problems are vital class of these kinds of problems. In general, a singular perturbation problem is defined as a differential equation that is controlled by a positive small parameter that exists as multiplier to the highest derivative term in the differential equation. As tends to zero, the solution of problem exhibits interesting behaviors (rapid changes) since the order of the equation reduces. The region where these rapid changes occur is called inner region and the region in which the solution changes mildly is called outer region. As mentioned in [1, 2], these kinds of problems arise in almost all applied natural sciences. Some of these can be given as mechanical and electrical systems, celestial mechanics, fluid and solid mechanics, electromagnetics, particle and quantum physics, chemical and biochemical reactions, and economics and financial mathematics. Various methods are employed to solve singular perturbation problems analytically, numerically, or asymptotically such as the method of matched asymptotic expansions (MMAE), the method of multiple scales, the method of WKB approximation, Poincaré-Lindstedt method and periodic averaging method. Rigorous analysis and applications of these methods can be found in [3–8].
Modelling automatic systems often involve the idea of control because feedback is necessary in order to maintain a stable state. But much of this feedback require a finite time to sense information and react to it. A general way for describing this process is to formulate a delay differential equation (difference-differential equation). Delay differential equations (DDE) are widely used for modelling problems in population dynamics, nonlinear optics, fluid mechanics, mechanical engineering, evolutionary biology, and even modelling of HIV infection and human pupil-light reflex. One can refer to [10–14] for general theory and applications of DDEs.
In this paper, we study an important class of delay differential equations: singularly perturbed linear delay differential equations. A singularly perturbed delay differential equation is a differential equation in which the highest-order derivative is multiplied by a positive small parameter and involving at least one delay term. We restrict our attention to singularly perturbed second-order ordinary delay differential equations that contains the delay in convection term. Various methods have been used to solve singularly perturbed DDEs such as finite difference methods [9, 15, 16], finite element methods [17, 18], homotopy perturbation method [19, 20], reproducing kernel method [21, 22], spline collocation methods [23, 24], and asymptotic approaches [25, 26]. We use an asymptotic-numerical hybrid method in order to find uniformly valid approximations to singularly perturbed ODEs. At the first step, two-term Taylor series expansion is used to vanish delayed term. Secondly, to obtain a uniformly valid approximation an efficient and easily applicable asymptotic method so called Successive Complementary Expansion Method (SCEM) that was introduced in  is employed. Finally, a numerical approach is used to solve resulting equations that come from SCEM process.
2. Description of the Method
In this section, we first give a short overview of asymptotic approximations and then explain Successive Complementary Expansion Method by which we obtain highly accurate approximations to solutions of singularly perturbed linear DDEs.
Consider two continuous functions of real numbers and that depend on a positive small parameter ; then for if there exist positive constants and such that with for , and for if . Let be a set of real functions that depend on , strictly positive and continuous in , such that exists and for each , . A function that satisfies these conditions is called order function. Given two functions and defined in a domain are asymptotically identical to order if their difference is asymptotically smaller than , where is an order function; that is,where is a positive small parameter arising from the physical problem under consideration. The function is named as asymptotic approximation of the function Asymptotic approximations in general form are defined bywhere , as . Under these conditions, the approximation (2) is named as generalized asymptotic expansion. If the expansion (2) is written in the form ofthen it is called regular asymptotic expansion where the special operator is outer expansion operator of a given order Thus, . For more detailed information about the asymptotic approximations, we refer the interested reader to [3–8, 28, 29].
Interesting behaviors occur when the function is not regular in so (2) or (3) is valid only in a restricted region , called the outer region. We introduce an inner domain which can be formally denoted as and corresponding inner layer variable, located near the point , as , with being the order of thickness of the boundary layer (the region in which the rapid changes-behaviors occur). If a regular expansion can be constructed in , one can write down the approximation aswhere the inner expansion operator , defined in , is of the same order as the outer expansion operator ; that is, . Thus,is clearly uniformly valid approximation (UVA) [28–30].
Now let us consider second-order singularly perturbed DDE in its general form (delay in the convection term):where small parameter and Boundary and interval conditions are given aswhere , and are smooth functions, , and is delay term.
As tends to zero, the order of the differential equation reduces and so a layer occurs in the solution. The sign of on the interval determines the type of the layer. If the sign changes on the interval, interior layer behavior occurs in the solution. If the sign of does not change, there are two possibilities: if on , then a boundary layer occurs at the right end (near the point ) and if on , then a boundary layer occurs at the left end (near the point ).
Using Taylor series expansion we linearize the convection term; that is, and substituting it into (6) one can reachLetting , where is found and it is clear that (9) is a singularly perturbed ordinary differential equation for with the same boundary and interval conditions as given by (7). SCEM procedure is applicable at this stage.
The uniformly valid SCEM approximation is in the regular form given bywhere is an asymptotic sequence and functions are the complementary functions that depend on . If the functions and depend also on , the uniformly valid SCEM approximation is called generalized SCEM approximation and given byIf only one-term SCEM approximation is desired, then one seeks a uniformly valid SCEM approximation in the form ofTo improve the accuracy of approximation, (12) can be iterated using (11). It means that successive complementary terms will be added to the approximation. To this end, second SCEM approximation will be in the form ofIn this work, we seek an approximation in our calculations in the form of (13).
Now, let us assume that problem (9) has a left boundary layer (near the point ) and let be asymptotic approximation to the outer solution and let be the complementary solution, where is boundary layer (stretching) variable. If approximationsare substituted into (9) and if each term is balanced with respect to the powers of (we balance just the terms and ),are found. If the same procedure is applied for equations that involve complementary functionswith the boundary conditions with the boundary conditionsbeing obtained and so (13) gives uniformly valid second SCEM approximation.
3. Illustrative Examples
3.1. Left Boundary Layer Problem
Consider singularly perturbed DDE that exhibits a boundary layer at the left end of the interval:with the boundary conditions and . The exact solution of this problem is given by , where . As the first step, we use two-term Taylor expansion for . If we substitute it into (19), the problem turns intoIn order to obtain a uniformly valid approximation (UVA), we first seek an outer solution which is valid far from the boundary layer (the boundary layer is near the point for this problem) and then using SCEM we add complementary solution to it. Later, using the same idea, we will get more accurate approximations.
Outer Region Solutions. Let us take , assuming that depends on , and adopt a solution for the outer region in the form of . Equation (20) turns intoand balancing the terms of the order and, we reach the equationsOne can easily find the exact solutions of these equations asIt means that the outer solution is of the form
Complementary Solutions. Now applying the stretching transformation and adopting the complementary solution as , one can reachBalancing the terms of the order and , we obtainHere we are able to solve and exactly, but in many cases to obtain analytical solution to and is really tedious process, even for many problems it is impossible. The solutions may be given asand is given as the solution of (27). Since we solve (27) numerically (MATLAB bvp4c routine) and the others using an asymptotic scheme, our present method is a hybrid method. As a result, we obtain first two SCEM approximations to problem (19) as follows:
3.2. Right Boundary Layer Problem
Consider singularly perturbed DDE that exhibits a boundary layer at the right end of the intervalwith the boundary and interval conditionsUsing two-term Taylor expansion for the convection term, we reach and applying it to (30) one can obtainwith the boundary conditions and .
In order to obtain a uniformly valid approximation, we first seek an outer solution which is valid for far from the boundary layer (the boundary layer is near the point for this problem) and then using SCEM we add complementary solution to it. Later, using the same idea, we will get more accurate approximations.
Outer Region Solutions. Let us take assuming that depends on and adopt an approximation for the outer region in the form of . Equation (32) turns intobalancing the terms of the order and, we reach the equationsOne can easily find the exact solutions of these equations asIt means that the outer solution is of the form
Complementary Solutions. Now applying the stretching transformation and adopting the complementary solution as one can reachBalancing the terms of the order and we obtainThe solutions are given asand is given as the solution of (39). Thus, we reach uniformly valid SCEM approximations as
In this paper, singularly perturbed second-order linear delay differential equations that have a delay in the convection term are considered. Firstly, the delayed terms are linearized using two-term Taylor series expansion. Later, an efficient asymptotic method so called Successive Complementary Expansion Method (SCEM) is employed so as to obtain a uniformly valid approximation scheme. At the last stage, the equations that come from the SCEM process are solved by a numerical procedure and so the present method is an asymptotic-numerical hybrid method. The method is easily applicable since it does not require any matching principle in contrast to the well-known method matched asymptotic expansions (MMAE). Highly accurate approximations are obtained in only few iterations and moreover boundary conditions are not satisfied asymptotically, but exactly. In Tables 1 and 2, exact solution, present method approximations, and approximations that are obtained by the method given in  are compared and to show the efficiency of present method, results are supported by Figures 1, 3, and 4. In Figures 2 and 5, the delay effects are compared and since the right layer problem does not have an exact solution, the first two SCEM approximations are compared in Table 3. As a result, the present method is a simple and very efficient technique for solving singularly perturbed linear DDEs.