Ordinary Differential Equation - Comparing 2 Solutions

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 1K views
AntSC
Messages
65
Reaction score
3

Homework Statement



[tex]{g}'\left ( s \right )+\mu g\left ( s \right )={f}'\left ( -s \right )+\mu f\left ( -s \right )[/tex]
Integrate up to get
[tex]g\left ( s \right )=-f\left ( -s \right )+2\mu e^{-\mu s}\int_{-s}^{\infty }e^{-\mu {s}'}f\left ( {s}' \right )d{s}'[/tex]

Homework Equations



As above

The Attempt at a Solution



I've seen a few attempts at this, one that arrives at the correct solution, which is the method i used and had no trouble with. However, another attempt I've seen, which doesn't yield the correct solution is causing me much headache as i can't work out where it's going wrong. Some pointing out here would be really helpful. Thanks

Using the following integrating factor on the equation above
[tex]e^{\int \mu ds}=e^{\mu s}[/tex]
[tex]e^{\mu s}{g}'\left ( s \right )+e^{\mu s}\mu g\left ( s \right )=e^{\mu s}\left [ {f}'\left ( -s \right )+\mu f\left ( -s \right ) \right ][/tex]
At this point i wrote
[tex]\frac{d}{ds}\left [ e^{\mu s}g\left ( s \right ) \right ]=e^{\mu s}\left [ {f}'\left ( -s \right )+\mu f\left ( -s \right ) \right ][/tex]
[tex]\left. e^{\mu {s}'}g\left ( {s}' \right ) \right|_{-\infty }^{s}=\int_{-\infty }^{s}e^{\mu {s}'}\left [ {f}'\left ( {-s}' \right )+\mu f\left ( {-s}' \right ) \right ]d{s}'[/tex]
Then to skip a few steps i did by parts integration to get the following (can include missing steps if needed)
[tex]e^{\mu s}g\left ( s \right )=-e^{\mu s}f\left ( -s \right )+ 2\mu \int_{-\infty }^{s}f\left ( {-s}' \right )e^{\mu {s}'}d{s}'[/tex]
[tex]g\left ( s \right )=-f\left ( -s \right )+ 2\mu e^{-\mu s}\int_{-\infty }^{s}f\left ( {-s}' \right )e^{\mu {s}'}d{s}'[/tex]
Swapping limits and changing 's' for '-s' gives
[tex]g\left ( s \right )=-f\left ( -s \right )+ 2\mu e^{-\mu s}\int_{-s}^{\infty }f\left ( {s}' \right )e^{-\mu {s}'}d{s}'[/tex]
As required


The other route wrote took the following path
[tex]\frac{d}{ds}\left [ e^{\mu s}g\left ( s \right ) \right ]e^{-\mu s}=\frac{d}{ds}\left [ f\left ( -s \right )e^{-\mu s} \right ]e^{\mu s}[/tex]
[tex]\frac{d}{ds}\left [ e^{\mu s}g\left ( s \right ) \right ]=-\frac{d}{ds}\left [ f\left ( -s \right )e^{-\mu s} \right ]e^{2\mu s}[/tex]
[tex]\left. e^{\mu {s}'}g\left ( {s}' \right ) \right|_{-\infty }^{s}=\int_{-\infty }^{s}-e^{2\mu {s}'}\frac{d}{ds}\left [ f\left ( {-s}' \right )e^{-\mu {s}'} \right ]d{s}'[/tex]
[tex]e^{\mu s}g\left ( s \right )=\left. -e^{2\mu {s}'}f\left ( {-s}' \right )e^{-\mu {s}'}\right|_{-\infty }^{s}+ \int_{-\infty }^{s}2\mu e^{2\mu s}f\left ( {-s}' \right )e^{-\mu {s}'}d{s}'[/tex]
[tex]e^{\mu s}g\left ( s \right )=-e^{\mu s}f\left ( -s \right )+ 2\mu e^{2\mu s}\int_{-\infty }^{s}f\left ( {-s}' \right )e^{-\mu {s}'}d{s}'[/tex]
[tex]g\left ( s \right )=-f\left ( -s \right )+ 2\mu e^{\mu s}\int_{-\infty }^{s}f\left ( {-s}' \right )e^{-\mu {s}'}d{s}'[/tex]
Swapping limits and changing 's' for '-s' gives
[tex]g\left ( s \right )=-f\left ( -s \right )+ 2\mu e^{\mu s}\int_{-s}^{\infty }f\left ( {s}' \right )e^{\mu {s}'}d{s}'[/tex]
This is giving a sign swap in the final solutioin that is having my head spin. Can't see the route of this. Can anyone spot the mistake?
 
Physics news on Phys.org
Swapping [itex]\int_{-s}^\infty ds'[/itex] for [itex]\int_{-\infty}^s ds'[/itex] is equivalent to making the substitution [itex]u= -s'[/itex]. Then [itex]du= -ds'[/itex]. When [itex]s'= -\infty[/itex], [itex]u= \infty[/itex] and when [itex]s'= s[/itex], [itex]u= -s[/itex].

So [tex]\int_{-s}^\infty f(-s')e^{-\mu s'}ds'= \int_u^{-\infty}f(u)e^{\mu u}(-du)= \int_{-\infty}^u f(u)e^{\mu u}du[/tex]