Introduction

The seepage phenomenon is an important issue in soil mechanics and water engineering and generally is defined as the slow moving of a fluid in a porous medium. This problem is related to various fields such as water seepage through body of a dam and its foundation and also groundwater flows. To study these problems, the governing equation of the boundary value problems should be solved. This equation is obtained by combining Darcy’s and continuity laws. By solving the mentioned equation, the potential variable or hydraulic head is calculated.

The numerical study of the seepage problems has been considered by many researchers. The analytical methods are applied when one problem has simple geometry and boundary conditions. However, when the computational domain boundary conditions are complicated, the numerical methods are more efficient and usually have suitable precision for the modeling. In the literature, several works have been done in the field of leakage flow problems by the numerical methods. Juanes (2005) presented a variational multiscale finite element method for multiphase flow in a porous media. Fu and Sheng (2009) presented a numerical model for simulation of the unsteady seepage flow through dam. These authors verified the reliability and accuracy of this model by laboratory data. A three-dimensional numerical manifold method for unconfined seepage analysis was proposed by Jiang et al. (2010). In this method, these researchers used tetrahedral finite element meshes. Bereslavskii (2011) simulated the plan steady state seepage in a homogeneous isotropic ground from channel as a hydrodynamic formulation. Alyavuz (2012) used a new computational analysis method known as discrete singular convolution (DSC) method for solving seepage flow problems. A numerical modeling was carried out for groundwater flow in Daxing, China, by Yang et al. (2012). Kazemzadeh-parsi and Daneshmand (2013) solved the 3D unconfined seepage problems using smoothed fixed grid finite element method. The transient seepage in an unsaturated porous media was solved by Pedroso (2015) using finite element solution. He also predicted the free surface location in the time-dependent problems. Athani et al. (2015) presented the results of seepage and stability analysis of an earth dam using finite element method. A groundwater model was developed by Karay and Hajnal (2015) for flow in fractured rocks. These authors considered the non-laminar flow in discontinuities. Fukuchi (2016) studied the steady state seepage problems using interpolation finite difference method. He was able to solve two- and three-dimensional elliptic partial differential equations over the complicated domain. He also achieved results with high accuracy. The 2D subsurface seepage flow in an anisotropic porous medium was simulated by Lande et al. (2016). In this simulation, a new analytical solution was developed to estimate the transient behavior of the phreatic surface. Yuan and Zhong (2016) proposed a weak form quadrature element formulation in three-dimension for analysis of unconfined seepage in an earth dam. These authors validated the numerical solution by comparing with the available analytical and numerical solutions. Jiang et al. (2017) simulated the groundwater bypass seepage at the dam site of Dongzhiang hydro-junction. They considered Hydrological conditions include underground water divides, a hanging river and hydraulic drops along faults.

In this paper, it is developed a new finite element method for modeling the seepage problems. In this present approach, spherical Hankel shape functions are used instead of Lagrange shape functions in finite element method. Generally, in the classical FEM, when the number of elements are increased or in other words, when the mesh used is refined, the numerical solution become close to the exact solution, but by doing so, the CPU time and storage space are enhanced. Therefore, by using the new suggested shape functions, the degrees of freedom can be decreased while high accuracy can be resulted.

In order to estimate multivariable functions by linear combinations of terms depending on a univariate function, radial basis functions (RBFs) are used (Buhmann 2003). RBFs are categorized into two classes: oscillatory and non-oscillatory. The Gaussian functions, the thin plate splines, compact supported functions, multiquadrics and inverse multiquadrics are in the non-oscillatory class, while real and complex Fourier and J-Bessel RBFs are placed in oscillatory category (Hamzeh Javaran et al. 2011a, 2011b; Hamzehei Javaran and Khaji 2012, 2014; Khaji and Hamzehei Javaran 2013; Hamzehei Javaran and Shojaee 2017; Bahrampour et al. 2018; Farmani et al. 2018).

Complex Fourier and J-Bessel RBFs were proposed by Hamzeh Javaran et al. (2011a). The J-Bessel RBFs only have the properties of the first kind of Bessel function, while spherical Hankel shape functions contain the features of both first and second kind of Bessel functions, simultaneously. Therefore, this is the reason of the robustness of Hankel functions for increasing the solution accuracy. In the area of the application of Hankel shape functions, Mousavi et al. (2021) solved fracture mechanics problem using boundary element method based on these functions recently.

