Next Article in Journal
Automated Calibration of SWMM for Improved Stormwater Model Development and Application
Previous Article in Journal
Parsimonious Model of Groundwater Recharge Potential as Seen Related with Two Topographic Indices and the Leaf Area Index
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Triangular Fuzzy Finite Element Solution for Drought Flow of Horizontal Unconfined Aquifers

by
Christos Tzimopoulos
1,
Nikiforos Samarinas
1,*,
Kyriakos Papadopoulos
2 and
Christos Evangelides
1
1
Laboratory of Hydraulic Works and Environmental Management, Department of Rural and Surveying Engineering, Aristotle University of Thessaloniki, 54124 Thessaloniki, Greece
2
Department of Mathematics, Faculty of Science, Kuwait University, Sabah Al Salem University City, Safat 13060, Kuwait
*
Author to whom correspondence should be addressed.
Hydrology 2025, 12(6), 128; https://doi.org/10.3390/hydrology12060128
Submission received: 27 March 2025 / Revised: 20 May 2025 / Accepted: 20 May 2025 / Published: 23 May 2025
(This article belongs to the Topic Advances in Groundwater Science and Engineering)

Abstract

In this paper, a novel approximate triangular fuzzy finite element method (FEM) is proposed to solve the one-dimensional second-order unsteady nonlinear fuzzy partial differential Boussinesq equation. The physical problem concerns the case of the drought flow of a horizontal unconfined aquifer with a limited breath B and special boundary conditions: (a) at x = 0, the water level is equal to zero, and (b) at x = B, the flow rate is equal to zero due to the presence of an impermeable wall. The initial water table is assumed to be curvilinear, following the form of an inverse incomplete beta function. To account for uncertainties in the system, the hydraulic parameters—hydraulic conductivity (K) and porosity (S)—are treated as fuzzy variables, considering sources of imprecision such as measurement errors and human-induced uncertainties. The performance of the proposed fuzzy FEM scheme is compared with the previously developed orthogonal fuzzy FEM solution as well as with an analytical solution. The results are in close agreement with those of the other methods, with the mean error of the analytical solution found to be equal to 1.19 · 10 6 . Furthermore, the possibility theory is applied and fuzzy estimators constructed, leading to strong probabilistic interpretations. These findings provide valuable insights into the hydraulic properties of unconfined aquifers, aiding engineers and water resource managers in making informed and efficient decisions for sustainable hydrological and environmental planning.

1. Introduction

The drought flow in a river system can be described as the drainage flow from the groundwater aquifers in the basin. Practically, it is the rate of flow that a given catchment can supply in the absence of precipitation and in the absence of artificial storage works. It is often referred to as groundwater recession flow, base flow, low flow, percolation flow, and sustained flow.
Many authors have discussed particular aspects of base flow, and between them, Hall (1968) [1] described a complete review of existing solutions until 1967. According to him, the basic differential equation governing flow in an aquifer was presented by Boussinesq in 1877. Boussinesq linearized the nonlinear equation by making simplifying assumptions, and the result was a form of the heat flow or diffusion equation that can be solved more readily. Boussinesq, in 1904 [2], further developed his solution, introducing a non nonlinear solution with the assumption that a stream is located on a horizontal, impermeable lower boundary with an initial curvilinear water table and zero water-level elevation in the stream. Brutsaert and Nieber (1977) [3] examined the drought or base flow characteristics of six basins in the Finger Lakes region. They concluded that among several expressions, Boussinesq’s nonlinear solution of free surface groundwater flow is best suited to parameterize the observed hydrographs. Troch et al. (1993) [4] have used Boussinesq’s solution in order to estimate the catchment-scale parameters, namely, the aquifer hydraulic conductivity and the average depth to the impervious layer. Szilagyi et al. (1998) [5] have tested the recession flow analysis of Brutsaert and Nieber (1977) [3] and Troch et al. (1993) [4] using a numerical model. They have found that the estimation of the catchment-scale saturated hydraulic conductivity and mean aquifer depth were reliable. Troch et al. (2004) [6] presented an analytical solution, providing analytical solutions to storage-based subsurface flow equations in catchment studies. Based on a literature overview, Troch et al. (2013) [7] summarize the impact and legacy of the contributions of Wilfried Brutsaert and Jean-Yves Parlange concerning many applications in catchment hydrology, ranging from drought flow analysis to surface water–groundwater interactions. An exact solution to the full nonlinear Boussinesq equation is presented by Bartlett and Porporato (2018) [8], and their solution applies to sloping aquifers and accounts for source and sink terms such as bedrock seepage, an often-significant flux in headwater catchments. This new solution provides a more realistic representation of streamflow and groundwater dynamics in hillslopes. Conceptual approximations of the Boussinesq equation were introduced and analyzed by Akylas and Gravanis (2024) [9], resulting in a very accurate and well-applicable model for horizontal unconfined aquifers during the pure drainage phase, without any recharge and zero-inflow conditions.
Many numerical solutions to the problem of the water response to recharge or discharge of an aquifer have been developed in the past. Among the various numerical methods, the most commonly used techniques are the finite difference method (FDM), finite volume method (FVM), and finite element method (FEM). The FDM is a well-established and simple method, approximating the governing equations [10]. Although many fluid dynamics problems may be solved using the FDM, as soon as irregular geometries are encountered, the FDM technique becomes difficult to use. The FVM is a further refined version of the FDM and has become popular in computational fluid dynamics [11]. There is a similarity between the FVM technique and the linear FEM. The FEM method is a numerical tool for determining approximate solutions to a large class of engineering problems. The FEM considers that the solution region comprises many small, interconnected sub-regions or elements, approximating the governing equations, and reduces the complex partial differential equations to either linear or nonlinear simultaneous equations. Also, this method allows a close representation of the boundaries of complicated domains [12,13,14].
Therefore, the FEM 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. According to Oden (1990) [15], “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 FEM methods concerning hydraulic problems have been presented. Tzimopoulos (1976) [16] 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 FEM. Galerkin’s method [17] was used, leading to a system of nonlinear equations. Numerical results were compared with the exact solution of Boussinesq and with other FDM approximations. Frangakis and Tzimopoulos (1979) [18] investigated a numerical model based on Boussinesq’s equation describing the unsteady groundwater flow on impervious sloping bedrock. The numerical model uses the FEM 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) [19] 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, and the FEM method was used with square elements. Tber and Talibi (2007) [20] 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) [21] presented a fully coupled numerical model developed for the modelling of the hydraulic fracture propagation in porous media using the extended FEM method in conjunction with the cohesive crack model. Yang et al. (2019) [22] 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 by Extended Finite Element Method (XFEM) discretization and solved by the Newton–Raphson method. Aslan and Temel (2022) [23] described the 2D steady-state seepage analysis of the dam body and its base investigated using the FEM based on Galerkin’s approach. The body and foundation soil are considered as 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) [24], who generalized and extended Hukuhara’s fundamental study [25] (H-derivative) of a set of values appearing in fuzzy sets. Kaleva (1987) [26] and Seikkala (1987) [27] developed a theory on fuzzy differential equations. In the last few years, several studies have been carried out in the theoretical and applied research fields on fuzzy differential equations with an H-derivative [26,28,29]. Nevertheless, in many cases, this method has presented certain drawbacks, since it has led to solutions with increasing support, along with increasing time [30]. 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 [31,32,33,34]. The gH-derivative will be used henceforth for a more extensive degree of fuzzy functions than the Hukuhara derivative.
In the current work, the solution of the one-dimensional second-order unsteady nonlinear fuzzy partial differential Boussinesq equation is examined. The physical problem concerns the case of drought flow of a horizontal unconfined aquifer with a limited breath B and special boundary conditions: at x = 0, the water level is equal to zero, and at x = B, the flow rate is equal to zero because of the existence of an impermeable wall. Additionally, the water table is initially curvilinear in the form of an inverse incomplete beta function. The hydraulic parameters (hydraulic conductivity, K, and porosity, S) of the physical problem are considered fuzzy for various reasons (e.g., machine impression, human errors, etc.). This problem is encountered with a new triangular fuzzy FEM numerical solution, and Galerkin method is used, leading to a system of crisp boundary value problems. Thus, the main novelty and goals of this work were threefold, as follows: (1) to develop a new fuzzy FEM numerical scheme based on triangular elements; (2) to define the range where the analytical solutions approximate the new FEM numerical solution as well as to make a comparative analysis between the new triangular fuzzy FEM solution, the analytical solution, and the previous developed orthogonal fuzzy FEM solution [35]; and (3) to apply the possibility theory to the fuzzy estimators, leading to strong probability solutions for some hydraulic entities, which help the engineers and designers of water resource projects, gaining knowledge of hydraulic properties and taking the right decision for rational and productive engineering studies.

