⟨ q j + 1 | exp ⁡ ⁡ ( − − i ℏ ℏ H ^ ^ δ δ t ) | q j ⟩ = exp ⁡ ⁡ ( − − i ℏ ℏ V ( q j ) δ δ t ) ∫ ∫ d p 2 π π ⟨ q j + 1 | exp ⁡ ⁡ ( − − i ℏ ℏ p 2 2 m δ δ t ) | p ⟩ ⟨ ⟨ p | q j ⟩ ⟩ = exp ⁡ ⁡ ( − − i ℏ ℏ V ( q j ) δ δ t ) ∫ ∫ d p 2 π π exp ⁡ ⁡ ( − − i ℏ ℏ p 2 2 m δ δ t ) ⟨ q j + 1 | p ⟩ ⟨ p | q j ⟩ = exp ⁡ ⁡ ( − − i ℏ ℏ V ( q j ) δ δ t ) ∫ ∫ d p 2 π π ℏ ℏ exp ⁡ ⁡ ( − − i ℏ ℏ p 2 2 m δ δ t − − i ℏ ℏ p ( q j + 1 − − q j ) )