470 The Feynman path integral
y(τ) to an integral over the coefficientscn. Using eqn. (12.4.27), let us first determine
the argument of the exponential. We first note that
y ̇(τ) =∑∞
n=1ωncncos(ωnτ). (12.4.29)Thus, the terms in the action are:
∫β ̄h0dτm
2y ̇^2 =m
2∑∞
n=1∑∞
n′=1cncn′ωnωn′∫β ̄h0dτcos(ωnτ) cos(ωn′τ). (12.4.30)Since the cosines are orthogonal on the intervalτ∈[0,β ̄h], the integral simplifies to
∫β ̄h0dτ
m
2y ̇^2 =
m
2∑∞
n=1c^2 nωn^2∫β ̄h0dτcos^2 (ωnτ)=
m
2∑∞
n=1c^2 nωn^2∫β ̄h0dτ[
1
2
+
1
2
cos(2ωnτ)]
=
mβ ̄h
4∑∞
n=1c^2 nωn^2. (12.4.31)In a similar manner, we can show that
∫β ̄h0dτ1
2
mω^2 y^2 =mβ ̄h
4ω^2∑∞
n=1c^2 n. (12.4.32)Next, we need to change the integration measure fromDy(τ) to an integration over
the coefficientscn. This is rather subtle since we are transforming from a continuous
functional measure to a discrete one, and it is not immediately clear how the Jacobian
is computed. The simplest way to transform the measure is to assume that
Dy(τ) =g 0∏∞
n=1gndcn, (12.4.33)where theg 0 andgnare constants, and then adjust these parameters so that the final
result yields the correct free particle limitω= 0. With this change of variables,I 0
becomes
I 0 =g 0∏∞
n=1∫∞
−∞gndcnexp[
−
mβ
4(ω^2 +ω^2 n)c^2 n]
=g 0∏∞
n=1gn[
4 π
mβ(ω^2 +ω^2 n)] 1 / 2
. (12.4.34)
From eqn. (12.4.34), we see that the free particle limit can be recovered by choosing