 Research
 Open Access
 Published:
Oscillatory difference equations and moment problems
Advances in Difference Equations volume 2014, Article number: 110 (2014)
Abstract
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 HeimLorek 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 WessRuffing discretization.
1 Introduction
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 WessRuffing discretization, in Section 3. In Section 5 the fascinating HeimLorek 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 WessRuffing 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 x\in \mathbb{R}.
For a x\in \mathbb{R} fixed we rewrite (1) as
under the initial conditions
Here in this section we complement the oscillatory properties of h(n) obtained in [18] with the study of the amplitude with respect to the real line of its oscillations. We recall that if h(n) 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 n>k the lowest number of either positive or negative consecutive terms of h(n) is larger or equal to two and the largest number of either positive or negative consecutive terms of h(n) does not exceed three (see [[18], Theorems 3 and 4]).
Lemma 1 Let x\in {\mathbb{R}}^{+} and n>max\{x,2{x}^{2}\frac{1}{2},\frac{1}{4x}\}. If
then either h(n+1)>0 and
or h(n+1)<0 and
Proof Let h(n1)>0, h(n)>0 and h(n+1)>0. Then by (2),
for every n>x. Noticing that by [[18], Theorem 4], h(n+2)<0 and h(n+3)<0, we will prove that h(n+2)>h(n) and h(n+3)>h(n+1). In fact, using (2), we have
and for n>2{x}^{2}1/2 we obtain
The same arguments enable us to conclude that
Let now h(n1)>0, h(n)>0 and h(n+1)<0. Notice that
and, for every n>\frac{1}{4x},
which proves the lemma. □
Observe that u(n)=h(n) is also a solution of (2) satisfying now the initial conditions u(1)=0 and u(0)=1, which of course has the same oscillatory characteristics as h(n). This fact enables Lemma 1 to be used in the following situation.
Lemma 2 Let x\in {\mathbb{R}}^{+} and n>max\{x,2{x}^{2}\frac{1}{2},\frac{1}{4x}\}. If
then either h(n+1)<0 and
or h(n+1)>0 and
Proof If h(n1)<0, h(n)<0 and h(n+1)<0 then h(n1)>0, h(n)>0 and h(n+1)>0. Therefore h(n+2)<0 and h(n+3)<0 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 x\in {\mathbb{R}}^{+}. There are two increasing sequences {n}_{\ell},{n}_{k}\in \mathbb{N} such that
as {n}_{\ell},{n}_{k}\to +\mathrm{\infty}.
Proof Note first that by Lemmas 1 and 2, h(n) is a divergent sequence.
Assume h(n) bounded. Then if K>0 is such that h(n)\le K for every n, from
one obtains
and consequently h(n)\to 0, as n\to \mathrm{\infty}, which is contradictory.
Then h(n) is unbounded and applying again Lemmas 5 and 6, the theorem follows. □
Remark 4 This theorem expresses a simple asymptotic behavior of the sequence h(n)={H}_{n}(x). 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 [[19], Ex. 46, p.351]) or through the wellknown asymptotic expansion theorem [[1], Theorem 8.22.6].
where, using the Γfunction, one has for n even
and for n odd
and the coefficients {u}_{k}(x) and {v}_{k}(x) are polynomials depending upon k containing only even and odd powers of x, respectively.
3 The concept of WessRuffing 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 [2], featuring the concept of WessRuffing 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 selfsimilar 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 socalled 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 WessRuffing discretization deals with discrete versions of Hermite polynomials.
4 Discrete Hermite polynomials
Let us cite now remarks given in [3] on the connection of some different qgeneralized Hermite polynomials: In literature, see for instance the Internet reference to the KoekoekSwarttouw 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 {h}_{n} while n is a nonnegative 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 {H}_{0}^{q}(x)=1, {H}_{1}^{q}(x)=\alpha x for all x\in \mathbb{R}. 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 q=1 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 0<q<1 corresponds to the discrete basic Hermite polynomials of type II, the case q>1 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 q>1 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 0<q<1 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 wellknown conventional result that a symmetric orthogonality measure with discrete support for the polynomials (3), with 0<q<1, yields moments being given by
It was shown earlier  and here we refer again to the analytical background in [3]  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 0<q<1, was quite unexpected. Vice versa: Once moments {v}_{m} with nonnegative 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 0<q<1.
The discrete Hermite polynomials we are considering here are given through the recursive relation
where x\in \mathbb{R} and q>0, q\ne 1, with the initial conditions
Fixing the real value x, equation (6) can be rewritten as
with initial conditions
The oscillatory properties of h(n) 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 x\in {\mathbb{R}}^{+}, q\in \phantom{\rule{0.2em}{0ex}}]0,1[ and n>max\{{log}_{q}(\frac{q+1}{2}),{log}_{q}(2x)\}. If
then either h(n+1)>0 and
or h(n+1)<0 and
Proof Let h(n1)>0, h(n)>0 and h(n+1)>0. Using (7), we have, for every n>{log}_{q}(\frac{q+1}{2}), that
On the other hand for every n>{log}_{q}(2x), it is
By [[18], Theorem 10], one has h(n+2)<0. We will show that h(n+2)>h(n). In fact, by (7), we obtain
since {q}^{n+1}x<\frac{1}{2}q. Consequently
Suppose now that h(n1)>0, h(n)>0 and h(n+1)<0. Notice that
and since, by (7),
we obtain
Thus
□
Lemma 6 Let x\in {\mathbb{R}}^{+}, q\in \phantom{\rule{0.2em}{0ex}}]0,1[ and n>max\{{log}_{q}(\frac{q+1}{2}),{log}_{q}(2x)\}. If
then either h(n+1)<0 and
or h(n+1)>0 and
Proof Let n>{log}_{q}(2x). Since
by Lemma 5 we have
and as
one concludes that
□
As before the next theorem is a consequence of Lemmas 5 and 6.
Theorem 7 Let x\in {\mathbb{R}}^{+}, q\in \phantom{\rule{0.2em}{0ex}}]0,1[. There are two increasing sequences {n}_{\ell},{n}_{k}\in \mathbb{N} such that
as {n}_{\ell},{n}_{k}\to +\mathrm{\infty}.
5 HeimLorek polynomials
With the same initial conditions as we used them in the last section, namely
for q>0, q\ne 1, let us now consider the recurrence relation
yielding a polynomial function on x\in \mathbb{R}.
These are the HeimLorek polynomials which are interpolating structures between the type of qgeneralized Hermite polynomials we considered in the last section and the classical Hermite polynomials.
With x fixed, we obtain a sequence h(n) 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 x\in {\mathbb{R}}^{+}, q\in \phantom{\rule{0.2em}{0ex}}]0,1[, N=min\{n\in \mathbb{N}:\frac{{q}^{n}x}{\sqrt{n}}\sqrt{\frac{q1}{{q}^{n}1}}<1\} and n>max\{N,{log}_{q}(2x)\}. If
then either h(n+1)>0 and
or h(n+1)<0 and
Proof Let us assume first that h(n1)>0, h(n)>0 and h(n+1)>0. By (9), for n>N, we have
and, for n>{log}_{q}(2x),
On the other hand by [[18], Theorem 18] one has h(n+2)<0 and, using (9), one obtains
since, for every n>N,
Then h(n+2)>h(n).
Assume now that h(n1)>0, h(n)>0 and h(n+1)<0. Notice that
and
since
Hence
for n>max\{N,{log}_{q}(2x)\} and the lemma is proved. □
Analogously one obtains the following result.
Lemma 9 Let x\in {\mathbb{R}}^{+}, q\in \phantom{\rule{0.2em}{0ex}}]0,1[, N=min\{n\in \mathbb{N}:\frac{{q}^{n}x}{\sqrt{n}}\sqrt{\frac{q1}{{q}^{n}1}}<1\} and n>max\{N,{log}_{q}(2x)\}. If
then either h(n+1)<0 and
or h(n+1)>0 and
We conclude this section with the next theorem.
Theorem 10 Let x\in {\mathbb{R}}^{+}, q\in \phantom{\rule{0.2em}{0ex}}]0,1[. There are two increasing sequences {n}_{\ell},{n}_{k}\in \mathbb{N} such that
as {n}_{\ell},{n}_{k}\to +\mathrm{\infty}.
6 Related moment problems
Let \mathrm{\Omega}\subseteq \mathbb{R} such that for a fixed 0<q<1 we have
For f:\mathrm{\Omega}\to \mathbb{R} we define
for all x\in \mathrm{\Omega}.
We use the abbreviations {R}^{n} (n\in \mathbb{N}) where for instance {R}^{1}=L. With this, we obtain the operator expressions
with only finitely many {a}_{mn}\ne 0, and the numbers {({a}_{mn})}_{(m,n)\in {\mathbb{Z}}^{2}} 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.
Example 11
We denote the noncommutative ℂalgebra specified as above by \mathcal{A} and feel ourselves attracted to the following problem.
Problem 12 Given F\in \mathcal{A}. Look for f:\mathrm{\Omega}\to \mathbb{R} with suitable \mathrm{\Omega}\in \mathbb{R} such that
What can we say about classical analytic properties of f? In case that f exists:

1.
Is f bounded?

2.
Is f oscillatory?

3.
Is f in {\mathcal{L}}^{1}(\mathrm{\Omega})?

4.
Is f holomorphic?
So far it is clear that we meet here a very rich structure of objects and answers to the questions 14 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:

(1)
on the real axis,

(2)
on discrete supports of type \{c{q}^{n}n\in \mathbb{Z}\} where c\in \mathbb{R}\mathrm{\setminus}\{0\} or unions of the support of this type,

(3)
on strip structures.
Suppose that we have a solution of (11) on a nonempty interval (a,b). With the help of (11) we then can extend the solution to the interval (qa,qb) provided (qa,qb)\cap (a,b)=\mathrm{\varnothing}.
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 \alpha <0 and \beta <0. Let \mathrm{\Omega}\subseteq {\mathbb{R}}^{+} such that
Any solution f:\mathrm{\Omega}\to \mathbb{R} of F(f)=0 with F=R+\alpha I+\beta X has the following properties:

(i)
f is nonoscillatory.

(ii)
f is bounded \iff \alpha \ge 1.
Let us denote furthermore the Lebesgue measure of Ω by μ. If \mu (\mathrm{\Omega})>0 then

(iii)
the sequence of numbers {({\mu}_{n}^{\mathrm{\Omega}})}_{n\in {\mathbb{N}}_{0}} exist, given by
{\mu}_{n}^{\mathrm{\Omega}}:={\int}_{{\mathbb{R}}^{+}}{x}^{n}f(x){\mathcal{X}}_{\mathrm{\Omega}}(x)\phantom{\rule{0.2em}{0ex}}dx,\phantom{\rule{1em}{0ex}}n\in {\mathbb{N}}_{0}
provided \alpha \ge 1.

(iv)
Let \alpha \ge 1 and {\mathrm{\Omega}}_{1},{\mathrm{\Omega}}_{2}\subseteq {\mathbb{R}}^{+} such that \mu ({\mathrm{\Omega}}_{1})\mu ({\mathrm{\Omega}}_{2})>0. Then the following identity holds:
{\mu}_{n+1}^{{\mathrm{\Omega}}_{1}}{\mu}_{n}^{{\mathrm{\Omega}}_{2}}={\mu}_{n+1}^{{\mathrm{\Omega}}_{2}}{\mu}_{n}^{{\mathrm{\Omega}}_{1}},\phantom{\rule{1em}{0ex}}n\in {\mathbb{N}}_{0}. 
(v)
Provided \phi :\mathbb{C}\to \mathbb{C} such that \phi {}_{{\mathbb{R}}^{+}}=f, φ cannot be a holomorphic solution to F(\phi )=0.
Remark 14 {\mathcal{X}}_{\mathrm{\Omega}} in (iii) denotes the characteristic function of Ω.
Remark 15 It is not necessary to have {\mathrm{\Omega}}_{1}\cap {\mathrm{\Omega}}_{2}=\mathrm{\varnothing} in (iv).
Remark 16 Spectacular is the fact (iv) since it shows that F generates the same orthogonal polynomials on different {\mathrm{\Omega}}_{1},{\mathrm{\Omega}}_{2}\subseteq {\mathbb{R}}^{+}, 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 \alpha <0 and \beta <0. Let \mathrm{\Omega}\subseteq {\mathbb{R}}^{+} such that x\in \mathrm{\Omega}\iff qx\in \mathrm{\Omega}. Any solution g:\mathrm{\Omega}\to \mathbb{R} of G(g)=0 with G=L+\alpha I+\beta X has the following properties:

(i)
g is nonoscillatory.

(ii)
In no case g is bounded.

(iii)
In no case g is in {\mathcal{L}}^{1}(\mathrm{\Omega}) if \mu (\mathrm{\Omega})>0.

(iv)
There exist  up to a multiplicative constant  precisely one holomorphic \phi :\mathbb{C}\to \mathbb{C} with F(\phi )=0.
We are now going to prove Lemma 13 and Lemma 17.
Proof of Lemma 13 We translate first the requirement F(f)=0 into (11)
It follows that
where x\in \mathrm{\Omega}\subseteq {\mathbb{R}}^{+} as specified and \alpha ,\beta <0. Immediately we see that there is no sign change between f(qx) and f(x). Hence statement (i) is correct.
If \alpha <1, we introduce the sequence {({x}_{n})}_{n\in \mathbb{N}}, given by
It then follows that
Hence {(f({x}_{n}))}_{n\in \mathbb{N}} and therefore also f is unbounded. By pointwise argumentation, one can also show that 1\le \alpha <0 implies the boundedness of f. Therefore (ii) holds.
If the Lebesgue measure fulfills \mu (\mathrm{\Omega})=0, then the statement is trivial. If \mu (\mathrm{\Omega})>0 and \alpha \ge 1, then the boundedness of f together with (11) implies that
provided f was chosen as positive. By induction follows for n\in {\mathbb{N}}_{0}
Thus (iii) holds.
The last equation in (iii) reads
and since Ω is arbitrary with \mu (\mathrm{\Omega})>0 and we have the properties of Ω specified in Lemma 13, statement (iv) is true.
Suppose \phi :\mathbb{C}\to \mathbb{C} is holomorphic, such that \phi {}_{{\mathbb{R}}^{+}}=f. Then
The equation
implies
Looking at the expression
we see that there is a contradiction to analyticity for z\to \mathrm{\infty}. Hence (v) holds. □
Proof of Lemma 17 The equation
yields
Since we have \mathrm{\Omega}\subseteq {\mathbb{R}}^{+} and by assumption \alpha ,\beta <0, 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 \alpha ,\beta <0 and x\in \mathrm{\Omega}\subseteq {\mathbb{R}}^{+}. So (i) is true.
The unboundedness of g from (ii) also implies statement (iii); note that \mu (\mathrm{\Omega})>0.
We show now the existence of a holomorphic g:\mathbb{C}\to \mathbb{C} such that
Inserting
we obtain
This implies in any case the analyticity statement from (iv). □
References
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: Mathstype q deformed coherent states for q>1. Phys. Lett. A 2003, 313: 29–36. 10.1016/S03759601(03)007321
Quesne, C, Penson, KA, Tkachuk, VM: Geometrical and physical properties of mathstype qdeformed coherent states for 0<q<1 and q>1. Preprint (2003)
Quesne C: Completeness of photonadded squeezed vacuum and onephotonstates and of photonadded coherent states on a circle. Phys. Lett. A 2001, 288: 241–250. 10.1016/S03759601(01)005540
Quesne C: New q deformed coherent states with an explicitly known resolution of unity. J. Phys. A 2002, 35: 9213–9226. 10.1088/03054470/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/S03770427(02)006131
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/03054470/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 selfadjoint 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.
Acknowledgements
This paper was supported by CINAMIL  Centro de Investigação, Desenvolvimento e Inovação da Academia Militar.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
JMF and SP study oscillatory behavior of the Hermit polynomials, discrete Hermit polynomials and HeimLorek polynomials; AR introduce the concept of WessRuffing 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/168718472014110
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014110
Keywords
 Difference Equation
 Orthogonal Polynomial
 Discrete Version
 Point Spectrum
 Hermite Polynomial