Time-dependent crystallization in magma chambers and lava lakes cooled from above: The role of convection and kinetics on nonlinear dynamics of binary systems

Motivated by geophysical applications we develop a number of mathematical models of the time-dependent crystallization in magma chambers, lava lakes and similar systems which involve nonlinear mechanisms of the melt convection and interfacial kinetics. The Stefan-type moving boundary models including important nonlinear physical dependences are solved analytically for different solidification stages. An influence of the convection intensity and undercooling degree on nonlinear solidification dynamics is discussed.