Open Access Research

Delayed phenomenon of loss of stability of solutions in a second-order quasi-linear singularly perturbed boundary value problem with a turning point

Zheyan Zhou* and Jianhe Shen

Author Affiliations

School of Mathematics and Computer Science, Fujian Normal University, Fuzhou 350007, People's Republic of China

For all author emails, please log on.

Boundary Value Problems 2011, 2011:35  doi:10.1186/1687-2770-2011-35


The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2011/1/35


Received:6 March 2011
Accepted:14 October 2011
Published:14 October 2011

© 2011 Zhou and Shen; licensee Springer.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Based on the method of differential inequalities, by constructing the upper ad lower solutions suitably, delayed phenomenon of loss of stability of solutions in a second-order quasi-linear singularly perturbed Dirichlet boundary value problem with a turning point is found in this paper. An illustrating example is performed to verify the obtained results.

Keywords:
Upper and lower solutions; singular perturbation; turning point; delay of loss of stability

§1 Introduction

In real-world applications, there are numerous examples, from biology, chemistry, neurophysiology, fluid dynamics, automation, semiconductor laser, etc., are described in dynamical systems with singular perturbation. The process evolving more than one scale in time and/or space is a typical feature of such type of dynamical systems.

The studies of singular perturbation can be traced back to nineteenth century stimulated greatly by celestial mechanics at that time. The Lindstedt-Poincaré method could be regarded as the first invention to deal with the secular term problems, which is one of the two broad categories of singularly perturbed problems [1,2]. Another broad category of singularly perturbed problems is the boundary layer problems [1,2]. The idea of boundary layer was proposed by Prandtl in the setting of fluid dynamics and aerodynamics. Matching principle was an invention of Prandtl to obtain uniformly valid asymptotic solutions of boundary layer problems.

In the process of developing the theory of singular perturbation, Tikhonov's limit theory [3,4] and Fenichel's geometric theory [5,6] are two seminal works. Both the two theories tell us that the solutions of singularly perturbed problems tend to the stable solutions of the corresponding reduced problems with the small parameter approaching to zero under the normally hyperbolic condition. Since then, under this essential condition of normal hyperbolicity, the theory of singular perturbation finds applications in many problems including boundary value problems [7], existence of solitons [8], and biological models [9], etc.

However, there are many practical situations in which the normal hyperbolicity of the reduced solutions lose. That is, in geometrical speaking, there exist turning points on the critical curve. The existence of turning points leads to several new phenomena in singularly perturbed systems such as exchange of stability and delay of exchange of stability [10]. In general speaking, both exchange of stability and delay of exchange of stability have tight relationship with relaxation oscillations and the latter may lead to canards.

Delay of loss (or exchange) of stability is a typical characteristic of canards detected first in singularly perturbed systems before 30 years ago by the technique of nonstandard analysis [11]. Eckhaus [12] applied standard asymptotic analysis and found the canard phenomenon too. From then on, canard has been studied extensively and several methods including matching asymptotic expansion and blow-up, etc., have been developed. Nowadays, it has been well known that canards are not the exotic objects, but occur frequently in a great deal of real-world applications including chemical reactions [13] and neuron dynamics [14] and so on.

An easy and interesting example for explaining canard solutions was provided by O'Malley in [15,16],

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M1">View MathML</a>

which is a first-order linear singularly perturbed initial value problem, in which x = 0 is the turning point. Shchepakina et al. [17] gave also several systems for illustrating canards. However, as far as the authors know, there are rare contributions concerning canards in nonlinear singularly perturbed boundary value problems. In fact, the solution of a second-order linear two-point boundary value problem as follows, contained in the monograph of Kevorkian and Cole [1], is a canard,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M2">View MathML</a>

in which, x = 0 is the turning point. This canard was approximated by matching asymptotic expansion with the aid of the variational approach.

In this paper, based on the method of differential inequalities, by constructing the upper and lower solutions suitably, delayed phenomenon of loss of stability of solutions in the following second-order quasi-linear Dirichlet boundary value problem with a turning point is studied in details,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M3','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M3">View MathML</a>

(1)

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M4','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M4">View MathML</a>

(2)

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M5','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M5">View MathML</a>

(3)

in which, the prime denotes the derivative with respect to x, 0 < ε ≪ 1 is a small parameter, a, b, A, and B are constants with a < 0 < b and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M6">View MathML</a>

(4)

In other words, existence of canard solutions in boundary value problem (1-3) is obtained in this paper.

