For an even function such that3. The result is a result of the fundamental theorem of calculus, and the
Laplace transform of a derivative for an even function zero at the origin(sufficiently well behaved).
but as is even (and sufficiently well behaved) the last limit
above is , and
For a constant we have:
which is the required result in this case.
(Note we could have done this for an arbitrary even function by keeping track of the f(0) terms rather than setting them to zero, then we would not have had to handle the constant term separately)
RonL4. Hence the result is true for a sufficiently well behaved function.
I can amplify the details if you need (though I doubt that I will feel like
going for full rigour)
This is obvious and I will not prove it, but it needs stating for the demonstration to go through when we split a function into its odd and even components.
Instead supose we decompose the original function into the sum of a constant, and odd function and an even function which is zero at the origin (an alternative is to leave the decomposition into odd and even, and kept track of the f(0) terms in the even function analysis when they would have cancelled out).
The relation is satisfied by the constant, the odd function and the even function zero at the origin, so the result holds.
I have gone back and modified the previous posts to reflect this change.