Translate this page into:
Solving singular convection–diffusion equation by exponentially-fitted trial functions and adjoint Trefftz test functions
-
Received: ,
Accepted: ,
This article was originally published by Elsevier and was migrated to Scientific Scholar after the change of Publisher.
Peer review under responsibility of King Saud University.
Abstract
The paper develops a weak-form integral equation method (WFIEM) for solving the singularly perturbed convection–diffusion equation, which is too ill-posed to find the singular solution using conventional methods. We use Green’s second identity to generate integral equation, which includes a source term and boundary functions on the space-time boundary, and the derived adjoint Trefftz test functions. Then the singular solution is expressed in terms of a set of exponentially-fitted trial functions, which automatically satisfy the boundary conditions. The numerical algorithm deduced from the WFIEM is effective and accurate in the numerical solutions of highly singular parabolic type problems as will be observed by numerical examples.
Keywords
Singular convection–diffusion equation
Adjoint Trefftz test functions
Exponentially-fitted trial functions
Introduction
The mathematical models that involve a combination of convective, diffusive and reactive terms are widespread in many engineering and scientific branches. Often we may encounter the problem that the boundary layers are presented when the convective term dominates than the diffusive term. When the Péclet number is large, the difficulty might appear in the numerical approximations. Thus a vast literature has built up over the last few decades on a variety of techniques for analyzing and overcoming these difficulties (Morton, 1996).
Our problem is to find
in the following singular convection–diffusion equation:
Because the highest order term is multiplied by a small parameter , Eq. (1) is one of the singularly perturbed problems of parabolic type partial differential equations (PDEs), which exhibits boundary layers near to and . The singularly perturbed parabolic type problems have been an interesting subject for many applications, of which a lot of numerical methods were proposed to solve them (Boglaev, 1998; Clavero and Gracia, 2005, 2010; Hemker et al., 2000; Kopteva, 1997; Linß and Madden, 2007; Mukherjee and Natesan, 2011; Ng-Stynes et al., 1988; Shishkin, 1997). The numerical methods to treat the singularly perturbed problems were surveyed by Kadalbajoo and Patidar (2002), Kadalbajoo and Gupta (2010). More difficult asymptotic behavior at small diffusivity of the solutions in a rectangle with corner layers was analyzed by Gie et al. (2013) and Hamouda et al. (2016). Recently, Temam et al. (2015) have explored the recent progresses in boundary layer theory, where the boundary layer analysis is performed on a curved boundary, and also the interior transition layers at the turning point characteristics in an interval domain and classical (ordinary), characteristic (parabolic) and corner (elliptic) boundary layers in a rectangular domain are provided using the technique of correctors and the tools of functional analysis.
It is known that the singularly perturbed convection–diffusion Eq. (1) is highly ill-posed (Rajan and Reddy, 2016), and as mentioned there the discretization of the singularly perturbed convection–diffusion equation often leads to a highly ill-conditioned system which results in an unstable numerical solution. Due to the presence of boundary layers phenomena we have to seek more suitable trial functions and test functions in the weak-form methods, which lead to stable and robust numerical methods to give stable solution for any value of the diffusion parameter.
The remaining portion is arranged as follows. In Section 2 we introduce a weak-form integral equation method based on Green’s second identity and the adjoint operator. In Section 3 we derive the spectral functions to simplify the weak-form integral equation derived in Section 2. Using the exponentially-fitted trial functions to expand the singular solution and using the adjoint Trefftz test functions, we can derive a quite simple linear system in Section 4, which is then solved using the conjugate gradient method (CGM) to determine the expansion coefficients. Numerical examples are given in Section 5, and the conclusions are drawn in Section 6.
A weak-form integral equation method
The idea of weak-form integral equation method with inserting the adjoint Trefftz functions as test functions has been successfully developed by Liu (2016a), Liu and Chang (2016) and Liu and Wang (2016) to solve the direct and inverse problems of elliptic and parabolic PDEs. In order to explore the new method we first derive the following results.
Green’s second identity) Let
be a bounded region in the plane
with a counter-clockwise contour
consists of finitely many smooth curves. Let
and
be functions that are differentiable in
and continuous on
. Then
Inserting into the first integral term in left-hand side of Eq. (5) and moving the double integral terms to the left-hand side we can prove this theorem. □
For the singular problem (1) we have the following integral relation:
The adjoint Trefftz test functions
In order to simplify the weak-form integral Eq. (8), we need to find the adjoint Trefftz test function
, which satisfies the following adjoint PDE as well as the adjoint boundary conditions:
For the singular problem, the adjoint Trefftz test functions which satisfy Eqs. (9) and (10) are given by
Let
In order to satisfy the boundary conditions
in Eq. (10) we impose
We may call the adjoint Trefftz test functions, because they satisfy the adjoint equation automatically; moreover, are spectral functions. □
Inserting Eq. (11) into Eq. (8) we can derive a quite simple integral relation between and other boundary functions.
For the singular convection–diffusion Eq. (1), the solution
at any time
, the given source function
, and the given conditions
satisfy the following weak-form integral relation:
This theorem follows from Eq. (8) using . □
Numerical algorithm of WFIEM
To prompt the introduction of the exponentially-fitted trial functions, let us consider
It can be seen that the singular solution is of the exponential type function.
There are two basic trial functions we need:
Then we describe a simple algorithm to solve
in the integral Eq. (24). For the solution of the singular convection–diffusion Eq. (1) we may consider
Inserting Eq. (29) with
into Eq. (24) and integrating, and letting
we can derive a linear system:
Instead of Eq. (33), we can solve a normal linear system:
The algorithm of conjugate gradient method (CGM) for solving Eq. (35) is summarized as follows.
-
Give an initial and then compute and set .
-
For , we repeat the following iterations:
If converges according to a given stopping criterion , then stop; otherwise, go to step (ii).
There are many different methods to choose the test functions and trial functions. Here, the method of adjoint Trefftz test functions transforms the strong form in Eq. (1) into the most weak-form integral Eq. (24). Moreover, the test functions can be solved in closed-form by Eq. (11), which significantly enhance the efficiency of the presented method in the solution of the singular problems at hand. From Eqs. (11) and (12) we can observe that the singular behavior of the singular problems is reflected in the test functions. On the other hand, in order to simulate the singular behavior of the singular problems we have used the exponentially-fitted functions as the trial functions, which automatically satisfy the boundary conditions. When we take enough bases and generate enough algebraic equations using many linearly independent test functions , we can solve the singular problems effectively and accurately. The above two points using the adjoint Trefftz test functions and the exponentially-fitted trial functions are highly original and sufficiently novel.
Numerical examples
In this section we apply the weak-form integral equation method (WFIEM) to solve Eq. (1). Sometimes we may want to find all the time histories of
in a time interval
. For this purpose we rewrite Eqs. (11), (12) and (24) to
Reminding that the linear system (33) has a constant coefficient matrix
, while the right-hand side is a time-varying input vector for
. Hence, we can obtain
Upon substituting the time-varying coefficients into Eq. (29) we can obtain the time-varying singular solution .
In order to assess the accuracy of the new method, we consider an exact solution:
In the WFIEM we take , and , which is convergence with 37 steps as shown in Fig. 1(a), where the convergence criterion is given by . In Fig. 1(b) we plot the numerical and exact solutions at , whose maximum error is .
In Fig. 2 we plot the numerical errors in a time interval , whose maximum error in the whole domain is . It can be seen that the WFIEM is very accurate and has no problems of error propagation and error amplified.
Next we consider a more complex exact solution with two boundary layers at
and
:
In Fig. 3(a) we plot the numerical solution, while in Fig. 3(b) the exact solution in a time interval , whose maximum error in the whole domain is . It can be seen that the numerical solution is very close to the exact one. Again we can observe that the error is not being amplified.
Finally we consider
In order to apply the exponentially-fitted trial functions in Eqs. (30) and (31) to solve the above problem we need to consider the following variable transformation:
Solving by the WFIEM, one can obtain .
We take for a highly singular problem. We take , and in the WFIEM, which converges after 448 steps under the convergence criterion , as shown in Fig. 4(a). In Fig. 4(b) we plot the numerical solutions at two different times.
Conclusions
In this paper we have derived a weak-form integral equation method to tackle the highly singular problem of the one-dimensional convection–diffusion equation. Because the closed-form spectral functions were used as the adjoint Trefftz test functions in the integral equation, we can easily find the singular solution at any time. The use of exponentially-fitted trial functions as solution bases can faithfully capture the singular behavior in the boundary layers. Through numerical experiments, we have confirmed that the proposed algorithm is applicable to the singular convection–diffusion equation. Moreover, the WFIEM is very accurate and no error propagation and amplification.
Acknowledgements
The Chair Professor of Hohai University and the Thousand Talents Programme of China granted to the author are highly appreciated.
References
- Finite difference domain decomposition algorithms for a parabolic problem with boundary layers. Comput. Math. Appl.. 1998;36:25-40.
- [Google Scholar]
- High order methods for elliptic and time dependent reaction-diffusion singularly perturbed problems. Appl. Math. Comput.. 2005;168:1109-1127.
- [Google Scholar]
- On the uniform convergence of a finite difference scheme for time dependent singularly perturbed reaction-diffusion problems. Appl. Math. Comput.. 2010;216:1478-1488.
- [Google Scholar]
- Analysis of mixed elliptic and parabolic boundary layers with corners. Int. J. Diff. Eqs.. 2013;2013:13. Article ID 532987
- [Google Scholar]
- Boundary layers for the 3D primitive equations in a cube: the supercritical modes. Nonlinear Anal.. 2016;132:288-317.
- [Google Scholar]
- -uniform schemes with high-order time accuracy for parabolic singular perturbation problems. IMA J. Numer. Anal.. 2000;20:99-121.
- [Google Scholar]
- A survey of numerical techniques for solving singularly perturbed ordinary differential equations. Appl. Math. Comput.. 2002;130:457-510.
- [Google Scholar]
- A brief survey on numerical methods for solving singularly perturbed problems. Appl. Math. Comput.. 2010;217:3641-3716.
- [Google Scholar]
- On the uniform in small parameter convergence of a weighted scheme for the one dimensional time dependent convection-diffusion equation. Comput. Math. Math. Phys.. 1997;37:1173-1180.
- [Google Scholar]
- Parameter uniform approximations for time-dependent reaction-diffusion problems. Numer. Methods Partial Differ. Eq.. 2007;23:1290-1300.
- [Google Scholar]
- An equilibrated method of fundamental solutions to choose the best source points for the Laplace equation. Eng. Anal. Boundary Elem.. 2012;36:1235-1245.
- [Google Scholar]
- A BIEM using the Trefftz test functions for solving the inverse Cauchy and source recovery problems. Eng. Anal. Boundary Elem.. 2016;62:177-185.
- [Google Scholar]
- Solving third-order singularly perturbed problems: exponentially and polynomially fitted trial functions. J. Math. Research. 2016;8(2):16-24.
- [Google Scholar]
- A global boundary integral equation method for recovering space-time dependent heat source. J. Heat Mass Transfer. 2016;92:1034-1040.
- [Google Scholar]
- An analytic adjoint Trefftz method for solving the singular parabolic convection-diffusion equation and initial pollution profile problem. J. Heat Mass Transfer. 2016;101:1177-1184.
- [Google Scholar]
- Numerical Solution of Convection-Diffusion Problems. New York: Academic Chapman & Hall; 1996.
- Richardson extrapolation technique for singularly perturbed parabolic convection-diffusion problems. Computing. 2011;92:1-32.
- [Google Scholar]
- Numerical methods for time-dependent convection-diffusion equations. J. Comput. Appl. Math.. 1988;21:289-310.
- [Google Scholar]
- An iterative technique for solving singularly perturbed parabolic PDE. J. Appl. Math. Comput.. 2016;50:199-225.
- [Google Scholar]
- On finite difference fitted schemes for singularly perturbed boundary value problems with a parabolic boundary layer. J. Math. Anal. Appl.. 1997;208:181-204.
- [Google Scholar]
- Recent progresses in boundary layer theory. Discr. Contin. Dyna. Sys.. 2015;36:2521-2583.
- [Google Scholar]