• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Studies on verified numerical computations for nonlinear hyperbolic partial differential equations

Research Project

Project/Area Number 18K13453
Research Category

Grant-in-Aid for Early-Career Scientists

Allocation TypeMulti-year Fund
Review Section Basic Section 12040:Applied mathematics and statistics-related
Research InstitutionUniversity of Tsukuba

Principal Investigator

Akitoshi Takayasu  筑波大学, システム情報系, 助教 (60707743)

Project Period (FY) 2018-04-01 – 2023-03-31
Project Status Completed (Fiscal Year 2022)
Budget Amount *help
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2021: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2020: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2019: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2018: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords計算機援用証明 / 複素数値非線形熱方程式 / 非線形シュレディンガー方程式 / 一次元変数係数移流方程式 / Parameterization method / 厳密な数値求積 / 解の時間大域存在 / 双曲型偏微分方程式 / 放物型偏微分方程式 / 分散型偏微分方程式 / 零点探索問題 / 簡易ニュートン写像 / 発展作用素 / 精度保証付き数値計算 / 無限次元力学系 / 解の時間大域挙動 / スペクトル法 / Lyapunov-Perronの方法 / C0半群 / 解の数値的検証 / 数値解析
Outline of Final Research Achievements

Mathematical problems obtained by modeling natural phenomena are called mathematical models. Mathematical models are often formulated as partial differential equations (PDEs), and solving them mathematically and numerically to understand the behavior of unknown functions is a central research topic in the natural sciences. In this study, we have developed a computer-assisted proof method for a class of PDEs called hyperbolic PDEs, which appear in mathematical models of wave phenomena and quantum mechanics. Such a method proves that the solution of the initial boundary value problem exists in a neighborhood of the numerically computed approximate solution. This is called verified numerical computations, and is attracting attention as a modern approach to mathematical analysis of differential equations.

Academic Significance and Societal Importance of the Research Achievements

本研究成果は双曲型偏微分方程式を含むより広いクラスの偏微分方程式に対して、数値計算による証明手法を提供する。特に、解の挙動を無限次元力学系として捉え、各計算機援用証明手法により解の大域挙動を明らかにした研究成果は自然科学分野における数理モデルの開発や現象の解明に貢献している。物理の波動現象や量子力学をモデル化する際の偏微分方程式の解挙動を数学証明付きで理解することで、科学研究の進展や新たな技術・応用の開発に寄与し、社会の課題解決に役立つことが期待される。

Report

(6 results)
  • 2022 Annual Research Report   Final Research Report ( PDF )
  • 2021 Research-status Report
  • 2020 Research-status Report
  • 2019 Research-status Report
  • 2018 Research-status Report
  • Research Products

    (91 results)

All 2023 2022 2021 2020 2019 2018 Other

