tokens: We derive rigorous error estimates for a finite element ( FE ) approximation to the coupled nonlinear system and confirm experimentally that the numerical approximation converges at the predicted rate .