Source author record

Toshinori Oaku

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
6topics
2close collaborators

Published work

8 publications

preprint2016arXiv

Localization, local cohomology, and the b-function of a D-module with respect to a polynomial

Given a DD-module MM generated by a single element, and a polynomial ff, one can construct several DD-modules attached to MM and ff and can define the notion of the (generalized) bb-function following M. Kashiwara. These modules are closely related to the localization and the local cohomology of MM. We show that the bb-function, if it exists, controls these modules and present general algorithms for computing these modules and the bb-function (if it exists) without any further assumptions. For these algorithms, we reformulate the localization algorithm for DD-modules.

preprint2016arXiv

Operational calculus for holonomic distributions in the framework of D-module theory

Let ff be a real polynomial of x=(x1,…,xn)x = (x_1,\dots,x_n) and φφ be a locally integrable function of xx which satisfies a holonomic system of linear differential equations. We study the distribution f+λφf_+^λφ with a meromorphic parameter λλ, especially its Laurent expansion and integration, from an algorithmic viewpoint in the framework of DD-module theory.

preprint2015arXiv

Annihilators of Laurent coefficients of the complex power for normal crossing singularity

Let ff be a real-valued real analytic function defined on an open set of Rn\mathbb{R}^n. Then the complex power f+λf_+^λ is defined as a distribution with a holomorphic parameter λλ. We determine the annihilator (in the ring of differential operators) of each coefficient of the principal part of the Laurent expansion of f+λf_+^λ about λ=−1λ=-1 in case f=0f=0 has a normal crossing singularity.

preprint2015arXiv

Length and multiplicity of the local cohomology with support in a hyperplane arrangement

Let RR be the polynomial ring in nn variables with coefficients in a field KK of characteristic zero. Let DnD_n be the nn-th Weyl algebra over KK. Suppose that f∈Rf \in R defines a hyperplane arrangement in the affine space KnK^n. Then the length and the multiplicity of the 1st local cohomology group H(f)1(R)H^1_{(f)}(R) as left DnD_n-module coincide and are explicitly expressed in terms of the Poincaré polynomial or the Möbius function of the arrangement.

preprint2014arXiv

Properties of powers of functions satisfying second-order linear differential equations with applications to statistics

We derive properties of powers of a function satisfying a second-order linear differential equation. In particular we prove that the n-th power of the function satisfies an (n+1)-th order differential equation and give a simple method for obtaining the differential equation. Also we determine the exponents of the differential equation and derive a bound for the degree of the polynomials, which are coefficients in the differential equation. The bound corresponds to the order of differential equation satisfied by the n-fold convolution of the Fourier transform of the function. These results are applied to some probability density functions used in statistics.

preprint2012arXiv

An algorithm to compute the differential equations for the logarithm of a polynomial

We present an algorithm to compute the annihilator of (i.e., the linear differential equations for) the logarithm of a polynomial in the ring of differential operators with polynomial coefficients. The algorithm consists of differentiation with respect to the parameter s of the annihilator of f^s for a polynomial f and quotient computation. More generally, the annihilator of f^s(log f)^m for a complex number s and a positive integer m can be computed, which constitutes what is called a holonomic system in D-module theory. This enables us to compute a holonomic system for the integral of a function involving the logarithm of a polynomial by using integration algorithm for D-modules.

preprint2011arXiv

Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities

We present an algorithm for computing a holonomic system for a definite integral of a holonomic function over a domain defined by polynomial inequalities. If the integrand satisfies a holonomic difference-differential system including parameters, then a holonomic difference-differential system for the integral can also be computed. In the algorithm, holonomic distributions (generalized functions in the sense of L. Schwartz) are inevitably involved even if the integrand is a usual function.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.