Ganzwertige Polynome/Q/Einführung/Textabschnitt

Definition

Ein Polynom $P \in ℚ [X]$ heißt ganzwertig, wenn $P (n) \in ℤ$ für alle $n \in ℤ$ gilt.

Funktionen aus der kommutativen Algebra und der algebraischen Geometrie, die die Dimension oder die Länge einer Reihe von algebraischen Objekten zählen, haben häufig für negative Argumente den Wert $0$ , verhalten sich dann auf einem gewissen Bereich „chaotisch“ und verhalten sich für „große Argumente“ (ab einem bestimmten $n_{0}$ ) polynomial. Dies wird durch die folgende Definition ausgedrückt.

Definition

Eine Funktion $f : ℤ \to ℤ$ heißt von polynomialen Typ, wenn es ein Polynom $P \in ℚ [X]$ und ein $n_{0} \in ℕ$ mit $f (n) = P (n)$ für alle $n \geq n_{0}$ gibt.

Wenn dabei $P$ den Grad $d$ besitzt, so sagt man auch, dass $f$ vom polynomialen Typ vom Grad $d$ ist. Polynomialer Typ vom Grad $0$ bedeutet letztlich konstant, polynomialer Typ vom Grad $1$ bedeutet letztlich linear.

Definition

Zu einer Funktion $f : ℤ \to ℤ$ nennt man die durch

(Δ f) (n) := f (n + 1) - f (n)

definierte Funktion die zugehörige Differenzfunktion.

Die Abbildung $Δ$ , die einer Funktion ihre Differenzfunktion zuordnet, heißt Differenzoperator. In gewisser Hinsicht ist der Differenzoperator analog zum Ableitungsoperator. Ein Polynom ist dadurch gekennzeichent, dass eine höhere Ableitung davon die Nullfunktion wird. Ein entsprechender Zusammenhang gilt auch für Funktionen vom polynomialen Typ.

Lemma

Sei $f : ℤ \to ℤ$ eine Funktion. Dann sind die folgenden Aussagen äquivalent:

$f$ ist von polynomialen Typ.

Die Differenzfunktion $Δ f$ ist von polynomialen Typ.

Es gibt eine Iteration $Δ^{n}$ des Differenzoperators derart, dass $Δ^{n} f$ letztlich konstant ist.