On turning waves for the inhomogeneous Muskat problem: A computer-assisted proof

Nonlinearity

Volumn 27, Issue 6, 2014, Pages 1471-1498

  Gómez Serrano, Javier ^a   Granero Belinchón, Rafael ^b  

^a PRINCETON UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

blow up; computerassisted; Darcys law; inhomogeneous Muskat problem; singularity; turning; water waves

Indexed keywords

EID: 84901712643     PISSN: 09517715     EISSN: 13616544     Source Type: Journal    
DOI: 10.1088/0951-7715/27/6/1471     Document Type: Article

References (28)

1. Ambrose D 2004 Well-posedness of two-phase Hele-Shaw flow without surface tension Eur. J. Appl. Math. 15 597-607 (Pubitemid 40482778)
2. Berselli L, Córdoba D and Granero-Belinchón R 2014 Local solvability and finite time singularities for the inhomogeneous Muskat problem Interfaces Free Bound. at press, arXiv:1311.2194
3. Berz M and Makino K 1999 New methods for high-dimensional verified quadrature Reliable Comput. 5 13-22 (Pubitemid 129579067)
4. Bona J L, Lannes D and Saut J-C 2008 Asymptotic models for internal waves J. Math. Pures Appl. (9) 89 538-66
5. Castro A, Cordoba D, Fefferman C and Gancedo F 2013 Breakdown of smoothness for the Muskat problem Arch. Rational Mech. Anal. 208 805-909
6. Castro A, Córdoba D, Fefferman C, Gancedo F and Gómez-Serrano J 2012 Finite time singularities for water waves with surface tension J. Math. Phys. 53 115622
7. Castro A, Córdoba D, Fefferman C, Gancedo F and Gómez-Serrano J 2012 Splash singularity for water waves Proc. Natl Acad. Sci. 109 733-8
8. Castro A, Córdoba D, Fefferman C, Gancedo F and Gómez-Serrano J 2013 Finite time singularities for the free boundary incompressible Euler equations Ann. Math. (2) 178 1061-134
9. Castro A, Cordoba D, Fefferman C, Gancedo F and Lopez-Fernandez M 2012 Rayleigh-Taylor breakdown for the Muskat problem with applications to water waves Ann. Math. 175 909-48
10. Castro A, Córdoba D and Gancedo F 2010 Some recent results on the Muskat problem J. Eqns Derivees Partielles 5 14
11. Cerminara M and Fasano A 2012 Modelling the dynamics of a geothermal reservoir fed by gravity driven flow through overstanding saturated rocks J. Volcanol. Geotherm. Res. 233 37-54
12. Constantin P, Cordoba D, Gancedo F and Strain R 2013 On the global existence for the Muskat problem J. Eur. Math. Soc. 15 201-27
13. Cordoba A, Córdoba D and Gancedo F 2011 Interface evolution: the Hele-Shaw and Muskat problems Ann. Math. 173 477-542
14. Córdoba D and Gancedo F 2007 Contour dynamics of incompressible 3-D fluids in a porous medium with different densities Commun. Math. Phys. 273 445-71
15. Córdoba D and Gancedo F 2009 A maximum principle for the Muskat problem for fluids with different densities Commun. Math. Phys. 286 681-96
16. Córdoba D, Gancedo F and Orive R 2008 A note on interface dynamics for convection in porous media Physica D 237 1488-97
17. Córdoba D, Granero-Belinchón R and Orive R 2014 The confined Muskat problem: differences with the deep water regime Commun. Math. Sci. 12 423-55
18. Escher J and Matioc B V 2011 On the parabolicity of the Muskat problem: well-posedness, fingering, and stability results Z. Anal. Anwend. 30 193-218
19. Granero-Belinchón R 2013 Global existence for the confined Muskat problem SIAM J. Math. Anal. at press, arXiv:1303.1769
20. Hofschuster W and Krämer W 2004 C-XSC 2.0 - a C++ library for extended scientific computing Numerical Software with Result Verification ed R Alt et al (Heidelberg: Springer) pp 15-35
21. Holzmann O, Lang B and Schütt H 1996 Newton's constant of gravitation and verified numerical quadrature Reliable Comput. 2 229-39 (Pubitemid 126724093)
22. Kawarada H and Koshigoe H 1991 Unsteady flow in porous media with a free surface Japan J. Indust. Appl. Math. 8 41-84
23. Krämer W and Wedner S 1996 Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals Reliable Comput. 2 241-53 (Pubitemid 126724094)
24. Lang B 2001 Derivative-based subdivision in multi-dimensional verified Gaussian quadrature Symbolic Algebraic Methods and Verification Methods ed G Alefeld et al (Vienna: Springer) pp 145-52
25. Moore R E 1979 Methods and Applications of Interval Analysis (SIAM Studies in Applied Mathematics) (Philadelphia, PA: SIAM)
26. Muskat M 1937 The Flow of Homogeneous Fluids Through Porous Media (New York: McGraw-Hill)
27. Neumaier A 2004 Complete search in continuous global optimization and constraint satisfaction Acta Numer. 13 271-369 (Pubitemid 38773595)
28. Siegel M, Caflisch R and Howison S 2004 Global existence, singular solutions, and ill-posedness for the Muskat problem Commun. Pure Appl. Math. 57 1374-411 (Pubitemid 39234321)