The resolvent kernal $R(x,t,\lambda)$ for the Volterra integral equation $$\phi(x)=x+\lambda\int\limits_a^x\phi(s)ds$$ is $\begin{array}1 1. e^{\lambda(x+t)} && 2. e^{\lambda(x-t)} && 3. \lambda e^{(x+t)} && 4. e^{\lambda xt} \end{array}$
From what I learned from here: Find iterative kernel and then try guess resolvent kernel, $R=\sum\limits_{i=1}^\infty K_i(x,t)$
Comparing with general form of Volterra equation of second kind, $$g(x)\phi(x)=f(x)+\lambda\int\limits_a^x K(x,t)\phi(t)dt$$
Kernel, $K(x,t)=1,K_1(x,t)=K(x,t)=1$
Now, $K_2(x,t)=\int\limits_t^x K(x,s)K_1(s,t)ds=\int\limits_t^x ds=x-t$
$K_3(x,t)=\int\limits_t^x K(x,s)K_2(s,t)ds \\=\int\limits_t^x (s-t)ds=\frac{s^2}2-ts\big|_{s=t}^x \\=\frac{x^2}2-tx-\frac{t^2}2+t^2=\frac{x^2}2-tx+\frac{t^2}2 \\=\frac1{\sqrt2}(x-t)^2$
And I am stuck, though I am tempted to choose option 2, since it has $x-t$.
I haven't done any coursework in Integral Equations, and I know only bits and pieces about it.
My doubts are:
- Was I right in choosing $K(x,t)=1$? How does $\lambda$ find its place in resolvent kernel?
- How to proceed further?
- Are there any trial and error methods, where I can plug in the options to see if it is the answer?
It is better to start with the definition: $R(x,t,\lambda)$ is the resolvent kernel for $\phi(x)=f(x)+\lambda\int\limits_a^x\phi(s)ds$ if the solution can written as $$ \phi(x) = f(x) + \lambda\int_a^x R(x,t,\lambda)f(t)dt. $$ Taking derivatives on both sides of the equation $\phi(x)=f(x)+\lambda\int\limits_a^x\phi(s)\mathrm{d}s$, we get $\phi'(x) = f'(x)+\lambda \phi(x)$. Therefore, $$ \frac{d}{dx}e^{-\lambda x}\phi(x) = e^{-\lambda x} f'(x) $$ and \begin{align} e^{-\lambda x}\phi(x) &= e^{-\lambda a}\phi(a) + \int_a^x e^{-\lambda t}f'(t)dt\cr &=e^{-\lambda a} \phi(a)+\left.e^{-\lambda t}f(t)\right|_a^x -\int_a^x f(t)de^{-\lambda t} \cr &=e^{-\lambda x}f(x)+e^{-\lambda a}\big(\phi(a)-f(a)\big) +\lambda \int_a^x e^{-\lambda t}f(t)dt. \end{align} Using the fact $\phi(a)=f(a)$ (by evaluating the integral equation at $x=a$), we get $$ \phi(x) = f(x)+\lambda\int_a^x e^{\lambda (x-t)}f(t)dt. $$ Therefore the resolvent kenrel is $R(x,t,\lambda)=e^{\lambda(x-t)}$.
If you continue your calculation, you will find (using induction) $K_n(x,t) = (x-t)^{n-1}/(n-1)!$, and the connection to the resolvent kernel is that $$ R(x,t,\lambda) = K_1(x,t)+\lambda K_2(x,t) + \lambda^2 K_3(x,t)+\cdots =e^{\lambda(x-t)}, $$ consistent with the above approach.