Well-posedness of a fractional porous medium equation on an evolving surface

TL;DR

This paper establishes the well-posedness of a fractional porous medium equation on evolving surfaces, introducing new methods for existence, uniqueness, and contractivity of solutions using harmonic extensions and convex analysis.

Contribution

It develops a novel framework for analyzing fractional porous medium equations on evolving hypersurfaces, including reformulation as local problems and convergence analysis.

Findings

Proved existence and uniqueness of weak solutions.

Established $L^1$-contractivity of solutions.

Analyzed fractional Laplace--Beltrami operator on manifolds.

Abstract

We investigate the existence, uniqueness, and $L^1$-contractivity of weak solutions to a porous medium equation with fractional diffusion on an evolving hypersurface. To settle the existence, we reformulate the equation as a local problem on a semi-infinite cylinder, regularise the porous medium nonlinearity and truncate the cylinder. Then we pass to the limit first in the truncation parameter and then in the nonlinearity, and the identification of limits is done using the theory of subdifferentials of convex functionals. In order to facilitate all of this, we begin by studying (in the setting of closed Riemannian manifolds and Sobolev spaces) the fractional Laplace--Beltrami operator which can be seen as the Dirichlet-to-Neumann map of a harmonic extension problem. A truncated harmonic extension problem will also be examined and convergence results to the solution of the harmonic extension will be given. For a technical reason, we will also consider some related extension problems on evolving hypersurfaces which will provide us with the minimal time regularity required on the harmonic extensions in order to properly formulate the moving domain problem. This functional analytic theory is of course independent of the fractional porous medium equation and will be of use generally in the analysis of fractional elliptic and parabolic problems on manifolds.