Contraction operator

624 Views Asked by At

In a proof of Picard's theorem using the contraction mapping theorem, we define an operator $T$ which is applied to a function $y$. I don't really see below how $Ty$ is any different from $y$ as the RHS for both are the same. Could someone please explain how they are different?

enter image description here

1

There are 1 best solutions below

1
On BEST ANSWER

Perhaps the author wrote it in a slightly confusing way. The first equation

$$y(x) = b + \int_{a}^{x}f(s,y(s))ds$$ is true of the solution $y(x)$ to the differential equation $$\frac{d}{dx}y(x) = f(x,y(x))$$ with initial condition $y(a) = b$. I would think of 1.21 as an equation that is true when the variable $y$ takes on the value "solution to the differential equation with initial condition y(a) = b".

Then the author defines the Picard operator $T$, which takes functions to functions. It might be a little more clear to use a variable other than $y$, for example

$$(Tg)(x) := b + \int_{a}^{x}f(s,g(s))ds$$

I used the $:=$ notation to indicate that here the function $T$ is being defined. The solution $y(x)$ to the differential equation will satisfy $Ty = y$ (in the sense that $(Ty)(x) = y(x)$ for all $x$ in the given time interval), but other functions will not.

For example you can work out for yourself what is the value of $Tg$ when $a=0$, $b=1$ and $f(s,z) = -z $ (This corresponds to the differential equation $\dot{y} = -y$ with initial condition $y(0)=1$). Try the function $g(x) = 0$ or $g(x) = x$. You will see that $Tg \neq g$ in both cases. (the true solution is $y(x) = e^{-x}$)