2. Materials and Methods

2.1. Crisp Model

As mentioned in the Introduction for the case of one-dimensional horizontal flow, the Boussinesq equation describing recession flow is
h t = K S x ( h h x )
Figure 1 provides the definition sketch of the investigated physical problem.
The initial and boundaries conditions are
t = 0 ,     h ( x , 0 ) = h ( x ) , t > 0 ,     h 0 , t = 0 ,     h ( L , t ) x = 0
We introduce now non-dimensional variables, as follows:
H = h h 0 ,     s = x L ,     τ = K h 0 t 2 S L 2
The Boussinesq equation becomes
H τ = s ( 2 H H s ) ,
with the new initial and boundary conditions
τ = 0 ,     H ( s , 0 ) = H ( s ) , τ > 0 ,     H 0 , τ = 0 ,       ( H ( 1 , τ ) ) s = 0
where h x ,   H ( s ) is the initial water table of the aquifer.

Numerical Method

For the solution of Equation (4), the FEM method has been used. The domain of integration (s, τ) is divided into triangular elements with dimensions Δs and Δτ/2. The global nodal points are numbered with large numbers 1, 2, …, G, while the local ones inside each element are numbered with small letters (i, j, k) (Figure 2b). Equation (4) is nonlinear, and thus the more suitable numerical method for the construction of a model with finite elements is Galerkin’s method [14].
Using this method, Equation (4) is written as follows:
L ( H ¯ ) = H ¯ τ s ( 2 H ¯ H ¯ s ) = r 0 ,
where r 0 = a small quantity and H ¯ = an approximating function to H.
In Galerkin’s method, the global basis function Φ Δ ( X ) (Figure 2a) is orthogonal with respect to the operator L ( H ¯ ) , that is,
R L H ¯ Φ Δ X d R = 0 ,     X = s , τ ,     Δ = 1,2 , , G .
(Note: henceforth, we skip the over line in H for practical reasons).
Using Green’s theorem, Equation (7) gives the following nonlinear algebraic equation (see also Appendix A):
λ 2 ( Δ H 2 ) i j + 1 / 2 ( H i j + 1 H i j ) 3 ( H i 1 j + 1 H i 1 j ) 12 ( H i + 1 j + 1 / 2 H i + 1 j ) 12 = 0 = λ 4 { ( Δ H 2 ) i j + 1 + ( Δ H 2 ) i j } ( H i j + 1 H i j ) 3 ( H i 1 j + 1 H i 1 j ) 12 ( H i + 1 j + 1 / 2 H i + 1 j ) 12 i = 1,2 ,   , n j = 1,2 ,   , k
where λ = Δts2 and the operator ( Δ H 2 ) i j = ( H 2 ) i + 1 j 2 ( H 2 ) i j + ( H 2 ) i 1 j . The nonlinear terms are linearized by taking the following form:
( H 2 ) i 1 j + 1 = ( H 2 ) i 1 j + ( H 2 ) H ( H i 1 j + 1 H i 1 j ) = 2 H i 1 j H i 1 j + 1 ( H 2 ) i 1 j 2 ( H 2 ) i j + 1 = 2 ( H 2 ) i j 2 ( H 2 ) H ( H i j + 1 H i j ) = 4 H i j H i j + 1 + 2 ( H 2 ) i j ( H 2 ) i + 1 j + 1 = ( H 2 ) i + 1 j + ( H 2 ) H ( H i 1 j + 1 H i 1 j ) = 2 H i + 1 j H i + 1 j + 1 ( H 2 ) i + 1 j
The functions at the point (i, j + 1/2) are approximated by
( H 2 ) i , j + 1 / 2 = 1 2 ( ( H 2 ) i , j + ( H 2 ) i , j + 1 )
Under the above simplifications, the linearized equation becomes
A i X i 1 + B i X i + C i X i + 1 = D i A i = ( 1 4 1.5 λ H i 1 j ) , B i = ( 3 λ H i j + 1 ) , C i = ( 1 4 1.5 λ H i + 1 j ) , D i = 1 4 ( H i 1 j + 4 H i j + H i + 1 j ) X i 1 H i 1 j + 1 , X i H i j + 1 , X i + 1 H i + 1 j + 1
The solution of Equation (11) could be obtained by the well-known Thomas algorithm [36] for tridiagonal systems, while newer efficient explicit inverse formulas [37] can also be used.

2.2. Fuzzy Model Definitions

To facilitate the understanding of readers non-familiar with fuzzy and possibility theory, in the subsections below, several necessary definitions will be provided, concerning some preliminaries in fuzzy theory [38] and some definitions about the differentiability and possibility theory.

2.2.1. Fuzzy Theory Definitions

Definition 1. 
A fuzzy set U ~ on a universe set X is a mapping U ~ : X [ 0,1 ] , assigning to each element x X a degree of membership 0 U ~ ( x ) 1 . The membership function is also defined as μ U ~ ( x ) with the following properties: (i) μ U ~   is upper semicontinuous; (ii) μ U ~ ( x ) = 0 outside of some interval [c, d]; (iii) there are real numbers c a b d , such that μ U ~ is increasing on [c, a], decreasing on [b, d], and μ U ~ ( x ) = 1 for each x [ a , b ] ; and (iv) U ~ is a convex fuzzy set, i.e.,
μ U ~ ( λ x + ( 1 λ ) x ) min { μ U ~ ( λ x ) , μ U ~ ( ( 1 λ ) x ) }
Definition 2. 
Let X be a Banach space and U ~ be a fuzzy set on X. The α-cuts of U ~ are defined as [ U ~ ] α = { x R U ~ ( x ) α } , α ( 0,1 ] and for α = 0 the closure is
[ U ~ ] 0 = { x R U ~ ( x ) > 0 }
Definition 3. 
Let Ҡ(X) be the family of all nonempty compact convex subsets of a Banach space. A fuzzy set U ~ on X is called compact if [ U ~ ] α Ҡ(X), α [ 0,1 ] . The space of all compact and convex fuzzy sets on X is denoted as Ƒ (X).
Definition 4. 
Let U ~ Ƒ (R). The α-cuts of U ~ , are [ U ~ ] α = [ U α , U α + ] = Δ α . According to the representation theorem of Negoita and Ralescu (1975) [39] and the theorem of Goetschel and Voxman (1986) [40], the membership function and the α-cut form of a fuzzy number U ~ are equivalent, and, in particular, the α-cuts [ U ~ ] α = [ U α , U α + ] = Δ α uniquely represent U ~ , provided that the two functions are monotonic ( U α increasing, U α + decreasing) and U 1 U 1 + ,   f o r   α = 1 .
Definition 5. 
gH-Differentiability [41]. Let U ~ : [ a , b ]   Ƒ (R) be such that [ U ~ ( x ) ] α = [ U α ( x ) , U α + ( x ) ] = Δ α . Suppose that the functions U α ( x ) , U α + ( x ) are real-valued functions, differentiable with respect to x and uniform with respect to α [ 0,1 ] . Then, the function U ~ ( x ) is gH-differentiable at a fixed x [ a , b ] if and only if one of the following two cases holds:
(a)
( U α ) ( x )  is increasing, ( U α + ) ( x ) is decreasing as functions of α, and ( U α ) ( x ) ( U α + ) ( x ) ] ;
(b)
( U α ) ( x )  is decreasing, ( U α + ) ( x ) is increasing as functions of α, and ( U α + ) ( x ) ( U α ) ( x ) ] .
Note: ( U α ) ( x ) = d U α ( x ) d x , ( U α + ) ( x ) = d U α + ( x ) d x . In both of the above cases, the U ~ α ( x ) derivative is a fuzzy number.
Definition 6. 
gH-differentiable at x 0 . Let U ~ : [ a , b ] Ƒ(R) and x 0 [ a , b ] with U α ( x ) , U α + ( x ) both be differentiable at x 0 . According to [41] it is
  • U ~  is (i)-gH-differentiable at  x 0  if
    (i)
    U ~ g H ( x 0 ) a = U α x 0 , U α + x 0 ,     α [ 0,1 ] ;
  • U ~  is (ii)-gH-differentiable at  x 0  if
    (i)
    U ~ g H ( x 0 ) a = U α + x 0 , U α x 0 ,     α [ 0,1 ] .
