arXiv · 1311.0430
On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof
Abstract
We exhibit a family of graphs that develop turning singularities (i.e. their Lipschitz seminorm blows up and they cease to be a graph, passing from the stable to the unstable regime) for the inhomogeneous, two-phase Muskat problem where the permeability is given by a nonnegative step function. We study the influence of different choices of the permeability and different boundary conditions (both at infinity and considering finite/infinite depth) in the development or prevention of singularities for short time. In the general case (inhomogeneous, confined) we prove a bifurcation diagram concerning the appearance or not of singularities when the depth of the medium and the permeabilities change. The proofs are carried out using a combination of classical analysis techniques and computer-assisted verification.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Javier Gómez-Serrano, Rafael Granero-Belinchón. 2014-01-21. On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof. https://doi.org/10.1088/0951-7715%2F27%2F6%2F1471
Cite the original work for its findings. Save a collection to share your selection of sources.