-
Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
Authors:
Toshimasa Ishige,
Akitoshi Takayasu
Abstract:
In this paper, we present a numerical method for rigorously finding the monodromy of linear differential equations. Beginning at a base point where certain particular solutions are explicitly given by series expansions, we first compute the value of fundamental system of solutions using interval arithmetic to rigorously control truncation and rounding errors. The solutions are then analytically co…
▽ More
In this paper, we present a numerical method for rigorously finding the monodromy of linear differential equations. Beginning at a base point where certain particular solutions are explicitly given by series expansions, we first compute the value of fundamental system of solutions using interval arithmetic to rigorously control truncation and rounding errors. The solutions are then analytically continued along a prescribed contour encircling the singular points of the differential equation via a rigorous integrator. From these computations, the monodromy matrices are derived, generating the monodromy group of the differential equation. This method establishes a mathematically rigorous framework for addressing the monodromy problem in differential equations. For a notable example, we apply our computer-assisted proof method to resolve the monodromy problem for a Picard--Fuchs differential equation associated with a family of K3 toric hypersurfaces.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
Authors:
Matthieu Cadiot,
Jonathan Jaquette,
Jean-Philippe Lessard,
Akitoshi Takayasu
Abstract:
In this paper, we achieve three primary objectives related to the rigorous computational analysis of nonlinear PDEs posed on complex geometries such as disks and cylinders. First, we introduce a validated Matrix Multiplication Transform (MMT) algorithm, analogous to the discrete Fourier transform, which offers a reliable framework for evaluating nonlinearities in spectral methods while effectively…
▽ More
In this paper, we achieve three primary objectives related to the rigorous computational analysis of nonlinear PDEs posed on complex geometries such as disks and cylinders. First, we introduce a validated Matrix Multiplication Transform (MMT) algorithm, analogous to the discrete Fourier transform, which offers a reliable framework for evaluating nonlinearities in spectral methods while effectively mitigating challenges associated with rounding errors. Second, we examine the Zernike polynomials, a spectral basis well-suited for problems on the disk, and highlight their essential properties. We further demonstrate how the MMT approach can be effectively employed to compute the product of truncated Zernike series, ensuring both accuracy and efficiency. Finally, we combine the MMT framework and Zernike series to construct computer-assisted proofs that establish the existence of solutions to two distinct nonlinear elliptic PDEs on the disk.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
Authors:
Gabriel William Duchesne,
Jean-Philippe Lessard,
Akitoshi Takayasu
Abstract:
In this paper, we introduce a general constructive method to compute solutions of initial value problems of semilinear parabolic partial differential equations on hyper-rectangular domains via semigroup theory and computer-assisted proofs. Once a numerical candidate for the solution is obtained via a finite dimensional projection, Chebyshev series expansions are used to solve the linearized equati…
▽ More
In this paper, we introduce a general constructive method to compute solutions of initial value problems of semilinear parabolic partial differential equations on hyper-rectangular domains via semigroup theory and computer-assisted proofs. Once a numerical candidate for the solution is obtained via a finite dimensional projection, Chebyshev series expansions are used to solve the linearized equations about the approximation from which a solution map operator is constructed. Using the solution operator (which exists from semigroup theory), we define an infinite dimensional contraction operator whose unique fixed point together with its rigorous bounds provide the local inclusion of the solution. Applying this technique for multiple time steps leads to constructive proofs of existence of solutions over long time intervals. As applications, we study the 3D/2D Swift-Hohenberg, where we combine our method with explicit constructions of trapping regions to prove global existence of solutions of initial value problems converging asymptotically to nontrivial equilibria. A second application consists of the 2D Ohta-Kawasaki equation, providing a framework for handling derivatives in nonlinear terms.
△ Less
Submitted 20 January, 2025; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II -- Dynamical Correspondence
Authors:
Hisatoshi Kodani,
Kaname Matsue,
Hiroyuki Ochiai,
Akitoshi Takayasu
Abstract:
In this paper, we provide a natural correspondence of eigenstructures of Jacobian matrices associated with equilibria for appropriately transformed two systems describing finite-time blow-ups for ODEs with quasi-homogeneity in an asymptotic sense. As a corollary, we see that asymptotic expansions of blow-ups proposed in Part I themselves provide a criterion of the existence of blow-ups with an int…
▽ More
In this paper, we provide a natural correspondence of eigenstructures of Jacobian matrices associated with equilibria for appropriately transformed two systems describing finite-time blow-ups for ODEs with quasi-homogeneity in an asymptotic sense. As a corollary, we see that asymptotic expansions of blow-ups proposed in Part I themselves provide a criterion of the existence of blow-ups with an intrinsic gap structure of stability information among two systems. Examples provided in Part I are revisited to show the above correspondence.
△ Less
Submitted 30 November, 2022; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Complex moment-based methods for differential eigenvalue problems
Authors:
Akira Imakura,
Keiichi Morikuni,
Akitoshi Takayasu
Abstract:
This paper considers computing partial eigenpairs of differential eigenvalue problems (DEPs) such that eigenvalues are in a certain region on the complex plane. Recently, based on a "solve-then-discretize" paradigm, an operator analogue of the FEAST method has been proposed for DEPs without discretization of the coefficient operators. Compared to conventional "discretize-then-solve" approaches tha…
▽ More
This paper considers computing partial eigenpairs of differential eigenvalue problems (DEPs) such that eigenvalues are in a certain region on the complex plane. Recently, based on a "solve-then-discretize" paradigm, an operator analogue of the FEAST method has been proposed for DEPs without discretization of the coefficient operators. Compared to conventional "discretize-then-solve" approaches that discretize the operators and solve the resulting matrix problem, the operator analogue of FEAST exhibits much higher accuracy; however, it involves solving a large number of ordinary differential equations (ODEs). In this paper, to reduce the computational costs, we propose operation analogues of Sakurai-Sugiura-type complex moment-based eigensolvers for DEPs using higher-order complex moments and analyze the error bound of the proposed methods. We show that the number of ODEs to be solved can be reduced by a factor of the degree of complex moments without degrading accuracy, which is verified by numerical results. Numerical results demonstrate that the proposed methods are over five times faster compared with the operator analogue of FEAST for several DEPs while maintaining almost the same high accuracy. This study is expected to promote the "solve-then-discretize" paradigm for solving DEPs and contribute to faster and more accurate solutions in real-world applications.
△ Less
Submitted 18 October, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh$\unicode{x2013}$Ritz procedure for generalized Hermitian eigenvalue problems
Authors:
Akira Imakura,
Keiichi Morikuni,
Akitoshi Takayasu
Abstract:
We propose a verified computation method for eigenvalues in a region and the corresponding eigenvectors of generalized Hermitian eigenvalue problems. The proposed method uses complex moments to extract the eigencomponents of interest from a random matrix and uses the Rayleigh$\unicode{x2013}$Ritz procedure to project a given eigenvalue problem into a reduced eigenvalue problem. The complex moment…
▽ More
We propose a verified computation method for eigenvalues in a region and the corresponding eigenvectors of generalized Hermitian eigenvalue problems. The proposed method uses complex moments to extract the eigencomponents of interest from a random matrix and uses the Rayleigh$\unicode{x2013}$Ritz procedure to project a given eigenvalue problem into a reduced eigenvalue problem. The complex moment is given by contour integral and approximated using numerical quadrature. We split the error in the complex moment into the truncation error of the quadrature and rounding errors and evaluate each. This idea for error evaluation inherits our previous Hankel matrix approach, whereas the proposed method enables verification of eigenvectors and requires half the number of quadrature points for the previous approach to reduce the truncation error to the same order. Moreover, the Rayleigh$\unicode{x2013}$Ritz procedure approach forms a transformation matrix that enables verification of the eigenvectors. Numerical experiments show that the proposed method is faster than previous methods while maintaining verification performance and works even for nearly singular matrix pencils and in the presence of multiple and nearly multiple eigenvalues.
△ Less
Submitted 25 October, 2022; v1 submitted 5 October, 2021;
originally announced October 2021.
-
Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
Authors:
Jonathan Jaquette,
Jean-Philippe Lessard,
Akitoshi Takayasu
Abstract:
In this paper, we consider the dynamics of solutions to complex-valued evolutionary partial differential equations (PDEs) and show existence of heteroclinic orbits from nontrivial equilibria to zero via computer-assisted proofs. We also show that the existence of unbounded solutions along unstable manifolds at the equilibrium follows from the existence of heteroclinic orbits. Our computer-assisted…
▽ More
In this paper, we consider the dynamics of solutions to complex-valued evolutionary partial differential equations (PDEs) and show existence of heteroclinic orbits from nontrivial equilibria to zero via computer-assisted proofs. We also show that the existence of unbounded solutions along unstable manifolds at the equilibrium follows from the existence of heteroclinic orbits. Our computer-assisted proof consists of three separate techniques of rigorous numerics: an enclosure of a local unstable manifold at the equilibria, a rigorous integration of PDEs, and a constructive validation of a trapping region around the zero equilibrium.
△ Less
Submitted 31 August, 2021;
originally announced September 2021.
-
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature
Authors:
Jean-Philippe Lessard,
Kaname Matsue,
Akitoshi Takayasu
Abstract:
In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, time-scale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameteriz…
▽ More
In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, time-scale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameterization method for invariant manifolds), these blow-up solutions are obtained as trajectories on local stable manifolds of hyperbolic saddle equilibria at infinity. With the help of computer-assisted proofs, global trajectories on stable manifolds, inducing blow-up solutions, provide a global picture organized by global-in-time solutions and blow-up solutions simultaneously. Using the proposed methodology, intrinsic features of saddle-type blow-ups are observed: locally smooth dependence of blow-up times on initial points, level set distribution of blow-up times, and decomposition of the phase space playing a role as separatrixes among solutions, where the magnitude of initial points near those blow-ups does not matter for asymptotic behavior. Finally, singular behavior of blow-up times on initial points belonging to different family of blow-up solutions is addressed.
△ Less
Submitted 30 October, 2022; v1 submitted 23 March, 2021;
originally announced March 2021.
-
Global dynamics in nonconservative nonlinear Schrödinger equations
Authors:
Jonathan Jaquette,
Jean-Philippe Lessard,
Akitoshi Takayasu
Abstract:
In this paper, we study the global dynamics of a class of nonlinear Schrödinger equations using perturbative and non-perturbative methods. We prove the semi-global existence of solutions for initial conditions close to constant. That is, solutions will exist for all positive time or all negative time. The existence of an open set of initial data which limits to zero in both forward and backward ti…
▽ More
In this paper, we study the global dynamics of a class of nonlinear Schrödinger equations using perturbative and non-perturbative methods. We prove the semi-global existence of solutions for initial conditions close to constant. That is, solutions will exist for all positive time or all negative time. The existence of an open set of initial data which limits to zero in both forward and backward time is also demonstrated. This result in turn forces the non-existence of any real-analytic conserved quantities. For the quadratic case, we prove the existence of two (infinite) families of nontrivial unstable equilibria and prove the existence of heteroclinic orbits limiting to the nontrivial equilibria in backward time and to zero in forward time. By a time reversal argument, we also obtain heteroclinic orbits limiting to the nontrivial equilibria in forward time and to zero in backward time. The proofs for the quadratic equation are computer-assisted and rely on three separate ingredients: an enclosure of a local unstable manifold at the equilibria, a rigorous integration of the flow (starting from the unstable manifold) and a proof that the solution enters a validated stable set (hence showing convergence to zero).
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Rigorous numerics for nonlinear heat equations in the complex plane of time
Authors:
Akitoshi Takayasu,
Jean-Philippe Lessard,
Jonathan Jaquette,
Hisashi Okamoto
Abstract:
In this paper, we introduce a method for computing rigorous local inclusions of solutions of Cauchy problems for nonlinear heat equations for complex time values. Using a solution map operator, we construct a simplified Newton operator and show that it has a unique fixed point. The fixed point together with its rigorous bounds provides the local inclusion of the solution of the Cauchy problem. The…
▽ More
In this paper, we introduce a method for computing rigorous local inclusions of solutions of Cauchy problems for nonlinear heat equations for complex time values. Using a solution map operator, we construct a simplified Newton operator and show that it has a unique fixed point. The fixed point together with its rigorous bounds provides the local inclusion of the solution of the Cauchy problem. The local inclusion technique is then applied iteratively to compute solutions over long time intervals. This technique is used to prove the existence of a branching singularity in the nonlinear heat equation. Finally, we introduce an approach based on the Lyapunov-Perron method to calculate part of a center-stable manifold and prove that an open set of solutions of the Cauchy problem converge to zero, hence yielding the global existence of the solutions in the complex plane of time.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems
Authors:
Akira Imakura,
Keiichi Morikuni,
Akitoshi Takayasu
Abstract:
We propose a verified computation method for partial eigenvalues of a Hermitian generalized eigenproblem. The block Sakurai-Sugiura Hankel method, a contour integral-type eigensolver, can reduce a given eigenproblem into a generalized eigenproblem of block Hankel matrices whose entries consist of complex moments. In this study, we evaluate all errors in computing the complex moments. We derive a t…
▽ More
We propose a verified computation method for partial eigenvalues of a Hermitian generalized eigenproblem. The block Sakurai-Sugiura Hankel method, a contour integral-type eigensolver, can reduce a given eigenproblem into a generalized eigenproblem of block Hankel matrices whose entries consist of complex moments. In this study, we evaluate all errors in computing the complex moments. We derive a truncation error bound of the quadrature. Then, we take numerical errors of the quadrature into account and rigorously enclose the entries of the block Hankel matrices. Each quadrature point gives rise to a linear system, and its structure enables us to develop an efficient technique to verify the approximate solution. Numerical experiments show that the proposed method outperforms a standard method and infer that the proposed method is potentially efficient in parallel.
△ Less
Submitted 24 September, 2019; v1 submitted 12 April, 2019;
originally announced April 2019.
-
Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
Authors:
Kaname Matsue,
Akitoshi Takayasu
Abstract:
Our concerns here are blow-up solutions for ODEs with exponential nonlinearity from the viewpoint of dynamical systems and their numerical validations. As an example, the finite difference discretization of $u_t = u_{xx} + e^{u^m}$ with the homogeneous Dirichlet boundary condition is considered. Our idea is based on compactification of phase spaces and time-scale desingularization as in previous w…
▽ More
Our concerns here are blow-up solutions for ODEs with exponential nonlinearity from the viewpoint of dynamical systems and their numerical validations. As an example, the finite difference discretization of $u_t = u_{xx} + e^{u^m}$ with the homogeneous Dirichlet boundary condition is considered. Our idea is based on compactification of phase spaces and time-scale desingularization as in previous works. In the present case, treatment of exponential nonlinearity is the main issue. Fortunately, under a kind of exponential homogeneity of vector field, we can treat the problem in the same way as polynomial vector fields. In particular, we can characterize and validate blow-up solutions with their blow-up times for differential equations with such exponential nonlinearity in the similar way to previous works. A series of technical treatments of exponential nonlinearity in blow-up problems is also shown with concrete validation examples.
△ Less
Submitted 5 February, 2019;
originally announced February 2019.
-
Rigorous numerical computations for 1D advection equations with variable coefficients
Authors:
Akitoshi Takayasu,
Suro Yoon,
Yasunori Endo
Abstract:
This paper provides a methodology of verified computing for solutions to 1-dimensional advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few results of verified numerical computations to initial-boundary value problems of hyperbolic PDEs. Our methodology is based on the spectral method and semigroup…
▽ More
This paper provides a methodology of verified computing for solutions to 1-dimensional advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few results of verified numerical computations to initial-boundary value problems of hyperbolic PDEs. Our methodology is based on the spectral method and semigroup theory. The provided method in this paper is regarded as an efficient application of semigroup theory in a sequence space associated with the Fourier series of unknown functions. This is a foundational approach of verified numerical computations for hyperbolic PDEs. Numerical examples show that the rigorous error estimate showing the well-posedness of the exact solution is given with high accuracy and high speed.
△ Less
Submitted 22 July, 2018; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Numerical validation of blow-up solutions with quasi-homogeneous compactifications
Authors:
Kaname Matsue,
Akitoshi Takayasu
Abstract:
We provide a numerical validation method of blow-up solutions for finite dimensional vector fields admitting asymptotic quasi-homogeneity at infinity. Our methodology is based on quasi-homogeneous compactifications containing a new compactification, which shall be called a quasi-parabolic compactification. Divergent solutions including blow-up solutions then correspond to global trajectories of as…
▽ More
We provide a numerical validation method of blow-up solutions for finite dimensional vector fields admitting asymptotic quasi-homogeneity at infinity. Our methodology is based on quasi-homogeneous compactifications containing a new compactification, which shall be called a quasi-parabolic compactification. Divergent solutions including blow-up solutions then correspond to global trajectories of associated vector fields with appropriate time-variable transformation tending to equilibria on invariant manifolds representing infinity. We combine standard methodology of rigorous numerical integration of differential equations with Lyapunov function validations around equilibria corresponding to divergent directions, which yields rigorous upper and lower bounds of blow-up times as well as rigorous profile enclosures of blow-up solutions.
△ Less
Submitted 19 July, 2017;
originally announced July 2017.
-
Accurate method of verified computing for solutions of semilinear heat equations
Authors:
Akitoshi Takayasu,
Makoto Mizuguchi,
Takayuki Kubo,
Shin'ichi Oishi
Abstract:
We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqueness of the exact solution in a neighborhood of a numerically computed approximate solution. Our method is based on a fixed-point formulation using the evolution operator, an iterative numerical verification scheme to e…
▽ More
We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqueness of the exact solution in a neighborhood of a numerically computed approximate solution. Our method is based on a fixed-point formulation using the evolution operator, an iterative numerical verification scheme to extend a time interval in which the validity of the solution can be verified, and rearranged error estimates for avoiding the propagation of an overestimate. As a result, compared with the previous verification method using the analytic semigroup, our method can enclose the solution for a longer time. Some numerical examples are presented to illustrate the efficiency of our verification method.
△ Less
Submitted 30 July, 2017; v1 submitted 30 November, 2016;
originally announced November 2016.
-
Numerical validation of blow-up solutions of ordinary differential equations
Authors:
Akitoshi Takayasu,
Kaname Matsue,
Takiko Sasaki,
Kazuaki Tanaka,
Makoto Mizuguchi,
Shin'ichi Oishi
Abstract:
This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the ap…
▽ More
This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the applicability of our method.
△ Less
Submitted 7 November, 2016; v1 submitted 9 June, 2016;
originally announced June 2016.
-
Verified computations for hyperbolic 3-manifolds
Authors:
Neil Hoffman,
Kazuhiro Ichihara,
Masahide Kashiwagi,
Hidetoshi Masai,
Shin'ichi Oishi,
Akitoshi Takayasu
Abstract:
For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over existing algorithms as they are faster, while…
▽ More
For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over existing algorithms as they are faster, while accounting for error accumulation in a more direct and user friendly way.
△ Less
Submitted 29 November, 2013; v1 submitted 12 October, 2013;
originally announced October 2013.
