# A practical method for constructing a reflectionless potential with a given energy spectrum/ Praktiline meetod etteantud energiaspektriga mittepeegeldava potentsiaali konstrueerimiseks.

1. INTRODUCTIONThe formulation and solution of inverse problems is an increasingly important field of scientific research. However, compared to a well-posed (in Hadamard's sense) direct or forward problem, the corresponding inverse problem is much more difficult and, as a rule, ill-posed. The inverse scattering problem can be considered an exception to this rule. Namely, in the simplest one-dimensional case, the inverse scattering theory provides strict mathematical criteria for the existence, uniqueness, and stability of the solution. It means that in this particular case the inverse problem is well-posed as well.

The related forward problem is the solution of the simplest time-independent Schrodinger equation

[PSI]"(x) = V(x) - E/C [PSI](x), C [equivalent to] [[??].sup.2]/2m (1)

for a given potential V(x), and subjected to appropriate physical boundary conditions. Equation (1) can be easily solved numerically and thus, in principle, all spectral characteristics of the potential V(x) can be accurately ascertained.

The inverse problem is to determine the unknown potential starting from the known spectral characteristics. This is a serious task even in this simple case due to the following problems:

1. It is not obvious what kind of input information is actually needed to solve the problem uniquely.

2. There must be a theoretical basis (a fundamental equation) which enables us to solve the problem.

3. Apart from the theoretical difficulties, another important question arises: how to obtain the necessary input data?

4. Even if the mentioned principal barriers could be overcome, the computational-technical solution of the problem is not at all trivial.

Problems 1 and 2 have been successfully solved in the early 1950s for the class of potentials on the half line: x [member of] [0,[infintiy]). The necessary and sufficient conditions for the unique solution of the inverse problem have been formulated in a series of outstanding theoretical works by Marchenko [1,2], Gel fand and Levitan [3], Krein [4,5], and others (see, e.g., [6], section III.7 for an overview). In addition, three different methods to solve the problem have been worked out, based on the integral equations by Gel fand-Levitan [3], Marchenko [2], and Krein [5].

The solution of the inverse scattering problem on the full line (-[infinity] < x < [infinity]) is a more challenging problem, which was first addressed by Kay [7], Kay and Moses [8], and a few years later in a series of papers by Faddeev [9-12]. These fundamental studies provide a full description of the solution procedure, while the correct necessary and sufficient criteria for the uniqueness of the solution were given by Marchenko (see [13], section III.5). These criteria apply to the following pair of integral equations [8,12,13]:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (2)

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (3)

which are formally very similar to the Marchenko equation on the half line (see [13], p. 218). On the other hand, their operator-theoretical content is closer to the Gel fand-Levitan approach. Therefore, as a kind of compromise, Eqs (2)-(3) are often called Gel fand-Levitan-Marchenko (GLM) equations. The kernel [A.sub.1] in Eq. (2) (where y > x) is completely specified by the so-called right scattering data, while the kernel [A.sub.2] in Eq. (3) (y < x) is determined by the left scattering data. These two sets of input data are equivalent: the left data are uniquely determined by the right ones and vice versa. In the following analysis we will rely on Eq. (2). If one is able to solve this integral equation, then the potential is given by

V(x) = -2C d[K.sub.1](x,x)/dx. (4)

Now, let us briefly discuss Problem 3 in the above list. Unfortunately, the criteria for the uniqueness of the solution are so strict that it is nearly impossible to get all the necessary input data experimentally. However, if one sets an additional constraint that the resulting potential must be reflectionless, the inverse scattering problem can be solved much more easily. Moreover, a symmetric reflectionless potential is uniquely determined if its full spectrum of bound states is known. In the following analysis it is assumed that the potential V (x) that corresponds to Eq. (4) is reflectionless by definition.

As the general principles of building confining reflectionless potentials are long known [12,14], a natural question arises: is there any need to revisit the topic? A motivation comes from Problem 4 stated above: if the total number of bound states is large, the technical side of the procedure becomes important. This in turn motivates the development of more efficient algorithms. In this paper, an easily applicable analytic algorithm is derived, which enables us to calculate a reflectionless potential with an arbitrary number (N) of bound states.

The paper is organized as follows. In Section 2, the general principles are briefly described, which form the overall basis for the approach. Sections 3 and 4 make an excursion to the theory of determinants, the benefits of which are described and illustrated in Section 5. Finally, Section 6 concludes the work.

2. RECONSTRUCTION OF REFLECTIONLESSS POTENTIALS: UNIVERSAL RECIPE

Suppose we are given 2N parameters for an unknown reflectionless potential V (x): the positions of N discrete energy levels [E.sub.n] = -C[[kappa].sup.2.sub.n] and N norming constants [C.sub.n] (n = 1,2,...,N) for the Jost solution [[PSI].sub.1](i[[kappa].sub.n],x) of Eq. (1), so that V (-[[kappa].sub.n],x) exp(-[[kappa].sub.n]x) as x [right arrow] +[infinity], and

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (5)

Then it can be shown [14] that

[[PSI].sub.n](x) = 1/[[LAMBDA].sub.n](x) det [[A.sup.(n)]]/det (A). (6)

Here A is a symmetric matrix with the following elements:

[A.sub.mn] = [[delta].sub.mn] + a = [[LAMBDA].sub.m](x)[[LAMBDA].sub.n](x)/[[kappa].sub.m] + [[kappa].sub.n], (7)

[A.sup.(n)] is obtained from A by replacing the nth column with its derivative, and

[[LAMBDA].sub.n](x) [equivalent to][ C.sub.n] exp(-[[kappa].sub.n]x). (8)

A simple formula can also be obtained for the potential [12,14]:

V(x) = -2C [d.sup.2]/d[x.sup.2]{ln [det(A)]}, (9)

which is uniquely determined by parameters [[kappa].sub.n] and [C.sub.n].

In principle, using Eqs (7)-(9), one can reconstruct any reflectionlesss potential with given discrete energy levels and norming constants. In practice, however, the direct use of Eq. (9) is only justified if det(A) can be easily calculated, which means that N must not be very large (N [less than or equal to] 3). With increasing N the problem becomes more and more troublesome, because the expansion of det(A) contains N! terms. For example, if N = 10, there would be 10! = 3 628 800 terms, which means that ascertaining the potential is not at all trivial. Fortunately, as will be demonstrated in the forthcoming sections, there is no need to explicitly use Eq. (9). This general formula can be essentially simplified, so that the corresponding modified expansion will contain only [2.sup.N-1] terms.

Note that the potential remains unchanged if det (A) is multiplied by a function exp ([alpha]x + [beta]), where a and [beta] are arbitrary constants. Consequently, we can multiply, for example, any row of the initial matrix by a function exp [[[kappa].sub.n](x - [x.sub.n])] (n = 1,2,N), where [x.sub.n] are new parameters, equivalent to norming constants:

exp (2[[kappa].sub.n][x.sub.n]) [equivalent to] [C.sup.2.sub.n]/2[[kappa].sub.n], (10)

and thus, according to definition (8),

[[LAMBDA].sup.2.sub.n]/2[[kappa].sub.n] = exp [-2[[kappa].sub.n] (x - [x.sub.n])]. (11)

As a result, we get another matrix which contains full information for reconstructing the potential according to Eq. (9):

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (12)

Here

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (13)

and

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (14)

Remark. A subscript was added to denote the number of the bound states (and the rank of the matrix).

From now on, the determinants having the structure det(A) x exp ([alpha]x + [beta]) with the elements [A.sub.mn] defined in Eq. (7) will be sometimes called [tau]-functions (as is common in soliton theory). In the next two sections it will be shown that such determinants can be easily calculated even for an arbitrarily large N.

3. GENERAL FORMULA FOR THE [tau]-FUNCTIONS

To evaluate a non-trivial determinant, one can use the Laplace expansion (see [15], p. 487) in terms of the fixed row (or column) indices. For example, choosing a set of indices [m.sub.1],[m.sub.2],...,[m.sub.k] for an arbitrary N x N-matrix [A.sub.N], so that 1 [less than or equal to] [m.sub.1] [less than or equal to] [m.sub.2] [less than or equal to] ... [less than or equal to] N, we get

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (15)

Here A ([m.sub.1][m.sub.2]...[m.sub.k]|[n.sub.1][n.sub.2]...[n.sub.k]) is a k x k-submatrix of AN that lies on the intersection of rows [m.sub.1],[m.sub.2],...,[m.sub.k] and columns [n.sub.1],[n.sub.2],...,[n.sub.k], while

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

and M([m.sub.1][m.sub.2]...[m.sub.k]|[n.sub.1][n.sub.2]...[n.sub.k]) is a minor obtained from det ([A.sub.N]) by deleting rows [m.sub.1],[m.sub.2],...,[m.sub.k] and columns [n.sub.1],[n.sub.2],...,[n.sub.k].

Consequently, applying Eq. (15) to the [tau]-function defined by Eqs (12)-(14) yields

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (16)

where the coefficients [a.sub.0], [a.sub.i], [a.sub.ij], [a.sub.ijk], ... as well as the corresponding arguments of the exponents can be easily fixed with the help of Eqs (12)-(14). Indeed,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (14)

[[delta].sub.il] being the Kronecker symbol.

To further simplify Eq. (16), let us group the terms into pairs, so that the arguments of the corresponding exponents differ only by sign. For example, the first pair is formed of the terms with coefficients [a.sub.0] = 1 and

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Note that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Here we defined a new coefficient [A.sub.0], whose subscript "b" emphasizes that the expression -[[alpha].sub.0] = -[[kappa].sub.1](x - [x.sub.1]) - [[kappa].sub.2](x - [x.sub.2]) - ... - [[kappa].sub.N](x - [x.sub.N]) contains no terms (b terms) with plus sign. The same logic can be applied to all terms of Eq. (16). For example, the appropriate partner for the term [a.sub.1] exp([[alpha].sub.1]) is [a.sub.234...N] exp(-[[alpha].sub.1]), where

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

The principle is simple: the terms [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] are the partners in the sense explained above. In addition, as we will see below, it is convenient to define a relevant coefficient

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (18)

where the indices point at the terms with the plus sign on the right side of the expression

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (19)

Looking at the structure of the matrix [[??].sub.N] (see Eqs (12)-(14)), it is obvious that all these plus sign terms can only originate from the expansion of det ([[??].sub.N]) and they correspond to the product [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. The terms with minus sign on the right side of Eq. (19) are related to the expansion of det ([[??].sub.N]), without any contribution from det ([??]N).

On the basis of the above arguments, the following conclusions can be made:

* All terms on the right side of Eq. (16) can be grouped into pairs. There is only one term, a123...N exp = (-[[alpha].sub.0]) det ([[??].sub.N]) (with partner det ([[??].sub.N]) = [a.sub.0] exp ([[alpha].sub.0])) which is entirely formed of the elements of the matrix [[??].sub.N]. Any other term (both partners) contains some diagonal elements of the matrix [[??].sub.N] as well.

* Any term [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] exp [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] can be obtained by replacing all elements of the rows and columns [n.sub.i+1],[n.sub.i+2],...,[n.sub.N] of the matrix [[??].sub.N] with the corresponding elements of the matrix [[??].sub.N] (mostly with zeros). As a result, one gets a modified matrix [[??].sub.N], while [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] exp [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. The Laplace expansion (15) of this determinant for the fixed rows [n.sub.i+1],[n.sub.i+2],...,[n.sub.N] contains only one term!

* For any term [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] of the expansion (16) there is a partner

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

where [[bar.C].sub.N] can be obtained by replacing all elements of the rows and columns [n.sub.1], [n.sub.2],..., [n.sub.i] of the matrix [[??].sub.N] with the corresponding elements of the matrix BN. The Laplace expansion of det ([[bar.C].sub.N]) for the rows [n.sub.1],[n.sub.2],...,[n.sub.i] also contains only one term:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

It means, for example, that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (20)

* One should avoid re-use of the terms: an already existing pair must not be included again! It means that the members of the modified expansion (16) are identified by no more than [N/2] indices (square brackets denote the integer part of N/2). It is convenient to group the members on the basis of the number of indices, so that there will be 0,1,2,..., [N/2] different indices.

As the final result of the above analysis, we get the following general formula:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (21)

where

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (22)

It is easy to be convinced that the expansion (21) contains exactly [2.sup.N-1] terms in total (apart from inessential factor 2). Indeed, there are N + 1 = [C.sup.N.sub.0] + [C.sup.N.sub.1] terms with just one index and CN different terms with k > 1 indices ([i.sub.1][i.sub.2]...[i.sub.k]), while

[C.sup.N.sub.0], [C.sup.N.sub.1], [C.sup.N.sub.2], [C.sup.N.sub.3], ..., [C.sup.N.sub.[N/2]] = [(1 + 1).sup.N]/2 = [2.sup.N-1], [C.sup.N.sub.k] [equivalent to] N!/(N - k)!k!,

according to Newton's binomial theorem. Here we took into consideration that only half of this formal series is actually needed.

4. ALTERNANTS OF [tau]-FUNCTIONS

We have shown that not only det ([[??].sub.N]) itself but also the coefficients [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] in the expansion (21) are [tau]-functions. Consequently, the solution of the inverse scattering problem has been reduced to evaluating a number of determinants

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (23)

fixed by the parameters [[kappa].sub.1] < [[kappa].sub.2] < ... < [[kappa].sub.n], with n being an appropriate natural number. We are now going to derive a simple formula for calculating such [tau]-functions. First, let us set a one-to-one correspondence between each row of the determinant and a fixed parameter

[q.sub.i] = [square root of ([[kappa].sub.i])] (i = 1,2,...,n). (24)

For example, the modified elements of the first row of Eq. (23) will be

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (24)

The usefulness of this trick soon becomes evident, although there seems to be only a formal change:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (25)

Here we separated a factor 2[q.sub.i] from each row and [square root of ([[kappa].sub.i])] from each column, i.e., 2[q.sub.i][square root of ([[kappa].sub.i])] = 2[[kappa].sub.i] (i = 1,2,...,n) from each such pair.

Next, let us transform Eq. (25) into a polynomial, multiplying each row by [[PI].sub.j]([q.sup.2.sub.i] + [[kappa].sub.j]) (i = i,2,...,n). The result is

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (26)

where a new determinant

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (28)

was introduced. As can be seen, the factor [2.sup.n] x [k.sub.1][k.sub.2]...[k.sub.n] was cancelled out from Eq. (26).

We can see that the elements of the columns of [D.sub.n] correspond to different values of the same function, while any row is characterized by a single fixed parameter. Indeed, Eq. (27) can be expressed as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (28)

where

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (29)

A determinant that has a structure of Eq. (28) is called alternant (see [16], p. 161). The best-known alternant is Vandermonde's determinant (for the same set of variables)

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (30)

which can be easily evaluated (see [17], p. 16):

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (31)

An important point is that the factor [V.sub.n]([q.sub.1],[q.sub.2],...,[q.sub.n]) can be separated from any nth-order alternant. Indeed, the argument [q.sub.n] may only appear in the nth row of Eq. (28): if we put it into any other row, the determinant would be identically zero. It means that [D.sub.n] has a factor [[PI].sup.n-1.sub.i=1] ([q.sub.n] - [q.sub.i]). Analogous reasoning applied to [q.sub.n-1] shows that [D.sub.n] also has a factor [[PI].sup.n-1.sub.i=1] ([q.sub.n-1] - [q.sub.i]), etc. Putting it all together, we conclude that an nth-order alternant always has a factor [V.sub.n]([q.sub.1],[q.sub.2],...,[q.sub.n]).

To continue the analysis, let us recall some useful properties of the elementary symmetric functions:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (32)

Here Gk (k [greater than or equal to] 2) is the sum of all possible products of exactly k variables arranged in the ascending order of their indices. According to the Fundamental Theorem for symmetric polynomials (see [18], p. 312), any such polynomial can be uniquely expressed as a polynomial in [[sigma].sub.1],[[sigma].sub.2],...,[[sigma].sub.n]. This in turn is a basis for the following important theorem:

Theorem 1. Let [absolute value of ([A.sub.n])] be an nth-order alternant generated by the functions

[F.sub.j](x) = [a.sub.0j] + [a.sub.1j] x x + [a.sub.2j] x [x.sup.2] + ... + [a.sub.nj] x [x.sup.n], j = 1,2,...,n, (33)

where the parameters aij do not depend on x, and define

[S.sub.k] [equivalent to] [(- 1).sup.k][[sigma].sub.k]([q.sub.1],[q.sub.2],[q.sub.n]). (34)

Then

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (35)

Proof. Let us introduce an auxiliary polynomial

F(x) [equivalent to] (x - [q.sub.1])(x - [q.sub.2])...(x - [q.sub.n]) (36)

and form an (n + 1)th-order Vandermonde's determinant, adding a new (arbitrary) variable [q.sub.n+1], so that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

(compared with Eq. (30), the row and column indices are interchanged). Multiplying [[DELTA].sub.n+1] by [V.sub.n+1] and using Eqs (33), (34), (36), we get

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

or, in a more compact form,

[[DELTA].sub.n+1] x [V.sub.n+1] - ([q.sub.n+1] - [q.sub.1])...([q.sub.n+1] - [q.sub.n]) x [absolute value of ([A.sub.n])], (37)

where we took into consideration that F([q.sub.i]) = 0 if i = 1,2,...,n.

From Eq. (31) one concludes that

[V.sub.n+1] = ([q.sub.n+1] - [q.sub.1])([q.sub.n+1] - [q.sub.2])...([q.sub.n+1] - [q.sub.n]) x [V.sub.n],

so that both sides of Eq. (37) contain a common divisor ([q.sub.n+1] - [q.sub.1])([q.sub.n+1] - [q.sub.2])...([q.sub.n+1] - [q.sub.n]) [not equal to] 0. Consequently, [[DELTA].sub.n+1][V.sub.n] = [absolute value of ([A.sub.n])], q.e.d.

4.1. Relationship to the inverse scattering problem

Let us apply Theorem 1 to the alternant (28) generated by the functions (29), which are polynomials in a variable [x.sub.2]. Using Eqs (33) and (34), one gets

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Consequently,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (38)

Here we defined a new determinant [absolute value of ([R.sub.n])] which seems to be another alternant, so we can apply Theorem 1 to evaluate it. To be convinced that [absolute value of ([R.sub.n])] is indeed an alternant, we have to specify the generating functions. Obviously,

[F.sub.n](x) = 1 = [[sigma].sub.0][[kappa].sub.1],[[kappa].sub.2],...,[[kappa].sub.n]), [F.sub.n- 1](x) - [[sigma].sub.1][[kappa].sub.1],[[kappa].sub.2],...,[[kappa].sub.n]) - x. (39)

Also, it is easy to prove that

[F.sub.n-2](x) = [[sigma].sub.2] - x[F.sub.n-1] (x) = [[sigma].sub.2] - [[sigma].sub.1]x + [x.sup.2], (40)

where we dropped the arguments to get a more compact formula. Let us agree that if no arguments are explicitly given, the corresponding function depends onn arguments: [[kappa].sub.1],[k.sub.2],...,[[kappa].sub.n]. Taking, e.g., x = [[kappa].sub.1], we can check the validity of Eq. (40). Indeed,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

as needed according to Eq. (38). Continuing in the same manner, we get the following result:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (41)

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (42)

Thus [absolute value of ([R.sub.n])] is indeed an alternant with generating functions (33). Consequently, according to Eqs (34), (35), and (42),

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (43)

which means that

[absolute value of ([R.sub.n])]/[V.sub.n] = 1. (44)

Indeed, we can transform Eq. (43), repeatedly using cofactor expansion in terms of the last column and applying the general definition

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (45)

Here the sum involves all possible permutations p = ([p.sub.1],[p.sub.2],...,[p.sub.n]) of indices [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and [N.sub.p] is the number of pairwise interchanges needed to restore the natural order (1,2,...,n). For example, [sigma](3,2,1) = - 1, but [sigma](4,3,2,1) = 1. As a result of the described operation, we obtain

[absolute value of ([R.sub.n])]/[V.sub.n] = [sigma](n,n - 1,...,1) x [(- 1).sup.[n/2]].

On the other hand, [sigma](n,n-1,...,1) = [(-1).sup.[n/2]], since [N.sub.p] = [n/2]. Consequently,

In summary, we have obtained a very simple and universal recipe for calculating determinants defined by Eq. (27):

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (46)

Combining Eqs (26) and (46), we can formulate a general and important result:

Theorem 2. Let [[kappa].sub.1],[[kappa].sub.2],...,[[kappa].sub.n] be arbitrary positive real numbers arranged in the ascending order, so that [[kappa].sub.1] < [[kappa].sub.2] < ... < [[kappa].sub.n], and let D([[kappa].sub.1],[[kappa].sub.2],...,[[kappa].sub.n]) be a determinant, defined by Eq. (23). Then

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (47)

where the product contains all possible combinations of the pairs ([[kappa].sub.j],[[kappa].sub.i]) satisfying the condition 1 [less than or equal to] i < j [less than or equal to] n.

5. SYMMETRIC REFLECTIONLESS POTENTIALS

The excursion to theory of determinants concluded with a surprisingly simple final result. Indeed, as is seen from Eqs (18), (20), and (22), all coefficients in Eq. (21) can be evaluated with the help of Eq. (47), which means that the general formula for [tau]-functions can be essentially simplified. For example,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (48)

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (49)

etc. Thus Eq. (21) transforms to

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (50)

and Eq. (12) can be rewritten as

V(x) = -2C [d.sup.2]/d[x.sup.2] {ln [[tau].sub.N](x)}. (51)

Equations (50)-(51) express the main result of this paper.

In general, as mentioned, the reflectionless potential is uniquely determined if 2N parameters [[kappa].sub.n] and [C.sub.n] (n = 1,2,...,N) are known. However, if one sets an additional constraint

V (-x) = V (x),

the number of necessary input parameters is twofold reduced. In other words, a symmetric reflectionless potential is uniquely determined by its N binding energies [19] En = -CK^. Let us analyse this in more detail.

Obviously, Eq. (50) can only be symmetric if the arguments of all cosh functions are of the linear form ax + b with b [equivalent to] 0. It means, for example, that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (52)

[[kappa].sub.1][x.sub.1] - [[kappa].sub.2][x.sub.2] - ... - [[kappa].sub.N][x.sub.N] = 2[[kappa].sub.1][x.sub.1] - [[beta].sub.0] = -[[beta].sub.1] = [N.summation over (j=2)] [c.sub.1j] - [[beta].sub.0], (53)

where

[c.sub.ij] [equivalent to] ln [absolute value of ([[kappa].sub.j] + [[kappa].sub.i] /[[kappa].sub.j] - [[kappa].sub.i])], (54)

and consequently,

2[[kappa].sub.1][x.sub.1] = [N.summation over (j=2)] [c.sub.1j].

Using Eqs (17) and Eq. (22), we get a similar expression for any other combination KiXi. From Eqs (10) and (54) we therefore obtain the following symmetricity conditions:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (55)

If N = 1, then

exp (2[[kappa].sub.1][x.sub.1]) = [C.sup.2.sub.1]/2[[kappa].sub.1] = 1. (56)

It can be easily shown that Eqs (55) are indeed the symmetricity conditions for [[tau].sub.N] and V(x). To this end, in full analogy with Eq. (53), we can write

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (57)

Summing these equations, we get

-(N-2) [N.summation over (i=1)][[kappa].sub.i][x.sub.i] = -(N-2)[[beta].sub.0],

which coincides with Eq. (52).

Remark. If N = 2, then the first two equations of the system (57) are not linearly independent, since

[[beta].sub.1] = [[beta].sub.0] - [N.summation over (j[not equal to]1)] [c.sub.1j] = [[beta].sub.0] = [N.summation over (j[not equal to]1)] [c.sub.2j] = [[beta].sub.2] = 0,

so that [[kappa].sub.1][x.sub.1] = [[kappa].sub.2][x.sub.2]. Consequently, in this (and only in this) special case Eqs (52)-(53) must be treated as the actual symmetricity conditions, while Eq. (55) still remains valid.

The next step is to complement Eq. (57), for example, with another condition

2([[kappa].sub.i][x.sub.i] + [[kappa].sub.2][x.sub.2]) = [N.summation over (j[not equal to]1)] [c.sub.1j] + [N.summation over (j[not equal to]2)] [c.sub.2j], (58)

which is a direct conclusion from Eq. (55). Thus

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

which means that

cosh([[alpha].sub.12] + [[beta].sub.12]) = cosh [([[kappa].sub.1] + [[kappa].sub.2] - [[kappa].sub.3] - ... - [[kappa].sub.N])x]

is a symmetric function. Analogously, one can prove that any other term cosh[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] in Eq. (50) is a symmetric function as well. This in turn proves that the norming constants [C.sub.n] of a symmetric reflectionless potential are uniquely determined by the given binding energies [E.sub.n].

5.1. Some practical examples

To illustrate the results, let us take, for example, N = 4. Then Eq. (50) reads

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], (59)

while the symmetricity conditions, according to Eqs (53)-(55), can be given as

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (60)

Summing the corresponding sides of Eqs (60), we get

[[kappa].sub.1][x.sub.1] + [[kappa].sub.2][x.sub.2] + [[kappa].sub.3][x.sub.3] + [[kappa].sub.4][x.sub.4] + [[beta].sub.0] = 0,

which means that

cosh([[alpha].sub.0] + [[beta].sub.0]) = cosh [([[kappa].sub.1] + [[kappa].sub.2] + [[kappa].sub.3] + [[kappa].sub.4])x]

is a symmetric function.

Analogously, subtracting the sides of the last two equations from the corresponding sides of the first two equations of (60), we get

[[kappa].sub.1][x.sub.i] + [[kappa].sub.2][x.sub.2] - [[kappa].sub.3][x.sub.3] - [[kappa].sub.4][x.sub.4] + [[beta].sub.12] = 0,

which means that cosh([[alpha].sub.12] + [[beta].sub.12]) is a symmetric function. Continuing in a similar manner, it is easy to be convinced that cosh([[alpha].sub.13] + [[beta].sub.13]) and cosh ([[alpha].sub.14] + [[beta].sub.14]) are symmetric functions as well.

Example 1. To be more specific, let [x.sub.0] = 1/[[kappa].sub.1] be the length unit and [E.sub.0] = C[[kappa].sup.2.sub.1] the energy unit (i.e., [x.sub.0] = 1 and [E.sub.0] = 1). The simplest and the best-known symmetric potential then corresponds to

[[kappa].sub.n] = n, n = 1,2,3,4.

Therefore, according to Eq. (59),

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (61)

At first sight Eq. (61) may seem impractical. However, using the standard transformation formulas (obtained from the corresponding trigonometric formulas by replacing x [right arrow] ix)

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

the result is as follows:

[T.sub.4] = 512[cosh.sup.10](x).

Thus

[ln [T.sub.4](x)]' = [T'.sub.4]/[T.sub.4] = 10tanh(x)

