Abstract:We study well-posedness of degenerate mixed-type parabolic-hyperbolic equations $$\partial_t u+\mathrm{div}\big(f(u)\big)=\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 and existence of bounded entropy solutions under general assumptions. 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 \textit{nonlocal} boundary condition. The existence proof is based on fixed point iteration for zero-order operators $\mathcal{L}$, and then extended to more general operators through approximations, weak-$\star$ compactness of approximate solutions $u_n$, and \textit{strong} compactness of $b(u_n)$. Strong compactness follows from energy estimates and arguments we introduce to transfer weak regularity from $\partial_t u_n$ to $\partial_t b(u_n)$.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, and as opposed to previous nonlocal theories, play an essential role in our arguments. Several results of independent interest are established, including a characterization of the $\mathcal{L}$'s for which the corresponding energy/Sobolev-space compactly embeds into $L^2$.

The divergence theorem and nonlocal counterparts

Semi-local behaviour of non-local hypoelliptic equations: divergence form

An elementary proof of the continuity from $L_0^2(Ω)$ to $H^1_0(Ω)^n$ of Bogovskii's right inverse of the divergence

A new proof of the Willmore inequality via a divergence inequality

Nonlocal Green theorems and Helmholtz decompositions for truncated fractional gradients

Optimal boundary regularity and Green function estimates for nonlocal equations in divergence form

$H$-compactness for nonlocal linear operators in fractional divergence form

On Divergence-based Distance Functions for Multiply-connected Domains

Nonlocal Problems with Local Boundary Conditions I: Function Spaces and Variational Principles

Nonlocal Bounded Variations with Applications

Diophantine approximation on curves and the distribution of rational points: divergence theory

Two approaches that prove divergence free nature of non-local gravity

Extensions of divergence-free fields in $\mathrm{L}^{1}$-based function spaces

Nonlocal degenerate parabolic hyperbolic equations on bounded domains

Convergence rates of the fractional to the local Dirichlet problem

Fractional elliptic equations in nondivergence form: definition, applications and Harnack inequality

Generalization of divergences by application of the deformed logarithm -- Applications to linear inverse problems -- Inversion algorithms

Differentiability of the nonlocal-to-local transition in fractional Poisson problems

Bounded functional calculus for divergence form operators with dynamical boundary conditions

A local uniqueness theorem for the fractional Schrödinger equation on closed Riemannian manifolds