Support properties and Holmgren's uniqueness theorem for differential operators with hyperplane singularities (Q852604)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Support properties and Holmgren's uniqueness theorem for differential operators with hyperplane singularities
scientific article

    Statements

    Support properties and Holmgren's uniqueness theorem for differential operators with hyperplane singularities (English)
    0 references
    0 references
    0 references
    15 November 2006
    0 references
    Authors study the support properties of partial differential operators on \({\mathbb R}^n\), invariant with respect to a finite Coxeter group \(W\) acting linearly on \({\mathbb R}^n\). The main theorem is that if such operators \(D\) satisfy suitable conditions of regularity, then \(\text{conv} (\text{supp}(Du))= \text{conv} (\text{supp}(u))\), for each \(u\in{\mathcal E}'(X,W)\), where \({\mathcal E}'(X,W)\) denotes the space of distributions \(u\) on a real Euclidean vector space \({\mathfrak a}\) of dimension \(n\), so that \(\text{conv} (\text{supp}(u))\) is a \(W\)-invariant compact subset of \(X\). Here \(X\subset{\mathfrak a}\) is a non-empty \(W\)-invariant convex subset of \({\mathfrak a}\). The condition of regularity to which they refer, and call \((\triangle,X)\)-regularity, is characterized by requiring that such differential operators \(D\) be \(W\)-invariant linear differential operators on \({\mathfrak a}\), with analytic coefficients, such that their principal symbols are of the form \[ \sigma(D)(x,\lambda)= \left(p(\lambda)\prod_{\alpha\in\triangle} [\alpha(x)]^{n(\alpha)}\right) P(x,\lambda), \] for \((x,\lambda)\in {\mathfrak a}\times{\mathfrak a}^*\), where \(p(\lambda)\) is a homogeneous polynomial, \(n(\alpha)\in{\mathbb N}_0\equiv\{0,1,2,\cdots\}\), \(\alpha\in\triangle\), with \(\triangle\subset{\mathfrak a}^*\setminus\{0\}\). Furthermore \(P(x,\lambda)\) is a homogeneous \(X\)-elliptic polynomial, i.e., a polynomial function \(P:{\mathfrak a}\times{\mathfrak a}^*\to{\mathbb C}\) that is a homogeneous polynomial in \(\lambda\in{\mathfrak a}^*\), with real analytic coefficients on \({\mathfrak a}\), \(P(x,\lambda)=\sum_{| l| =m}a_l(x)\lambda^l\), with \(m\in{\mathbb N}_0\), such that if \((x,\lambda)\in X\times{\mathfrak a}^*\) with \(\lambda\not=0\), then \(P(x,\lambda)\not=0\). The main tools in the proof are Holmgren's uniqueness theorem and some elementary convex geometry. Applications to some special differential operators, (hypergeometric, Bessel, shift, Hamiltonian, differential operators on symmetric space), are considered.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    support theorem
    0 references
    Holmgren's uniqueness theorem
    0 references
    invariant singular partial differential operators
    0 references
    finite reflection groups
    0 references
    shift operators
    0 references
    0 references
    0 references