1. Introduction
Recession flow of unconfined aquifers and drainage problems, both overlying an impermeable layer without precipitation, can be described by the nonlinear Boussinesq equation:
This equation is based on simplifying assumptions:
(a) Neglecting the effect of capillary rise above the water table;
(b) Accepting the Dupuit-Forchheimer approximation;
(c) the initial curve was formed after a certain time.
Boussinesq (1904) obtained an exact solution assuming an inverse incomplete beta function as the initial condition for the groundwater table. In addition to the above simplifications, he assumed that (a) the water level in the channel at x = 0 was equal to zero and (b) that the boundary condition at x = L was that the flux q(L, t) = 0, that is in this position there is an impermeable geological formation.
In case of drainage problem with drains overlying an impermeable layer and drain spacing between 2L, due to symmetry in water level, there is the same boundary condition to x = L (q(L, t) = 0), and the Boussinesq solution could be valid. This equation was presented by Boussinesq (1904) in the French journal ‘Journal de Mathématiques Pures et Appliquées [
1]. Polubarinova Kochina [
2,
3,
4] published a solution to Boussinesq’s equation using the method of small disturbances. Tolikas et al. (1984) [
5] obtained an approximate closed-form solution by applying similarity transformation and polynomial approximation. Lockington (1997) [
6] provided a simple approximate analytical solution using a weighted residual method. This method was applied to both the recharging and discharging of an unconfined aquifer due to a sudden change in the head at the origin. Moutsopoulos (2010) [
7] applied Adomian’s decomposition method and obtained a simple series solution with a few terms, and performing a benchmark test showed the advantages of his solution. Basha (2013) [
8] used the traveling wave method to obtain a nonlinear solution of a simple logarithmic form. The solution is adaptable to any flow situation that is recharged or discharged and allows practical results in hydrology. Additionally, algebraic equations are included for the velocity of the propagation front, wetting front position, and relationship for aquifer parameters. Chor et al. (2013) [
9] provided a series solution for the nonlinear Boussinesq equation in terms of the Boltzmann transform in a semi-infinite domain. More recently, Hayek (2019) [
10] provided an approximate solution by introducing an empirical function with four parameters. The parameters were obtained using a numerical fitting procedure with the add-in Solver tool in Microsoft Excel. Furthermore, analytical approaches are based mainly on Caputo fractional derivatives explored by authors to provide solutions to nonlinear partial differential equations. Specifically, Khan et al. (2019) [
11] proposed a hybrid methodology of Shehu transformation along with the Adomian decomposition method, while Shah et al. (2019) [
12] and Rashid et al. (2021) [
13] provided solutions to a system of nonlinear fractional Kortweg-de Vries partial differential equations based on Caputo operator, Shehu decomposition method, and the Shehu iterative transform method. Iqbal et al. (2022) [
14] used a novel iterative transformation technique and homotopy perturbation transformation technique to calculate. The fractional-order gas dynamics equation. Tzimopoulos et al. (2021) [
15] used a transformed method of Wiedeburg (1980) [
16] to solve the one-dimensional Boussinesq equation for both the recharging and discharging of a homogeneous unconfined aquifer. Several other authors provide useful insight into the solution and are valuable tools for testing the accuracy of numerical methods [
17,
18,
19,
20,
21,
22,
23].
Due to the difficulty of finding exact analytical solutions to the physical problem, many numerical solutions to the problem of the water response to recharge or discharge of an aquifer have been developed in the past. Remson et al. (1971) [
24] give detailed information about the existing numerical methods for solving problems in subsurface hydrology. Tzimopoulos and Terzides (1975) [
25] investigated the case of water movement through soils drained by parallel ditches. Numerical solutions are presented based on implicit computational schemes of the Crank–Nicolson, Laasonen, and Douglas types. Experimental data obtained by a Hele-Shaw model in the laboratory are in very good agreement with the values computed numerically by these implicit schemes. Chávez et al. (2011) [
26] considered a problem of agricultural drainage described by the Boussinesq equation. They implemented an implicit numerical scheme in which interpolation parameters were used, that is γ and ω, for space and time, respectively. Two discretization schemes of the time derivative were found: the mixed scheme and the head scheme. Both schemes were validated with one analytical solution. Bansal (2012) [
27] and Bansal (2016) [
28] investigated the case of groundwater fluctuations in sloping aquifers induced by replenishment and seepage from a stream. For this case, the Boussinesq equation has been discretized using the Mac Cormack scheme. This scheme is a predictor–corrector scheme in which the predicted value of the head is obtained by replacing the spatial and temporal derivatives with forward differences. The corrector scheme is obtained by replacing the spatial derivative with a backward difference and the time derivative with a forward difference. Borana et al. (2013) [
29] employed a Crank–Nicolson finite-difference scheme to solve the Boussinesq equation for the case of infiltration phenomenon in a porous medium. They concluded that the Crank–Nicolson scheme is consistent with the physical phenomenon and stable without any restrictions on the stability ratio. Bansal (2017) [
30] investigated the case of the interaction of surface and groundwater in a stream-aquifer system. He derived a new analytical solution and employed the Du Fort and Frankel scheme for the comparison. The proposed scheme is an explicit finite-difference numerical scheme, proceeding in three time levels. Nguyen (2018) [
31] investigated the case of stratified heterogeneous porous media. The model is a system of two equations: one for the water level in fissured porous blocks and one for the water level in system cracks. The discretized schemes are explicit in both cases. More recently, Samarinas et al. (2018, 2021) [
32,
33] developed the Crank–Nicolson scheme in a fuzzy environment and solved the linearized fuzzy Boussinesq equation while later proposing an efficient method to solve the fuzzy tridiagonal system of equations that appeared in the numerical scheme [
34].
An alternative numerical method based on the weak variational formulation of boundary and initial value problems is the Finite Elements Method (FEM). It is a popular method for numerically solving partial differential equations arising in engineering and mathematical modeling, including traditional fields of structural analysis, heat transfer, fluid flow, mass transport, and electromagnetic potential. The pioneers of this method are considered Courant (1943) [
35], Argyris (1954) [
36], and Turner et al. (1956) [
37]. According to Oden (1990) [
38], “
no other family of approximation methods has had a greater impact on the theory and practice of numerical methods during the twentieth century”. Many numerical solutions based on the FEM method and concerning hydraulic problems have been presented. Tzimopoulos and Terzides (1976) [
39] studied a physical problem of a free surface flow toward a ditch or a river. The solution to Boussinesq’s equation was made by the application of the finite-element method. Galerkin’s method [
40] was used, leading to a system of nonlinear equations. Numerical results were compared with the exact solution of Boussinesq and with other finite-difference approximations. Frangakis and Tzimopoulos (1979) [
41] investigated a numerical model based on Boussinesq’s equation describing the unsteady groundwater flow on impervious sloping bedrock. The numerical model uses the finite-element technique with Galerkin’s method. The stability and accuracy of the method have been proved by the comparison of numerical results with the Crank–Nicolson scheme. Tzimopoulos and Tolikas (1980) [
42] investigated the problem of artificial groundwater recharge in the case of an unconfined aquifer, described by the Boussinesq equation. The problem was solved by analytical and numerical methods. The finite-element method was used with square elements. Tber and Talibi (2007) [
43] presented a numerical method of FEM to automatically identify hydraulic conductivity in the seawater intrusion problem when a sharp interface approach is used. Mohammadnejad and Khoei (2013) [
44] presented a fully coupled numerical model developed for the modeling of hydraulic fracture propagation in porous media, using the extended finite element method in conjunction with the cohesive crack model. Yang et al. (2019) [
45] proposed a novel computational methodology to simulate the nonlinear hydro-mechanical process in saturated porous media containing crossing fractures. The nonlinear hydro-mechanical coupled equations are obtained using the Extended Finite Element Method (XFEM) discretization and solved using the Newton-Raphson method. Aslan and Temel (2022) [
46] described the 2D steady-state seepage analysis of the dam body and its base is investigated using the Finite element method (FEM) based on Galerkin’s method [
40] and Ritz’s (1908) [
47] approach. The body and foundation soil are considered homogeneous isotropic and anisotropic materials, and the effects of horizontal drainage length and the cutoff wall on seepage are investigated.
Since the aforementioned problem concerns differential equations, which present particular problems regarding fuzzy logic, a significant number of research studies were carried out in that field, especially regarding the fuzzy differentiation of functions. Initially, fuzzy differentiable functions were studied by Puri and Ralescu (1983) [
48], who generalized and extended Hukuhara’s fundamental study [
49] (H-derivative) of a set of values appearing in fuzzy sets. Kaleva (1987) [
50] and Seikkala (1987) [
51] developed a theory on fuzzy differential equations. In the last years, several studies have been carried out in the theoretical and applied research field on fuzzy differential equations with an H-derivative [
50,
52,
53,
54]. Nevertheless, in many cases, this method has presented certain drawbacks since it has led to solutions with increasing support, along with increasing time [
55]. This proves that, in some cases, this solution is not a representative generalization of the classic case. To overcome this drawback, the generalized derivative gH (gH-derivative) was introduced [
56,
57,
58]. The gH-derivative will henceforth be used for a more extensive degree of fuzzy functions than the Hukuhara derivative.
In general, fuzzy methodology has already been recognized as an innovative approach to handling problem uncertainties with several works in different scientific fields [
59,
60,
61,
62,
63] but to our knowledge, a limited number of studies have been published recently concerning fuzzy FEM models and are mainly in structural mechanics [
31,
64,
65,
66,
67].
In the present article, two crucial hydraulic properties (Conductivity K and Porosity S) on the Boussinesq equation are considered fuzzy, and the overall problem is encountered with a new approximate fuzzy FEM numerical solution, leading to a system of crisp boundary value problems. In the current work, two different physical problems of fuzzy, unsteady nonlinear flow are examined: (a) the case of a drainage problem, with drains overlying an impermeable layer without precipitation, and (b) the case of a semi-infinite unconfined aquifer bordering a geological formation and overlying an impermeable layer. In the first case, the initial water table is equal to h
0. The water table is falling, and outflow volume is flowing to the two drains. In the second case (considering the Boussinesq solution [
1]), the initial groundwater table had the form of an inverse incomplete beta function, which in the current study has been approximated by polynomial approximation presented in very close agreement with the initial form. The proposed FEM method has proved to be in agreement with other numerical method by Karadi et al. 1968 [
68] and in close agreement with the Boussinesq analytical method [
1]. In addition, this work presents a specific novelty related to fuzzy FEM, as a limited number of studies have been published recently concerning only structural mechanics. Additionally, in the current work, the possibility theory and the fuzzy theory combined led to fuzzy estimators for the hydraulic parameters (water levels and outflow volumes). Therefore, engineers and designers can have a complete picture of the influence of these parameters, and by knowing the confidence intervals with a certain strong probability and a small risk can help them make the right decisions for water resource projects.
4. Discussion and Future Research
4.1. Significance of Incorporating Uncertainty in Groundwater Modeling
Undoubtedly, groundwater flow modeling plays a pivotal role in understanding and managing subsurface water resources. The Boussinesq equation, traditionally employed for modeling groundwater flow, proves to be a robust method for simulating recession flow in unconfined aquifers without precipitation. However, the inherent variability in aquifers’ hydraulic properties introduces uncertainties in the equation that can significantly impact the accuracy of simulations. Among these properties, hydraulic conductivity and porosity stand out as critical factors influencing the flow and transport of groundwater within aquifer systems [
77].
In addition, porosity, representing the void spaces in the subsurface through which groundwater can move, adds another complex layer to groundwater flow modeling. Geological formations, compaction processes [
78,
79,
80], and grain size distribution [
81,
82] are some of the most common dependence factors that influence porosity and make its estimation challenging. Ignoring the uncertainties associated with porosity can lead to significant biases in groundwater flow predictions.
4.2. The Role of the Fuzzy Finite Element Method for Solving the Boussinesq Equation
Recognizing the uncertainties associated with the critical hydraulic parameters in the Boussinesq equation, such as the aforementioned hydraulic conductivity and porosity, it becomes imperative to adopt novel approaches in groundwater modeling.
The results of this study showed that the Fuzzy FEM application to an unconfined aquifer provides a unique opportunity to address the inherent uncertainties associated with subsurface hydrological processes. By introducing the fuzzy logic theory to the finite element framework, the approach accommodated the imprecise and uncertain parameters of the problem. Through this work, this adaptability proved to be particularly valuable in dealing with the complex and dynamic nature of groundwater recession flow. Furthermore, the model’s ability to handle these uncertainties positions it as a valuable tool for assessing the impacts of changing climate patterns and anthropogenic activities on outflow dynamics.
The Boussinesq equation was selected to be solved by a novel fuzzy FEM because the absence of external water inputs (precipitation) allows the equation to focus on the intrinsic behavior of groundwater dynamics during recession periods. Having in mind the general problem of in situ data lacking, especially for hydraulic parameters that present significant spatial distribution, this combination offered a holistic approach to quantify the problem uncertainties. To our knowledge, no other study in the literature implements this approach, while a limited number of studies used fuzzy methods coupled mainly with neural networks to estimate the unsaturated and saturated hydraulic conductivity [
83,
84,
85]. In the end, it should also be highlighted that the possibility theory offers a unique opportunity to understand the fuzzy results better and translate the fuzzy numbers into real decisions with high levels of confidence.
4.3. Model Validation with Existing Solutions and Practical Applications
The integrated approach of FEM with the Boussinesq equation, validated against existing analytical and numerical solutions, provides a comprehensive understanding of groundwater recession in unconfined aquifers without precipitation. The developed FEM-Boussinesq model was validated against the Karadi numerical solution, which served as a valuable benchmark. The Karadi numerical solution, based on simplified assumptions, allows for a comparative analysis of the model’s performance in capturing the recession flow dynamics. In addition to the Karadi solution, we employed the Boussinesq exact analytical solution. The utilization of multiple solutions ensures a more robust verification process, offering confidence in the reliability of the model outcomes. Specifically, the proposed numerical scheme achieved significant performance against the exact solution of Boussinesq. By examining two different times, the mean absolute difference is 5.16 × 10
−4 for τ = 0.26, and 1.75 × 10
−3 for τ = 0.52 proved the closest in agreement with the results. The results against the Karadi numerical solution showed a lower performance than with the Boussinesq analytical solution; however, they are considered satisfactory, taking into account the assumptions by the Karadi method (see also
Section 3.1) and that the solution is a numerical approximation.
In general, the proposed approach successfully captures the complex interplay between aquifer properties and recession flow dynamics, allowing for reliable predictions of groundwater outflow. The ability to quantify uncertainties and validate predictions against an analytical solution enhances the model’s reliability in guiding decision-making processes related to water resource management and sustainable groundwater use. These insights have direct implications for water resource management, particularly in regions where understanding recession flow is crucial for sustainable groundwater use. The validated model serves as a valuable decision-support tool, aiding in the development of effective water management strategies.
Moreover, the importance of the Boussinesq equation and its use in different fields reinforces the findings of the current research and the use of the proposed methodology in other practical applications. In this context, the proposed fuzzy FEM scheme could be used, for example, in geotechnical engineering to analyze the behavior of soils under different loading conditions. The proposed approach can indirectly enhance the accuracy of predictions regarding soil settlement, bearing capacity, and stability analysis of foundation and retaining structures. This can lead to more reliable designs and safer construction practices. Another very useful practical application of the proposed methodology could be in civil infrastructure and specifically in the design of dams, embankments, and underground tunnels where the knowledge of the groundwater flow, including the uncertainties, is considered more than necessary for successful and efficient construction projects. Also, undoubtedly, in drainage projects, the proposed approach can result in a more accurate calculation of the drain spacing as mainly the knowledge of hydraulic conductivity and its uncertainties is considered very important for determining the groundwater table, which mostly affects the drain spacing.
4.4. Limitations and Future Perspectives
Significant results were obtained during this research; however, there are certain limitations that should be addressed. The proposed approach offers a promising avenue for improving the accuracy and reliability of recession flow modeling.
Regarding the physical problem, it is important to acknowledge that the Karadi solution assumes steady-state boundary and initial conditions and homogeneous aquifer properties, which may not fully represent the complexity of real-world aquifer systems. Thus, challenges remain in accurately characterizing subsurface heterogeneity and dynamic changes in soil properties over time. This limitation emphasizes the need for continued efforts to refine both numerical and analytical approaches for recession flow modeling. Future research should focus on refining the solutions by incorporating advanced geostatistical methods and real-time monitoring data to improve their predictive accuracy under varying hydrological conditions.
Furthermore, it is essential to acknowledge the computational demands associated with Fuzzy FEM. The introduction of fuzzy logic also introduces additional computational complexity, and further research is needed to optimize the method for large-scale simulations. Additionally, the choice of membership functions and fuzzy rules plays a crucial role in the accuracy of the results, necessitating a thorough sensitivity analysis to identify the most suitable configurations while to advance the applicability of the proposed methodology, further research is recommended to explore alternative fuzzy logic formulations and investigate their impact on the accuracy and efficiency of the Fuzzy FEM-Boussinesq model. Moreover, ignoring the great performance of the fuzzy scheme, an additional stability analysis of the proposed fuzzy numerical scheme should be investigated in the future in order to prove whether the model is unconditionally stable or otherwise to determine its constraints. In addition, the inclusion of the uncertainties of the initial and boundary conditions coupled with the uncertainties of the parameters K and S could be future research but with a detailed investigation in order for the overall degree of uncertainty to be at normal levels and the results to be interpretable.
Lastly, to further refine and validate the model’s applicability to real-world conditions, integrating field observations, such as groundwater level measurements, subsurface geophysical data, and discharge records, is essential. This integration will not only contribute to continuous model refinement but also ensure its relevance in diverse hydrogeological settings.
5. Conclusions
In conclusion, the inclusion of uncertainties, particularly in hydraulic conductivity and porosity, is critical for advancing groundwater flow modeling. Embracing fuzzy approaches and ensemble modeling techniques provides a path forward for improving the reliability and accuracy of predictions, empowering stakeholders to make informed decisions in the sustainable management of groundwater resources.
The application of the Fuzzy Finite Element Method (FFEM) in modeling recession flow within unconfined aquifers without precipitation has proven effective in addressing the inherent uncertainties associated with aquifer properties. Specifically, in the current research, the application of our proposed solution to real cases as well as to the Boussinesq analytical solution has proved that the present numerical solution using the FEM method is in agreement with the Karadi et al. numerical method and in close agreement with the Boussinesq analytical method, and in addition, proves the accuracy and reliability of the new fuzzy numerical method. In addition, it was observed to be easy and simple to calculate in comparison to other methods without affecting the accuracy of the results, especially using the method of nondimensional time for every α-cut.
Furthermore, it should be noted that with the aid of the possibility theory, fuzzy estimators for different hydraulic parameters are possible. Therefore, for practical cases, such as irrigation, drainage, and water resources projects with uncertainties, the engineers and designers could now have a better idea of the real physical conditions. That is, knowing the confidence intervals of the crisp value of these hydraulic parameters with a certain strong probability, they can make the right decision.
By addressing uncertainties and leveraging analytical benchmarks, this research contributes to advancing hydrological modeling and underscores the practical implications for sustainable aquifer management, particularly concerning water discharge during recession periods.
In the future, our research could be oriented to present certain fuzzy FEM algorithms, which will optimize the method for large-scale simulations by insertion other more flexible Finite Elements (e.g., triangular) and presentation of a complete stability analysis with the von Neumann method. This algorithm will integrate field observations such as groundwater level measurements, subsurface geophysical data, and discharge records. This integration will not only contribute to continuous model refinement but also ensure its relevance and its future application in diverse hydrogeological settings.