1 Introduction

Phenomena of directional crystallization of supercooled and supersaturated liquids are the basis of many technological processes of metal production and are broadly encountered in nature during freezing of water and solidification of lava [1,2,3,4,5,6,7,8,9,10]. The driving force of such processes is the temperature or concentration gradient that defines the spatial crystallization direction of the system. In this case, the phase transformation can take place with a sharp frontal boundary separating purely solid and liquid phases. In addition to this situation, a phase transformation may take place in an extended domain (two-phase layer) that consists of complex entwined structures of solids between which there is a liquid phase [11,12,13,14,15,16]. In this area, both directional growth of the solid phase and bulk phase transformation (nucleation and growth of nuclei [17,18,19,20], evolution of dendritic crystals [21,22,23,24,25]) may occur. A good example of a two-phase layer in nature is the ice slush, which cannot freeze completely. The ice displaces seawater around it, the salinity of which becomes so great that it remains in a liquid state inside the pack ice during the winter season.

This paper deals with the formation of a two-phase (mushy) layer of constitutional supercooling in the process of directional crystallization. Due to the impurity displacement by the growing solid phase (crystallization front), the impurity concentration ahead of the front in liquid accumulates and, at some point in time, the concentration gradient \(-m\partial C / \partial z\) (m is the equilibrium liquidus slope) begins to exceed the temperature gradient \(\partial T_\ell /\partial z\) at the front (C and \(T_\ell\) are the impurity concentration and temperature in liquid, z is the spatial coordinate of crystallization process). At later moments, a layer of constitutional supercooling arises ahead of the front, and the transition of the crystallizing system from a planar front to a two-phase (mushy) layer model is determined by the equality of aforementioned gradients [26,27,28]. Below a theory of transition of directional crystallization from a planar front model to a mushy layer model is constructed, in which the processes of solid phase growth can be more complex.

2 The model and its solution

Let us consider the crystallization process in the region of length L. In the melt (\(Z (t )<z <L\)) and solid (\(0< z <Z (t )\)) phases, the thermal conductivity and impurity diffusion equations hold true

$$\begin{aligned} \frac{\partial T_\ell }{\partial t} & = a_\ell \frac{\partial ^2 T_\ell }{\partial z^2},\ \ Z (t )< z <L, \end{aligned}$$
(1)
$$\begin{aligned} \frac{\partial T_s}{\partial t} & = a_s\frac{\partial ^2 T_s}{\partial z^2},\ \ 0<z <Z (t ), \end{aligned}$$
(2)
$$\begin{aligned} \frac{\partial C}{\partial t} & = D\frac{\partial ^2 C}{\partial z^2},\ \ Z (t)<z <L, \end{aligned}$$
(3)

where \(T_s\) is the solid phase temperatures, \(a_\ell\) and \(a_s\) are the thermal diffusivity coefficients of liquid and solid phases, D is the impurity diffusion coefficient (impurity diffusion in the solid phase is traditionally neglected), Z represents the coordinate at time t.

At the phase transition boundary, the temperature continuity condition, the equality of temperature to the phase transition temperature, and the heat and mass balances are fulfilled. Namely,

$$\begin{aligned} T_\ell =T_s,\ \ z & = Z (t ), \end{aligned}$$
(4)
$$\begin{aligned} T_\ell = T_* - mC,\ \ z & = Z (t), \end{aligned}$$
(5)
$$\begin{aligned} \lambda _s\frac{\partial T_s}{\partial z}- \lambda _\ell \frac{\partial T_\ell }{\partial z}=L_V\frac{d Z (t )}{dt },\ \ z & = Z (t ), \end{aligned}$$
(6)
$$\begin{aligned} (1-k) C \frac{d Z (t)}{dt}+D\frac{\partial C}{\partial z}=0,\ \ z & = Z (t). \end{aligned}$$
(7)

Here, \(T_*\) represents the phase transition temperature of pure melt, \(\lambda _s\) and \(\lambda _\ell\) are the thermal conductivity coefficients of solid and melted phases, respectively, \(L_V\) is latent heat of solidification, k is the impurity segregation coefficient, which is equal to the ratio of impurity concentration \(C_s\) in the solid phase to the impurity concentration in melt at the crystallization front, i.e.

$$\begin{aligned} k=\frac{C_s}{C},\ \ z =Z (t). \end{aligned}$$
(8)

As the diffusion of impurity in the solid phase is neglected, relation (8) gives the value of the impurity concentration absorbed by the flat solidification front at each time moment and, thus, allows us to determine the concentration profile in the solid phase.

At the right boundary, \(z =L\), we set the condition of its impermeability for the impurity and fix the heat flux as

$$\begin{aligned} \frac{\partial C}{\partial z}=0,\ \ z =L, \end{aligned}$$
(9)
$$\begin{aligned} \frac{\partial T_\ell }{\partial z}=g_\ell ,\ \ z =L, \end{aligned}$$
(10)

where \(g_\ell\) is the given temperature gradient.

At the left boundary, \(z =0\), we set the condition of its smoothly increasing cooling with time in the form of

$$\begin{aligned} \lambda _s\frac{\partial T_s}{\partial z}=\lambda _\ell g_\ell +\alpha t,\ \ z =0, \end{aligned}$$
(11)

where \(\alpha\) is the cooling coefficient.

As the initial conditions, we set the position of the crystallization front, as well as the temperature and concentration profiles of the following form

$$\begin{aligned} Z (0) & = \varepsilon L, \end{aligned}$$
(12)
$$\begin{aligned} T_\ell & = T_* - m C_\infty +g_\ell (z -Z(0)),\ \ t =0,\\ Z(0)&<z <L, \end{aligned}$$
(13)
$$\begin{aligned} T_s & = T_*-mC_\infty +\frac{\lambda _\ell }{\lambda _s}g_\ell (z -Z(0)),\\ t&=0,\ \ 0<z <Z (0), \end{aligned}$$
(14)
$$\begin{aligned} C & = C_\infty ,\ \ t =0,\ \ Z (0)<z <L, \end{aligned}$$
(15)

where \(C_\infty\) is the constant impurity concentration at the initial moment of time and \(\varepsilon \ll 1\) is a small parameter.

Thus, initially, the crystallization front is supposed to already exist at some small distance from the left boundary. The linear temperature profile is given with its slope on both sides of the crystallization front. At the initial moment \(t =0\), the difference of heat at the front is zero and, hence, the velocity dZ/dt of the front, according to the boundary condition (6), is also zero.

The time \(t_*\) of the two-phase layer origination is defined from the condition of constitutional supercooling [26,27,28]

$$\begin{aligned} -m\frac{\partial C}{\partial z}= \frac{\partial T_\ell }{\partial z},\ \ z =Z (t). \end{aligned}$$
(16)

The model (1)–(16) was numerically analyzed in Refs. [27, 29], and condition (16) corresponding to the narrow quasi-equilibrium two-phase layer approximation was used in the case of constitutional supercooling [27]. Note that the relation \(-m\frac{\partial C}{\partial z} \ >\frac{\partial T_\ell }{\partial z}\) is satisfied when there is a supercooled liquid region ahead of the solidification front.

Fig. 1
figure 1

Concentration (dashed lines) and temperature (solid lines) profiles, phase transition temperature (horizontal straight line) and position Z(t) of the crystallization front during solidification of iron-nickel melt at: a \(t=360\) s; b \(t=221.9\) s. Point \(t=t_*\) corresponds to the maximum impurity concentration in the solid phase, \(x=z/L\). Calculation parameters are: \(m=2.65\) \(^\circ\)C, \(k=0.68\), \(T_*\)=1529.5 \(^\circ\)C, \(L_V=3398.5\) \(\textrm{cal}/\textrm{cm}^3\), \(D=5\cdot 10^{-5}\) \(\textrm{cm}^2/\textrm{s}\), \(C_\infty =0.3\), \(\lambda _s=0.177\) \(\textrm{cal}\)/(\(\textrm{s}\) \(\textrm{cm}\) \(^\circ\)C), \(\lambda _\ell =0.1\) \(\textrm{cal}\)/(\(\textrm{s}\) \(\textrm{cm}\) \(^\circ\)C), \(\alpha =0.02\) \(\textrm{cal}/(\textrm{s}^2\) \(\textrm{cm}^2\)), \(a_s=0.25\) \(\textrm{cm}^2\) \(/\textrm{s}\), \(a_\ell =0.14\) \(\textrm{cm}^2\) \(/\textrm{s}\), \(g_\ell\) 10 \(^\circ\)C/\(\textrm{cm}\), \(\varepsilon =0.01\), \(L=1\) \(\textrm{cm}\)

