- Open Access
Oscillatory difference equations and moment problems
Advances in Difference Equations volume 2014, Article number: 110 (2014)
In this paper, we first consider some new oscillatory results with respect to the discrete Hermite polynomials of type I, respectively, type II and the Heim-Lorek polynomials. In the second part, we investigate the oscillatory and boundedness properties of the related orthogonality measures and the functions representing them. The polynomials considered so far in this article are closely related to the concept of the Wess-Ruffing discretization.
In recent years, interesting connections between orthogonal function systems and oscillation theory for ordinary difference equations have been established. They allow one to relate different methods, namely those from functional analysis with those from oscillatory function systems to each other. The benefit is new insight into one and the same object from two different directions. This helps also to give answers for problems arising in oscillation theory from the viewpoint of orthogonal polynomials and vice versa. To get started, we consider in the sequel first the classical Hermite polynomials in Section 2 and generalize then their oscillatory results to discrete versions of the polynomials in Section 4, having revised some principal concepts of a consistent quantum mechanical discretization method, the Wess-Ruffing discretization, in Section 3. In Section 5 the fascinating Heim-Lorek polynomials are looked at. Finally, in Section 6, there is a change of methods, namely using for the discrete Hermite polynomials classical results of moment problems to understand the possibly oscillatory behavior of their orthogonality measures. The concept of the Wess-Ruffing discretization, which has been developed through the last 20 years, is related to the mathematical structures outlined in the articles [1–17].
2 Hermite polynomials
Let us consider the recursion relation
with initial conditions
which yield polynomial functions on .
For a fixed we rewrite (1) as
under the initial conditions
Here in this section we complement the oscillatory properties of obtained in  with the study of the amplitude with respect to the real line of its oscillations. We recall that if has two consecutive or alternate zeros then it is eventually null, a trivial situation which will be excluded here. In this way, for every integer and positive k, for the lowest number of either positive or negative consecutive terms of is larger or equal to two and the largest number of either positive or negative consecutive terms of does not exceed three (see [, Theorems 3 and 4]).
Lemma 1 Let and . If
then either and
Proof Let , and . Then by (2),
for every . Noticing that by [, Theorem 4], and , we will prove that and . In fact, using (2), we have
and for we obtain
The same arguments enable us to conclude that
Let now , and . Notice that
and, for every ,
which proves the lemma. □
Observe that is also a solution of (2) satisfying now the initial conditions and , which of course has the same oscillatory characteristics as . This fact enables Lemma 1 to be used in the following situation.
Lemma 2 Let and . If
then either and
Proof If , and then , and . Therefore and and by Lemma 1, we have
By use of the same arguments one shows that
From these lemmas one can conclude easily the following asymptotic result.
Theorem 3 Let . There are two increasing sequences such that
Proof Note first that by Lemmas 1 and 2, is a divergent sequence.
Assume bounded. Then if is such that for every n, from
and consequently , as , which is contradictory.
Then is unbounded and applying again Lemmas 5 and 6, the theorem follows. □
Remark 4 This theorem expresses a simple asymptotic behavior of the sequence . It can also be obtained in a richer way as an immediate consequence of some asymptotic formulas for Hermite polynomials existing in the literature. This is the case of
(see [, Ex. 46, p.351]) or through the well-known asymptotic expansion theorem [, Theorem 8.22.6].
where, using the Γ-function, one has for n even
and for n odd
and the coefficients and are polynomials depending upon k containing only even and odd powers of x, respectively.
3 The concept of Wess-Ruffing discretization
The problem of isospectrality in the theory of linear operators is deep and challenging. Its connection in context of discretizations was looked at in , featuring the concept of Wess-Ruffing discretization. In this reference, it was shown how isospectrality occurs in context of supersymmetric difference ladder operator formalisms. The concept of superpotentials was first reviewed where naturally the concept of isospectrality appears. Difference versions of the quantum harmonic oscillator on an equidistant grid were looked at, revealing the same equidistant point spectrum which the continuum quantum harmonic oscillator has. Next self-similar supermodels were addressed, showing a point spectrum which consists of basic versions of the natural numbers. These supermodels were related to discrete versions of Schrödinger operators, which exhibit - at least partially - the same type of discrete point spectrum. The concept of strip discretizations was introduced on basic linear grids. This type of discretization showed the typical point spectrum, consisting of basic versions of the natural numbers. Precisely the same type of spectrum was finally also found in case of so-called basic multigrid discretizations. We therefore obtain a unified discrete model of some Schrödinger equations which allow both piecewise continuous solutions and sophisticated multigrid solutions. A mathematical tool used in a part of the Wess-Ruffing discretization deals with discrete versions of Hermite polynomials.
4 Discrete Hermite polynomials
Let us cite now remarks given in  on the connection of some different q-generalized Hermite polynomials: In literature, see for instance the Internet reference to the Koekoek-Swarttouw online report on orthogonal polynomials http://fa.its.tudelft.nl/~koekoek/askey/ there are listed two types of deformed discrete generalizations of the classical conventional Hermite polynomials, namely the discrete basic Hermite polynomials of type I and the discrete basic Hermite polynomials of type II. These polynomials appear in the mentioned Internet report under citations 3.28 and 3.29. Both types of polynomials, specified under the two respective citations by the symbol while n is a non-negative integer, can be successively transformed (scaling the argument and renormalizing the coefficients) into the one and same form which is given by
with initial conditions , for all . Note that α is chosen as a fixed positive real number. Here, the number q may range in the set of all positive real numbers, without the number 1 - the case being reserved for the classical conventional Hermite polynomials. Depending on the choice of q, the two different types of discrete basic Hermite polynomials can be found: The case corresponds to the discrete basic Hermite polynomials of type II, the case corresponds to the discrete basic Hermite polynomials of type I.
Up to the late 1990s, the perception was that both type of discrete basic Hermite polynomials have only discrete orthogonality measures. This is certainly true in the case of since the existence of such an orthogonality measure was shown explicitly and since the moment problem behind the discrete basic Hermite polynomials of type I is uniquely determined.
However, it could be shown that beside the known discrete orthogonality measure, specified in the above Internet report, the discrete basic Hermite polynomials of type II, hence being connected to (3) with allow also orthogonality measures with continuous support - and even going beyond this - characteristic supports which reveal particular strip structures, also measures with continuous and discrete parts and sophisticated mixtures of them.
We describe this phenomenon in some more detail:
We have the well-known conventional result that a symmetric orthogonality measure with discrete support for the polynomials (3), with , yields moments being given by
It was shown earlier - and here we refer again to the analytical background in  - that there exist continuous and piecewise continuous solutions to the difference equation
leading to the same moments (4). Such a behavior of the discrete basic Hermite polynomials of type II, hence being related to the scenario (3) with , was quite unexpected. Vice versa: Once moments with non-negative integer m of a given weight function are given through the relation (4), it can immediately be said that the weight function provides an orthogonality measure for the discrete basic Hermite polynomials of type II, related to scenario (3) with .
The discrete Hermite polynomials we are considering here are given through the recursive relation
where and , , with the initial conditions
Fixing the real value x, equation (6) can be rewritten as
with initial conditions
The oscillatory properties of are the same as in Section 1. For the amplitude with respect to the real axis of its oscillations the following results are obtained.
Lemma 5 Let , and . If
then either and
Proof Let , and . Using (7), we have, for every , that
On the other hand for every , it is
By [, Theorem 10], one has . We will show that . In fact, by (7), we obtain
since . Consequently
Suppose now that , and . Notice that
and since, by (7),
Lemma 6 Let , and . If
then either and
Proof Let . Since
by Lemma 5 we have
one concludes that
As before the next theorem is a consequence of Lemmas 5 and 6.
Theorem 7 Let , . There are two increasing sequences such that
5 Heim-Lorek polynomials
With the same initial conditions as we used them in the last section, namely
for , , let us now consider the recurrence relation
yielding a polynomial function on .
These are the Heim-Lorek polynomials which are interpolating structures between the type of q-generalized Hermite polynomials we considered in the last section and the classical Hermite polynomials.
With x fixed, we obtain a sequence defined through
for the initial conditions
which has the same oscillatory characteristics as before. With respect to the amplitude of its oscillations, similar results are obtained in the sequel.
Lemma 8 Let , , and . If
then either and
Proof Let us assume first that , and . By (9), for , we have
and, for ,
On the other hand by [, Theorem 18] one has and, using (9), one obtains
since, for every ,
Assume now that , and . Notice that
for and the lemma is proved. □
Analogously one obtains the following result.
Lemma 9 Let , , and . If
then either and
We conclude this section with the next theorem.
Theorem 10 Let , . There are two increasing sequences such that
6 Related moment problems
Let such that for a fixed we have
For we define
for all .
We use the abbreviations () where for instance . With this, we obtain the operator expressions
with only finitely many , and the numbers being real or even complex. We can in a natural way introduce addition and multiplication of objects of type F and see that they constitute a noncommutative ℂ-algebra.
We denote the noncommutative ℂ-algebra specified as above by and feel ourselves attracted to the following problem.
Problem 12 Given . Look for with suitable such that
What can we say about classical analytic properties of f? In case that f exists:
Is f bounded?
Is f oscillatory?
Is f in ?
Is f holomorphic?
So far it is clear that we meet here a very rich structure of objects and answers to the questions 1-4 may be expected in a large variety.
Let us look at the objects
I denoting the identity, α and β being real numbers. It turns out that the case study of these objects is not purely academic but is related to mathematical modeling in quantum optics, hence exhibiting interesting physical structures.
To get started, let us look at the problem
This may be rewritten in terms of adaptive difference equations as
Already now it is crucial to say some words about the support for this type of difference equations.
The difference equation of type (11) can be considered:
on the real axis,
on discrete supports of type where or unions of the support of this type,
on strip structures.
Suppose that we have a solution of (11) on a non-empty interval . With the help of (11) we then can extend the solution to the interval provided .
This procedure can be iterated successively. As a result we obtain a sequence of intervals on which (11) holds: this is a strip structure.
Let us now try to distillate some elementary properties of (11) first.
Lemma 13 Let and . Let such that
Any solution of with has the following properties:
f is nonoscillatory.
f is bounded .
Let us denote furthermore the Lebesgue measure of Ω by μ. If then
the sequence of numbers exist, given by
Let and such that . Then the following identity holds:
Provided such that , φ cannot be a holomorphic solution to .
Remark 14 in (iii) denotes the characteristic function of Ω.
Remark 15 It is not necessary to have in (iv).
Remark 16 Spectacular is the fact (iv) since it shows that F generates the same orthogonal polynomials on different , which can - from the viewpoint of possible physical applications - be interpreted as two different phases of one and the same object.
We now want to compare the respective properties of the objects
Lemma 17 Let and . Let such that . Any solution of with has the following properties:
g is nonoscillatory.
In no case g is bounded.
In no case g is in if .
There exist - up to a multiplicative constant - precisely one holomorphic with .
We are now going to prove Lemma 13 and Lemma 17.
Proof of Lemma 13 We translate first the requirement into (11)
It follows that
where as specified and . Immediately we see that there is no sign change between and . Hence statement (i) is correct.
If , we introduce the sequence , given by
It then follows that
Hence and therefore also f is unbounded. By pointwise argumentation, one can also show that implies the boundedness of f. Therefore (ii) holds.
If the Lebesgue measure fulfills , then the statement is trivial. If and , then the boundedness of f together with (11) implies that
provided f was chosen as positive. By induction follows for
Thus (iii) holds.
The last equation in (iii) reads
and since Ω is arbitrary with and we have the properties of Ω specified in Lemma 13, statement (iv) is true.
Suppose is holomorphic, such that . Then
Looking at the expression
we see that there is a contradiction to analyticity for . Hence (v) holds. □
Proof of Lemma 17 The equation
Since we have and by assumption , we are through,
automatically leading to the fact that the sequence
is unbounded; hence (ii) holds.
The fact that g is nonoscillatory is obvious from the choice and . So (i) is true.
The unboundedness of g from (ii) also implies statement (iii); note that .
We show now the existence of a holomorphic such that
This implies in any case the analyticity statement from (iv). □
Szegö G Colloquium Publications 23. In Orthogonal Polynomials. Am. Math. Soc., Providence; 1975.
Ruffing, A: Contributions to discrete Schrödinger theory. Habilitationsschrift, Technische Universität München (2006)
Ruffing A, Meiler M, Bruder A: Some basic difference equations of Schrödinger boundary value problems. Adv. Differ. Equ. 2009., 2009: Article ID 569803
Penson KA, Solomon AI: New generalized coherent states. J. Math. Phys. 1999, 40(5):2354–2363. 10.1063/1.532869
Quesne C, Penson KA, Tkachuk VM: Maths-type q -deformed coherent states for . Phys. Lett. A 2003, 313: 29–36. 10.1016/S0375-9601(03)00732-1
Quesne, C, Penson, KA, Tkachuk, VM: Geometrical and physical properties of maths-type q-deformed coherent states for and . Preprint (2003)
Quesne C: Completeness of photon-added squeezed vacuum and one-photon-states and of photon-added coherent states on a circle. Phys. Lett. A 2001, 288: 241–250. 10.1016/S0375-9601(01)00554-0
Quesne C: New q -deformed coherent states with an explicitly known resolution of unity. J. Phys. A 2002, 35: 9213–9226. 10.1088/0305-4470/35/43/316
Ruffing A, Lorenz J, Ziegler K: Difference ladder operators for a harmonic Schrödinger oscillator using unitary linear lattices. J. Comput. Appl. Math. 2003, 153: 395–410. 10.1016/S0377-0427(02)00613-1
Robnik, M, Liu, J: Supersymmetric quantum Mechanics based on higher excited states II: a few new examples of isospectral partner potentials. Preprint CAMTP (1997)
Robnik M: Supersymmetric quantum mechanics based on higher excited states. J. Phys. A 1997, 30: 1287–1294. 10.1088/0305-4470/30/4/028
Ruffing A: Exponential lattices as regularizers in quantum mechanics. Prog. Theor. Phys. Suppl. 2000, 139: 404–413.
Ruffing A: Unexpected supermodels. Nonlinear Phenom. Complex Syst. 2000, 3(3):304–312.
Ruffing A, Meiler M: Constructing similarity solutions to discrete basic diffusion equations. Adv. Dyn. Syst. Appl. 2008, 3(1):41–51.
Ruffing A, Witt M: On the integrability of q -oscillators based on invariants of discrete Fourier transforms. Lett. Math. Phys. 1997, 42(2):167–181. 10.1023/A:1007378122623
Spiridonov VP, Zhedanov AS: Generalized eigenvalue problem and a new family of rational functions biorthogonal on elliptic grids. NATO Science Series II 30. In Special Functions 2000: Current Perspective and Future Directions. Edited by: Bustoz J, Ismail MEH, Suslov SK. Kluwer Academic, Dordrecht; 2001:365–388.
Simon B: The classical moment problem as a self-adjoint finite difference operator. Adv. Math. 1998, 137: 82–203. 10.1006/aima.1998.1728
Ferreira JM, Pinelas S, Ruffing A: Nonautonomous oscillators and coefficient evaluation for orthogonal function systems. J. Differ. Equ. Appl. 2009, 15(11–12):1117–1133. 10.1080/10236190902877764
Andrews GE, Askey R, Roy R Encyclopedia of Mathematics and Its Applications. In Special Functions. Cambridge University Press, Cambridge; 1999.
This paper was supported by CINAMIL - Centro de Investigação, Desenvolvimento e Inovação da Academia Militar.
The authors declare that they have no competing interests.
JMF and SP study oscillatory behavior of the Hermit polynomials, discrete Hermit polynomials and Heim-Lorek polynomials; AR introduce the concept of Wess-Ruffing discretization and study the related moments.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ferreira, J.M., Pinelas, S. & Ruffing, A. Oscillatory difference equations and moment problems. Adv Differ Equ 2014, 110 (2014). https://doi.org/10.1186/1687-1847-2014-110
- Difference Equation
- Orthogonal Polynomial
- Discrete Version
- Point Spectrum
- Hermite Polynomial