Global solvability of a dissipative Frémond model for shape memory alloys. Part I : Mathematical formulation and uniqueness

The mathematical formulation of a dissipative Frémond model for shape memory alloys is given in terms of an initial and boundary values problem. Uniqueness of sufficiently regular solutions is proved by use of a contracting estimates procedure in the case when quadratic dissipative contributions are neglected in the energy balance. The related existence result is only established while its proof will be detailed by the author in a subsequent paper.