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
Bibliographic Information
- Mitsuhiro T. Nakao
- Affiliation: Institute of Mathematics for Industry, Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
- Email: mtnakao@imi.kyushu-u.ac.jp
- Published electronically: March 17, 2017
- © Copyright 2017 American Mathematical Society
- Journal: Sugaku Expositions 30 (2017), 89-109
- MSC (2010): Primary 35J61, 37M20, 65G99, 65M15, 65M60, 65N15
- DOI: https://doi.org/10.1090/suga/419
- MathSciNet review: 3676729