-
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
Authors:
Xuefeng Liu,
Mitsuhiro T. Nakao,
Shin'ichi Oishi
Abstract:
This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton iteration exists around the approximate solution through rigorous computation and error estimation. The explicit values of quantities required by applying the fixed poi…
▽ More
This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton iteration exists around the approximate solution through rigorous computation and error estimation. The explicit values of quantities required by applying the fixed point theorem are obtained by utilizing newly developed quantitative error estimation for finite element solutions to boundary value problems and eigenvalue problems of the Stokes equation.
△ Less
Submitted 6 June, 2021; v1 submitted 11 January, 2021;
originally announced January 2021.
-
A new formulation for the numerical proof of the existence of solutions to elliptic problems
Authors:
Kouta Sekine,
Mitsuhiro T. Nakao,
Shin'ichi Oishi
Abstract:
Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of PDEs, the original problem is transformed into the infinite Newton-type fixed point equation $w = - {\mathcal L}^{-1} {\mathcal F}(\hat{u}) + {\mathcal L}^{-1} {\mathcal G}(w)$, where ${\mathcal L}$ is a linear…
▽ More
Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of PDEs, the original problem is transformed into the infinite Newton-type fixed point equation $w = - {\mathcal L}^{-1} {\mathcal F}(\hat{u}) + {\mathcal L}^{-1} {\mathcal G}(w)$, where ${\mathcal L}$ is a linearized operator, ${\mathcal F}(\hat{u})$ is a residual, and ${\mathcal G}(w)$ is a local Lipschitz term. Therefore, the estimations of $\| {\mathcal L}^{-1} {\mathcal F}(\hat{u}) \|$ and $\| {\mathcal L}^{-1}{\mathcal G}(w) \|$ play major roles in the verification procedures. In this paper, using a similar concept as the `Schur complement' for matrix problems, we represent the inverse operator ${\mathcal L}^{-1}$ as an infinite-dimensional operator matrix that can be decomposed into two parts, one finite dimensional and one infinite dimensional. This operator matrix yields a new effective realization of the infinite-dimensional Newton method, enabling a more efficient verification procedure compared with existing methods for the solution of elliptic PDEs. We present some numerical examples that confirm the usefulness of the proposed method. Related results obtained from the representation of the operator matrix as ${\mathcal L}^{-1}$ are presented in the appendix.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Constructive a priori error estimates for a full discrete approximation of periodic solutions for the heat equation
Authors:
Takuma Kimura,
Teruya Minamoto,
Mitsuhiro T. Nakao
Abstract:
We consider the constructive a priori error estimates for a full discrete numerical solution of the heat equation with time-periodic condition.
We consider the constructive a priori error estimates for a full discrete numerical solution of the heat equation with time-periodic condition.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
Numerical verification of solutions for nonlinear parabolic problems
Authors:
Kouji Hashimoto,
Takehiko Kinoshita,
Mitsuhiro T. Nakao
Abstract:
In this paper, we present a numerical verification method of solutions for nonlinear parabolic initial boundary value problems. Decomposing the problem into a nonlinear part and an initial value part, we apply Nakao's projection method, which is based on the full-discrete finite element method with constructive error estimates, to the nonlinear part and use the theoretical analysis for the heat eq…
▽ More
In this paper, we present a numerical verification method of solutions for nonlinear parabolic initial boundary value problems. Decomposing the problem into a nonlinear part and an initial value part, we apply Nakao's projection method, which is based on the full-discrete finite element method with constructive error estimates, to the nonlinear part and use the theoretical analysis for the heat equation to the initial value part, respectively. We show some verified examples for solutions of nonlinear problems from initial value to the neighborhood of the stationary solutions, which confirm us the actual effectiveness of our method.
△ Less
Submitted 14 January, 2020; v1 submitted 10 November, 2018;
originally announced November 2018.
-
Constructive error analysis of a full-discrete finite element method for the heat equation
Authors:
Kouji Hashimoto,
Mitsuhiro T. Nakao,
Takuma Kimura,
Teruya Minamoto
Abstract:
In this paper, we present a new full-discrete finite element method for the heat equation, and show the numerical stability of the method by verified computations. Since, in the error analysis, we use the constructive error estimates proposed ny Nakao et. all in 2013, this work is considered as an extention of that paper. We emphasize that concerned scheme seems to be a quite normal Galerkin metho…
▽ More
In this paper, we present a new full-discrete finite element method for the heat equation, and show the numerical stability of the method by verified computations. Since, in the error analysis, we use the constructive error estimates proposed ny Nakao et. all in 2013, this work is considered as an extention of that paper. We emphasize that concerned scheme seems to be a quite normal Galerkin method and easy to implement for evolutionary equations comparing with previous one. In the constructive error estimates, we effectively use the numerical computations with guaranteed accuracy.
△ Less
Submitted 12 October, 2018; v1 submitted 19 June, 2018;
originally announced June 2018.