Definition 7. 
g-differentiability. Let U ~ : [ a , b ] Ƒ(R) be such that [ U ~ ( x ) ] α = [ U α ( x ) , U α + ( x ) ] . If U α ( x ) and U α + ( x ) are differentiable real-valued functions with respect to x and uniform for α [ 0,1 ] , then U ~ α ( x ) is g-differentiable and it is valid that [41]
U ~ g ( x ) a = i n f β α min { ( U α ) ( x ) , ( U α + ) ( x ) } , s u p β α max { ( U α ) ( x ) , ( U α + ) ( x ) }
Definition 8. 
The gH-differentiability implies g-differentiability, but the inverse is not true.
Definition 9. 
[gH-p] differentiability. A fuzzy-valued function U ~ of two variables is a rule that assigns to each ordered pair of real numbers (x, t) in a set D, a unique fuzzy number denoted by U ~ ( x , t ) . Let U ~ ( x , t ) : D RƑ, (x0, t0) D and U α ( x , t ) , U α + ( x , t ) be real-valued functions and partially differentiable with respect to x. According to [34,42] it is
  • U ~ ( x , t ) is [(i)-p]-differentiable with respect to x at ( x 0 ,   t 0 ) if
    U ~ α ( x 0 , t 0 ) x i . g H = [ U α ( x 0 , t 0 ) x , U α + ( x 0 , t 0 ) x ]
  • U ~ ( x , t ) is [(ii)-p]-differentiable with respect to x at ( x 0 ,   t 0 ) if
    U ~ α ( x 0 , t 0 ) x i i . g H = [ U α + ( x 0 , t 0 ) x , U α ( x 0 , t 0 ) x ]
Definition 10. 
Let U ~ ( x , t ) : D Ƒ (R), and U ~ α ( x 0 , t 0 ) x i . g H   be [gH-p]-differentiable at ( x 0 ,   t 0 )    D with respect to x. It is valid that [34,42]
  • U ~ α ( x 0 , t 0 ) x i . g H  is [(i)-p]-differentiable with respect to x if
2 U ~ α ( x 0 , t 0 ) x 2 i . g H = 2 U α x 0 , t 0 x 2 , 2 U α + x 0 , t 0 x 2 i f   U ~ x , t   i s   i p   d i f f e r e n t i a b l e 2 U α + x 0 , t 0 x 2 , 2 U α x 0 , t 0 x 2 i f   U ~ x , t   i s   i i p   d i f f e r e n t i a b l e
  • U ~ α ( x 0 , t 0 ) x i . g H is [(ii)-p]-differentiable with respect to x if
2 U ~ α ( x 0 , t 0 ) x 2 i . g H = 2 U α + x 0 , t 0 x 2 , 2 U α x 0 , t 0 x 2 i f   U ~ x , t   i s   i p   d i f f e r e n t i a b l e 2 U α x 0 , t 0 x 2 , 2 U α + x 0 , t 0 x 2 i f   U ~ x , t   i s   i i p   d i f f e r e n t i a b l e

2.2.2. Possibility Theory Definitions

Definition 11. 
A possibility measure Pos on a set X (e.g., a set of reals) is characterized by a possibility distribution π [ 0,1 ] and is defined by the following:
A X , P o s ( x ) = sup ( π ( x ) , x A )
For finite sets, this definition reduces to the following:
A X , P o s ( x ) = max ( π ( x ) , x A )
Definition 12. 
A degree of necessity Nec on a set X (e.g., a set of reels) is characterized by the non-possibility (one minus possibility) of complement to A, AC.
A X , N e c ( A ) = 1 P o s ( A C )
Definition 13. 
A probability distribution p and a possibility distribution π are said to be consistent only if π ( u ) p ( u ) , u [43,44].
Definition 14. 
Two possibility distributionsπx and π′x are consistent with the probability distribution px. The πx distribution is more specific than π′x if it is πx < π′x. A possibility distribution π′x consistent with the probability distribution px is called maximal specificity, if it is more specific than each other possibility distribution:
π x : π x   ( x )   <   π x   ( x ) ,   x
Definition 15. 
The α-cuts [ Y ~ ] α = Δ α are the confidence intervals of probability P, and the confidence level is α. A real-valued possibility measure Pos is equivalent to the special probability function P(Pos) such that P(Pos) = {P,   A   m e a s u r a b l e , P (A) ≤ Pos(A)}. Equivalently, P(Pos) = {P,   A   m e a s u r a b l e , P (A) ≥ Nec(A)}.
For a number Y with a known and continuous probability distribution function p, the fuzzy number Y ~ , which has a possibility measure P o s Y ~ = μ Y ~ , is the fuzzy estimator of Y and has an α-cut of P o s Y ~ α = [ Y ~ ] α = Δ α . This fuzzy number satisfies the consistency principle and verifies that the probability P of the α-cut Δ α is equal to 1 α : P ( Δ α ) = 1 α .
Definition 16. 
Conjecture (Mylonas, 2022) [44]. For a function Y = Y (X1, X2, …, Xn) with an unknown probability distribution function, a fuzzy number may be constructed Y ~ = Y ~ ( X ~ 1 ,   X ~ 2 , , X ~ n ) if the probability distribution functions of each X1, X2, …, Xn are known and the α-cut is equal to the following:
[ Y ~ ] α = [ Y ~ ( [ X ~ 1 ] α , [ X ~ 2 ] α , , [ X ~ n ] α ) ] α
In this case, the fuzzy number Y ~ is the fuzzy estimator of Y and verifies the following:
P   ( Δ α ) N e c Y ~ ( Δ α ) = 1 α
so that the probability of α-cut Δ α is greater than equal to 1 α .

2.3. Fuzzy Finite Elements and Corresponding Systems

2.3.1. Fuzzy Model

The parameters K and S of Equation (1) are considered fuzzy, and for that reason, the function h is fuzzy, as well as the non-dimensional function H. Figure 3 presents the fuzzy estimators for the current problem using the method proposed by Sfiris and Papadopoulos (2014) [45].
Equation (4) is written in its fuzzy form as follows:
H ~ τ = s ( 2 H ~ H ~ s ) = 2 ( H ~ s ) 2 + 2 H ~ 2 H ~ s 2 ,
with the new boundary and initial conditions
  • Boundary conditions
    τ > 0 , H ~ ( 0 , τ ) = H ~ 1 , H ~ ( 1 , τ ) s = 0
  • Initial condition
    τ = 0 , H ~ ( s , 0 ) = F ( s ) ,
