Solving nonlinear parabolic problems with result verification. I: One- space dimensional case. (English) Zbl 0744.65065
Numerical methods based on a finite element approximation are proposed for proving the existence of a weak solution for a parabolic initial value problem.
Reviewer: I.Evzerov (Kiev)
MSC:
| 65M60 | Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs |
| 65M15 | Error bounds for initial value and initial-boundary value problems involving PDEs |
| 35K55 | Nonlinear parabolic equations |
Keywords:
nonlinear parabolic problems with result verification; error estimates; fixed point theorem; finite element; weak solution; parabolic initial value problemReferences:
| [1] | Axelsson, O.; Barker, V. A., Finite Element Solution of Boundary Value Problems (1984), Academic Press: Academic Press Orlando · Zbl 0537.65072 |
| [2] | Grisvard, P., Elliptic Problems in Nonsmooth Domains (1983), Pitman: Pitman Berlin · Zbl 0695.35060 |
| [3] | Kaucher, E. W., Validating computation in a function space, (Moore, R. E., Reliability in computing (1988), Academic Press: Academic Press San Diego), 403-425 · Zbl 0659.65058 |
| [4] | Kaucher, E. W.; Miranker, W. L., Self-validating Numerics for Function Space Problems (1984), Academic Press: Academic Press New York · Zbl 0548.65028 |
| [5] | Kedem, G., A posteriori bounds for two-point boundary value problems, SIAM J. Numer. Anal., 18, 431-448 (1982) · Zbl 0469.65062 |
| [6] | Kulisch, U., The arithmetic of the digital computer: A new approach, SIAM Rev., 28, 1-40 (1986) · Zbl 0597.65037 |
| [7] | Kulisch, U.; Miranker, W. L., A New Approach to Scientific Computation (1983), Academic Press: Academic Press New York · Zbl 0538.00023 |
| [8] | Kulisch, U.; Stetter, H. J., Scientific Computation with Automatic Result Verification (1988), Springer: Springer Wien · Zbl 0646.00013 |
| [9] | Lanford, O. E., Computer assisted proofs in analysis, (Proc. Internat. Congress of Mathematicians (1986), Amer. Mathematical Soc: Amer. Mathematical Soc Providence, RI), 1385-1394, Berkeley, CA, 1987 · Zbl 0676.65039 |
| [10] | Lions, J. L.; Magenes, E., Non-homogeneous Boundary Value Problems and Applications (1972), Springer: Springer Berlin · Zbl 0223.35039 |
| [11] | Lohner, R. J., Enclosing the solution of ordinary initial and boundary problems, (Kaucher, E. W., Computerarithmetic (1987), Teubner: Teubner Stuttgart) |
| [12] | Luskin, M.; Rannacher, R., On the smoothing property of the Galerkin method for parabolic equations, SIAM J. Numer. Anal., 19, 93-113 (1981) · Zbl 0483.65064 |
| [13] | Nakao, M. T., A numerical approach to the proof of existence of solutions for elliptic problems, Japan J. Appl. Math., 5, 313-332 (1988) · Zbl 0694.35051 |
| [14] | (North-Holland Math. Stud., 160 (1989), Kinokuniya/North-Holland: Kinokuniya/North-Holland Tokyo/Amsterdam), 101-120 |
| [15] | Nakao, M. T., A numerical approach to the proof of existence of solutions for elliptic problems II, Japan J. Appl. Math., 5, 477-488 (1990) · Zbl 0717.35019 |
| [16] | M.T. Nakao, A numerical Verification method for the existence of weak theory solutions for nonlinear BVP, J. Math. Anal. Appl.; M.T. Nakao, A numerical Verification method for the existence of weak theory solutions for nonlinear BVP, J. Math. Anal. Appl. |
| [17] | Nickel, K., Using interval methods for the numerical solution ODE’s, Z. Angew. Math. Mech., 66, 513-523 (1986) · Zbl 0619.65063 |
| [18] | Rump, S. M., Solving nonlinear systems with least significant bit accuracy, Computing, 29, 183-200 (1982) · Zbl 0485.65036 |
| [19] | Schröder, J., A method for producing verified results for two-point boundary value problems, Computing Suppl., 6, 9-22 (1988) · Zbl 0658.65071 |
| [20] | Schultz, M. H., Spline Analysis (1973), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ · Zbl 0333.41009 |
| [21] | Temam, R., Navier-Stokes Equations (1977), North-Holland: North-Holland Amsterdam · Zbl 0335.35077 |
| [22] | Zeidler, E., Nonlinear Functional Analysis and its Applications I (1986), Springer: Springer New York · Zbl 0583.47050 |
| [23] | IBM High-accuracy arithmetic subroutine library (ACRITH), (Program description and user’s guide (1986)), SC 33-6164-02 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
