We present a theory for the scanning tunneling microscope (STM) curren
t based on a Keldysh Green function formalism. In our formalism, we so
lve self-consistently an ab initio linear combination of atomic orbita
ls Hamiltonian within a local density formalism. Total energy calculat
ions for xenon deposited on metal surfaces are performed to obtain the
equilibrium position, and the Green functions needed to compute the c
urrent are obtained at the same time. Structural and nonstructural eff
ects that can influence the correct interpretation of experimental STM
results are studied. We find good agreement between our calculations
and experimental images taken under highly controlled conditions, and
we conclude that STM images should be analyzed by comparing iterativel
y the theory and the experiment, much in the same way as it is usually
done for other surface sensitive techniques Like low-energy electron
diffraction, photoelectron diffraction, surface-extended x-ray-absorpt
ion fine structure spectroscopy, etc.