Solutions to the fuzzy problem (12) and the boundary and initial conditions (13), can be found utilizing the theory of [34,41,42,46], translating the above fuzzy problem to a system of second-order crisp boundary value problems, hereafter called the corresponding system for the fuzzy problem. Therefore, eight crisp BVP systems are possible for the fuzzy problem {(1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (2, 2), (2, 3), (2, 4)} with the same initial and boundary conditions.
  • System (1, 1):
    H τ = H 2 H ξ 2 + H ξ 2 H τ = H 2 H ξ 2 + H + ξ 2
  • System (1, 2):
    H + τ = H + 2 H + ξ 2 + H + ξ 2 H + τ = H + 2 H + ξ 2 + H ξ 2
  • System (1, 3):
    H τ = H 2 H + ξ 2 + H + ξ 2 H τ = H 2 H + ξ 2 + H ξ 2
  • System (1, 4):
    H + τ = H + 2 H ξ 2 + H ξ 2 H + τ = H + 2 H ξ 2 + H + ξ 2
  • System (2, 1):
    H + τ = H 2 H + ξ 2 + H + ξ 2 H + τ = H 2 H + ξ 2 + H ξ 2
  • System (2, 2):
    H τ = H + 2 H ξ 2 + H ξ 2 H τ = H + 2 H ξ 2 + H + ξ 2
  • System (2, 3):
    H + τ = H 2 H ξ 2 + H ξ 2 H + τ = H 2 H ξ 2 + H + ξ 2
  • System (2, 4):
    H τ = H + 2 H + ξ 2 + H + ξ 2 H τ = H + 2 H + ξ 2 + H ξ 2
Note: we will hereby restrict ourselves to the solution of the first system (1,1), which is described in detail below. We apply this case, since it gives a physical solution to the problem of aquifer recharging from the lake.
According to Definition 4, the α-cuts [ H α , H + α ] uniquely represent the fuzzy function H ~ and the following fuzzy expression is valid and is referring to α-cuts:
L ( H ~ ) α = [ L ( H ) α , L ( H ) α + ]
Solution of the system (1, 1).
We write again Equation (12) in physical dimensions:
  • Case a
L ( h ) α = [ h t K S ( h 2 h x 2 + ( h x ) 2 ) = 0 ] α ,
Boundary conditions
t > 0 ,     h 0 , t = 0 ,     ( h ( L , t ) x = 0
Initial condition
t = 0 ,   h ( x , 0 ) = F ( x ) ,
  • Case b
L ( h ) α + = [ h + t K + S + ( h + 2 h + x 2 + ( h + x ) 2 ) = 0 ] α , α [ 0,1 ] ,
Boundary conditions
t > 0 ,     h + 0 , t = 0 ,     ( h + ( L , t ) x = 0
Initial condition
t = 0 ,     h + ( x , 0 ) = F ( x ) ,

2.3.2. The Proposed Fuzzy Triangular Finite Element Solution

We have taken six α-cuts for the ratio ν α i = ( K S ) α i , i = 1,2 ,   , 6 , and the above systems (cases a and b) are solved for every ν α i , ( i = 1,2 ,   , 6 ) . It is easy to solve once the non-dimensional form of the above system has solutions for every α-cut and every system as follows.
From Equation (3) we have
τ = K h 0 t 2 S L 2 , or   τ α i = ( K S ) α i h 0 2 L 2 t α i
where αi means the α-cut in line i. For simplification, we put the ratio ( K S ) α i = ν α i , and the above relation becomes
τ α i = ν α i h 0 2 L 2 t α i
For α = 1, we have from Figure 3  α 6 α = 1 , and the α-cut α 6 = 1 is taken as a basis for the ratio ( K S ) α i = ν α i that means τ α 6 = ν α 6 h 0 2 L 2 t α 6 .
For two different α-cuts α i ,   α j we take
τ α i τ α j = ν α i ν α j t α i t α j τ α i = τ α j ν α i ν α j t α i t α j
and for the same real time t α i = t α j we have
τ α i = τ α j ν α i ν α j .
Therefore, for the solutions of case a, as well as for the case b, the solutions of the crisp non dimensional system (8) and the linearized Equation (11) are sufficient in order to have the solutions of the two cases. For every real time t α i = t α j , the non-dimensional time τ α i of every α-cut is given by Equation (17). The α-cut α 6 α = 1 is taken as a basis in Equation (17) and this equation becomes
τ α i = ν α i ( τ α 6 = 1 ν α 6 = 1 ) ,
That is, the non-dimensional time for each α-cut is the product of the ratio ( K S ) α i = ν α i and the ratio ( τ α 6 = 1 ν α 6 = 1 ) .

2.3.3. Outflow Volumes

The outflow volume for dimensional variables is equal to
Ω ( t i ) = 0 L S h ( x , t i ) d x   ( m 3 / m ) ,
or in non-dimensional variables
V ( τ i ) = Ω ( t i ) S h 0 L = 0 1 H ( s , τ i ) d s .
In the case of fuzzy numbers, we have
[ V ( τ i ) ] α i = [ 0 1 H ( s , τ i ) d s ] α i .
It is now easy to find fuzzy estimators of outflow volume for each time τi.

2.4. Proposed Method for Solving the Crisp and Fuzzy Cases of Non-Dimensional Variables

For the convenience of the reader, the following pseudocode (Algorithem 1) is presented in the following explanatory form:
Algorithem 1 A pseudocode solving process
Step 1:τ = 0
The interval [s0, sN] is divided into N equal parts:
Δ s = ( s N s 0 ) N , s r = s 0 + ( r 1 ) Δ s , r = 1,2 , , N + 1 , s 0 = 0 , s N = 1
Step 2:τ = τ+Δτ,
λ = Δ τ Δ s 2
Step 3:Initial values
H(sr,0)  sr, r = 1,2,…N + 1
Step 4:Boundary values
H(0,τ) = h0,
d H ( s N + 1 , τ ) d s = 0 H ( s N + 2 , τ ) H ( s N , τ ) 2 Δ s = 0 H ( s N + 2 , τ ) = H ( s N , τ )
Step 5:Find coefficients A i , B i , C i , D i ¯
Step 6:Solve the tridiagonal system [36,37]
Step 7:Put HNEW into HINITIAL
Step 8:Compute outflow volume V(HNEW)
Step 9:Print τ, V(τ), HΝΕW values
Step 10:If τ τ max go to 2
end

3. Results

In order to test the efficiency of the proposed fuzzy triangular finite element solution with other methods, the Boussinesq fuzzy analytical solution and the fuzzy orthogonal finite element method [35] are used. A soil sample was used with the following parameters: a hydraulic conductivity K with mean value of 3 cm/h and standard deviation and an effective porosity S with mean value of 0.21 and standard deviation. In both cases, the magnitude of the measurements is equal to n = 40 and the two parameters follow a normal distribution. This soil is classified as coarse sand according to the classification of [47].

3.1. Boussinesq Analytical Solution

Boussinesq (1904) [2] obtained an exact analytical solution assuming an inverse incomplete beta function as the initial condition for the ground water table. His solution was obtained under simplifying assumptions:
(a)
Neglecting the effect of capillary rise above the water table;
(b)
Accepting the Dupuit–Forcheimer approximation, i.e., the hydraulic head is independent of depth and therefore the streamlines are assumed to be approximately parallel to the bed;
(c)
His solution is valid when t is large, that is, when the water table at x = L is below the aquifer depth h0 (See Figure 1).

3.2. Initial Water Table

The final value for each time is given by Boussinesq in the following form:
H s , τ = H s , 0 1 + 1.115 τ ,     τ = K h 0 t S L 2
where H(s, 0) is the initial condition for the ground water table. Leibenzon (1934), cited by Aravin and Numerov (1965) [48], gives for H(s, 0) the following approximated expression:
H ( s , 0 ) = ( 1.321 0.142 s 0.179 s 2 ) s
Note: in the present research, the value of τ 1 = K h 0 t 2 S L 2 = τ 2 τ = 2 τ 1 .

3.3. Storativity and Discharge

3.3.1. Dimensional Storativity

Ω i n i t = S B h 0 0 1 H s , 0 d s ,  
where S = effective porosity and B = aquifer breath.

3.3.2. Non-Dimensional Storativity

V init = Ω i n i t S L h 0 = 0 1 H ( s , 0 ) d s = 2 3 C = 0.773096 ,               C = 0.86236
Applying now the Leibenzon approximated expression, we have
V i n i t = 0 1 H ( s , 0 ) d s = 0 1 ( 1.321 0.142 s 0.179 s 2 ) s = 0.772724
The reduced error between Vinit and V′init is equal to
ε = V i n i t V i n i t V i n i t = 4.8 · 1 0 4
that is, the Leibenzon approximation is very reliable. Figure 4 presents the Boussinesq initial curve and Leibenzon approximation.

3.3.3. Discharge

The discharge Q per unit width is equal to d V d τ = 0.86236 ( 1 + 1.115 τ ) 2 .

3.4. Fuzzy Triangular Finite Element Method Application and Comparison

For comparison needs, a short presentation of the orthogonal fuzzy FEM is presented below with the corresponding graphical representation (Figure 5).
The linearized FEM model is [35]
A i X i 1 , j + 1 + B i X i , j + 1 + C i X i + 1 , j + 1 = D i A i = λ H i 1 , j + 1 6 , B i = 2 λ H i , j + 2 3 , C i = λ H i + 1 , j + 1 6 , D i = 1 6 ( H i + 1 , j + 4 H i , j + H i 1 , j ) X i 1 , j + 1 H i 1 , j + 1 , X i , j + 1 H i , j + 1 , X i + 1 , j + 1 H i + 1 , j + 1
According to the above theory, which is presented in Section 2, a code program was constructed for triangular FEM, as described above for the crisp case. For the fuzzy case, it has used the method of different time spaces described above. The initial Boussinesq curve was calculated using the Leibenzon approximation
H ( s , 0 ) = ( 1.321 0.142 s 0.179 s 2 ) s
with Δs = 0.05. Figure 6 illustrates the falling of the water level for three different times (τ = 0.1, τ = 0.2, and τ = 0.4) using the FEM. Table 1 presents the values of the water table H(s, τ) for τ = 0.2 and Table 2 presents the values of the water table H(s, τ) for τ = 0.4.
Both tables have been divided in three groups: ORT fuzzy FEM, TRIAN fuzzy FEM, and the Boussinesq analytical method. In front of each group, there are three numbers. For instance, in the first group in Table 1, there are the three numbers 0.48959, 0.2, and 0.12002. The middle number corresponds to non-dimensional time τ = 0.2 and according to Equation (3) it is
τ 0.2 = 0.2 = K h 0 t 2 S L 2 = ( K S ) α = 1 h 0 2 L 2 t τ = 0.2 = 14.285 ( h 0 2 L 2 ) t τ = 0.2 t τ = 0.2 = 0.2 14.285 2 L 2 S
In Figure 3c, in level α = 0.05, there are two values:
( K S ) α 0.05 = 7.42 ,                 ( K S ) α + 0.05 = 66.56
We consider now the same dimensional time t τ = 0.2 for both α-secs ( α 0.5 , α 0.5 + ) and we have
τ 1 n e w = = 7.42 h 0 2 L 2 t τ = 0.2 τ n e w = 7.42 14.285 0.2 = 0.12002
τ 2 n e w = = 66.56 h 0 2 L 2 t τ = 0.2 τ n e w = 66.56 14.285 0.2 = 0.48949
These new values for non-dimensional times
τ 1 n e w = 0.12002   a n d   τ 2 n e w = 0.48949
correspond to levels α 0.05 ,   α 0.05 + of the dimensional time t τ = 0.2 .
According to the above tables, it is obvious that the orthogonal fuzzy FEM is in close agreement with the triangular fuzzy FEM. In order to make a comparison between the triangular fuzzy FEM method and Boussinesq analytical solution, the mean reduced square error is introduced as follows:
e = 1 N j = 1 N H T r i d F E M , j α i H B o u s , j α i H B o u s , j α i 2
Table 3 presents the mean reduced square error between the TRID fuzzy FEM and Boussinesq solution. In all cases, the error is small and the mean error of all is equal to 1.19 × 10−6.
Figure 7 and Figure 8 illustrate the water storativity versus real time and the water outflow versus real time, correspondingly. The fine line corresponds to triangular fuzzy FEM solution and the black orthogonal points correspond to the Boussinesq analytical solution. In both Figures, there is a good agreement between the two solutions.
Figure 9 illustrates the fuzzy estimator of water storativity V for τ = 0.2 and τ = 0.4. The fine line corresponds to the triangular fuzzy FEM solution and the black orthogonal points correspond to the Boussinesq analytical solution. According to these figures, the probability of interval [0.368, 0.532] is greater than 95‰ for τ = 0.2 and the probability of interval [0.242, 0.502] is greater than 95‰ for τ = 0.4. Finally, Figure 10 illustrates the water outflow volume Ω, in which the fine line corresponds to the triangular fuzzy FEM solution, the black orthogonal points correspond to the Boussinesq analytical solution, and the two lines on either side represent the α-cuts (α, α+). The probability of interval [0.166, 0.405] is greater than 95‰ for τ = 0.2 and the probability of interval [0.271, 0.531] is greater than 95‰ for τ = 0.4.

4. Discussion

The study of drought flow presents unique challenges due to its dependence on complex hydrological and hydraulic processes. Unlike steady-state or fully saturated flow conditions, drought flow is characterized by low water availability, an increased influence of capillary forces, and strong interactions between soil properties and subsurface flow pathways. These conditions necessitate numerical methods that can handle irregular geometries, nonlinear boundary conditions, and uncertainty in parameter estimation.
Traditional numerical techniques, such as FDM and FVM, have proven useful in solving various fluid dynamics problems. However, these methods struggle when applied to domains with complex geometries and heterogeneous boundary conditions, which are common in drought-affected regions. Moreover, drought flow is influenced by uncertain parameters characterized also by great spatial variability, such as K and S. This issue necessitates advanced fuzzy numerical schemes such as the fuzzy FEM, which, against other fuzzy numerical methods [49,50], provides a more flexible approach by discretizing the study region into small, interconnected elements, especially with the use of triangular elements, as proposed in the current work. This approach enhances the classical FEM framework by incorporating fuzzy logic principles, enabling the model to handle the uncertainties inherent in drought flow predictions. In addition, this allows FEM to approximate governing equations efficiently, even in irregular domains, and capture accurately the properties’ variations and provide more realistic simulations of subsurface flow. Especially, based on the findings of this work, the use of triangular elements allows for better convergence properties in computational models, reducing the errors associated with numerical discretization and improving stability in the low-flow conditions characteristic of drought events. Additionally, traditional FEM approaches often require precise input parameters, which may be difficult to obtain in drought-prone regions. By incorporating fuzzy sets, the proposed triangular fuzzy FEM mitigates the impact of parameter estimation errors and allows for a more comprehensive sensitivity analysis.
Beyond handling uncertainties in hydraulic parameters, in this work, the integration of probability theory through fuzzy estimators introduces a new dimension of reliability in hydrological modeling. Based on our results, the fuzzy estimators for water storativity (V) and water outflow (Ω) using the possibility theory provide strong probabilities (95%) with a small risk margin (5%) for their values, providing a more realistic physical condition of the investigated problem.
Overall, the benefit gained through the application of this methodology is substantial, especially for engineers involved in the design and construction of hydraulic projects. Specifically, by quantifying uncertainties more effectively and providing probability-based confidence intervals, the method allows engineers to achieve a reliable evaluation of study quality and project performance, with an overall reliability exceeding 95%. This capability is crucial in practice, where uncertainty in soil and hydraulic parameters can significantly affect project outcomes. Traditional deterministic methods often underestimate such uncertainties, leading to potential risks in both the design and construction phases. In contrast, the integration of fuzzy logic within the finite element framework enables better risk management, more informed decision-making, and, ultimately, greater project success. From an academic perspective, this research advances the state of knowledge by offering a robust and flexible methodology that can handle irregular geometries, highly variable hydraulic properties, and uncertainty quantification—areas where traditional methods face limitations.
Despite its advantages, the triangular fuzzy FEM has certain limitations that must be acknowledged. One key challenge is the increased computational cost associated with the incorporation of fuzzy logic into the finite element framework. The additional complexity introduced by fuzzy membership functions and possibility theory increases the number of calculations required, potentially leading to longer simulation times compared to traditional FEM approaches. This issue may be particularly limiting for large-scale hydrological models or real-time decision-making applications. Furthermore, while the proposed triangular fuzzy FEM improves the representation of uncertainties in hydraulic properties, it does not eliminate the need for calibration and validation using observed data. The effectiveness of the method relies on thorough validation against experimental or field measurements, which may not always be available for drought-prone regions. In addition, the integration of probability-based fuzzy estimations into FEM is still an evolving field, requiring further theoretical advancements and practical testing to refine its applicability.
Future research should focus on refining fuzzy membership functions, optimizing computational efficiency, and validating model outcomes with field observations to further improve its applicability to similar physical problems. Moreover, future studies should explore the extension of probability-based fuzzy estimations to other hydrological parameters, such as soil moisture retention and infiltration rates, to provide a more holistic understanding of subsurface flow processes. Finally, expanding the application of the proposed FEM scheme to other hydrological processes, such as the hydraulic communication of surface and aquifer systems and ecohydrological modeling, could provide a more comprehensive understanding of water dynamics in drought-prone regions.

5. Conclusions

This research makes a significant contribution to the advancement of uncertainty modeling in hydrological systems by developing a novel triangular fuzzy finite element method (FEM) framework for drought flow analysis. The integration of triangular fuzzy logic with FEM, grounded in the generalized Hukuhara derivative (gH-derivative) theory for partial differential equations, represents a substantial theoretical innovation that extends existing fuzzy calculus to practical hydraulic modeling. Compared to traditional numerical approaches, it provides a more robust and flexible framework capable of handling irregular geometries, highly variable hydraulic properties, and the inherent uncertainties in hydrological processes.
The implementation of Galerkin’s method within this fuzzy FEM framework offers a rigorous and efficient solution approach for nonlinear and uncertainty-laden hydrological problems. Our comparative analysis shows that the triangular fuzzy FEM achieves excellent agreement with both the orthogonal fuzzy FEM and the analytical solution of the Boussinesq equation, demonstrating a mean reduced square error of 1.19 · 10 6 across all cases. This confirms the method’s high reliability and predictive accuracy.
Importantly, this work advances the academic field by providing a probabilistically sound methodology for integrating fuzzy estimators of hydraulic parameters directly into finite element formulations. By enabling uncertainty quantification through possibility theory, fuzzy confidence intervals, and conjecture theory, the proposed approach empowers engineers and researchers to make more informed decisions under conditions of limited or imprecise data.
In summary, the triangular fuzzy FEM developed in this study not only strengthens the theoretical foundations of fuzzy hydrological modeling but also enhances practical applications in areas such as irrigation management, groundwater conservation, and drought mitigation planning. It stands as a valuable addition to the scientific community’s toolkit for addressing complex water resource challenges under uncertainty.

Author Contributions

Conceptualization, C.T.; methodology, C.T. and N.S.; software, C.E.; mathematical modelling, C.T. and K.P.; writing original draft preparation, C.T. and N.S.; writing review and editing, C.T. and N.S.; visualization, C.T. and N.S. supervision, C.T; funding acquisition, C.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

All data are enclosed in the manuscript.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
FDMFinite Difference Method
FEMFinite Element Method
FVMFinite Volume Method
gHGeneralized Hukuhara
XFEMExtended Finite Element Method

Appendix A

To form Equation (8), we consider the triangle D i   ( i = 1,2 , , 6 ) in Figure 2c to which the following functions correspond:
N i = [ ( s j τ k s k τ j ) + ( τ j τ k ) s + ( s k s j ) τ ] / 2 Δ N j = [ ( s k τ i s i τ k ) + ( τ k τ i ) s + ( s i s k ) τ ] / 2 Δ N k = [ ( s i τ j s j τ i ) + ( τ i τ j ) s + ( s j s i ) τ ] / 2 Δ
where Δ is the triangle area i j k = Δ τ · Δ s / 4 . In Equation (4), the function H takes the form H ¯ = N i H i + N j H j + N k H k . We are now introducing new functions with the coordinates ξ, η:
L 1 = 1 ξ η ,             L 2 = ξ ,             L 3 = η
The transformation is linear:
s ( ξ , η ) = [ L 1 L 2 L 3 ] T s i s j s k ,             ( ξ , η ) = [ L 1 L 2 L 3 ] T τ i τ j τ k
Figure A1. The real and the reference triangle elements.
Figure A1. The real and the reference triangle elements.
Hydrology 12 00128 g0a1
The above transformation transforms the real triangle element V r e a l ( i j k ) into the reference element V r e f ( 123 ) .
  • Gelerkin’s Method
    L ( H ) = 2 H 2 s 2 H τ = s ( 2 H H s ) H τ = 0
By introducing the above approximate function to Boussinesq equation, a leftover R is created as follows:
L ( H ¯ ) = R 0
Galerkin’s method could be expressed as follows:
N i L ( H ¯ ) d s d τ = N i s ( 2 H ¯ H ¯ s ) H ¯ τ d s d τ = 0
From now on, the dash will be omitted for practical reasons. Using the Green theorem, the following equation arises:
N i { s ( 2 H H s ) H τ ) d s d τ = ( 2 H H s N i s + N i H τ } d s d τ + C 2 N i H H s d τ =   [ 2 ( N i H i + N j H j + N k H k ) ( H i N i s + H j N j s + H k N k s ) N i s + ( H i N i τ + H j N j τ + H k N k τ ) N i ] d s d τ = 0
Performing the operations for each triangle and summing up in the following equation obtained correspond to Equation (8) as follows:
1 2 Δ τ Δ s ( Δ H 2 ) i j + 1 2 Δ s 3 ( H i j + 1 H 1 j ) Δ s 12 ( H i 1 j + 1 H i 1 j ) Δ s 12 ( H i + 1 j + 1 H i + 1 j ) = 0

References

  1. Hall, F.R. Base-Flow Recessions—A Review. Water Resour. Res. 1968, 4, 973–983. [Google Scholar] [CrossRef]
  2. Boussinesq, J. Recherches Theoriques Sur l’ecoulement Des Nappes d’eau Infiltrees Dans Le Sol et Sur Le Debit Des Sources. J. Math. Pures Appl. 1904, 10, 5–78. [Google Scholar]
  3. Brutsaert, W.; Nieber, J.L. Regionalized Drought Flow Hydrographs from a Mature Glaciated Plateau. Water Resour. Res. 1977, 13, 637–643. [Google Scholar] [CrossRef]
  4. Troch, P.A.; De Troch, F.P.; Brutsaert, W. Effective Water Table Depth to Describe Initial Conditions Prior to Storm Rainfall in Humid Regions. Water Resour. Res. 1993, 29, 427–434. [Google Scholar] [CrossRef]
  5. Szilagyi, J.; Parlange, M.B.; Albertson, J.D. Recession Flow Analysis for Aquifer Parameter Determination. Water Resour. Res. 1998, 34, 1851–1857. [Google Scholar] [CrossRef]
  6. Troch, P.A.; van Loon, A.H.; Hilberts, A.G.J. Analytical Solution of the Linearized Hillslope-storage Boussinesq Equation for Exponential Hillslope Width Functions. Water Resour. Res. 2004, 40, W08601. [Google Scholar] [CrossRef]
  7. Troch, P.A.; Berne, A.; Bogaart, P.; Harman, C.; Hilberts, A.G.J.; Lyon, S.W.; Paniconi, C.; Pauwels, V.R.N.; Rupp, D.E.; Selker, J.S.; et al. The Importance of Hydraulic Groundwater Theory in Catchment Hydrology: The Legacy of Wilfried Brutsaert and Jean-Yves Parlange. Water Resour. Res. 2013, 49, 5099–5116. [Google Scholar] [CrossRef]
  8. Bartlett, M.S.; Porporato, A. A Class of Exact Solutions of the Boussinesq Equation for Horizontal and Sloping Aquifers. Water Resour. Res. 2018, 54, 767–778. [Google Scholar] [CrossRef]
  9. Akylas, E.; Gravanis, E. Approximate Solutions of the Boussinesq Equation for Horizontal Unconfined Aquifers During Pure Drainage Phase. Water 2024, 16, 2984. [Google Scholar] [CrossRef]
  10. Richtmyer, R.D.; Morton, K.W. Difference Methods for Initial-Value Problems; John Wiley & Sons: New York, NY, USA; London, UK; Sidney, Australia, 1967. [Google Scholar]
  11. Patankar, S.V. Numerical Heat Transfer and Fluid Flow; CRC Press: Boca Raton, FL, USA, 2018; ISBN 9781315275130. [Google Scholar]
  12. Argyris, J.H. Energy Theorems and Structural Analysis. Aircr. Eng. Aerosp. Technol. 1954, 26, 383–394. [Google Scholar] [CrossRef]
  13. Zienkiewicz, O.C.; Cheung, Y.K. Finite Element Method in Structural & Continuum Mechanics Hardcover, 1st ed.; McGraw Hill: London, UK, 1967. [Google Scholar]
  14. Oden, J.T. Finite Elements of Nonlinear Continua; Dover Publications: New York, NY, USA, 1972. [Google Scholar]
  15. Oden, J.T. Historical Comments on Finite Elements. In A History of Scientific Computing; ACM: New York, NY, USA, 1990; pp. 152–166. [Google Scholar]
  16. Tzimopoulos, C. Solution de l’équation de Boussinesq par une méthode des éléments finis. J. Hydrol. 1976, 30, 1–18. [Google Scholar] [CrossRef]
  17. Galerkin, B.G. Rods and Plates: Series in Some Questions of Elastic Equilibrium of Rods and Plates; National Technical Information Service: Springfield, VA, USA, 1968. [Google Scholar]
  18. Frangakis, C.N.; Tzimopoulos, C. Unsteady Groundwater Flow on Sloping Bedrock. Water Resour. Res. 1979, 15, 176–180. [Google Scholar] [CrossRef]
  19. Tzimopoulos, C.; Tolikas, P. ICID Bulletin (International Commission on Irrigation and Drainage); ICID: New Delhi, India, 1980; pp. 40–44. [Google Scholar]
  20. Tber, M.H.; El Alaoui Talibi, M. A Finite Element Method for Hydraulic Conductivity Identification in a Seawater Intrusion Problem. Comput. Geosci. 2007, 33, 860–874. [Google Scholar] [CrossRef]
  21. Mohammadnejad, T.; Khoei, A.R. An Extended Finite Element Method for Hydraulic Fracture Propagation in Deformable Porous Media with the Cohesive Crack Model. Finite Elem. Anal. Des. 2013, 73, 77–95. [Google Scholar] [CrossRef]
  22. Yang, D.; Zhou, Y.; Xia, X.; Gu, S.; Xiong, Q.; Chen, W. Extended Finite Element Modeling Nonlinear Hydro-Mechanical Process in Saturated Porous Media Containing Crossing Fractures. Comput. Geotech. 2019, 111, 209–221. [Google Scholar] [CrossRef]
  23. Aslan, T.A.; Temel, B. Finite Element Analysis of the Seepage Problem in the Dam Body and Foundation Based on the Galerkin’s Approach. Eur. Mech. Sci. 2022, 6, 143–151. [Google Scholar] [CrossRef]
  24. Puri, M.L.; Ralescu, D.A. Differentials of Fuzzy Functions. J. Math. Anal. Appl. 1983, 91, 552–558. [Google Scholar] [CrossRef]
  25. Hukuhara, M. Integration Des Applications Measurables Dont La Valeur Est Un Compact Convexe. Funkc. Ekvacioj 1967, 10, 205–233. [Google Scholar]
  26. Kaleva, O. Fuzzy Differential Equations. Fuzzy Sets Syst. 1987, 24, 301–307. [Google Scholar] [CrossRef]
  27. Seikkala, S. On the Fuzzy Initial Value Problem. Fuzzy Sets Syst. 1987, 24, 319–330. [Google Scholar] [CrossRef]
  28. Vorobiev, D.; Seikkala, S. Towards the Theory of Fuzzy Differential Equations. Fuzzy Sets Syst. 2002, 125, 231–237. [Google Scholar] [CrossRef]
  29. Nieto, J.J.; Rodríguez-López, R. Bounded Solutions for Fuzzy Differential and Integral Equations. Chaos Solitons Fractals 2006, 27, 1376–1386. [Google Scholar] [CrossRef]
  30. Diamond, P. Brief Note on the Variation of Constants Formula for Fuzzy Differential Equations. Fuzzy Sets Syst. 2002, 129, 65–71. [Google Scholar] [CrossRef]
  31. Bede, B.; Gal, S.G. Generalizations of the Differentiability of Fuzzy-Number-Valued Functions with Applications to Fuzzy Differential Equations. Fuzzy Sets Syst. 2005, 151, 581–599. [Google Scholar] [CrossRef]
  32. Bede, B. A Note on “Two-Point Boundary Value Problems Associated with Non-Linear Fuzzy Differential Equations”. Fuzzy Sets Syst. 2006, 157, 986–989. [Google Scholar] [CrossRef]
  33. Stefanini, L. A Generalization of Hukuhara Difference and Division for Interval and Fuzzy Arithmetic. Fuzzy Sets Syst. 2010, 161, 1564–1584. [Google Scholar] [CrossRef]
  34. Allahviranloo, T.; Gouyandeh, Z.; Armand, A.; Hasanoglu, A. On Fuzzy Solutions for Heat Equation Based on Generalized Hukuhara Differentiability. Fuzzy Sets Syst. 2015, 265, 1–23. [Google Scholar] [CrossRef]
  35. Tzimopoulos, C.; Papadopoulos, K.; Samarinas, N.; Papadopoulos, B.; Evangelides, C. Fuzzy Finite Elements Solution Describing Recession Flow in Unconfined Aquifers. Hydrology 2024, 11, 47. [Google Scholar] [CrossRef]
  36. Thomas, L.H. Elliptic Problems in Linear Difference Equations over a Network; Watson Scientific Computing Laboratory at Columbia University: New York, NY, USA, 1949. [Google Scholar]
  37. Samarinas, N.; Tzimopoulos, C.; Evangelides, C. An Efficient Method to Solve the Fuzzy Crank–Nicolson Scheme with Application to the Groundwater Flow Problem. J. Hydroinformatics 2022, 24, 590–609. [Google Scholar] [CrossRef]
  38. Zadeh, L.A. Fuzzy Sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  39. Negoita, C.V.; Ralescu, D.A. REPRESENTATION THEOREMS FOR FUZZY CONCEPTS. Kybernetes 1975, 4, 169–174. [Google Scholar] [CrossRef]
  40. Goetshel, R.; Voxman, W. Elementary Fuzzy Calculus. Fuzzy Sets Syst. 1986, 18, 31–43. [Google Scholar] [CrossRef]
  41. Bede, B.; Stefanini, L. Generalized Differentiability of Fuzzy-Valued Functions. Fuzzy Sets Syst. 2013, 230, 119–141. [Google Scholar] [CrossRef]
  42. Khastan, A.; Nieto, J.J. A Boundary Value Problem for Second Order Fuzzy Differential Equations. Nonlinear Anal. Theory Methods Appl. 2010, 72, 3583–3593. [Google Scholar] [CrossRef]
  43. Dubois, D.; Foulloy, L.; Mauris, G.; Prade, H. Probability-Possibility Transformations, Triangular Fuzzy Sets, and Probabilistic Inequalities. Reliab. Comput. 2004, 10, 273–297. [Google Scholar] [CrossRef]
  44. Mylonas, N. Applications in Fuzzy Statistic and Approximate Reasoning. Ph.D. Thesis, Dimokritos University of Thrace, Komotini, Greece, 2022. [Google Scholar]
  45. Sfiris, D.S.; Papadopoulos, B.K. Non-Asymptotic Fuzzy Estimators Based on Confidence Intervals. Inf. Sci. 2014, 279, 446–459. [Google Scholar] [CrossRef]
  46. Tzimopoulos, C.; Papadopoulos, K.; Evangelides, C.; Papadopoulos, B. Fuzzy Solution to the Unconfined Aquifer Problem. Water 2018, 11, 54. [Google Scholar] [CrossRef]
  47. Domenico, P.A.; Schwartz, F.W. Physical and Chemical Hydrogeology, 2nd ed.; John Wiley and Sons, Inc.: Hoboken, NJ, USA, 1990. [Google Scholar]
  48. Aravin, V.I.; Numerov, S.N. Theory of Fluid Flow in Deformable Porous Media; Israel Program for Scientific Translation: Jerusalem, Israel, 1948. [Google Scholar]
  49. Samarinas, N.; Tzimopoulos, C.; Evangelides, C. Fuzzy Numerical Solution to Horizontal Infiltration. Int. J. Circuits Syst. Signal Process. 2018, 12, 326–332. [Google Scholar]
  50. Samarinas, N.; Tzimopoulos, C.; Evangelides, C. Fuzzy Numerical Solution to the Unconfined Aquifer Problem under the Boussinesq Equation. Water Supply 2021, 21, 3210–3224. [Google Scholar] [CrossRef]
Figure 1. Sketch of the definition of the investigated problem.
Figure 1. Sketch of the definition of the investigated problem.
Hydrology 12 00128 g001
Figure 2. Finite element model: (a) global basis function, (b) local basis function, and (c) normal grid.
Figure 2. Finite element model: (a) global basis function, (b) local basis function, and (c) normal grid.
Hydrology 12 00128 g002
Figure 3. Fuzzy estimators of (a) S, (b) K, and (c) the ratio K/S, where αi (i = 1,2,…,6) are α-cuts [45].
Figure 3. Fuzzy estimators of (a) S, (b) K, and (c) the ratio K/S, where αi (i = 1,2,…,6) are α-cuts [45].
Hydrology 12 00128 g003
Figure 4. Boussinesq initial curve and Leibenzon approximation [2,48].
Figure 4. Boussinesq initial curve and Leibenzon approximation [2,48].
Hydrology 12 00128 g004
Figure 5. Orthogonal FEM model.
Figure 5. Orthogonal FEM model.
Hydrology 12 00128 g005
Figure 6. Ground water levels H vs. non-dimensional time τ. Comparison of the fuzzy triangular FEM method with the Boussinesq analytical method and with the fuzzy orthogonal FEM method for (a) τ = 0.1, (b) τ = 0.2, and (c) τ = 0.4.
Figure 6. Ground water levels H vs. non-dimensional time τ. Comparison of the fuzzy triangular FEM method with the Boussinesq analytical method and with the fuzzy orthogonal FEM method for (a) τ = 0.1, (b) τ = 0.2, and (c) τ = 0.4.
Hydrology 12 00128 g006
Figure 7. Water storativity versus real time t(d).
Figure 7. Water storativity versus real time t(d).
Hydrology 12 00128 g007
Figure 8. Water outflow versus real time t(d).
Figure 8. Water outflow versus real time t(d).
Hydrology 12 00128 g008
Figure 9. Fuzzy estimator of water storativity for (a) τ = 0.2 and (b) τ = 0.4.
Figure 9. Fuzzy estimator of water storativity for (a) τ = 0.2 and (b) τ = 0.4.
Hydrology 12 00128 g009
Figure 10. Fuzzy estimator of water outflow for (a) τ = 0.2 and (b) τ = 0.4.
Figure 10. Fuzzy estimator of water outflow for (a) τ = 0.2 and (b) τ = 0.4.
Hydrology 12 00128 g010
Table 1. Values of H(s,τ) for τ = 0.2.
Table 1. Values of H(s,τ) for τ = 0.2.
ORTH Fuzzy FEMTRIAN Fuzzy FEMBoussinesq
a/a τ α
0.48959
τ α = τ α +
0.20000
τ α +
0.12002
τ α
0.48959
τ α = τ α +
0.20000
τ α +
0.12002
τ α
0.48959
τ α = τ α +
0.20000
τ α +
0.12002
0.000.000000.000000.000000.000000.000000.000000.000000.000000.00000
0.050.139910.202320.230770.139910.202400.230770.140410.203110.23169
0.100.197020.284900.324960.197020.285010.324960.197290.285410.32555
0.150.239870.346860.395640.239870.347000.395640.239900.347030.39586
0.200.275000.397660.453580.275000.397810.453570.274820.397580.45349
0.250.304930.440940.502940.304930.441110.502940.304600.440680.50263
0.300.330950.478560.545850.330950.478750.545850.330520.478150.54541
0.350.353820.511640.583580.353820.511840.583580.353350.511130.58308
0.400.374050.540890.616950.374050.541100.616950.373580.540390.61645
0.450.391970.566810.646510.391970.567030.646510.391520.566390.64606
0.500.407830.589740.672660.407840.589970.672660.407420.589350.67230
0.550.421820.609960.695720.421820.610200.695720.421460.609680.69547
0.600.434060.627660.715910.434060.627900.715910.433760.627460.71576
0.650.444670.643000.733410.444670.643250.733410.444420.642880.73336
0.700.453730.656100.748350.453730.656350.748350.453530.656090.74838
0.750.461300.667050.760830.461300.667310.760830.461130.667080.76093
0.800.467440.675930.770960.467440.676190.770960.467290.676000.77109
0.850.472190.682790.778780.472190.683050.778780.472030.682850.77892
0.900.475560.687670.784350.475560.687930.784350.475390.687690.78446
0.950.477590.690600.787690.477590.690870.787690.477400.690590.78777
1.000.477720.690870.788040.477720.691130.788040.478060.691560.78887
Table 2. Values of H(s, τ) for τ = 0.4.
Table 2. Values of H(s, τ) for τ = 0.4.
ORTH Fuzzy FEMTRIAN Fuzzy FEMBoussinesq
a/a τ α
0.97917
τ α = τ α +
0.40000
τ α +
0.24004
τ α
0.97917
τ α = τ α +
0.40000
τ α +
0.24004
τ α
0.97917
τ α = τ α +
0.40000
τ α +
0.24004
0.000.000000.000000.000000.000000.000000.000000.000000.000000.00000
0.050.091940.154660.190580.091940.154660.190580.092250.155230.19130
0.100.129470.217790.268360.129470.217790.268360.129630.218130.26880
0.150.157630.265150.326730.157630.265150.326730.157630.265220.32685
0.200.180710.303980.374570.180710.303990.374570.180570.303860.37444
0.250.200380.337070.415340.200380.337070.415340.200140.336800.41501
0.300.217480.365830.450780.217480.365830.450780.217170.365430.45033
0.350.232510.391120.481940.232510.391120.481940.232170.390640.48143
0.400.245810.413480.509490.245810.413480.509490.245460.413000.50898
0.450.257590.433290.533900.257590.433290.533900.257250.432880.53343
0.500.268010.450820.555510.268010.450820.555510.267700.450420.55510
0.550.277200.466280.574550.277200.466280.574550.276920.465960.57423
0.600.285240.479810.591220.285250.479810.591220.285010.479550.59099
0.650.292220.491540.605670.292220.491540.605670.292010.491330.60551
0.700.298170.501550.618010.298170.501550.618010.297990.501430.61792
0.750.303150.509920.628330.303150.509920.628330.302990.509830.62828
0.800.307190.516710.636690.307190.516710.636690.307040.516650.63667
0.850.310310.521960.643150.310310.521960.643150.310150.521880.64313
0.900.312530.525690.647750.312530.525690.647750.312360.525580.64771
0.950.313860.527930.650510.313860.527930.650510.313680.527800.65044
1.000.313920.528090.650750.313920.528090.650750.314110.528540.65134
Table 3. Mean reduced square error.
Table 3. Mean reduced square error.
TRIAN Fuzzy FEM vs. Boussinesq
α α = 1 α +
τ 1 0.00000112920.00000117750.0000011763
τ 2 0.00000124310.00000122890.0000011372
τ 4 0.00000136670.00000116720.0000011166
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Tzimopoulos, C.; Samarinas, N.; Papadopoulos, K.; Evangelides, C. Triangular Fuzzy Finite Element Solution for Drought Flow of Horizontal Unconfined Aquifers. Hydrology 2025, 12, 128. https://doi.org/10.3390/hydrology12060128

AMA Style

Tzimopoulos C, Samarinas N, Papadopoulos K, Evangelides C. Triangular Fuzzy Finite Element Solution for Drought Flow of Horizontal Unconfined Aquifers. Hydrology. 2025; 12(6):128. https://doi.org/10.3390/hydrology12060128

Chicago/Turabian Style

Tzimopoulos, Christos, Nikiforos Samarinas, Kyriakos Papadopoulos, and Christos Evangelides. 2025. "Triangular Fuzzy Finite Element Solution for Drought Flow of Horizontal Unconfined Aquifers" Hydrology 12, no. 6: 128. https://doi.org/10.3390/hydrology12060128

APA Style

Tzimopoulos, C., Samarinas, N., Papadopoulos, K., & Evangelides, C. (2025). Triangular Fuzzy Finite Element Solution for Drought Flow of Horizontal Unconfined Aquifers. Hydrology, 12(6), 128. https://doi.org/10.3390/hydrology12060128

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop