Spectrum of a self-adjoint operator in L2 (K), where K is a local field; Analog of the Feynman-Kac formula