Nonlocal Lagrange multipliers and transport densities

TL;DR

This paper establishes the existence of generalized solutions to fractional Monge-Kantorovich equations with gradient constraints, introducing new functional spaces and analyzing the local limit as the fractional parameter approaches one.

Contribution

It develops a framework for fractional transport problems with gradient constraints, including existence proofs, properties of fractional Sobolev-type spaces, and the local limit behavior for degenerate operators.

Findings

Existence of solutions for fractional gradient-constrained problems.

Development of properties for fractional function spaces Λ^{s,p}_0(Ω).

Convergence to local gradient constraint problems as s approaches 1.

Abstract

We prove the existence of generalised solutions of the Monge-Kantorovich equations with fractional $s$-gradient constraint, $0<s<1$, associated to a general, possibly degenerate, linear fractional operator of the type, \begin{equation*} \mathscr L^su=-D^s\cdot(AD^su+\bs b\,u)+\bs d\cdot D^su+c\,u , \end{equation*} with integrable data, in the space $\Lambda^{s,p}_0(\Omega)$, which is the completion of the set of smooth functions with compact support in a bounded domain $\Omega$ for the $L^p$-norm of the distributional Riesz fractional gradient $D^s$ in $\R^d$ (when $s=1$, $D^1=D$ is the classical gradient). The transport densities arise as generalised Lagrange multipliers in the dual space of $L^\infty(\R^d)$ and are associated to the variational inequalities of the corresponding transport potentials under the constraint $|D^su|\leq g$. Their existence is shown by approximating the variational inequality through a penalisation of the constraint and nonlinear regularisation of the linear operator $\mathscr L^su$. For this purpose, we also develop some relevant properties of the spaces $\Lambda^{s,p}_0(\Omega)$, including the limit case $p=\infty$ and the continuous embeddings $\Lambda^{s,q}_0(\Omega)\subset \Lambda^{s,p}_0(\Omega)$, for $1\le p\le q\le\infty$. We also show the localisation of the nonlocal problems ($0<s<1$), to the local limit problem with classical gradient constraint when $s\rightarrow1$, for which most results are also new for a general, possibly degenerate, partial differential operator $\mathscr L^1u$ only with integrable coefficients and bounded gradient constraint.