Solving Non-Linear ODE's with Constant Coefficients

  • Context: Graduate 
  • Thread starter Thread starter MathNerd
  • Start date Start date
  • Tags Tags
    Non-linear
Click For Summary

Discussion Overview

The discussion revolves around methods for solving non-linear ordinary differential equations (ODEs) with constant coefficients, specifically focusing on Riccati equations and their generalizations. Participants explore the solvability of these equations based on the degree of the polynomial involved.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents a non-linear differential equation of the form \(\frac{dy}{dx} = ay^3 + by^2 + cy + d\) and queries about analytic methods for its solution.
  • Another participant discusses a general form of non-linear differential equations, suggesting that knowing the roots of the polynomial allows for integration and potential solutions.
  • The discussion includes a claim that if the polynomial is of order four or lower, an analytic solution can be found, while for order five or higher, it is generally stated that no analytic solution exists due to Abel’s impossibility theorem.
  • However, a later reply introduces the idea that an analytic solution may still exist for degree five and higher under specific conditions, such as the polynomial being fully factored.
  • One participant references a computational tool (Maple 9) that may assist in determining integrals related to these equations, suggesting that solutions may depend on specific parameter values.

Areas of Agreement / Disagreement

Participants express differing views on the existence of analytic solutions for higher-degree polynomials, with some asserting that no general solution exists while others propose that specific cases may allow for solutions. The discussion remains unresolved regarding the conditions under which analytic solutions can be found.

Contextual Notes

The discussion highlights the limitations of generalizing the solvability of non-linear ODEs based on polynomial degree, emphasizing the need for specific conditions and the role of factorization in determining solutions.

MathNerd
I know that there is a general analytic method to solve the following non-linear differential equation

[tex] \frac {dy} {dx} = ay^2 + by + c[/tex]

… where a, b and c are constants. It is just a Riccati equation generalized to constant coefficients. I am wondering if there is a analytic method to solve the following non-linear differential equation where a, b, c and d are constants…

[tex] \frac {dy} {dx} = ay^3 + by^2 + cy + d[/tex]

Thanks in advanced.
 
Last edited by a moderator:
Physics news on Phys.org
Found something extra...

Actually I have found the answer and something extra that is quite interesting. The extra thing I have discovered tells us about the solvability of such differential equations…

Consider the general differential equation below, which the differential equations in my first post are just specific cases off…

[tex] \frac {dy} {dx} = \sum_{n=0}^k a_{n} y^{n}[/tex]

The right hand side of the equation is a polynomial of kth degree in y with constant coefficients a_n. Let’s say we know the zeroes of the polynomial so we can rewrite it as…

[tex] \frac {dy} {dx} = \prod_{n=1}^k ( y - r_{n} )[/tex]

where r_n are the zeroes of the polynomial. Rearranging and using the method of partial fractions we arrive at the following…

[tex] \frac {dy} {dx} \prod_{n=1}^k \frac {1} {y - r_{n}} = 1[/tex]

[tex] \frac {dy} {dx} \sum_{n=1}^k \frac {p_{n}} {y - r_{n}} = 1[/tex]

where the numbers p_n only depend on the zeroes of the polynomial and therefore are constant. We can integrate the equation and after some manipulation arrive at the following…

[tex] dy \sum_{n=1}^k \frac {p_{n}} {y - r_{n}} = dx [/tex]

[tex] \int dy \sum_{n=1}^k \frac {p_{n}} {y - r_{n}} = \int dx [/tex]

[tex] \sum_{n=1}^k p_{n} ln(y - r_{n}) = x + C [/tex]

[tex] ln( \prod_{n=1}^k (y - r_{n})^{p_{n}} ) = x + C[/tex]

[tex] \prod_{n=1}^k (y - r_{n})^{p_{n}} = e^{x+C}[/tex]

where C is the constant of integration. We can now see that the solution, y, depends on the roots r_n (even p_n depends on the roots). So we can say that if we know the roots of the polynomial in y we can solve the differential equation. There are general methods of finding the roots of polynomial equations upto order four, quartic equations, so it can be stated that if the polynomial in y is of order four or below the differential equation can be solved. What about higher orders? Well we can’t hope to find an analytic solution if the polynomial in y is of order five or higher. If we could find an analytic solution that means we would know the roots of the polynomial and would have done it in a finite number of operations. But this is a violation of Abel’s impossibility theorem, which states that the roots of a polynomial of order five or higher cannot be found by a finite number of operations. So in conclusion if the order of the polynomial in y is less than five then an analytic solution can be found, otherwise an analytic solution does not exist.
 
Last edited by a moderator:
Neat! But an analytic solution MAY exist for degree 5 and higher, it doesn't just GENERALLY exist. God is in the details!
 
Originally posted by selfAdjoint
Neat! But an analytic solution MAY exist for degree 5 and higher, it doesn't just GENERALLY exist. God is in the details!

Yes you are quite right. An analytic solution exists if the polynomial in y can be fully factored, in general quintic and higher order polynomial equations cannot be fully factored but there are some specific cases where they can be.
 
The general solution

Well, guys;
Look what Maple 9 says (see the attachment AbelConst.gif).
So, if you can determine the integral (use Maple 9 for it in your particular case, it can't be determined for any set {a,b,c,d}), you'll be able to solve the equation.
For example, see attachment AbelEx1.gif.
Good luck,
Max.
 

Attachments

  • AbelConst.gif
    AbelConst.gif
    1.4 KB · Views: 668
  • AbelEx1.gif
    AbelEx1.gif
    2.7 KB · Views: 653
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K