In order to apply Hankel functions in the fluid mechanics, first, Farmani et al. (2018) made an improvement in the solution of Navier–Stokes equations for the benchmark fluid mechanics problems. Then, Hankel shape functions are used for boundary value problems (Farmani et al. 2019a) and for the sloshing behavior in 2-D tanks (Farmani et al. 2019b). Recently, Hankel shape functions are used for modeling the performance of Tuned Liquid Dampers (TLD) and also the interaction force between TLD-structure (Farmani et al. 2021). According to the past researches, it is useful to investigate the performance of the Hankel shape functions in the seepage and groundwater flow modeling in this paper.

The present paper consists of the following parts: at first, the governing equation and FEM formulation are stated. Then, spherical Hankel shape function and enrichment procedure are investigated. After that, to validate the proposed method for the leakage flows problems, one boundary value problem with different boundary conditions is solved and the results obtained are compared with the analytical solution. Also, in order to show applicability and reliability, five numerical problems are studied including saturated and unsaturated flow in porous media. Finally, the results are analyzed and the accuracy and precision of the present model are demonstrated.

Methods

The governing equations and FEM formulation are discussed in this part. Then, the suggested functions and the enrichment procedure are stated.

Governing equation and FEM formulation

In order to study the behavior of water in the porous media, two-dimensional seepage flow is considered. Therefore, the governing equation can be written as Eq. (1) which is obtained from Darcy’s and continuity laws (Lam et al. 1987).

$$\frac{\partial }{\partial x}\left({k}_{x}\frac{\partial h(x\cdot y\cdot t)}{\partial x}\right)+\frac{\partial }{\partial y}\left({k}_{y}\frac{\partial h(x\cdot y\cdot t)}{\partial y}\right)={\rho }_{w}g{m}_{2}^{w}\frac{\partial h(x\cdot y\cdot t)}{\partial t}$$
(1)

The above relation is a general equation that takes into account the transient condition. \(k_{x}\) and \(k_{y}\) are hydraulic permeability coefficients in x and y directions, respectively. \(h(x\cdot y\cdot t)\) denote hydraulic head. Also, \(\rho_{w}\) and g indicate the density of water and gravitational acceleration, respectively. \(m_{2}^{w}\) is the slop of water retention curve.

There are two types of boundary conditions for seepage problems: boundary with specific head (Dirichlet boundary condition) and impermeable boundary (Neumann boundary conditions) which are expressed as \(h = h_{0}\) and \({{\partial h} \mathord{\left/ {\vphantom {{\partial h} {\partial n}}} \right. \kern-\nulldelimiterspace} {\partial n}}\), respectively. Of course, for the groundwater problems, if there is a river in the aquifer domain, Neumann boundary conditions in the form of \({{\partial h} \mathord{\left/ {\vphantom {{\partial h} {\partial n}}} \right. \kern-\nulldelimiterspace} {\partial n}} = q_{0}\), can be considered.

The purpose of numerical modeling is finding the unknown variable \(h(x,y)\). Therefore, in the finite element method, the nodal variables are expressed by the following relation:

$$ h(x,y) = \sum\limits_{j = 1}^{{\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\frown}$}}{m} }} {\psi_{j} } (x,y)h_{j} $$
(2)

where \(\psi_{j}\) denotes the interpolation (shape) function. Using the FEM in solving Eq. (1), the below relation can be resulted:

$$ {\mathbf{M}}\,{\dot{\mathbf{h}}}^{{n^{\prime}}} + {\mathbf{K}}\,{\mathbf{h}}^{{n^{\prime}}} {\mathbf{ = \tilde{F}}} $$
(3)

According to employment of the four-node elements, it can be written as:

$$ \begin{gathered} {\mathbf{M}}\, = \iint\limits_{A} {(\tilde{m}\,{\mathbf{\psi \psi }}^{T} )}\,\;{\text{d}}A \hfill \\ {\mathbf{K = }}\iint\limits_{A} {{\mathbf{BCB}}^{T} \;{\text{d}}A} \hfill \\ {\tilde{\mathbf{F}}} = \iint\limits_{A} {q{{\varvec{\uppsi}}}}\;{\text{d}}A \hfill \\ {\mathbf{h}}^{{n^{\prime}}} = \left[ {\begin{array}{*{20}c} {h_{1} } \\ {h_{2} } \\ {h_{3} } \\ {h_{4} } \\ \end{array} } \right] \hfill \\ {\mathbf{B}}^{T} = \left[ {\begin{array}{*{20}c} {\frac{{\partial \psi_{1} }}{\partial x}} & {\frac{{\partial \psi_{2} }}{\partial x}} & {\frac{{\partial \psi_{3} }}{\partial x}} & {\frac{{\partial \psi_{4} }}{\partial x}} \\ {\frac{{\partial \psi_{1} }}{\partial y}} & {\frac{{\partial \psi_{2} }}{\partial y}} & {\frac{{\partial \psi_{3} }}{\partial y}} & {\frac{{\partial \psi_{4} }}{\partial y}} \\ \end{array} } \right] \hfill \\ {\mathbf{C}} = \left[ {\begin{array}{*{20}c} {k_{x} } & 0 \\ 0 & {k_{y} } \\ \end{array} } \right] \hfill \\ \end{gathered} $$
(4)

