The Dirichlet Problem for Stochastic Degenerate Parabolic-Hyperbolic Equations

We consider the Dirichlet problem for a quasilinear degenerate parabolic stochastic partial differential equation with multiplicative noise and nonhomogeneous Dirichlet boundary condition. We introduce the definition of kinetic solution for this problem and prove existence and uniqueness of solutions. For the uniqueness of kinetic solutions we prove a new version of the doubling of variables method and use it to deduce a comparison principle between solutions. The proof requires a delicate analysis of the boundary values of the solutions for which we develop some techniques that enable the usage of the existence of normal weak traces for divergence measure fields in this stochastic setting. The existence of solutions, as usual, is obtained through a two-level approximation scheme consisting of nondegenerate regularizations of the equations which we show to be consistent with our definition of solutions. In particular, the regularity conditions that give meaning to the boundary values of the solutions are shown to be inherited by limits of nondegenerate parabolic approximations provided by the vanishing viscosity method.