Exponential Spline Solution for Singularly Perturbed Boundary Value Problems with an Uncertain—But—Bounded Parameter

Abstract

In this paper, we develop a new numerical method which is based on an exponential spline and Shishkin mesh discretization to solve singularly perturbed boundary value problems, which contain a small uncertain perturbation parameter. The proposed method uses interval analysis principle to deal with the uncertain parameter and the Monte Carlo Simulations (MCS) are used to validate the solution and the accuracy of the proposed method. Furthermore, sensitivity analysis has been conducted using different methods to assess how much the solution is sensitive to the changes of the perturbation parameter. Numerical results are provided to show the applicability and efficiency of the proposed method, which is ε-uniform convergence of almost second order.

Share and Cite:

Zahra, W. , El-Beltagy, M. , El Mhlawy, A. and Elkhadrawy, R. (2018) Exponential Spline Solution for Singularly Perturbed Boundary Value Problems with an Uncertain—But—Bounded Parameter. Journal of Applied Mathematics and Physics, 6, 854-863. doi: 10.4236/jamp.2018.64073.

1. Introduction

In this paper, we consider the following singularly perturbed problem [1] ;

E y + μ f ( x ) y + g ( x ) y = r ( x ) , x [ a , b ] (1)

subject to the following boundary conditions,

y ( a ) α = y ( b ) β = 0 (2)

where 0 < E 1 and 0 < μ 1 are two small perturbation parameters; f ( x ) , g ( x ) and r ( x ) are sufficiently smooth functions for x [ a , b ] ; a, b, α, and β are real constants. In general, the solution y ( x ) may exhibit two boundary layers of exponential type at both end points x = a , b .

Different applications in science and engineering consider these kinds of problems that describe complicated physical and chemical models such as heat transfer problems, Navier-Stokes flow with large Reynolds numbers, chemical reactor theory, convection-diffusion processes, geophysics, aerodynamics, reaction-diffusion processes, quantum mechanics and optimal control, etc. Its solution exhibits two layers at the two endpoints of the domain. The nature of the two-parameter problem was asymptotically examined by [2] . It was found that layer-adapted meshes have been required to obtain a uniformly convergent method no matter how small the perturbation parameter see [3] for more details.

Many numerical methods have been developed for the solution of two layer boundary value problems, such as described in [4] , [5] , [6] and [7] for one parameter singularly perturbed boundary value problems and with two small parameters are considered in [1] , [3] , [8] and [9] , but on a Shishkin-type mesh. Vulanovic [10] considered Shishkin and Bakhvalov meshes but assumed

μ = E p + 1 2 with p > 0. Dag and Sahin presented a numerical solution of singularly

perturbed boundary value problems, using finite element method [11] . Their collocation method was applied with quadratic and cubic B-spline base functions over the geometrically graded mesh of the solution domain. In 2010, Rashidina and Mohammadi [12] considered the self-adjoint singularly perturbed two-point boundary value problems. Ramadan et al. (2007) [13] developed quintic nonpolynomial spline methods for the numerical solution of fourth order two-point boundary value problems. A second order monotone numerical method was constructed by Gracia et al. in 2006 [14] for a singularly perturbed ordinary differential equation with two small parameters affecting the convection and diffusion terms. The monotone operator was combined with a piecewise uniform Shishkin mesh. Kadalbajoo and Yadaw [15] presented a B-spline collocation method for solving a class of two-parameter singularly perturbed boundary value problems. They used B-spline collocation method on piecewise-uniform Shishkin mesh, which leads to a tridiagonal linear system. Their method was shown to have a uniform convergence of second order.

For a more reasonable analysis of the system response, uncertainty should be involved. When the exact value of a quantity is unknown, its approximation and corresponding degree of uncertainty can be conveyed via an interval, which estimates a range of possible values expected to include, firstly suggested by several mathematicians for bounding round-off errors, the interval analysis is fully developed by Moore [16] . We are going to use MCS as a validating tool for the proposed method. MCS is the simplest method for treating any randomness in a system [17] . The method basically depends on generating a set of realization of the random parameter, then a unique solution is defined by carrying out the deterministic solver for each of these realizations. In 1967, Stein [18] generalized his model which incorporates stochastic effects due to neuronal excitations to handle a distribution of post-synaptic potential amplitudes and used the Monte-Carlo technique for approximating the solution. David Edwards [19] developed a multi-region FDM technique for a particular singularly perturbed boundary value problem and this method was based on Monte Carlo techniques.

