Numerical verification for solutions to partial differential equations

Nakao, Mitsuhiro

doi:10.1090/suga/419

Numerical verification for solutions to partial differential equations
HTML articles powered by AMS MathViewer

by Mitsuhiro T. Nakao
Translated by: Takuya Tsuchiya

Sugaku Expositions 30 (2017), 89-109

DOI: https://doi.org/10.1090/suga/419

Published electronically: March 17, 2017

PDF | Request permission

References

Gianni Arioli and Hans Koch, Integration of dissipative partial differential equations: a case study, SIAM J. Appl. Dyn. Syst. 9 (2010), no. 3, 1119–1133. MR 2728184, DOI 10.1137/10078298X
B. Breuer, P. J. McKenna, and M. Plum, Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof, J. Differential Equations 195 (2003), no. 1, 243–269. MR 2019251, DOI 10.1016/S0022-0396(03)00186-4
Sarah Day, Yasuaki Hiraoka, Konstantin Mischaikow, and Toshiyuki Ogawa, Rigorous numerics for global dynamics: a study of the Swift-Hohenberg equation, SIAM J. Appl. Dyn. Syst. 4 (2005), no. 1, 1–31. MR 2136516, DOI 10.1137/040604479
Sarah Day, Jean-Philippe Lessard, and Konstantin Mischaikow, Validated continuation for equilibria of PDEs, SIAM J. Numer. Anal. 45 (2007), no. 4, 1398–1424. MR 2338393, DOI 10.1137/050645968
Marcio Gameiro and Jean-Philippe Lessard, Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs, J. Differential Equations 249 (2010), no. 9, 2237–2268. MR 2718657, DOI 10.1016/j.jde.2010.07.002
Marcio Gameiro and Jean-Philippe Lessard, Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation, Numer. Math. 117 (2011), no. 4, 753–778. MR 2776917, DOI 10.1007/s00211-010-0350-3
C. O. Horgan and L. E. Payne, On inequalities of Korn, Friedrichs and Babuška-Aziz, Arch. Rational Mech. Anal. 82 (1983), no. 2, 165–179. MR 687553, DOI 10.1007/BF00250935
Edgar W. Kaucher and Willard L. Miranker, Self-validating numerics for function space problems, Notes and Reports in Computer Science and Applied Mathematics, vol. 9, Academic Press, Inc., Orlando, FL, 1984. Computation with guarantees for differential and integral equations. MR 772203
Fumio Kikuchi and Xuefeng Liu, Determination of the Babuska-Aziz constant for the linear triangular finite element, Japan J. Indust. Appl. Math. 23 (2006), no. 1, 75–82. MR 2210297
Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, and Takaaki Nishida, A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems, Numer. Math. 111 (2009), no. 3, 389–406. MR 2470145, DOI 10.1007/s00211-008-0191-5
Takehiko Kinoshita, Takuma Kimura, and Mitsuhiro T. Nakao, On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems, Numer. Math. 126 (2014), no. 4, 679–701. MR 3175181, DOI 10.1007/s00211-013-0575-z
Kenta Kobayashi, A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions, Japan J. Indust. Appl. Math. 26 (2009), no. 2-3, 493–516. MR 2589487
Kobayashi, K., On the interpolation constants over triangular elements (in Japanese), RIMS Kokyuroku, 1733 (2011), 58-77.
Ulrich W. Kulisch and Willard L. Miranker (eds.), A new approach to scientific computation, Notes and Reports in Computer Science and Applied Mathematics, vol. 7, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1983. MR 721972
Teruya Minamoto and Mitsuhiro T. Nakao, Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation, J. Comput. Appl. Math. 202 (2007), no. 2, 177–185. MR 2319947, DOI 10.1016/j.cam.2006.02.023
Ramon E. Moore, R. Baker Kearfott, and Michael J. Cloud, Introduction to interval analysis, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2009. MR 2482682, DOI 10.1137/1.9780898717716
K. Nagatou, A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid, J. Comput. Appl. Math. 169 (2004), no. 1, 33–44. MR 2071258, DOI 10.1016/j.cam.2003.10.016
K. Nagatou, K. Hashimoto, and M. T. Nakao, Numerical verification of stationary solutions for Navier-Stokes problems, J. Comput. Appl. Math. 199 (2007), no. 2, 445–451. MR 2269532, DOI 10.1016/j.cam.2005.09.031
Nagatou, K., Plum, M., and Nakao, M.T., Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators, Proceedings of the Royal Society A, doi:10.1098/rspa.2011.0159.
Mitsuhiro T. Nakao, Numerical verification methods for the existence of solutions for functional equations [translation of Sûgaku 42 (1990), no. 1, 16–31], Sugaku Expositions 5 (1992), no. 1, 71–91. Sugaku Expositions. MR 1161473
Nakao, M.T., Yamamoto, N., Self-validating numerical methods (in Japanese), Nippon Hyoron Sha, 1998.
Nakao, M.T., Watanabe, Y., Learning self-validating numerical methods by examples (in Japanese), Saiensu-sha, 2011.
Mitsuhiro T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems, Japan J. Appl. Math. 5 (1988), no. 2, 313–332. MR 944817, DOI 10.1007/BF03167877
Mitsuhiro T. Nakao, Nobito Yamamoto, and Yoshinobu Nishimura, Numerical verification of the solution curve for some parametrized nonlinear elliptic problem, Proceedings of Third China-Japan Seminar on Numerical Mathematics (Dalian, 1997) Sci. Press Beijing, Beijing, 1998, pp. 238–245. MR 1761460
Mitsuhiro T. Nakao, Nobito Yamamoto, and Yoshitaka Watanabe, A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations, J. Comput. Appl. Math. 91 (1998), no. 1, 137–158. MR 1626617, DOI 10.1016/S0377-0427(98)00035-1
M. T. Nakao, N. Yamamoto, and K. Nagatou, Numerical verifications for eigenvalues of second-order elliptic operators, Japan J. Indust. Appl. Math. 16 (1999), no. 3, 307–320. MR 1719254, DOI 10.1007/BF03167360
M. T. Nakao, S. H. Lee, and Cheon Seoung Ryoo, Numerical verification of solutions for elasto-plastic torsion problems, Comput. Math. Appl. 39 (2000), no. 3-4, 195–204. MR 1740919, DOI 10.1016/S0898-1221(99)00345-4
Mitsuhiro T. Nakao and Yoshitaka Watanabe, An efficient approach to the numerical verification for solutions of elliptic differential equations, Numer. Algorithms 37 (2004), no. 1-4, 311–323. MR 2109916, DOI 10.1023/B:NUMA.0000049477.75366.94
M. T. Nakao, K. Hashimoto, and Y. Watanabe, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, Computing 75 (2005), no. 1, 1–14. MR 2161437, DOI 10.1007/s00607-004-0111-1
Mitsuhiro T. Nakao, Kouji Hashimoto, and Kenta Kobayashi, Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains, Hokkaido Math. J. 36 (2007), no. 4, 777–799. MR 2378291, DOI 10.14492/hokmj/1272848033
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, and Myoung-Nyoung Kim, Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems, J. Sci. Comput. 43 (2010), no. 3, 388–401. MR 2639642, DOI 10.1007/s10915-009-9303-3
Mitsuhiro T. Nakao, Takehiko Kinoshita, and Takuma Kimura, On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems, Computing 94 (2012), no. 2-4, 151–162. MR 2891886, DOI 10.1007/s00607-011-0180-x
Mitsuhiro T. Nakao, Takuma Kimura, and Takehiko Kinoshita, Constructive a priori error estimates for a full discrete approximation of the heat equation, SIAM J. Numer. Anal. 51 (2013), no. 3, 1525–1541. MR 3056759, DOI 10.1137/120875661
Oishi, S., Self-validating numerical methods (in Japanese), Corona publishing, 2000.
Michael Plum, Explicit $H_2$-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems, J. Math. Anal. Appl. 165 (1992), no. 1, 36–61. MR 1151060, DOI 10.1016/0022-247X(92)90067-N
Michael Plum, Computer-assisted enclosure methods for elliptic differential equations, Linear Algebra Appl. 324 (2001), no. 1-3, 147–187. Special issue on linear algebra in self-validating methods. MR 1810529, DOI 10.1016/S0024-3795(00)00273-1
Siegfried M. Rump, Verification methods: rigorous results using floating-point arithmetic, Acta Numer. 19 (2010), 287–449. MR 2652784, DOI 10.1017/S096249291000005X
Cheon Seoung Ryoo and Mitsuhiro T. Nakao, Numerical verification of solutions for variational inequalities, Numer. Math. 81 (1998), no. 2, 305–320. MR 1657788, DOI 10.1007/s002110050394
Martin H. Schultz, Spline analysis, Prentice-Hall Series in Automatic Computation, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1973. MR 0362832
Tabata, M., Nakao. M.T., Numerical simulation for partial differential equations/ Reliability in scientific computing (in Japanese), Kodan-sha, 2008.
Takayasu, A., Liu, X., and Oishi, S., Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains, Nonlinear Theory and Its Applications, IEICE, 4 (2013), 34–61.
K. Toyonaga, M. T. Nakao, and Y. Watanabe, Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators, J. Comput. Appl. Math. 147 (2002), no. 1, 175–190. MR 1931775, DOI 10.1016/S0377-0427(02)00431-4
Takuya Tsuchiya and Mitsuhiro T. Nakao, Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points, Japan J. Indust. Appl. Math. 14 (1997), no. 3, 357–372. MR 1475139, DOI 10.1007/BF03167389
Yoshitaka Watanabe and Mitsuhiro T. Nakao, Numerical verifications of solutions for nonlinear elliptic equations, Japan J. Indust. Appl. Math. 10 (1993), no. 1, 165–178. MR 1208187, DOI 10.1007/BF03167208
Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao, Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria, Nonlinear Anal. 28 (1997), no. 3, 577–587. MR 1420801, DOI 10.1016/0362-546X(95)00165-R
Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao, A numerical verification method of solutions for the Navier-Stokes equations, Developments in reliable computing (Budapest, 1998) Kluwer Acad. Publ., Dordrecht, 1999, pp. 347–357. MR 1744283
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao, and Takaaki Nishida, A numerical verification of nontrivial solutions for the heat convection problem, J. Math. Fluid Mech. 6 (2004), no. 1, 1–20. MR 2027752, DOI 10.1007/s00021-003-0077-3
Yoshitaka Watanabe, Michael Plum, and Mitsuhiro T. Nakao, A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow, ZAMM Z. Angew. Math. Mech. 89 (2009), no. 1, 5–18. MR 2492179, DOI 10.1002/zamm.200700158
Yoshitaka Watanabe, A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid, J. Comput. Appl. Math. 223 (2009), no. 2, 953–966. MR 2478893, DOI 10.1016/j.cam.2008.03.034
Watanabe, Y., Nagatou, K., Plum, M., and Nakao, M.T., A Computer-assisted Stability Proof for the Orr-Sommerfeld Problem with Poiseuille Flow, Nonlinear Theory and Its Applications, IEICE, 2 (2011), 123-127.
Nobito Yamamoto, A numerical verification method for solutions of boundary value problems with local uniqueness by Banach’s fixed-point theorem, SIAM J. Numer. Anal. 35 (1998), no. 5, 2004–2013. MR 1639986, DOI 10.1137/S0036142996304498
Nobito Yamamoto and Mitsuhiro T. Nakao, Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, Numer. Math. 65 (1993), no. 4, 503–521. MR 1231898, DOI 10.1007/BF01385765
Nobito Yamamoto and Mitsuhiro T. Nakao, Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element, J. Comput. Appl. Math. 60 (1995), no. 1-2, 271–279. Linear/nonlinear iterative methods and verification of solution (Matsuyama, 1993). MR 1354660, DOI 10.1016/0377-0427(94)00096-J
Eberhard Zeidler, Nonlinear functional analysis and its applications. I, Springer-Verlag, New York, 1986. Fixed-point theorems; Translated from the German by Peter R. Wadsack. MR 816732, DOI 10.1007/978-1-4612-4838-5
Piotr Zgliczyński, Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs, Topol. Methods Nonlinear Anal. 36 (2010), no. 2, 197–262. MR 2788972