The paper is arranged as follows. In the next section, the asymptotic solution of (1-3) is constructed formally. The uniform validity and the error of the asymptotic solution are given in Section 3, which form the main results of the present paper. By the dynamical behavior of the asymptotic solution, we know that the solution of (1-3) approximated by this asymptotic solution has the feature of delay of loss of stability, i.e., it is a canard. In Section 4, an illustrating example is provided for verifying the correctness of the main results in the paper.

Remark 1. If the solution of boundary value problem (1-3) changes sign in the interval (a, b), then it is said that boundary value problem (1-3) has a turning point.

Remark 2. Although there have been many works concentrating on singularly perturbed problems with turning points, however, as far as the authors know, it seems so far that rare works are concerning with canard solutions in quasi-linear singularly perturbed boundary value problems.

§2 Construction of the asymptotic solution

Set ε = 0 in Equation (1), we obtain the reduced equation

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M7','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M7">View MathML</a>

(5)

which has a family of solutions

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M8','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M8">View MathML</a>

(6)

where C is a constant of integration to be determined and a particular solution up(x) ≡ 0.

Obviously, the trivial solution up(x) ≡ 0 is lack of attraction. Hence, in general, it is not reasonable to expect that there exist the solutions of (1-3) to be attracted by this particular solution.

On the other hand, by direct linear stability analysis, it can be seen that the solutions defined in (6) are attracted for x < C and repelled for x > C. Hence, x = C is viewed as a turning point, where a < C < b is assumed. However, in the next section, utilizing the method of upper and lower solutions, we will prove that there exists at least one solution of (1-3) tending to one of the family of solutions (6) on the whole interval (a, b) with ε → 0. This is the delayed phenomenon of loss of stability of solutions occurring particularly in singularly perturbed systems with turning points.

The solutions defined in (6) can be regarded as the outer solutions. Generally, they cannot satisfy the boundary conditions (2) and (3). Consequently, there will be two boundary layers at the ended points of the interval. Hence, for obtaining the uniformly valid asymptotic solution, corrections must be performed at the regions of boundary layers.

Introduce a fast time scale,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M9','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M9">View MathML</a>

by which, Equation (1) and boundary condition (2) can, respectively, be transformed into the following forms,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M10','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M10">View MathML</a>

(7)

and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M11','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M11">View MathML</a>

(8)

Making ε → 0 in (7) yields

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M12','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M12">View MathML</a>

(9)

which is solvable. The solution of Equation (9) satisfying condition (8), denoted by VL(τ1), can be regarded as the zero-order approximation to the solution of (7) and (8). In other words, VL(τ1) is a zero-order approximation to the left boundary layer. Of course, at present, this zero-order approximation contains a constant to be determined by matching.

Let <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M13','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M13">View MathML</a>, then <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M14','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M14">View MathML</a>. Accordingly, Equation (9) is reduced to

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M15">View MathML</a>

(10)

admitting P ≡ 0 which is discarded, and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M16">View MathML</a>

(11)

which finally yields

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M17','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M17">View MathML</a>

i.e.,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M18','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M18">View MathML</a>

(12)

where C1 is a nonzero constant of integration.

Denote <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M19','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M19">View MathML</a>, in which a1 R. Hence, C1 > 0 is meant. Consequently, Equation (12) can be rewritten as

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M20','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M20">View MathML</a>

(13)

Integrating both sides of Equation (13) yields

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M21','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M21">View MathML</a>

where M1 > 0 is a constant of integration. There are two cases to be discussed.

Case I: |VL| > |a1|. In this case, we have

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M22">View MathML</a>

which is a hyperbolic coth function with

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M23','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M23">View MathML</a>

(14)

in which, d1 is a constant determined by

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M24','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M24">View MathML</a>

(15)

Case II: |VL| < |a1|. In this case,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M25">View MathML</a>

Direct calculations show that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M26','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M26">View MathML</a>

(16)

where d1 is defined in Equation (15).

Obviously, it follows from Equations (14) and (16) that the function VL(τ1) given in cases I and II is, respectively, the monotone decreasing and increasing functions.

Matching between the outer solutions and the left boundary layer correction requires that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M27">View MathML</a>

Thus, if a1 < 0, since

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M28','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M28">View MathML</a>

then

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M29','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M29">View MathML</a>

If a1 > 0, since

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M30','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M30">View MathML</a>

then

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M31','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M31">View MathML</a>

Now, it can be seen that both the a1 < 0 and a1 > 0 cases are possible for matching. Therefore, without loss of generality, the a1 > 0 case can be adopted. Consequently, we have the hyperbolic coth function

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M32','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M32">View MathML</a>

(17)

and the hyperbolic tanh function

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M33">View MathML</a>

(18)

Both of them are possible to be the left boundary layer correction.

By setting τ1 = 0 in Equations (17) and (18) and taking Equation (8) into account, we obtain from (17) and (18), respectively, that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M34">View MathML</a>

(19)

and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M35','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M35">View MathML</a>

(20)

by which, the constant M1 is determined, i.e., equivalently, the constant d1 in (15) is determined. Till now, VL(τ1) defined in (17) and (18) have been determined completely.

Similarly, matching between the outer solutions and the right boundary layer correction requires that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M36">View MathML</a>

In the same way, two boundary layer functions possible to be the corrections on the right turn out to be

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M37','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M37">View MathML</a>

(21)

and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M38">View MathML</a>

(22)

in which, u(b) = -b + C < 0,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M39','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M39">View MathML</a>

is another fast time scale, and d2 is a constant to be determined by the following equality

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M40','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M40">View MathML</a>

Similarly, the function VR(τ2) defined in Equations (21) and (22) is, respectively, the monotone decreasing and increasing functions.

Finally, like the deductions of (19) and (20), we have, respectively, that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M41','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M41">View MathML</a>

(23)

and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M42','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M42">View MathML</a>

(24)

by which, the constant M2, i.e., the constant d2 is determined. Consequently, the function VR(τ2) in Equations (21) and (22) is completely known.

Now, it has been clearly known that, near the left- and right-ended points of the interval, there both have two candidates, possible to be the boundary layer corrections. Which pair of the hyperbolic functions in Equations (17-18) and (21-22) is chosen depending on the practical situations like the boundary conditions. In the following of the paper, we will show that the hyperbolic coth functions defined in Equations (17) and (21) must be selected to be the left and right boundary layer corrections, respectively.

Consequently, so far the formally asymptotic solution is given by

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M43','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M43">View MathML</a>

(25)

in which, u(t), VL(τ1), and VR(τ2) are defined in Equations (6, 17), and (21), respectively, and the constant C in Equation (6) will be determined later. In the following section, based on the theory of differential inequalities, by constructing the upper and lower solutions suitably, we will prove that this asymptotic solution is uniformly valid with certain order. Consequently, by the dynamical behavior of the asymptotic solution (25), delay loss of stability of solution in (1-3) can be seen, i.e., existence of canard solutions in (1-3) is known and this canard is approximated uniformly by the asymptotic solution (25).

§3 A lemma and the main results

To prove the main results of the current paper, the following lemma is needed.

Lemma 1 [18] Consider second-order nonlinear boundary value problems with Dirichlet boundary conditions,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M44">View MathML</a>

in which a, b, A, and B are constants.

For this boundary value problem, if the following conditions hold,

(1) there exist the upper and lower solutions, i.e., there are functions β(x), α(x) ∈ C2[a, b] with β(x) ≥ α(x) such that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M45','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M45">View MathML</a>

and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M46','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M46">View MathML</a>

(2) the function f(x, y, y') satisfies the Nagumo condition with respect to β(t) and α(t), then there exists at least one solution y(x) ∈ C2[a, b] with the following estimate:

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M47','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M47">View MathML</a>

Based on Lemma 1, we turn to prove the following theorems.

Theorem 1 There exists at least one solution of boundary value problem (1-3) such that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M48','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M48">View MathML</a>

(26)

where γ is a positive constant, yasy(x, ε) is given by Equation (25) in which

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M49','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M49">View MathML</a>

i.e., C = 0 in Equation (6) is determined.

By Theorem 1 and the dynamical behavior of yasy(x, ε), the following Theorem 2 can be concluded directly.

Theorem 2 There exist at least one solution of boundary value problem (1-3) with the following asymptotic behavior:

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M50','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M50">View MathML</a>

Theorems 1 and 2 together mean Theorem 3 as follows.

Theorem 3 Boundary value problem (1-3) has at least one canard solution, whose zero-order approximation is given by Equation (25).

Proof of Theorem 1 Define the upper and lower solutions as follows:

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M51','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M51">View MathML</a>

(27)

and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M52','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M52">View MathML</a>

(28)

in which, γ is a positive constant.

Since the right-hand side function in Equation (1) satisfies the Nagumo condition, thus, to obtain Theorem 1, it is left to verify that the upper and lower solutions (31) and (32) satisfy the condition (1) in Lemma 1.

Firstly, we prove the following inequality:

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M53','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M53">View MathML</a>

(29)

In fact,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M54','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M54">View MathML</a>

(30)

in which as well as in the following of the paper, the prime and the dot always denote the derivations with respect to the slow scale x and the fast scales τ1, τ2, respectively.

We want to prove that the quantity defined in Equation (30) is not positive. The proof is completed by dividing the interval [a, b] into five parts.

Part I. x ∈ [a, a + δ1), where δ1 > 0 is a sufficiently small constant independent of ε.

In this case, it can be deduced from Equation (17) that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M55','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M55">View MathML</a>

(31)

which are both constants. Similarly, we can derive from Equation (21) that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M56','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M56">View MathML</a>

(32)

in which, for ε sufficiently small, <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M57','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M57">View MathML</a> denotes a quantity that is exponentially small and negative, and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M58','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M58">View MathML</a>

(33)

which is a exponential small quantity too.

Substituting Equations (31-33) into Equation (30) and taking a + b = 0 into account yields

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M59','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M59">View MathML</a>

(34)

By comparing the order of the four parts in Equation (34), we can find that, for ε sufficiently small, the sign of Equation (34) is determined by its first part, i.e.,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M60','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M60">View MathML</a>

(35)

Hence, if the constant C in Equation (35) is chosen such that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M61','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M61">View MathML</a>

(36)

then

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M62">View MathML</a>

Consequently, when x = a, the quantity defined in (30) is negative if the inequality (36) holds and ε is sufficiently small. Hence, there exists a sufficiently small constant δ1 > 0 independent of ε such that the quantity defined in (30) is negative for x ∈ [a, a + δ1).

On the contrary, we can see that when the following differential inequality to be proved,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M63">View MathML</a>

(37)

in which, α(x, ε) is defined in Equation (28), it is required that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M64">View MathML</a>

(38)

Accordingly, the inequalities (36) and (38) together yield

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M65">View MathML</a>

(39)

Therefore, in what follows, C = 0 is set in Equation (6). Thus, u(x) = -x turns out to be the reduced solution.

Part II. x = 0.

In this case, since the boundary values in (2-3) satisfy

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M66">View MathML</a>

it then follows from Equations (19) and (23) that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M67">View MathML</a>

in which, a = -b has been noted, which finally implies that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M68">View MathML</a>

(40)

Consequently, by setting x = 0 in Equation (30), one gets

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M69','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M69">View MathML</a>

in which, a = -b and M1 = M2 have been taken into account. Thus, when x = 0, the inequality (29) holds.

Part III. x ∈ [a = δ1, 0].

Taking the cases in Parts I and II into account, if the inequality (29) does not hold uniformly in this region, then there must be at least one point x* ∈ (a = δ1, 0) such that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M70','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M70">View MathML</a>

in which

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M71','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M71">View MathML</a>

However, for ε sufficiently small, since <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M72','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M72">View MathML</a>, <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M73','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M73">View MathML</a> and VL + VR are exponentially small in this region, thus, it can be shown by direct calculations that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M74">View MathML</a>

which is a contradiction.

Part IV. x ∈ (b - δ2, b], where δ2 > 0 is a sufficiently small constant independent of ε.

In this region, the proof of the inequality (29) is parallel to Part I completely. Like the deductions of Equations (31-33), the values of <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M75','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M75">View MathML</a>, <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M76','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M76">View MathML</a>, <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M77','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M77">View MathML</a>, and <a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M78','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M78">View MathML</a> can be calculated. Consequently, we can see that, when x = b, the other parts in Equation (30) are the higher-order small quantities compared with its second part. Thus, the sign of Equation (30) is determined by its second part, which is a negative quantity. Accordingly, the inequality (29) is proved.

Part V. x ∈ (0, b - δ2,], In this region, the proof of the inequality (29) is parallel to Part III completely.

So far the proof of the differential inequality (29) has been finished for x ∈ [a, b]. In the same way, the differential inequality (37) can be proved.

In what follows, we turn to prove the inequalities on the boundaries. For ε sufficiently small, we have

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M79','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M79">View MathML</a>

in which, u(a) = -a, u(b) = -b, and a + b = 0 have been used.

Similarly, it can be proved that

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M80">View MathML</a>

Therefore, according to Lemma 1, we have

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M81','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M81">View MathML</a>

and accordingly, Theorem 1 is derived.

Remark 3. From the proof of Theorem 1, we know that the construction of the upper and lower solutions defined in (27) and (28), respectively, is essential. The error term x4γε introduced in (27) and (28) seems necessary for discussing the existence of canard solutions in singularly perturbed problems (1-3).

§ 4 An illustrating example

Consider a second-order quasi-linear singularly perturbed Dirichlet boundary value problem as follows,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M82','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M82">View MathML</a>

in which, the boundary points and the boundary values satisfy the conditions (4).

According to Theorem 1, the uniformly valid zero-order asymptotic solution of this boundary value problem is given by

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M83">View MathML</a>

(41)

in which, M1 and M2 are, respectively, determined by

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M84','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M84">View MathML</a>

and

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M85','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M85">View MathML</a>

Consequently,

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M86','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M86">View MathML</a>

(42)

are derived.

Substituting Equation (42) into (41) yields

<a onClick="popup('http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M87','MathML',630,470);return false;" target="_blank" href="http://www.boundaryvalueproblems.com/content/2011/1/35/mathml/M87">View MathML</a>

(43)

The asymptotic solution (43) is simulated in Figure 1 with different values of ε. In the figure, the solid, dashing, and dotted lines represent, respectively, the reduced solution, the asymptotic solutions with ε = 0.1 and ε = 0.01. From this figure, we can see that

thumbnailFigure 1. The reduced solution and the asymptotic solutions. Solid line The reduced solution; dashing line the asymptotic solution with ε = 0.1; dotted line the asymptotic solution with ε = 0.01.

(1) delayed phenomenon of loss of stability of solutions really occurs, that is, existence of canards in this boundary value problem is verified. This canard solution is approximated by (43) with the accuracy of zero-order;

(2) with ε → 0, the asymptotic solution approaches more and more to the reduced solution in the whole interval (a, b). Therefore, the zero-order approximation is sufficiently accurate for the small ε.

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

The authors wrote this article in collaboration and with same responsibility. All authors read and approved the final manuscript.

References

  1. Kevorkian, JK, Cole, JD: Perturbation Methods in Applied Mathematics. Springer, New York (1981)

  2. Verhulst, F: Methods and Applications of Singular Perturbations: Boundary Layers and Multiple Timescales Dynamics. Springer, New York (2005)

  3. Tikhonov, AN: On the dependence of solutions of differential equations on a small parameter. Math. Sb. 73, 575–586 (1952)

  4. Tikhonov, AN: Systems of differential equations containing a small parameter. Math. Sb. 64, 193–204 (1948)

  5. Fenichel, N: Geometric singular perturbation theory for ordinary equations. J. Diff. Equs. 31, 53–98 (1979)

  6. Christopher, KRT: Geometric singular perturbation theory. Lecture Notes Math. 1609, 44–118 (1995)

  7. Lin, XB: Heteroclinic bifurcation and singularly perturbed boundary value problems. J. Diff. Equs. 84, 319–382 (1990)

  8. Beck, M, Doelman, A, Kaper, TJ: A geometric construction of traveling waves in a bioremediation model. J. Nonlinear Sci. 16, 329–349 (2006)

  9. Hek, G: Geometric singular perturbation theory in biological practice. J. Math. Biol. 60, 347–386 (2010)

  10. Butuzov, VF, Nefedov, NN, Schneider, KR: Singularly perturbed problems in cases of exchange of stabilities. J. Math. Sci. 1210, 1973–2079 (2004)

  11. Callot, JL, Diener, F, Diener, M: Le Problème de la "chasse au canard". C. R. Acad. Sci. Paris. 286, 1059–1061 (1978)

  12. Eckhaus, W: Relaxation oscillations including a standard chase on French ducks. Lecture Notes Math. 985, 449–494 (1983)

  13. Xie, F, Han, M, Zhang, W: Canard phenomena in oscillations of a surface oxidation reaction. J. Nonlinear Sci. 15, 363–386 (2005)

  14. Horacio, G: A Canard mechanics for localization in systems of globally coupled oscillators. SIAM J. Appl. Math. 63, 1998–2019 (2003)

  15. O'Malley, RE Jr.: Singular Perturbation Methods for Ordinary Differential Equations. Springer, New York (1991)

  16. Lin, P, O'Malley, RE Jr.: The numerical solution of a challenging class of turning problems. SIAM J. Sci. Comput. 25, 927–941 (2003)

  17. Shchepakina, E, Sobolev, V: Integral manifolds, canards and black swans. Nonlinear Anal. TMA. 44, 897–908 (2001)

  18. Chang, KW, Howes, FA: Nonlinear Singular Perturbation Phenomena: Theory and Application. Springer, New York (1983)