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

2013 Fiscal Year Annual Research Report

楕円型作用素の精度保証つき固有値評価と非線形問題への応用

Research Project

Project/Area Number 23740092
Research InstitutionWaseda University

Principal Investigator

劉 雪峰  早稲田大学, 理工学術院, 講師 (50571220)

Keywords固有値の下界評価 / Lehmann-Goerisch の定理 / 非適合有限要素法 / 精度保証付き数値計算 / 誤差評価 / 重調和微分作用素
Research Abstract

昨年度の研究を引き続き、非線偏微分方程式の解の検証等の問題に現れる楕円型偏微分作用素の固有値評価問題について、高精度な精度保証付き固有値評価方法の開発を行った。特に、これまでにラプラス作用素に成功した手法を一般的な楕円微分作用素(重調和作用素等)に拡張することは今年度の研究の中心であった。具体的に、今年度の研究成果を以下の二つにまとめる。
1)Lehmann-Goerisch の定理の前提条件となる固有値の粗い評価について、研究者は非適合有限要素法 Fujino-Morely 有限要素法を上手く利用ことで、重調和作用素の粗い評価を得た。非適合有限要素法は固有値の下界評価に密接している。特に、非適合有限要素法によって厳密な固有値の下界を提供するのは該当分野における重要な課題である。この研究で開発した手法によると、楕円型微分作用素の固有値の下界評価は同じフレームワークで得られるようなった。
2)Lehmann-Goerisch の定理を実際の問題に応用する時、関数空間の設定には工夫が必要である。F. Goerisch 氏、M. Plum 氏などは "spectral shift" 法による関数空間の設定を行っているが、数値計算に多くの手間が必要である。有限要素法は領域の形に自然に対応でき、関数空間の設定について強力な道具である。本研究者は混合有限要素法の研究に発展された鞍点理論と計算手法と Lehmann-Goerisch の定理と組み合わせ、ラプラス作用素と重調和作用素の高精度な固有値評価を得た。

  • Research Products

    (9 results)

All 2014 2013

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (6 results) (of which Invited: 2 results)

  • [Journal Article] Remarks on computable a priori error estimates for finite element solutions of elliptic problems2014

    • Author(s)
      Akitoshi Takayasu, Xuefeng Liu and Shin'ichi Oishi
    • Journal Title

      NOLTA, IEICE

      Volume: Vol.5, No.1 Pages: 53-63

    • DOI

      10.1587/nolta.5.53

    • Peer Reviewed
  • [Journal Article] Guaranteed high-precision estimation for P0 interpolation constants on triangular finite elements2013

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 30(3) Pages: 635-652

    • DOI

      10.1007/s13160-013-0120-6

    • Peer Reviewed
  • [Journal Article] Verified eigenvalue evaluation for Laplacian over polygonal domains of arbitrary shape2013

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Journal Title

      SIAM J. Numer. Anal

      Volume: 51(3) Pages: 1634-1654

    • DOI

      10.1137/120878446

    • Peer Reviewed
  • [Presentation] A uniform approach to high-precision verified eigenvalue bounds for self-adjoint differential operators2014

    • Author(s)
      Xuefeng LIU, Michael Plum, Shin'ichi Oishi
    • Organizer
      日本応用数理学会 2014年研究部会連合発表会
    • Place of Presentation
      京都大学
    • Year and Date
      20140320-20140320
  • [Presentation] Verified lower eigenvalue bounds for self-adjoint differential operators2014

    • Author(s)
      Xuefeng LIU
    • Organizer
      Program of the International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)
    • Place of Presentation
      Waseda University, Tokyo
    • Year and Date
      20140315-20140315
  • [Presentation] 共役楕円型偏微分作用素の高精度な固有値評価のフレームワーク2013

    • Author(s)
      劉 雪峰
    • Organizer
      日本応用数理学会三 部会連携「応用数理セミナー」
    • Place of Presentation
      東京大学
    • Year and Date
      20131227-20131227
    • Invited
  • [Presentation] Verified eigenvalue bounds for elliptic operators and applications, Karl- sruhe Institute of Technology2013

    • Author(s)
      Xuefeng LIU
    • Organizer
      Karlsruhe Institute of Technology
    • Place of Presentation
      Karlsruhe, Germany
    • Year and Date
      20130925-20130925
    • Invited
  • [Presentation] Guaranteed high-precision estimation for interpolation error constant2013

    • Author(s)
      Xuefeng LIU
    • Organizer
      International Symposium on Nonlinear Theory and its Applications (NOLTA2013)
    • Place of Presentation
      Santa Fe, USA
    • Year and Date
      20130911-20130911
  • [Presentation] High-precision verified eigenvalue estimation for elliptic diferential operator over polygonal domain of arbitrary shape2013

    • Author(s)
      Xuefeng LIU
    • Organizer
      Confer- ence on the Mathematics of Finite Elements and Applications (MAFE- LAP2013)
    • Place of Presentation
      Brunel University, UK
    • Year and Date
      20130612-20130612

URL: 

Published: 2015-05-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi