Rayleigh–Bénard convection in a creeping solid with melting and freezing at either or both its horizontal boundaries

International audienceSolid-state convection can take place in the rocky or icy mantles of planetary objects, and these mantles can be surrounded above or below or both by molten layers of similar composition. A flow towards the interface can proceed through it by changing phase. This behaviour is modelled by a boundary condition taking into account the competition between viscous stress in the solid, which builds topography of the interface with a time scale τ η , and convective transfer of the latent heat in the liquid from places of the boundary where freezing occurs to places of melting, which acts to erase topography, with a time scale τ φ. The ratio Φ = τ φ /τ η controls whether the boundary condition is the classical non-penetrative one (Φ → ∞) or allows for a finite flow through the boundary (small Φ). We study Rayleigh-Bénard convection in a plane layer subject to this boundary condition at either or both its boundaries using linear and weakly nonlinear analyses. When both boundaries are phase-change interfaces with equal values of Φ, a non-deforming translation mode is possible with a critical Rayleigh number equal to 24Φ. At small values of Φ, this mode competes with a weakly deforming mode having a slightly lower critical Rayleigh number and a very long wavelength, λ c ∼ 8 √ 2π/3 √ Φ. Both modes lead to very efficient heat transfer, as expressed by the relationship between the Nusselt and Rayleigh numbers. When only one boundary is subject to a phase-change condition, the critical Rayleigh number is Ra c = 153 and the critical wavelength is λ c = 5. The Nusselt number increases approximately two times faster with the Rayleigh number than in the classical case with non-penetrative conditions, and the average temperature diverges from 1/2 when the Rayleigh number is increased, towards larger values when the bottom boundary is a phase-change interface