and

V(x) = 20/[cosh.sup.2](x) = N(N + 1)/[cosh.sup.2](x),

exactly as needed.

Example 2. Next, let us construct a reflectionless approximant to a symmetric rectangular potential with four energy levels (see Fig. 1). These levels can be determined from (see, e.g., [20], Sec. II.9)

[[kappa].sub.i][x.sub.i]tan([[kappa].sub.i][x.sub.i]) = [absolute value of ([U.sub.0][a.sup.2] - [([[kappa].sub.i][x.sub.i]).sup.2])], (62)

- [[kappa].sub.i][x.sub.i]/tan([[kappa].sub.i][x.sub.i]) = [absolute value of ([U.sub.0][a.sup.2] - [([[kappa].sub.i][x.sub.i]).sup.2])], (63)

where a and [U.sub.0] denote the half-width and the depth of the potential well, respectively. Equation (62) fixes the symmetric and (63) the antisymmetric solutions to the Schrodinger equation. Again, it is convenient to use dimensionless units for the length and energy, taking [x.sub.0] = a = 1 and [E.sub.0] = C/[a.sup.2] = 1. In addition, let us fix

[square root of ([U.sub.0][a.sup.2]/C)] = 5.

Then the system has four discrete levels (as assumed) corresponding to

[[kappa].sub.1] = 1.3064400089, [[kappa].sub.2] = 2.5957390789, ([kappa]) 3 = 3.8374671080, [[kappa].sub.4] = 4.9062951521. (64)

In this case Eq. (59) cannot be further simplified, but this is not a serious problem. Indeed, let us define the coefficients [A.sub.i] and [B.sub.i] such that

[T.sub.4] = [summation over (i)] [A.sub.i]cosh([B.sub.I]x).

Then the corresponding potential becomes

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (65)

The result for the input data (64) can be seen in Fig. 1.

Example 3. Figure 2 demonstrates two isospectral potentials corresponding to the following set of input parameters:

[[kappa].sub.1] = 1/8, [[kappa].sub.2] = 3/8, [[kappa].sub.3] = 5/8, [[kappa].sub.4] = 7/8, (66)

the four energy levels being [E.sub.n] = -C[k.sub.2.sub.n] (n = 1,2,3,4) as previously. The solid curve in this figure corresponds to a Morse potential [21]

V(x)/D = exp (-2[alpha]x/[x.sub.0]) - 2exp ([[alpha].sub.x]/[x.sub.0]), (67)

taking [x.sub.0] [equivalent to] [square root of ([[??].sup.2]/(2mD))] = 1, [E.sub.0] = D = 1, and consequently, C = 1. The energy eigenvalues read

[E.sub.n] = -D[(1 - n + 1/2/a).sup.2], (68)

where a [equivalent to] [square root of (D/C)]/[alpha]. In Fig. 2, the value a = 4 has been chosen so that [alpha] = 1/4 in our dimensionless units. As in the previous example, the dashed curve shows the symmetric reflectionless potential derived by Eq. (65) from the input parameters (66).

6. CONCLUSION

The main result of this work is a general formula for calculating [tau]- functions. This important formula, Eq. (50), is a direct conclusion from Theorem 2 that has been proved with the help of well-known methods of the theory of determinants. We demonstrated that [tau]-functions can be expanded in terms of special determinants called alternants [16]. Any alternant has a divisor--the Vandermonde's determinant of the same order, while the quotient can be uniquely expressed as a polynomial in elementary symmetric functions (32) (see Theorem 1). Moreover, in the case of alternants related to the inverse scattering problem this quotient equals unity, i.e., the alternant itself equals the Vandermonde determinant. These useful properties of alternants are the key to a very simple final result expressed by Eq. (50).

Using Eqs (50)-(51), one can reconstruct any reflectionless one-dimensional potential on the full line (-[infinity] < x < [infinity]), provided that the 2N input parameters [[kappa].sub.n] and [C.sub.n] (n = 1,2,...,N) are known. Moreover, if the result is expected to be a symmetric function of the coordinate x, then the problem can be uniquely solved on the basis of the N binding energies [E.sub.n] = - C[[kappa].sup.2.sub.n]. Compared to the direct use of Eq. (9), the described approach significantly reduces computational efforts. Indeed, the expansions (21) and (50) contain only [2.sup.N-1] members, while Eq. (9) requires the evaluation of a determinant with N! members.

The efficiency of the method has been explicitly demonstrated for the case N = 4, and there is no doubt that the algorithm can be successfully applied to a much higher number (in principle, to an arbitrary number) of given binding energies. The described approach can also be applied to building N-soliton solutions to the Korteweg-de Vries equation, but this would be a subject for another paper.

doi: 10.3176/proc.2016.4.01

ACKNOWLEDGEMENTS

The author acknowledges support from the Estonian Ministry of Education and Research (target-financed theme IUT2-25) and from ERDF (project 3.2.1101.12-0027) for the research described in this paper. The publication costs of this article were covered by the Estonian Academy of Sciences.

REFERENCES

[1.] Marchenko, V. A. Certain questions of the theory of second-order differential operators. Dokl. Akad. Nauk SSSR, 1950, 72, 457-460 (in Russian).

[2.] Marchenko, V. A. On the reconstruction of the potential energy from phases of the scattered waves. Dokl. Akad. Nauk SSSR, 1955,104, 695-698 (in Russian).

[3.] Gel fand, I. M. and Levitan, B. M. On the determination of a differential equation from its spectral function. Izv. Akad. Nauk SSSR. Ser. Mat., 1951, 15, 309-360 (in Russian). [Am. Math. Soc. Transl. (Ser. 2), 1955, 1, 253-304].