All Int'l Joint Research (9 results) Journal Article (12 results) (of which Int'l Joint Research: 8 results,  Peer Reviewed: 9 results,  Open Access: 9 results) Presentation (69 results) (of which Int'l Joint Research: 18 results,  Invited: 16 results) Book (1 results)

  • [Int'l Joint Research] McGill University(カナダ)

    • Related Report
      2022 Annual Research Report
  • [Int'l Joint Research] Boston University(米国)

    • Related Report
      2022 Annual Research Report
  • [Int'l Joint Research] McGill University(カナダ)

    • Related Report
      2021 Research-status Report
  • [Int'l Joint Research] Boston University(米国)

    • Related Report
      2021 Research-status Report
  • [Int'l Joint Research] Boston University(米国)

    • Related Report
      2020 Research-status Report
  • [Int'l Joint Research] McGill University(カナダ)

    • Related Report
      2020 Research-status Report
  • [Int'l Joint Research] McGill University(カナダ)

    • Related Report
      2019 Research-status Report
  • [Int'l Joint Research] Brandeis University(米国)

    • Related Report
      2019 Research-status Report
  • [Int'l Joint Research] McGill University(カナダ)

    • Related Report
      2018 Research-status Report
  • [Journal Article] Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature2023

    • Author(s)
      Lessard Jean-Philippe、Matsue Kaname、Takayasu Akitoshi
    • Journal Title

      Journal of Nonlinear Science

      Volume: 33 Issue: 3 Pages: 46-46

    • DOI

      10.1007/s00332-023-09900-6

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2022

    • Author(s)
      Jaquette Jonathan、Lessard Jean-Philippe、Takayasu Akitoshi
    • Journal Title

      Communications in Nonlinear Science and Numerical Simulation

      Volume: 107 Pages: 106188-106188

    • DOI

      10.1016/j.cnsns.2021.106188

    • Related Report
      2022 Annual Research Report 2021 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Rigorous numerics for nonlinear heat equations in the complex plane of time2022

    • Author(s)
      Takayasu Akitoshi、Lessard Jean-Philippe、Jaquette Jonathan、Okamoto Hisashi
    • Journal Title

      Numerische Mathematik

      Volume: 151 Issue: 3 Pages: 693-750

    • DOI

      10.1007/s00211-022-01291-2

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Complex moment-based methods for differential eigenvalue problems2022

    • Author(s)
      Imakura Akira、Morikuni Keiichi、Takayasu Akitoshi
    • Journal Title

      Numerical Algorithms

      Volume: 92 Issue: 1 Pages: 693-721

    • DOI

      10.1007/s11075-022-01456-y

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Global dynamics in nonconservative nonlinear Schr?dinger equations2022

    • Author(s)
      Jaquette Jonathan、Lessard Jean-Philippe、Takayasu Akitoshi
    • Journal Title

      Advances in Mathematics

      Volume: 398 Pages: 108234-108234

    • DOI

      10.1016/j.aim.2022.108234

    • Related Report
      2021 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] A geometric characterization of unstable blow-up solutions with computer-assisted proof2021

    • Author(s)
      Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu
    • Journal Title

      arXiv:2103.12390 [math.DS]

      Volume: -

    • Related Report
      2021 Research-status Report
    • Open Access / Int'l Joint Research
  • [Journal Article] Numerical validation of blow-up solutions with quasi-homogeneous compactifications2020

    • Author(s)
      K. Matsue and A. Takayasu
    • Journal Title

      Numerische Mathematik

      Volume: 145 Issue: 3 Pages: 605-654

    • DOI

      10.1007/s00211-020-01125-z

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] Rigorous numerics for nonlinear heat equations in the complex plane of time2020

    • Author(s)
      A. Takayasu, J.-P. Lessard, J. Jaquette, and H. Okamoto
    • Journal Title

      arXiv:1910.12472 [math.DS]

    • Related Report
      2020 Research-status Report
    • Open Access / Int'l Joint Research
  • [Journal Article] Global dynamics in nonconservative nonlinear Schr\"odinger equations2020

    • Author(s)
      J. Jaquette, J.-P. Lessard, and A. Takayasu
    • Journal Title

      arXiv:2012.09734 [math.AP]

    • Related Report
      2020 Research-status Report
    • Open Access / Int'l Joint Research
  • [Journal Article] Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems2020

    • Author(s)
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 369 Pages: 112543-112543

    • DOI

      10.1016/j.cam.2019.112543

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity"2020

    • Author(s)
      K. Matsue and A. Takayasu
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 374 Pages: 112607-112607

    • DOI

      10.1016/j.cam.2019.112607

    • Related Report
      2019 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Rigorous numerical computations for 1D advection equations with variable coefficients2019

    • Author(s)
      A. Takayasu, S. Yoon, and Y. Endo
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 36 Issue: 2 Pages: 357-384

    • DOI

      10.1007/s13160-019-00345-7

    • NAID

      120007133327

    • Related Report
      2019 Research-status Report 2018 Research-status Report
    • Peer Reviewed
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクス2023

    • Author(s)
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • Organizer
      日本数学会2023年度年会
    • Related Report
      2022 Annual Research Report
  • [Presentation] あるK3曲面族についてのPicard-Fuchs微分方程式のモノドロミーに対する精度保証付き数値計算2023

    • Author(s)
      石毛利昌, 高安亮紀
    • Organizer
      日本数学会2023年度年会
    • Related Report
      2022 Annual Research Report
  • [Presentation] ジブロック共重合体モデルの厳密な数値求積法2023

    • Author(s)
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessard
    • Organizer
      日本応用数理学会 第19回 研究部会連合発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 精度保証付き数値計算の実装環境の現状 - MATLAB, Julia, C++ -2023

    • Author(s)
      高安亮紀
    • Organizer
      第1回区間解析研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 常微分方程式の爆発解の漸近展開と無限遠ダイナミクスの対応2022

    • Author(s)
      松江要, 落合啓之, 小谷久寿, 高安亮紀
    • Organizer
      2022年度応用数学合同研究集会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 半群理論に基づく一般的な時間発展方程式に対する厳密な数値求積法2022

    • Author(s)
      高安亮紀, Gabriel W. Duchesne, Jean-Philippe Lessar
    • Organizer
      2022年度応用数学合同研究集会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 無限次元固有値問題に対する複素モーメント型解法とその性能評価2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 遅延Duffing方程式の結合系の完全同期解に対する精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • Related Report
      2022 Annual Research Report
  • [Presentation] 時間発展方程式に対する厳密な数値求積法の最近の進展2022

    • Author(s)
      高安亮紀
    • Organizer
      RIMS 共同研究(公開型)数値解析が拓く次世代情報社会~エッジから富岳まで~
    • Related Report
      2022 Annual Research Report
    • Invited
  • [Presentation] A general approach for rigorously integrating PDEs using semigroup theory2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      CRM Applied Mathematics Seminars
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 一般化エルミート固有値問題に対するRayleigh-Ritz版の周回積分型精度保証付き部分固有対計算2022

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 遅延Duffing方程式の結合系に対する同期解の精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Chebyshev補間の最大値最小値の精度保証付き数値計算2022

    • Author(s)
      近藤慎佑, 高安亮紀
    • Organizer
      日本応用数理学会2022年度年会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Rigorous integrator for higher spatial dimensional PDEs2022

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Chebyshev interpolation for rigorous integrator of differential equations2022

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Julia言語を用いたChebyshev補間とその応用2022

    • Author(s)
      近藤慎佑, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第7回学生研究発表会
    • Related Report
      2021 Research-status Report
  • [Presentation] Julia言語を用いた常微分方程式の周期解の精度保証付き数値計算2022

    • Author(s)
      高橋和暉, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第7回学生研究発表会
    • Related Report
      2021 Research-status Report
  • [Presentation] ベッセル関数のType-ll PSAの計算について2022

    • Author(s)
      宮内洋明, 高安亮紀, 柏木雅英, 浅井大晴
    • Organizer
      日本応用数理学会 第18回 研究部会連合発表会
    • Related Report
      2021 Research-status Report
  • [Presentation] フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算2022

    • Author(s)
      市川葵, 高安亮紀
    • Organizer
      日本応用数理学会 第18回 研究部会連合発表会
    • Related Report
      2021 Research-status Report
  • [Presentation] Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity2021

    • Author(s)
      高安亮紀, Jonathan Jaquette, Jean-Philipp Lessard
    • Organizer
      2021年度応用数学合同研究集会
    • Related Report
      2021 Research-status Report
  • [Presentation] Julia言語を用いた精度保証付き数値計算の実践2021

    • Author(s)
      高安亮紀
    • Organizer
      第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021)
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] ある連立遅延微分方程式系の星形周期解ー数値的根拠と精度保証ー2021

    • Author(s)
      高安亮紀
    • Organizer
      RIMS 共同研究(公開型)時間遅れ系と数理科学:理論と応用の新たな展開に向けて
    • Related Report
      2021 Research-status Report
  • [Presentation] A rigorous forward integration method for time-dependent PDEs2021

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020)
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Swift-Hohenberg方程式の厳密な数値求積法2021

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会2021年度年会
    • Related Report
      2021 Research-status Report
  • [Presentation] A spectral method for viscous Burgers equation with a time delay2021

    • Author(s)
      高安亮紀, 久保隆徹
    • Organizer
      日本応用数理学会2021年度年会
    • Related Report
      2021 Research-status Report
  • [Presentation] Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method2021

    • Author(s)
      Akitoshi Takayasu, Jean-Philippe Lessard
    • Organizer
      SIAM Conference on Applications of Dynamical Systems (DS21)
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Complex moment-based methods for differential eigenvalue problems2021

    • Author(s)
      Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu
    • Organizer
      SIAM Conference on Applied Linear Algebra (LA21)
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Global dynamics in nonconservative nonlinear Schroedinger equations2021

    • Author(s)
      高安亮紀
    • Organizer
      京都大学 NLPDE セミナー
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] 非線形熱方程式の複素時間領域における解の精度保証付き数値計算2021

    • Author(s)
      高安亮紀
    • Organizer
      数値解析セミナー(東京大学大学院 数理科学研究科/情報理工学系研究科)
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] Global dynamics in a quadratic nonlinear Schrdinger equation2021

    • Author(s)
      J. Jaquette, J.-P. Lessard, 高安亮紀
    • Organizer
      日本数学会2021年度年会
    • Related Report
      2020 Research-status Report
  • [Presentation] 単位円盤領域上における半線形楕円型偏微分方程式の解の精度保証付き数値計算2021

    • Author(s)
      宮内洋明, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第6回学生研究発表会
    • Related Report
      2020 Research-status Report
  • [Presentation] フーリエスペクトル法を用いた遅延Duffing方程式の周期解の精度保証付き数値計算について2021

    • Author(s)
      市川葵, 高安亮紀
    • Organizer
      日本応用数理学会若手の会 第6回学生研究発表会
    • Related Report
      2020 Research-status Report
  • [Presentation] 遅延微分方程式に対する精度保証付き数値計算ー現状と課題ー2021

    • Author(s)
      高安亮紀
    • Organizer
      第2回 時間遅れと数理セミナー
    • Related Report
      2020 Research-status Report
    • Invited
  • [Presentation] Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrdinger equation2021

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Czech-Japanese Seminar in Applied Mathematics
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research
  • [Presentation] Computer-assisted proofs of heteloclinic orbits to a quadratic nonlinear Schrdinger equation2020

    • Author(s)
      高安亮紀, J. Jaquette, J.-P. Lessard
    • Organizer
      2020年度応用数学合同研究集会
    • Related Report
      2020 Research-status Report
  • [Presentation] Global dynamics in a quadratic nonlinear Schrdinger equation2020

    • Author(s)
      高安亮紀
    • Organizer
      第4回 精度保証付き数値計算の実問題への応用研究集会
    • Related Report
      2020 Research-status Report
    • Invited
  • [Presentation] Computer-assisted proofs for finding the monodromy of hypergeometric differential equations2020

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      16th Seminar Series of CRM CAMP in Nonlinear Analysis
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Homoclinics and global existence of solutions to a quadratic nonlinear Schrdinger equation2020

    • Author(s)
      高安亮紀, J. Jaquette
    • Organizer
      日本数学会2020年度秋季総合分科会
    • Related Report
      2020 Research-status Report
  • [Presentation] ある非線形遅延微分方程式系の星形周期解のフーリエスペクトル法による近似解について2020

    • Author(s)
      野澤健三, 高安亮紀
    • Organizer
      日本応用数理学会2020年度年会
    • Related Report
      2020 Research-status Report
  • [Presentation] チェビシェフ級数を用いた逐次連立による非線形常微分方程式系の初期値問題の精度保証付き数値解法2020

    • Author(s)
      舩越康太, 高安亮紀
    • Organizer
      日本応用数理学会2020年度年会
    • Related Report
      2020 Research-status Report
  • [Presentation] 非線形シュレディンガー方程式の厳密な数値求積法2020

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会2020年度年会
    • Related Report
      2020 Research-status Report
  • [Presentation] Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Workshop: Rigorous Computational Dynamics in Infinite Dimensions
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Global existence of a solution for the nonlinear heat equation in the complex plane of time2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      RIMS共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Rigorous numerics for nonlinear heat equations in the complex plane of time2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Equadiff 2019
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Numerical validation of blow-up solutions of ODEs2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Rigorous numerics for a singular solution of advection equations with variable coefficients2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2020)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算2019

    • Author(s)
      井上直也, 石毛利昌, 高安亮紀
    • Organizer
      日本応用数理学会2019年度年会
    • Related Report
      2019 Research-status Report
  • [Presentation] チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法2019

    • Author(s)
      舩越康太, 高安亮紀
    • Organizer
      日本応用数理学会2019年度年会
    • Related Report
      2019 Research-status Report
  • [Presentation] Computer-assisted proofs for a nonlinear heat equation in the complex plane of time2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      CRM Applied Mathematics Seminars
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] 遅延微分方程式の周期解の精度保証付き数値計算2019

    • Author(s)
      高安亮紀
    • Organizer
      第1回 時間遅れが誘導する現象と数理
    • Related Report
      2019 Research-status Report
  • [Presentation] Rigorous numerics for nonlinear heat equations in the complex plane of time2019

    • Author(s)
      高安亮紀, J.-P. Lessard, J. Jaquette, 岡本久
    • Organizer
      日本数学会2020年度年会
    • Related Report
      2019 Research-status Report
  • [Presentation] 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算2019

    • Author(s)
      高安亮紀
    • Organizer
      日本数学会2019年度年会
    • Related Report
      2018 Research-status Report
  • [Presentation] チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法2019

    • Author(s)
      舩越康太, 高安亮紀
    • Organizer
      日本応用数理学会 第15回 研究部会連合発表会
    • Related Report
      2018 Research-status Report
  • [Presentation] 時間発展方程式の線形化問題に対する解作用素の厳密評価2019

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会 第15回 研究部会連合発表会
    • Related Report
      2018 Research-status Report
  • [Presentation] 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良2019

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会 第15回 研究部会連合発表会
    • Related Report
      2018 Research-status Report
  • [Presentation] Rigorous spectral methods for initial value problems of ordinary differential equations2019

    • Author(s)
      Akitoshi Takayasu
    • Organizer
      Numerical Verification (NIVEA) 2019
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] 非線形熱方程式の複素時間領域における解の挙動と精度保証付き数値計算"2019

    • Author(s)
      高安亮紀
    • Organizer
      千葉大学解析セミナー
    • Related Report
      2018 Research-status Report
    • Invited
  • [Presentation] 精度保証付き数値計算を利用する偏微分方程式の解の数値的検証法2018

    • Author(s)
      高安亮紀
    • Organizer
      第3回RCMSサロン「精度保証付き数値計算の有用性」
    • Related Report
      2018 Research-status Report
    • Invited
  • [Presentation] 非線形熱方程式の複素時間における解の精度保証付き数値計算2018

    • Author(s)
      高安亮紀
    • Organizer
      京都大学数理解析研究所RIMS研究集会「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
    • Related Report
      2018 Research-status Report
    • Invited
  • [Presentation] 微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合2018

    • Author(s)
      松江要, 高安亮紀
    • Organizer
      日本数学会2018年度秋季総合分科会
    • Related Report
      2018 Research-status Report
  • [Presentation] 非線形熱方程式の複素時間における解の挙動:精度保証付き数値計算によるアプローチ2018

    • Author(s)
      高安亮紀
    • Organizer
      大分微分方程式研究集会
    • Related Report
      2018 Research-status Report
    • Invited
  • [Presentation] Generation of $C_0$ semigroup on sequence spaces for rigorous spectral methods in PDEs2018

    • Author(s)
      Akitoshi Takayasu, Motohiro Sobajima
    • Organizer
      the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Verified computing for partial eigenvalues using a contour integral-type eigensolver2018

    • Author(s)
      Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni
    • Organizer
      the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] 非線形方程式の精度保証付き数値解法2018

    • Author(s)
      高安亮紀
    • Organizer
      「精度保証付き数値計算の基礎」チュートリアル
    • Related Report
      2018 Research-status Report
    • Invited
  • [Presentation] フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算2018

    • Author(s)
      高安亮紀
    • Organizer
      日本応用数理学会2018年度年会
    • Related Report
      2018 Research-status Report
  • [Presentation] 微分方程式の爆発解の精度保証付き数値計算:ケーススタディ - 指数関数非線型項を持つ場合2018

    • Author(s)
      松江要, 高安亮紀
    • Organizer
      日本応用数理学会2018年度年会
    • Related Report
      2018 Research-status Report
  • [Presentation] 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算2018

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      日本応用数理学会2018年度年会
    • Related Report
      2018 Research-status Report
  • [Presentation] Verified partial eigenvalue computation for generalized Hermitian eigenproblems using contour integrals2018

    • Author(s)
      今倉暁, 保國惠一, 高安亮紀
    • Organizer
      第47回数値解析シンポジウム
    • Related Report
      2018 Research-status Report
  • [Book] 精度保証付き数値計算の基礎2018

    • Author(s)
      大石進一編著
    • Total Pages
      328
    • Publisher
      コロナ社
    • ISBN
      9784339028874
    • Related Report
      2018 Research-status Report

URL: 

Published: 2018-04-23   Modified: 2024-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi