Wold-type decomposition for Doubly commuting two-isometries

In this article, we prove that any pair of doubly commuting $2$-isometries on a Hilbert space has a Wold-type decomposition. Moreover, the analytic part of the pair is unitary equivalent to the pair of multiplication by coordinate function on a Dirichlet-type space on the bidisc.