In deriving Equation 6.3 we assumed that our function had a Taylor series. The result holds more generally if we define the exponential of an operator by its spectral decomposition,
T^(a)=∫e−iap/ℏ∣p⟩⟨p∣dp,(6.80)
rather than its power series. Here I've given the operator in Dirac notation; acting on a position-space function (see the discussion on page 123) this means
T^(a)ψ(x)=∫−∞∞e−iap/ℏfp(x)Φ(p)dp,(6.81)
where Φ(p) is the momentum space wave function corresponding to ψ(x) and fp(x) is defined in Equation 3.32. Show that the operator T^(a), as given by Equation 6.81, applied to the function
ψ(x)=λe−λ∣x∣
(whose first derivative is undefined at x=0) gives the correct result.