in which \(\tilde{m} = \rho_{w} g\,m_{2}^{w}\) and \({\dot{\mathbf{h}}}^{{n^{\prime}}}\) is time derivative of nodal hydraulic head.

It should be noted that \({{\varvec{\uppsi}}}\) can be classic Lagrange or Hankel shape functions. In the following section, the development procedure of Hankel functions is stated.

Suggested new shape functions

The J-Bessel functions that have been used in the other researches contain just the properties of the first kind of Bessel functions. Equation (5) expresses the Bessel equation of order u:

$$ x^{2} y^{\prime\prime} + xy^{\prime} + (x^{2} - u^{2} )y\, = \,0 $$
(5)

The solution of Eq. (5) is in the form of the following form:

$$ y\, = \,AJ_{u} + BY_{u} $$
(6)

in which A and B are constant and \(J_{u}\) and \(Y_{u}\) show the first and second kind Bessel of order \(u\), respectively. It should be noted that the first kind of Bessel functions is not capable of describing all properties of a physical phenomenon, while, by combining the first and second kind of it, Hankel RBFs are obtained and by using them, the numerical modeling is improved. In the following section, the enrichment process is stated completely.

Enrichment procedure of spherical Hankel shape functions

In this part, the enrichment procedure of Hankel RBFs is stated for an arbitrary n-node element in \(\xi\) direction, which is shown in Fig. 1.

Fig. 1
figure 1

The n-node element in one dimension

At first, the polynomial terms and functional expansion of redial basis functions are combined:

$$ w_{h} ({\mathbf{x}}) = \sum\limits_{i = 1}^{n} {R_{i} (r)c_{i} } + \sum\limits_{j = 1}^{m} {P_{j} ({\mathbf{x}})d_{j} } \, = {\mathbf{R}}^{T} (r)c + {\mathbf{P}}^{T} ({\mathbf{x}})d $$
(7)

in which n and m show the number of nodes and basis polynomial terms, respectively. Also, the following relation indicates the parameters and functions used in relation (7).

$$ \begin{gathered} {\mathbf{c}}^{T} = \left[ {c_{1} \,\,\,\,\,\,c_{2} \,\,\,\,...\,\,\,\,c_{n} } \right]{\mathbf{,}}\,\,\,\,\,\,\,\,{\mathbf{d}}^{T} = \left[ {d_{1} \,\,\,\,\,\,d_{2} \,\,\,\,...\,\,\,\,d_{m} } \right] \hfill \\ {\mathbf{R}}^{T} (r) = [R_{1} (r)\,\,\,\,\,\,R_{2} (r)\,\,\,\,...\,\,\,\,R_{n} (r)]\,,\,\,\,\,\,\,{\mathbf{P}}^{T} ({\mathbf{x}}) = [P_{1} ({\mathbf{x}})\,\,\,\,\,P_{2} ({\mathbf{x}})\,\,\,\,...\,\,\,\,P_{m} ({\mathbf{x}})] \hfill \\ \end{gathered} $$
(8)

If the nodal points are replaced in Eq. (7), relation (9) can be resulted:

$$ {\hat{\mathbf{w}}} = {\mathbf{R}}_{Q} {\mathbf{c}} + {\mathbf{P}}_{m} {\mathbf{d}} $$
(9)

where

$$ {\mathbf{R}}_{Q} = \left[ {\begin{array}{*{20}c} {R_{1} (r_{1} )} & . & . & . & {R_{n} (r_{1} )} \\ . & {} & {} & {} & . \\ . & {} & {} & {} & . \\ . & {} & {} & {} & . \\ {R_{1} (r_{n} )} & . & . & . & {R_{n} (r_{n} )} \\ \end{array} } \right]\,,\,\,\,\,\,\,\,{\mathbf{P}}_{m} = \,\left[ {\begin{array}{*{20}c} {P_{1} ({\mathbf{x}}_{1} )} & . & . & . & {P_{m} ({\mathbf{x}}_{1} )} \\ . & {} & {} & {} & . \\ . & {} & {} & {} & . \\ . & {} & {} & {} & . \\ {P_{1} ({\mathbf{x}}_{n} )} & . & . & . & {P_{m} ({\mathbf{x}}_{n} )} \\ \end{array} } \right] $$
(10)

