Seeking advice about solving an ODE

  • Context: Graduate 
  • Thread starter Thread starter BillKet
  • Start date Start date
  • Tags Tags
    Ode
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 3K views
BillKet
Messages
311
Reaction score
30
Hello! I am trying to solve the time dependent Schrödinger equation for a 2x2 system and I ended up with this ODE:

$$y''=-iA\sin{(\omega t)}y'-B^2y$$

with the initial conditions ##y(t=0)=0## and ##y'(t=0)=B##. I can look at it numerically but I was wondering if there is a way to get something analytical out of it. In my case I have ##B<<A,\omega## (not sure if that helps), but I am interested in the way ##y## depends on B, so I can't just drop that term either. Any advice would be greatly appreciated. Thank you!
 
Physics news on Phys.org
First set [itex]\tau = \omega t[/itex] so that [tex] \frac{d^2 y}{d\tau^2} + i\alpha\sin(\tau) \frac{dy}{d\tau} + \epsilon^2 y = 0[/tex] subject to [itex]y(0) = 0[/itex], [itex]y'(0) = \epsilon[/itex] where [itex]\alpha = A/\omega[/itex] and [itex]\epsilon = B/\omega \ll 1[/itex].

Pose an asymptotic expansion [tex] y(t) \sim \sum_{k=0}^\infty \epsilon^ky_k(t)[/tex] in the limit [itex]\epsilon \to 0[/itex]. Then the ODE becomes [tex] (y''_0 + i\alpha\sin(\tau) y'_0) + \epsilon(y''_1 + i\alpha\sin(\tau) y'_1) \\<br /> + \sum_{k=2}^\infty \epsilon^k \left(y''_k + i\alpha\sin(\tau)y'_k + y_{k-2}\right) = 0[/tex] so that considering coefficients of [itex]\epsilon^k[/itex] we have [tex] \begin{split}<br /> y''_0 + i\alpha \sin(\tau) y_0' &= 0 \\<br /> y''_1 + i\alpha \sin(\tau) y_1' &= 0 \\<br /> y''_k + i\alpha \sin(\tau) y_k' &= -y_{k-2} \end{split}[/tex] subject to the initial conditions
[tex]\begin{gather*}y_k(0) = y'_k(0) = 0, \quad k \neq 1 \\<br /> y_1(0) = 0, \quad y_1'(0) = 1.\end{gather*}[/tex] The equation for [itex]y_k[/itex] can be solved by an integrating factor once [itex]y_0, \dots, y_{k-1}[/itex] are known. ("Solved" in the sense that the solution can be written in terms of integrals, but the integrals may or may be expressible in terms of elementary functions.) It seems that [itex]y_{2k} \equiv 0[/itex] so only the odd terms contribute.
Note that this expansion is only valid so long as [tex] \left| \frac{y_{2k+3}}{y_{2k+1}} \right| < \frac 1{\epsilon^2}.[/tex]
 
Last edited:
If we omit ##-B^2 y## in RHS, we can solve the simplified ODE,
[tex]y=B\int_0^t du \ e^{\frac{iA}{\omega}\cos \omega u}[/tex]
We may be able to expect that in a short time the solution of the original ODE does not so much different from it. I would appreciate it If you could check the difference with your numerical solution.
 
It i spossible to obtain a power series solution. The system is of the form [tex] \dot x = M(t)x[/tex] for [itex]x \in \mathbb{R}^2[/itex] where [itex]x = (y, \dot y)^T[/itex] and [tex] M = \begin{pmatrix} 0 & 1 \\ -B^2 & -iA\sin \omega t \end{pmatrix}.[/tex] Then setting [tex]\begin{split}<br /> x(t) &= \sum_{n=0}^\infty a_nt^n \\<br /> M(t) &= \sum_{n=0}^\infty M_nt^n \end{split}[/tex] we have [tex] \sum_{n=0}^\infty (n+1)a_{n+1}t^n = \sum_{n=0}^\infty t^n \left[ <br /> \sum_{m=0}^n M_{n-m}a_m<br /> \right][/tex] whence [tex] a_{n+1} = \frac{1}{n+1} \sum_{m=0}^n M_{n-m} a_m, \qquad n \geq 0[/tex] with [itex]a_0 = (0, B)^T[/itex].