Nonlocal degenerate parabolic-hyperbolic equations on bounded domains

We study well-posedness of degenerate mixed-type parabolic-hyperbolic equations \partial_{t}u+\operatorname{div}(f(u))=\mathcal{L}[b(u)] on bounded domains with general Dirichlet boundary/exterior conditions. The nonlocal diffusion operator \mathcal{L} can be any symmetric Lévy operator (e.g. fractional Laplacians) and b is nondecreasing and allowed to have degenerate regions ( b'=0 ). We propose an entropy solution formulation for the problem and show uniqueness of bounded entropy solutions under general assumptions. Existence of solutions is shown in a separate paper. The uniqueness proof is based on the Kružkov doubling of variables technique and incorporates several a priori results derived from our entropy formulation: an L^{\infty} -bound, an energy estimate, strong initial trace, weak boundary traces, and a nonlocal boundary condition. Our work can be seen as both extending nonlocal theories from the whole space to domains and local theories on domains to the nonlocal case. Unlike local theories, our formulation does not assume energy estimates. They are now a consequence of the formulation, but as opposed to previous nonlocal theories, they play an essential role in our arguments.