BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Toshinori Oaku appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We compute Bernstein-Sato polynomials of some pairs of topologically equivalent plane curve singularities. Some pairs have the same Tjurina number but distinct Bernstein-Sato polynomials, which implies that they are not analytically equivalent.
Given a $D$-module $M$ generated by a single element, and a polynomial $f$, one can construct several $D$-modules attached to $M$ and $f$ and can define the notion of the (generalized) $b$-function following M. Kashiwara. These modules are closely related to the localization and the local cohomology of $M$. We show that the $b$-function, if it exists, controls these modules and present general algorithms for computing these modules and the $b$-function (if it exists) without any further assumptions. For these algorithms, we reformulate the localization algorithm for $D$-modules.
Let $f$ be a real polynomial of $x = (x_1,\dots,x_n)$ and $φ$ be a locally integrable function of $x$ which satisfies a holonomic system of linear differential equations. We study the distribution $f_+^λφ$ with a meromorphic parameter $λ$, especially its Laurent expansion and integration, from an algorithmic viewpoint in the framework of $D$-module theory.
Let $f$ be a real-valued real analytic function defined on an open set of $\mathbb{R}^n$. Then the complex power $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_+^λ$ about $λ=-1$ in case $f=0$ has a normal crossing singularity.
Let $R$ be the polynomial ring in $n$ variables with coefficients in a field $K$ of characteristic zero. Let $D_n$ be the $n$-th Weyl algebra over $K$. Suppose that $f \in R$ defines a hyperplane arrangement in the affine space $K^n$. Then the length and the multiplicity of the 1st local cohomology group $H^1_{(f)}(R)$ as left $D_n$-module coincide and are explicitly expressed in terms of the Poincaré polynomial or the Möbius function of the arrangement.
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.
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.
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.