1. Introduction
Aerodynamic stall phenomena are important in many engineering applications that influence critical operating limits and system performance. Aerodynamic hysteresis, which is observed both in experiments and in computational simulations under static and dynamic conditions, is an important feature of the stall region [
1,
2,
3]. This phenomenon has been observed in wind tunnel tests for flow around two-dimensional profiles such as NACA 0012 and 0018 for low Reynolds numbers, i.e.,
, as shown in [
4,
5,
6]. The existence of aerodynamic hysteresis in a thin airfoil with leading edge modifications for moderately high Reynolds numbers,
, was shown in [
7]. Other studies with three-dimensional wing configurations have also shown the existence of multiple branches of aerodynamic loads in the presence of static hysteresis [
8,
9]. Some successful simulations of aerodynamic static hysteresis and the challenges involved in such flows at high angles of attack were discussed in [
10,
11].
Stall prediction using wind tunnel tests or computer simulations is challenging due to the high sensitivity of flow separation to experimental testing conditions or computational models and solvers, respectively. Strong turbulence in the wind tunnel flow and vibrations of the test model mounting system can cause premature transitions between the branches of static hysteresis [
6]. In computational simulations, there is also observed sensitivity to the numerical solver, grid resolution, turbulence model, etc. [
11]. Despite the complications, it is important to improve the understanding of the flow physics of the static hysteresis phenomenon to develop a more reliable modelling of stall aerodynamics. Applications where static hysteresis exists range from wind turbines and micro air vehicles operating at low Reynolds numbers to the problem of in-flight loss of control (LOC-I) of transport aircraft, for which the modelling of stall/post-stall aerodynamics at high Reynolds numbers is required [
12].
There are many wind tunnel results that show static hysteresis in the separated flow region. For instance, the occurrence of static aerodynamic hysteresis in flow around a NACA 0018 airfoil in the range of Reynolds numbers from
to
was shown in [
4,
5,
13]. It was also shown that aerodynamic static hysteresis can exists even at high Reynolds numbers,
, and may be even enlarged with a circular bump on the leading edge of the pressure side of the airfoil [
7]. CFD predictions of such static hysteresis phenomena in 2D airfoils using the URANS equations in OpenFOAM [
14,
15] with the SA (1-eqn) and SST (2-eqns) turbulence models have also been successful [
13,
16]. The use of an algebraic turbulence model such as the Baldwin–Lomax model was also deemed sufficient for capturing the static hysteresis of a NACA 0012 airfoil at
but was associated with a very strong buffeting, even after introducing a special stabilizing numerical procedure [
10].
In this paper, we consider three-dimensional separated flow with the existence of aerodynamic static hysteresis for a NACA 0018 finite-aspect-ratio wing with
at moderate Reynolds numbers, i.e.,
and
. For the conducted URANS simulations with the use of the SST turbulence model, open-source CFD OpenFOAM code was used. The obtained simulation results were compared with wind tunnel data from [
8]. To the best knowledge of the authors, these are the first simulation results of aerodynamic static hysteresis loops for a three-dimensional wing configuration matching the experimental data and showing the development of flow asymmetry at high angles of attack. This shows the applicability of URANS simulations for the evaluation of separated flows forming with bi-stable flow structures and static hysteresis in aerodynamic loads. The simulations were carried out by using a pseudo-transient continuation algorithm-based dual-time solver developed in OpenFOAM, as proposed in [
17]. The methodology involves driving the residuals of segregated equations to zero (or at least to a truncation error) in every time step to ensure full convergence of the flow variables [
14,
15].
This paper also introduces a novel phenomenological method for modelling static hysteresis manifesting bi-stable separated flow structures. A concept of such bifurcation modelling of static hysteresis was proposed in [
18], and some of its implementations were previously discussed in [
13,
19,
20,
21].
The application of the proposed phenomenological model in this paper and its validation against experimental results are presented in
Section 4. The CFD simulation results are presented in the paper as follows: The computational framework, including the geometry, grid and other numerical setup details, is discussed in
Section 2. The computational results for static hysteresis obtained for Reynolds numbers of
and
by using OpenFOAM are shown in
Section 3. This section also includes the skin friction visualization patterns and three dimensional streamlines for bi-stable flow structures. The concluding remarks and future work are presented in
Section 5.
2. Computational Framework
In this section, the discussion revolves around the computational framework employed for simulating static and dynamic hysteresis. This includes the geometrical attributes of the NACA 0018 wing, the governing equations, and the numerical settings applied in OpenFOAM.
A NACA 0018 finite-aspect-ratio wing with
was made up from the two-dimensional NACA 0018 section profile with rounded tips at its ends. The wing span of the NACA 0018 was measured as
m, and the chord length was
m. A blunt trailing edge similar to that in the wind tunnel wing geometry was implemented. The incorporation of rounded tips aimed to facilitate smooth flow attachment to the wing edges and support the proper development of wing tip vortices. The adopted geometry of the considered wing is illustrated in
Figure 1. The boundaries of the virtual wind tunnel were positioned at a distance of 50 chord lengths in the upstream, downstream, and sideways directions. Consequently, there was no need for blockage corrections in the Computational Fluid Dynamics (CFD) results obtained with this setup.
The inlet was subjected to a Dirichlet velocity-inlet boundary condition, complemented by a Neumann-type zero-gradient pressure boundary condition. Meanwhile, at the outlet, a zero-gradient velocity outlet boundary condition was applied, and the pressure was set to a fixed value of = 0. Slip boundary conditions were adopted for the wind tunnel walls. To replicate wind tunnel conditions, the turbulent kinetic energy at the inlet was set to a fixed value based on a turbulence intensity of . For the solid rotating surfaces, specifically the NACA 0018 wing, a “movingWallVelocity” boundary condition was implemented to ensure a zero-flux condition during dynamic or quasi-steady oscillations.
The computational grids were generated by using ICEM CFD software, incorporating an O-grid topology for the seamless wrapping of the O-type blocking around the wing with a blunt trailing edge. This approach facilitates the creation of a high-quality, structured grid with favourable cell determinant values for the hexahedral cells. Utilizing O-type blocking ensures a well-defined boundary layer, maintaining optimal values for cell skewness and orthogonality. The ratios of cell area and volume transitions fell within the range of 0.8–1.2, allowing for a maximum change of 20 percent. This ensured that large gradients in flow scalar and vector variables were avoided during the simulation. The boundary layer comprised 30 adjacent layers with a growth rate of
. The height of the first cell layer was determined by a non-dimensional wall distance of
, enabling the use of a no-wall-function, low-Reynolds-number approach. Following a thorough grid independence study, a mesh size of 3.5 million elements was found to be sufficient for this study, as shown in
Figure 2.
The flow conditions, characterized by a relatively low Mach number,
, allowed for the consideration of incompressible fluid flow. The Navier–Stokes (NS) equations governing incompressible fluid flow are the continuity (Equation (
1)) and the momentum (Equation (
2)) formulas:
For flow conditions characterized by high Reynolds numbers, the computational demands associated with the Direct Numerical Simulation (DNS) of Equations (
1) and (
2) typically surpass the current computational capabilities. To address the effects of turbulence in a more computationally feasible manner, the Unsteady Reynolds-Averaged Navier–Stokes (URANS) equations are often employed. These represent a time-averaged approximation of the Navier–Stokes equations, with the averaging process introducing additional terms known as Reynolds stresses. Describing these stresses necessitates the inclusion of empirical equations, either algebraic or differential, to close the computational model. The majority of URANS turbulence models rely on an eddy viscosity concept, analogous to the kinematic viscosity of fluids, to characterize the turbulent mixing or diffusion of flow momentum. In linear turbulence models, the Reynolds stresses resulting from the averaging are modelled by using the Boussinesq assumption (Equation (
3)):
In this study, the SST (Shear-Stress Transport) two-equation turbulence model, as proposed by Menter [
22], was utilized. This model is widely applied in aeronautical applications, particularly for external aerodynamics involving adverse pressure gradients and strongly separated flow conditions [
11,
22]. The authors have also previously employed the SST model for capturing static hysteresis phenomena for the NACA 0018 2D airfoil [
13]. The SST model solves two equations, one for the turbulent kinetic energy (
k) and the second for evaluating
, which represents the specific dissipation rate of turbulence.
According to a meticulous evaluation and the testing of various finite volume schemes and solvers available in OpenFOAM, as outlined in
Table 1, the Pre-conditioned Conjugate (PCG) solver coupled with the Geometric Algebraic Multi-Grid method (GAMG) as a pre-conditioner seemed as the most efficient algorithm for driving unsteady residuals to zero at each time level. By employing the GAMG pre-conditioner with 10–30 iterations and applying the pre- and post-smoothing of residuals for 2–3 levels, it was observed that only 10–30 iterations of the PCG solver were required to reduce the residual (in the outer iterations) to nearly zero. The gradients of the flow quantities were computed by using the second-order accurate Gauss linear scheme with limiters based on cell centre values. The divergence of the vector velocity field and the scalar turbulent quantities was estimated with second-order accuracy by using the “cellLimited Gauss linear” scheme in OpenFOAM. A linear interpolation scheme was utilized for estimating the contribution of the cell centre variables to the faces.
The estimation of the time derivatives in OpenFOAM for the case studies involved in this research was accomplished by using the dual-time stepping method, which has been well established for steady-state problems [
23,
24]. More particularly, the time integration technique proposed in [
17], which has been verified and tested for several dynamic hysteresis and quasi-steady hysteresis cases, was adopted.
4. Phenomenological Bifurcation Model
This section presents a phenomenological model of aerodynamic hysteresis, reflecting the empirical properties of aerodynamic loads in the stall zone. The proposed formulation for the phenomenological model is adapted to the available experimental data [
8] and the CFD simulation results presented above.
The formulation of the phenomenological model should reflect the effects observed in experiments and computer simulations of the delay in the onset of flow separation, as well as its reattachment, compared with static conditions. It was shown that the flow separation delay is proportional to the rate of change in the angle of attack (
) due to the improvement in the pressure gradient in the region of the leading edge [
1]. Flow reattachment when returning to lower angles of attack also exhibits similar behaviour. A key feature of the phenomenological model is the need to reflect the existence of bi-stable separated structures that create static hysteresis loops and also dynamic transitions between branches of static hysteresis under unsteady conditions.
The phenomenological model, originally proposed in [
18], was based on the use of a first-order nonlinear dynamic system, including a folded equilibrium surface with bifurcation points bounding the static hysteresis zone, representing flows with a non-unique structure. A simplified model [
18] for aerodynamic loads taking into account a single separated flow structure in the stall zone, presented in [
26], demonstrated good agreement with experimental data obtained in a wind tunnel for a number of delta wings, as well as for aircraft performing Cobra manoeuvrers. The used representation is based on the introduction of an internal variable (x) characterising the position of the vortex breakdown or flow separation point governed by a first-order linear differential equation characterising variation in the internal state variable under transitional motion conditions. The delay of stall was described by using the delay argument
. Recently, this delay–relaxation model has attracted the attention of researchers and showed its efficiency in many applications, ranging from separation flow control and gust alleviation [
5,
27] to transport aircraft dynamic manoeuvrers [
28].
With introduction of the normalised internal state variable (
), the aerodynamic loads depend not only on the angle of attack (
) and its rate of change (
) but also on the state variable (
x); for example, the normal force coefficient in the stall region can be represented with the nonlinear function
, reflecting the influence of the internal variable (
x) on the aerodynamic loads. This general function should have the following properties:
and
, where
is the dependence of the normal force coefficient under attached flow conditions, which is extended above the stall region, and
represents the dependence of the normal force coefficient under fully separated flow conditions, which is extended below the stall region (see
Figure 12).
In case of a single flow structure, the dynamic behaviour of the internal state variable (
) is described by the following first-order linear relaxation differential equation:
where
is a normalised internal state variable characterising the location of flow separation;
corresponds to the conditions of an attached flow and
to the conditions of a completely detached flow;
characterises the location of flow separation under static conditions;
is the delayed angle of attack, where the delay is proportional to the rate of change in the angle of attack
; and
and
are the time constants, which characterise the relaxation process and the delay effect, respectively.
The transition of flow from attached conditions to completely detached conditions in the dependence
considers that most of the normal force is generated in the area close to the leading edge of the wing; the following approximation is accepted:
where
. According to the Kirchhoff formula for a fully separated flow with a constant pressure zone behind an airfoil [
5,
26,
28], this function, by considering Equation (
5), is represented as
. This formula shows that about
of the normal force coefficient (
) is generated in the immediate vicinity of the leading edge,
. This amount of
is lost upon transition to a completely separated flow regime, which is characteristic of the lower branch of static hysteresis.
There is a wealth of experimental data showing the existence of static aerodynamic hysteresis in the stall zone, similar to the experimental and simulation results for the
NACA 0018 presented in this paper. To model static aerodynamic hysteresis formula (Equation (
4)) should become nonlinear as
and the steady states in this system must be represented by a folded curve with two turning points bounding the static aerodynamic hysteresis loop. For this, the nonlinear function
in Equation (
6) can be represented as a third-order polynomial with respect to the internal variable (
x) in following form
, as it was used in [
20]. Note that Equation (
6) is converted into Equation (
4) when
,
and
. By using experimental data for static conditions and oscillations at different amplitudes and frequencies, the model coefficients
and
in Equation (
6) can be formally identified by minimizing a positive definite cost function consisting of the differences between the results of the phenomenological model and the experimental data. The details of such identification can be found in [
20].
In this work, we present a geometric approach to the formation of a folded curve of equilibrium solutions to Equation (
6) for modelling static aerodynamic hysteresis, which is visually implemented below by trial and error, proving the possibility of developing a formal identification procedure of the model parameters for any particular stall condition.
We modify Equation (
4) to the following nonlinear form:
where
is the hysteresis morphing function and
is the saddle disturbance function. The choice of these two functions, which we present below, is based on the creation of three different equilibrium solutions in the stall region by shaping the function
as a closed curve in the form of an ellipse and the function
, which is non-zero only in the vicinity of two saddle points of a nullcline set of points defined by the equation
; the function
specifies the relaxation time in various stationary states of the phenomenological model.
Figure 13 graphically presents major constructions in designing the nonlinear functions in Equation (
7). The dashed lines represent the nullcline set of points defined by the equation
. The function
is crossing the ellipse defined by the morphing function
in two saddle points,
and
. These two saddle points are structurally unstable, and the function
applied in the vicinity of the saddle points transforms the nullcline set of points into a continuous folded curve, which shapes a skeletal function for static hysteresis. This curve includes two stable branches of static hysteresis, one on the top, with
, and one on the bottom, with
. The intermediate branch (red segment) represents an unstable solution to Equation (
7), which separates regions of attraction of stable branches (two black segments). Two fold bifurcation points,
and
, on the skeletal curve indicate jump-like transition from one stable branch of static hysteresis to another stable branch depending on the direction of the angle-of-attack variation. The presented skeletal hysteresis function was adapted to the experimental positions of
for the top and bottom branches of static hysteresis:
and
. More details about the constructed functions are given in
Appendix A.
The characteristic time scale (
) in the case of Equation (
7) is now expressed as
where
. This means that when approaching bifurcation points of static hysteresis
and
, the relaxation time approaches infinity (
). This explains the significant expansion of the hysteresis loops under unsteady conditions with very slow variation in the angle of attack (
deg/s) (see
Figure 11).
Figure 12 shows that the constructed nonlinear functions shown in
Figure 13 accurately model the quasi-static hysteresis, showing good matching with the experimental data. Three different cases of dynamic hysteresis were modelled: (a) the loop around the static hysteresis zone (shown in
Figure 14), (b) the loop on the top branch of
reaching bifurcation point
(shown in
Figure 15) and (c) the loop on the bottom branch of
reaching bifurcation point
(shown in
Figure 16). The images on the left in
Figure 14,
Figure 15 and
Figure 16 show dynamic variations in the internal state variable (
) with respect to the skeletal function of static hysteresis. The phenomenological modelling results in all three cases (a–c) are very close to the experimental wind tunnel data for different amplitudes and frequencies of oscillation. The tuning of the nonlinear function
in the model equation (Equation (
7)) was carried out manually by a trial-and-error method for an ensemble of the considered processes. A formal mathematical approach for the parameter identification of phenomenological bifurcation models needs further research.