Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let A be a linear operator. $A: L^2(0,1) \rightarrow L^2(0,1)$ given by $Ag(a) = \int_0^a(a-x)g(x)dx$ where $a \in (0,1)$. This is the integral operator, and we know ||A|| < 1 which is easy to check. We want to show $A^kg(a) = \int_0^a\frac{(a-x)^{2k-1}}{(2k-1)!}g(x)dx$ where $a \in (0,1)$. Induction seems like an obvious way to approach this:

Base case k = 1: $(2k-1)! = 1 $ and $(2k-1) = 1$ hence $A^1g(a)$ is same as given.

Induction hypothesis: Assume $A^ng(a) = \int_0^a\frac{(a-x)^{2n-1}}{(2n-1)!}g(x)dx$ holds for n = k.

Induction step: Apply the linear operator $A$ to $A^ng(a)$, having a bit trouble with this, would we get double integrals?

After we have shown $A^kg(a)$ as above, then we will use that to find $g(a):$

$f \in L^2(0,1)$ given $g \in L^2(0,1)$ and $g(a) = f(a) + \int_0^a(a-x)g(x)dx$, from this we can find $g = (I - A)^{-1}f = \sum_{i=0}^\infty A^if = \sum_{i=0}^\infty \int_0^a\frac{(a-x)^{2i-1}}{(2i-1)!}f $ now we need to try simplify this somehow and find g without summations.

share|improve this question
    
Is it necessary to find $A^k(g)(a)$ this way? I think it is easier to prove it by induction –  Norbert Aug 14 '13 at 12:51
    
@Norbert This way preffered over induction, I am thinking that I am very close to getting question but missing a linking step. –  user77404 Aug 14 '13 at 13:42
    
Even if we prove this by induction, we will still need to find g like I did in this case? –  user77404 Aug 14 '13 at 15:07
    
as far as I understand you have two tasks 1) prove the formula for $A^k(g)(a)$ 2) for a given arbitrary $f\in L_2$ compute $g=\sum_{i=0}^\infty A^i f$. Right? –  Norbert Aug 14 '13 at 21:32
    
@Norbert that's correct, I will edit the question to make it more clear. –  user77404 Aug 14 '13 at 21:53

2 Answers 2

up vote 2 down vote accepted

1) For induction step note that $$ \begin{align} A^{k+1}(g)(a) &=\int_0^a (a-t)A^k(g)(t)dt\\ &=\int_0^a (a-t)\int_0^t \frac{(t-x)^{2k-1}}{(2k-1)!}g(x)dxdt\\ &=\int_0^a \int_0^t \frac{(a-t)(t-x)^{2k-1}}{(2k-1)!}g(x)dxdt\\ &=\int_0^a \int_{x}^{a} \frac{(a-t)(t-x)^{2k-1}}{(2k-1)!}g(x)dtdx\\ &=\int_0^a\frac{g(x)}{(2k-1)!}\int_{x}^{a} (a-t)(t-x)^{2k-1}dtdx\\ &=\int_0^a\frac{g(x)}{(2k-1)!}\frac{(a-x)^{2k+1}}{2k(2k+1)}dx\\ &=\int_0^a\frac{(a-x)^{2k+1}}{(2k+1)!}g(x)dx\\ \end{align} $$ 2) As for the second part wlog $f\geq 0$, and summands are positive. So you can interchange integration and summation: $$ \begin{align} g(a) &=A^0(f)(a)+\sum\limits_{k=1}^\infty A^k (f)(a)\\ &=f(a)+\sum\limits_{k=1}^\infty \int_0^a\frac{(a-x)^{2k-1}}{(2k-1)!}f(x)dx\\ &=f(a)+\int_0^a\sum\limits_{k=0}^\infty\frac{(a-x)^{2k-1}}{(2k-1)!}f(x)dx\\ &=f(a)+\int_0^a\sinh(a-x) f(x)dx\\ \end{align} $$

share|improve this answer

Try it this way: If you look at A2g(a) you get ∫(x-a)[∫(x-a)g(x)dx]dx.

Since you are on L2 everything is integrable and you can rewrite this as ∫g(x)[∫(a-x)2dx]dx = ∫(a-x)3g(x)/3 dx. This looks good although it is missing a factor of 1/2.

You can keep going this way, and you'll get what you want, missing the factor of 1/2, which either is there somewhere and I can't quite see it; or isn't there and your formula needs a factor of 2. Can someone help me out here?

share|improve this answer
    
Your application of the formula to get $A^2 g(a)$ isn't quite right. Be careful with the variables, you should keep careful track of the integration variables as you substitute the second time around. –  Evan Aug 14 '13 at 23:54
    
@BettyMock this solution is incorrect. Beware of variables of integration. See my answer for correct use of this technique. –  Norbert Aug 15 '13 at 8:52
    
I saw your answer Norbert and thought it was very good. You are both right that I got tangled up in the variables of integration; am glad to learn this lesson. –  Betty Mock Aug 15 '13 at 18:40

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.