# Schrodinger operators with n positive eigenvalues: an explicit construction involving complex-valued potentials.

1. Introduction. Since the seminal paper of von Neumann and Wigner [13], Schrodinger operators with embedded positive eigenvalues have always played a special role in spectral and in scattering theory. In particular, several attempts have been made for generalizing the original result and for studying the stability of the embedded eigenvalues. It is obviously impossible to mention all references dealing with these questions, but let us mention a few which are related to our investigations [3-5,8,11], as well as the books [6, Chap. 4.4] and [10, App. 2, Chap. XI.8]. Despite these numerous works it seems to the authors of the present note that there is still some room left for discussing the case of n distinct embedded eigenvalues, especially for complex-valued potentials.Given n numbers [[mu].sub.1] > [[mu].sub.2] > ... > [[mu].sub.n] > 0, we propose a very simple construction of a von Neumann and Wigner's type potential V such that the corresponding Schrodinger operator -[d.sup.2]/[dr.sup.2] + V on [R.sub.+] with Dirichlet condition at the origin, admits the eigenvalues [[mu].sup.2.sub.1], [[mu].sup.2.sub.2], ..., [[mu].sup.2.sub.n]. The potential V as well as the eigenfunctions [v.sub.j] are explicitly constructed and do not rely on an implicit equation. In addition, a family of n parameters can still be chosen arbitrarily, asserting once more that these eigenvalues are stable under suitable modifications of the potential, see for example [1,5]. We emphasize that depending on the choice of these parameters, the potential V can be real and thus leads to a self-adjoint operator, or can be complex-valued. Note however that the leading term of the potential is of the form (for large r)

(1) V(r) = -4/r [n.summation over (j=1)] [[mu].sub.j] sin(2[[mu].sub.j]r) + O ([r.sup.-2]),

which implies in particular that the dependence in these parameters takes place only in the remainder term at infinity. In fact, in the main statement below we exhibit the second term of the expansion of the potential and its dependence on the mentioned parameters.

The possibility of constructing a potential V of the form (1) with n positive eigenvalues has been known for a long time, see for example [6,9,10]. Despite this fact, it appears to the authors that an explicit solution has never been provided. Let us however emphasize that our inspiration came from the paper [9] and from the book [6], in the special case when all mentioned parameters are equal to 1 (or more precisely when the matrix A of Theorem 1 is equal to the identity matrix). Moses and Tuan based their example on the Gel'fand-Levitan theory for inverse problem, see [7]. By adapting their idea, one can construct directly a potential having several positive eigenvalues, but it is not necessary to use the theory of Gel'fand and Levitan. Let us also mention that an alternative construction has been proposed in [11] which leads to the possibility of embedding a finite or an infinite number of positive eigenvalues, but even in the finite case, the resulting potential is not of the form of the one we exhibit. In addition, it seems that most if not all previous works were dealing with real-valued potentials only.

In the last part of this note, we mention that our main result, obtained for Schrodinger operator on [R.sub.+] with a Dirichlet condition at the origin, also leads to a similar result for Schroodinger operators on [R.sup.3] with spherically symmetric potential of the form V([absolute value of *]). We also show that such a simple construction can only take place in [R.sup.3] and not in any other dimension [R.sup.d] if d is different from 1 or 3.

Let us finally mention that part of the results of the present note was announced in [12].

2. The main result. For any positive numbers [[mu].sub.1] > [[mu].sub.2] > ... > [[mu].sub.n] > 0 and any r [member of] R, let us set

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

where [sup.t](*) means the transposed vector (a column vector). Note that [g.sub.ij] = [g.sub.ji], and by taking the equality

sin([[mu].sub.i][rho]) sin([[mu].sub.j][rho])

= 1/2 (cos(([[mu].sub.i] - [[mu].sub.j])[rho])- cos(([[mu].sub.i] + [[mu].sub.j])[rho]))

into account, one also infers that

(2) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

with

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Both expressions for [g.sub.ij] will be useful later on.

We also denote by G the n x n hermitian matrix [([g.sub.ij]).sup.n.sub.i,j=1], and set [1.sub.n] for the n x n identity matrix. In the sequel we write [C.sup.[infinity]]([0,[infinity])) for smooth functions on (-[epsilon] [infinity]), for some [epsilon] > 0, but restricted to the subset [0,[infinity]). Finally, we write [C.sup.*] for C \{0}, and use the standard notation f' for the derivative of a function f with respect to its variable. Our main result then reads:

Theorem 1. Let A = Diag([[alpha].sub.1], ...,[a.sub.n]) be a diagonal matrix with [[alpha].sub.j] [member of] {z [member of] [C.sup.*]|[Real part] (z) [greater than or equal to] 0}.

Then, (A + G(r)) is invertible for any r [greater than or equal to] 0, and by setting

v(r) := -[(A + G(r)).sup.-1]s(r)

and

V(r) := 2([n.summation over (j=1)] sin([[mu].sub.j]*) [v.sub.j](*))' (r);

the following properties hold:

(i) V [member of] [L.sup.[infinity]]([R.sub.+]) [intersection] [C.sup.[infinity]]([0,[infinity])) and satisfies for r [right arrow] [infinity]

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

with W the real-valued function given by

W(r) = [([n.summation over (j=1)]) [sin.sup.2] ([[mu].sub.j]r)).sup.2] + 2 [n.summation over (i,j=1)][h.sub.ij](r) [[mu].sub.i] sin ([[mu].sub.j]r) cos ([[mu].sub.i]r).

(ii) For any j, the component [v.sub.j] of v belongs to [C.sup.[infinity]]([0,[infinity])) and satisfies [absolute value of [v.sub.j](r)] [less than or equal to] Const. r/1+[r.sup.2] for any r [member of] [R.sub.+]. In addition, [v.sub.j] is a solution of the equation (-[d.sup.2]/[dr.sup.2] + V)[v.sub.j] = [[mu].sup.2.sub.j][v.sub.j], where the Dirichlet realization of the operator -[d.sup.2]/[dr.sup.2] + V is considered in [L.sup.2]([R.sub.+]).

Remark 2. Let us emphasize that the essential spectrum [0,[infinity]) of the Dirichlet realization of -[d.sup.2]/[dr.sup.2] + V, as well as its embedded eigenvalues [[mu].sup.2.sub.j], are independent of any choice of the parameters [a.sub.j], as long as the invertibility condition of A + G(r) is ensured. This property is quite remarkable since the [v.sub.j]'s and hence the potential V depend on A, as shown in (3). Note that in this expression, we have emphasized the linear dependence on the parameters [a.sub.j] in the second order term, but the remainder term also depends on them. Note also that V is real-valued, and thus -[d.sup.2]/[dr.sup.2] + V is self-adjoint, if [a.sub.j] > 0 for all j [member of]{1, ..., n}, but is complex-valued if J = ([a.sub.j]) = 0 for some j. This persistence of the embedded eigenvalues under lower order modifications of the potential is consistent with the results contained in [1,5].

Remark 3. For information and as we shall see in (5), (6) and in (13), each [v.sub.j] satisfies the expansions for r [right arrow] 0

[v.sub.j](r) = [a.sup.-1.sub.j][[mu].sub.j]r + O ([r.sup.4]),

and for r [right arrow] [infinity]

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

In a similar way, the asymptotic expansions of [v'.sub.j](r) as r [right arrow] [infinty] can be obtained from (14), and the asymptotic expansion of [v".sub.j](r) as r [right arrow] [infinity] follows readily from the relation [v".sub.j] = (-[[mu].sup.2.sub.j] + V)[v.sub.j].

The following proof is divided into several small pieces. We use the notation [M.sub.n](C) for the set of all n x n complex matrices, and the notation <[xi], [zeta]> := [[summation].sup.n.sub.j=1] [bar.[xi].sub.j][[zeta].sub.j] for the usual scalar product in [C.sup.n].

Proof. a) Let us first show the invertibility of A + G(r) for any r [greater than or equal to] 0. For r = 0, it follows from the definition that G(0) = 0, and then A is invertible because each [a.sub.j] [not equal to] 0. Assume now that there exists [xi] [member of] [C.sup.n]\{0} which belongs to the kernel of A + G(r) for some fixed r > 0. Then one has

(4) 0 = <[xi], (A + G (r)) [xi]> =i<[xi], T (A)[xi]> + <[xi], [[Real part](A) + G (r)][xi]>.

By assumption on [a.sub.j], it follows that R(A) [greater than or equal to] 0, while for the second real term one has

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

One infers from these estimates that the real term in (4) can not be equal to 0, leading thus to a contradiction.

Since A + G(r) is invertible for any r [greater than or equal to] 0, one sets

(5) v(r) := -[(A + G(r)).sup.-1]s(r)

and readily infers that v [member of] [C.sup.[infinity]] ([0,[infinity]); [C.sup.n]).

b) Let us observe that for any r > 0 and by the mean value theorem, it exists [theta] = [theta](r) [member of] (0,1) such that [g.sub.ij](r) = r sin([[mu].sub.i][theta]r) sin([[mu].sub.j][theta]r), from which one deduces that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Consequently, from this estimate and from the explicit expression provided in (2) the following properties hold:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

and for the inverse of this matrix, one deduces that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

As a consequence of these estimates, one infers from the definition of v(r) and from the estimate [absolute value of sin([[mu].sub.i]r)] [less than or equal to] [[mu].sub.i]r that for any j [member of] {1, ... ,n} and any r [greater than or equal to] 0

[absolute value of [v.sub.j](r)] [less than or equal to] Const. r/1 + [r.sup.2].

It thus follows that [v.sub.j] [member of] [L.sup.2]([R.sub.+]).

c) Let us now consider v', the derivative of v with respect to its variable. Since

(7) v'(r) = [(A + G(r)).sup.-1]G'(r)[(A + G(r)).sup.-1] s(r) -[(A + G(r)).sup.-1] s'(r),

one deduces from (6) and from the definition of G(r) that [absolute value of ([v'.sub.j](r)] [less than or equal to] Const. [(1 + r).sup.-1], for any r [greater than or equal to] 0 and any j [member of]{1, ..., n}. Note that a simple consequence of this estimate is that V [member of] [L.sup.[infinity]]([R.sub.+]). In addition, the regularity property of V can easily be deduced from the corresponding properties of the functions v and s.

d) Let us now check that the equality

(-[d.sup.2]/[dr.sup.2] + V) v = [M.sup.2]v

holds, with M the diagonal n x n matrix Diag([[mu].sub.1], [[mu].sub.2], ..., [[mu].sub.n]). In order to compute the expression -v" + Vv, observe that from the initial relation (A + G(r))v(r) = - s(r) one infers that

G'(r)v(r) + (A + G(r))v'(r) = -Mc(r)

and that

G"(r)v(r)+ 2G'(r)v'(r) + (A + G(r))v"(r) = [M.sup.2]s(r),

or equivalently that

(A + G(r))v"(r) = [M.sup.2]s(r) - 2 G'(r)v'(r) - G"(r)v(r).

From these relations, one then deduces that

(8) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

where [*, *] is used for the commutator of two matrices.

On the other hand, observe that

G'(r) = (sin([[mu].sub.i]r) sin[([[mu].sub.j]r)).sup.n.sub.i,j=1] = s[(r).sup.t]s(r),

where we have used the identification of [C.sup.n] with the matrices [M.sub.n1](C). As a consequence, one infers that

(9) G'(r)v'(r) = <s(r), v'(r)> s(r),

and that

(10) G"(r)v(r) = <s(r), v(r)> s'(r) + <s'(r), v(r)> s(r).

Observe also that [([G(r),[M.sup.2]]).sub.ij]. = ([[mu].sup.2.sub.j] - [[mu].sup.2.sub.i])[g.sub.ij](r), and by the equality [[mu].sup.2.sub.j] sin([[mu].sub.j]p) = -[sin([[mu].sub.j]*)"]([rho]) one gets that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Consequently, one has obtained that

(11) [G(r), [M.sup.2]] = -s[(r).sup.t] s'(r) + s'[(r).sup.t] 4s(r).

By inserting now the equalities (9), (10) and (11) into (8) one infers that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

since V(r) is given by

-2[<s(*), v(*)>'](r) = -2([n.summation over (j=1)] sin ([[mu].sub.j]*) [v.sub.j](*))' (r).

Finally, since A + G(r) is invertible, one infers that v"(r) - [Vv](r) + [M.sup.2]v(r) = 0, or equivalently that -v"(r) + [Vv](r) = [M.sup.2]v(r), as expected.

e) It has been shown in b) that [v.sub.j] [member of] [L.sup.2]([R.sub.+]) for any j [member of] {1, ..., n}, and the equality [v.sub.j](0) = 0 clearly holds. In addition, it follows from the estimate obtained in c) that [v'.sub.j] [member of] [L.sup.2]([R.sub.+]). Finally, since V [member of] [L.sup.[infinity]]([R.sub.+]), as pointed out in c), one infers from the equality -v" = [M.sup.2]v - Vv that [v".sub.j] [member of] [L.sup.2]([R.sub.+]) as well. Thus, [v.sub.j] belongs to the Dirichlet realization of the Laplace operator on [R.sub.+], and this concludes the proof of the second statement of the theorem.

f) It only remains to derive the asymptotic expansion (3). For that purpose, let us set H := [([h.sub.ij]).sup.n.sub.i,j=1] and let us use the notation [parallel]*[parallel] for the norms on [C.sup.n] and on [M.sub.n](C). By taking (2) into account one gets

A + G(r) = r/2 ([1.sub.n] + 2/r (A + H(r))).

Since [parallel]H(r)[parallel] [less than or equal to] C for all r [greater than or equal to] 0 with C independent of r, one deduces that there exists [r.sub.0] > 0 such that for any r [greater than or equal to] [r.sub.0]

2/r [parallel]A + H(r)[parallel] < 1/2.

From the Neumann series, one then infers that for large r

(12) [(A + G(r)).sup.-1] = 2/r [1.sub.n] - 4/[r.sup.2] (A + H(r)) + O ([r.sup.-3]),

and by taking (12) and (7) into account, it follows that

(13) v(r) = -2/r s(r) + 4/[r.sup.2] {A + H(r)}s (r) + O([r.sup.-3]),

and that

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

Finally, by putting together these information one obtains that V(r) is equal to

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

which gives the expansion (3).

By using the standard relation between the Dirichlet Laplacian on [R.sub.+] and the restriction of the Laplace operator -[DELTA] on [R.sup.3] to spherically symmetric functions (see for example [2, Sec. 11.3]), the previous result easily leads to a similar statement on [R.sup.3].

Corollary 4. The operator -[DELTA] + V([absolute value of *]), with domain the Sobolev space [H.sup.2]([R.sup.3]), admits n eigenfunctions [u.sub.j] satisfying

(-[DELTA] + V([absolute value of *]))[u.sub.j] = [[mu].sup.2.sub.j][u.sub.j].

These [u.sub.j] are given by [u.sub.j](x) := [v.sub.j]([absolute value of x])/[absolute value of x] for any x [member of] [R.sup.3] and with [v.sub.j] defined in Theorem 1.

Let us finally show that this construction is valid in [R.sup.3] only. Indeed, if we consider the d-dimensional Laplacian acting on spherically symmetric functions of the form [v.sub.j](x) = a(r)[v.sub.j](r) with a, [v.sub.j] [member of] [C.sup.[infinity]]((0, [infinity])), x [member of] [R.sup.d]\{0} and r = [absolute value of x], then we find that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

In order to use the -[v".sub.j] + V[v.sub.j-] = [[mu].sup.2.sub.j][v.sub.j], it is thus necessary to impose that 2a'(r) + d-1/r a(r) = 0 and a"(r) + d-1/r a'(r)= 0. The first equation has the unique solution (up to constants) given by a(r) = [r.sup.(-d+1)/2], and by substituting this solution into the second equation one obtains

a" (r) + d - 1/r a' (r) = -(d - 1)(d - 3)/4 [r.sup.-(d+3)/2] = 0

which means that d can only be equal to 3 (the case d = 1 and a = const. clearly corresponds to even functions on R).

doi: 10.3792/pjaa.92.7

Acknowledgments. S. Richard is supported by JSPS Grant-in-Aid for Young Scientists (A) no. 26707005, and T. Umeda is supported by JSPS Grant-in-Aid for Scientific Research (C) no. 26400175.

References

[1] S. Agmon, I. Herbst and S. Maad Sasane, Persistence of embedded eigenvalues, J. Funct. Anal. 261 (2011), no. 2, 451-477.

[2] W. O. Amrein, J. M. Jauch and K. B. Sinha, Scattering theory in quantum mechanics, W. A. Benjamin, Inc., Reading, MA, 1977.

[3] M. Arai and J. Uchiyama, On the von Neumann and Wigner potentials, J. Differential Equations 157 (1999), no. 2, 348-372.

[4] M. Ben-Artzi and A. Devinatz, Spectral and scattering theory for the adiabatic oscillator and related potentials, J. Math. Phys. 20 (1979), no. 4, 594-607.

[5] J. Cruz-Sampedro, I. Herbst and R. Martinez-Avendano, Perturbations of the Wigner-von Neumann potential leaving the embedded eigenvalue fixed, Ann. Henri Poincare 3 (2002), no. 2, 331-345.

[6] M. S. P. Eastham and H. Kalf, Schrodinger-type operators with continuous spectra, Research Notes in Mathematics, 65, Pitman, Boston, MA, 1982.

[7] I. M. Gel'fand and B. M. Levitan, On the determination of a differential equation from its spectral function, Amer. Math. Soc. Transl. (2) 1 (1955), 253-304.

[8] M. Lukic, Schrodinger operators with slowly decaying Wigner-von Neumann type potentials, J. Spectr. Theory 3 (2013), no. 2, 147-169.

[9] H. E. Moses and S. F. Tuan, Potentials with zero scattering phase, Nuovo Cimento 13 (1959), no. 1, 197-206.

[10] M. Reed and B. Simon, Methods of modern mathematical physics. III: Scattering theory, Academic Press, New York, 1979.

[11] B. Simon, Some Schrodinger operators with dense point spectrum, Proc. Amer. Math. Soc. 125 (1997), no. 1, 203-208.

[12] J. Uchiyama, Simple construction of the Schrodinger operator having many positive eigenvalues, in Proceedings of the Fourth Workshop on Differential Equations, Chonnam National University, (Kwangju, 1999), 197 199.

[13] J. von Neumann and E. Wigner, Uber merkwurdige diskrete Eigenwerte, Z. Phys. 30 (1929), 465-467.

By Serge RICHARD, (*) Jun UCHIYAMA **) and Tomio UMEDA (***)

(Communicated by Kenji FUKAYA, M.J.A., Dec. 14, 2015)

2010 Mathematics Subject Classification. Primary 35P05; Secondary 81Q10.

(*) Graduate School of Mathematics, Nagoya University,

Furo-cho Chikusa-ku, Nagoya 464-8602, Japan; On leave from Universite de Lyon, Universite Lyon 1, CNRS, UMR5208, Institut Camille Jordan, 43 blvd du 11 novembre 1918, F69622 Villeurbanne-Cedex, France.

(**) Emeritus Professor, Kyoto Institute of Technology, Matsugasaki Sakyo-ku, Kyoto 606-8585, Japan.

(***) Department of Mathematical Sciences, University of Hyogo, 2167 Shosha, Himeji, Hyogo 671-2201, Japan.

Printer friendly Cite/link Email Feedback | |

Author: | Richard, Serge; Uchiyama, Jun; Umeda, Tomio |
---|---|

Publication: | Japan Academy Proceedings Series A: Mathematical Sciences |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Jan 1, 2016 |

Words: | 3385 |

Previous Article: | On radial distributions of Julia sets of Newton's method of solutions of complex differential equations. |

Next Article: | On log canonical rational singularities. |

Topics: |