This is a separable differential equation , which simply means that it's possible to group the #x# terms & #y# terms on opposite sides of the equation. So, this is what we'll be doing first:
#(e^x) y dy/dx= e^(-y)+e^(-2x)*e^(-y) #
#=> (e^x) dy/dx = e^(-y)/y(1 + e^(-2x))#
#=> e^x/(1+e^(-2x))dy/dx = e^(-y)/y#
Now, we want to get dy on the side with the y's, and dx on the side with the x's. We'll need to do a bit of re-arranging:
#(1+e^(-2x))/e^x dx = y/e^(-y)dy#
Now, we integrate both sides:
#int((1+e^(-2x))/e^x) dx = int y/e^(-y)dy#
Let's do each integral in in turn:
- #int((1+e^(-2x))/e^x) dx#
First, let's split this into 2 separate integrals by the addition/subtraction rule:
#=> int(1/e^x)dx + int(e^(-2x))/e^xdx#
These look kind of annoying. However, we can give them a bit of a makeover to make them look nicer (and much easier to solve):
#=> int(e^(-x))dx + int(e^(-3x))dx#
Both of these are now simple #u#-substitution integrals. If you set #u = -x# and #-3x# respectively, you'll get the answer as:
#=> -e^(-x) - e^(-3x)/3 + C#
- #int y/e^(-y)dy#
#If we make the negative exponent positive, we get:
#int(ye^y)dy#
We'll need to use integration by parts for this. The formula is:
#int(uv)dy=uv-int(v*du)#
We're going to set #u = y#, and #dv = e^y dy#. The reason is that we want an easy #du# for that final integration, and also because #e^y# is very easy to integrate.
So:
#u = y#
#=> du = dy#
#dv = e^y dy#
#v = e^y#
Now, we just plug and chug:
#=> int(ye^y)dy = ye^y - int(e^y) dy#
#= ye^y - e^y#
Putting everything back in:
#ye^y - e^y = -e^(-x) - e^(-3x)/3 + C#
Getting rid of negative exponents:
#ye^y - e^y = -1/e^(x) - 1/(3e^(-3x)) + C#
And that's a pretty decent final answer. If you wanted to solve for #y#, you could, and you'd end up with
#y = -1/(e^(x)e^y) - 1/(3e^ye^(-3x)) + C/e^y + 1#
Notice that we don't have a #+ C# on the LHS of this equation. The reason for this is that even if we did put it, we would ultimately subtract it from the RHS, and an arbitrary constant minus an arbitrary constant is still (wait for it) an arbitrary constant. Hence, for these problems as long as you have your #+C# on any one side of the equation, you'll be fine.
Hope that helped :)
