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

Algorithms for D-modules and their applications

Research Project

Project/Area Number 26400123
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Basic analysis
Research InstitutionTokyo Woman's Christian University

Principal Investigator

OAKU Toshinori  東京女子大学, 現代教養学部, 教授 (60152039)

Project Period (FY) 2014-04-01 – 2019-03-31
Project Status Completed (Fiscal Year 2018)
Budget Amount *help
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2018: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2017: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2016: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2015: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
KeywordsD加群 / アルゴリズム / ホロノミック関数 / 超関数 / 積分 / グレブナー基底 / 確率密度関数 / ファインマン積分 / ホロノミック系 / b関数 / 数式処理 / D加群 / 線形微分方程式 / 微分方程式 / 局所コホモロジー
Outline of Final Research Achievements

D-module is an algebraic concept corresponding to a system of linear (ordinary or partial) differential equations. Holonomic systems are an important class of D-modules; their solutions constitute a finite dimensional vector space. Hence properties of a holonomic function are expected to be extracted from the corresponding holonomic system. I constructed an algorithm for computing a holonomic system for the integral of a holonomic function over the domain defined by polynomial inequalities. I also gave a rigorous proof that the result of the algorithm is in fact a holonomic system. As an application, I computed holonomic systems for density functions for various stochastic distributions, as well as for the Feynman integral associated with the triangle Feynman diagram in the two-dimensional space-time.

Academic Significance and Societal Importance of the Research Achievements

D加群理論は線型微分方程式の一般化であり,数学のみならず理論物理学でも重要な理論であるが、極めて抽象的な理論であるため、実際の計算は従来は極めて困難であった。コンピュータで実行できるアルゴリズムを構成することにより応用範囲を著しく拡張することができた。たとえば統計学における種々の分布の確率密度関数が満たす微分方程式が機械的に計算できる。これによって種々の確率分布の数値計算が効率的に行えるようになることが期待される。またファインマン積分など素粒子物理学への応用も見込まれる。

Report

(6 results)
  • 2018 Annual Research Report   Final Research Report ( PDF )
  • 2017 Research-status Report
  • 2016 Research-status Report
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (25 results)

All 2019 2018 2017 2016 2015 2014 Other

All Journal Article (12 results) (of which Open Access: 12 results,  Peer Reviewed: 11 results,  Acknowledgement Compliant: 5 results) Presentation (9 results) (of which Int'l Joint Research: 4 results,  Invited: 9 results) Remarks (4 results)

  • [Journal Article] An attempt to compute holonomic systems for Feynman integrals in two-dimensional space-time2019

    • Author(s)
      Toshinori Oaku
    • Journal Title

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

      Volume: 2101 Pages: 77-90

    • Related Report
      2018 Annual Research Report
    • Open Access
  • [Journal Article] An algorithmic study on the integration of holonomic hyperfunctions --oscillatory integrals and a phase space integral associated with a Feynman diagram2018

    • Author(s)
      Toshinori Oaku
    • Journal Title

      RIMS Kokyuroku Bessatsu

      Volume: 印刷中 Pages: 1-14

    • Related Report
      2017 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Algorithms for D-modules, integration, and generalized functions with applications to statistics2018

    • Author(s)
      Toshinori Oaku
    • Journal Title

      Advanced Studies in Pure Mathematics

      Volume: 77 Pages: 253-352

    • Related Report
      2017 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Localization, local cohomology, and the b-function of a D-module with respect to a polynomial2018

    • Author(s)
      Toshinori Oaku
    • Journal Title

      Advanced Studies in Pure Mathematics

      Volume: 77 Pages: 353-398

    • Related Report
      2017 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Operational calculus for holonomic distributions in the framework of D-module theory2017

    • Author(s)
      Toshinori Oaku
    • Journal Title

      RIMS Kokyuroku Bessatsu

      Volume: B61 Pages: 123-140

    • Related Report
      2017 Research-status Report 2016 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Algorithms for D-modules, integration, and generalized functions with applications to statistics2017

    • Author(s)
      Toshinori Oaku
    • Journal Title

      Advanced Studies in Pure Mathematics

      Volume: 印刷中 Pages: 1-100

    • Related Report
      2016 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Localization, local cohomology, and the b-function of a D-module with respect to a polynomial2017

    • Author(s)
      Toshinori Oaku
    • Journal Title

      Advanced Studies in Pure Mathematics

      Volume: 印刷中 Pages: 1-46

    • Related Report
      2016 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Operational calculus for holonomic distributions in the framework of D-module theory2017

    • Author(s)
      Toshinori Oaku
    • Journal Title

      RIMS Kokyuroku Bessatsu, Kyoto University

      Volume: 未定

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Annihilators of Laurent coefficients of the complex power for normal crossing singularity2016

    • Author(s)
      Toshinori Oaku
    • Journal Title

      RIMS Kokyuroku Bessatsu

      Volume: B57 Pages: 79-84

    • Related Report
      2016 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Annihilators of Laurent coefficients of the complex power for normal crossing singularity2016

    • Author(s)
      Toshinori Oaku
    • Journal Title

      RIMS Kokyuroku Bessatsu, Kyoto University

      Volume: 未定

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Properties of powers of functions satisfying second-order linear differential equations with applications to statistics2015

    • Author(s)
      Naoki, Marumo, Toshinori Oaku
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 32 Issue: 2 Pages: 553-572

    • DOI

      10.1007/s13160-015-0179-3

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Annihilators of distributions associ- ated with algebraic local cohomology of a hyper- surface2014

    • Author(s)
      T. Oaku
    • Journal Title

      Complex Variables and Elliptic Equa- tions

      Volume: (印刷中) Issue: 11 Pages: 1-14

    • DOI

      10.1080/17476933.2012.751100

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] Computation of holonomic systems for Feynman amplitudes associated with some simple diagrams2019

    • Author(s)
      Toshinori Oaku
    • Organizer
      "The Mathematics of Linear Relations between Feynman Integrals", Mainz Institute for Theoretical Physics
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] On various b-functions of specialiizable D-modules2018

    • Author(s)
      Toshinori Oaku
    • Organizer
      「代数解析学の諸問題ー超局所解析及び漸近解析」京都大学 数理解析研究所
    • Related Report
      2018 Annual Research Report
    • Invited
  • [Presentation] An algorithmic study on the intgration of holonomic distributions2016

    • Author(s)
      大阿久俊則
    • Organizer
      New development of microlocal analysis and singular perturbation theory
    • Place of Presentation
      京都大学数理解析研究所(京都市)
    • Year and Date
      2016-10-04
    • Related Report
      2016 Research-status Report
    • Invited
  • [Presentation] Some algorithmic problems for holonomic distributions2015

    • Author(s)
      Toshinori Oaku
    • Organizer
      Microlocal Anslysis and Singular Puturbatkon Theory
    • Place of Presentation
      RIMS, Kyoto University, Kyoto, Japan
    • Year and Date
      2015-10-08
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Some D-module theoretic aspects of the local cohomology of a polynomial ring2015

    • Author(s)
      Toshinori Oaku
    • Organizer
      The 8th Mathematical Society of Japan Seasonal Institute "Current Trends on Groebner Bases -The 50th Anniversary of Groebner Bases-"
    • Place of Presentation
      Hotel Nikko Osaka, Osaka, Japan
    • Year and Date
      2015-07-06
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Algorithms for D-modules, integration, and generalized functions2015

    • Author(s)
      Toshinori Oaku
    • Organizer
      The 8th Mathematical Society of Japan Seasonal Institute "Current Trends on Groebner Bases -The 50th Anniversary of Groebner Bases-"
    • Place of Presentation
      Hotel Nikko Osaka, Osaka, Japan
    • Year and Date
      2015-07-01
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] D-module theoretic global multiplicity of local cohomology - some examples2015

    • Author(s)
      Toshinori Oaku
    • Organizer
      研究集会 Theoretical and Computational Aspects of Algebraic Analysis
    • Place of Presentation
      日本大学理工学部
    • Year and Date
      2015-03-06
    • Related Report
      2014 Research-status Report
    • Invited
  • [Presentation] Annihilators of Laurent coefficients of the complex power of a real analytic function - examples and algorithms2014

    • Author(s)
      Toshinori Oaku
    • Organizer
      研究集会 Several Aspects of Microlocal Analysis
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2014-10-21
    • Related Report
      2014 Research-status Report
    • Invited
  • [Presentation] Algebraic and algorithmic study of some generalized functions associated with a real polynomial2014

    • Author(s)
      Toshinori Oaku
    • Organizer
      Seminario del Departamento de Algebra (代数学科セミナー)
    • Place of Presentation
      セビリア大学数学学部代数学科(スペイン)
    • Year and Date
      2014-09-12
    • Related Report
      2014 Research-status Report
    • Invited
  • [Remarks] Toshinori Oaku's Home Page

    • URL

      http://lab.twcu.ac.jp/oaku/

    • Related Report
      2018 Annual Research Report
  • [Remarks] Toshinori Oaku's home page

    • URL

      http://lab.twcu.ac.jp/oaku/

    • Related Report
      2017 Research-status Report
  • [Remarks] Toshinori Oaku's homepage

    • URL

      http://lab.twcu.ac.jp/oaku

    • Related Report
      2016 Research-status Report
  • [Remarks] Toshinori Oaku's home page

    • URL

      http://lab.twcu.ac.jp/oaku

    • Related Report
      2015 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2020-03-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi