Beals characterization of pseudodifferential operators in Wiener spaces

The aim of this article is to prove a Beals type characterization theorem for pseudodifferential operators in Wiener spaces. The definition of pseudodifferential operators in Wiener spaces and a Calder\'on-Vaillancourt type result appear in [1]. The set of symbols considered here is the one of [1]. The Weyl calculus in infinite dimension considered here emphasizes the role of the Wick bi-symbols.