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

Verified eigenvalue estimation for elliptic differential operators and its application in non-linear problems

Research Project

Project/Area Number 23740092
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionWaseda University

Principal Investigator

LIU Xuefeng  早稲田大学, 理工学術院, 講師 (50571220)

Project Period (FY) 2011 – 2013
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2011: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords固有値評価 / 有限要素法 / 事前誤差評価 / 非線形偏微分方程式 / 精度保証付き数値計算 / 楕円型微分作用素 / 固有値問題 / Hypercircle equation / 固有値の下界評価 / Lehmann-Goerisch の定理 / 非適合有限要素法 / 誤差評価 / 重調和微分作用素 / 微分作用素の固有値問題 / 高精度な誤差評価 / 非線形問題の解の検証 / 高精度な固有値評価
Research Abstract

The eigenvalue problem for differential operators is a basic problem in both engineering and mathematics. The upper bounds for the Laplacian have been given in history, but the lower bounds remain to be very difficult. In this research, a new algorithm is developed to give lower bounds for the eigenvalues of the Laplacian. Such an algorithm is based on the finite element method along with the use of the hypercircle equation. It is the first method that can easily deal with eigenvalue problems on domain of general shapes. The eigenvalue bounds are also successfully applied to solution verification for nonlinear partial differential equations defined on arbitrary polygonal domains.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (50 results)

All 2014 2013 2012 2011 Other

All Journal Article (7 results) (of which Peer Reviewed: 5 results) Presentation (40 results) (of which Invited: 2 results) Remarks (3 results)

  • [Journal Article] High precision eigenvalue bound for the Laplacian with singularity2014

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

      Proceeding of the 2012 Asian Symposium on Computer Mathematics (ASCM 2012)

      Volume: (未発行)(accepted)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [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

      Nonlinear Theory and Its Applications, IEICE

      Volume: 5 Issue: 1 Pages: 53-63

    • DOI

      10.1587/nolta.5.53

    • NAID

      130003386653

    • ISSN
      2185-4106
    • Related Report
      2013 Annual Research Report 2013 Final Research Report
    • 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) Issue: 3 Pages: 635-652

    • DOI

      10.1007/s13160-013-0120-6

    • Related Report
      2013 Annual Research Report 2013 Final Research Report
    • 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) Issue: 3 Pages: 1634-1654

    • DOI

      10.1137/120878446

    • Related Report
      2013 Annual Research Report 2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains2013

    • Author(s)
      A. Takayasu, X. Liu, S. Oishi
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: 4 Issue: 1 Pages: 34-61

    • DOI

      10.1587/nolta.4.34

    • NAID

      130003375411

    • ISSN
      2185-4106
    • Related Report
      2013 Final Research Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] A residual bound evaluation of operator equations with Raviart-Thomas finite element2012

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

      京都大学数理解析研究所講究録

      Volume: 1791 Pages: 206-215

    • Related Report
      2013 Final Research Report
  • [Journal Article] Verified eigenvalue evaluation for Laplace operator on arbitrary polygonal domain2011

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

      京都大学数理解析研究所講究録

      Volume: 1733 Pages: 31-39

    • Related Report
      2013 Final Research Report
  • [Presentation] Verified lower eigenvalue bounds for self-adjoint differential operators2014

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      Program of the International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)
    • Place of Presentation
      Waseda University
    • Related Report
      2013 Final Research Report
  • [Presentation] A uniform approach to high-precision verified eigenvalue bounds for self-adjoint differential operators2014

    • Author(s)
      Xuefeng Liu, Michael Plum and Shin'ichi Oishi
    • Organizer
      日本応用数理学会 2014年研究部会連合発表会
    • Place of Presentation
      京都大学吉田キャンパス
    • Related Report
      2013 Final Research Report
  • [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
    • Related Report
      2013 Annual Research Report
  • [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
      京都大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] High-precision verified eigenvalue estimation for elliptic differential operator over polygonal domain of arbitrary shape2013

    • Author(s)
      Xuefeng Liu
    • Organizer
      Conference on the Mathematics of Finite Elements and Applications (MAFELAP2013)
    • Place of Presentation
      Brunel University, UK
    • Related Report
      2013 Final Research Report
  • [Presentation] Guaranteed highprecision 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
    • Related Report
      2013 Final Research Report
  • [Presentation] 高精度な補間関数の誤差定数の評価について2013

    • Author(s)
      劉雪峰
    • Organizer
      日本応用数理学会2013年研究部会連合発表会
    • Place of Presentation
      東洋大学白山キャンパス
    • Related Report
      2013 Final Research Report
  • [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
    • Related Report
      2013 Annual Research Report
  • [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
    • Related Report
      2013 Annual Research Report
  • [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
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] 共役楕円型偏微分作用素の高精度な固有値評価のフレームワーク2013

    • Author(s)
      劉 雪峰
    • Organizer
      日本応用数理学会三 部会連携「応用数理セミナー」
    • Place of Presentation
      東京大学
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] 高精度な補間関数の誤差定評価について2013

    • Author(s)
      劉雪峰
    • Organizer
      応用数理学会 研究部会連合発表会
    • Place of Presentation
      東京 東洋大学 白山キャンパス
    • Related Report
      2012 Research-status Report
  • [Presentation] 不動点定理による大規模行列の固有値の精度保証付き評価2012

    • Author(s)
      劉雪峰, 大石進一
    • Organizer
      第41回数値解析シンポジウム
    • Place of Presentation
      群馬県渋川市
    • Year and Date
      2012-06-08
    • Related Report
      2013 Final Research Report
  • [Presentation] On guaranteed eigenvalue estimation of compact differential operator with singularity2012

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      2012 International Symposium on Nonlinear Theory and its Applications(NOLTA2012)
    • Place of Presentation
      Palma Majorca, Spain
    • Related Report
      2013 Final Research Report
  • [Presentation] On high-precision eigenvalue estimation for self-adjoint elliptic differential operator and its application2012

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      The Tenth Asian Symposium on Computer Mathematics (ASCM 2012)
    • Place of Presentation
      Beijing, China
    • Related Report
      2013 Final Research Report
  • [Presentation] A framework of high-precision eigenvalue estimation for self-adjoint elliptic differential operator2012

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012)
    • Place of Presentation
      Novosibirsk, Russia
    • Related Report
      2013 Final Research Report
  • [Presentation] 自己共役楕円型微分作用素の高精度な固有値評価について2012

    • Author(s)
      劉雪峰, 大石進一
    • Organizer
      日本応用数理学会 2012年度年会
    • Place of Presentation
      北海道稚内市
    • Related Report
      2013 Final Research Report
  • [Presentation] A framework on high precision eigenvalue value evaluation for self-adjoint elliptic operator2012

    • Author(s)
      Xuefeng Liu
    • Organizer
      4th China-Japan-Korea Conference on Numerical Mathematics
    • Place of Presentation
      Shiga, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] On verified eigenvalue evaluation of self-adjoint elliptic differential operator2012

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      The 8th EASIAM
    • Place of Presentation
      Taipei, Taiwan
    • Related Report
      2013 Final Research Report
  • [Presentation] On High Precision Eigenvalue Estimation for Self-adjoint Elliptic Differential Operator and Its Application2012

    • Author(s)
      Xuefeng Liu
    • Organizer
      The Tenth Asian Symposium on Computer Mathematics (ASCM 2012)
    • Place of Presentation
      Beijing, China
    • Related Report
      2012 Research-status Report
  • [Presentation] On guaranteed eigenvalue estimation of compact differential operator with singularity2012

    • Author(s)
      Xuefeng Liu
    • Organizer
      2012 International Symposium on Nonlinear Theory and its Applications(NOLTA 2012)
    • Place of Presentation
      Palma Majorca, Spain
    • Related Report
      2012 Research-status Report
  • [Presentation] A framework of high precision eigenvalue estimation for selfadjoint elliptic differential operator,2012

    • Author(s)
      Xuefeng Liu
    • Organizer
      15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012)
    • Place of Presentation
      Novosibirsk,Russia
    • Related Report
      2012 Research-status Report
  • [Presentation] A framework on high precision eigenvalue value evaluation for self-adjoint elliptic operator2012

    • Author(s)
      Xuefeng Liu
    • Organizer
      4th China-Japan-Korea Conference on Numerical Mathematics
    • Place of Presentation
      Otsu City, Japan
    • Related Report
      2012 Research-status Report
  • [Presentation] On verified eigenvalue evaluation of self-ajoint elliptic differential operator2012

    • Author(s)
      Xuefeng Liu
    • Organizer
      The 8th EASIAM
    • Place of Presentation
      Taipei, Taiwan
    • Related Report
      2012 Research-status Report
  • [Presentation] 自己共役楕円型微分作用素の高精度な固有値評価のについて2012

    • Author(s)
      劉雪峰
    • Organizer
      日本応用数理学会2012年度年会
    • Place of Presentation
      北海道稚内市
    • Related Report
      2012 Research-status Report
  • [Presentation] On the high precision bound for interpolation constant2012

    • Author(s)
      劉雪峰
    • Organizer
      2012年度応用数学合同研究集会
    • Place of Presentation
      滋賀県大津市龍谷大学
    • Related Report
      2012 Research-status Report
  • [Presentation] Maximum eigenvalue evaluation and fixed point theory2012

    • Author(s)
      Xuefeng LIU
    • Organizer
      日本応用数理学会 2012 年 研究部会連合発表会
    • Place of Presentation
      九州大学伊都キャンパス
    • Related Report
      2011 Research-status Report
  • [Presentation] On verified computation of laplacian eigenvalues over polygonal domain2011

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011)
    • Place of Presentation
      Kobe, Hyogo, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] On verified evaluation of several interpolation error constants2011

    • Author(s)
      劉雪峰, 大石進一
    • Organizer
      日本応用数理学会2011年度年会
    • Place of Presentation
      京都
    • Related Report
      2013 Final Research Report 2011 Research-status Report
  • [Presentation] On computable eigenvalue evaluation for elliptic eigen-problem with singularity2011

    • Author(s)
      Xuefeng Liu
    • Organizer
      Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
    • Place of Presentation
      Karlsruhe, Germany
    • Related Report
      2013 Final Research Report
  • [Presentation] 有限要素法の計算的な誤差評価とその応用2011

    • Author(s)
      劉雪峰
    • Organizer
      第33回発展方程式若手セミナー
    • Place of Presentation
      茨城県つくば市
    • Related Report
      2013 Final Research Report 2011 Research-status Report
  • [Presentation] Computer-assisted eigenvalue bounds2011

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      ICIAM 2011
    • Place of Presentation
      Vancouver, Canada
    • Related Report
      2013 Final Research Report
  • [Presentation] High-precision eigenvalue bounds for laplacian over general polygonal domain2011

    • Author(s)
      Xuefeng Liu
    • Organizer
      Workshop on Analytic and Computational Techniques in Spectral Theory and Related Topics
    • Place of Presentation
      Gregynog Hall, Cardiff University, UK
    • Related Report
      2013 Final Research Report
  • [Presentation] Numerical verification for solution existence of elliptic PDE on arbitrary polygonal domain2011

    • Author(s)
      Xuefeng Liu and Shin'ichi Oishi
    • Organizer
      The 7th EASIAM
    • Place of Presentation
      Kitakyushu Campus of Waseda University, Fukuoka, Japan
    • Related Report
      2013 Final Research Report
  • [Presentation] Computable error estimation for finite element method and computer-assisted proof2011

    • Author(s)
      Xuefeng LIU
    • Organizer
      University of Science and Technology of China(招待講演)
    • Place of Presentation
      Hefei, China
    • Related Report
      2011 Research-status Report
  • [Presentation] On computable eigenvalue evaluation for elliptic eigen-problem with singularity2011

    • Author(s)
      Xuefeng LIU, Shin'ichi Oishi
    • Organizer
      Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
    • Place of Presentation
      Karlsruhe,Germany
    • Related Report
      2011 Research-status Report
  • [Presentation] On Verified Computation of laplacian Eigenvalues Over Polygonal Domain2011

    • Author(s)
      Xuefeng LIU, Shin'ichi Oishi
    • Organizer
      2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011)
    • Place of Presentation
      Kobe, Hyogo, Japan
    • Related Report
      2011 Research-status Report
  • [Presentation] Numerical verification for solution existence of elliptic PDE on arbitrary polygonal domain2011

    • Author(s)
      Xuefeng LIU, Shin'ichi Oishi
    • Organizer
      The 7th East Asia SIAM Conference & RIMS Workshop
    • Place of Presentation
      Kitakyushu, Japan
    • Related Report
      2011 Research-status Report
  • [Presentation] Computer Assisted Eigenvalue Bounds2011

    • Author(s)
      Xuefeng LIU, Shin'ichi Oishi
    • Organizer
      International Council for Industrial and Applied Mathematics(2011)
    • Place of Presentation
      Vancouver, Canada
    • Related Report
      2011 Research-status Report
  • [Presentation] High precision eigenvalue bounds for laplacian over general polygonal domain2011

    • Author(s)
      Xuefeng LIU
    • Organizer
      Workshop on Analytic and Computational Techniques in Spectral Theory and Related Topics
    • Place of Presentation
      Cardiff University, UK
    • Related Report
      2011 Research-status Report
  • [Remarks] (1) 固有値のオンライン計算

    • URL

      http://www.xfliu.org/onlinelab/

    • Related Report
      2013 Final Research Report
  • [Remarks] オンライン固有値計算

    • URL

      http://www.xfliu.org/onlinelab/

    • Related Report
      2012 Research-status Report
  • [Remarks] オンライン固有値計算のサイト:

    • URL

      http://www.xfliu.org/onlinelab/

    • Related Report
      2011 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi