In this paper, we develop semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic ca...In this paper, we develop semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consist of a pair formed by a measure defined on the product of the group and its unitary dual, and by a field of trace class positive operators acting on the Hilbert spaces of the representations. We illustrate the theory by analyzing examples, which show in particular that this semi-classical analysis takes into account the finite-dimensional representations of the group, even though they are negligible with respect to the Plancherel measure.展开更多
文摘In this paper, we develop semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consist of a pair formed by a measure defined on the product of the group and its unitary dual, and by a field of trace class positive operators acting on the Hilbert spaces of the representations. We illustrate the theory by analyzing examples, which show in particular that this semi-classical analysis takes into account the finite-dimensional representations of the group, even though they are negligible with respect to the Plancherel measure.