The new
c-number calculus for functions of noncommuting operators, developed in Paper I and employed in Paper II to formulate a general phase-space description of boson systems, deals with situations involving equal-time operators only. In the present paper extensions are presented for the treatment of problems involving boson operators at two or more instants of time. The mapping of time-ordered products onto
c-number functions is studied in detail. The results make it possible to evaluate time-ordered products of boson operators by phase-space techniques. The usual Wick theorem for boson systems is obtained as a special case of a much more general theorem on time ordering. Our method of derivation appears to provide the first direct proof of Wick's theorem as well as a clear insight into its true meaning. A closed expression is also obtained for the time-evolution operator in terms of the solution of the
c-number differential equation for the phase-space equivalent of this operator. The new calculus is also applied to the problem of evaluating normally ordered time-ordered, and also the antinormally ordered time-ordered, correlation functions.
A new calculus for functions of noncommuting operators is developed, based on the notion of mapping of functions of operators onto
c-number functions. The class of linear mappings, each member of which is characterized by an entire analytic function of two complex variables, is studied in detail. Closed-form solutions for such mappings and for the inverse mappings are obtained and various properties of these mappings are studied. It is shown that the most commonly occurring rules of association between operators and
c-numbers (the Weyl, the normal, the antinormal, the standard, and the antistandard rules) belong to this class and are, in fact, the simplest ones in a clearly defined sense. It is shown further that the problem of expressing an operator in an ordered form according to some prescribed rule is equivalent to an appropriate mapping of the operator on a
c-number space. The theory provides a systematic technique for the solution of numerous quantum-mechanical problems that were treated in the past by ad hoc methods, and it furnishes a new approach to many others. This is illustrated by a number of examples relating to mappings and ordering of operators.