• 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 21540200
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

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

Project Period (FY) 2009-04-01 – 2014-03-31
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2011: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2010: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2009: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Keywords代数解析 / アルゴリズム / D加群 / 微分方程式 / 超関数 / 代数解析学 / グレブナー基底 / 差分方程式 / ホロノミック関数 / 微分差分方程式 / 局所コホモロジー / 留数 / 解析学 / 積分 / ホロノミック系 / ベルンステイン佐藤イデアル
Research Abstract

It is a primary purpose of analysis to study a function by using the differential equations which it satisfies. Hence one must find, first of all, the differential equations which a given function satisfies. I applied general algorithms for D-modules (algebraic counterpart of differential equations), which I had introduced, to some specific functions and obtained algorithms for computing the differential equations for functions such as the logarithm of a polynomial and the integral over a domain defined by polynomial inequalities. I also implemented these algorithms by using a Japanese software system.

Report

(6 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Annual Research Report
  • 2011 Annual Research Report
  • 2010 Annual Research Report
  • 2009 Annual Research Report
  • Research Products

    (33 results)

All 2014 2013 2012 2011 2010 2009 Other

All Journal Article (10 results) (of which Peer Reviewed: 9 results,  Open Access: 1 results) Presentation (19 results) (of which Invited: 3 results) Book (1 results) Remarks (3 results)

  • [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
      2013 Annual Research Report 2013 Final Research Report 2012 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Algorithms for integrals of holonomic functions over domains defined by polynomial in- equalities2013

    • Author(s)
      T. Oaku
    • Journal Title

      Journal of Symbolic Computation

      Volume: 50 Pages: 1-27

    • DOI

      10.1016/j.jsc.2012.05.004

    • Related Report
      2013 Final Research Report 2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An algorithm to compute the differential equations for the logarithm of a polynomial2012

    • Author(s)
      Toshinori Oaku
    • Journal Title

      Proceedings of the 37th International Conference on Symbolic and Algebraic Computation (ISSAC 2012),. ACM Press

      Volume: 37 Pages: 273-280

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An algorithm to compute the differential equations for the logarithm of a polynomial2012

    • Author(s)
      Toshinori Oaku
    • Journal Title

      Proceedings of the 37^<th> International Symposium on Symbolic and Algebraic Computation

      Volume: 37(印刷中)

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Local Bernstein-Sato ideals : algorithm and examples2010

    • Author(s)
      R. Bahloul, T. Oaku
    • Journal Title

      Journal of Symbolic Computation

      Volume: 45 Issue: 1 Pages: 46-59

    • DOI

      10.1016/j.jsc.2009.06.004

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Local Bernstein-Sato ideals : Algorithms and Examples2010

    • Author(s)
      R.Bahloul, T.Oakua
    • Journal Title

      Journal of Symbolic Computation

      Volume: 45 Pages: 46-59

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Local Bernstein-Sato ideals : Algorithm and Examples2010

    • Author(s)
      R.Bahloul, T.Oaku
    • Journal Title

      Journal of Symbolic Computation 45

      Pages: 46-59

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Regular b-functions of D-modules2009

    • Author(s)
      T. Oaku
    • Journal Title

      Journal of Pure and Applied Algebra

      Volume: 213 Issue: 8 Pages: 1545-1557

    • DOI

      10.1016/j.jpaa.2008.11.020

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Regular b-functions of D-modules2009

    • Author(s)
      T.Oaku
    • Journal Title

      Journal of Pure and Applied Algebra 213

      Pages: 1545-1557

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Holonomic functions revisited2009

    • Author(s)
      T.Oaku
    • Journal Title

      Proceedings of the Joint Conference of ASCM 2009 and MACSIS 2009

      Pages: 2-5

    • Related Report
      2009 Annual Research Report
  • [Presentation] Laurent expansion of the complex power as distribution2014

    • Author(s)
      大阿久俊則
    • Organizer
      研究集会「代数解析学と局所凸空間」
    • Place of Presentation
      日本大学理工学部
    • Year and Date
      2014-02-17
    • Related Report
      2013 Final Research Report
  • [Presentation] Algorithms for D-modules applied to the complex power and the local zeta function associated with a real polynomial2013

    • Author(s)
      大阿久俊則
    • Organizer
      筑波大学解析セミナー
    • Place of Presentation
      筑波大学
    • Year and Date
      2013-10-30
    • Related Report
      2013 Annual Research Report 2013 Final Research Report
  • [Presentation] Algorithms for D-modules applied to generalized functions2013

    • Author(s)
      T. Oaku
    • Organizer
      Workshop'Algebra, Algo- rithms and Algebraic Analysis'
    • Place of Presentation
      Rolduc Abbey, the Netherlands
    • Year and Date
      2013-09-06
    • Related Report
      2013 Final Research Report
  • [Presentation] Operational calculus for distribu- tions with a holomorphic parameter2013

    • Author(s)
      大阿久俊則
    • Organizer
      研究集会'Sev- eral aspects of algebraic analysis'
    • Place of Presentation
      日本大学理工学部
    • Year and Date
      2013-03-16
    • Related Report
      2013 Final Research Report
  • [Presentation] An algorithm to compute the dif- ferential equations for the logarithm of a polyno- mial2012

    • Author(s)
      T. Oaku
    • Organizer
      The 37th International Conference on Sym- bolic and Algebraic Computation
    • Place of Presentation
      Grenoble Univer- sity, France
    • Year and Date
      2012-07-25
    • Related Report
      2013 Final Research Report
  • [Presentation] Operational residue calculus for the complex power of a polynomial2012

    • Author(s)
      大阿久俊則
    • Organizer
      Risa/Asir Confer- ence 2013 +第4回六甲博多計算代数会議
    • Place of Presentation
      神戸大学
    • Year and Date
      2012-03-22
    • Related Report
      2013 Final Research Report
  • [Presentation] Operational residue calculus for the complex power of a polynomial2012

    • Author(s)
      大阿久俊則
    • Organizer
      Risa/Asir Conference 2012+第4回六甲博多計算代数会議
    • Place of Presentation
      神戸大学大学院理学研究科
    • Year and Date
      2012-03-22
    • Related Report
      2011 Annual Research Report
  • [Presentation] Realification of algebraic local co- homology2012

    • Author(s)
      大阿久俊則
    • Organizer
      研究集会「超局所解析とその展望」
    • Place of Presentation
      日本大学理工学部
    • Year and Date
      2012-03-09
    • Related Report
      2013 Final Research Report
  • [Presentation] Realification of algebraic local cohomology2012

    • Author(s)
      大阿久俊則
    • Organizer
      超局所解析とその展望
    • Place of Presentation
      日本大学理工学部
    • Year and Date
      2012-03-09
    • Related Report
      2011 Annual Research Report
  • [Presentation] 超曲面に台を持つデルタ関数と代数的局所コホモロジー2012

    • Author(s)
      大阿久俊則
    • Organizer
      超幾何方程式研究会2012
    • Place of Presentation
      神戸大学
    • Year and Date
      2012-01-06
    • Related Report
      2013 Final Research Report
  • [Presentation] 超曲面に台を持つデルタ関数と代数的局所コホモロジー2012

    • Author(s)
      大阿久俊則
    • Organizer
      超幾何方程式研究会2012
    • Place of Presentation
      神戸大学大学院理学研究科
    • Year and Date
      2012-01-06
    • Related Report
      2011 Annual Research Report
  • [Presentation] Holonomic distributions and local co- homology2011

    • Author(s)
      T. Oaku
    • Organizer
      Microlocal Analysis and Related Topics
    • Place of Presentation
      埼玉大学東京ステーションカレッジ
    • Year and Date
      2011-12-14
    • Related Report
      2013 Final Research Report
  • [Presentation] Holonomic distributions and local cohomology2011

    • Author(s)
      Toshinori Oaku
    • Organizer
      Microlocal Analysis and Related Topics
    • Place of Presentation
      埼玉大学東京ステーションカレッジ
    • Year and Date
      2011-12-14
    • Related Report
      2011 Annual Research Report
  • [Presentation] 定積分の満たす微分差分方程式系の計算アルゴリズム2011

    • Author(s)
      大阿久俊則
    • Organizer
      第3回六甲博多計算代数会議
    • Place of Presentation
      神戸大学
    • Year and Date
      2011-03-23
    • Related Report
      2013 Final Research Report 2010 Annual Research Report
  • [Presentation] Holonomic functions revisited2009

    • Author(s)
      T. Oaku
    • Organizer
      The Joint Conference of ASCM 2009 and MACSIS 2009
    • Place of Presentation
      福岡市
    • Year and Date
      2009-12-17
    • Related Report
      2013 Final Research Report 2009 Annual Research Report
  • [Presentation] Algorithms for D-modules applied to generalized functions

    • Author(s)
      Toshinori Oaku
    • Organizer
      Algebra, Algorithms and Algebraic Analysis
    • Place of Presentation
      Rolduc Abbey, the Netherlands
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] Laurent expansion of the complex power as distribution

    • Author(s)
      大阿久俊則
    • Organizer
      代数解析学と局所凸空間
    • Place of Presentation
      日本大学
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] An algorithm to compute the differential equations for the logarithm of a polynomial

    • Author(s)
      Toshinori Oaku
    • Organizer
      37th International Conference on Symbolic and Algebraic Computation (ISSAC 2012)
    • Place of Presentation
      Grenoble University, France
    • Related Report
      2012 Annual Research Report
  • [Presentation] Operational calculus for distributions with a holomorphic parameter

    • Author(s)
      大阿久俊則
    • Organizer
      Several aspects of algebraic analysis
    • Place of Presentation
      日本大学理工学部(東京都)
    • Related Report
      2012 Annual Research Report
    • Invited
  • [Book] An algorithm to compute the differ- ential equations for the logarithm of a polynomial. Proceedings of the 37th International Conference on Symbolic and Algebraic Computation2012

    • Author(s)
      T. Oaku
    • Publisher
      ACM Press
    • Related Report
      2013 Final Research Report
  • [Remarks] Toshinori Oaku's homepage

    • URL

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

    • Related Report
      2013 Annual Research Report
  • [Remarks] Home page of Toshinori Oaku

    • URL

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

    • Related Report
      2012 Annual Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2011 Annual Research Report

URL: 

Published: 2009-04-01   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi