The above lemma is immediate from the definition of Laplace transform and the linearity of the definite integral.
where and are arbitrary constants.
The next theorem relates the Laplace transform of the function with that of .
So, by definition,
We can extend the above result for derivative of a function , if exist and is continuous for . In this case, a repeated use of Theorem 10.3.5, gives the following corollary.
Now, using Theorem 10.3.5, we get
Suppose we know the Laplace transform of a and we wish to find the Laplace transform of the function Suppose that exists. Then writing gives
Thus, for some real number . As , we get
Hence,we have the following corollary.
By lemma 10.3.9, we know that Suppose Then Therefore,
Thus we get
We don't go into the details of the proof of the change in the order of integration. We assume that the order of the integrations can be changed and therefore
Thus,
Hence,