Theorems on the Action Functional for Gaussian Random Functions