Liouville-Funktion

Liouville-Funktion

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

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

wobei Ω(n) die Anzahl der (nicht notwendigerweise verschiedenen) Primfaktoren bezeichnet.

Man definiert außerdem λ(0) = 0 und λ(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, ...[1]

Inhaltsverzeichnis

Eigenschaften

Es gilt[2]

\sum_{d|n}\lambda(d)=\begin{cases} 1, \qquad \mathrm{wenn}\; n\; \mathrm{eine\; Quadratzahl\; ist} \\ 0,\qquad\mathrm{sonst}\end{cases}

Die Liouville-Funktion ist verwandt mit der Möbius-Funktion μ durch[3]

\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 ζ ausdrücken:[4]

\sum_{n=1}^\infty \frac{\lambda(n)}{n^s}=\frac{\zeta(2s)}{\zeta(s)}

Ihre Lambert-Reihe ist gegeben durch

\sum_{n=1}^\infty \frac{\lambda(n)q^n}{1-q^n}=\sum_{n=1}^\infty q^{n^2}=\frac12(\vartheta_3(q)-1)

wobei \vartheta_3 die Jacobische Theta-Funktion bezeichnet.

Summen

Es sei

L(n)=\sum_{k=1}^n \lambda(k).

Die Pólya-Vermutung besagt, es sei – wie die Grafiken oben vermuten ließen – stets[5]

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 von Haselgrove[6] widerlegt, wobei er zeigte, dass M unendlich oft negative Werte annimmt. Ein Beweis der Vermutung hätte die Richtigkeit der riemannschen Vermutung zur Folge.[7]

Referenzen

  1. Folge A008836 in OEIS, vgl. Folgen A026424 und A028260
  2. Liouville Function auf PlanetMath
  3. http://eom.springer.de/L/l059620.htm
  4. R. S. Lehman: On Liouville's Function In: Math. Comput. 14, 1960, S. 311-320
  5. Eric W. Weisstein: Polya Conjecture. In: MathWorld. (englisch)
  6. C.B.Haselgrove: A disproof of a conjecture of Polya. Mathematika 5 (1958), S. 141–145.
  7. Hisanobu Shinya: On an arithmetical approach to the Riemann hypothesis, 23. Juni 2009, arXiv:0906.4155
  1. Eric W. Weisstein: Liouville Function. In: MathWorld. (englisch)

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Liouville-Gleichung —   [lju vil ; nach J. Liouville], partielle Differenzialgleichung der statistischen Mechanik für die Verteilungsfunktion f(N) (r1,. .., rN; pN …   Universal-Lexikon

  • Liouville-Theorem — Der Satz von Liouville (auch Liouville Theorem genannt, nach Joseph Liouville) ist eine direkte Folge aus der Liouville Gleichung und besagt, dass das von benachbarten Trajektorien im Phasenraum eingeschlossene (mehrdimensionale) Volumen konstant …   Deutsch Wikipedia

  • Liouville-Gleichung — Die Liouville Gleichung, nach Joseph Liouville, ist eine Beschreibung der zeitlichen Entwicklung eines physikalischen Systems in der statistischen Mechanik, im Hamilton Formalismus der klassischen Mechanik und in der Quantenmechanik, dort auch… …   Deutsch Wikipedia

  • Joseph Liouville — Joseph Liouville. Joseph Liouville (* 24. März 1809 in Saint Omer; † 8. September 1882 in Paris) war ein französischer Mathematiker. Er studierte in Toul und ab 1825 in Paris an der École Polytechnique, wo er zwei Jahre später, unter anderem bei …   Deutsch Wikipedia

  • Zahlentheoretische Funktion — Eine zahlentheoretische oder arithmetische Funktion ist eine Funktion, die jeder positiven natürlichen Zahl einen Funktionswert aus den komplexen Zahlen zuordnet. Diese Funktionen dienen in der Zahlentheorie dazu, Eigenschaften von natürlichen… …   Deutsch Wikipedia

  • Lambda-Funktion — steht für das atomare Element des Lambda Kalküls, einer formalen turing vollständigen Programmiersprache, die nur drei Konstrukte kennt: Abstraktion (Definition einer Lambda Funktion), Applikation (Anwendung einer Lambda Funktion) und Variable… …   Deutsch Wikipedia

  • Sturm-Liouville-Operator — In der Analysis handelt es sich bei dem Sturm Liouville Problem (nach Joseph Liouville und Charles François Sturm) um ein spezielles Randwertproblem, welches mit Methoden der Variationsrechnung behandelt werden kann. Dadurch ist es möglich, die… …   Deutsch Wikipedia

  • Sturm-Liouville-Randwertproblem — In der Analysis handelt es sich bei dem Sturm Liouville Problem (nach Joseph Liouville und Charles François Sturm) um ein spezielles Randwertproblem, welches mit Methoden der Variationsrechnung behandelt werden kann. Dadurch ist es möglich, die… …   Deutsch Wikipedia

  • Sturm-Liouville-Theorie — In der Analysis handelt es sich bei dem Sturm Liouville Problem (nach Joseph Liouville und Charles François Sturm) um ein spezielles Randwertproblem, welches mit Methoden der Variationsrechnung behandelt werden kann. Dadurch ist es möglich, die… …   Deutsch Wikipedia

  • Satz von Liouville (Funktionentheorie) — Der Satz von Liouville ist ein grundlegendes Ergebnis im mathematischen Teilgebiet Funktionentheorie. Er ist benannt nach dem französischen Mathematiker Joseph Liouville. Inhaltsverzeichnis 1 Aussage 2 Beweis 3 Bedeutung und Verallgemeinerungen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”