This question is from a mathematics competition question paper.
We are given the integral equation $$ y(x)= f(x) + \int_{0}^x \sin(x-t)y(t) dt $$
Then $y$ is given by:
- $y(x) = f(x) + \int_{0}^x (x-t)f(t) dt$
- $y(x) = f(x) - \int_{0}^x (x-t)f(t) dt$
- $y(x) = f(x) - \int_{0}^x \cos(x-t)f(t) dt$
- $y(x) = f(x) - \int_{0}^x \sin(x-t)f(t) dt$
From what I know, the solution is $$y(x) = f(x) + \int_{0}^x R(x,t,\lambda)f(t) dt,$$ where $R(x,t,\lambda)$ is the resolvent kernel.
Which is given by $$R(x,t,\lambda)= \sum_{n=0}^\infty \lambda^n K_{n+1}(x,t),$$ and $K_{n+1}(x,t)= \int_{t}^x K(x,t)K_n(x,t) $ with $K_1(x,t) = K(x,t)$.
But in this case, the resolvent kernel is not easy to find so I suppose there is something else used here. Please guide me.
The integral on the right-hand side of the equation is the convolution $\sin(x) * y(x),$ where
$$f(x) * g(x) = \int_0^x f(x - t)g(t) dt$$
A very useful property of the convolution is how it behaves with the Laplace transform:
$$\mathcal L\{f(x) * g(x)\} = \mathcal L\{f(x)\} \cdot \mathcal L\{g(x)\}$$
So, let's try taking Laplace transforms of both sides. (Laplace transform table for convenience)
Let $F(s) = \mathcal L\{f(x)\}$ and $Y(s) = \mathcal L\{y(x)\}$:
$$\mathcal L\{y(x)\} = \mathcal L\{f(x) + sin(x) * y(x)\} = \mathcal L\{f(x)\} + \mathcal L\{sin(x)\} \cdot \mathcal L\{y(x)\} \\ Y(s) = F(s) + \frac{1}{s^2 + 1} Y(s) \\ \frac{s^2}{s^2 + 1}Y(s) = F(s) \\ Y(s) = \frac{s^2 + 1}{s^2} F(s) = F(s) + \frac{1}{s^2}F(s)$$
Now we can take inverse Laplace transforms on both sides and reapply the Convolution Theorem to obtain:
$$y(x) = f(x) + x * f(x) = f(x) + \int_0^x (x - t)f(t) dt$$
which lines up with answer choice 1.
Hope this helps!