Explicit calculation of Frobenius isomorphisms and Poincar\'{e} duality in the theory of arithmetic $\mathscr{D}$-modules