Existence and uniqueness for a mathematical model in superfluidity

In this paper we propose a model to study superfluidity by considering as state variables the order parameter, describing the concentration of the superfluid phase, the velocity of the superfluid and the absolute temperature. We assume that the order parameter satisfies a Ginzburg-Landau equation and that the velocity is decomposed as the sum of a normal and a superfluid component. The heat equation provides the evolution equation for the temperature. We prove that this model is consistent with the principles of thermodynamics. Well-posedness of the resulting initial and boundary value problem is shown.