Liouville-Funktion

Die Liouville-Funktion, benannt nach Joseph Liouville, ist eine multiplikative zahlentheoretische Funktion. Sie wird mit dem griechischen Buchstaben $\lambda$ bezeichnet und ist wie folgt definiert:

$\lambda (n)=(-1{)}^{\mathrm{\Omega }(n)},$

dabei bezeichnet $\mathrm{\Omega }(n)$ die Ordnung von $n$, also die Anzahl seiner (nicht notwendigerweise verschiedenen) Primfaktoren.

Man definiert außerdem $\lambda (0)=0$ und $\lambda (1)=1$.

Die ersten Werte (beginnend bei $n=1$) sind

1, -1, -1, 1, -1, 1, -1, -1, 1, 1, -1, -1, -1, 1, 1, 1, -1, -1, -1, -1, … (OEIS,A008836)

Eigenschaften

Es gilt

$\sum _{d|n}\lambda (d)=\{\begin{array}{c}1,\mathrm{w}\mathrm{e}\mathrm{n}\mathrm{n}n\mathrm{e}\mathrm{i}\mathrm{n}\mathrm{e}\mathrm{Q}\mathrm{u}\mathrm{a}\mathrm{d}\mathrm{r}\mathrm{a}\mathrm{t}\mathrm{z}\mathrm{a}\mathrm{h}\mathrm{l}\mathrm{i}\mathrm{s}\mathrm{t}\\ 0,\mathrm{s}\mathrm{o}\mathrm{n}\mathrm{s}\mathrm{t}\mathrm{.}\end{array}$

Die Liouville-Funktion ist verwandt mit der Möbius-Funktion $\mu$ durch

$\lambda (n)=\sum _{d^2|n}\mu \left(\frac{n}{d^2}\right).$

Reihen

Die Dirichlet-Reihe der Liouville-Funktion lässt sich durch die riemannschen Zeta-Funktion $\zeta$ ausdrücken:

$\sum _{n=1}^{\mathrm{\infty }}\frac{\lambda (n)}{n^s}=\frac{\zeta (2s)}{\zeta (s)}.$

Ihre Lambert-Reihe ist gegeben durch

$\sum _{n=1}^{\mathrm{\infty }}\frac{\lambda (n)q^n}{1-q^n}=\sum _{n=1}^{\mathrm{\infty }}{q}^{n^2}=\frac{1}{2}({\vartheta }_3(q)-1),$

wobei ${\vartheta }_3$ die Jacobische Theta-Funktion bezeichnet.

Summen

Graph von $L_n$ bis n=10.000

Graph von $L_n$ bis $10^7$

Es sei

$L(n)=\sum _{k=1}^n\lambda (k).$

Die Pólya-Vermutung besagt, es sei – wie die Grafiken rechts vermuten lassen – stets

$L(n)\le 0.$

Diese Vermutung wurde mittlerweile widerlegt; das kleinste Gegenbeispiel ist $n=906150257$. Es ist bisher allerdings nicht bekannt, ob $L$ sein Vorzeichen unendlich oft wechselt.

Eine verwandte Summe ist

$M(n)=\sum _{k=1}^n\frac{\lambda (k)}{k}.$

Für diese wurde vermutet, sie sei für hinreichend große $n$ stets positiv; dies wurde 1958 von dem englischen Mathematiker Colin Brian Haselgrove widerlegt, wobei er zeigte, dass $M$ unendlich oft negative Werte annimmt. Ein Beweis der Vermutung hätte die Richtigkeit der Riemannschen Vermutung zur Folge gehabt.

Chowla-Vermutung

Eine Vermutung von Sarvadaman Chowla besagt, dass für $k$ verschiedene natürliche Zahlen $h_1,\dots ,h_k$ gilt:

$\sum _{1\le n\le x}\lambda (n+h_1)\cdot \cdot \cdot \lambda (n+h_k)=o(x)$

(das heißt die Summe verschwindet asymptotisch mit $x\to \mathrm{\infty }$, siehe Landau-Symbole). Die Vermutung ist offen für $k\ge 2$. Fortschritte erzielten 2015 Kaisa Matomäki, Maksym Radziwill und Terence Tao in Bezug auf eine gemittelte Version der Vermutung. Die Vermutung lässt sich auch für die Möbiusfunktion statt der Liouvillefunktion formulieren.

Eine andere Formulierung der Vermutung ist, dass das Muster der Werte von $\lambda (n),\cdot \cdot \cdot ,\lambda (n+k)$ für eine zufällig gewählte natürliche Zahl $n\le x$ und beliebige $k\in \mathbb{N}$ asymptotisch für $x\to \mathrm{\infty }$ gleichverteilt ist.

Weblinks

• Vorlage:MathWorld
• A. F. Lavrik: Liouville function. In: Online Encyclopedia of Mathematics. (englisch)
• Kimberly Lloyd: Liouville function. Auf: PlanetMath.org. (englisch)