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

The research of numerical verification methods for nonlinear integral equations with singularity

Research Project

Project/Area Number 23740074
Research Category

Grant-in-Aid for Young Scientists (B)

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

Principal Investigator

KINOSHITA Takehiko  京都大学, 健康長寿社会の総合医療開発ユニット, 講師 (30546429)

Project Period (FY) 2011-04-28 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2013: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2011: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywords積分方程式 / 微分方程式 / 有限要素法 / 精度保証付き数値計算 / 数値的検証法 / 線形積分作用素 / 事後評価 / 区間演算
Outline of Final Research Achievements

We have developed the verification methods for existence of a solution of the ordinary differential equation which equivalent to integral equation of a target. We succeeded in improvement of the necessary the verification method of invertibility for linear elliptic operator and its estimates. Moreover, we have developed the method to add a perturbation to the elliptic operator and sequentially estimates inverse operators. However, even this perturbation method couldn't reach the ordinary differential operator with singularity which was a target. Furthermore, the verification method based on shooting method, solving a boundary value problem by reducing it to the solution of an initial value problem, was also tried. We succeeded in development of new verification method of initial value problem necessary to the case.

Report

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

    (36 results)

All 2015 2014 2013 2012 2011

All Journal Article (8 results) (of which Peer Reviewed: 8 results,  Acknowledgement Compliant: 1 results) Presentation (28 results) (of which Invited: 6 results)

  • [Journal Article] On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems2014

    • Author(s)
      Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
    • Journal Title

      Numerische Mathematik

      Volume: 126 Issue: 4 Pages: 679-701

    • DOI

      10.1007/s00211-013-0575-z

    • NAID

      120005434971

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] An improvement of the theorem of a posteriori estimates for inverse elliptic operators2014

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao
    • Journal Title

      Nonlinear Theory and Its Applications

      Volume: 5

    • NAID

      130003386652

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Some remarks on the optimal $L^2$ error estimates for the finite element method on the L-shaped domain2013

    • Author(s)
      Takehiko Kinoshita and Mitsuhiro T. Nakao
    • Journal Title

      Proceedings of the 2013 10th ITNG

      Volume: 1 Pages: 173-178

    • DOI

      10.1109/itng.2013.30

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations2013

    • Author(s)
      Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
    • Journal Title

      Mathematics of Computation

      Volume: 82 Issue: 283 Pages: 1543-1557

    • DOI

      10.1090/s0025-5718-2013-02676-2

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Constructive a priori error estimates for a full discrete approximation of the heat equation2013

    • Author(s)
      Mitsuhiro T. Nakao, Takuma Kimura and Takehiko Kinoshita
    • Journal Title

      SIAM Journal on Numerical Analysis

      Volume: 51 Issue: 3 Pages: 1525-1541

    • DOI

      10.1137/120875661

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Some remarks on the instability of approximate solutions for ODEs2013

    • Author(s)
      Takuma Kimura, Takehiko Kinoshita, and Mitsuhiro T. Nakao
    • Journal Title

      Nonlinear Theory and Its Applications, IEICE

      Volume: 4 Pages: 80-87

    • NAID

      130003375413

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems2012

    • Author(s)
      Mitsuhiro T. Nakao, Takehiko Kinoshita and Takuma Kimura
    • Journal Title

      Computing

      Volume: 94 Issue: 2-4 Pages: 151-162

    • DOI

      10.1007/s00607-011-0180-x

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations2011

    • Author(s)
      Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 236 Issue: 6 Pages: 1622-1636

    • DOI

      10.1016/j.cam.2011.09.026

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Presentation] 線形楕円型作用素に対する Laplacian ノルムの構成的評価2015

    • Author(s)
      渡部善隆,木下武彦,中尾充宏
    • Organizer
      日本数学会年会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-24
    • Related Report
      2014 Annual Research Report
  • [Presentation] Some remarks on the rigorous estimation of inverse linear elliptic operators2014

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao
    • Organizer
      SCAN
    • Place of Presentation
      University of Wurzburg, Germany
    • Year and Date
      2014-09-23
    • Related Report
      2014 Annual Research Report
  • [Presentation] 2階楕円型作用素における構成的 Laplacian ノルム評価2014

    • Author(s)
      渡部善隆,木下武彦,中尾充宏
    • Organizer
      日本応用数理学会年会
    • Place of Presentation
      政策研究大学院大学
    • Year and Date
      2014-09-03
    • Related Report
      2014 Annual Research Report
  • [Presentation] 線形楕円型逆作用素の事後評価とその応用2014

    • Author(s)
      木下武彦
    • Organizer
      岐阜数理科学セミナー
    • Place of Presentation
      岐阜大学
    • Year and Date
      2014-05-16
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 線形作用素に対する可逆性の検証と精度保証付きノルム評価の改良につ いて2014

    • Author(s)
      渡部善隆,木下武彦,中尾充宏
    • Organizer
      日本数学会年会
    • Place of Presentation
      学習院大学
    • Related Report
      2013 Research-status Report
  • [Presentation] An alternative approach of invertibility verifications and norm estimations for linear elliptic operators2014

    • Author(s)
      Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao
    • Organizer
      The 7th CREST-SBM International Conference INVA2014
    • Place of Presentation
      Kyoto University, Kyoto, Japan
    • Related Report
      2013 Research-status Report
  • [Presentation] A posteriori estimates for inverse elliptic operators2014

    • Author(s)
      Takehiko Kinoshita
    • Organizer
      Kyoto University- Chung-Ang University Symposium, On Nonlinear Partial Differential equations
    • Place of Presentation
      Takayama, Gifu Prefecture, Japan
    • Related Report
      2013 Research-status Report
    • Invited
  • [Presentation] Some remarks on the optimal $L^2$ error estimates for the finite element method on the L-shaped domain2013

    • Author(s)
      Takehiko Kinoshita and Mitsuhiro T. Nakao
    • Organizer
      10th International Conference on Information Technology : New Generations
    • Place of Presentation
      Las Vegas, Nevada, USA
    • Related Report
      2013 Research-status Report
  • [Presentation] 楕円型偏微分作用素に対する逆作用素評価の効率化2013

    • Author(s)
      木下武彦,渡部善隆,中尾充宏
    • Organizer
      日本応用数理学会年会
    • Place of Presentation
      アクロス福岡
    • Related Report
      2013 Research-status Report
  • [Presentation] Some remarks on the optimal $L^2$ error estimates for the finite element method on the L-shaped domain2013

    • Author(s)
      Takehiko Kinoshita, and Mitsuhiro T. Nakao
    • Organizer
      10th International Conference on Information Technology : New Generations
    • Place of Presentation
      Las Vegas, Nevada, USA
    • Related Report
      2012 Research-status Report
  • [Presentation] 楕円型偏微分作用素の可逆性の検証について2013

    • Author(s)
      木下武彦,渡部善隆,中尾充宏
    • Organizer
      日本数学会年会
    • Place of Presentation
      京都大学
    • Related Report
      2012 Research-status Report
  • [Presentation] 非線形常微分方程式系に対する精度保証付き数値計算のサーベイ2013

    • Author(s)
      木下武彦
    • Organizer
      数理科学と諸数学・産業との連携研究ワークショップ
    • Place of Presentation
      京都大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 非線形常微分方程式系に対する差分法の精度保証付き数値計算2012

    • Author(s)
      木下武彦
    • Organizer
      日本応用数理学会3部会連携応用数理セミナー
    • Place of Presentation
      東京大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 非線形常微分方程式系に対する精度保証付き数値計算2012

    • Author(s)
      木下武彦
    • Organizer
      白浜研究集会
    • Place of Presentation
      南紀白浜旅館むさし
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 線形化逆作用素を用いた非線形常微分方程式系の初期値問題に対する解の検証方法2012

    • Author(s)
      木下武彦,木村拓馬,中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      九州大学
    • Related Report
      2012 Research-status Report
  • [Presentation] 線形化逆作用素を用いた非線形常微分方程式系に対する解の検証方法について2012

    • Author(s)
      木下武彦,木村拓馬,中尾充宏
    • Organizer
      日本応用数理学会年会
    • Place of Presentation
      稚内全日空ホテル
    • Related Report
      2012 Research-status Report
  • [Presentation] A numerical verification method of solutions for initial value problems of nonlinear ODEs2012

    • Author(s)
      Takehiko Kinoshita
    • Organizer
      China-Japan-Korea Conference on Numerical Mathematics
    • Place of Presentation
      Otsu City, Shiga
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Some remarks on the optimal $L^2$ error estimates for the finite element method with nonconvex polygonal domain2012

    • Author(s)
      Takehiko Kinoshita, and Mitsuhiro T. Nakao
    • Organizer
      East Asia SIAM Conference
    • Place of Presentation
      National Taiwan University, Taiwan
    • Related Report
      2012 Research-status Report
  • [Presentation] 斉次初期境界条件を備えた熱方程式に対する時間補間を用いたGalerkin 近似の構成的事前誤差評価2012

    • Author(s)
      木村拓馬,木下武彦,中尾充宏
    • Organizer
      日本応用数理学会春の研究部会連合発表会
    • Place of Presentation
      九州大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 斉次初期境界条件を備えた線形放物型逆作用素に対する時間補間Galerkin 近似を用いた事後評価2012

    • Author(s)
      木下武彦,木村拓馬,中尾充宏
    • Organizer
      日本応用数理学会春の研究部会連合発表会
    • Place of Presentation
      九州大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 線形放物型逆作用素に対する事後評価について2012

    • Author(s)
      木下武彦,中尾充宏,木村拓馬
    • Organizer
      日本数学会年会
    • Place of Presentation
      東京理科大学
    • Related Report
      2011 Research-status Report
  • [Presentation] A posteriori estimates of inverse linear ordinary differential operators2011

    • Author(s)
      Takehiko Kinoshita, Takuma Kimura and Mitsuhiro T. Nakao
    • Organizer
      East Asia SIAM Conference
    • Place of Presentation
      Kitakyushu, Japan
    • Related Report
      2011 Research-status Report
  • [Presentation] 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について2011

    • Author(s)
      木下武彦,渡部善隆,中尾充宏
    • Organizer
      日本応用数理学会年会
    • Place of Presentation
      同志社大学
    • Related Report
      2011 Research-status Report
  • [Presentation] 線形楕円型偏微分作用素の逆作用素に対する事後誤差評価について2011

    • Author(s)
      木下武彦,渡部善隆,中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      信州大学
    • Related Report
      2011 Research-status Report
  • [Presentation] Orr-Sommerfeld 方程式に対する局所一意性付き計算機援用証明2011

    • Author(s)
      渡部善隆,木下武彦,中尾充宏
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      信州大学
    • Related Report
      2011 Research-status Report
  • [Presentation] A numerical enclosure method of solutions for initial value problems of nonlinear ordinary differential equations2011

    • Author(s)
      Takehiko Kinoshita
    • Organizer
      Workshop on reliability in scientic computing and related topics(招待講演)
    • Place of Presentation
      Nagasaki, Japan
    • Related Report
      2011 Research-status Report
  • [Presentation] 線形化逆作用素を用いた非線形常微分方程式系に対する解の検証理論2011

    • Author(s)
      木下武彦
    • Organizer
      GCOE tea time(招待講演)
    • Place of Presentation
      京都大学数理解析研究所
    • Related Report
      2011 Research-status Report
  • [Presentation] 線形放物型逆作用素に対する事後評価について2011

    • Author(s)
      木下武彦,中尾充宏,木村拓馬
    • Organizer
      応用数学合同研究集会
    • Place of Presentation
      龍谷大学
    • 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