Why does separation of variables work?

In summary, the author is explaining how to solve a separable ODE using integration by parts. The notation used is convenient, but the underlying mechanics are more complicated.
  • #1
5
0
To solve a separable ODE like this I would simply multiply each side by dx and then integrate both sides. However, I know that it is only notational convenience that allows me to do this, and what's really going on is slightly more complicated.


Take this DE for example:

[tex]y^{2}\frac{dy}{dx}=x+1[/tex]

[tex]\int{(y^{2}\frac{dy}{dx})}dx=\int{(x+1)}dx[/tex]

[tex]\int{y^{2}}dy=\int{(x+1)}dx[/tex]

[tex]\frac{y^{3}}{3} = \frac{x^{2}}{2} + x + c[/tex]


What I don't understand, is how the LHS simplified like this:
[tex]\int{(y^{2}\frac{dy}{dx})}dx = \int{y^{2}}dy[/tex]

I'm sorry for asking such a basic questions, but my book does not explain this well at all :(
 
Physics news on Phys.org
  • #2
You simplify multiply the dx by the dx in the denominator of dy/dx. Of course, it's not rigorously mathematically legal but i as well have never found out why we can actually do that.
 
  • #3
Kaylee! said:
To solve a separable ODE like this I would simply multiply each side by dx and then integrate both sides. However, I know that it is only notational convenience that allows me to do this, and what's really going on is slightly more complicated.


Take this DE for example:

[tex]y^{2}\frac{dy}{dx}=x+1[/tex]

[tex]\int{(y^{2}\frac{dy}{dx})}dx=\int{(x+1)}dx[/tex]

[tex]\int{y^{2}}dy=\int{(x+1)}dx[/tex]

[tex]\frac{y^{3}}{3} = \frac{x^{2}}{2} + x + c[/tex]


What I don't understand, is how the LHS simplified like this:
[tex]\int{(y^{2}\frac{dy}{dx})}dx = \int{y^{2}}dy[/tex]

I'm sorry for asking such a basic questions, but my book does not explain this well at all :(

What you need to do is do an integration by parts. It is not simply canceling out the [tex] dx [/tex] on the numerator and denominator, although it does give the same answer.

[tex]\int{(y^{2}\frac{dy}{dx})}dx = y^2 y - \int{2 y \frac{dy}{dx}y}dx[/tex].
[tex] \Rightarrow 3 \int{(y^{2}\frac{dy}{dx})}dx = y^3 [/tex]
[tex] \Rightarrow \int{(y^{2}\frac{dy}{dx})}dx = \frac{y^3}{3} [/tex]
 
  • Like
Likes Philethan
  • #4
It is simply the chain rule (in integral form). Consider f(x) = g(h(x)).
We then have f'(x) = g'(h(x))*h'(x). In Leibnitz notation, we thus have df/dx = (dg/dh)(dh/dx). By the Fundamental Theorem of Calculus, we then have
[tex]\int g'(h(x))*h'(x) = \int f'(x) = f(x) + C[/tex]
In Leibnitz notation:
[tex]\int \frac{dg}{dh} \frac{dh}{dx} = f(x) + C = g(h(x)) + C[/tex]
Suppressing the dependency of h on x, we get the abusive notation:
[tex]\int \frac{dg}{dh} dh = g(h) + C[/tex]
It is common for physics and engineering oriented texts to gloss over this and rely on an often undefined algebra of differentials.
 
Last edited:
  • #5
Kaylee! said:
To solve a separable ODE like this I would simply multiply each side by dx and then integrate both sides. However, I know that it is only notational convenience that allows me to do this, and what's really going on is slightly more complicated.

It seems that most of calculus and DE is based on some amazing notational conveniences which magically work. The underlying mechanics is a little more annoying.

If you restate the problem, what you really have is an equation of an unknown function of x called y. Your goal is to figure out what values y can take on to make the equation true for ALL real x.

[tex]y^2(x) y'(x) = x + 1[/tex]

Both sides of this equation are a function of x, so we can take the anti-derivative of both sides. The right is easy, [tex]\int(x + 1)dx = \frac{1}{2} x^2 + x[/tex].

The other side is a pain: [tex]\int y^2(x) y'(x) dx[/tex]. Use integration by parts, you can prove [tex]\int y^2(x) y'(x) dx = y(x)^3 - \int y(x)^2 y'(x) dx[/tex], and moving over the common expression to one side, and dividing by the 3, you get [tex]\int y^2(x) y'(x) dx = \frac{1}{3} y(x)^3[/tex].