It should be noted that the number of unknowns in Eq. (9) is equal to n + m, while there are only n equations, and thus in order to balance the number of knowns and unknowns, additional conditions are essential [for more details see Farmani et al. (2018) and Bahrampour et al. (2018)].

Finally, the set of equations can be resulted as the following form:

$$ \left[ {\begin{array}{*{20}c} {{\mathbf{R}}_{Q} } & {{\mathbf{P}}_{m} } \\ {{\mathbf{P}}_{m}^{T} } & 0 \\ \end{array} } \right]\left[ {\begin{array}{*{20}c} {\mathbf{c}} \\ {\mathbf{d}} \\ \end{array} } \right] = \left[ {\begin{array}{*{20}c} {{\hat{\mathbf{w}}}} \\ 0 \\ \end{array} } \right] $$
(11)

By using some algebraic manipulations, relation (12) is resulted:

$$ {\mathbf{c}} = {\mathbf{S}}_{c} {\hat{\mathbf{w}}},\,\,\,\,\,\,\,{\mathbf{d = S}}_{d} {\hat{\mathbf{w}}} $$
(12)

in which,

$$ {\mathbf{S}}_{c} = {\mathbf{R}}_{Q}^{ - 1} - {\mathbf{R}}_{Q}^{ - 1} {\mathbf{P}}_{m} {\mathbf{S}}_{d} \,,\,\,\,\,\,\,\,\,{\mathbf{S}}_{d} = [{\mathbf{P}}_{m}^{T} {\mathbf{R}}_{Q}^{ - 1} {\mathbf{P}}_{m} ]^{ - 1} {\mathbf{P}}_{m}^{T} {\mathbf{R}}_{Q}^{ - 1} $$
(13)

If c and d are replaced into Eq. (7), the following relation can be obtained:

$$ w_{h} ({\mathbf{x}}) = [{\mathbf{R}}^{T} (r){\mathbf{S}}_{c} + {\mathbf{P}}^{T} ({\mathbf{x}}){\mathbf{S}}_{d} ]{\hat{\mathbf{w}}} $$
(14)

The final matrix of the shape functions is suggested as below:

$$ {{\varvec{\Psi}}}({\mathbf{x}}) = {\mathbf{R}}^{T} (r){\mathbf{S}}_{c} + {\mathbf{P}}^{T} ({\mathbf{x}}){\mathbf{S}}_{d} $$
(15)

Consequently, the following relation expresses the intended RBF:

$$ R(r) = (\varepsilon r)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon r),\quad \varepsilon > 0,\quad \tilde{n} = 0,1,2,... $$
(16)

that \(\varepsilon\) and \(\tilde{n}\) denote the shape parameters of Hankel RBF and \(h_{{\tilde{n}}}^{(1)} (\varepsilon r) = \sqrt {\frac{\pi }{2(\varepsilon r)}} H_{{\tilde{n} + \frac{1}{2}}}^{(1)} (\varepsilon r)\) shows the spherical Hankel function of the first kind.

Since there is a singularity at imaginary part of \(h_{{\tilde{n}}}^{(1)} (\varepsilon r) = j_{{\tilde{n}}} (\varepsilon r) + iy_{{\tilde{n}}} (\varepsilon r)\), the term of \((\varepsilon r)^{{\tilde{n} + 1}}\) is applied for resolving this problem. Thus the limiting values of the RBF can be obtained as:

$$ \mathop {\lim }\limits_{r \to 0} (\varepsilon r)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon r) = 0 + \frac{{( - 1)^{{\tilde{n} + 1}} 2^{{\tilde{n}}} \sqrt \pi }}{{\Gamma ( - \tilde{n} + \frac{1}{2})}}i $$
(17)

The intended RBF for n-node element shown in Fig. 1 is calculated as below:

$$ {\mathbf{R}}(r) = \left[ {\begin{array}{*{20}c} {R_{1} (r)} \\ {R_{2} (r)} \\ . \\ . \\ . \\ {R_{n} (r)} \\ \end{array} } \right]\, = \left[ {\begin{array}{*{20}c} {(\varepsilon \left| {\xi - \xi_{1} } \right|)^{{\tilde{n} + 1}} g_{{\tilde{n}}}^{(1)} (\varepsilon \left| {\xi - \xi_{1} } \right|)} \\ {(\varepsilon \left| {\xi - \xi_{2} } \right|)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon \left| {\xi - \xi_{2} } \right|)} \\ . \\ . \\ . \\ {(\varepsilon \left| {\xi - \xi_{n} } \right|)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon \left| {\xi - \xi_{n} } \right|)} \\ \end{array} } \right] $$
(18)

