It is well known from the work of Berezin [24] (Commun. Math. Phys. 40:153–174, 1975) in 1975 that the quantization problem of a classical mechanical system is closely related with coherent states. In particular coherent states help to understand the limiting behaviour of a quantum system when the Planck constant $\hbar$ becomes negligible in macroscopic units. This problem is called the semi-classical limit problem. In this chapter we discuss properties of quantum systems when the configuration space is the Euclidean space $\mathbb R^n$ . So that in the Hamiltonian formalism, the phase space is $\mathbb R^n\times \mathbb R^n$ with its canonical symplectic form $\sigma$ . The quantization problem has many solutions, so we choose a convient one, introduced by Weyl [259] (The Classical Groups, 1997) and Wigner [261] (Group Theory and Its Applications to Quantum Mechanics of Atomic Spectra, 1959). We study the symmetries of Weyl quantization, the operationnal calculus and applications to propagation of observables. We show that Wick quantization is a natural bridge between Weyl quantization and coherent states. Applications are given to the semi-classical limit after introducing an efficient modern tool: the semi-classical measures. We illustrate the general results proved in this chapter by explicit computations for the harmonic oscillator. More applications will be given in the following chapters, in particular concerning propagators and trace formulas for a large class of quantum systems.It is well known from the work of Berezin [24] (Commun. Math. Phys. 40:153–174, 1975) in 1975 that the quantization problem of a classical mechanical system is closely related with coherent states. In particular coherent states help to understand the limiting behaviour of a quantum system when the Planck constant $\hbar $ becomes negligible in macroscopic units. This problem is called the semi-classical limit problem. In this chapter we discuss properties of quantum systems when the configuration space is the Euclidean space $\mathbb R^n$. So that in the Hamiltonian formalism, the phase space is $\mathbb R^n\times \mathbb R^n$ with its canonical symplectic form $\sigma $. The quantization problem has many solutions, so we choose a convient one, introduced by Weyl [259] (The Classical Groups, 1997) and Wigner [261] (Group Theory and Its Applications to Quantum Mechanics of Atomic Spectra, 1959). We study the symmetries of Weyl quantization, the operationnal calculus and applications to propagation of observables. We show that Wick quantization is a natural bridge between Weyl quantization and coherent states. Applications are given to the semi-classical limit after introducing an efficient modern tool: the semi-classical measures. We illustrate the general results proved in this chapter by explicit computations for the harmonic oscillator. More applications will be given in the following chapters, in particular concerning propagators and trace formulas for a large class of quantum systems.

Theoretical and mathematical physicsJan 1, 20210 citations

\hbar

becomes negligible in macroscopic units. This problem is called the semi-classical limit problem. In this chapter we discuss properties of quantum systems when the configuration space is the Euclidean space

\mathbb R^n

. So that in the Hamiltonian formalism, the phase space is

\mathbb R^n\times \mathbb R^n

with its canonical symplectic form

\sigma

. The quantization problem has many solutions, so we choose a convient one, introduced by Weyl [259] (The Classical Groups, 1997) and Wigner [261] (Group Theory and Its Applications to Quantum Mechanics of Atomic Spectra, 1959). We study the symmetries of Weyl quantization, the operationnal calculus and applications to propagation of observables. We show that Wick quantization is a natural bridge between Weyl quantization and coherent states. Applications are given to the semi-classical limit after introducing an efficient modern tool: the semi-classical measures. We illustrate the general results proved in this chapter by explicit computations for the harmonic oscillator. More applications will be given in the following chapters, in particular concerning propagators and trace formulas for a large class of quantum systems.