Explicit calculation of Frobenius isomorphisms and Poincare duality in the theory of arithmetic D-modules