A Searching for radial part solution of Klein-Gordon type equation

art1915
Messages
2
Reaction score
0
TL;DR Summary
Solving 2nd order ODE with rank 3 irregular singularity
I am searching for a solution ##R(r)## of the following radial par1 of the Klein-Gordon equation $$[1]\qquad -\left(1-\left(\frac{r_0}{r}\right)^3\right)^{\frac{4}{3}} \partial_r^2 R(r) - \frac{2}{r \left(1-\left(\frac{r_0}{r}\right)^3\right)^{\frac{2}{3}}} \partial_r R(r) + \left(\frac{l(l+1)}{r^2 \left(1-\left(\frac{r_0}{r}\right)^3\right)^{\frac{2}{3}}} + \mu \right) R(r) = 0$$

* with ##R:\mathbb{R} \to \mathbb{C},r \to R(r)##
* with the constant ##r_0 \in \mathbb{R} \wedge r_0 \gt 0## which is a radius with the dimension ##m## (meter)
* the solution extends across two regions, an "inner range" from ##0 \le r \le r_0 ## and an "outer range" ##r_0 \le r##
* and with the constant ##\mu \in \mathbb{R}## with dimension ##m^{-2}##
* and with the dimensionless constant ##l=0,1,2,3...##
* and with the boundary condition ##\lim \limits_{r \to r_0} R(r) = 0## for the „inner range“, which can be called the boundary condition for the „inner solution“
* and with the boundary condition ##\lim \limits_{r \to \infty} R(r) = 0## for the „outer range“, which can be called the boundary condition for the „outer solution“

With the transformation ##u(r)=(r^3 - r_0^3)## equation [1] will be transformed to $$[2]\qquad \partial_u^2 R(u) + \frac{2}{u}\left(1 + \frac{r_0^6}{u^3 \left(u^3 + r_0^3\right)}\right) \partial_u R(u) - \left(\frac{l(l+1)}{u^2} + \mu \right) R(u) = 0$$

Equation [2] can be rearranged to $$[2a]\qquad \partial_u^2 R(u) + 2\left(\frac{r_0^3}{u^4} + \frac{u^2}{u^3 + r_0^3}\right) \partial_u R(u) - \left(\frac{l(l+1)}{u^2} + \mu \right) R(u) = 0$$

For ##r_0=0## equation [2] will turn to the Spherical Bessel Equation

https://www.damtp.cam.ac.uk/user/tong/aqm/bessel.pdf

which plays an important role in physics, even for the "particle in a sphere" (see page 16)

https://www.diva-portal.org/smash/get/diva2:815669/FULLTEXT01.pdf

Because of the roots of ##u^3+r_0^3=\left(u+r_0\right)\left(u+r_0\frac{1}{2}\left(1+i\sqrt{3}\right)\right)\left(u+r_0\frac{1}{2}\left(1-i\sqrt{3}\right)\right)## equation [2] has regular singularities at ##u_1=-r_0##, ##u_2=-r_0\frac{1}{2}\left(1+i\sqrt{3}\right)## and ##u_3=-r_0\frac{1}{2}\left(1-i\sqrt{3}\right)## and an irregular singularity of ##rank\ 3## at ##u_0=0## and an irregular singularity of ##rank\ 3## at ##u_4=\infty## (see Möbius transformation with ##u=w^{-1}##).

The inner solution
The irregular singularity at ##u_0=0## indicates, that a Frobenius solution is not possible. Instead one has to use a different Ansatz, as mentioned on page 32 in the mathematics lecture "Ordinary Differential Equations" from Henry Liu at the Columbia University:

https://member.ipmu.jp/henry.liu/teaching/ss19-ode/notes.pdf

For this, the Ansatz for a solution ##y(x)## covering an irregular singularity ##x_0## of ##rank\ k## should be $$y(x)=y_0(x)\ exp\left(\frac{c_{k}}{(x-x_0)^{k}} + \frac{c_{k-1}}{(x-x_0)^{k-1}} + ... + \frac{c_{1}}{x-x_0}\right)$$ where ##y_0(x)## is a Frobenius solution.

The inner solution of [2] should look like $$R(u)=R_0(u)\ exp\left(\frac{c_{3}}{u^3} + \frac{c_{2}}{u^2} + \frac{c_{1}}{u}\right)$$ where ##R_0(u)## is a Frobenius solution.

Questions
(1) How should I prepare the Ansatz for the Frobenius solution ##R_0(u)## with respect to the regular singularities at ##u_1=-r_0##, ##u_2=-r_0\frac{1}{2}\left(1+i\sqrt{3}\right)## and ##u_3=-r_0\frac{1}{2}\left(1-i\sqrt{3}\right)## for the inner solution?
(2) Is there any other option to solve equation [2], perhaps with a transformation into another kind of 2nd order ODE which is perhaps easier to solve?
(3) is there a method to determine the dependency or restrictions on "quantum numbers" of ##\mu## and/or ##r_0## without an explicit solution ##R(u)##?
 
Physics news on Phys.org
There is a mistake:

The transformation is ##u(r)=(r^3 - r_0^3)^{\frac{1}{3}}##
 
Thread 'Direction Fields and Isoclines'
I sketched the isoclines for $$ m=-1,0,1,2 $$. Since both $$ \frac{dy}{dx} $$ and $$ D_{y} \frac{dy}{dx} $$ are continuous on the square region R defined by $$ -4\leq x \leq 4, -4 \leq y \leq 4 $$ the existence and uniqueness theorem guarantees that if we pick a point in the interior that lies on an isocline there will be a unique differentiable function (solution) passing through that point. I understand that a solution exists but I unsure how to actually sketch it. For example, consider a...
Back
Top