Why xy''+y=0 a problem but y''+xy=0 not?

  • Context: Graduate 
  • Thread starter Thread starter nonequilibrium
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the differential equations x*y''(x) + y'(x) + y(x) = 0 and y''(x) + x*y'(x) + y(x) = 0, highlighting the behavior of solutions at x = 0. The first equation can exhibit problematic behavior at this point due to its lead coefficient not being a unit, while the second equation remains stable. The solutions to the first equation include the Bessel function of the first kind, which equals 1 at x = 0, and the Bessel function of the second kind, which behaves logarithmically near x = 0. This leads to a discussion on the implications of these behaviors in both differential equations and algebraic geometry.

PREREQUISITES
  • Understanding of differential equations, specifically second-order linear equations.
  • Familiarity with Bessel functions and their properties.
  • Knowledge of algebraic geometry concepts, particularly projections and behavior of curves.
  • Basic calculus, including the behavior of functions and their derivatives.
NEXT STEPS
  • Study the properties and applications of Bessel functions in mathematical physics.
  • Explore the stability of solutions in differential equations, focusing on lead coefficients.
  • Investigate the implications of singularities in algebraic geometry.
  • Learn about the behavior of logarithmic functions in mathematical analysis.
USEFUL FOR

Mathematicians, physicists, and students studying differential equations and algebraic geometry, particularly those interested in the stability of solutions and the behavior of functions at singular points.

nonequilibrium
Messages
1,412
Reaction score
2
Is there an insightful reason for the fact x*y''(x) + y'(x) + y(x) = 0 can go "bad" in x = 0 and y''(x) + x*y'(x) + y(x) = 0 doesn't?
 
Physics news on Phys.org
Because, if a function misbehaves, its higher derivatives will misbehave even more strongly.
 
because the "lead coefficient" X in the first one is not a unit.

the same thing happens in alkgebraic geometry with equations like xy^2 + xy + 1 = 0.

i.e. as a function of y, it is quadratic for all x except x = 0. so projection on the x-axis is two to one except over x=0 where the graph of the curve goes off to infinity.
 
Is the possible to have an arbitraray value for y'(0) if y(0) is given?
 
x*y''(x) + y'(x) + y(x) = 0 can go "bad" in x = 0
x*y''(x) + y'(x) + y(x) = 0 has two families of solutions :
One is the Bessel function of the first kind which is equal to 1 in x=0.
The other is the Bessel function of second kind whiich is equivalent to a logarithmic function in x close to 0.
It's strange to say that the logarithm go "bad" ! It behaves just like a logarithm usually behaves.
I cannot understand where is the problem.
 

Attachments

  • 2EDO.JPG
    2EDO.JPG
    36.8 KB · Views: 934

Similar threads

  • · Replies 8 ·
Replies
8
Views
898
  • · Replies 9 ·
Replies
9
Views
1K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
7
Views
3K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
1K
  • · Replies 25 ·
Replies
25
Views
3K