Condition for a 2nd order differential eqn to have bounded solutions?

Click For Summary
SUMMARY

The discussion centers on the conditions under which a second-order differential equation of the form a_1y''(x) + a_2y'(x) + a_3y(x) + a_4 = 0 has bounded solutions across the entire real line. The specific case presented involves the operator equation Q^{\dagger}Qy(x) = m^2y(x), where m^2 = 0 indicates the lowest energy state. The user reports difficulties in obtaining bounded numerical solutions using Mathematica for m^2 > 0, suggesting potential issues with initial conditions. The Bilateral Laplace transform and Nachbin's Theorem are proposed as potential tools for analyzing boundedness.

PREREQUISITES
  • Understanding of second-order differential equations
  • Familiarity with Hermitian operators and their properties
  • Knowledge of integral transforms, specifically the Bilateral Laplace transform
  • Basic concepts of bounded solutions in mathematical analysis
NEXT STEPS
  • Research the application of Nachbin's Theorem in the context of differential equations
  • Explore the use of the Bilateral Laplace transform for analyzing boundedness
  • Investigate the implications of initial conditions on the solutions of differential equations
  • Learn about numerical methods in Mathematica for solving differential equations
USEFUL FOR

Mathematicians, physicists, and engineers dealing with differential equations, particularly those interested in bounded solutions and numerical analysis techniques.

arroy_0205
Messages
127
Reaction score
0
Suppose I have a 2nd order differential equation
[tex] a_1y''(x)+a_2y'(x)+a_3y(x)+a_4=0[/tex]
and two conditions y(0), y'(0). Then is there any theorem which gives us the condition under which the solution y(x) will be bounded? Note that x-range is entire real line.
This is a general version of the problem I am facing. In my actual problem I have an equation like
[tex] Q^{\dagger}Qy(x)=m^2y(x)[/tex]
where dagger denotes hermitian conjugate of the operator. In this case the m^2=0 corresponds to the lowest energy and in principle I should not get any bounded solution with m^2 < 0. However I am also not getting any bounded numerical solution (using mathematica) with m^2 > 0. May be I am using wrong initial conditions. That is why I am asking this question. Can anyone suggest something?
By the way my Q and Q^dagger are
[tex] Q=-\frac{d}{dy}+p'(y); Q^{\dagger}=\frac{d}{dy}+p'(y)[/tex]
where p(y) is a known function.
 
Physics news on Phys.org
Would the Bilateral Laplace transform not help us here?

(edit) Obviously if we restrict our domain to [tex]\mathbb{R}^{+}[/tex] then the single sided Laplace transform can tell us when the function is bounded with x. I've found a link on something called Nachbin's Theorem http://en.wikipedia.org/wiki/Generalized_Borel_transform which might be of some use. It seems to generalise the notion of a function being bounded but not necessarily of exponential order. I am assuming here that we can take an integral transform of the differential equation and establish its 'boundedness' that way. What the kernal for the integral transform would be in this particular case though, I have no idea. I hope that this is on the right track...
 
Last edited:

Similar threads

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