In the enrichment process of Hankel RBF, the matrices can be expressed as:

$$ {\mathbf{P}}(\xi ) = \left[ {\begin{array}{*{20}c} 1 \\ \xi \\ . \\ . \\ . \\ {\xi^{n - 2} } \\ \end{array} } \right] $$
(19)
$$ {\mathbf{R}}_{Q} = \left[ {\begin{array}{*{20}c} \beta & {(\varepsilon \left| {\xi_{1} - \xi_{2} } \right|)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon \left| {\xi_{1} - \xi_{2} } \right|)\,\,\,} & {.\,\,\,\,\,} & {.\,\,\,\,\,} & {.\,\,\,\,\,} & {(\varepsilon \left| {\xi_{1} - \xi_{n} } \right|)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon \left| {\xi_{1} - \xi_{n} } \right|)} \\ {} & . & {} & {} & {} & {(\varepsilon \left| {\xi_{2} - \xi_{n} } \right|)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon \left| {\xi_{2} - \xi_{n} } \right|)} \\ {} & {} & {} & {} & {} & . \\ {} & {{\text{sym}}.} & . & {} & {} & . \\ {} & {} & {} & {} & . & . \\ {} & {} & {} & {} & {} & \beta \\ \end{array} } \right] $$
(20)
$$ {\mathbf{P}}_{m} = \left[ {\begin{array}{*{20}c} 1 & {\xi_{1} } & . & . & . & {\xi_{1}^{n - 2} } \\ 1 & {\xi_{2} } & . & . & . & {\xi_{2}^{n - 2} } \\ . & . & . & {} & {} & . \\ . & . & {} & . & {} & . \\ . & . & {} & {} & . & . \\ 1 & {\xi_{n} } & . & . & . & {\xi_{n}^{n - 2} } \\ \end{array} } \right] $$
(21)

where, \(\beta = \mathop {\lim }\limits_{r \to 0} R(r)\), which is restricted by deleting the singularity in Eq. (17).

Finally, the shape functions for an n-node element are written as relation (22):

$$ \begin{gathered} {{\varvec{\Psi}}}(\xi ) = \left[ {\begin{array}{*{20}c} {\psi_{1} (\xi )\,} & {\psi_{2} (\xi )} & . & . & . & {\psi_{n} (\xi )} \\ \end{array} } \right] \hfill \\ \psi_{m} = \frac{FG - E}{{(FG - E)\left| {_{{\xi = \xi_{m} }} } \right.}}\,\,\,\,\,\,\,\,m = 1,2,...,n \hfill \\ \end{gathered} $$
(22)

where F, G and E are expressed as:

$$ F = F(\xi_{1} ,\xi_{2} ,...,\xi_{m - 1} ,\xi_{m + 1} ,...,\xi_{n} ) = \prod\limits_{\begin{subarray}{l} j < o \\ j,o \ne m \end{subarray} } {(\xi_{j} } - \xi_{o} ) $$
(23)
$$ G = G(\xi ;\xi_{1} ,\xi_{2} ,...\xi_{n} ) = \sum\limits_{k \in A} {\left\{ {( - 1)^{k} \prod\limits_{\begin{subarray}{l} j < o \\ j,o \ne k \end{subarray} } {\left\{ {(\xi_{j} - \xi_{o} )} \right\}(\varepsilon \left| {\xi - \xi_{k} } \right|)^{{\tilde{n} + 1}} h_{{\tilde{n}}}^{(1)} (\varepsilon \left| {\xi - \xi_{k} } \right|)} } \right\}} $$
(24)
$$ E = \sum\limits_{j \ne m} {F\left| {_{{\xi_{j} = \xi }} G\left| {_{{\xi_{j} = \xi }} } \right.} \right.} $$
(25)

that \(j,o \in A\) and the set A is expressed as \(A = \left\{ {1,2,...,n} \right\}\) (Farmani et al. 2018).

It should be noted that the spherical Hankel shape functions have some properties such as Kronecker delta property, Partition of unity, Linear independence property and Infinite piecewise continuity which are stated completely in Farmani et al. (2018) and Bahrampour et al. (2018).

The above process can be easily extended to 2-D elements. In this paper, four-node quadrilateral elements are used for solving the seepage problems by the classic finite element and new methods.

Results and discussion

Validation

