One of the greatest challenges in the area of applied mathematics continues to be the design of numerical methods capable of approximating the solution of partial differential equations quickly and accurately. One of the most important equations, due to the hydraulic and transport applications it has, and the large number of difficulties that it usually presents when solving it numerically is the Diffusion Equation.
In the present work, a Method of Lines applied to the numerical solution of the said equation in irregular regions is presented using a scheme of Generalized Finite Differences. The second-order finite difference method uses a central node and 8 neighbor points in order to address the spatial approximation. A series of tests and numerical results are presented, which show the accuracy of the proposed method.
Keywords: Generalized finite differences, method of lines, diffusion equation, irregular regions
When a substance is been transported with a speed equal to zero, i.e. no flow moves it, then, according to the transport equation [1], the initial profile of the substance should remain the same as time goes by, maintaining the substance concentration at each point in the fluid.
However, in practice, this does not happen due to molecular diffusion; this is due to the molecules being in constant motion, causing collisions and rebounds in different directions. The molecules will tend to separate, or diffuse, within the flow. In general, this movement moves from areas with a higher density of molecules to areas with a lower density; this is called diffusion and can be described by a well-known Partial Differential Equation:
|
(1) |
where represents the diffusion coefficient, which tells how easy a substance diffuses in a medium.
In the past years, many people have worked in different methods to achieve good numerical solutions to this equation, involving a great variety of modern and classical techniques. Nevertheless, even though a large number of numerical methods have been proposed to solve it, a large number of these have a rather limited application to real-world scenarios since they are designed for regular regions.
This is due to the fact that the spatial discretization of the diffusion equation imposes bounds on the time step size in order to achieve numerical stability. However, the use of semidiscretization schemes allows for overcoming many stability issues by using well-known and widely used one-step methods for ordinary initial value problems. For example, in Manshoor et al. [2], a Method of Lines, involving solutions with Runge-Kutta method, is presented along with its stability analysis; the results presented show that it is possible to use this kind of method to compute numerical solutions of the equation, yet, the regions where the method is tested are unidimensional regions. On the side of the Generalized Finite Difference methods, Ureña et al. [3] present a scheme to achieve numerical solutions using this method; the results presented in this work show that it is possible to solve different Partial Differential Equations using finite differences over non-regular clouds of points; this work presents that the solutions obtained with this method satisfactorily match with the exact solution of the proposed tests. Some other authors, like Li et al. [4,5,6,7,8,9], and Wang et al. [10] have addressed a large number of applications. Nevertheless, the computational cost of the method as proposed in the aforementioned papers is high, so for each node of the cloud it is required to take up to twenty-six support nodes, even in 2D problems, which increases the computational cost of the implementation.
On the other hand, some variations of the presented generalized finite difference method for several transport equations, which produce satisfactory numerical solutions using a low-cost implementation for the spatial discretization were presented in [11,12,13,14,15]. Even though, the use of several straightforward time integration schemes remained an important issue to take into account.
For the case of interest of this work, it is important to obtain an approximation in generalized finite differences, for the spatial part, to the solution of the problem
|
where is a simply connected planar domain, and its boundary, and is a positively oriented Jordan polygon, as the domain shown in Figure 1.
![]() |
Figure 1. Example of an domain |
On the other hand, for the temporal discretization, a Method of Lines (MOL) is proposed [16]. The basic idea of the MOL is to solve a time-dependent Partial Differential Equation (PDE) by discretizing the spatial derivatives and then, integrating the semi-discretized problem as an Ordinary Differential Equations (ODE) system.
In order to apply a MOL for the case of the diffusion equation
|
it is possible to discretize the spatial derivatives applying a generalized finite differences method, for that it is convenient to considerate the approximation to the second or-er linear operator
|
(2) |
where , , , , , and are given functions. Within an arbitrary distribution of nodes, like the one presented in Figure 2, it is possible to approximate its value at a node using values of at some neighbor nodes , [12]. For this work, a finite difference scheme is applied at the node , which can be written as a linear combination as
|
(3) |
where are adequate weighs.
![]() |
Figure 2. Arbitrary distribution of and its neighbors |
According to Strikwerda [17] and Thomas [18], a finite difference scheme is consistent with the linear operator if the local truncation error satisfies that
|
(4) |
as , , , .
Using the six first terms of Taylor's series expansion, up to second order, of the consistency condition (4), it is possible to obtain the system
|
(5) |
where and . In order o solve this linear system, it is possible to separate the first equation of the system (5)
|
(6) |
and then, the problem defined by
|
(7) |
can be solved using the reduced Cholesky factorization of its normal equations, as in Tinoco-Guerrero et al. [19], namely
|
where
|
The value of is then obtained from Eq.(6) assuming, for the case of the diffusion equation, .
Now, the scheme defined by Eq.(7) can be used to approximate the linear operator
|
taking , and . The resulting coefficients, define the Finite-Difference Scheme
|
(8) |
for diffusion equation, where is the approximation to the solution in the point , and are the corresponding neighbor nodes of .
An important issue to be taken into account is the number of neighbors, , to use in the scheme. In this paper, 8 neighbor points were taken into account following the stencil shown in Figure 3.
![]() |
Figure 3. Centered stencil used in the scheme |
Once a discretization of the spatial operator is obtained, following the idea presented in Tinoco-Guerrero et al. [1], the semi-discretized PDE can be rewritten as a linear ODE system in time,
|
where is the total amount of grid points.
There exist several ways to approximate the solution of this ODE system, for example, it is possible to use a forward Euler method as
|
nevertheless, this kind of implementation has proven to be conditionally stable and, in some cases, the stability conditions are difficult to accomplish.
Another way to solve this system is the Method of Lines, where each is solved for a fixed grid node , i.e. it is solved by “lines”. As we are now dealing with a set of ODEs, it is possible to use a Runge-Kutta method, to solve the ODE on each line in order to obtain stable and accurate results.
In the present work it is proposed to use Runge-Kutta [20] of 2nd, 3rd, and 4th order, as follows.
|
where
|
|
where
|
|
where
|
in all the cases, represents the time level.
To show the performance of the proposed scheme, the problem of obtaining a numerical solution to the diffusion equation in four different regions was proposed. The first region, denoted as A, corresponds to the unitary square, for comparison reasons, and the other three regions, denoted as B, C, and D, are non-rectangular planar domains. All the regions were scaled to fit on , and meshed with nodes, following a variational procedure implemented in UNAMalla [21], then they were subdivided to obtain meshes with nodes. The meshes for with nodes for each region can be seen in Figure 4.
![]() |
![]() |
![]() |
![]() |
Figure 4. Meshes of the test regions with nodes |
For all the regions, two different tests were performed:
Test 1. Following the same idea as in Tinoco-Ruiz [22], where a well-known diffusion problem is presented, the initial and boundary conditions were taken from the closed-form solution:
|
Test 2. For comparison purposes, one of the tests presented in Sánchez et al. [23], was also taken into account; in this case, the initial and boundary conditions were taken from the closed-form solution:
|
The time interval was subdivided with different discretizations, the number of time steps was chosen to satisfy the classical Courant condition [24]:
|
where and are the spatial steps on each grid, taken from the meshes with nodes, and .
The norm of the quadratic error, at a the time level can be computed as
|
where and are the approximated and theoretical solutions, respectively, at the -th grid node, and is the area of the polygon defined by the points , , and .
Figure 5 presents a comparison of the numerical results obtained with the proposed scheme using the second-order Runge-Kutta approximation and the exact solutions for the test region A at time s. The approximation is presented on the left, and the exact solution on the right.
![]() |
![]() |
Figure 5. Comparison between numerical results (left) and exact solution (right) for test region A. Test 1 (Top) and Test 2 (Bottom) |
Similarly, Figures 6, 7, and 8 present the respective comparisons for the regions B, C, and D.
![]() |
![]() |
Figure 6. Comparison between numerical results (left) and exact solution (right) for test region B. Test 1 (Top) and Test 2 (Bottom) |
![]() |
![]() |
Figure 7. Comparison between numerical results (left) and exact solution (right) for test region C. Test 1 (Top) and Test 2 (Bottom) |
![]() |
![]() |
Figure 8. Comparison between numerical results (left) and exact solution (right) for test region D. Test 1 (Top) and Test 2 (Bottom) |
Figures 9 to 12 present the maximum value of the error computed for all the regions. For each figure, both tests were performed in the regions meshed with nodes and nodes.
![]() |
![]() |
Figure 9. Maximum computed for test region A with nodes (Left) and nodes (Right) |
![]() |
![]() |
Figure 10. Maximum computed for test region B with nodes (Left) and nodes (Right) |
![]() |
![]() |
Figure 11. Maximum computed for test region C with nodes (Left) and nodes (Right) |
![]() |
![]() |
Figure 12. Maximum computed for test region D with nodes (Left) and nodes (Right) |
The numerical results show that the proposed method of Lines applied to the diffusion equation produces satisfactory numerical solutions. In the tests carried out, no spurious oscillations or instabilities were perceived. In addition, the results show that it is not necessary to “work more” by using higher Runge-Kutta methods; this scheme accomplishes better results when second-order Runge-Kutta is used to solve the Ordinary Differential Equations system.
It is possible to appreciate that with the presented discretizations, even with the fourth-order Runge-Kutta method, acceptable numerical results can be obtained. Additionally, the numerical results shown in Figures 9 to 12 show that a refinement of the spatial mesh can improve the approximations carried out with the method; as expected in these kinds of methods. It is worth mentioning that, for all the tests, a minimum number of time steps was used, taking into account the classical theory for the diffusion equation, which makes the computational cost of this method low, since it does not require making very small temporary discretizations, as in other cases.
Furthermore, the proposed scheme can produce stable results for non-standard initial conditions in highly irregular regions. For example, in the following videos
solutions of the diffusion equation are presented on domains that are geometrical approximations of real geographical locations, where the boundary conditions are fixed as and the initial condition is stated as:
|
It is possible to see that even for these conditions in these regions, the scheme produces stable results that show the expected behavior.
An important remark is that, even when in this work structured convex grids were used, the development of the method doesn't take into account a particular data structure, i.e. this method can be used not only on structured meshes but also as a meshless method, that would be developed as future work.
We want to thank AULA CIMNE-Morelia and CIC-UMSNH for the financial support for this work. Thanks to Universidad Vasco de Quiroga for lending the facilities to perform the final part of the work done for the paper.
Special thanks to the ``Laboratorio de Matemáticas Aplicadas of the ``Facultad de Ciencias Físico-Matemáticas at ``Universidad Michoacana de San Nicolás de Hidalgo for lending their computational infrastructure.
The authors would also like to thank the reviewers for their valuable feedback and suggestions to improve the present work.
[1] Tinoco-Guerrero G., Domínguez-Mota F.J., Tinoco-Ruiz J.G., Lucas-Martínez J.S. Aproximación de la ecuación de advección en regiones irregulares utilizando un método de líneas y diferencias finitas generalizadas. Revista Mexicana de Métodos Numéricos, Volume 2, 3, 2028.
[2] Manshoor B., Salleh H., Khalid A., Sayed Abdelaal M.A. Method of lines and Runge-Kutta method in solving partial differential equation for eeat equation. Journal of Complex Flow, 3(1):21-25, 2021.
[3] Ureña Prieto F., Benito Muñoz J.J., Gavete Corvinos L. Application of the generalized finite difference method to solve the advection-diffusion equation. Journal of Computational and Applied Mathematics, 25:1849-1855, 2011.
[4] Li P.-W., Fan C.-M., Grabski J.K. A meshless generalized finite difference method for solving shallow water equations with the flux limiter technique. Engineering Analysis with Boundary Elements, 131:159–173, 2021.
[5] Zhang T., Lin Z.-H., Huang G.-Y., Fan C.-M., Li P.-W. Solving Boussinesq equations with a meshless finite difference method. Ocean Engineering, 198:106957, 2020.
[6] Fu Z.-J., Tang Z.-C., Zhao H.-T., Li P.-W., Rabczuk T. Numerical solutions of the coupled unsteady nonlinear convection-diffusion equations based on generalized finite difference method. The European Physical Journal Plus, 134(6):1–20, 2019.
[7] Zhang T., Ren Y.-F., Yang Z.-Q., Fan C.-M., Li P.-W. Application of generalized finite difference method to propagation of nonlinear water waves in numerical wave flume. Ocean Engineering, 123:278–290, 2016.
[8] Li P.-W., Fan C.-M. Generalized finite difference method for two-dimensional shallow water equations. Engineering Analysis with Boundary Elements, 80:58–71, 2017.
[9] Fu Z.-J., Zhang J., Li P.-W., Zheng J.-H. A semi-Lagrangian meshless framework for numerical solutions of two-dimensional sloshing phenomenon. Engineering Analysis with Boundary Elements, 112:58–67, 2020.
[10] Wang Q., Kim P., Qu W. A hybrid localized meshless method for the solution of transient groundwater flow in two dimensions. Mathematics, 10(3):1-14, 2022.
[11] Domínguez-Mota F.J., Mendoza-Armenta S., Tinoco-Ruiz J.G. Finite difference schemes satisfying an optimality condition. IMACS Series in Computational and Applied Mathematics: MASCOT, 2011.
[12] Tinoco-Guerrero G., Domínguez-Mota F.J., Tinoco-Ruiz J.G. Numerical solution of advection equations using structured grids on plane irregular regions with a finite differences scheme. Boletín de la Sociedad Mexicana de Computación Científica y Sus Aplicaciones, 1(3):29-32, 2015.
[13] Tinoco-Ruiz J.G., Domínguez-Mota F.J., Tinoco-Guerrero G., Fernández-Valdés P.M., Mendoza-Armenta S. Numerical solution of differential equations in irregular plane regions using quality structured convex grids. International Journal of Modeling, Simulation and Scientific Computing, 4(2):1340005, 2013.
[14] Domínguez-Mota F.J., Lucas-Martínez J.S., Tinoco-Guerrero G. A generalized finite-differences scheme used in modeling of a direct and an inverse problem of advection-diffusion. International Journal of Applied Mathematics, 33(4):599-608, 2020.
[15] Chávez-Negrete C., Domínguez-Mota F.J., Santana-Quinteros D. Numerical solution of Richards' equation of water flow by generalized finite differences. Computers and Geotechnics, 101:168–175, 2018.
[16] Schiesser W. The numerical method of lines. San Diego: Academic Press, 1991.
[17] Strikwerda J.C. Finite difference schemes and partial differential equations. Society for Industrial and Applied Mathematics, pp. 427, 2004.
[18] Thomas J.W. Numerical partial differential equations: finite difference methods. Texts in Applied Mathematics (TAM), Volume 22, Springer, 1995.
[19] Tinoco-Guerrero G., Domínguez-Mota F.J., Tinoco-Ruiz J.G. A study of the stability for a generalized finite-difference scheme applied to the advection-diffusion equation. Mathematics and Computer in Simulations, 176:301-311, 2020.
[20] Butcher J.C. Conference on the numerical solution of differential equations. Lecture Notes in Mathematics (LNM), Springer, 109:133-139, 1969.
[21] UNAMalla. An automatic package for numerical grid generation, 2011.
[22] Tinoco-Ruiz J.G., Domínguez-Mota F.J., Tinoco-Guerrero G., Lucas-Martínez J.S. Study of the stability of a generalized finite difference scheme applied to the diffusion equation in irregular 2D space regions using convex grids. IMACS Series in Computational and Applied Mathematics: MASCOT2018, 2018.
[23] Sánchez L.M., Ureña F., Benito J.J., Gavete L. Resolución de la ecuación de difusión en 2-D y 3-D utilizando diferencias finitas generalizadas. Consistencia y Estabilidad. XXI Congreso de Ecuaciones Diferenciales y Aplicaciones, Ciudad Real, pp. 1-8, 2009.
[24] Abbott M.B., McCowan A.D., Warren I.R. Accuracy of short-wave numerical models. Journal of Hydraulic Engineering, 110(10):1287-1301, 1984.
Published on 14/06/22
Accepted on 07/06/22
Submitted on 19/09/21
Volume 38, Issue 2, 2022
DOI: 10.23967/j.rimni.2022.06.003
Licence: CC BY-NC-SA license