No label defined (Q4466733)

The author describes a local solvability condition for inhomogeneous differential equations of the form \(P(z,d/dz)u=f\) in the ring of convergent power series \(\mathcal {O}_{\{0\}}\) or in the ring of formal power series \(\widehat{\mathcal{O}}_{\{0\}}\) at the origin. Here, \(P(z,d/dz)\) is a linear differential operator with holomorphic coefficients at the origin, and \(f\) is an element in \(\mathcal{O}_{\{0\}}\) or \(\widehat{\mathcal{O}}_{\{0\}}.\) The solvability condition is expressed in terms of the residue pairings defined for \(\mathcal{O}_{\{0\}}\) (respectively, \(\widehat{\mathcal{O}}_{\{0\}}\)) and the sheaf of local cohomology (respectively, algebraic local cohomology). An algorithm for computing the formal solvability condition is illustrated by using a concrete example. For the entire collection see [Zbl 1032.30002].