In this section, to validate and verify the numerical modeling of leakage problems, Laplace equation (\({{\partial^{2} \phi } \mathord{\left/ {\vphantom {{\partial^{2} \phi } {\partial x^{2} }}} \right. \kern-\nulldelimiterspace} {\partial x^{2} }} + {{\partial^{2} \phi } \mathord{\left/ {\vphantom {{\partial^{2} \phi } {\partial y^{2} }}} \right. \kern-\nulldelimiterspace} {\partial y^{2} }} = 0\)) is solved for the domain shown in Fig. 2. In this problem, both boundary conditions, namely Dirichlet and Neumann conditions, exist. Thus, it can be a suitable representative for the seepage flow problems. For the modeling, the numerical results are obtained with high number of elements and then 8 elements for both methods (Fig. 3). Then, these results are compared with the analytical solution [Eq. (26)] and presented in Table 1.

$$ \phi (x,y) = \frac{{\phi_{0} }}{{\sinh \left( {\frac{\pi b}{a}} \right)}}\,\sin \left( {\frac{\pi x}{a}} \right)\,\sinh \left( {\frac{\pi y}{a}} \right) $$
(26)
Fig. 2
figure 2

Domain and different boundary conditions for validation problem

Fig. 3
figure 3

Meshed domain with a 2048 elements, b 8-element with nodes number for validation problem

Table 1 Comparison of the results among Hankel shape function (8 elements), Lagrange shape function (8 and 2048 elements) and analytical solution for validation problem

According to the results in Table 1, it can be justified that firstly, Hankel shape functions with 8 elements present more accurate results than Lagrange shape functions with the same mesh. Secondly, Lagrange functions with high number of elements have very good agreement with the analytical solution. Thus the model with high degrees of freedom can be selected as a comparison source for the study of applicability and efficiency of the proposed approach for the seepage problems.

Applicability

In order to demonstrate the applicability and robustness of the suggested formulation in the seepage flows, various numerical models are carried out. Then the present model results with coarse meshes are compared with the traditional FEM with the same and refined meshes. The results are presented in the framework of tables and graphs. It should be noted that, for the results in the tables, the relative error \(L^{2}\) relative error norm and the computational time are presented.

First problem: groundwater flow under a coffer dam

The first problem is the steady state groundwater flow beneath a coffer dam. The computational domain with boundary conditions is shown in Fig. 4 (Reddy 2004). The Laplace equation is solved by the present model and also the classic method. For this purpose, a coarse mesh (10 elements) and then a mesh with high number of elements are chosen (Fig. 5). The results obtained from both methods are given in Table 2.

Fig. 4
figure 4

Computational domain and boundary conditions for the first problem

Fig. 5
figure 5

Meshed domain with a 1280 elements, b 10-element for the first problem

Table 2 Comparison of the results among Hankel shape function (10 elements) and Lagrange shape function (10 and 1280 elements) for the first problem

According to the Table 2, it is inferred that with fewer number of elements in the present formulation, better accuracy than the classic FEM is achieved and the calculated errors are also less. Also, the contours of hydraulic head are indicated in Fig. 6 for this problem with 10-element mesh.

Fig. 6
figure 6

Contours of hydraulic head (m) for the first problem with 18 nodes

Second problem: flow through the foundation of a dam

In this case, the steady state seepage flow of soil foundation of a dam is studied. It is assumed that the soil under the dam is isotropic and heterogeneous (Reddy 2004). Figure 7 displays the geometry and boundary conditions for this problem. The governing equation is solved by both methods with refined meshes and then the meshes with low number of elements. The grids are shown in Fig. 8. To compare the proposed method results with the classic finite element method, the results are indicated in Table 3. The errors are also computed based on the numerical solution with high degrees of freedom.

Fig. 7
figure 7

Computational domain and boundary conditions for the second problem

Fig. 8
figure 8

Meshed domain with a 3072 elements, b 12 elements for the second problem

Table 3 Comparison of the results among Hankel shape function (12 elements) and Lagrange shape function (12 and 3072 elements) for the second problem

As it can be observed in Table 3, the proposed formulation has better agreement with the results by high elements compared with the classic method with the same number of elements. For this case, Fig. 9 shows the contours of hydraulic head for the mesh with 12 elements.

Fig. 9
figure 9

Contours of hydraulic head (m) for the second problem with 21 nodes

Third problem: groundwater flow in an aquifer with river boundary, pumping and recharges wells

In this part, a homogeneous and anisotropic aquifer is investigated. Equation (1) with steady state condition is solved using the proposed and classical methods. For this problem, the permeability coefficients are considered kx = 1.75 m/day and ky = 1 m/day in the x and y-direction, respectively. Furthermore, it is assumed that a river passes through the aquifer with infiltrating rate of q0 = 0.5 m3/day/m. Two pumping wells and one recharges well with rates of Q1 = 900 m3/day, Q2 = − 220 m3/day and Q3 = − 450 m3/day are also considered (Reddy 2004). The geometry, boundary conditions, the locations of river and wells are illustrated in Fig. 10. The grids with \(100 \times 50\) and \(4 \times 4\) meshes are used which are depicted in Fig. 11. Also, Figs. 12 and 13 show the results obtained from the both methods at y = 0 and y = 25 m, respectively. The contours of head are also given in Fig. 14 for the 16-element mesh. It should be noted that the computational time of this problem for Hankel and Lagrange functions with 16 elements and Lagrange functions with 5000 elements is 2.11, 1.7 and 11.1 s, respectively.

Fig. 10
figure 10

Computational domain and boundary conditions for the third problem

Fig. 11
figure 11

Meshed domain with a 5000 elements, b 16 elements for the third problem

Fig. 12
figure 12

Comparison of hydraulic head results at y = 0, among Hankel shape function (16 elements) and Lagrange shape function (16 and 5000 elements) for the third problem

Fig. 13
figure 13

Comparison of hydraulic head results at y = 25 m, among Hankel shape function (16 elements) and Lagrange shape function (16 and 5000 elements) for the third problem

Fig. 14
figure 14

Contours of hydraulic head (m) for the third problem with 25 nodes

According to Figs. 11 and 12, it can be found that using spherical Hankel shape functions with 16 elements leads to having better results than Lagrange shape functions with the same mesh.

Fourth problem: groundwater flow in anisotropic heterogeneous region with river boundary

A domain with different permeability in two directions is considered in this section. Then, the steady state groundwater flow is studied for the intended aquifer. In the top boundary, the hydraulic head is varied as linear and in the function of x. There is a river at the left boundary with rate of q0 = 0.24 m3/day/m. Other boundaries are impermeable (Reddy 2004). The computational domain and boundary conditions are also shown in Fig. 15. Also, the meshes used are illustrated in Fig. 16. The numerical results are also exhibited in Fig. 17 and Table 4. The contours of hydraulic head are presented in Fig. 18.

Fig. 15
figure 15

Computational domain and boundary conditions for the fourth problem

Fig. 16
figure 16

Meshed domain with a 4900 elements, b 18 elements for the fourth problem

Fig. 17
figure 17

Comparison of hydraulic head results at y = 0, among Hankel shape function (18 elements) and Lagrange shape function (18 and 4900 elements) for the fourth problem

Table 4 Comparison of the results among Hankel shape function (18 elements) and Lagrange shape function (18 and 4900 elements) for the fourth problem
Fig.18
figure 18

Contours of hydraulic head (m) for the fourth problem with 28 nodes

It can be concluded from Fig. 17 and Table 4 that the suggested formulation improves the accuracy in the numerical modeling of the mentioned problem. The computational time of Hankel functions is marginally more than Lagrange functions with the same mesh for all problems. However, this time is less than Lagrange functions with high number of elements. Also, the improved accuracy using Hankel functions is significant.

Fifth problem: unsaturated–saturated soil with transient condition

A time-dependent seepage problem is investigated in this section. The studied soil consists of two unsaturated and saturated regions. In order to model the unsaturated part, the permeability coefficient (or hydraulic conductivity coefficient) is assumed to be a function of pore-water pressure. The permeability function for different soils is shown in Fig. 19.

Fig. 19
figure 19

Unsaturated permeability function for different soils (Lam et al, 1987)

The governing equation for seepage in unsaturated–saturated soil with transient condition is expressed as the following relation:

$$\frac{\partial }{\partial x}\left({k}_{xx}\frac{\partial h(x\cdot y\cdot t)}{\partial x}+{k}_{xy}\frac{\partial h(x\cdot y\cdot t)}{\partial y}\right)+\frac{\partial }{\partial y}\left({k}_{yx}\frac{\partial h(x\cdot y\cdot t)}{\partial x}+{k}_{yy}\frac{\partial h(x\cdot y\cdot t)}{\partial y}\right)={\rho }_{w}g{m}_{2}^{w}\frac{\partial h(x\cdot y\cdot t)}{\partial t}$$
(27)

In this paper, \(m_{2}^{w}\) value (the slop of water retention curve) is considered constant and equal to 0.0001 m2/kN. Figure 20 shows the water retention curve for this problem. It should be noted that the soil is assumed sandy for this problem. There is the anisotropic condition in the unsaturated part where the angle between the major permeability coefficient and x-axis is considered \(\alpha = 30^{ \circ }\). In Eq. (27), \(k_{xx} = k_{1} \cos^{2} \alpha + k_{2} \sin^{2} \alpha ,\,k_{yy} = k_{1} \sin^{2} \alpha + k_{2} \cos^{2} \alpha\) and \(k_{xy} = k_{yx} = (k_{1} - k_{2} )\sin \alpha \,\cos \alpha\). That, \(k_{1}\) and \(k_{2}\) are the major and minor permeability coefficient, respectively.

