Nilpotent ordinary differential operators with polynomial coefficients (Q1084565): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
m rollbackEdits.php mass rollback
Tag: Rollback
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0022-0396(87)90037-4 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2023818083 / rank
Normal rank
 

Revision as of 06:56, 20 March 2024

scientific article
Language Label Description Also known as
English
Nilpotent ordinary differential operators with polynomial coefficients
scientific article

    Statements

    Nilpotent ordinary differential operators with polynomial coefficients (English)
    0 references
    1987
    0 references
    We prove that nilpotent elements in the Weyl algebra have unique normal operator closures, and give a spectral representation. We consider the Schwartz space \({\mathcal S}\) as a dense subspace of \(L^ 2(R)\), and the operators \((Pf)(x)=-if'(x)\), \((Qf)(x)=xf(x)\), satisfying (ad P)(Q)f\(=[P,Q]f=PQf-QPf=-if\), \(f\in {\mathcal S}\), in the usual Schrödinger representation. Let W note the Weyl algebra generated by P and Q. We assume that some \(A\in W\) satisfies the local nilpotency condition: (LN): There is an integer n such that \((ad A)^ n(P)=(ad A)^ n(Q)=0.\) We then prove that there is a unitary operator U on \(L^ 2(R)\), and a complex polynomial in one variable \(\phi\), such that: (i) U(\({\mathcal S})={\mathcal S}\); (ii) \(\alpha =Ad(U)\) implements an automorphism of W; (iii) \(A=U\circ \phi (P)\circ U^*=\alpha (\phi (P))\) holds as an operator identity on \({\mathcal S}\). We also show that every \(\alpha\in Aut(W)\) satisfying \(\alpha (B^*)=\alpha (B)^*\), \(B\in W\), is unitarily implemented as in (i) and (ii). The result was conjectured by R. T. Powers. We apply this to give a new integrability theorem for the Heisenberg commutation relation, \([P,Q]=-i\).
    0 references
    polynomial differential equation
    0 references
    nilpotent Lie group
    0 references
    unitary implementation
    0 references
    Weyl algebra
    0 references
    Schwartz space
    0 references
    Schrödinger representation
    0 references
    Heisenberg commutation relation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references