Home page for accesible maths 6 Chapter 6 contents

Style control - access keys in brackets

Font (2 3) - + Letter spacing (4 5) - + Word spacing (6 7) - + Line spacing (8 9) - +

6.52 Proof of theorem

To prove the theorem, we observe:

dd⁢s⁢(∫0Re-s⁢x⁢f⁢(x)⁢d⁢x)=∫0R∂∂⁡s⁢(e-s⁢x⁢f⁢(x))⁢d⁢x.\frac{d}{ds}\left(\int_{0}^{R}e^{-sx}f(x)\,dx\right)=\int_{0}^{R}\frac{% \partial}{\partial s}\left(e^{-sx}f(x)\right)\,dx.

Now

∂∂⁡s⁢(e-s⁢x⁢f⁢(x))=-x⁢e-s⁢x⁢f⁢(x).\frac{\partial}{\partial s}\left(e^{-sx}f(x)\right)=-xe^{-sx}f(x).

So the right-hand side converges to -ℒ⁢(x⁢f⁢(x))-{\mathcal{L}}(xf(x)) as R→∞R\rightarrow\infty. Since the left-hand side converges to d⁢Fd⁢s\frac{dF}{ds}, this completes the proof.