Registered Data

[02448] Verified Numerical Computations and Applications

  • Session Date & Time :
    • 02448 (1/4) : 2C (Aug.22, 13:20-15:00)
    • 02448 (2/4) : 2D (Aug.22, 15:30-17:10)
    • 02448 (3/4) : 2E (Aug.22, 17:40-19:20)
    • 02448 (4/4) : 3C (Aug.23, 13:20-15:00)
  • Type : Proposal of Minisymposium
  • Abstract : In recent decades, the concept of verified numerical computations and computer-assisted proofs is gaining increasing attention and importance. These methods prove mathematically rigorous results using a combination of analytical arguments such as fixed-point theorems and numerical computations. This minisymposium focuses on some general tools of accurate and verified numerical computations for the solution of linear and nonlinear systems and eigenvalue problems together with their applications to the proof of solvability and uniqueness for ordinary and partial differential equations. New developments in that area will be presented.
  • Organizer(s) : Takeshi Ogita, Katsuhisa Ozaki, Siegfried M. Rump, Kazuaki Tanaka
  • Classification : 65G20, 65G40, Verified Numerical Computations
  • Speakers Info :
    • Juergen Garloff (University Konstanz)
    • Shin'ichi Oishi (Waseda University)
    • Marko Lange (Hamburg University of Technology)
    • Katsuhisa Ozaki (Shibaura Institute of Technology)
    • Romeo Molina (LIP6, Sorbonne Universite and IJCLab, CNRS)
    • Takeshi Terao (RIKEN Center for Computational Science)
    • Taisei Asai (Waseda University)
    • Takuma Kimura (Saga University)
    • Kazuaki Tanaka (Waseda University)
    • Yoshitaka Watanabe (Kyushu University)
    • Ryoki Endo (Niigata University)
    • Kenta Kobayashi (Hitotsubashi University)
    • Taiga Nakano (Napson. Co. Ltd. (Niigata University))
    • Kouta Sekine (Chiba Institute of Technology)
  • Talks in Minisymposium :
    • [02902] High relative accuracy computing with the Cauchon algorithm
      • Author(s) :
        • Juergen Garloff (University Konstanz)
        • Mohammad Adm (Palestine Polytechnic University Hebron)
        • Fatima Rasheed (Palestine Polytechnic University Hebron)
      • Abstract : We present the condensed form of the so-called Cauchon Algorithm and reformulate the computations in such a way that they can be performed without any subtraction of numbers of equal sign. This provides the basis for an algorithm needing O(n³) arithmetic operations for the computation of all eigenvalues of an n-by-n nonsingular totally nonnegative matrix, i.e., a matrix having all its minors nonnegative, with guaranteed high relative accuracy, independently of the condition number of the matrix.
    • [03173] Verified Numerical Computations for multiple solutions of the Henon equation
      • Author(s) :
        • Taisei Asai (Waseda University)
        • Kazuaki Tanaka (Waseda University)
        • Shin'ichi Oishi (Waseda University)
      • Abstract : In this talk, we describe a numerical verification of the Henon equation in which some asymmetric solutions arise due to the nonlinear term. The existence of multiple solutions is verified on various domains, and the relationship between the domain and the symmetry of the solution will be discussed.
    • [03658] Floating-point matrices with specified solutions for linear algebra problems
      • Author(s) :
        • Katsuhisa Ozaki (Shibaura Institute of Technology)
        • Yuki Uchino (Shibaura Institute of Technology)
        • Takeshi Terao (Kyushu University)
      • Abstract : This research aims to rigorously verify the accuracy of the numerical results for numerical linear algebra problems. If an exact solution to a problem is known in advance, we can observe the relative error of the computed result. We proposed methods that generate a test problem based on an error-free transformation of floating-point numbers. We focus on liner systems, eigenvalue decomposition, singular value decomposition, and least squares problems with specified solutions.
    • [03685] A Numerical verification method for a self-similar solution to the linear elliptic differential equation
      • Author(s) :
        • Kouta Sekine (Chiba Institute of Technology)
        • Taiyou Fuse (Chiba Institute of Technology)
      • Abstract : In this talk, we propose a numerical verification method for self-similar solutions of linear partial differential equations on \({\mathbb R}\) using the Galerkin approximation with extended Hermite polynomials. In particular, we derive a Gaussian quadrature method for extended Hermite polynomials to errors in numerical quadrature over infinite interval. Also, we also introduce the projection error constant for obtaining the discretisation error of the Hermite-Galerkin approximation.
    • [04321] A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations
      • Author(s) :
        • Yoshitaka Watanabe (Kyushu University)
        • Kaori Nagatou (Karlsruhe Institute of Technology)
        • Michael Plum (Karlsruhe Institute of Technology)
        • Birgit Schörkhuber (University of Innsbruck)
        • Mitsuhiro T. Nakao (Waseda University)
      • Abstract : An existence proof with its specific shape of a non-trivial solution of a nonlinear ordinary differential equation involved with self-similar blowup in three-dimensional wave equations is presented. The proof is computer-assisted based on a fixed-point and Newton-type formulation, and the result takes into account the effects of rounding errors of floating-point arithmetic in computer.
    • [04361] Verified computation for shape derivative of the Laplacian eigenvalues
      • Author(s) :
        • Ryoki Endo (Niigata University)
        • Xuefeng Liu (Niigata University)
      • Abstract : The shape derivative of Laplacian eigenvalues with respect to domain deformations was theoretically investigated by Hadamard in the early 20th century. However, the rigorous computation of these derivatives is not an easy task, since there exists the singularity for repeated eigenvalues. In this study, we propose a verified computation method for the shape derivative of Laplacian eigenvalues using guaranteed computation of both eigenvalues and eigenfunctions.
    • [04568] Constructive error estimates for a full-discretized periodic solution of heat equation
      • Author(s) :
        • Takuma Kimura (Saga University)
        • Teruya Minamoto (Saga University)
        • Mitsuhiro T. Nakao (Waseda University)
      • Abstract : In this talk, we consider the constructive a priori error estimates for a full discrete numerical solution of the heat equation with time-periodic condition; $\frac{\partial u}{\partial t}-\nu\Delta u=f(x,t)$ in $\Omega \times J$, $u(x,t)=0$ on $\partial\Omega \times J$, $u(x,0)=u(x,T)$ on $\Omega$. Our numerical scheme is based on the finite element semi-discretization in space direction combined with the Fourier expansion in time. Several numerical examples will be shown to illustrate the theoretical results.
    • [05029] Error estimation for the FEM solution with a few bad elements
      • Author(s) :
        • Kenta Kobayashi (Hitotsubashi University)
      • Abstract : In conventional error analysis for the finite element method, even one bad element results in poor error estimation. However, numerical results suggest that a few bad elements do not lead to an increase in error. We have provided theoretical proof for this fact, together with the error estimation, that under certain conditions, the presence of a few bad elements does not worsen the error of the finite element method.
    • [05276] Lower Bounds for Smallest Singular-Values of Asymptotic Diagonal Dominant Matrices
      • Author(s) :
        • Shin'ichi Oishi (Waseda University)
      • Abstract : This article presents three classes of real square matrices. They are models of coefficient matrices of linearized Galerkin's equations of first order nonlinear delay differential equations with smooth nonlinearity. This paper shows results of computer experiments stating that the minimum singular values of these matrices are unchanged even if orders of matrices are increased. A theorem is presented based on the Schur complement. Through it, tight lower bounds are derived for the minimum singular values of such three matrices. It is proved that these lower bounds are unchanged even if orders of matrices are increased.
    • [05290] Rigorous solution-enclosures of elliptic boundary value problems between piecewise linear functions
      • Author(s) :
        • Kazuaki Tanaka (Waseda University)
      • Abstract : Sub- and super-solutions are useful for obtaining stable solutions of elliptic boundary value problems. However, their conventional definition requires smoothness, which makes it difficult to construct sub- and super-solutions using piecewise linear functions. To overcome this issue, we propose a definition that uses a variational inequality and constrained test functions. We show that the generalized sub- and super-solutions enclose the desired solutions, and that even a simple difference method can construct sub- and super-solutions that enclose the true solutions.