Integral formulas and an explicit version of the fundamental principle (Q1262507): Difference between revisions

The paper addresses the following problem: Let P: \({\mathbb{C}}^ n\mapsto {\mathbb{C}}^ m\) be a polynomial mapping where \(z=(z_ 1,...,z_ n)\mapsto (P_ 1(z),P_ 2(z),...,P_ m(z))\). Then consider the differential equation \[ (1)\quad P_ j(D)f(t)=0,\quad j=1,2,...,m, \] where \(D=i\partial /\partial t\) and f may be for example a smooth function defined on a bounded convex domain, \(\Omega \subset {\mathbb{R}}^ n\). In particular if \(f(t)=\exp -i<\zeta,t>\) where \(<\zeta,t>\) is the classical inner product in \({\mathbb{R}}^ n\) then f(t) solves (1) precisely if \(\zeta \in P^{-1}(0)\). The inverse set solution for the homogeneous problem is a key component in this development. Several technical requirements are placed in the mapping P together with conditions imposed on a Hefer matrix associated to P. The problem given in (1) is then generalized to distributional spaces having compact support. There is a wonderful representation theorem connecting the forcing term, \(f\in {\mathcal E}({\bar \Omega})\), the test space of infinitely differentiable functions to the solution of (1). A surprising result connecting the mapping P to an operator \(\hat T\) where T: \({\mathcal E}'(\Omega)\to {\mathcal E}'({\bar \Omega})\) and \(\hat T\) is the Fourier Laplace transform of T. An important question regarding the current is utilized in its proof. The paper concludes with several wonderful examples illustrating the results. The techniques implemented offer a wonderful and surprising blend of matrix theory, analytic function theory - more specifically residues - and distribution theory. The paper provides applications of several profound results oftentimes proven in the setting of Abelian theorems.