So our equation is now [tex]\frac{1}{3} y^3(x) = \frac{1}{2} x^2 + x[/tex]

All these steps are legal, so the final equation there is a true statement, but it's not the answer to the question asked. This is a SINGLE solution to the DE. To arrive at the family of solutions, we recognize that one of our steps (the anti-derivative) is not one-to-one, and with a little informal rationalization, you can also see where the hell the stupid constant of integration comes in. If you really wanted to formalize away the constant as well, you can think of the result of an anti-derivative as a set-valued operation instead of a function-valued one.

And that's how we can reduce separable ODE to first-year calculus =-) How the hell the notation works is nothing short of miraculous. Infinitesimal "dx's" are not how it works under the hood. What the hell is a "dx" anyway? It's not quite a number. Not quite a function. It's not well-typed. Infinitesimal calculus is amazing at explaining derivation (dividing by one zero is easy) but it sucks at integration (summing an infinite number of zeroes is hard!)

I'm sorry for asking such a basic questions, but my book does not explain this well at all :(
Too many people do this kind of math without really understanding how it really works, so it's good to ask such things ;-)
 
  • Like
Likes Philethan
  • #6
There is no need to integrate by parts. As slider142 pointed out, is simply the chain rule. Suppose you have the separable differential equation

[tex]f\bigl(y(x)\bigr)y'(x) = g(x),[/tex]

Let [itex]F(\eta)[/itex] be the primitive of [itex]f(\eta)[/itex]. Then, by the chain rule

[tex]\frac{d}{d x} F\bigl(y(x)\bigr)=f\bigl(y(x)\bigr)y'(x),[/tex]

now, integrating both sides of the separable ode,

[tex]\int_{x_0}^x f\bigl(y(\xi)\bigr)y'(\xi)dx = \int_{x_0}^x \frac{d}{d\xi} F\bigl(y(\xi)\bigr)d\ix = F\bigl(y(x)\bigr)- F\bigl(y(x_0)\bigr),[/tex]

so

[tex]F\bigl(y(x)\bigr) = F\bigl(y(x_0)\bigr) + \int_{x_0}^x g(\xi) d\xi,[/tex]

wich is the solution of the ode in implicit form.
 
  • #7
This is one reason why I hate the way that many introductions to calculus encourage sloppy interpretations of the symbols [tex]dx[/tex] and [tex]dy[/tex] and so forth. It leads to much confusion when one tries to actually prove the change of variables theorem; it leads to confusion in solving separable ODEs; and it leads to confusion if one still hasn't figured it out by the time one studies calculus on manifolds.

In my opinion, which may be somewhat rare, the differential symbols [tex]dx[/tex] and so on should simply not be used ever in introductory calculus and differential equations except to form the symbol [tex]d/dx[/tex] for derivatives. The reason is simply that this would avoid many sources of confusion, such as the one that prompted this thread, and it would make the transition to calculus on manifolds less annoying, which is often the first time that these symbols are given actual meanings.

In the case of separable first-order ODEs, the general first-order equation is

[tex]
\frac{dy}{dx} = f(x,y)
[/tex]

Any such equation can be rewritten in the form

[tex]
M(x,y) + N(x,y) \frac{dy}{dx} = 0
[/tex]

Choose, for example, [tex]M = -f(x,y)[/tex] and [tex]N = 1[/tex]. However, if [tex]M[/tex] and [tex]N[/tex] turn out to be functions of only x and y, respectively, then we obtain

[tex]
M(x) + N(y)\frac{dy}{dx} = 0
[/tex]

Now suppose that [tex]A[/tex] and [tex]B[/tex] are any antiderivatives of [tex]M[/tex] and [tex]N[/tex]. Then the equation is

[tex]
A'(x) + B'(y) \frac{dy}{dx} = 0
[/tex]

By the chain rule,

[tex]
B'(y) \frac{dy}{dx} = \frac{d}{dx} B(y)
[/tex]

Thus, the equation can be written as

[tex]
\frac{d}{dx} (A(x) + B(y)) = 0
[/tex]

Integrating yields the implicit solution

[tex]
A(x) + B(y) = c
[/tex]
 
Last edited:
  • Like
Likes Philethan and davidbenari
  • #8
thanks a lot for the description of the theory behind the method of separable ODE's zpconn, much appreciated.
 
  • Like
Likes Philethan
  • #9
Kaylee! said:
To solve a separable ODE like this I would simply multiply each side by dx and then integrate both sides. However, I know that it is only notational convenience that allows me to do this, and what's really going on is slightly more complicated.


Take this DE for example:

[tex]y^{2}\frac{dy}{dx}=x+1[/tex]

[tex]\int{(y^{2}\frac{dy}{dx})}dx=\int{(x+1)}dx[/tex]

[tex]\int{y^{2}}dy=\int{(x+1)}dx[/tex]

[tex]\frac{y^{3}}{3} = \frac{x^{2}}{2} + x + c[/tex]


What I don't understand, is how the LHS simplified like this:
[tex]\int{(y^{2}\frac{dy}{dx})}dx = \int{y^{2}}dy[/tex]

I'm sorry for asking such a basic questions, but my book does not explain this well at all :(

I don't understand why it is so difficult to understand the statement.
[tex]\int{y^{2}}dy=\int{(x+1)}dx[/tex]

Is the statement incorrect? Attempt to elaborate it further makes life more difficult.
 
  • #10
matematikawan said:
I don't understand why it is so difficult to understand the statement.
[tex]\int{y^{2}}dy=\int{(x+1)}dx[/tex]

Is the statement incorrect? Attempt to elaborate it further makes life more difficult.

Is not exactly incorrect, but is an abuse of notation (as we say in my country).
 
  • #11
AiRAVATA said:
Is not exactly incorrect, but is an abuse of notation (as we say in my country).

Um, which country would that be? (just curious . . . I know, I know, curiosity killed the cat :> *bites tongue*)
I think in my country they say something like that too :P
 
  • #12
Well, as [itex]y = y(x)[/itex], then

[tex]dy = \frac{dy}{dx} dx,[/tex]

so

[tex]
\int y^2 dy=\int y^2(x) y'(x) dx = \int \frac{d}{dx} \left(\frac{y^3(x)}{3}\right) dx = \frac{y^3(x)}{3} + C
[/tex]
 
  • #13
Oh it is the abuse of notation. Did you meant

y2 dy = (x+1) dx ?

I hate Machiavellian ( you know The End Justifies The Means). But I think I can tolerate this one. It is not a sin to be hypocrite in mathematics. :approve:
 
  • #14
Thats right, because if you don't specify what are x and y, then that equality is ambiguous (in the context of the ode you want to solve).

P.S. You can also see separation of variables as an example of the implicit function theorem.
 

1. Why is separation of variables used in solving partial differential equations?

Separation of variables is used in solving partial differential equations because it simplifies the problem into smaller, more manageable parts. By separating the variables, the differential equation can be expressed as a series of simpler, ordinary differential equations which can then be solved individually. This method is particularly useful for solving boundary value problems.

2. How does separation of variables work in solving differential equations?

Separation of variables involves isolating each variable on one side of the equation and separating them into separate functions. These functions can then be integrated with respect to their respective variables, resulting in a general solution. The specific constants of integration can be determined by applying boundary conditions to the problem.

3. Is separation of variables applicable to all types of differential equations?

No, separation of variables is only applicable to certain types of differential equations, specifically those that are linear and homogeneous. It is also often used for equations with separable variables, such as those found in physics and engineering problems.

4. Can separation of variables be used for systems of differential equations?

Yes, separation of variables can be used for systems of differential equations. Each equation in the system can be separated and solved separately, and then the resulting solutions can be combined to form a general solution for the entire system.

5. What are the limitations of using separation of variables in solving differential equations?

The main limitation of separation of variables is that it can only be used for linear and homogeneous equations. It also cannot be applied to all types of boundary value problems. Additionally, the process of separating variables and integrating can be time-consuming and may not always result in a closed-form solution.

Similar threads

Replies
2
Views
1K
  • Differential Equations
Replies
16
Views
764
  • Differential Equations
Replies
4
Views
1K
  • Differential Equations
Replies
3
Views
2K
  • Differential Equations
Replies
10
Views
1K
  • Differential Equations
Replies
5
Views
994
Replies
4
Views
2K
  • Differential Equations
Replies
2
Views
1K
  • Differential Equations
Replies
6
Views
2K
  • Differential Equations
Replies
18
Views
2K
Back
Top