1
$\begingroup$
  • What are some of interesting results that arise from using difference equations in number theory , Combinatorics or any other field ?
$\endgroup$
2
  • $\begingroup$ You may want to clarify what qualifies as outside the theory of difference equations. Would you consider discrete integrable systems, q-Painleve equations, discrete complex analysis etc. as examples? $\endgroup$ Commented Dec 26, 2011 at 10:54
  • 1
    $\begingroup$ In nonstandard analysis, what is classically called a differential equation becomes a difference equation. $\endgroup$ Commented Dec 26, 2011 at 15:48

4 Answers 4

3
$\begingroup$

Hrushovski used the model theory of difference fields to give another proof of the Manin-Mumford conjecture.

$\endgroup$
1
  • 1
    $\begingroup$ Along the same lines the model theory of difference fields has been used to study arithmetic properties of algebraic dynamical systems, algebraic relations amongst special functions, difference Galois theory, the Tate-Voloch conjecture and other diophantine problems of Manin-Mumford/André-Oort-type. (See some of the notes at: math.u-psud.fr/~bouscare/workshop_diff/index.html ) $\endgroup$ Commented Dec 27, 2011 at 7:52
3
$\begingroup$

In analysis over fields of positive characteristic, the role of differential operators is played by special difference operators (the Carlitz derivative and its generalizations). In particular, the main special functions of that theory satisfy some difference equations. For the details see my book "Analysis in Positive Characteristic" (Cambridge University Press, 2009).

$\endgroup$
2
$\begingroup$

The three-term recurrence relation satisfied by a family of orthogonal polynomials is a crucial fact which brings together classical analysis, spectral theory and other branches of mathematics. This recurrence relation is obviously an example of a difference equation.

$\endgroup$
1
  • 1
    $\begingroup$ To expand on just one of the many directions implicit in Andrei's answer, Cherednik's proof of the Macdonald constant term conjecture relies fundamentally on double affine Hecke algebras (DAHAs). To quote Opdam's beautiful Math Review of Cherednik's 1995 Annals paper, "It is the great contribution of Cherednik that he perceived what the constant term conjecture has been trying to convey to us all the time, which is the existence of the double affine Hecke algebra." DAHAs are, <i>very</i> roughly, algebras of (twisted) difference operators (with an additional Weyl group built in). $\endgroup$ Commented Dec 28, 2011 at 15:01
1
$\begingroup$

In signal processing, digital filtering, ARMA modelesation, use difference equations. In Linear prediction Coding, we seek a difference operator such that:

$x(n)=\sum_p{a(n)x(n-p)}+e(n)$

where $x(n)$ is for example a time serie (the uknown function in the difference equation). The goal of this coding is to find $a(n)$ by minimizing the error $e(n)$ so this is an example of an inverse problem for the difference operator given by the above equation. Like diffrential operators which are diagonalized by the Fourier transform, difference operators are diagonalized by the Z-Transform defined by:

$X(Z)= \sum_n{x(n)Z^{-n}}$

where $Z$ is a complex variable lying on the unit circle of the complex plane ($Z=\exp(-if)$). So a difference operator is transformed via the Z-transform to a multiplication operator by a polynom $P(Z)=\sum_p{a(p)Z^{-p}}$ and one method for the solution of the problem is the use of orthogonal polynoms over the unit circle.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .