Exactly Solvable Time-Dependent Oscillator-Like Potentials Generated by Darboux Transformations

TL;DR

This paper introduces a method to generate exactly solvable, time-dependent oscillator-like potentials by applying a Darboux transformation that incorporates time as a parameter, extending traditional spatial-only approaches.

Contribution

It extends the Darboux transformation technique to include time dependence, enabling the construction of new exactly solvable time-dependent potentials.

Findings

Constructed new time-dependent oscillator-like potentials.

Demonstrated the method's applicability to the Schrödinger equation.

Extended the Darboux transformation framework to time-variable scenarios.

Abstract

The stationary Schroedinger equation of the harmonic oscillator is deformed by a Darboux transformation to construct time-dependent potentials with the oscillator profile. The Darboux (supersymmetric or factorization) method is usually developed in the spatial variables of the Schroedinger equation. Here we follow a variation introduced by Bagrov, Samsonov and Shekoyan to include the time-variable as a parameter of the transformation.

Equations

$$\left[i{\partial }_t+{\partial }_x^2-V_0(x,t)\right]\varphi (x,t)=0,$$

$$\left[i{\partial }_t+{\partial }_x^2-V_1(x,t)\right]\psi (x,t)=0,$$

$$L=\ell (t)\left[\beta (x,t)+{\partial }_x\right],$$

$$L\left[i{\partial }_t+{\partial }_x^2-V_0(x,t)\right]=\left[i{\partial }_t+{\partial }_x^2-V_1(x,t)\right]L.$$

$$V_1(x,t)-V_0(x,t)=i\frac{\dot{\ell }}{\ell }+2{\beta }_x,$$

$${\left({\beta }^2\right)}_x=i\dot{\beta }+{\beta }_{xx}+(V_0{)}_x,$$

$$i\dot{u}=-u_{xx}+[V_0+c_1(t)]u,$$

$${\left(\ln \frac{u}{u^{\ast }}\right)}_{xxx}=0.$$

$$\ell (t)=\exp \left(2\int dt\text{Im}(\ln u(x,t){)}_{xx}\right),V_1(x,t)-V_0(x,t)=-{\left(\ln |u(x,t){|}^2\right)}_{xx}.$$

$$u(x,t)=B(t)e^{a(t)x^2}f(x,t)$$

$$f(x,t)=e^{-\frac{b^2(t)x^2}{2}}\left[k_a{}_1{F}_1\left(\nu ,\frac{1}{2};b^2(t)x^2\right)+k_{b}b(t)x{}_1{F}_1\left(\nu +\frac{1}{2},\frac{3}{2};b^2(t)x^2\right)\right],$$

$$b(t)=\frac{c_0}{\sqrt{c_1+\gamma \cos (4t+c_2)}},$$

$$B(t)=\frac{\exp \left[i\left(\nu -\frac{1}{4}\right)\frac{c_0^2}{\gamma \lambda \sqrt{1+{\lambda }^2}}\arctan \left(\frac{\lambda }{\sqrt{1+{\lambda }^2}}\tan \left(\frac{4t+c_2}{2}\right)\right)\right]}{{\left[c_1+\gamma \cos (4t+c_2)\right]}^{1/4}},$$

$$a(t)=-i\frac{\gamma }{2}\left(\frac{\sin (4t+c_2)}{c_1+\gamma \cos (4t+c_2)}\right).$$

$${\gamma }^2=c_1^2-c_0^4,{\lambda }^2=\frac{1}{2}\left(c_1-1\right),$$

$$\ell (t)=\sqrt{c_1+\gamma \cos (4t+c_2)},$$

$$V_1(x,t)=x^2+2b^2(t)-2\frac{{\partial }^2}{\partial x^2}\left[f(x,t)e^{\frac{b^2(t)x^2}{2}}\right].$$

$${\varphi }_n(x,t)=\frac{e^{-\frac{x^2}{2}-i(2n+1)t}}{\sqrt{2^{n}n!\sqrt{\pi }}}{H}_n(x),$$

$${\psi }_n(x,t)=L{\varphi }_{n+1}(x,t),n=0,1,2,\dots ,$$

$${\psi }_0(x,t)=\frac{1}{\ell (t)u^{\ast }(x,t)}.$$

$$V_1(x,t)=x^2-2b(t)-4k_{b}b(t)\frac{\partial }{\partial x}\left[\frac{e^{-b^2(t)x^2}}{2k_a+\sqrt{\pi }{k}_b\text{mbox}Erf\left(b(t)x\right)}\right],$$

Full text

1 Introduction

It is well known that the Darboux transformations leave key geometric properties of certain classes of surfaces unchanged [1]. Such a property finds a diversity of applications in physics because the sets of solutions of the differential equations that represent dynamical laws can be modeled in geometric form. One of the branches of physics which uses the Darboux transformation in exhaustive form is the soliton theory, where nonlinear superposition principles hold. Unexpectedly, the models introduced in the eighties of the previous century to study (in the same picture) bosons and fermions were also associated with the Darboux transformation [2]. The term supersymmetric quantum mechanics came to denote the simplest case of such models and gave rise to a new branch of quantum physics which has grown stronger over the years [2, 3, 4, 5]. In this context, most of the works dealing with the supersymmetric construction of exactly solvable potentials use the Darboux transformation of a given potential in the spatial variable of the Schrödinger equation. A notable exception is offered by the papers [6, 7], where the authors introduce a variation of the Darboux transformation that includes the time-variable as a parameter. Using such a method, one can construct time-dependent potentials which are exactly solvable.

In this paper we report a new family of exactly solvable time-dependent potentials that correspond to the Darboux-deformations of the harmonic oscillator in the approach of Refs. [6, 7]. The set of solutions of the corresponding Schrödinger equation is also constructed and some of their basic properties are discussed.

2 The BSS approach

In this section we briefly summarize the approach proposed by Bagrov, Samsonov and Shekoyan (BSS) to generate time-dependent potentials by a Darboux transformation [6, 7]. Consider the following pair of dimensionless Schrödinger equations

[TABLE]

[TABLE]

where $V_{0}(x,t)$ and $V_{1}(x,t)$ are real-valued potentials that depend on time in general. In the above equations $\partial_{t}$ and $\partial_{x}$ stand for time and position partial-derivatives respectively. It is assumed that the operator

[TABLE]

with $\ell(t)$ and $\beta(x,t)$ functions to be determined, intertwines (1) and (2) as follows

[TABLE]

Then one arrives at the set of equations

[TABLE]

[TABLE]

where $\dot{f}:=\partial_{t}f$ and $f_{x}:=\partial_{x}f$. Let $u$ be the transformation function, i.e. $\beta=-(\ln u)_{x}$. Therefore, (6) is simplified to the Schrödinger-like equation

[TABLE]

with $c(t)$ an integration constant which can be set to zero. On the other hand, as the potentials $V_{0}$ and $V_{1}$ are real-valued, from (5) we have $i(\ln|\ell(t)|^{2})_{t}=-2\partial_{x}(\beta_{x}-\beta^{*}_{x})_{x}$. That is, the transformation function must satisfy

[TABLE]

Now, assuming that the function $\ell(t)$ is a real-valued we have

[TABLE]

As usual in supersymmetry, the solutions $\psi(x,t)$ of (2) can be obtained from (4) whenever the solutions of (1) are given, and vice versa. Additionally, the missing state $\psi_{0}=\frac{1}{\ell u^{*}}$ must be considered since it is also a solution of (2).

3 Time-dependent oscillators

Let $V_{0}(x,t)=x^{2}$ be the initial potential and

[TABLE]

the transformation function, with $a(t),B(t)$ and $f(x,t)$ functions to be determined. The form of $u$ in (10) is a generalization of the one used in [6] for the free-particle potential. In our case, the $u$-function could even be adapted to be one of the Gaussian wave packets discussed in e.g. [8, 9, 10]. At this stage, it is convenient to introduce an additional function $z(x,t)=b(t)x$ that couples the spatial variable $x$ with the time-parameter $t$ via the real-valued function $b(t)$. The introduction of $u(z(x,t))$ into (1) gives rise to a system which includes a differential equation in the variable $z$ for $f$, a differential equation in the variable $t$ for $B$, and a pair of constraints that are useful to determine the time-dependent functions $a$ and $b$ [11]. The straightforward calculation yields

[TABLE]

with $k_{a}$ and $k_{b}$ arbitrary constants,

[TABLE]

and

[TABLE]

In the above expressions ${}_{1}F_{1}(\nu,\eta;w)$ stands for the confluent hypergeometric function in the variable $w$ [12] and

[TABLE]

with $c_{0}$, $c_{1}$ and $c_{2}$ integration (real) constants such that $c_{1}>c_{0}^{2}$. Therefore

[TABLE]

and the new potential is given by the time-dependent function

[TABLE]

On the other hand, the well known stationary solutions of (1),

[TABLE]

lead to the solutions of (2) for the new time-dependent potential

[TABLE]

3.1 Examples

If $\nu=1/2$, the time-dependent potentials (14) acquire the special form

[TABLE]

where $2k_{a}>\sqrt{\pi}k_{b}$ to avoid singularities. For $\gamma=0$ the above function reproduces the results already reported in [13] for the conventional (time-independent) supersymmetric approach.

The time-dependent potentials (14) and (17) are depicted at three different times in Fig. 1 for the indicated sets of parameters. In both cases we can appreciate a very localized time-dependent deformation that increases in size and is shifted to the right as the time goes pass. On the other hand, the coupling function $z(x,t)=b(t)x$ is regulated by the time-dependent function defined in (12). The latter oscillates between the values $b_{\pm}=c_{0}/\sqrt{c_{1}\pm\gamma}$, so that $z$ oscillates with the time at each value of $x$. The closer is $x$ to the position of the minimum of the potential at $t=0$, the larger is the oscillation over the time.

The squared modulus of the first three non-normalized functions (16) of the potentials (14) and (17) are shown in Fig. 2 for the same parameters and times as in Fig. 1. At $t=0$ and $t=\frac{\pi}{4}$ all of them show a distribution of zeros which obeys the well known oscillation theorem of the stationary solutions (15). At other times like $t=\frac{\pi}{8}$, no function (16) has zeros. However, the distribution of the maxima of such functions follows the oscillation-like theorems obeyed by the wave-functions of complex-valued potentials [14]. This odd behavior deserves attention and will be analyzed elsewhere.

4 Concluding Remarks

We have constructed time-dependent potentials which are exactly solvable and have the oscillator profile. Such potentials are Darboux-deformations of the harmonic oscillator one in the approach introduced by Bagrov, Samsonov and Shekoyan [6, 7]. We have shown that the family of oscillator-like potentials introduced by Mielnik [13] are included as a particular case of our results. In general, the oscillator-like potentials reported here are such that the deformation generated by the Darboux procedure oscillates with the time. We have found that the related solutions present an odd behavior since they lost their zeros in time by time. However, the maxima of these functions obey the oscillation theorems that are satisfied by the solutions to the Schrödinger equation of complex-valued potentials reported in [14]. The progress on the latter subject and additional results will be reported elsewhere.

Acknowledgment

K.Z. acknowledges the funding received through a CONACyT scholarship.