For standard Brownian motion and , , the title gives the joint Laplace transform of the terminal square and the integrated square of Brownian motion. At the answer is . To prove the formula, use the stochastic exponentialOn every finite interval , , so the bounded local martingale criterion makes it a martingale. The Girsanov theorem changes into the zero-started Ornstein-Uhlenbeck process under the terminal density . Its terminal variance is . Multiplying by recovers the integrand on the left of the title. The Gaussian quadratic exponential moment then gives , which simplifies to the title formula. At this reduces to the Laplace transform of the integrated square of Brownian motion after Brownian scaling.
The independent squared-normal series for the integrated square of Brownian motion gives the product . The half-integer cosine product reduces this to . Expanding at zero gives mean and variance .