Research Interests
Numerical analysis, rigorous numerics, computer-assisted proofs, partial differential equations, delay differential equations, ordinary differential equations, differential equations in the complex domain, blow-up solution of differential equations, infinite dimensional dynamical systems, fixed point methods, spectral methods, finite element method, semigroup theory.
Travel Schedule
2025
- Jul. 7-18, Computer Assisted Proofs in Applied Mathematics (SLMath), Berkeley, CA, US.
- May 11-15, SIAM DS25, Denver, Colorado, US.
- Mar. 18-21, 日本数学会 2025年度年会, 早稲田大学 早稲田キャンパス.
- Feb. 3-7, AIM SQuaREs, Caltech, CA, US.
2024
- Dec. 27, 日本応用数理学会 第16回 三部会連携「応用数理セミナー」, 東京大学駒場キャンパス (ハイブリッド開催).
- Dec. 5-7, 2024年度応用数学合同研究集会, 龍谷大学瀬田キャンパス.
- Sep. 9-13, Workshop - Computer-assisted proofs in nonlinear analysis, CRM / Université de Montréal, Canada.
- Sep. 5-Nov. 15, Computational Dynamics: Analysis, Topology & Data, CRM / Université de Montréal, Canada.
- Aug. 7-9, SWoPP 2024, あわぎんホール, 徳島県徳島市.
- Jul. 26, 京都応用力学系セミナー, 京都大学吉田キャンパス.
- Jun. 25-27, Workshop on Numerical Methods and Analysis for PDEs, Shenzhen, China.
- Jun. 10-14, Equadiff 2024, Karlstad, Sweden.
- Mar. 22-25, SCIE2024, OKINAWA PLUS, Naha, Japan.
- Mar. 17-20, 日本数学会 2024年度年会, 大阪公立大学 杉本キャンパス.
- Mar. 7, 日本応用数理学会 若手の会 第9回学生研究発表会, アオーレ長岡, 新潟.
- Mar. 4-6, 日本応用数理学会 第20回 研究部会連合発表会, 長岡技術科学大学.
- Feb. 21, 第67回拡大MCMEセミナー, 武蔵野⼤学有明キャンパス.
Recent papers
- M. Cadiot, J. Jaquette, J.-P. Lessard, and A. Takayasu:
"Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs", submitted 2024. (arXiv:2411.18361 [math.NA])
- S. Kondo, A. Takayasu:
"Rigorous numerics via interval Chebyshev interpolation" (in Japanese), Transactions of the Japan Society for Industrial and Applied Mathematics, Vol. 34, No. 3, pp. 98-126, September 2024. (DOI:10.11540/jsiamt.34.3_98)
Code associated to the paper is available here.
- G. W. Duchesne, J.-P. Lessard, and A. Takayasu:
"A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory", submitted 2024. (arXiv:2402.00406 [math.AP])
- H. Kodani, K. Matsue, H. Ochiai, and A. Takayasu:
"Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. II -- Dynamical Correspondence", submitted 2022. (arXiv:2211.06868 [math.CA])
- C.-M. Chen, T. Ishige, S. P. Kim, A. Takayasu, and C.-Y. Wei:
"Monodromy Approach to Pair Production of Charged Black Holes and Electric Fields", Chin. J. Phys., Vol. 86, pp. 255-268, December 2023. (DOI:10.1016/j.cjph.2023.10.007, arXiv:2210.14792 [hep-th])
- A. Imakura, K. Morikuni, and A. Takayasu:
"Complex moment-based methods for differential eigenvalue problems", Numer. Algor., Vol. 92, pp. 693-721, January 2023 (available online Dec. 2022).
(DOI:10.1007/s11075-022-01456-y, arXiv:2205.00971)
- A. Imakura, K. Morikuni, and A. Takayasu:
"Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems", J. Comput. Appl. Math., Vol. 424, 114994, 18 pages, May 2023 (available online Dec. 2022). (DOI:10.1016/j.cam.2022.114994, arXiv:2110.01822)
- J. Jaquette, J.-P. Lessard, and A. Takayasu:
"Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity", Commun. Nonlinear Sci. Numer. Simul., Vol. 107, 106188, 14 pages, April 2022 (available online Dec. 2021). (DOI:10.1016/j.cnsns.2021.106188, arXiv:2109.00159)
Code associated to the paper is available here.
- J.-P. Lessard, K. Matsue, and A. Takayasu:
"Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature", J. Nonlinear Sci., Vol. 33, 46, 76 pages, March 2023 (available online March 2023). (DOI:10.1007/s00332-023-09900-6, arXiv:2103.12390)
Code associated to the paper is available here.
- J. Jaquette, J.-P. Lessard, and A. Takayasu:
"Global dynamics in nonconservative nonlinear Schrödinger equations", Advances in Mathematics, Vol. 398, 108234, 70 pages, March 2022 (available online Feb. 2022). (DOI:10.1016/j.aim.2022.108234, arXiv:2012.09734)
Code associated to the paper is available here.
- A. Takayasu, J.-P. Lessard, J. Jaquette, and H. Okamoto:
"Rigorous numerics for nonlinear heat equations in the complex plane of time", Numer. Math., Vol. 151, pp. 693-750, July 2022 (available online May 2022). (DOI:10.1007/s00211-022-01291-2, arXiv:1910.12472)
Code associated to the paper is available here.
- A. Imakura, K. Morikuni, and A. Takayasu:
"Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems", J. Comput. Appl. Math., Vol. 369, 112543, 11 pages, May 2020 (available online Oct. 2019). (DOI:10.1016/j.cam.2019.112543, arXiv:1904.06277)
- K. Matsue and A. Takayasu:
"Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity", J. Comput. Appl. Math., Vol. 374, 112607, 11 pages, August 2020 (available online Jan. 2020). (DOI:10.1016/j.cam.2019.112607, arXiv:1902.01842)
Code associated to the paper is available here.
- A. Takayasu, S. Yoon, and Y. Endo:
"Rigorous numerical computations for 1D advection equations with variable coefficients", Japan J. Indust. Appl. Math., Vol. 36, No. 2, pp. 357-384, July 2019 (available online Feb. 2019). (DOI:10.1007/s13160-019-00345-7, arXiv:1803.02960)
Code associated to the paper is available here.
- K. Matsue and A. Takayasu:
"Numerical validation of blow-up solutions with quasi-homogeneous compactifications", Numer. Math., Vol. 145, pp. 605-654, July 2020 (available online Jun. 2020). (DOI:10.1007/s00211-020-01125-z, arXiv:1707.05936)
Code associated to the paper is available here.
Google Scholar Citations
Codes