[4.] Krein, M. G. On the transfer function of a one-dimensional boundary value problem of the second order. Dokl. Akad. Nauk SSSR, 1953, 88, 405-408 (in Russian).

[5.] Krein, M. G. On integral equations generating differential equations of second order. Dokl. Akad. Nauk SSSR, 1954, 97, 21-24 (in Russian).

[6.] Chadan, K. and Sabatier, P. C. Inverse Problems in Quantum Scattering Theory. 2nd edn., Springer, New York, 1989.

[7.] Kay, I. The Inverse Scattering Problem. Institute of Mathematical Sciences, New York University, Research Report No. EM-74, 1955.

[8.] Kay, I. and Moses, H. E. The determination of the scattering potential from the spectral measure function. Nuovo Cimento, 1956, 3, 276-304.

[9.] Faddeev, L. D. On the relation between S-matrix and potential for the onedimensional Schrodinger operator. Dokl. Akad. Nauk SSSR, 1958, 121, 63-66 (in Russian). [Math. Rev., 1959, 20, 773].

[10.] Faddeev, L. D. The inverse problem in the quantum theory of scattering. Usp. Mat. Nauk, 1959, 14, 57-119 (in Russian). [J. Math. Phys., 1963, 4, 72-104].

[11.] Faddeev, L. D. Properties of the S-matrix of the one-dimensional Schrodinger equation. Trudy Mat. Inst. Akad. Nauk SSSR, 1964, 73, 314-336 (in Russian). [Amer. Math. Soc. (Ser. 2), 1967, 65, 139- 166].

[12.] Faddeev, L. D. Inverse problems of quantum scattering theory, II. Itogi Nauki Tekh. Sovrem. Prob. Mat., 1974, 3, 93-180 (in Russian).

[13.] Marchenko, V. A. Sturm-Liouville Operators and Applications. Naukova Dumka, Kiev, 1977 (in Russian). [Birkhauser, Basel, 1986; AMS, 2011 (revised edn.)].

[14.] Thacker, H. B., Quigg, C., and Rosner, J. L. Inverse scattering problem for quarkonium systems. I. One- dimensional formalism and methodology. Phys. Rev. D, 1978, 18, 274-287.

[15.] Meyer, C. D. Matrix Analysis and Applied Linear Algebra. SIAM, Philadelphia, 2000.

[16.] Muir, T. A Treatise on the Theory of Determinants. Macmillan, London, 1882.

[17.] Korn, G. A. and Korn, T. M. Mathematical Handbook for Scientists and Engineers. 2nd edn (unabridged republication), Dover, New York, 2000.

[18.] Cox, D., Little, J., and O'Shea, D. Ideals, Varieties and Algorithms. 2nd edn, Springer, New York, 1997.

[19.] Schonfeld, J. F., Kwong, W., and Rosner, J. L. On the convergence of reflectionless approximations to confining potentials. Ann. Phys., 1980, 128, 1-28.

[20.] Schiff, L. I. Quantum Mechanics. McGraw-Hill, New York, 1949.

[21.] Morse, P. M. Diatomic molecules according to the wave mechanics. II. Vibrational levels. Phys. Rev., 1929, 34, 57-64.

Matti Selg

Institute of Physics of the University of Tartu, W. Ostwaldi 1, 50411 Tartu, Estonia; mselg@ut.ee

Received 29 June 2015, accepted 8 October 2015, available online 25 October 2016

Printer friendly Cite/link Email Feedback | |

Title Annotation: | MATHEMATICS PHYSICS |
---|---|

Author: | Selg, Matti |

Publication: | Proceedings of the Estonian Academy of Sciences |

Article Type: | Report |

Geographic Code: | 4EXES |

Date: | Dec 1, 2016 |

Words: | 6346 |

Previous Article: | A parametric framework for the development of bioelectrical applications: application to a bio-impedance signal simulator/Parameetriline raamistik... |

Next Article: | Eutrophication-driven spatial and temporal changes in macrophyte diversity in Lake Peipsi/Eutrofeerumisest tingitud ajalistest ja ruumilistest... |

Topics: |