Abstract
This research work presents an experimental and numerical study of the coupled thermo-hydro-mechanical (THM) processes that occur during soil freezing. With focusing on the artificial ground freezing (AGF) technology, a new testing device is built, which considers a variety of AGF-related boundary conditions and different freezing directions. In the conducted experiments, a distinction is made between two thermal states: (1) The thermal transient state, which is associated with ice penetration, small deformations, and insignificant water suction. (2) The thermal (quasi-) steady state, which has a much longer duration and is associated with significant ice lens formation due to water suction. In the numerical modeling, a special focus is laid on the processes that occur during the thermal transient state. Besides, a demonstration of the micro-cryo-suction mechanism and its realization in the continuum model through a phenomenological retention-curve-like formulation is presented. This allows modeling the ice lens formation and the stiffness degradation observed in the experiments. Assuming a fully saturated soil as a biphasic porous material, a phase-change THM approach is applied in the numerical modeling. The governing equations are based on the continuum mechanical theory of porous media (TPM) extended by the phase-field modeling (PFM) approach. The model proceeds from a small-strain assumption, whereas the pore fluid can be found in liquid water or solid ice state with a unified kinematics treatment of both states. Comparisons with the experimental data demonstrate the ability and usefulness of the considered model in describing the freezing of saturated soils.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The need for efficient, environmentally friendly and modern infrastructures, especially in big cities with a high population density, has led to an increase in the dependency on underground constructions such as underground traffic routes. Moreover, in areas with difficult geological conditions, such as hills, mountains, and river crossings, relying on underground constructions, such as tunnels, provides feasible economical and ecological solutions. In the construction of underground structures especially in inner-city areas, artificial ground freezing (AGF) is a widely used technology. It utilizes the advantages of frozen soils, which can bear static loading and have a waterproofing functionality. Nevertheless, the accompanying volumetric expansions might lead to soil deformations and frost heave at the ground surface and, thus, damaging the nearby constructions. This occurs frequently in fine-grained soils due to ice lens formation. In particular, ice lenses are pure ice layers in the soil, which evolve at negative temperatures near the frost line by the accumulation of sucked groundwater. This suction occurs during the phase-change process in the partially frozen area (frozen fringe) and leads to water transport from the unfrozen area toward the ice lenses (see, e.g., [7, 21, 57, 96, 102, 110, 117]). Different case studies in connection with projects related to the AGF technique could be found in [3, 12, 74].
Early studies of ice lens formation in open systems were carried out by [109, 110] who investigated the frost penetration into the soil due to low ambient temperatures. He considered different types of soils, investigated the effect of overburden pressure and studied several factors that contribute to the water suction. Additionally, Taber [109] pointed out that the grain sizes, the water availability, the size and percentage of voids, as well as the cooling rate play a major role in the frost heave and the ice lens formation. To quantify the frost heave onset due to soil freezing, tests on a macroscopic level were carried out by, e.g., [4, 55, 57, 60, 62, 64,65,66, 69] and [93]. Moreover, microscopic tests and studies using X-ray images [5, 61, 92], particle image velocimetry [9, 29], and time lapse photography using fluorescent tracer [118] helped in better understanding the formation process of discrete ice lenses and the frozen fringes characteristics.
While most of the studies on soil freezing that can be found in the literature are motivated by weather-induced freezing and considered the corresponding boundary conditions, they overlooked the differences in the soil behavior between naturally induced and artificially induced soil freezing. Of particular importance in this regard are the effects of freezing direction and the different thermal boundary conditions. In this work, frost heave experiments are carried out, which include an investigation of the variation of the thermal state during AGF, the different freezing directions, the temperature conditions, the water pressure change and the overburden loading. Therefore, the outlined results in this paper focus on investigations of thermal states and freezing directions at different temperature boundary conditions. For an appropriate evaluation of the experimental results, the different thermal states during freezing have to be considered. The ice lenses can initiate during the thermal transient state. However, with the decrease in the frost penetration rate, the ice lens thickness increases until the frost penetration rate becomes almost zero and the thermal (quasi-) steady state is reached. At a given water availability, the heave due to ice lens formation during the thermal (quasi-) steady state can significantly exceed the heave due to ice formation during the thermal transient state. The consideration of the thermal (quasi-) steady state is important since the artificial ground freezing is usually used for long construction periods. For this reason, both thermal states are considered separately in the analysis of frost heave tests. Previous studies on frost heave with ice lens formation mostly refer to the natural frost penetration in cold regions and, therefore, focus on the transient state [63].
Due to gravity effects, soil freezing is direction-dependent, which is addressed in the underlying study. For instance, in tunnel construction with horizontal or slightly inclined freezing pipes, ice accumulates around the pipes, however, more rapidly upward as the gravity enhances the water flow toward the freezing area. In this connection, it is worth mentioning that [8, 25] and Niggemann [81] reported increasing permeability in the vertical direction as a result of longitudinal shrinkage cracks.
In the underlying work, a numerical modeling framework that takes the multi-physical thermo-hydro-mechanical (THM) processes of ground freezing into account is presented. In this, a saturated soil is treated as a non-isothermal, deformable, fully saturated biphasic porous material with a single fluid that can change depending on the thermal conditions between a solid ice and a liquid water state. The model is based on a coupled phase-field-porous media approach [108], where the main focus is laid on the temperature-driven processes that lead to the phase transition between water and ice and the freezing-related deformations that can be observed in the experiments. The governing equations of the macroscopic model are based on the well-founded theory of porous media (TPM) extended by the phase-field modeling (PFM), whereas the combined PFM-TPM approach is implemented within a finite element method (FEM) framework to reliably simulate the coupled process of soil freezing.
The macroscopic TPM [19, 32, 36, 40, 70, 71], which extends the Theory of Mixtures (TM) [18, 113] by the concept of volume fractions is used as a continuum-mechanical framework for the description of the deformable, heterogeneous porous solid. For a more detailed discussion of the general frame of the TPM, its extensions, solution schemes, applications and historical development, the interested reader is referred to [20, 24, 31, 35, 36, 49, 50, 52, 71, 85, 101] among others. Besides, the phase-field model (PFM) is employed for deriving a unified kinematics formulation for the phase changing fluid constituent. Details and references related to the energetic PFM for phase-change materials description can be found in, e.g., [16, 59, 105, 115].
In the literature, different THM models within porous media frameworks have been developed to capture the multi-physical phenomena related to soil freezing, see, e.g., [28, 56, 68, 79, 80, 82]. Additionally, several THM numerical models were developed within the AGF context, to capture the volume expansion of water transforming into ice and the contribution of the micro-cryo-suction mechanism responsible for driving liquid water toward the frozen zone, see, e.g., [23, 112, 124, 125]. Related to the physical aspects and modeling of the ice lens formation during the freezing process, several theories and models that utilize different ice lens formation criteria were proposed in [10, 67, 76, 77, 88, 123]. Recently, Gawin et al. [45] presented a new poro-mechanical model of the coupled THM processes in partially saturated porous materials that are exposed to temperatures below the freezing point of the pore water. Their model considered freezing-thawing cycles, and can capture important events, such as the effects of hysteresis, the water supercooling, and the cyclic freezing strains.
In related research works, thermodynamically consistent modeling of the phase-change process in porous materials were developed [30, 33]. Considering liquid/gas phase transitions within saturated elasto-plastic porous media, TPM models were later presented in [37, 38]. Related to the freezing and thawing in porous media including the accompanied phase transition process and volumetric deformation, several models were proposed [14, 15, 98, 99]. In the aforementioned publications, the phase-change process was modeled by imposing a mass production term in the mass balance relation to describe the mass transfer from one phase to another. This method, however, added some complexity and numerical stability challenges to their models. To overcome such problems, an artificial restriction for the volume fraction of the liquid during freezing has to be provided; otherwise, the volume fraction tends to become negative. In the present work, this challenge is avoided by employing the energetic phase-field method to describe the phase-change. Consequently, we consider that ice and water phases belong to the same pore-fluid and are described using PFM-based unified kinematics, thus a more stable and easier computational treatment is provided.
Utilizing the energy-based PFM [11, 16, 95, 105], explicit tracking of the freezing interface is completely avoided, which makes it more attractive among the other interface capturing methods, e.g., the level-set [89] and the volume-of-fluid [54], and easy to implement in finite-element codes. In the context of PFM, a phase-field variable \(\phi\) is employed to indicate the phases of the material, i.e., \(\phi =0\) for the solid and \(\phi =1\) for the liquid states. The PFM allows for a smooth variation between these distinct values across the interface, resulting in a finite interface thickness. A certain evolution equation for \(\phi\) can rigorously be derived from thermodynamically consistent theories of continuum phase transitions (see, e.g., [115]). The development and applications of phase-field models in the context of continuum models of phase transitions have been presented by many researchers [16, 27, 43, 58, 59, 78, 105, 115, 119, 122]. Away from the phase-change applications, the PFM can also be found in recent contributions within fracture mechanics and crack propagation as, e.g., [6, 39, 51,52,53, 84, 90, 91, 94]. The PFM is being recently applied to tackle phase-change problems on the macroscale [107, 120, 121], especially for studying the behavior of phase-change materials (PCMs). However, none of the above mentioned phase-change-PFM-based articles considered the challenging problem of porous structure deformation due to the volume changes of the fluid during solidification or melting. In the current contribution, this challenge will be tackled using an efficient thermodynamically consistent combined TPM-PFM approach.
In a nutshell, the major objective of this work is to gain new insight into the challenging coupled thermo-hydro-mechanical processes that occur during soil freezing via applying an advanced experimental and numerical study. This is achieved by (1) building a new multi-directional soil freezing testing device that allows the application of different mechanical and thermal boundary conditions, (2) measuring the time-dependent thermo-hydro-mechanical changes in the domain and at the boundaries of the specimens, (3) implementation and validation of a simplified unified water/ice kinematics porous media approach to model the coupled phase-change thermo-hydro-mechanical processes, and (4) extending the modeling framework via a retention-curve-like formulation to consider the micro-cryo-suction mechanism and, thus, allowing to capture the deformations in the transient and the (quasi-) steady state due to ice lens formation.
To give an overview, Sect. 2 describes the experimental method with specifications of the test setup, the existing boundary conditions and the properties of the test material. The evaluation of the experimental data is explained in Sect. 3, including the measured experimental data as well as the distinction of thermal transient and thermal (quasi-) steady state. In Sect. 4, the results of the two test series with different thermal boundary conditions as well as considering the different freezing directions, are explained. Section 5 provides a description of the fundamental kinematics and basic principles of the TPM and PFM and introduces the governing balance relations. Moreover, an extension of the model for the description of ice lens formation is presented in this section. Section 6 presents the numerical treatment of the governing equations, including the weak formulations, as well as the spatial and the temporal discretization. Verification of the numerical model for the thermal transient state based on experimental data is carried out in Sect. 7.1. Section 7.2 presents the numerical results related to the ice lens formation and a comparison with the experimental results for the thermal steady state. Finally, a brief summary, conclusions and an outlook of future works are presented in Sect. 8.
2 Experimental method
2.1 Setup of the test device
This project focuses on frost heave analysis due to AGF, which includes different freezing directions. This mimics real AGF scenarios as, e.g., via using horizontal freezing pipes, in which the vertical freezing direction toward the ground surface is decisive in the resulting maximum heave. To investigate the maximum frost heave, an experimental testing device is constructed, which allowed for the examination of the one-dimensional upward freezing (bottom freezing - BF). The results are then compared to one-dimensional downward-freezing tests (top freezing—TF) with a more common setup used for frost heave tests with regard to pavement freezing in cold regions (Fig. 1).
The dimensions of the cylindrical specimen are \(d = 25\,\hbox { cm}\) in diameter, and \(h = 20\,\hbox { cm}\) in height. Each specimen is placed in a special test cylinder to achieve a uniaxial deformation during freezing. It consists of eight PVC ring elements with a \(2.5\,\hbox { cm}\) thickness. During the freezing test, the ring elements can be pulled apart, so that the soil samples do not undergo any frictional resistance due to the vertical expansion. The top and the bottom of the samples, respectively, are cooled by a freezing element ①, which is connected to a cooling circulation thermostat (CC-508, Huber Kaeltemaschinenbau AG, Germany). A water reservoir ⑥ is connected to a filter plate ② at the warm side of the sample, providing a water supply under atmospheric pressure for ice lens formation. The warm end of the soil sample is additionally heated by a heating plate ③, that is connected to a warming circulation thermostat (Kiss 104A, Huber Kaeltemaschinenbau AG, Germany) to avoid freezing of the whole sample. All tests are carried out in a climatic chamber with a constant temperature of \(15 ^{\circ }\hbox {C}\) and humidity of \(40 \%\) to exclude influences such as seasonal fluctuations.
For data recording, temperature sensors (MWT1/10, TMH GmbH, Germany) ④ are distributed over the sample height. In order to calculate the temperature profile as a function of time, the vertical displacements of the temperature sensors during frost heave are measured using displacement transducers (LRW2-C-50, WayCon Positionsmesstechnik GmbH, Germany). The uniaxial deformations at the top of the specimen are also recorded by displacement transducers (LRW2-C-50, WayCon Positionsmesstechnik GmbH, Germany) ⑤. To determine the water inflow into the sample due to suction, the mass of the water supply is recorded by a load cell (S2, HBM, Austria) ⑥.
2.1.1 Boundary conditions
In the following, the thermal, the hydraulic, and the mechanical boundary conditions in connection with the test device setup are defined, which are also going to be considered in the related numerical models. Figure 2 shows the boundary conditions for the bottom as well as for the top freezing setups. The freezing element cools down the surface of the soil sample and leads to axial soil deformations. The PVC cylinder avoids a radial expansion of the freezing sample. After reaching the set temperature, the freezing element maintains a constant temperature. The radial heat transfer can be neglected, which is ensured by an insulating PVC cylinder and an additional extruded polystyrene resistance foam covering the test cylinder. The environmental conditions are controlled by the climatic chamber. The ambient temperature for the test series presented here is \(\theta _{a} = 15^{\circ }\hbox {C}\), which is also the initial temperature \(\theta _i\) of the soil sample. During the entire experiment, water can be sucked from an external supply, which is located at the warm side of the sample. For the presented study, the overburden load results only from construction elements (i.e., the porous heating plate for BF and the freezing plate for TF) and an additional static \(10 \, \hbox {kg}\) load to ensure a frictional connection between the plates and the sample. This results in a total load of \(p = 3.6 \, \hbox {kPa}\).
2.2 Test material and procedure
The experiments are carried out by considering a lean clay (CL, classified by the Unified Soil Classification System), see, Fig. 3 for the particle size distribution, with a liquid limit of \(32.9\%\) and a plasticity index of \(14.5\%\).
The material is produced artificially to ensure an equal composition for all tests and, thus, to improve the comparability of the results. The material is prepared with a water content of \(20\%\) to ensure a high saturation up to \(95\%\) as well as an appropriate consistency. For saturation, the dry soil is mixed with the required amount of water and stored for 24 hours to ensure that water can penetrate the pores. Afterward, the soil is installed in the test cylinder. The water content present is checked for each soil by a drying procedure.
The essential material properties are summarized in Table 1. These include the mechanical properties, which are determined via tests carried out at the Chair of Geotechnical Engineering, RWTH Aachen University, and the thermal properties, which are determined via tests at the Institute of Applied Geophysics and Geothermal Energy, RWTH Aachen University.
The prepared soil is stored for approx. 24 hours in the climatic chamber at \(15 ^{\circ }\hbox {C}\) to ensure a uniform material temperature at the beginning of each test. After acclimatization, the freezing process is turned on. At the same time, the tempering process also starts on the warm side of the sample. During the freezing process, liquid water through a reservoir is provided at the permeable warm boundary, so that the suction from external source is not barriered. The duration of the freezing process is about 10 days per experiment.
2.3 Test series
Two test series are carried out focusing on the effects of freezing directions (BF and TF) and the temperature boundary conditions.
In test series 1, the frost penetration is not regulated by the warm side temperature but only by the cold side temperature. With temperature-induced freezing at the bottom or top boundary, the applied temperature varies between approx. \({-5^{\circ }\hbox {C}}\) to approx. \({-15^{\circ }\hbox {C}}\). On the warm side, there is only a minimal heat penetration to prevent freezing of the whole sample. The temperature at the warm boundary changes between approx. \({5^{\circ }\hbox {C}}\) to approx. \({10^{\circ }\hbox {C}}\) depending on the set cold side temperature. In this series, the final frost depth at thermal (quasi-) steady state changes with the applied temperature at the freezing boundary. Thus, the temperature gradients over the sample height at thermal (quasi-) steady state are constants (\(\mathrm {grad}\,\theta = \text {const}.\)).
To investigate the influence of different temperature gradients, test series 2 includes experiments carried out with adjusted warm side temperatures to reach the same frost penetration depth at different freezing temperatures (\(\mathrm {grad}\,\theta \ne \text {const}.\)). The set temperature gradient in the frozen area \(\mathrm {grad}\,\theta _{\mathrm {f}}\) varies between \(0.6^{\circ }\hbox {C}/\hbox { cm}\) and \(1.6^{\circ }\hbox {C}/\hbox { cm}\).
3 Experimental evaluation
3.1 Extracted parameters
The results of each frost heave test (BF and TF) include the measured
-
total frost heave,
-
temperatures at six measuring points (incl. motion of sensors),
-
sucked water mass during ice lens formation.
The total frost heave is measured at the top of the sample to record uniaxial deformations due to pore water expansion and ice lens formation. To determine the position of the frost line during the freezing test, the temperature along the sample height is measured. Figure 4 shows the time-dependent measured temperature along the soil sample and the resulting calculated temperature surface. This space-time temperature contour plot is used to determine the frost line at \(0^{\circ }\hbox {C}\) (see Sect. 3.2 for more details). The recorded sucked water from the reservoir provides information about the reservoir water mass used for ice lens formation and, therefore, the influence of gravitational forces (only at BF), which favor the inflow of water.
After each freezing test, the water content is determined in the longitudinal direction of the soil sample to examine the water distribution after freezing. For this purpose, the sample is divided into approx. \(2.5\, \hbox { cm}\) thick layers.
3.2 Definition of thermal states
During artificial ground freezing, two thermal states result from different operating phases. Initially, the frost body freezes to the required static thickness with a continuously changing frost line position (“moving ice/water boundary”). The penetration velocity depends on the temperature gradient. This state is referred to as the thermal transient state with pore water expansion and less ice lens formation due to freezing pore channels and therefore a restricted water supply. In the subsequent thermal steady state, the thickness of the frozen body is maintained. Since a last ice lens is still formed in this state, it is also called thermal (quasi-) steady state. With unrestricted water supply, the last ice lens causes a very large heave over time. Therefore, this state is especially decisive for long-term projects. In order to investigate the ice lens formation at the thermal (quasi-) steady state, the beginning of this state must be defined in the experiments.
The definition of the thermal (quasi-) steady state, when no further frost penetration occurs, is based on the course of the \(0^{\circ }\hbox {C}\)-isotherm (Fig. 5, left), which is determined by the temperature space-time distribution in Fig. 4 defining the \(0^{\circ }\hbox {C}\) over time. The time derivative of the \(0^{\circ }\hbox {C}\)-isotherm (Fig. 5, right) gives the frost penetration velocity \(\textit{v}_{\mathrm {fp}}\), which approaches zero at (quasi-) steady state conditions. The beginning of the thermal (quasi-) steady state is defined by a critical frost penetration velocity \(\textit{v}_{\mathrm {fp,crit}}\) less than \(0.01 \, \hbox { cm}/\hbox { h}\). From this point onward, the water flow to the ice lens is not prevented by freezing pore spaces due to a moving frost line and the frost heave significantly exceeds the heave at the transient state.
Figure 6 shows the results of frost heave H at thermal transient and (quasi-) steady state. In the transient state, the pore water heave \(\textit{H}_{\mathrm {PW}}\) is determined by the one-dimensional pore water expansion of \(9\%\) due to the frost penetration x(t), under consideration of the of the volumetric porosity \(n^F\) and the saturation degree \(\textit{S}_{\mathrm {r}}\). In the following equation, it is assumed that the water freezes at \({0^{\circ }\hbox {C}}\) and does not expand into air filled voids.
The difference between total heave and pore water expansion is the calculated ice lens formation at the transient state. Compared to the ice lens formed at the (quasi-) steady state, the heave due to ice lens formation in the transient state is minor. This is particularly the case for long periods under (quasi-) steady state conditions.
4 Experimental test results
4.1 Water content after freezing
The measured water mass sucked in from the reservoir does not reflect the total water mass used for ice lens formation. A comparison of the sucked in reservoir water with the total water mass, calculated back from the total heave due to ice lens formation, shows a difference, which reflects the sucked in pore water. The amount of sucked in reservoir and pore water depends on the flow path length between the water reservoir and the ice lens. A longer flow path leads to a lower pressure gradient over the unfrozen part and thus a lower water accumulation of reservoir water. With a decreasing water supply from the reservoir, the amount of pore water of the unfrozen soil, which contributes to the ice lens formation, increases. Figure 7 (left) shows an example of the ratio of sucked water from the reservoir and pore water to the total water mass used to form ice lenses. At the beginning of ice lens formation, most of the water that forms the ice lens is pore water. This is due to the low permeability of the soil and the long flow path from the reservoir to the ice lens, which restricts the flow rate of the reservoir water. The unfrozen soil shrinks as water drains off, resulting in longitudinal cracks along the sample, whereby the permeability of the unfrozen soil increases and additional reservoir water flows through the unfrozen part to the arising ice lens. This phenomenon of crack formation was also observed earlier by other scientists (e.g., [8, 25, 109]) and is attributed to particularly impermeable soils. Figure 7 (right) shows the water content along the soil sample (about \(2.5\, \hbox { cm}\) layers) after freezing. Compared to the initial water content (\(20\%\)) the unfrozen part shows a lower water content, especially near the last ice lens. In the frozen area it is higher compared to the initial state caused by slight ice lens formation during the thermal transient state.
4.2 Test series 1
In test series 1, only the cold side temperature is varied between \(-5^{\circ }\hbox {C}\) and \(-15^{\circ }\hbox {C}\) to reach different frost penetrations. The ice lens heave at the thermal (quasi-) steady state \(\textit{H}_{\mathrm {IL}}\) depends on the length of the unfrozen part or flow path \(\textit{d}_{\mathrm {uf}}\) between the ice lens and the sample surface with water supply (see, Fig. 8). With a lower temperature at the freezing boundary \(\theta _{\mathrm {f}}\), greater frost penetration and, therefore, a decrease in the flow path occurs. The shorter flow path enhances the water supply for ice lens formation due to an increased water flow velocity from the water reservoir to the ice lens. Thus, more frost heave due to ice lens formation occurs.
The frost heave H results in Figs. 9 and 10 show differences between BF and TF at thermal transient and (quasi-) steady states. Considering the thermal transient state (Fig. 9), the differences between the TF and the BF result from the different frost depth due to the freezing temperature. A comparison between the two different freezing directions shows the influence of overburden soil pressure. The higher the overweight during BF, the lower is the heave gradient at the beginning, which results in a lower total heave at the end of the thermal transient state.
A comparison of the ice lens heave \(\textit{H}_{\mathrm {IL}}\) with different freezing directions shows that the BF exceeds the TF with smaller flow paths \(\textit{d}_{\mathrm {uf}}\) (Fig. 10, left). A similar result is shown for the sucked water mass \({m_{\mathrm {w}}}\) (Fig. 10, right). The increasing heave difference between BF and TF is also attributed to better water accumulation in the unfrozen part according to the formation of longitudinal cracks during freezing (Fig. 11). At BF, water accumulation increases due to gravity, especially when the frost line is near the sample surface, causing the cracks to extend to the warm sample surface where the water from the reservoir can flow into the sample. The better water supply results in larger heave due to ice lens formation. If the frost line is not close to the warm side, the cracks do not reach the water source (warm side surface). In this case, the heave difference between BF and TF is primarily due to the overburden load. Depending on the position of the frost line, the overburden load also changes slightly. This effect cannot be excluded, thus further research needs to be carried out to investigate the influence of overburden pressure.
4.3 Test series 2
In test series 2, the freezing and heating temperatures were set to achieve the frost line at thermal (quasi-) steady state approximately in the center of the sample. The set temperature gradient in the frozen area \(\mathrm {grad}\,\theta _{\mathrm {f}}\) varies between \(0.6^{\circ }\hbox {C}/\hbox { cm}\) and \(1.6^{\circ }\hbox {C}/\hbox { cm}\).
During thermal transient state, the ice lens formation depends on the temperature gradient, because a slow frost penetration rate improves water accumulation. For the researched temperature gradients the heave differences were negligible in comparison to the final ice lens that is formed at (quasi-) steady state conditions.
Figure 12 (left) shows the frost heave 150 hours after the beginning of the thermal (quasi-) steady state for different temperature gradients in the frozen area \(\mathrm {grad}\,\theta _{\mathrm {f}}\). The corresponding heights of the unfrozen area or flow path lengths \(\textit{d}_{\mathrm {uf}}\) are shown in Fig. 12 (right) and are controlled to be similar by the temperature boundary conditions. Despite different temperature gradients in the frozen area \(\mathrm {grad}\,\theta _{\mathrm {f}}\), the same frost heaves \(\textit{H}_{\mathrm {IL}}\) occur. It can be concluded that the temperature gradient in the frozen area \(\mathrm {grad}\,\theta _{\mathrm {f}}\) have no decisive impact on the formation of ice lenses at thermal (quasi-) steady state in the investigated range.
5 Multiphase continuum porous media frost action model
We start in this section with a mathematical model that describes the main physical mechanisms occurring in the thermal transient state during the saturated-soil freezing. In particular, there are the temperature-field distribution, the phase-field evolution, the volume expansion, and the accompanying frost heave. In an additional section, we will briefly demonstrate and include the micro-cryo-suction effect, which is the main driving force for the water suction toward the frozen area and the ice lens formation, which occur mainly during the thermal (quasi-) steady state.
5.1 Porous media homogenization and extension via the phase-field approach
5.1.1 Homogenization, volume fractions and densities
In the current study, the saturated soil is modeled as a two-phase material consisting of immiscible solid (\(\alpha = S\)) and fluid (\(\alpha = F\)) constituents. In the macroscopic TPM-based description of the microscopically heterogeneous two-phase material, representative volume elements (RVEs) are chosen and homogenized so that each macroscopic portion of the material \(\varphi\) consists of superimposed and interacting constituents \(\varphi ^\alpha\). While the solid phase \(\varphi ^S\) undergoes linear elastic deformations, the fluid phase \(\varphi ^F\) undergoes a phase transition, where it could be found either in a liquid state (\(\overline{\varphi }^{L}\)), an ice state (\(\overline{\varphi }^{I}\)), or a liquid-ice mixed state representing the interface zone separating (\(\overline{\varphi }^{L}\)) and (\(\overline{\varphi }^{I}\)). Therefore, the following relations are assigned for any macroscopic spatial point \(\mathbf {x}(t)\) at any time \(t\in [t, T]\):
The volume fraction \(n^\alpha\), which describes the local composition of the single constituent, is defined as the ratio of the volume element \(\mathrm {d}v^\alpha\) of the constituent \(\varphi ^\alpha\) with respect to the volume element \(\mathrm {d}v\) of the overall aggregate \(\varphi\) with \(0<n^\alpha :={\mathrm {d}v^{\alpha }}/{\mathrm {d}v}<1\). Analogously, volume fractions representing the liquid (\(\beta =L\)) and the frozen (\(\beta =I\)) states of the pore-fluid, can also be defined as \(\overline{n}^{\beta }:={\mathrm {d}v^{\beta }}/{\mathrm {d}v}\) with \(0\le \overline{n}^\beta \le {n}^{F}\). Having both the solidity (\(n^S\)) and the porosity (\(n^F\)), the saturation constraint for the case of a fully saturated medium can be given as
Moreover, for each constituent, one defines a material (intrinsic) density \(\rho ^{\alpha R}:=\mathrm {d} m^\alpha /\mathrm {d} v^\alpha\) and a partial density \(\rho ^{\alpha }:=\mathrm {d} m^\alpha /\mathrm {d} v\) with \(\mathrm {d} m^\alpha\) being the local mass element of \(\varphi ^\alpha\). Both densities are related to each other via \(\rho ^\alpha =n^\alpha \rho ^{\alpha R}\).
5.1.2 Phase-field modeling of pore-fluid freezing
The phase-change process during the pore-fluid freezing is modeled based on the PFM. The PFM is an interface-capturing approach that treats the occurring mushy zone between the liquid and ice states as a diffusive interface, where an auxiliary phase-field variable \(\phi ^F(\mathbf {x},t)\) is used to indicate the phases. In particular, this can be expressed as
Using \(\phi ^F\), a constitutive interpolation polynomial \(\mathcal {P}(\phi ^F)\) representing an averaging function that interpolates between the bulk properties and free energies of the liquid and ice phases is employed to allow for a phase-field-dependent smooth variation of the different thermo-mechanical properties between the liquid and frozen phases, e.g., [95]. It can be expressed as
For instance, the fluid material density is expressed as \(\rho ^{FR} = \mathcal {P}(\phi ^F)\,\rho ^{LR}+\left( 1-\mathcal {P}(\phi ^F)\right) \rho ^{IR}\) . The phase-field-dependent variation of other kinematic or material properties across the diffusive interface will briefly be discussed in the subsequent sections. More details can also be found in [108].
5.2 Kinematics of multi-phase materials
In a fluid-solid aggregate, the deformation of the solid matrix is given within a Lagrangian description using the solid displacement vector \(\mathbf {u}_S\) and velocity \(\mathbf {v}_S\), whereas the fluid constituents are described in a modified Eulerian setting by use of the seepage velocities \(\mathbf {w}_F\), i.e.,
where \(\mathbf {v}_F\) is the fluid velocity. Additionally, the material time derivative of an arbitrary vector quantity \(({\bullet })\) following the motion of \(\varphi ^\alpha\) is expressed with respect to the motion of the solid constituent as
In the present contribution, the model development is restricted to linear isotropic thermo-elasticity. Thus, the linearized infinitesimal solid strain tensor \(\varvec{\varepsilon }\) can be expressed as
5.3 Governing balance relations
The present work proceeds from the following assumptions and simplifications:
-
There is no mass production or mass exchange between the solid and the fluid constituents, i.e., in Eq. (9) \(\hat{\rho }^\alpha =0\).
-
Deformation occurs under quasi-static conditions, i.e., \((\mathbf {v}_\alpha )^{\prime }_\alpha =\mathbf {0}\).
-
Equilibrium thermal model is employed, where the local Kelvin’s temperatures of all constituents are equal (\(\theta ^S=\theta ^F=\theta\)).
-
External heat supply terms are not taken into consideration (\(\rho ^{\alpha }\,r^\alpha =0\)).
-
Non-dissipative phase transition, i.e., the capillary hysteresis during freeze-thaw cycles is ignored.
-
The freezing-point depression of the pore water is neglected.
The discussed mathematical description for the freezing process in a fluid-saturated porous medium results in the following coupled partial differential equations (PDE) with primary variables {\(p^F\), \(\mathbf {w}_F\), \(\mathbf {u}_F\), \(\mathbf {u}_S\), \(\theta\), \(\phi ^F\)}, where \(p^F\) is the pore-fluid (ice or water) pressure. More details about the derivation of the balance and constitutive relations can be found in [108].
5.3.1 Mass balance of \(\varphi ^F\)
This mass balance could be reformulated based on Eq. (7), the derivative of the saturation condition (3), and the volume balance of the solid, \((n^S)^\prime _S=-n^S\mathrm {div}\,\mathbf {v}_S\), yielding
Assuming a barotropic pore fluid as discussed in [17, 53, 106], a relation among the material density \(\rho ^{FR}\), the pore-fluid pressure \(p^F\) and the fluid compressibility \(\kappa ^F:=\mathcal {P}(\phi ^F)\, \kappa ^L+\left( 1-\mathcal {P}(\phi ^F)\right) \kappa ^I\) can be expressed as
Inserting this relationship into Eq. (10) yields the governing equation of fluid mass balance as
It is worth mentioning here that the volume balance of the materially incompressible solid phase under the small-strains assumption yields the deformation-dependent solid volume fraction as \(n^S=n^S_{0S}\,(1-\mathrm {div}\,\mathbf {u}_S)\) with \(n^S_{0S}\) representing the initial value of \(n^S\).
5.3.2 Momentum balance of the overall aggregate \(\varphi\)
The momentum balance of the overall aggregate results from the sum of the momentum balances of the individual constituents \(\varphi ^\alpha\) yielding
Herein, \(\mathbf {T}^\alpha _E\) with \(\alpha \in \{S,\,F\}\) represent the effective stress tensors and \(\mathbf {b}\) denotes the mass-specific body force. The effective stress tensors of the solid and fluid constituents can be expressed according to [108] as
Therein, \(\varvec{\varepsilon }^D_\alpha\) represents the deviatoric strain tensor, \(\kappa ^\alpha\) and \(\mu ^\alpha\) are the compression and shear moduli, respectively, and \(m^\alpha _\theta =-3\,\kappa ^\alpha \alpha _\theta ^\alpha\) is the stress-temperature modulus with \(\alpha _\theta ^\alpha\) being the coefficient of thermal expansion. \(\alpha _v^I\) denotes the volumetric expansion coefficient due to phase change of \(\varphi ^F\) and \(\Delta \theta ^\alpha _0\) represents the temperature variation compared to the reference temperature \(\theta ^\alpha _0\). The subscript {\(0\,\alpha\)} refers to the quantity in the reference configuration. The quantities defined in Eq. (14) are obtained based on the restrictions following the evaluation of the entropy inequality and the definition of the free energies \(\psi ^\alpha\) where \(\mathbf {T}^{\alpha }_E:=\rho ^\alpha \,{\partial \, \psi ^\alpha }/{\partial \,\varvec{\varepsilon }_\alpha }\). For the detailed explanation and derivations the interested reader could refer to [46, 48, 108]. Noting here that the fluid displacement, needed in the computation of \(\varvec{\varepsilon }_{F}\) in the case of ice, is computed based on the fluid velocity through integrating the equation of the material time derivative together with the governing equations at each time step, i.e.,
5.3.3 Momentum balance of \(\varphi ^F\)
Neglecting the dynamic effects and assuming isotropic permeability throughout the freezing and deformation processes, the momentum balance for \(\varphi ^F\) can expressed as
Herein, \(\mu ^{FR}> 0\) is the fluid dynamic viscosity and \(K^S\) represents the isotropic intrinsic permeability. The deformation dependence of \(K^S\) is being considered following [41] via
where \(K^S_{0S}\) is the intrinsic permeability of the undeformed porous solid and \(\kappa\) is a material parameter that governs the dependency of the permeability on the solid deformation. For more information regarding the permeability with anisotropic properties, the reader is referred to [24]. The term \({K^S}/{\mu ^{FR}}\) in Eq. (16) represents the specific permeability \(K^F\), which decreases to a very low value upon ice formation as the fluid dynamic viscosity is given as \(\mu ^{FR}=\mathcal {P}(\phi ^F)\mu ^{LR}+\left( 1-\mathcal {P}(\phi ^F)\right) \mu ^{IR}\) with \(\mu ^{IR}\gg \mu ^{LR}\). This resembles the decrease in the hydraulic conductivity or Darcy flow coefficient as ice forms and also ensures that the fluid velocity \(\mathbf {v}_F\) reduces to values almost equal to the solid velocities \(\mathbf {v}_S\) when the fluid is in the frozen state.
5.3.4 Energy balance of the overall aggregate \(\varphi\)
The local energy balance for the homogenized medium is reformulated using the Legendre transformation to determine the internal energy via \(\varepsilon ^\alpha =\psi ^\alpha +\theta \,\eta ^\alpha\) with \(\eta ^\alpha\) being the specific entropy. Considering the thermal-equilibrium assumption in this work, the temperatures of the constituents at each material point are approximately the same. Thus, it is suitable to consider the energy balance for the overall aggregate, which is concluded via the sum of energy balances of the individual constituents. Moreover, since the current numerical study is restricted to the small deformation regime, it is convenient to neglect the influences of the deformations on the internal energy. The nonlinear terms were proved in [108] to have a negligible effect based on the numerical simulations. Therefore, the simplified version of the energy balance for the overall aggregate \(\varphi\) could be expressed as
In this equation, \(\theta ^\alpha =\theta\), cf. Sect. 5.3, \(C_p^\alpha\) represents the specific heat capacity, \(L^F\) is the latent heat of fusion of ice at the freezing point, \(H^{\alpha R}\) represents the scalar-valued heat conductivity coefficient, and \(\hat{\mathbf {p}}^F\) is the fluid direct momentum production. Related to the PFM, \(\epsilon\) is the gradient energy coefficient that controls the width of the transition zone between the solid and liquid zones, W is an energy hump parameter and \(\mathcal {G}(\phi ^F)=(\phi ^F)^2\,(1-\phi ^F)^2\) is a double-well energy function. \(\mathcal {G}^\prime (\phi ^F)\) and \(\mathcal {P}^{\prime }(\phi ^F)\) are the derivatives of \(\mathcal {G}(\phi ^F)\) and \(\mathcal {P}(\phi ^F)\) with respect to \(\phi ^F\), respectively.
5.3.5 Phase-field evolution equation
The evolution equation for \(\phi ^F\) is obtained as constitutive equation based on the evaluation of the entropy inequality as discussed in [108]:
In this, \(M > 0\) is the interface mobility parameter. According to [16, 116], the parameters \(\epsilon\), M and W could be obtained by relating them to the material parameters via
with \(\gamma ^{IL}\), \(\nu ^F_k\) and \(\delta\) being the ice-water surface tension, kinetic coefficient and interface width of the fluid, respectively. The derivation of such parameters is based on solving the one-dimensional phase-field equation for isothermal coexistence of liquid and solid phases at a planar interface of a pure substance, see, [115, 116].
5.4 Model extension toward ice lens formation
5.4.1 Ice-water equilibrium in pores
Following well-established premelting dynamics theories, which describe liquid freezing in the pores of a porous solid material, a thin unfrozen liquid film is assumed to exist at the interface between the frozen liquid and the curved solid grains (pore wall), see, e.g., [97]. The existence of this premelted liquid film can be explained based on the minimization of the surface energies at equilibrium, where the surface energy of ice-grains interface (\(\gamma ^{IS}\)) is greater than the sum of the surface energies of the ice-liquid (\(\gamma ^{IL}\)) and liquid-grains (\(\gamma ^{LS}\)) interfaces. This liquid film is characterized by a low pressure, which induces suction of liquid from the surrounding unfrozen ambient leading to additional ice lens formation and frost heave. In this work, to take this suction effect in the soil freezing continuum model into account, a phenomenological formulation similar to the soil/water retention curve (SWRC) in unsaturated soils is implemented. More details about frost heave physics and modeling within a continuum mechanical framework can also be found in [79, 87, 88, 104]. Starting with the mechanical equilibrium at the microscopic pore scale, the relationship between the pressures of the liquid water and the ice crystals can be described by the Young-Laplace’s law as
where \(\gamma ^{IL}\) stands for the interface energy between ice and liquid water (\(\hbox { J}/\hbox {m}^2\)) and r denotes the mean curvature radius of the interface separating the crystal from the adjacent liquid water. Similarly to Eq. (21), the mechanical equilibrium between vapor (gas) and liquid water of unsaturated porous materials obeys also the Young-Laplace’s law as
where \(\gamma ^{GL}\) is the liquid-air interface energy. The similarity between Eqs. (21) and (22) paves the path to implement similar macroscopic formulations that consider the suction effects. In particular, we proceed from the van Genuchten model [114], which is used to express the relationship between the pore capillary pressure and the liquid saturation \(\overline{\chi }^L\) during the drying process of unsaturated porous materials and is expressed as
In this, \(p^G\) is the gas pressure, whereas \(\mathcal {N}^*\) and \(m^*\) are adjustable model parameters related to the material pore structure and pore-fluid properties. In analogy, the cryogenic suction due to the ice/water interface tension, i.e., \(\mathcal {S}_{cryo}:=p^I-p^L\), can be expressed by the following phenomenological relationship
where \(\mathcal {N}\) and m are retention model parameters, adjusted depending on the solid and fluid phases properties. The function in (24) is introduced as a non-hysteretic phenomenological characteristic function to relate the liquid water saturation \(\chi ^L\) with the pressure difference between the crystal ice and the liquid water ( \(\mathcal {S}_{cryo}=p^I-p^L > 0\)) [82, 124]. In our treatment of unified water/ice kinematics, the phase-field variable \(\phi ^F\) is utilized as the degree of water saturation and, thus, corresponds to \(\chi ^L\).
In order to include the suction effect in the macroscopic model presented in Sect. 5.3, one has to distinguish between \(p^L\) and \(p^I\), whereas \(p^I-p^L\) can explicitly be determined from Eq.(24). For this purpose, the definition of the net pore pressure \(\bar{p}:=p^F\) is exploited, which is equal to the weighted sum of the pore ice pressure \(p^I\) and the pore water pressure \(p^L\) [88]. Based on the PFM formulation with \(\chi ^L\approx \phi ^F\), this can be described as
This reformulation is applied to eliminate the ice phase pressure \(p^I\) from the primary variables by expressing it as a function of the liquid phase pressure \(p^L\) and the cryo-suction \(S_{cryo}\). Note that in the current reformulation, \(p^L\) becomes the primary pressure variable instead of \(p^F\). Therefore, to overcome the instability challenges, a quasi-compressibility method is used to enforce the stability via adding a stabilization term of the form “\(-\alpha \,\mathrm {div}\,(\mathrm {grad}\,p^L)\)” as mentioned in Sect. 6.
5.4.2 Ice segregation criterion
A stress criterion for the initiation of a new ice lens and, thus, degradation of the solid stiffness, was adopted by many researchers [47, 83, 88]. The stress-based method considers that in a one-dimensional configuration, the soil stiffness degrades and a new ice lens forms when the pore pressure exceeds the sum of the overburden stress \(p_{ob}\) and the separation strength of the soil \(p_{sep}\). The frost heave then results from the moisture accumulation and the volumetric expansion due to ice lens formation. In this paper, an alternative criterion approach presented by [123] and [77] is adopted, where a separating porosity or void ratio, as a counterpart to the critical separation stress, determines the formation of ice lenses. In particular, when the void ratio \(e:=n^F/n^S\) is greater than or equal to the separation void ratio \(e_{sep}\), i.e., \(e\ge e_{sep}\), ice crystals interconnect and ice lenses begin to form. The separation void ratio can be expressed in one-dimensional space according to [77, 123] as
Herein, \(\gamma :=g\left( n^S\rho ^{SR}+n^W\rho ^{WR}+n^I\rho ^{IR}\right)\) is the unit weight of the soil, and the subscript 0 refers to the initial state. To represent the damage to the solid phase once ice segregation takes place, the stiffness of soil is allowed to degrade to a very low value by multiplying the effective stress by a degradation function \(\Upsilon _d\). This method is chosen in analogy to degradation of the stiffness of the solid matrix during the crack growth in porous media [52, 53]. Moreover, this method agrees with described methods in the literature as in [103, 111], which utilize other approaches for ice lens formation. In particular, a phenomenological parameter is presented in the sense of an indicator function for ice lens formation. It can be expressed for a smooth transition as
where \(\kappa _D\) is the residual stiffness after separation, which is set \(10^{-2}\) in the simulations so that no numerical stability problems occur. Moreover, \(e_{max}\) is a maximum value of the void ratio, after which the stiffness of the solid phase is considered to be completely lost. In the ice lenses simulation, the degradation function in Eq. (27) is multiplied by the solid effective stress \(\mathbf {T}^S_E\) defined in Eq. (14)\(_1\). Therefore, the momentum balance of the overall aggregate \(\varphi\) in Eq. (13) can be written as
which is applied in the ice-lens modeling.
6 Numerical Implementation
In the numerical solution of the coupled partial-differential equations (PDEs), the finite element method (FEM) within a Bubnov–Galerkin approach is applied. As a representative case, the original model presented in Sect. 5.3 will be considered, whereas the modified model in Sect. 5.4 can be treated in a similar fashion. In this, the PDEs with primary variables \(\varvec{\xi }(\mathbf {x},t):=[p^F\,\,\mathbf {w}_{F}\,\,\mathbf {u}_{F}\,\, \mathbf {u}_{S}\,\,\theta \,\, \phi ^F]^T\) are multiplied by the corresponding independent test functions \(\delta \varvec{\xi }(\mathbf {x}):=[\delta p^F\) \(\delta \mathbf {w}_F\) \(\delta \mathbf {u}_F\) \(\delta \mathbf {u}_S\) \(\delta \theta\) \(\delta \phi ^F]\) and integrated over the spatial domain \(\Omega ^T\) to derive the weak formulation. Thereafter, the product rule and the Gaussian integral theorem are utilized to extract the boundary terms \(\Gamma _\xi =\partial \,\Omega _\xi\), where \(\Gamma _\xi\) is split into Dirichlet (essential) and Neumann (natural) boundaries, see, e.g., [49, 50, 73, 126] for analogous treatment. For the case of a nearly incompressible pore fluid, i.e., a very high bulk modulus \(\kappa ^F\), the term corresponding to \((p^F)^{\prime }_S\) in the fluid mass balance Eq. (12) tends to vanish, and Eq. (12) becomes independent of the pressure variable. Thus, numerical instabilities appear in the monolithic solution due to the violation of the inf-sup condition. To overcome this instability challenge, a quasi-compressibility method is used to enforce the stability via adding a stabilization term of the form “\(-\alpha \,\mathrm {div}\,(\mathrm {grad}\,p^F)\)” to Eq. (12) with \(\alpha\) as a small stabilization parameter. Following this, the weak form of the governing equations read:
-
Mass balance of \(\varphi ^F\)
$$\begin{aligned} \begin{aligned}&\int _{ \Omega }\delta p^F\,\rho ^{FR}\left[ n^F\,\frac{(p^F)^{\prime }_S}{\kappa ^F}+\mathrm {div}\,\mathbf {v}_S\right] \,\mathrm{d}v\\&\quad -\int _{ \Omega } \mathrm {grad}\,\delta p^F\cdot \left( \rho ^F\mathbf {w}_F-\alpha \,\mathrm {grad}\,p^F\,\right) \mathrm{d}v\\&\quad +\int _{ \Gamma _w}\delta p^F\, \overline{w}\, \mathrm{d}a- \int _{ \Gamma _p^F}\delta p^F\,\alpha \,\left( \mathrm {grad}\,p^F\right) \cdot \mathbf {n}\, \mathrm{d}a=0\,, \end{aligned} \end{aligned}$$(29)where \(\overline{w}=\rho ^F\,\mathbf {w}_F\cdot \mathbf {n}\) is the mass efflux of the fluid draining through the Neumann boundary \(\Gamma _{w}\) with outward-oriented unit surface normal \(\mathbf {n}\).
-
Momentum balance of \(\varphi ^F\)
$$\begin{aligned} \begin{aligned}&\int _{ \Omega }\left( \mathbf {T}^F_E-n^F\,p^F\,\mathbf {I}\right) \,\cdot \,\mathrm {grad}\,\delta \mathbf {w}_F\,\mathrm{d}v\\&\quad -\int _{ \Omega }\delta \mathbf {w}_F\cdot \Big [\frac{n^F\,\mu ^{F}}{K^S_\phi }\,\mathbf {w}_{F}-\rho ^F\mathbf {b}\,\Big ]\mathrm{d} v\\&\quad -\int _{ \Gamma _{\mathbf {t}^F}}\delta \mathbf {w}_F\cdot \overline{\mathbf {t}}^F\, \mathrm{d}a=0\,. \end{aligned} \end{aligned}$$(30)Herein, \(\overline{\mathbf {t}}^F=\left( \mathbf {T}^F_E-n^F\,p^F\,\mathbf {I}\right) \mathbf {n}\) represents the external fluid load vectors acting on the Neumann boundary \(\Gamma _{\mathbf {t}^F}\). The extra equation induced by the use of the relation \(\mathbf {v}_F = (\mathbf {u}_F)^\prime _F\) reads in weak form
$$\begin{aligned} \begin{aligned} \int _{ \Omega }\delta \mathbf {u}_F\cdot \Big [(\mathbf {u}_F)^\prime _S + \mathrm {grad}\,\mathbf {u}_F\cdot \mathbf {w}_{F}-\mathbf {v}_F\Big ]\,\mathrm{d}v=0\,. \end{aligned} \end{aligned}$$(31) -
Momentum balance of \(\varphi\)
$$\begin{aligned} \begin{aligned}&\int _{ \Omega }\varvec{\sigma }\cdot \mathrm {grad}\,\delta \mathbf {u}_S\, \mathrm{d}v+\int _{ \Omega }\delta \mathbf {u}_S\cdot \left( \rho ^{S}+\rho ^{F}\right) \,\mathbf {b}\, \mathrm{d} v\\&\quad -\int _{ \Gamma _\mathbf {t}}\delta \mathbf {u}_S\cdot \overline{\mathbf {t}}\, \mathrm{d}a=0\,, \end{aligned} \end{aligned}$$(32)where \(\overline{\mathbf {t}}=\varvec{\sigma }\,\mathbf {n}\) represents the external solid load vector acting on Neumann boundary \(\Gamma _\mathbf {t}\).
-
Energy balance of the mixture \(\varphi\)
$$\begin{aligned} \begin{aligned}&\int _{ \Omega }\delta \theta \Bigg (\rho ^F\,C_p^F(\theta )^{\prime }_F+\rho ^S\,C_p^S(\theta )^{\prime }_S \\&\quad + \frac{\rho ^F}{\rho ^{F R}_{0F}}\,\left[ W\,\mathcal {G}^{\prime }(\phi ^F)(\phi ^F)^\prime _F+ \,\epsilon ^2\,\mathrm {grad}\,\phi ^F\cdot \mathrm {grad}\,(\phi ^F)^\prime _F\right] \\&\quad +\Bigg [\,\frac{\rho ^{LR}_{0L}-\rho ^{IR}_{0I}}{(\rho ^{FR}_{0F})^2}\,\left( \frac{1}{2}\,\epsilon ^2\,|\mathrm {grad}\,\phi ^F|^2+W\,\mathcal {G}(\phi ^F)\right) \\&\quad + \left( C_p^L-C_p^I\right) \,\Delta \theta + L^F\Bigg ]\,\rho ^F\,\mathcal {P}^{\prime }(\phi ^F)\,(\phi ^F)^\prime _F +\hat{\mathbf {p}}^F\cdot \mathbf {w}_F\Bigg )\,\,\mathrm{d}v\\&\quad +\int _{ \Omega }\,H^{SF}\,\left( \mathrm {grad}\,\theta \right) \cdot \mathrm {grad}\,\delta \theta \, \mathrm{d} v\\&\quad -\int _{ \Gamma _{q^{SF}}}\delta \theta \,\overline{q}^{SF}\, \mathrm{d} a\,&\,=0\,, \end{aligned} \end{aligned}$$(33)where \(H^{SF}\) represents \(H^S+H^F\) and \(\overline{q}^{SF}=H^{SF}\,\left( \mathrm {grad}\,\theta \right) \cdot \mathbf {n}\) is the heat flux acting on Neumann boundary \(\Gamma _{q^{SF}}\).
-
Phase-field evolution of \(\varphi ^F\)
$$\begin{aligned} \begin{aligned}&\int _{ \Omega }\delta \phi ^F\Bigg ( \frac{1}{M}\,(\phi ^F)^\prime _F-\Bigg [\rho ^{FR}_{0F}\,\left( C_p^L-C_p^I\right) \left( \theta \,\mathrm {ln}\frac{\theta }{\theta _0^F}-\Delta \theta _0^F\right) \\&\quad +\rho ^{FR}_{0F}\,\frac{L^F}{\theta ^F_0}\,\Delta \theta ^F_0+\frac{\rho ^{LR}_{0L}-\rho ^{IR}_{0I}}{\rho ^{FR}_{0F}}\,\\&\quad \quad \left( \frac{1}{2}\,\epsilon ^2\,|\mathrm {grad}\,\phi ^F|^2+W\, \mathcal {G}(\phi ^F)\right) +W \mathcal {G}^\prime (\phi ^F)\\&\quad +p^F\,\frac{\rho ^{FR}_{0F}}{(\rho ^{FR})^2}\,\left( \rho ^{LR}-\rho ^{IR}\right) \Bigg ]\,\mathcal {P}^{\prime }(\phi ^F)\Bigg )\mathrm{d}v \\&\quad +\int _{ \Omega }\,\epsilon ^2\,\mathrm {grad}\,\phi ^F\cdot \mathrm {grad}\,\delta \phi ^F\,\mathrm{d}v\\&\quad -\int _{ \Gamma _{\phi ^F}}\delta \phi ^F\,\epsilon ^2\,\left( \mathrm {grad}\,\phi ^F\right) \cdot \mathbf {n}\,\mathrm{d}a\,&\,=0\,. \end{aligned} \end{aligned}$$(34)In this, the term \(\epsilon ^2\,\left( \mathrm {grad}\,\phi ^F\right) \cdot \mathbf {n}\) vanishes on the Neumann boundary \(\Gamma _{\phi ^F}\).
The TPM-PFM coupled problem is solved using the FEM package FlexPDE (professional, ver. 7.15.), where the time discretization of the equations is carried using the second-order implicit backward difference formula. For the spatial discretization, the Galerkian method with quadratic shape functions is applied. Having the time-dependent nodal values vector of the primary variables \(\varvec{\mathcal \xi }(t):=[{\mathbf {\mathsf{{p}}}}^F\,\,\,{{\mathbf {\mathsf{{w}}}}}_{F}\,\,\,{{\mathbf {\mathsf{{u}}}}}_{F}\,\,\,{{\mathbf {\mathsf{{u}}}}}_{S}\,\,\,\varvec{\theta }\,\,\, \varvec{ \phi }^F]^T\), the coupled PDE system after spatial discretization can be written in an abstract form as
where \(\varvec{\mathcal {G}}_{{\mathbf {\mathsf{{ p}}}}^F}\), \(\varvec{\mathcal {G}}_{\mathbf {w}_{F}}\), \(\varvec{\mathcal {G}}_{\mathbf {u}_{F}}\), \(\varvec{\mathcal {G}}_{\mathbf {u}_{S}}\), \(\varvec{\mathcal {G}}_{{\theta }}\) and \(\varvec{\mathcal {G}}_{\phi ^F}\) represent the space-discrete fluid mass balance, fluid momentum balance, fluid displacement, mixture momentum balance, mixture energy balance, and the phase-field evolution equation, respectively.
Related to the time integration, the volumetrically coupled thermo-mechanical problem is solved using a monolithic implicit scheme with the quasi-compressibility stabilization scheme for the case of a low-compressible fluid. It is worth mentioning that the computational efficiency gained by the staggered strategy in thermo-elasticity is not guaranteed for the case where the differential equations are strongly coupled (many nonlinear dependencies) [42]. In the current implementation, time-stepping adaptivity is applied to keep the solution within the specified limits of accuracy. Regarding the system of nonlinear differential equations, a modified Newton–Raphson iteration procedure is utilized by FlexPDE to attain the numerical solution, where the Jacobian matrix of the current system equations is computed and Newton iterations are performed at each time step until the convergence is reached. Useful and detailed information to the solution of coupled problems can be found in [1, 2, 72, 73, 85, 107] and the included references.
In dealing with the phase-change process, the mesh size should be small enough so the solid-liquid interface is efficiently covered. For an accurate representation of the physical processes at the moving, diffusive front, it is very important to have small values of the parameter \(\epsilon\) since it plays a central role in the sense that the diffusive interface converges to a sharp one for \(\epsilon \rightarrow 0\). However, from the computational cost viewpoint, it is desirable for \(\epsilon\) to be as large as possible so that a solution of the phase-field equation can be obtained for a practical computational effort. In this sense, interfaces are taken artificially wide in most of the phase-field simulations to decrease the computational costs. In several studies it was shown that when the PFM is applied to model the phase-change process on the macroscale, without the interest in capturing the microstructural evolution and dendrite growth, the interface width could be increased by orders of magnitude without significantly affecting the result [22, 108, 120]. This serves significantly in decreasing the computational costs by eliminating the need for a very fine mesh size.
7 Numerical results
7.1 Numerical model validation in the thermal transient phase
The objective in this section is to validate the numerical model and demonstrate its capability in capturing important thermo-hydro-mechanical responses during the phase transition of the pore fluid from liquid water to ice. The numerical simulations are conducted for two different types of experiments, i.e., top-freezing (TF) and bottom-freezing (BF). For each type of experiment, we apply two sets of different thermal boundary conditions. The comparisons between the numerical and experimental data include the temperature fields at different positions, the \(0\,^{\circ }\hbox {C}\)-isotherm position, and the frost heave time history. The numerical simulations in this section are carried out for the thermal transient phase (frost penetration phase), whereas the formation of the ice lenses will be addressed in a subsequent section. A detailed explanation of the experimental setup and specifications of the different materials are provided in Sect. 2. The properties of the solid phase are given in Table 1, while those of ice and water are adopted from [13]. Other material parameters related to the PFM are chosen as follows: \(\gamma ^{IL}= 0.065\,\hbox { J}/\hbox { m}^2\), \(\nu ^F_k=0.001\,\hbox {m}/\hbox {s}\cdot \hbox {K}\), \(\delta =0.5\,\hbox {mm}\), and \(\epsilon =0.8\, (\hbox { J}/\hbox { m})^\frac{1}{2}\). Additionally, triangular grids with mesh size of ca. \(4\,\hbox {mm}\) was chosen for all the simulations. The initial conditions for both BF and TF are the same, where water is found in a liquid state at an ambient temperature of \(\theta _i=15\,^{\circ }\hbox {C}\). The drained boundary conditions are prescribed by imposing zero pore pressure \(p^F=0\,\hbox {Pa}\) at the heating boundary of each case to allow for water supply, while impermeable boundary conditions are set at the other boundaries. Moreover, a total mechanical load of \(p_{ob} = 3.6\,\hbox {kPa}\) corresponding to the overburden pressure is applied to the top boundary, see, Fig. 2 for illustration. In both BF and TF, the sample is being cooled along the cold boundary, while the warm boundary is slightly heated to prevent freezing of the complete sample as discussed in Sect. 2. The cooling and heating temperature loads for the BF and TF tests, which are also applied in the numerical models, are illustrated in Fig. 13.
In discussing the numerical results, the relevant phase-field and temperature contour plots for the BF and TF tests after 20 and 25 hours are shown in Figs. 14 and 15, respectively.
The different positions of the temperature sensors (six sensors) in the experiments are illustrated in Fig. 16. A comparison between the experimental and numerical results of the temperature-time history at different sensor positions is given in Fig. 17. In both BF and TF cases, the temperature starts decreasing due to cooling until reaching \(0 \,^{\circ }\hbox {C}\), where the water starts freezing. The temperature continues decreasing with time while the thickness of the ice layer grows continuously as shown in Fig. 18.
Figure 19 shows the frost heave evolution extracted from the FE simulations and compared to the measured data. These simulations are performed proceeding from elastic solid skeleton deformations, whereas the heave evolution is measured at the top surface. The resulting frost heave in the transient phase is mainly due to the volume expansion of the sample due to ice formation. These results, which cover the phase change process and the thermo-mechanical behavior of soil during freezing, show a good agreement between the numerical and the experimental date. However, simplification in the applied model, such as ignoring the plastic deformations of soil, have presumably contributed to the deviation in the displacement field in Fig. 19 between the numerical and experimental results.
To provide a percentage-based deviation measure of the predicted numerical results from the reference experimental data, several methods could be found in the literature. In this, the mean absolute percentage error (MAPE) [34] provides a simple dimensionless measure that could easily be computed and interpreted
Here, \(Y_t\) denotes the measured data (experimental data) at time t, \(F_t\) is the forecast data (numerical predicted data) and n is the number of different times for which the considered variable is forecast. However, this method has inherent difficulty in handling low and zero values in the denominator. Moreover, having a single case with large error can dominate the overall result of the MAPE. To overcome these challenges, especially related to the ‘infinite error’, the weighted mean absolute percentage error (WMAPE) [75, 86] can alternatively be used. This is equivalent to dividing the sum of absolute differences of the measured and forecast values by the sum of the measured values yielding
Another alternative for the MAPE is the symmetric mean absolute percentage Error (SMAPE) [44, 100], where it expresses the absolute error as a percentage of the average of the forecast and the measured values. However, this measure is found not to be suitable when interpreting percentage errors of data including mixed positive and negative values (as, e.g., temperatures on a \(^{\circ }\hbox {C}\)-scale in our case). Moreover, undefined values could appear when the sum of the measured and forecast values is zero in the denominator. An overview of the different types of measures, including scale-dependent measure and relative-based measures, can be found in [26, 44]. According to this, we employ the WMAPE (Eq. (37)) for quantitative comparisons between the experimental and the numerical results related to the different outputs, i.e., the frost heave, the temperature field, and the ice/water interface position.
As shown in Table 2, the lowest WMAPE values are recorded for the interface position in each test. In the TF tests, the temperatures show the largest deviations followed by the frost heave, while, for the BF tests the frost heave shows the largest deviations among the other outputs. This could be attributed, as discussed previously, to neglecting the plastic deformations of the solid phase in the freezing process. In general, these deviation errors remain in acceptable range, especially that the previously discussed figures showed almost similar trends between the simulation and experimental curves for the different studied cases.
Based on these results and comparisons between the numerical and the experimental data for the different studied cases, we conclude that the proposed TPM-PFM approach is powerful in the simulation of phase-change processes and in the description of the non-isothermal behavior during freezing of water-saturated soils.
7.2 Numerical results related to the ice lens formation
For the current numerical study, the suction-related parameters \(\mathcal {N}\) and m are chosen as \(0.1\, \hbox {MPa}\) and 0.5, respectively, which gives a good fit with the experimental data. Here, we consider BF test 3 as a representative case. The boundary and initial conditions are the same as described in the previous sections. We assume a separation strength of the soil \(p_{sep}\) of \(200\,\hbox {kPa}\), which corresponds according to Eq. (26) to \(e_{sep}\approx {1.1}\). The temperature loads for this representative case are shown in Fig. 20.
7.2.1 Frost heave
A comparison of the frost heave resulting from the simulations with that of the experimental data is presented in Fig. 21. During the transient freezing process and frozen fringe formation, the heave occurs due to the volumetric expansion of the frozen water (ice-water phase change). As the temperature gradient becomes steady, the rate of frozen front penetration decreases while the frost heave continues its gradual increase. In this phase, the pore water migrates from the unfrozen zone and accumulates at the freezing front, which results in the ice lens formation. This indicates that the heave due to ice lens formation in the thermal (quasi-) steady state is of great importance. The results also show the capability of the proposed numerical model in predicting the total heave due to pore-water freezing. Regarding the percentage error related to numerical and experimental results of the frost heave, the WMAPE results in a value of \(15.57\%\).
Referring to Fig. 11 and the obtained results in the related section, at the early stages of the experiments (during the thermal transient state), the vertical cracks are insignificant, and the frost heave is mainly due to the ice expansion upon phase-change. In the later steady-state phase, the frost heave is mainly due to the sucked water that comes from the unfrozen surrounding and the external supply through the surrounding, which accumulates and freezes at the freezing front. The vertical cracks grow significantly at the late stages of the steady-state phase, where they play a bigger role in altering the sample’s permeability and increasing the frost heave. Figure 21 shows that the frost heave in the numerical result at the late stage of the steady state is less compared to the experimental result. This could be due to the vertical cracks that formed at that stage and the relevant vertical permeability enhancement, which has not been taken into consideration in the model.
Ice lens contour plot at two different times of the freezing and scaled deformations by factor 7. The red color refers to a complete loss of solid stiffness (separation) and a continuous ice lens formation
7.2.2 Ice lens distribution
The predicted ice lens, which fulfills the condition \(e \ge e_{sep}\), is illustrated in Fig. 22, where a scaling factor of 7 is used. As long as the time \(\le 40\,\hbox {h}\), the height of the soil column is increasing, but no visible ice lenses are formed, i.e., the void ratio in the domain is less than \(e_{sep}\). As the rate of the frozen front penetration decreases in the thermal (quasi-) steady state, water in the unfrozen zone has enough time to flow to the frozen zone (suction effect) and to form a localized ice lens. In other words, as time goes by, the ice lens becomes larger and forms at greater spacing progressively (\(e \gg e_{sep}\)) causing an increase in the frost heave. The numerical analysis agrees with the experimental results regarding the position of the final ice lens. This shows that the proposed model could serve well in the description of the ice lens formation.
8 Conclusions and future work
Ground frost and the resulting heave-induced damages are mainly known from road construction in cold regions. However, they can also occur during artificial ground freezing. The boundary conditions resulting from artificial ground freezing differ in some aspects from the boundary conditions in road construction, for example, concerning the decisive freezing direction, which runs toward the ground surface during ground freezing. This and other influences on frost heave during artificial ground freezing are investigated in this research work using a newly designed experimental device.
In artificial ground freezing, the frost body first freezes to the static required thickness and is maintained on this thickness thereafter. Due to the large temperature gradients at the beginning of freezing (thermal transient state), less ice lens formation occurs. In this, the experimental results showed that the frost heave due to the formation of the last ice lens in the thermal (quasi-) steady state significantly exceeds the frost heave at the thermal transient state. The (quasi-) steady state is therefore decisive in the process of artificial ground freezing.
The outlined results show that the unfrozen area, which provides a flow path to the ice lens, has a major influence on ice lens growth. A shorter flow path leads to an increase in the pressure gradient and, therefore, an increase in the pore-water velocity toward the ice lens. In contrast, no significant influence of different temperature gradients on ice lens formation in the (quasi-) steady state could be observed. A comparison of the freezing directions BF and TF showed that especially with short flow paths, the frost heave of the BF experiments exceeds those of the TF. This could be attributed to the effect of gravity and the longitudinal crack formation during freezing. In particular, the hydraulic conductivity increases due to the initiation of the cracks, so that an improved water supply is provided.
The results presented here are part of a comprehensive study to determine frost heave for the boundary conditions of artificial ground freezing. Further experimental investigations concerning the overburden load and the influence of water pressure are pending.
In the numerical simulation of soil freezing and the related instances, a thermo-hydro-mechanical model that augments the macroscopic theory of porous media (TPM) with the phase-field modeling (PFM) for simulating the freezing process in a fluid-saturated porous medium is presented. The water-saturated soil is described within a continuum mechanical framework as a biphase porous material, consisting of an elastic solid (soil skeleton), and pore-fluid (pore-water/ice). In this context, thermodynamically consistent constitutive relationships and phase-field evolution obtained based on satisfying the entropy inequality are utilized. A special feature of the current work lies in presenting a unified phase-field kinematic framework for treating the ice and water phases, considering that both phrases refer to the same pore-fluid. Moreover, the PFM ensures a smooth transition for the different thermo-mechanical properties during the phase-change process.
The mathematical description of the coupled porous-media phase-field problem results in six partial-differential equations. The numerical solution of these equations is carried out using a monolithic scheme within the finite element framework. The numerical solutions of the proposed TPM-PFM approach together with the qualitative comparisons with experimental results showed the capability of the proposed model to efficiently capture the coupled processes of temperature field development in space and time, the phase-change process, and the volumetric expansion due to ice formation during freezing, and the formation of ice lenses together with solid stiffness degradation.
To this end, the presented numerical model in this research work can serve as a base for future studies and real applications in the field of soil freezing. However, improvement areas are to be addressed in the future work of this research project. Future works will focus on providing a more realistic description of the soil freezing phenomenon by extending the model toward unsaturated porous media. Additionally, the initiation and formation of ice lens will be modeled in future works based on the phase-field diffusive fracture approach. This would require extending the energy formulation through providing a thermodynamically consistent derivation of the fracture-related PF-equation while considering the associated THM changes in the domain.
References
Abed AA, Sołowski WT (2017) A study on how to couple thermo-hydro-mechanical behaviour of unsaturated soils: Physical equations, numerical implementation and examples. Comput Geotech 92:132–155
Abed AA, Sołowski WT (2020) Finite element method algorithm for geotechnical applications based on runge-kutta scheme with automatic error control. Comput Geotech 128
Afshani A, Akagi H (2015) Artificial ground freezing application in shield tunneling. Jpn Geotech Soc Special Pub 3(2):71–75
Aitken GW (1974) Reduction of frost heave by surcharge stress. Corps of engineers. US Army Cold Regions Research and Engineering Laboratory
Akagawa S (1988) Experimental study of frozen fringe characteristics. Cold Reg Sci Technol 15(3):209–223
Alber H, Markert B (2012) Minisymposia mechanics 3. PAMM 12(1):31–34
Anderson D, Tice AR (1973) The unfrozen interfacial phase in frozen soil water systems. Physical aspects of soil water and salts in ecosystems. Springer, Berlin, pp 107–124
Arenson LU, Azmatch TF, Sego DC, Biggar K (2008) A new hypothesis on ice lens formation in frost-susceptible soils. In: Proceedings of the ninth international conference on permafrost, Fairbanks, Alaska 1:59–64
Arenson LU, Sego DC, Take WA (2007) Measurement of ice lens growth and soil consolidation during frost penetration using particle image velocimetry (piv). In: 60th Canadian Geotechnical Conference, Ottawa, ON, pp 2046–2053
Azmatch TF, Sego DC, Arenson LU, Biggar KW (2012) New ice lens initiation condition for frost heave in fine-grained soils. Cold Reg Sci Technol 82:8–13
Beckermann C, Diepers HJ, Steinbach I, Karma A, Tong X (1999) Modeling melt convection in phase-field simulations of solidification. J Comput Phys 154(2):468–496
Betten J (1996) Einführung in die Kontinuumsmechanik. ZAMM—Journal of Applied Mathematics and Mechanics/Zeitschrift für Angewandte Mathematik und Mechanik 76(1):34–34
Bluhm J, Bloßfeld WM, Ricken T (2014) Energetic effects during phase transition under freezing-thawing load in porous media—a continuum multiphase description and FE-simulation. ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik 94(7–8):586–608
Bluhm J, Ricken T, Bloßfeld M (2011) Ice formation in porous media. In: B Markert (ed) Lecture notes in applied and computational mechanics, vol 59. LNACM, Springer, Berlin, pp 153–174
Bluhm J, Setzer MJ, Kruschwitz J (2005) Modeling of ice formation in porous media. In: Gladwell GML, Huyghe JM, Raats PAC, Cowin SC (eds) Solid mechanics and its applications, vol 125. Springer Netherlands, Dordrecht, pp 329–334
Boettinger WJ, Warren JA, Beckermann C, Karma A (2002) Phase-field simulation of solidification. Annu Rev Mater Res 32:163–194
Borja RI, White JA (2013) Conservation laws for coupled hydro-mechanical processes in unsaturated porous media. John Wiley & Sons Ltd, Chapter 8, pp 185–208
Bowen RM (1976) Theory of mixture. In: Continuum physics, vol 3, Academic Press, pp 2–129
Bowen RM (1980) Incompressible porous media models by use of the theory of mixtures. Int J Eng Sci 18(9):1129–1148
Bowen RM (1982) Compressible porous media models by use of the theory of mixtures. Int J Eng Sci 20(6):697–735
Burt TP, Williams PJ (1976) Hydraulic conductivity in frozen soils. Earth Surf Process 1(4):349–360
Caginalp G, Socolovsky E (1991) Computation of sharp phase boundaries by spreading: the planar and spherically symmetric cases. J Comput Phys 95(1):85–100
Casini F, Gens A, Olivella S, Viggiani GM (2016) Artificial ground freezing of a volcanic ash: laboratory tests and modelling. Environ Geotech 3(3):141–154
Chaaban M, Heider Y, Markert B (2020) Upscaling LBM-TPM simulation approach of Darcy and non-Darcy fluid flow in deformable, heterogeneous porous media. Int J Heat Fluid Flow 83:108566
Chamberlain EJ, Gow AJ (1979) Effect of freezing and thawing on the permeability and structure of soils. Dev Geotech Eng 26: 73–92
Chen C, Twycross J, Garibaldi JM (2017) A new accuracy measure based on bounded relative error for time series forecasting. PLOS One 12(3):1–23
Chen L-Q (2002) Phase-field models for microstructure evolution. Annu Revi Mater Res 32:113–140
Coussy O (2005) Poromechanics of freezing materials. Journal of the Mechanics and Physics of Solids 53(8):1689–1718
Dagli D (2017)LInaboratory investigations of frost action mechanisms in soils. In: Ph.D. thesis, Luleå University of Technology, Luleå University of Technology
de Boer R (1993) Thermodynamics of phase transitions in porous media. Appl Mech Rev 46:1–48
De Boer R (1996) Highlights in the historical development of the porous media theory: toward a consistent macroscopic theory. Appl Mech Rev 49(4):201–262
de Boer R (2000) Theory of porous media: highlights in the historical development and current state. Springer, Berlin
De Boer R, Bluhm J (1999) Phase transitions in gas- and liquid-saturated porous solids. Transp Porous Media 34(1–3):249–267
de Myttenaere A, Golden B, Le Grand B, Rossi F (2016) Mean absolute percentage error for regression models. Neurocomputing, 192
Ehlers W (1993) Constitutive equations for granular mεaterials in geomechanical Context. In: Continuum mechanics in environmental sciences and geophysics, Springer Vienna, Vienna, pp 313–402
Ehlers W (2002) Foundations of multiphasic and porous materials. In: Ehlers W, Bluhm J (eds) Porous media. Springer, Berlin, pp 3–86
Ehlers W, Graf T (2007) SSaturated elasto-plastic porous media under consideration of gaseous and liquid phase transitions. In: Schanz T (ed) Theoretical and numerical unsaturated soil mechanics. Berlin, pp 111–118
Ehlers W, Häberle K (2016) Interfacial mass transfer during gas-liquid phase change in deformable porous media with heat transfer. Transp Porous Media 114(2):525–556
Ehlers W, Luo C (2018) A phase-field approach embedded in the theory of porous media for the description of dynamic hydraulic fracturing, part II: the crack-opening indicator. Comput Methods Appl Mech Eng 341:429–442
Ehlers W, Wagner A (2019) Modelling and simulation methods applied to coupled problems in porous-media mechanics. Archive Appl Mechs 89(4):609–628
Eipper G (1998) Theorie und Numerik finiter elastischer Deformationen in fluid-gesättigten porösen Medien. In: Ph.D. thesis, University of Stuttgart, University of Stuttgart
Felippa CA, Park KC (2004) Synthesis tools for structural dynamics and partitioned analysis of coupled systems. In: NATO Advanced Research Workshop, pp 50–110
Ferreira AF, De Olivé Ferreira L, Da Costa Assis A (2011) Numerical simulation of the solidification of pure melt by a phase-field model using an adaptive computation domain. J Braz Soc Mech Sci Eng 33(2):125–130
Flores BE (1986) A pragmatic view of accuracy measurement in forecasting. Omega 14(2):93–98
Gawin D, Pesavento F, Koniorczyk M, Schrefler BA (2020) Poro-mechanical model of strain hysteresis due to cyclic water freezing in partially saturated porous media. Int J Solids Struct
Ghadiani SR (2005) A multiphasic continuum mechanical model for design investigations of an effusion-cooled rocket thrust chamber. In: Ph.D. thesis, University of Stuttgart, University of Stuttgart
Gilpin RR (1980) A model for the prediction of ice lensing and frost heave in soils. Water Resour Res 16(5):918–930
Graf T, Ehlers W (2003) On the theoretical and numerical modelling of unsaturated soil. Pamm 3(1):278–279
Heider Y (2012) Saturated porous media dynamics with application to earthquake engineering. In: Ph.D. thesis, University of Stuttgart, University of Stuttgart, ISBN: 3-937399-22-4
Heider Y, Avci O, Markert B, Ehlers W (2014) The dynamic response of fluid-saturated porous materials with application to seismically induced soil liquefaction. Soil Dyn Earthquake Eng 63:120–137
Heider Y, Markert B (2017) A phase-field modeling approach of hydraulic fracture in saturated porous media. Mech Res Commun 80:38–46
Heider Y, Reiche S, Siebert P, Markert B (2018) Modeling of hydraulic fracturing using a porous-media phase-field approach with reference to experimental data. Eng Fract Mech 202:116–134
Heider Y, Sun WC (2020) A phase field framework for capillary-induced fracture in unsaturated porous media: drying-induced vs. hydraulic cracking. Comput Methods Appl Mech Eng 359:112647
Hirt CW, Nichols BD (1981) Volume of fluid (VOF) method for the dynamics of free boundaries. J Comput Phys 39(1):201–225
Horiguchi K (1977) Frost heave character in freezing of powder materials. Int Symp Frost Action Soils, pp 67–75
Kang Y, Liu Q, Huang S (2013) A fully coupled thermo-hydro-mechanical model for rock mass under freezing/thawing condition. Cold Regions Sci Technol 95:19–26
Kaplar CW (1970) Phenomenon and mechanism of frost heaving. Highway Res Record, 304
Karma A, Rappel WJ (1996) Phase-field method for computationally efficient modeling of solidification with arbitrary interface kinetics. Phys Rev E Stat Phys Plasmas Fluids Related Interdiscip Topics 53(4):R3017–R3020
Kobayashi R (1993) Modeling and numerical simulations of dendritic crystal growth. Phys D Nonlinear Phenomena 63(3–4):410–423
Konrad J (1987) Procedure for determining the segregation potential of freezing soils. Geotech Testing J 10(2):51–58
Konrad J-M (1989) Influence of cooling rate on the temperature of ice lens formation in clayey silts. Cold Regions Sci Technol 16(1):25–36
Konrad J-M, Morgenstern N (1982a) Effects of applied pressure on freezing soils. Can Geotech J 19(4):494–505
Konrad J-M, Morgenstern N (1982b) Prediction of frost heave in the laboratory during transient freezing. Can Geotech J 19(3):250–259
Konrad J-M, Morgenstern NR (1980) A mechanistic theory of ice lens formation in fine-grained soils. Can Geotech J 17(4):473–486
Konrad J-M, Morgenstern NR (1981) The segregation potential of a freezing soil. Can Geotech J 18(4):482–491
Konrad J-M, Nixon J (1994) Frost heave characteristics of a clayey silt subjected to small temperature gradients.Cold Regions Sci Technol 22(3):299–310
Lai Y, Pei W, Zhang M, Zhou J (2014) Study on theory model of hydro-thermal-mechanical interaction process in saturated freezing silty soil. Int J Heat Mass Transf 78:805–819
Li N, Chen F, Xu B, Swoboda G (2008) Theoretical modeling framework for an unsaturated freezing soil. Cold Regions Sci Technol 54(1):19–35
Loch J, Kay B (1978) Water redistribution in partially frozen, saturated silt under several temperature gradients and overburden loads. Soil Sci Soc Am J 42(3):400–406
Markert B (2007) A constitutive approach to 3-d nonlinear fluid flow through finite deformable porous continua. Transp Porous Media 70(3):427–450
Markert B (2011) Coupled thermo- and electrodynamics of multiphasic continua. Adv Extend Multifield Theories Continua. Springer, Berlin, pp 129–152
Markert B (2013) A survey of selected coupled multifield problems in computational mechanics. J Coupled Syst Multiscale Dyn 1(1):22–48
Markert B, Heider Y, Ehlers W (2010) Comparison of monolithic and splitting solution schemes for dynamic porous media problems. Int J Numer Methods Eng 82:1341–1383
Mauro A, Normino G, Cavuoto F, Marotta P, Massarotti N (2020) Modeling artificial ground freezing for construction of two tunnels of a metro station in napoli (italy). Energies 13(5)
Merkel G, Povinelli R, Brown R (2018) Short-term load forecasting of natural gas with deep neural network regression. Energies 11:2008
Mikkola M, Hartikainen J (2001) Mathematical model of soil freezing and its numerical implementation. Int J Numer Methods Eng 52(56):543–557
Ming F, Li DQ (2015) Experimental and theoretical investigations on frost heave in porous media. Math Prob Eng 2015:1–9
Moelans N, Blanpain B, Wollants P (2008) An introduction to phase-field modeling of microstructure evolution. Calphad Comput Coupling Phase Diag Thermochem 32(2):268–294
Na SH, Sun WC (2017) Computational thermo-hydro-mechanics for multiphase freezing and thawing porous media in the finite deformation range. Comput Methods Appl Mech Eng 318:667–700
Neaupane KM, Yamabe T (2001) A fully coupled thermo-hydro-mechanical nonlinear model for a frozen medium. Comput Geotech 28(8):613–637
Niggemann K (2020) Investigation of frost heave considering the boundary conditions of artificial ground freezing. Transp Soil Eng Cold Regions, Vol 2. Springer, Berlin, pp 273–283
Nishimura S, Gens A, Olivella S, Jardine RJ (2009) THM-coupled finite element analysis of frozen soil: formulation and application. Géotechnique 59(3):159–171
Nixon JF (1992) Discrete ice lens theory for frost heave beneath pipelines. Can Geotech J 29(3):487–497
Noii N, Aldakheel F, Wick T, Wriggers P (2020) An adaptive global-local approach for phase-field modeling of anisotropic brittle fracture. Comput Methods Appl Mech Eng 361
Obaid A, Turek S, Heider Y, Markert B (2017) A new monolithic Newton-multigrid-based FEM solution scheme for large strain dynamic poroelasticity problems. Int J Numer Methods Eng 109(8):1103–1129
Oesterreich M (2015) Application of descriptive models to forecasting seasonal time series with gaps. Ekonometria
O’Neill K (1983) The physics of mathematical frost heave models: a review. Cold Reg Sci Technol 6(3):275–291
O’Neill K, Miller RD (1985) Exploration of a rigid ice model of frost heave. Water Resour Res 21(3):281–296
Osher S (2001) Book Review: Level set methods and fast marching methods: evolving interfaces in computational geometry, fluid mechanics, computer vision, and materials science. Math Comput 70(233):449–451
Padilla CA, Patil SP, Heider Y, Markert B (2017) 3D modelling of brittle fracture using a joint all-atom and phase-field approach. GAMM Mitteilungen 40(2):91–101
Patil SP, Heider Y (2019) A review on brittle fracture nanomechanics by all-atom simulations. Nanomaterials 9(7):1050
Penner E (1986) Aspects of ice lens growth in soils. Cold regions science and technology 13(1):91–100
Penner E, Ueda T (1977) The dependence of frost heaving on load application-preliminary results. Proc Int Symp Frost Action Soils 1:92–101
Pillai U, Heider Y, Markert B (2018) A diffusive dynamic brittle fracture model for heterogeneous solids and porous materials with implementation using a user-element subroutine. Comput Mater Sci 153:36–47
Provatas N, Elder K (2010) Phase-field methods in materials science and engineering. Wiley-VCH Verlag GmbH & Co, KGaA, Weinheim, Germany
Rempel AW (2010) Frost heave. J Glaciol 56(200):1122–1128
Rempel AW, Wettlaufer JS, Worster MG (2004) Premelting dynamics in a continuum model of frost heave. J Fluid Mech 498(498):227–244
Ricken T, Bluhm J (2010) Modeling fluid saturated porous media under frost attack. GAMM Mitteilungen 33(1):40–56
Ricken T, Bluhm J (2014) Modeling of liquid and gas saturated porous solids under freezing and thawing cycles. In: Schanz T, Hettler A (eds) Aktuelle Forschung in der Bodenmechanik 2013. Springer, Berlin, pp 23–42
Schnaars SP (1986) Long-range forecasting: from crystal ball to computer. J Scott Armstrong, 2nd edn. Wiley, New York, (1985) 22.95 (paper), pp 689. Int J Forecast 2(3):387–390
Sedlacek G, Miehe A, Libreros A, Heider Y (2012) Geotechnical stability of gravity base foundations for offshore wind turbines on granular soils. In: Proceedings of the international conference on offshore mechanics and arctic engineering---OMAE, vol 4. American Society of Mechanical Engineers, pp 57–63
Sheng D, Axelsson K, Knutsson S (1995) Frost heave due to ice lens formation in freezing soils: 1. theory and verification. Hydrol Res 26(2):125–146
Sheng D, Zhang S, He Z (2014) Assessing frost susceptibility of soils. J Rock Mech Eng 33(3):594–605
Spaans EJA, Baker JM (1996) The soil freezing characteristic: its measurement and similarity to the soil moisture characteristic. Soil Sci Soc Am J 60(1):13–19
Steinbach I (2009) Phase-field models in materials science. Modell Simul Mater Sci Eng 17(7)
Sun W (2015) A stabilized finite element formulation for monolithic thermo-hydro-mechanical simulations at finite strain. Int J Numer Methods Eng 103(11):798–839
Sweidan AH, Heider Y, Markert B (2020) Modeling of PCM-based enhanced latent heat storage systems using a phase-field-porous media approach. Contin Mech Thermodyn 32:861–882
Sweidan AH, Heider Y, Markert B (2020) A unified water/ice kinematics approach for phase-field thermo-hydro-mechanical modeling of frost action in porous media. Comput Methods Appl Mech Eng 372:113358
Taber S (1929) Frost heaving. J Geol 37(5):428–461
Taber S (1930) The mechanics of frost heaving. J Geol 38(4):303–317
Thomas HR, Cleall P, Li YC, Harris C, Kern-Luetschg M (2009) Modelling of cryogenic processes in permafrost and seasonally frozen soils. Geotechnique 59(3):173–184
Tounsi H, Rouabhi A, Tijani M, Guérin F (2019) Thermo-hydro-mechanical modeling of artificial ground freezing: application in mining engineering. Rock Mech Rock Eng 52(10):3889–3907
Truesdell C (1984) The origins of rational thermodynamics. Springer, New York, NY
van Genuchten MT (1980) A closed-form equation for predicting the hydraulic conductivity of unsaturated soils. Soil Sci Soc Am J 44(5):892–898
Wang SL, Sekerka RF, Wheeler AA, Murray BT, Coriell SR, Braun RJ, McFadden GB (1993) Thermodynamically-consistent phase-field models for solidification. Phys D Nonlinear Phenomena 69(1–2):189–200
Warren JA, Boettinger WJ (1995) Prediction of dendritic growth and microsegregation patterns in a binary alloy using the phase-field method. Acta Metallurgica Et Materialia 43(2):689–703
Wilen L, Dash J (1995) Frost heave dynamics at a single crystal interface. Phys Rev Lett 74(25):5076
Xia D, Arenson LU, Biggar KW, Sego DC (2005) Freezing process in devon silt-using time-lapse photography. In 58th Canadian geotechnical conference, saskatoon, saskatchewan
Zaeem MA, Yin H, Felicelli SD (2012) Comparison of cellular automaton and phase field models to simulate dendrite growth in hexagonal crystals. J Mater Sci Technol 28:137–146
Zhao Y, Zhao CY, Xu ZG (2018) Numerical study of solid-liquid phase change by phase field method. Comput Fluids 164:94–101
Zhao Y, Zhao CY, Xu ZG, Xu HJ (2016) Modeling metal foam enhanced phase change heat transfer in thermal energy storage by using phase field method. Int J Heat Mass Transf 99:170–181
Zhou B, Heider Y, Ma S, Markert B (2019) Phase-field-based modelling of the gelation process of biopolymer droplets in 3D bioprinting. Comput Mech 63(6):1187–1202
Zhou J, Li D (2012) Numerical analysis of coupled water, heat and stress in saturated freezing soil. Cold Reg Sci Technol 72:43–49
Zhou MM, Meschke G (2013) A three-phase thermo-hydro-mechanical finite element model for freezing soils. Int J Numer Anal Methods Geomech 37(18):3173–3193
Zhou M-M, Meschke G (2014) Numerical modeling of artificial ground freezing: multiphase modeling and strength upscaling. Ground improvement and geosynthetics. American Society of Civil Engineers, Reston, VA, pp 209–219
Zienkiewicz OC, Taylor RL (2000) The finite element method volume 1: the basis, vol 1. Butterworth-Heinemann, Oxford, Boston, 5th edn.
Acknowledgements
This work is supported by the German Research Foundation (DFG) under the project “Investigation and calculation of frost heave considering specific boundary conditions of ground freezing”, grant number 409760547. The funding is herewith gratefully acknowledged.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sweidan, A.H., Niggemann, K., Heider, Y. et al. Experimental study and numerical modeling of the thermo-hydro-mechanical processes in soil freezing with different frost penetration directions. Acta Geotech. 17, 231–255 (2022). https://doi.org/10.1007/s11440-021-01191-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11440-021-01191-z