Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Polynomial solutions to constant coefficient differential equations

Author: S. Paul Smith
Journal: Trans. Amer. Math. Soc. 329 (1992), 551-569
MSC: Primary 35E20; Secondary 35C05
MathSciNet review: 1013339
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ {D_1}, \ldots ,{D_r} \in \mathbb{C}[\partial /\partial {x_1}, \ldots ,\partial /\partial {x_n}]$ be constant coefficient differential operators with zero constant term. Let

$\displaystyle S = \{ f \in \mathbb{C}[{x_1}, \ldots ,{x_n}]\vert{D_j}(f) = 0\;{\text{for all }}1 \leqslant j \leqslant r\} $

be the space of polynomial solutions to the system of simultaneous differential equations $ {D_j}(f) = 0$. It is proved that $ S$ is a module over $ \mathcal{D}(V)$, the ring of differential operators on the affine scheme $ V$ with coordinate ring $ \mathbb{C}[\partial /\partial {x_1}, \ldots ,\partial /\partial {x_n}]/\left\langle {{D_1}, \ldots ,{D_r}} \right\rangle $. If $ V$ is smooth and irreducible, then $ S$ is a simple $ \mathcal{D}(V)$-module, $ S = 1.\mathcal{D}(V)$, and the generators for $ \mathcal{D}(V)$ yield an algorithm for obtaining a basis for $ S$. If $ V$ is singular, then $ S$ need not be simple. However, $ S$ is still a simple $ \mathcal{D}(V)$-module for certain curves $ V$, and certain homogeneous spaces $ V$, and this allows one to obtain a basis for $ S$, through knowledge of $ \mathcal{D}(V)$.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 35E20, 35C05

Retrieve articles in all journals with MSC: 35E20, 35C05

Additional Information

Article copyright: © Copyright 1992 American Mathematical Society

American Mathematical Society