A-ϕ formulation of a mathematical model for the induction hardening process with a nonlinear law for the magnetic field

Using Rothe's method, we prove the existence of a global solution to the whole system. The nonlinearity in the electromagnetic part is handled by the theory of monotone operators. To supplement our theoretical results we provide a numerical simulation using real physical constants.