An existence theorem for an implicit nonlinear evolution equation (Q1070513)

We prove the existence of a solution for a nonlinear evolution equation of the form: \((d/dt)B(u(t))+A(t,u(t))\ni f(t)\), where A and B are nonlinear operators, possibly multivalued. The proof is based on implicit discretization in time and passing to the limit as the time step goes to zero. An application to a Stefan problem, arising from the solidification of a metal in a mould, is given.