Fig. 20
figure 20

Water retention curve for different soils (Lam et al, 1987)

It can be mentioned that matrix C is defined as \({\mathbf{C}} = \left[ {\begin{array}{*{20}c} {k_{xx} } & {k_{xy} } \\ {k_{yx} } & {k_{yy} } \\ \end{array} } \right]\) for this problem.

In order to approximate the hydraulic head at the different time step, the central finite difference approximation is used as the following relation:

$$ \left( {{\mathbf{K}} + \frac{{2{\mathbf{M}}}}{\Delta t}} \right)\,\,{\mathbf{h}}_{t + \Delta t}^{{n^{\prime}}} = \left( {\frac{{2{\mathbf{M}}}}{\Delta t} - {\mathbf{K}}} \right)\,{\mathbf{h}}_{t}^{{n^{\prime}}} - 2{\tilde{\mathbf{F}}} $$
(28)

where \(\Delta t\) is the time step that is considered equal to 0.5 min.

It should be noted that the transient seepage equation in the unsaturated region is nonlinear. Because the permeability coefficient is a function of pore-water pressure, an iterative scheme is needed to obtain the correct nodal hydraulic heads. First, an initial permeability is assumed and nodal heads are calculated. Then, the water-pore pressure is obtained by \((u_{w} )_{t} = \left( {h_{t}^{{n^{\prime}}} - z^{{n^{\prime}}} } \right)\rho_{w} g\) that \(z^{{n^{\prime}}}\) indicates the elevation at the nodes of the elements. Therefore, using the pressure and permeability function, a modified permeability value is considered to calculate the new nodal heads. This process is repeated until the difference of the head and permeability for two iterations are smaller than 0.0001.

To model this numerical example, the geometry with boundary conditions is considered according to illustrated conditions in Fig. 21. The problem discussed here is a transient groundwater flow in two unsaturated–saturated regions. The initial depth of water in pond is assumed 1 m. Also, a lining with permeability coefficient equal to 1 × 10−6 m/s is considered on the bottom of pond. At the left and right boundaries, there are hydrostatic conditions.

Fig. 21
figure 21

Computational domain and boundary conditions for the fifth problem

In order to investigate the applicability of this problem, the present model results are compared with the results of Lam et al. (1987). A grid with 20 elements (Fig. 22) is studied for the numerical modeling. Tables 5, 6, 7 and 8 present the nodal hydraulic head at different times using finite element method based on both Lagrange and Hankel functions. The negative sign for some values in the tables represents the suction pressure. Also, the contours of hydraulic head at the points when the time is equal to 1316 min are shown in Fig. 23 using 20 elements based on the proposed functions.

Fig. 22
figure 22

Meshed domain with 20 elements for the fifth problem

Table 5 Comparison of the results obtained from Hankel shape function, Lagrange shape function and numerical solution of Lam et al. (1987) at \(t = 22.5\,\min\) for the fifth problem
Table 6 Comparison of the results obtained from Hankel shape function, Lagrange shape function and numerical solution of Lam et al. (1987) at \(t = 66.5\,\min\) for the fifth problem
Table 7 Comparison of the results obtained from Hankel shape function, Lagrange shape function and numerical solution of Lam et al. (1987) at \(t = 174\min\) for the fifth problem
Table 8 Comparison of the results obtained from Hankel shape function, Lagrange shape function and numerical solution of Lam et al. (1987) at \(t = 1316\min\) for the fifth problem
Fig. 23
figure 23

Contours of hydraulic head (m) for the fifth problem with 30 nodes

It is observed that Hankel functions present the results with more precision than Lagrange functions in comparison with numerical results of Lam et al. (1987). Although the computational cost of Hankel functions is slightly more, the increased accuracy is significant.

Conclusion

Leakage flow in soil was studied numerically by suggesting new shape functions based on the finite element method. In the proposed formulation, the new functions were derived by combining polynomials and spherical Hankel radial basis functions, and therefore, they contain the advantages of both functions. These advantages also provide robustness and strength for the offered approach. In addition, these properties improve the solution accuracy with fewer degrees of freedom. In order to validate the present method, one boundary value problem with different boundary conditions was studied and then the results were compared with analytical solution. Also, five seepage numerical problems for finding hydraulic head were investigated, and through them, the applicability and reliability of the proposed method were examined. The results indicated that the present model with the low number of elements is more efficient than the classic FEM with the same mesh.