Monday, 30 April 2018

calculus - Showing Dirichlet Integral exists



The problem I'm trying to do is the following, Spivak Chapter 19 Problem 43.



Problem:



a) Use integration by parts to show that
basinxxdx=cosaacosbbbacosxx2dx



and conclude that 0sinxx exists. (Use the left side to investigate the limit as a0 and the right side for the limit as b.)



c) Prove that
limλπ0sin(λ+12)t[2t1sint2]=0



What I tried:



For item a, the integration by parts is easy. For the rest, I think that just pointing out that the integrand behaves nicely at x=0 is sufficient as elsewhere it's a continuous function (right?). But for the second thing it asks regarding the limit at infinity, I wasn't able to come up with a good explanation.



For item c, I know that the limit of the brackets as x goes to zero is zero, and I know that this somehow is to be used, but I don't see how. It gives a hint: to use the "Reimann-Lebesgue Lemma".




Please keep the answers at an appropriate level and from fundamentals so that there is no need to use fancy theorems that solve in few lines, but just take the search for the answer elsewhere.



*I found many solutions to the Dirichlet problem, but I believe none of them actually took/explained these steps.


Answer



For (a), notice that limx0sin(x)x=0 implies that sin(x)x is continuous and bounded in (0,a] and therefore it is integrable in [0,a].



In [a,+), with a>0,
+asinxxdx=cosaalimb+cosbb+acosxx2dx.


which is finite because limb+cosbb=0 and

|cosx|x21x2+a|cosx|x2dx+a1x2dx=1a<+

(recall that absolutely integrable functions are also integrable).



Hence we may conclude that sin(x)x is integrable in [0,a][a,+)=[0,+).



As regards (c), in order to apply Riemann-Lebesgue Lemma, we have to verify that
f(t):=2t1sint2


is integrable in [0,π] which is true because
limt0+f(t)=limt0+(2t1t2+o(t2))=limt0+2t(111+o(t))0=limt0+2o(t)t(1+o(t))=0

and therefore f is continuous and bounded in (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}...