• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

有限要素法に基づく精度保証付き数値計算の高度化に関する研究

研究課題

研究課題/領域番号 16H03950
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 数学基礎・応用数学
研究機関一橋大学

研究代表者

小林 健太  一橋大学, 大学院経営管理研究科, 教授 (60432902)

研究分担者 土屋 卓也  愛媛大学, 理工学研究科(理学系), 教授 (00163832)
渡部 善隆  九州大学, 情報基盤研究開発センター, 准教授 (90243972)
劉 雪峰  新潟大学, 自然科学系, 准教授 (50571220)
高安 亮紀  筑波大学, システム情報系, 助教 (60707743)
研究期間 (年度) 2016-04-01 – 2020-03-31
研究課題ステータス 完了 (2019年度)
配分額 *注記
17,680千円 (直接経費: 13,600千円、間接経費: 4,080千円)
2019年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2018年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2017年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2016年度: 4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
キーワード精度保証付き数値計算 / 有限要素法 / 誤差評価 / 補間誤差解析 / 補間誤差評価 / 固有値問題 / 補間誤差定数
研究成果の概要

本研究においては、有限要素法をベースとした精度保証付き数値計算をより高度に発展させる研究を行った。具体的には補間誤差解析をもとにした適合および非適合有限要素法の誤差解析、その誤差解析を非線形偏微分方程式の精度保証に適用する際に重要な、楕円型線形作用素の可逆性の検証および逆作用素ノルム評価の効率化、さらにそれらを実際の非線形偏微分方程式へ応用する方法について研究を行い、それぞれにおいて研究の進展があった。

研究成果の学術的意義や社会的意義

精度保証付き数値計算は近年、数値計算結果の品質保証だけでなく、偏微分方程式の解の存在証明など、数学的に厳密な証明などにも用いられており、応用範囲が広がっています。精度保証付き数値計算のうちでも有限要素法をベースにした方法は、関数解析の理論を用いることで効率的な手法の構築が可能という利点があります。本研究では、有限要素法をベースにした精度保証付き数値計算について、より効率的な手法や、今まで適用できなかった問題にも適用できる手法を開発する、などの成果をあげることができました。

報告書

(5件)
  • 2019 実績報告書   研究成果報告書 ( PDF )
  • 2018 実績報告書
  • 2017 実績報告書
  • 2016 実績報告書
  • 研究成果

    (110件)

すべて 2020 2019 2018 2017 2016

すべて 雑誌論文 (24件) (うち国際共著 8件、 査読あり 24件、 オープンアクセス 7件、 謝辞記載あり 5件) 学会発表 (85件) (うち国際学会 47件、 招待講演 18件) 図書 (1件)

  • [雑誌論文] Error analysis of Lagrange interpolation on tetrahedrons2020

    • 著者名/発表者名
      Kobayashi Kenta、Tsuchiya Takuya
    • 雑誌名

      Journal of Approximation Theory

      巻: 249 ページ: 105302-105302

    • DOI

      10.1016/j.jat.2019.105302

    • 関連する報告書
      2019 実績報告書
    • 査読あり
  • [雑誌論文] Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity"2020

    • 著者名/発表者名
      K. Matsue and A. Takayasu
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 374 ページ: 112607-112607

    • DOI

      10.1016/j.cam.2019.112607

    • 関連する報告書
      2019 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces2019

    • 著者名/発表者名
      Kinoshita Takehiko、Watanabe Yoshitaka、Nakao Mitsuhiro T.
    • 雑誌名

      Journal of Differential Equations

      巻: 266 号: 9 ページ: 5431-5447

    • DOI

      10.1016/j.jde.2018.10.027

    • 関連する報告書
      2019 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space2019

    • 著者名/発表者名
      Watanabe Yoshitaka、Kinoshita Takehiko、Nakao Mitsuhiro T.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 印刷中 号: 2 ページ: 407-420

    • DOI

      10.1007/s13160-019-00344-8

    • 関連する報告書
      2019 実績報告書
    • 査読あり
  • [雑誌論文] A computer‐assisted method for the diblock copolymer model2019

    • 著者名/発表者名
      Cai Shuting、Watanabe Yoshitaka
    • 雑誌名

      ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift f?r Angewandte Mathematik und Mechanik

      巻: 99 号: 7 ページ: 1-1

    • DOI

      10.1002/zamm.201800125

    • 関連する報告書
      2019 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Reorganizing topologies of Steiner trees to accelerate their eliminations2019

    • 著者名/発表者名
      Grodet Aymeric、Tsuchiya Takuya
    • 雑誌名

      Discrete Mathematics, Algorithms and Applications

      巻: 12 号: 01 ページ: 2050003-2050003

    • DOI

      10.1142/s1793830920500032

    • 関連する報告書
      2019 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem2019

    • 著者名/発表者名
      You Chun'guang、Xie Hehu、Liu Xuefeng
    • 雑誌名

      SIAM Journal on Numerical Analysis

      巻: 57 号: 3 ページ: 1395-1410

    • DOI

      10.1137/18m1189592

    • 関連する報告書
      2019 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Rigorous numerical computations for 1D advection equations with variable coefficients2019

    • 著者名/発表者名
      A. Takayasu, S. Yoon, and Y. Endo
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 36 号: 2 ページ: 357-384

    • DOI

      10.1007/s13160-019-00345-7

    • NAID

      120007133327

    • 関連する報告書
      2018 実績報告書
    • 査読あり
  • [雑誌論文] Error analysis of Crouzeix?Raviart and Raviart?Thomas finite element methods2018

    • 著者名/発表者名
      Kobayashi Kenta、Tsuchiya Takuya
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 35 号: 3 ページ: 1191-1211

    • DOI

      10.1007/s13160-018-0325-9

    • NAID

      210000166840

    • 関連する報告書
      2018 実績報告書
    • 査読あり
  • [雑誌論文] Explicit estimation of error constants appearing in non-conforming linear triangular finite element method2018

    • 著者名/発表者名
      Liu Xuefeng、Kikuchi Fumio
    • 雑誌名

      Applications of Mathematics

      巻: 63 号: 4 ページ: 381-397

    • DOI

      10.21136/am.2018.0097-18

    • 関連する報告書
      2018 実績報告書
    • 査読あり
  • [雑誌論文] Explicit finite element error estimates for nonhomogeneous Neumann problems2018

    • 著者名/発表者名
      Li Qin、Liu Xuefeng
    • 雑誌名

      Applications of Mathematics

      巻: 63 号: 3 ページ: 367-379

    • DOI

      10.21136/am.2018.0095-18

    • 関連する報告書
      2018 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Approximating surface areas by interpolations on triangulations2017

    • 著者名/発表者名
      Kenta KOBAYASHI, Takuya TSUCHIYA
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 34 号: 2 ページ: 509-530

    • DOI

      10.1007/s13160-017-0253-0

    • NAID

      210000174791

    • 関連する報告書
      2017 実績報告書
    • 査読あり
  • [雑誌論文] On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations2017

    • 著者名/発表者名
      Watanabe Yoshitaka、Nakao Mitsuhiro T.、Nagatou Kaori
    • 雑誌名

      JSIAM Letters

      巻: 9 号: 0 ページ: 77-80

    • DOI

      10.14495/jsiaml.9.77

    • NAID

      130006252917

    • ISSN
      1883-0609, 1883-0617
    • 関連する報告書
      2017 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Validated constructive error estimations for biharmonic problems2017

    • 著者名/発表者名
      Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 168-177

    • 関連する報告書
      2017 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Accurate method of verified computing for solutions of semilinear heat equations2017

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin’ichi Oishi
    • 雑誌名

      Reliable computing

      巻: 25 ページ: 74-99

    • 関連する報告書
      2017 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A method of verified computations for solutions to semilinear parabolic equations using semigroup theory2017

    • 著者名/発表者名
      M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
    • 雑誌名

      SIAM Journal on Numerical Analysis

      巻: 55:2 号: 2 ページ: 980-1001

    • DOI

      10.1137/141001664

    • NAID

      120007129016

    • 関連する報告書
      2017 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Numerical verification for existence of a global-in-time solution to semilinear parabolic equations2017

    • 著者名/発表者名
      M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 315 ページ: 1-16

    • DOI

      10.1016/j.cam.2016.10.024

    • 関連する報告書
      2017 実績報告書
    • 査読あり
  • [雑誌論文] A recursive formula for the circumradius of the n-simplex2016

    • 著者名/発表者名
      Kenta Kobayashi
    • 雑誌名

      Forum Geometricorum

      巻: 16 ページ: 179-184

    • 関連する報告書
      2016 実績報告書
    • 査読あり / オープンアクセス / 謝辞記載あり
  • [雑誌論文] Extending Babuska-Aziz's theorem to higher-order Lagrange interpolation2016

    • 著者名/発表者名
      K. Kobayashi, T. Tsuchiya
    • 雑誌名

      Applications of Mathematics

      巻: 61 号: 2 ページ: 121-133

    • DOI

      10.1007/s10492-016-0125-y

    • 関連する報告書
      2016 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] First and second Hadamard variational formulae of the Green function for general domain perturbations2016

    • 著者名/発表者名
      Takashi Suzuki and Takuya Tsuchiya
    • 雑誌名

      Journal of Mathematical Society of Japan

      巻: 68 ページ: 1389-1419

    • NAID

      130005433299

    • 関連する報告書
      2016 実績報告書
    • 査読あり
  • [雑誌論文] Norm bound computation for inverses of linear operators in Hilbert spaces2016

    • 著者名/発表者名
      Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, and Mitsuhiro T. Nakao
    • 雑誌名

      Journal of Differential Equations

      巻: 260 号: 7 ページ: 6363-6374

    • DOI

      10.1016/j.jde.2015.12.041

    • 関連する報告書
      2016 実績報告書
    • 査読あり / 国際共著 / 謝辞記載あり
  • [雑誌論文] An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid2016

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 302 ページ: 157-170

    • DOI

      10.1016/j.cam.2016.01.055

    • 関連する報告書
      2016 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016

    • 著者名/発表者名
      Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, and Mitsuhiro T. Nakao
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 33 号: 3 ページ: 629-636

    • DOI

      10.1007/s13160-016-0223-y

    • NAID

      210000183342

    • 関連する報告書
      2016 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] On the embedding constant of the Sobolev type inequality for fractional derivatives2016

    • 著者名/発表者名
      Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, and Shin'ichi Oishi
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 7 号: 3 ページ: 386-394

    • DOI

      10.1587/nolta.7.386

    • NAID

      130005161829

    • ISSN
      2185-4106
    • 関連する報告書
      2016 実績報告書
    • 査読あり / オープンアクセス
  • [学会発表] Computer-assisted proofs for the Orr-Sommerfeld equation2019

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      Workshop: Rigorous Computational Dynamics in Infinite Dimensions
    • 関連する報告書
      2019 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Workshop: Rigorous Computational Dynamics in Infinite Dimensions
    • 関連する報告書
      2019 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] 極小曲面の有限要素近似について2019

    • 著者名/発表者名
      土屋卓也
    • 学会等名
      第24回計算工学講演会
    • 関連する報告書
      2019 実績報告書
  • [学会発表] Global existence of a solution for the nonlinear heat equation in the complex plane of time2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      RIMS 共同研究 (公開型)「偏微分方程式の臨界現象と正則性理論及び漸近解析」
    • 関連する報告書
      2019 実績報告書
    • 招待講演
  • [学会発表] Rigorous numerics for nonlinear heat equations in the complex plane of time2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Equadiff 2019
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] The circumradius condition and its application2019

    • 著者名/発表者名
      Kenta Kobayashi
    • 学会等名
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Error analysis of Raviart-Thomas and Crouzeix-Raviart finite element methods on non-regular meshes2019

    • 著者名/発表者名
      Takuya Tsuchiya
    • 学会等名
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] A computer-assisted proof of the critical Reynolds number for the Orr-Sommerfeld equation2019

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Numerical validation of blow-up solutions of ODEs2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Rigorous numerics for a singular solution of advection equations with variable coefficients2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      International Congress on Industrial and Applied Mathematics (ICIAM2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] H10射影誤差に対する2次の誤差評価の最良定数の包含方法について2019

    • 著者名/発表者名
      木下 武彦, 渡部 善隆, 山本 野人, 中尾 充宏
    • 学会等名
      日本応用数理学会2019年度年会
    • 関連する報告書
      2019 実績報告書
  • [学会発表] Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算2019

    • 著者名/発表者名
      井上直也, 石毛利昌, 高安亮紀
    • 学会等名
      日本応用数理学会2019年度年会
    • 関連する報告書
      2019 実績報告書
  • [学会発表] チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法2019

    • 著者名/発表者名
      舩越康太, 高安亮紀
    • 学会等名
      日本応用数理学会2019年度年会
    • 関連する報告書
      2019 実績報告書
  • [学会発表] H10関数の直交多項式近似に対する2次の誤差評価の最良定数について2019

    • 著者名/発表者名
      木下武彦, 渡部善隆, 山本野人, 中尾充宏
    • 学会等名
      日本数学会2019年度秋季総合分科会
    • 関連する報告書
      2019 実績報告書
  • [学会発表] Computer-assisted proofs for a nonlinear heat equation in the complex plane of time2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      CRM Applied Mathematics Seminars
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Nakao et al. (2005) 最後の謎2019

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      第3回精度保証付き数値計算の実問題への応用研究集会(NVR 2019)
    • 関連する報告書
      2019 実績報告書
  • [学会発表] ある楕円型境界値問題から導かれる近似作用素のノルムの収束性2019

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      応用数学合同研究集会
    • 関連する報告書
      2019 実績報告書
  • [学会発表] Error analysis of Crouzeix-Raviart finite element method on non-regular meshes2019

    • 著者名/発表者名
      土屋卓也
    • 学会等名
      日本応用数理学会環瀬戸内研究部会2019年度シンポジウム
    • 関連する報告書
      2019 実績報告書
  • [学会発表] Poisson方程式に対する構成的高次誤差評価とその応用2019

    • 著者名/発表者名
      渡部善隆, 木下武彦, 山本野人, 中尾充宏
    • 学会等名
      日本数学会2019年年会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 複素Ginzburg-Landau方程式に対する解の精度保証付き数値計算2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本数学会2019年年会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] Poisson方程式に対する構成的高次誤差評価2019

    • 著者名/発表者名
      渡部善隆, 木下武彦, 山本野人, 中尾充宏
    • 学会等名
      日本応用数理学会2019年研究部会連合発表会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] チェビシェフ級数を用いた非線形常微分方程式系の精度保証付き数値解法2019

    • 著者名/発表者名
      舩越康太, 高安亮紀
    • 学会等名
      日本応用数理学会2019年研究部会連合発表会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 時間発展方程式の線形化問題に対する解作用素の厳密評価2019

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2019年研究部会連合発表会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 一般化エルミート固有値問題の部分固有値計算における周回積分に基づく精度保証法の改良2019

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会2019年研究部会連合発表会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] A remark on L2-error estimations for FEM solutions on non-convex domains2019

    • 著者名/発表者名
      Kenta Kobayashi
    • 学会等名
      Numerical Verification (NIVEA) 2019
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Error estimation of Lagrange interpolation without the shape-regularity assumption2019

    • 著者名/発表者名
      Takuya Tsuchiya
    • 学会等名
      Numerical Verification (NIVEA) 2019
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Rigorous spectral methods for initial value problems of ordinary differential equations2019

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Numerical Verification (NIVEA) 2019
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] The circumradius condition and its application2019

    • 著者名/発表者名
      Kenta Kobayashi
    • 学会等名
      Australia New Zealand Industrial and Applied Mathematics 55th Annual Conference (ANZIAM 2019)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Hadamard variational fomulae and its applications for iterative numerical schemes2019

    • 著者名/発表者名
      Takuya Tsuchiya
    • 学会等名
      Australia New Zealand Industrial and Applied Mathematics 55th Annual Conference (ANZIAM 2019)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] 正則性条件を仮定しないLagrange補間の誤差評価について2018

    • 著者名/発表者名
      土屋卓也
    • 学会等名
      日本応用数理学会 環瀬戸内応用数理研究部会シンポジウム
    • 関連する報告書
      2018 実績報告書
  • [学会発表] The essence of numerical verification methods for PDEs2018

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      2018 Workshop on Recent views of Nonlinear Analysis
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] 反復解法における誤差履歴2018

    • 著者名/発表者名
      渡部善隆
    • 学会等名
      第2回精度保証付き数値計算の実問題への応用研究集会(NVR 2018)
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 非線形熱方程式の複素時間における解の精度保証付き数値計算2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      京都大学数理解析研究所RIMS研究集会「次世代の科学技術を支える数値解析学の基盤整備と応用展開」
    • 関連する報告書
      2018 実績報告書
    • 招待講演
  • [学会発表] 2階線形楕円型作用素に対する可逆性検証と精度保証付きノルム評価の改善2018

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本数学会2018年度秋季総合分科会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 2階楕円型作用素に対する逆作用素ノルム評価の改良2018

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本応用数理学会2018年度年会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 微分方程式の爆発解の精度保証付き数値計算:指数関数非線型項を持つ場合2018

    • 著者名/発表者名
      松江要, 高安亮紀
    • 学会等名
      日本数学会2018年度秋季総合分科会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 非線形熱方程式の複素時間における解の挙動:精度保証付き数値計算によるアプローチ2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      大分微分方程式研究集会
    • 関連する報告書
      2018 実績報告書
    • 招待講演
  • [学会発表] フーリエ係数の時間発展方程式に対する解の精度保証付き数値計算2018

    • 著者名/発表者名
      高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 微分方程式の爆発解の精度保証付き数値計算:ケーススタディ - 指数関数非線型項を持つ場合2018

    • 著者名/発表者名
      松江要, 高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算2018

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      日本応用数理学会2018年度年会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] A higher order error estimation for finite element approximations of the Poisson equation2018

    • 著者名/発表者名
      Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
    • 学会等名
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Verified computations of eigenvalue exclosures for linearized Kolmogorov problem2018

    • 著者名/発表者名
      Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao
    • 学会等名
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Generation of C_0 semigroup on sequence spaces for rigorous spectral methods in PDEs2018

    • 著者名/発表者名
      Akitoshi Takayasu, Motohiro Sobajima
    • 学会等名
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Verified computing for partial eigenvalues using a contour integral-type eigensolver2018

    • 著者名/発表者名
      Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni
    • 学会等名
      18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Error analysis of Crouzeix-Raviart and Raviart-Thomas finite element methods2018

    • 著者名/発表者名
      土屋卓也
    • 学会等名
      環瀬戸内ワークショップ
    • 関連する報告書
      2018 実績報告書
  • [学会発表] Error analysis of Crouzeix-Raviart and Raviart-Thomas finite element methods2018

    • 著者名/発表者名
      Takuya Tsuchiya
    • 学会等名
      SIAM East Asian Section Conference 2018
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Crouzeix--Raviart有限要素法と Raviart-Thomas有限要素法の誤差解析2018

    • 著者名/発表者名
      土屋卓也
    • 学会等名
      計算工学講演会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] Verified partial eigenvalue computation for generalized Hermitian eigenproblems using contour integrals2018

    • 著者名/発表者名
      今倉暁, 保國惠一, 高安亮紀
    • 学会等名
      第47回数値解析シンポジウム
    • 関連する報告書
      2018 実績報告書
  • [学会発表] The relation between Crouzeix-Raviart and Raviart-Thomas finite element methods2018

    • 著者名/発表者名
      Kenta Kobayashi
    • 学会等名
      International Workshop on Numerical Methods for Partial Differential Equations
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] The relation between Crouzeix-Raviart and Raviart-Thomas finite element methods2018

    • 著者名/発表者名
      Kenta Kobayashi
    • 学会等名
      Australia New Zealand Industrial and Applied Mathematics 54th Annual Conference (ANZIAM2018)
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] A higher order error estimation of the Poisson equation and its applications2018

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      International Workshop on Numerical Methods for Partial Differential Equations
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] A priori error estimation for the finite element solution to Stokes equation in 3D domain2018

    • 著者名/発表者名
      Xuefeng Liu
    • 学会等名
      International Workshop on Numerical Methods for Partial Differential Equations
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Error analysis of Lagrange interpolation on tetrahedrons2017

    • 著者名/発表者名
      Kenta Kobayashi, Takuya Tsuchiya
    • 学会等名
      The second Vietnam International Applied Mathematics Conference (VIAMC 2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Error analysis of Lagrange interpolation on tetrahedrons2017

    • 著者名/発表者名
      Kenta Kobayashi, Takuya Tsuchiya
    • 学会等名
      Workshop on Free Boundary Problems and Nonlinear PDEs
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Some computer-assisted proofs for the Navier-Stokes equations2017

    • 著者名/発表者名
      Yoshitaka Watanabe
    • 学会等名
      Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Verified computations for solutions to 1-dimensional advection equations with variable coefficients2017

    • 著者名/発表者名
      Akitoshi Takayasu
    • 学会等名
      Dagstuhl Seminar
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Approximating surface areas by interpolations on triangulations2017

    • 著者名/発表者名
      小林健太, 土屋卓也
    • 学会等名
      日本数学会2017年度年会
    • 発表場所
      首都大学東京南大沢キャンパス(東京都八王子市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] あるコンパクト作用素のレゾルベントに対する下側評価について2017

    • 著者名/発表者名
      木下武彦, 渡部善隆, 中尾充宏
    • 学会等名
      日本数学会2017年度年会
    • 発表場所
      首都大学東京南大沢キャンパス(東京都八王子市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Error analysis of Lagrange interpolation on tetrahedrons2017

    • 著者名/発表者名
      Kenta Kobayashi, Takuya Tsuchiya
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • 発表場所
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • 関連する報告書
      2016 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Approximating surface area by interpolations on triangulations2017

    • 著者名/発表者名
      Kenta Kobayashi, Takuya Tsuchiya
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • 発表場所
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • 関連する報告書
      2016 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] An alternative approach of invertibility verifications for linear operators in Hilbert spaces2017

    • 著者名/発表者名
      Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • 発表場所
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • 関連する報告書
      2016 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces2017

    • 著者名/発表者名
      Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • 発表場所
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • 関連する報告書
      2016 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] High-preicision eigenvalue bounds for biharmonic differential operators2017

    • 著者名/発表者名
      Xuefeng Liu
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • 発表場所
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • 関連する報告書
      2016 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Numerical validation of blow-up solutions via quasi-parabolic compactifications2017

    • 著者名/発表者名
      Akitoshi Takayasu, Kaname Matsue
    • 学会等名
      International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
    • 発表場所
      Hotel Breeze Bay Marina, Miyako Island, Okinawa
    • 関連する報告書
      2016 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] スペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法2017

    • 著者名/発表者名
      尹授老, 高安亮紀
    • 学会等名
      日本応用数理学会第13回研究部会連合発表会
    • 発表場所
      電気通信大学(東京都調布市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Approximating surface areas by interpolations on triangulations2017

    • 著者名/発表者名
      小林健太, 土屋卓也
    • 学会等名
      日本応用数理学会第13回研究部会連合発表会
    • 発表場所
      電気通信大学(東京都調布市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Error analysis of Lagrange interpolation on tetrahedrons2017

    • 著者名/発表者名
      Kenta Kobayashi
    • 学会等名
      Australia New Zealand Industrial and Applied Mathematics 53th Annual Conference (ANZIAM 2017)
    • 発表場所
      The Adelaide Hills Convention Centre, Hahndorf, Australia
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Computable norm bounds of the evolution operator using spectral properties2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016)
    • 発表場所
      Kyoto University, Kyoto, Japan
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Error Analysis of Lagrange Interpolation on Tetrahedrons2016

    • 著者名/発表者名
      Kenta Kobayashi, Takuya Tsuchiya
    • 学会等名
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • 発表場所
      Uppsala University, Sweden
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Validated constructive error estimatations for bi-harmonic problems2016

    • 著者名/発表者名
      Yoshitaka Watanabe, Takehiko Kinoshita, and Mitsuhiro T. Nakao
    • 学会等名
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • 発表場所
      Uppsala University, Sweden
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] On verification methods for parabolic partial differential equations using the evolution operator2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • 発表場所
      Uppsala University, Sweden
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Verified numerical computations for blow-up solutions of ODEs2016

    • 著者名/発表者名
      Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi
    • 学会等名
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • 発表場所
      Uppsala University, Sweden
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] A framework for highprecision verified eigenvalue bounds by using finite element methods2016

    • 著者名/発表者名
      Xuefeng Liu
    • 学会等名
      17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
    • 発表場所
      Uppsala University, Sweden
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Error analysis of Lagrange interpolation on tetrahedrons2016

    • 著者名/発表者名
      小林健太, 土屋卓也
    • 学会等名
      日本数学会2016年度秋季総合分科会
    • 発表場所
      関西大学千里山キャンパス(大阪府吹田市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 重調和方程式の近似解に対する構成的誤差評価2016

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本数学会2016年度秋季総合分科会
    • 発表場所
      関西大学千里山キャンパス(大阪府吹田市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 重調和方程式の近似解に対する構成的誤差評価2016

    • 著者名/発表者名
      渡部善隆, 木下武彦, 中尾充宏
    • 学会等名
      日本応用数理学会2016年度年会
    • 発表場所
      北九州国際会議場(福岡県北九州市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Stokes微分作用素の厳密な固有値評価について2016

    • 著者名/発表者名
      劉雪峰
    • 学会等名
      日本応用数理学会2016年度年会
    • 発表場所
      北九州国際会議場(福岡県北九州市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Error analysis of Lagrange interpolation on tetrahedrons2016

    • 著者名/発表者名
      小林健太, 土屋卓也
    • 学会等名
      日本応用数理学会2016年度年会
    • 発表場所
      北九州国際会議場(福岡県北九州市)
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Computable estimates of the evolution operator based on the operator theory2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016)
    • 発表場所
      Krakow, Polland
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Verified High-precision Eigenvalue Bounds for Partial Differential Operators2016

    • 著者名/発表者名
      Xuefeng Liu
    • 学会等名
      5th European Seminar on Computing (ESCO 2016)
    • 発表場所
      Pilsen, Czech Republic
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator2016

    • 著者名/発表者名
      Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi
    • 学会等名
      5th European Seminar on Computing (ESCO 2016)
    • 発表場所
      Pilsen, Czech Republic
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] The circumradius condition and its application2016

    • 著者名/発表者名
      Kenta Kobayashi
    • 学会等名
      Numerical Computations: Theory and Algorithms (NUMTA2016)
    • 発表場所
      Club Med Resort "Napitia", Calabria, Italy
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] A framework of high-precision verified eigenvalue bounds for self-adjoint differential operators2016

    • 著者名/発表者名
      Xuefeng Liu
    • 学会等名
      The Mathematics of Finite Elements and Applications 2016 (MAFELAB 2016)
    • 発表場所
      Brunel University, England
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] 四面体上のLagrange補間の誤差評価について2016

    • 著者名/発表者名
      小林健太, 土屋卓也
    • 学会等名
      第21回計算工学講演会
    • 発表場所
      朱鷺メッセ:新潟コンベンションセンター(新潟県新潟市)
    • 関連する報告書
      2016 実績報告書
  • [図書] Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations2019

    • 著者名/発表者名
      Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe
    • 総ページ数
      467
    • 出版者
      Springer Singapore
    • ISBN
      9789811376696
    • 関連する報告書
      2019 実績報告書

URL: 

公開日: 2016-04-21   更新日: 2021-02-19  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi