WIGHTMAN FUNCTIONS IN THE COVARIANT OPERATOR-FORMALISM AND THE OSTENDORF RULES

The Ostendorf rules, which generalize Feynman rules for tau functions to Wightman functions, am discussed in the light of the consistency with the operator solution and the energy-positivity condition (or the spectral condition). For the exactly solvable model called the one-loop model, it is shown that the Ostendorf rules are strictly justified.