Figure 1 represents the results of these calculations for an iron-nickel alloy at time \(t=360\) s (a) and \(t_*=221.9\) s (b), respectively. The calculations showed that the temperature profiles in both phases during the entire crystallization time remain almost linear functions of the spatial coordinate, which is also clearly visible from Fig. 1. This result can be explained by the fact that the relaxation times of the temperature fields in both phases are several orders of magnitude shorter than the relaxation time of the diffusion field. It is also obvious from the calculations that in the case when the length of the two-phase layer between the solid phase and the melt is sufficiently small, its presence has certain differences in the character of the impurity distribution over the solid phase in comparison with the standard formulation of the problem on solidification with a flat solidification front. In this case, the concentration of impurity in the solid phase will monotonically grow with the increasing spatial coordinate, as shown in Fig. 1b.

The linearity of the temperature profiles at all times, clearly visible in Fig. 1a and b, allows us to approximate Equs. (1) and (2) by their stationary analogs

$$\begin{aligned} \frac{\partial ^2T_\ell }{\partial z^2}=0,\ Z (t)<z<L;\ \ \frac{\partial ^2T_s}{\partial z^2}=0,\ 0<z <Z (t ), \end{aligned}$$
(17)

whose solution has the form

$$\begin{aligned} T_\ell (t,z )=A_1(t )+A_2(t )z,\ \ T_s (t,z )=B_1(t )+B_2(t )z. \end{aligned}$$
(18)

Substitution of solutions (18) into conditions (10), (11), and (4) defines the coefficients \(A_2\), \(B_2\) and the linear combination between the coefficients \(A_1\) and \(B_1\) as

$$\begin{aligned} A_1(t ) & = B_1(t)+\left( \frac{\lambda _\ell }{\lambda _s}g_\ell -g_\ell +\frac{\alpha }{\lambda _s}t\right) Z (t ), \end{aligned}$$
(19)
$$\begin{aligned} A_2 & = g_\ell ,\ \ B_2(t )=\frac{\lambda _\ell }{\lambda _s}g_\ell +\frac{\alpha }{\lambda _s}t. \end{aligned}$$
(20)

Then, substituting the distributions (18) into the boundary condition (6), and considering (19), we obtain

$$\begin{aligned} \frac{dZ}{dt}=\frac{\alpha }{L_V}t =\mu t. \end{aligned}$$
(21)

This condition representing a linear law for the crystallization rate, agrees perfectly with numerical calculations carried out in Ref. [27].

Let us now find the time \(t_*\) of the two-phase layer origination. Considering a reference frame moving with the velocity \(\mu t\) and introducing the new variable \(q (t, y )=C (t, y )-C_\infty\), we obtain the following problem

$$\begin{aligned}{} & {} \frac{\partial q}{\partial t}=\mu t \frac{\partial q}{\partial y} +D\frac{\partial ^2q}{\partial y^2},\ \ 0<y<\infty , \end{aligned}$$
(22)
$$\begin{aligned}{} & {} (1-k)\mu t q+(1-k)\mu t C_\infty +D\frac{\partial q}{\partial y}=0,\ \ y =0, \end{aligned}$$
(23)
$$\begin{aligned}{} & {} \frac{\partial q}{\partial y}=0,\ \ y \rightarrow \infty , \end{aligned}$$
(24)
$$\begin{aligned}{} & {} q=0,\ \ t =0. \end{aligned}$$
(25)

At time \(t_*\), the impurity concentration in liquid takes a maximum value in the whole occupied volume for any coordinate y. We take the left part of Eq. (22) and integrate the result over y from zero to infinity. Using condition (24) and the relation \(q \rightarrow 0\) at \(y \rightarrow \infty\), we get

$$\begin{aligned} q=\frac{Dg_\ell }{m\mu t_*},\ \ y =0,\ \ t=t_*. \end{aligned}$$
(26)

Here we also assumed that according to (16), (18) and (20) \(\partial q/\partial y =-g_\ell /m\) at \(y =0\), \(t=t_*\). Combining relations (23) and (26), we find the time of two-phase layer origination and the impurity concentration at the front as

$$\begin{aligned} t_*=\frac{kDg_\ell }{(1-k)\mu mC_\infty },\ \ C =\frac{C_\infty }{k},\ \ y =0,\ \ t =t_*. \end{aligned}$$
(27)

Figure 2 shows the dependence of the two-phase laayer origination on the cooling parameter \(\alpha\) (note that \(\mu =\alpha /L_V\)). As can be easily seen, expression (27) agrees well with the numerical solution of the problem obtained in Ref. [29].

Fig. 2
figure 2

The time \(t_*\) for the two-phase layer origination versus the cooling parameter \(\alpha\) for different gradients \(g_\ell\). The points are the results of numerical solution according to Ref. [29]

Let us now consider the concentration problem (22)–(25) at sufficiently small times after the beginning of the crystallization process and represent the concentration q as an expansion \(q=q_0+q_1+q_2+...,\) when each subsequent summand is assumed to be much smaller than the previous one. Then we find \(q_0\) and \(q_1\) as

$$\begin{aligned} \frac{\partial q_0}{\partial t} & = D \frac{\partial ^2q_0}{\partial y^2},\ 0<y<\infty ;\ \ \ \ \\ (1-k)\mu t C_\infty +D\frac{\partial q_0}{\partial y} &=0,\ \ \ y =0, \end{aligned}$$
(28)
$$\begin{aligned} \frac{\partial q_1}{\partial t} & = \mu t \frac{\partial ^2 q_0}{\partial y^2}+ D\frac{\partial ^2q_1}{\partial y^2},\ \ 0<y <\infty ;\\ &(1-k)\mu t q_0 +D\frac{\partial q_1}{\partial y}=0,\ \ \ y =0 \end{aligned}$$
(29)

with conditions (24) and (25) taking the form

$$\begin{aligned} \frac{\partial q_i}{\partial y}=0,\ \ y \rightarrow \infty ;\ \ \ q_i=0,\ \ t =0 \end{aligned}$$
(30)

(they are valid for all \(q_i\) (\(i=0,1,...\))).

Each of the problems (28)–(30) can be solved using the Laplace integral transform. Then, finally, we obtain

$$\begin{aligned} q_0(t,y ) & = \frac{C_\infty (1-k)\mu }{\sqrt{\pi D}} \int \limits _0^ t \exp \left[ -\frac{y^2}{4Df } \right] \frac{t -f}{\sqrt{f}}df, \end{aligned}$$
(31)
$$\begin{aligned} q_1(t,y ) & = \frac{C_\infty (1-k)\mu ^2}{2D\sqrt{\pi }} \left( \frac{5}{2}(1-k)-\frac{9}{8} -\frac{9 y}{8\sqrt{D}}\right) \nonumber \\ &\quad \times \int \limits _0^t \exp \left[ -\frac{y^2}{4Df}\right] \frac{(t -f)^2}{\sqrt{f}}d f-\frac{C_\infty (1-k)\mu ^2y^2}{192D^2\sqrt{\pi }} \nonumber \\ &\quad \times\int \limits _0^t \exp \left[ -\frac{y^2}{4Df}\right] \frac{(t -f)^4}{\sqrt{f}}d f. \end{aligned}$$
(32)
Fig. 3
figure 3

The distribution of impurities in the solid and liquid phases at time \(t=10\) s (solid lines) and the positions of the crystallization front (dashed lines). The concentrations of impurities in the liquid and solid phases at the front are 0.319 and 0.217, respectively, and the position of the crystallization front is 0.013 cm. Parameter \(\alpha =0.2\) \(\textrm{cal}/(\textrm{s}^2\) \(\textrm{cm}^2\))

Thus, if the solidification process occurs at large cooling coefficients, corresponding to small times \(t_*\) according to Fig. 3, the obtained result completely determines the solution of the frontal problem up to the moment of two-phase layer formation.

3 Conclusion

In summary, we have developed the analytical theory describing the mushy layer initiation ahead of a planar solid— liquid interface due to the effect of constitutional supercooling. This effect leans upon the process of impurity displacement by the growing solid–liquid interface into the liquid (melt) phase. As this takes place, the smaller the segregation coefficient, the more the impurity is displaced and the faster the concentration supercooling sets in. The analytical theory under consideration enables us to find the time \(t_*\) of mushy layer incipience corresponding to switching from a mathematical model with a planar front to a model with a two-phase (mushy) layer. In other words, at this point in time, a supercooled region forms ahead of the purely solid phase, where complex dendrite-like structures can grow and new crystallites can nucleate.

Generally speaking, when constitutional supercooling occurs (after a lapse of time \(t_*\)), one of the two-phase layer models (e.g. quasi-equilibrium, weakly or highly nonequilibrium) [14,15,16, 30,31,32,33,34,35,36,37] should be used to describe the crystallization process. In addition, the crystallization process may be influenced by dynamic instability of the two-phase layer (e.g. leading to self-oscillation of this layer) [38,39,40,41,42], convective fluid currents (e.g. forming channels in this layer) [43,44,45], additional impurity components (e.g. forming cotectic region) [46, 47], etc. These questions represent important research directions in the theory of crystallization with a two-phase layer.