The main contribution of this paper is to develop a new spline method based on a Shishkin mesh discretization for obtaining an approximation for the solution of two-layer boundary value problems. As the perturbation parameter is not deterministic, therefore the interval analysis is considered to estimate the solution range. The validation of the developed solver will be done by comparing the exact and the approximate solutions of the proposed method and the MCS results. The convergence analysis also is presented numerically and shows that the presented method is almost second-order.

The paper is organized as follows: In Section 2, we derive our spline scheme. Mesh strategy based on a Shishkin mesh is presented in Section 3. In Section 4, we present interval analysis and sensitivity measures. Numerical results are discussed in Section 5. Section 6 is devoted to the final conclusions, while future work is provided in section 7. Finally, Section 8 is dedicated to references.

2. Derivation of Exponential Spline

We discretize the solution region Ω = [ a , b ] such that a = x 0 < x 1 < x 2 < < x N 1 < x N = b . Where N is the number of mesh points. Let h j = x j + 1 x j , j = 1 , 2 , 3 , , N be the mesh size and the mesh ratio

σ j = h j + 1 h j > 0 , j = 1 , 2 , 3 , , N 1 . When σ = 1 the mesh reduces to a uniform mesh, h j + 1 = h j = h . The interpolating exponential spline approximation function can be defined as [20] :

S ( x ) = a j + b j ( x x j ) + c j ξ j ( x x j h j ) + d j ζ j ( x x j h j ) , j = 0 , 1 , , N 1 (3)

where ξ j ( x ) = 2 / τ 2 [ cosh ( τ x ) 1 ] , ζ j = 6 / τ 3 [ sinh ( τ x ) τ x ] , a j , b j , c j , d j are constants and τ is a free parameter such that the non-polynomial spline (3) reduces to usual cubic spline when τ approaches to zero [21] , which satisfies the following conditions:

1) S ( x j ) C 2 [ a , b ] ,

2) S ( x j ) = y ( x j ) , S ( x j ) = M j . (4)

The algebraic manipulations of Equations (3) and (4) yield the following expressions:

1) a j = y j ,

2) b j = 1 h j ( y j + 1 y j ) + ( h j τ sinh τ h j τ 2 ) M j + 1 + ( h j τ 2 h j τ coth τ ) M j ,

3) c j = h j 2 2 M j ,

4) d j = τ h j 2 6 sinh τ ( M j + 1 M j cosh τ ) . (5)

From the aspect of the first derivative continuity at the mesh points yields the expression for the determination of S ( x j ) where i = 0 , , N . We can get the following exponential spline identity relation:

y j + 1 ( 1 + σ j ) y j + σ j y j 1 = h j h j 1 [ α j M j + 1 + ( 1 + σ j ) β j M j + γ j M j 1 ] (6)

where

α j = 1 τ j 2 1 τ j sinh τ j , β j = coth τ j τ j 1 τ j , γ j = 1 τ j 2 + 1 τ j ( sinh τ j coth τ j cosh τ j ) , j = 1 , 2 , (7)

Note that, the exponential spline relation (6) is consistent with the standard variable-mesh cubic spline if τ 0 , hence α = γ = 1 6 , β = 1 3 [22] . If we choose α = γ = 1 12 , β = 5 12 , this method is known as the Numerov method [23] .

3. Mesh Selection Strategy

We consider the simplest possible non-uniform mesh, namely a piecewise-uniform mesh proposed by Shishkin [24] . The domain is Ω = [ a , b ] into three sub-domains

Ω l = [ a , a + ω 1 ] , Ω c = [ a + ω 1 , b ω 2 ] , Ω r = [ b ω 2 , b ]

where the transition parameters are given by:

ω 1 = min ( 1 4 , 2 φ 1 ln N ) , ω 2 = min ( 1 4 , 2 φ 2 ln N ) and φ 1 = max x [ a , b ] λ 1 ( x ) , φ 2 = min x [ a , b ] λ 2 ( x ) (8)

where λ 1 ( x ) and λ 2 ( x ) are two solutions of the characteristic equation:

E λ 2 ( x ) + μ f ( x ) λ ( x ) + g ( x ) = 0 (9)

The quantity λ 1 < 0 describes the boundary layer at x = a , while λ 2 > 0 characterizes the layer at x = b , and

λ 1 = μ B μ 2 B 2 + 4 E C 2 E , λ 2 = μ B + μ 2 B 2 + 4 E C 2 E , where B = max x [ a , b ] f ( x ) (10)

