Sunday, 3 February 2013

real analysis - Justifying differentiation under the integral sign with Dominated Convergence



Problem: Justify why you can use differentiation under the integral to differentiate:
I(t):=(0,)etxm(dx).

Then use I(t)=1/t to show for all nN that (0,)xnexm(dx)=n!.



Attempt: We have that: ddtI(t)=limh0I(t+h)I(t)h=limh0(0,)etx(ehx1h).

Since R is separable, it suffices to consider a sequence {hn}nN with hn0 as n. Then, we consider: limn0,)etx(ehnx1hn)
and presuming that |etx(ehnx1hn)| is bounded by an integrable function for all n, we may apply the Dominated Convergence Theorem to swap the integral sign and the limit.



Question: What can I use to bound |etx(ehnx1hn)|? Certainly we can't use ex or just e, since neither is integrable on (0,). Any suggestions?


Answer



One can check that eu1+u for all uR, hence 1euu. Applying this with u=hnx, we obtain
|ehnx1hn|=1ehnxhnhnxhn=x


if hn>0, and
|ehnx1hn|=ehnx1hn=1ehnxhnhnxhn=x


if hn<0.
Therefore
|etxehnx1hn|xetx

which is integrable on (0,) if t>0.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...