We take N/4, N/2 and N/4 mesh points, respectively in Ω l , Ω c and Ω r . Denote the step sizes in each subinterval by h 1 = 4 ω 1 / N , h 2 = 2 ( b a ω 1 ω 2 ) / N and h 3 = 4 ω 2 / N , respectively. Accordingly, the resulting piecewise-uniform Shishkin mesh is represented by:

h = { h 1 = 4 ω 1 N x j = x j 1 + h 1 ; for j = 1 , 2 , , N / 4 , h 2 = 2 ( b a ω 1 ω 2 ) N x j = x j 1 + h 1 ; for j = N 4 + 1 , , 3 N / 4 , h 3 = 4 ω 2 N x j = x j 1 + h 1 ; for j = 3 N 4 , , N . (11)

4. Interval and Sensitivity Analysis

Since uncertainty will be considered, the interval analysis can be used as descriptive measures of uncertainty in quantitative values. Hence, the perturbation parameter is not deterministic, the solution has to be defined as a range based on the interval of the parameter. Therefore, the upper and lower bounds of the perturbation parameter can be written as:

E ¯ = E c + Δ E , E _ = E c Δ E (12)

where E ¯ is the upper value, E _ is the lower value and E c is the central value. Then the fluctuation range of solution could be estimated.

Sensitivity measures can be conducted using different techniques for example One-at-a-Time Sensitivity Measures (±SD), the Sensitivity Index (SI), the Importance Index (II), Differential Sensitivity Analysis (PD), etc. We estimated the sensitivity measures using the following methods One-at-a-Time Sensitivity Measures (±SD), the Sensitivity Index, and the Differential Sensitivity Analysis. One-at-a-Time Sensitivity Measures (±SD) is considered the simplest―but powerful―method for conducting sensitivity analysis, which estimates the variation of the solution as the perturbation parameter is increased by a factor of its standard deviation or in other words a percentage of its mean value [25] .

The Sensitivity Index (SI), another simple method of estimating the sensitivity measure is to calculate the relative solution difference when varying one input parameter from its minimum value to its maximum value, which provides a good indication of parameter and model variability. The SI is calculated using, SI = ( Ymax Ymin ) / Ymax , where Ymin and Ymax represent the minimum and maximum solution values, respectively, resulting from varying the perturbation parameter over its entire range [26] .

Differential Sensitivity Analysis (PD) method considers all random parameters equal to their mean values and partial differentiation of the system with respect to the random parameters should be done. The sensitivity coefficient for a specific parameter ?perturbation parameter can be measured from the partial derivative relation y / E . The results are normalized by multiplying the derivatives by the ratio of the parameter value to the solution for the mean value, sensitivity coefficient = y / E ( E / y ) [25] .

5. Numerical Example

We consider the following reaction-diffusion problem; see [1] [27] and [28] :

E y + y = cos π x , x [ 0 , 1 ] , y ( 0 ) = y ( 1 ) = 0 (13)

whose exact solution is given by:

Y = c 1 cos π x + c 2 e λ 1 x + c 3 e λ 2 ( 1 x ) c 1 = 1 E π 2 + 1 , c 2 = c 1 1 + e λ 2 1 e λ 1 λ 2 , c 3 = c 1 1 + e λ 2 1 e λ 1 λ 2 , λ 1 , 2 = 1 E (14)

The estimated maximum error E N and the rate of convergence r N are computed by the formulas:

E N = max 0 < j < N | Y j y j | , r N = log 2 E N log 2 E 2 N (15)

Table 1 shows the maximum absolute error and the order of convergence for various values of the perturbation parameter ℇ. The results obtained using the current method are very accurate compared with the analytical solution and gives the order of convergence 2 even for small values of ℇ, and it is shown in Figure 1 that the exact and the approximate solutions are very close. Furthermore, since the problem is singularly perturbed its solution possesses layers along the boundary of the domain which is occurred in the form of sharp boundary-layers in Figure 1 at x = 0 , 1 .

Figures 2-4 show the comparison of the solution between the proposed method and the MCS (50000 samples), as the perturbation parameter changes by 20%.

Table 1. Maximum absolute errors and the order of convergence for E = 10 k .

Figure 1. Deterministic Case: exact and approximate solutions for E = 10 14 , N = 512 .

Figure 2. Random Case: Mean of the solution of the proposed method and the MCS results, E = 10 14 , N = 256 .

Figure 3. Random Case: Upper limit of the solution range of the proposed method and the MCS results, E = 10 14 , N = 256 .

Figure 4. Random Case: limit of the solution range of the proposed method and the MCS results, E = 10 14 , N = 256 .

The upper, centre and lower solutions of the two methods are very close which shows the accuracy and validation of the proposed method. Further sensitivity measures have been conducted such as the SI method gives an index of value 0.0039%, which is very small. The differential method indicates that the sensitivity coefficient is also very small by value 1.34E−15 at the mid-point of the scheme. Therefore, the solution is not sensitive to the changes in the perturbation parameter.

6. Conclusion

A numerical method based on exponential spline with Shishkin mesh discretization is combined with interval analysis perspective to evaluate the range of the solution for the singularly perturbed two-point boundary value problems with uncertain parameter. The numerical results show that the present method approximates the solution very well compared with the exact solution. Therefore, the proposed method is almost second-order uniformly convergent with respect to the perturbation parameter. MCS are used to prove the validation and the accuracy of the proposed method. Sensitivity analysis has been conducted using different methods and it is found that the solution is not sensitive to the perturbation parameter.

7. Future Work

This paper proposed a new numerical spline method combined with interval analysis to solve singularly perturbed boundary value problems. We used interval analysis to estimate the solution range as the perturbation parameter is not deterministic and compared the results with the MCS method to validate the proposed method. In the future, we shall use another stochastic method to deal with the uncertainty, which appears in the perturbation parameter for example polynomial chaos expansion.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1] Zahra, W.K. and Van Daele, M. (2015) Uniformly Convergent Discrete Spline Scheme on a Shishkin Mesh for the Singular Perturbation Boundary Value Problem. Proceedings of the 15th International Conference on Mathematical Methods in Science and Engineering, CMMSE 2015, 6-10 July 2015, Cádiz, 1261-1268.
[2] O’Malley, R.E. (1967) Singular Perturbations of Boundary Value Problems for Linear Ordinary Differential Equations Involving Two Parameters. Journal of Mathematical Analysis and Applications, 19, 291-308.
https://doi.org/10.1016/0022-247X(67)90124-2
[3] Zahra, W.K. and Van Daele, M. (2018) Discrete Spline Solution of Singularly Perturbed Problem with Two Small Parameters on a Shishkin-Type Mesh. Computational Mathematics and Modeling Journal. (To be published)
[4] Kumar, D., Yadaw, A.S. and Kadalbajoo, M.K. (2013) A Parameter-Uniform Method for Two Parameters Singularly Perturbed Boundary Value Problems via Asymptotic Expansion. Applied Mathematics & Information Sciences, 7, 1525-1532.
https://doi.org/10.12785/amis/070436
[5] Duvnjakovic, E., Karasuljic, S., Pasic, V. and Zarin, H. (2014) A Uniformly Convergent Difference Scheme on a Modified Shishkin Mesh for the Singular Perturbation Boundary Value Problem. arXiv Prepr. arXiv1411.4323
[6] Ramadan, M.A., Lashien, I.F. and Zahra, W.K. (2007) The Numerical Solution of Singularly Perturbed Boundary Value Problems Using Nonpolynomial Spline. International Journal of Pure and Applied Mathematics, 41, 883-896.
[7] Zahra, W.K., El-Azab, M.S. and El Mhlawy, A.M. (2014) Spline Difference Scheme for Two-Parameter Singularly Perturbed Partial Differential Equations. Journal of Applied Mathematics & Informatics, 32, 185-201.
https://doi.org/10.14317/jami.2014.185
[8] Natesan, S., Gracia, J.L. and Clavero, C. (2004) Singularly Perturbed Boundary-Value Problems with Two Small Parameters: A Defect Correction Approach. Proceedings of the International Conference on Boundary and Interior Layers, Computational and Asymptotic Methods, BAIL, Bail, 1-6.
https://www.springer.com/br/book/9783319257259
[9] Kumar, M. and Rao, S.C.S. (2010) High Order Parameter-Robust Numerical Method for Singularly Perturbed Reaction-Diffusion Problems. Applied Mathematics and Computation, 216, 1036-1046.
https://doi.org/10.1016/j.amc.2010.01.121
[10] Vulanovic, R. (2001) A Higher-Order Scheme for Quasilinear Boundary Value Problems with Two Small Parameters. Computing, 67, 287-303.
https://doi.org/10.1007/s006070170002
[11] Dag, I. and Sahin, A. (2009) Numerical Solution of Singularly Perturbed Problems. The International Journal of Nonlinear Science, 8, 32-39.
http://www.internonlinearscience.org/
[12] Rashidinia, J. and Mohammadi, R. (2010) Non-Polynomial Spline Approximations for the Solution of Singularlyperturbed Boundary Value Problems. TWMS Journal of Pure and Applied Mathematics, 1, 236-251.
http://www.naturalspublishing.com/show.asp?JorID=53&pgid=0
[13] Ramadan, M.A., Lashien, I.F. and Zahra, W.K. (2009) Quintic Nonpolynomial Spline Solutions for Fourth Order Two-Point Boundary Value Problem. Communications in Nonlinear Science and Numerical Simulation, 14, 1105-1114.
https://doi.org/10.1016/j.cnsns.2007.12.008
[14] Gracia, J.L., O’Riordan, E. and Pickett, M.L. (2006) A Parameter Robust Second Order Numerical Method for a Singularly Perturbed Two-Parameter Problem. Applied Numerical Mathematics, 56, 962-980.
https://doi.org/10.1016/j.apnum.2005.08.002
[15] Kadalbajoo, M.K. and Yadaw, A.S. (2008) B-Spline Collocation Method for a Two-Parameter Singularly Perturbed Convection-Diffusion Boundary Value Problems. Applied Mathematics and Computation, 201, 504-513.
https://doi.org/10.1016/j.amc.2007.12.038
[16] Moore, R.E. (1966) Interval Analysis. Prentice-Hall, Englewood Cliff, NJ.
[17] Le Maitre, O. and Knio, O.M. (2010) Spectral Methods for Uncertainty Quantification: With Applications to Computational Fluid Dynamics. Springer Science & Business Media, New York.
[18] Stein, R.B. (1967) Some Models of Neuronal Variability. Biophysical Journal, 7, 37-68.
https://doi.org/10.1016/S0006-3495(67)86574-3
[19] Edwards, D. (2009) High Precision Calculations of One Dimension Singularly Perturbed Boundary Value Problems Using Multi Region FDM. Proceedings of the International MultiConference of Engineers and Computer Scientists, Vol. II, Hong Kong, 18-20 March 2009.
[20] Zahra, W.K. (2011) Finite-Difference Technique Based on Exponential Splines for the Solution of Obstacle Problems. International Journal of Computer Mathematics, 88, 3046-3060.
https://doi.org/10.1080/00207160.2011.573846
[21] Tirmizi, I.A., Fazal-i-Haq and Siraj-ul-Islam (2008) Non-Polynomial Spline Solution of Singularly Perturbed Boundary-Value Problems. Applied Mathematics and Computation, 196, 6-16.
https://doi.org/10.1016/j.amc.2007.05.029
[22] Mohanty, R.K., Nayak, S. and Khan, A. (2017) Non-Polynomial Cubic Spline Discretization for System of Non-Linear Singular Boundary Value Problems Using Variable Mesh. Advances in Difference Equations, 2017, 327.
[23] Henrici, P. (1962) Discrete Variable Methods in Ordinary Differential Equations. ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschriftfür Angewandte Mathematik und Mechanik.
https://onlinelibrary.wiley.com/journal/15214001
[24] Shishkin, G.I. (1988) Grid Approximation of Singularly Perturbed Parabolic Equations with Internal Layers. Russian Journal of Numerical Analysis and Mathematical Modelling, 3, 393-408.
https://doi.org/10.1515/rnam.1988.3.5.393
[25] Hamby, D.M. (1994) A Review of Techniques for Parameter Sensitivity Analysis of Environmental Models. Environmental Monitoring and Assessment, 32, 135-154.
https://doi.org/10.1007/BF00547132
[26] Hoffman, F.O. and Miller, C.W. (1983) Uncertainties in Environmental Radiological Assessment Models and Their Implications. Annual Meeting of the National Council of Radiation Protection and Measurements, Washington DC, 6 April 1983.
[27] Khan, A. and Khandelwal, P. (2014) Non-Polynomial Sextic Spline Solution of Singularly Perturbed Boundary-Value Problems. International Journal of Computer Mathematics, 91, 1122-1135.
https://doi.org/10.1080/00207160.2013.828865
[28] Zahra, W.K. and El Mhlawy, A.M. (2013) Numerical Solution of Two-Parameter Singularly Perturbed Boundary Value Problems via Exponential Spline. Journal of King Saud University-Science, 25, 201-208.
https://doi.org/10.1016/j.jksus.2013.01.003

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.