Albert–Ludwigs–Universität Freiburg
Mathematisches Institut

ELAZ 02
Deutsch-österreichische Tagungüber aktuelle Probleme
der elementaren
und analytischen Zahlentheorie
08. – 12. April 2002

3

Bericht über
ELAZ 02
Deutsch-österreichische Tagungüber aktuelle Probleme
der elementaren und analytischen Zahlentheorie
Freiburg, 08. – 12. April 2002

Die Konferenz wurde organisiert durch Manfred Peter, Jürgen Spilker und Dieter Wolke
vom Mathematischen Institut der Universität Freiburg. Vor zwei Jahren, vom 03. bis zum 07.
April 2000, fand das erste Treffen der deutschen Arbeitsgruppen im Bereich der elementaren
und analytischen Zahlentheorie in Goslar statt. Es wurde vereinbart, diesen Erfahrungsaustausch zu einer regelmäßigen Einrichtung werden zu lassen. Der Teilnehmerkreis des zweiten
Treffens – ELAZ 02 in Freiburg – wurde durch die Mitwirkung einiger Kollegen aus Wien
erweitert. 25 Kolleginnen und Kollegen hielten Vorträge über eigene Arbeiten. Die Themen
deckten ein weites Spektrum zahlentheoretischer Gebiete ab:• Gitterpunktprobleme• additive Fragen• Dirichlet-Reihen• zahlentheoretische Funktionen• Primzahlverteilung• algebraische Zahlentheorie• probabilistische Zahlentheorie
Studierende der Universität Freiburg hatten Gelegenheit, an den Vorträgen teilzunehmen.
Die Katholische Akademie in unmittelbarer Nähe zur Freiburger Altstadt und zum Stadtpark erwies sich als außerordentlich angenehmer Tagungsort. Die Freundlichkeit und Hilfsbereitschaft des Personals trugen sehr zum Gelingen der Tagung bei.
Münster- und Stadtführung, sowie eine Weinprobe im Weingut Baumann, Freiburg-Munzingen, sorgten für einen fröhlichen geselligen Abschluss des Treffens.
Die Organisatoren danken den folgenden Institutionen für großzügige finanzielle Unterstützung:• Badenova AG• Deutsche Bank AG, Freiburg• Sparkasse Freiburg-Nördlicher Breisgau• Volksbank Freiburg
Es ist fest mit einem ähnlichen Treffen in zwei Jahren zu rechnen.

5Programm
Montag, 08.04.02

AnreiseDienstag, 09.04.02
9.00 UhrEröffnung

9.10 - 9.55 UhrJörg Brüdern, Stuttgart:
Systeme kubischer Formen“”Jürgen G. Hinz, Marburg:Über ein Problem von Tschebyscheff”in algebraischen Zahlkörpern“

10.05 - 10.35 Uhr

Kaffee (Tee) - Pause
11.00 - 11.30 Uhr
11.40 - 12.10 Uhr

Ulrich Rausch, Marburg:
Die Anzahl ganzalgebraischer Zahlen in Quadern“”Eduard Wirsing, Ulm:
Reguläre n–Ecke zu teilen“”
Mittagessen und Kaffee (Tee) - Pause

14.30 - 15.00 Uhr

Werner Georg Nowak, Wien:
Mittelwerte über kurze Intervalle”für Restterme in der Gitterpunktlehre“

15.10 - 15.40 Uhr

Gerald Kuba, Wien:
Zur Verteilung der Quadrate ganzer Oktaven“”
Manfred Kühleitner, Wien:Über die Klassenzahl quadratischer Formen:”
Untere Abschätzungen für das Restglied“

15.45 - 16.15 Uhr

16.35 - 17.05 Uhr
17.15 - 17.35 Uhr

Rainer Dietmann, Stuttgart:
Kleine Lösungen additiver Kongruenzen“”
Stefan Wehmeier, Paderborn:
Additive arithmetische Halbgruppen: elementare Methoden“”

Mittwoch, 10.04.02
9.00 - 9.45 Uhr9.55 - 10.25 Uhr

10.55 - 11.25 Uhr
11.30 - 12.00 Uhr

Ekkehard Krätzel, Wien:
Summenformeln in der analytischen Zahlentheorie“”
Tobias Bekehermes, Clausthal:
Ein neuer Beweis des Beurlingschen Primzahlsatzes“”
Kaffee (Tee) - Pause
Günter Köhler, Würzburg:
Etaprodukte und rationale Simplizes“”
Kathrin Bringmann, Würzburg:
Asymptotische Formeln für verschiedene Partitionenanzahlen“”612.05 - 12.25 UhrValentin Blomer, Stuttgart:
Ein Problem von Erdös:”
Summen von zwei quadratvollen Zahlen“
Mittagessen und Kaffee (Tee) - Pause

14.10 - 14.40 Uhr
14.50 - 15.20 Uhr
15.30 - 16.00 Uhr

Christian Elsholtz, Clausthal:
Neues über Summen von zwei Quadraten“”
Jan-Christoph Puchta, Freiburg:
Die Quersumme modulo 2 in dünnen Folgen“”
Manfred Peter, Freiburg:
Werte von Dirichlet-Reihen an ganzzahligen Stellen”
und kombinatorische Identitäten“
Kaffee (Tee) - Pause

16.30 - 17.00 Uhr

Helmut Maier, Ulm:
Kreisteilungspolynome, deren Ordnungen”viele Primfaktoren enthalten“

17.10 - 17.40 Uhr

Wolfgang Schwarz, Frankfurt:
Zur Berechnung von Mittelwerten von Produkten”
geshifteter multiplikativer Funktionen“

19.30 Uhr

Problem-Stunde und Film-Vorführung Kurt Gödel“”

Donnerstag, 11.04.02
9.00 - 9.45 Uhr9.55 - 10.25 Uhr

10.55 - 11.25 Uhr
11.35 - 12.05 Uhr

14.20 - 14.50 Uhr

Karl-Heinz Indlekofer, Paderborn:
Eine neue Methode in der probabilistischen Zahlentheorie“”
Lutz Lucht, Clausthal:
Dichteschranken für σ-freie Mengen“”
Kaffee (Tee) - Pause
Dieter Wolke, Freiburg:
Bemerkungen zum Primzahl-Zwillingsproblem“”
Stephan Baier, Berlin:
Eine Bemerkung zur Bateman-Horn-Vermutung“”
Mittagessen und Kaffee (Tee) - Pause

16.00 Uhrca. 18.00 Uhr

Jürgen Spilker, Freiburg:
Die Ziffern der Fibonacci-Zahlen“”Jörn Steuding, Frankfurt:Über die Universalität von Zeta-Funktionen“”
Münsterführung
Weinprobe mit Vesper im Weingut Baumann, Freiburg-Munzingen

Freitag, 12.04.02

Abreise14.55 - 15.25 Uhr7Eine Bemerkung zur Bateman-HornVermutung
Stephan Baier, Berlin

P.T. Bateman

Let r be a positive integer and f1 , ..., fr be distinct polynomials in Z[X]. If f1 (n), ..., fr (n) are
all prime for infinitely many n, then it is necessary that the polynomials fi are irreducible
in Z[X], have positive leading coefficients, and no prime p divides all values of the productf1 (n) · · · fr (n), as n runs over Z. Assuming these necessary conditions, Bateman and Hornproposed a conjectural asymptotic estimate on the number of positive integers n ≤ x suchthat f1 (n), ..., fr (n) are all prime.
We apply the Hardy-Littlewood circle method to study the Bateman-Horn conjecture
when r ≥ 2. We consider the Bateman-Horn conjecture for the polynomials in any partition{f1 , ..., fs }, {fs+1 , ..., fr } with a linear change of variables. Our main result is as follows: If
the Bateman-Horn conjecture on such a partition and change of variables holds true withsome conjectural error terms, then the Bateman-Horn conjecture for f1 , ..., fr is equivalent
to a plausible error term conjecture for the minor arcs in the circle method.

Ein neuer Beweis des Beurlingschen
Primzahlsatzes
Tobias Bekehermes, Clausthal

A. BeurlingFür verallgemeinerte Primzahlen (g-Primzahlen) 1 < p1 ≤ p2 ≤ . . . , pk → ∞, und die
dadurch erzeugte multiplikative Halbgruppe N von g-Zahlen 1 = n1 < n2 ≤ n3 ≤ . . . mit
XX
N (x) :=1und
πN (x) :=1
nk ≤x

bewies Beurling (1937) das folgende Ergebnis.

pk ≤x

8

Satz 1. Gilt
N (x) = Ax + O x log−γ x(x → ∞)
mit A > 0, γ > 2, so folgtx
πN (x) ∼(x → ∞).
log x
Beurling zeigte dies sogar für γ > 3/2; diese Grenze ist scharf.
Die üblichen Beweise (z.B. Bateman und Diamond 1969) verwenden einen Taubersatz
vom Ikehara-Landau-Typ. Ich verwende einen Satz von Newman (1980) in der Form vonKorevaar (1982):
Satz 2. Sei F : R+ → R beschränkt, so daßZ ∞G(z) :=
F (t)e−zt dt
0

auf <z > 0 existiert und holomorph ist. Sei ferner(1) G(z) stetig fortsetzbar
in z = 0 und
(2) G(z) − G(0) /z stetig fortsetzbar auf <z = 0.
Dann existiertZ ∞F (t) dt = G(0).
0Daraus folgt Satz 1 durch Anwendung auf F (t) = e−t ψN (et ) − 1 (diese Funktion ist
beschränkt nach der Tschebyscheff-Ungleichung für g-Zahlen). Es ist
0
1  ζN(z + 1) 1 −−G(z) =z+1
ζN (z + 1) z
mit der analog zur Riemannschen Zetafunktion über N definierten Funktion ζN (s). Die
Voraussetzungen von Satz 2 lassen sich durch partielle Summation von ζN nachprüfen.
Es besteht Aussicht, diese Methode auch im Bereich 3/2 < γ ≤ 2 erfolgreich anzuwenden.
Dazu ersetze man Bedingung (2) durch Konvergenz im quadratischen Mittel (L2 -Norm)und gehe im Beweis von Bateman und Diamond von G(z) über zu G(z) − G(0) /z. Die
Abschätzung des Integrals parallel und nahe der imaginären Achse steht dabei noch aus.

9

Ein Problem von Erdös: Summen von zwei
quadratvollen Zahlen
Valentin Blomer, Stuttgart

P. Erdös

Eine Zahl n ∈ N heißt quadratvoll, wenn für alle Primzahlen p aus p | n stets p2 | n folgt.
Erdös stellte das Problem, die Anzahl V (x) aller Zahlen ≤ x abzuschätzen, die Summe zweier
quadratvoller Zahlen sind, und vermutete in Analogie zu Landaus Zwei-Quadrate-Satz, daßV (x)  x(log x)−1/2 gilt. Es wird gezeigt, daß diese Vermutung falsch ist:
Satz 1. V (x)  x(log x)−0.253 .
Dies ist zu vergleichen mit der oberen Schranke V (x)  x(log x)−1/6+ von Baker undBrüdern und der unteren Schrankex
β log log xexp
V (x) 
(log x)1/2
log log log x
mit einer Konstanten β > 0 von Odoni, deren Beweis allerdings nicht korrekt ist.
Zum Beweis von Satz 1 wird das Problem aufgefasst als eine untere Abschätzung für
die Anzahl aller Zahlen ≤ x, die durch wenigstens eine der quadratischen Formen x21 + p3 x22(p ≤ P prim, P eine geeignete Potenz von log x) dargestellt werden, da sich jede quadratvolle
Zahl m eindeutig als m = a3 b2 mit quadratfreiem a schreiben lässt. Tatsächlich folgt Satz 1
ohne Mühe aus
Satz 2. Für die Anzahl UF (x) aller Zahlen ≤ x, die durch eine gegebene primitive positivdefinite quadratische Form F ∈ Z[x, y] der Diskriminante D dargestellt werden, giltx
UF (x) |D| (log x)1/2
gleichmäßig in |D| ≤ (log x)log 2− und
UF (x) x(log x)1+κ(log(2κ)−1)+

gleichmäßig in |D| ≤ (log x)2κ log 2− für jedes 1/2 ≤ κ ≤ 1/(1 + log 2) − .
Der entscheidende Punkt ist hier die geforderte Gleichmäßigkeit der Abschätzungen. Der
Beweis von Satz 2 benutzt klassische Techniken der multiplikativen Zahlentheorie (PerronFormel, Satz von Siegel-Walfisz in quadratischen Zahlkörpern u. ä.), Ergebnisse aus derGruppentheorie und elementare Abschätzungen der unvollständigen Gamma-Funktion.

10

Asymptotische Formeln für verschiedene
Partitionenanzahlen
Kathrin Bringmann, Würzburg

L. Euler

Für p, l ∈ N, p > 0, n ∈ N0 sei• p(n) die Anzahl aller Partitionen von n,• qp (n) die Anzahl aller Partitionen von n mit nicht durch p teilbaren Summanden und• Qlp (n) die Anzahl aller Partitionen von n mit nicht durch p teilbaren Summanden,
wobei jeder Summand maximal l Mal vorkommen darf.
Sei ferner p(0) := qp (0) := Qlp (0) := 1. Mein Ziel war es, asymptotische Formeln für qp (n)und Qlp (n) zu beweisen (für p(n) sind solche bekannt). Dazu benötigte ich die erzeugenden Funktionen F (q) von p(n), Fp (q) von qp (n) und Glp (q) von Qlp (n), die im Inneren desEinheitskreises holomorph sind.
Da man bei der Herleitung asymptotischer Formeln Aussagen auf dem Rand des Einheitskreises machen möchte, wo aber die Produktdarstellungen der erzeugenden Funktionen sehrschlecht konvergieren, ist es hilfreich, zunächst Transformationsformeln für diese zu beweisen.
Ich konnte zeigen:Satz 1.


Fp exp

2πih 2πz
−
k
k





1
π(p − 1)z π(p1 − d1 )= √ ωp (h, k) exp+
p1
12k
12kp1 z



0
2πig
2π
× Jpk exp
−
k
kp1 z

Hierin sei (p, k) = d1 , k > 0, p = d1 p1 , k = d1 k1 und g 0 sei durch p1 hg 0 ≡ −1 (mod k1 )definiert. Ferner sei ωp (h, k) := ω(h, k)/ω(p1 h, k1 ), ω(h, k) := exp (πiσ(h, k)), mit σ(h, k) :=
Pk−1 µ  hµ  k
p1
d1
,
J
(x)
:=
F
x
exp(2πir/d)/Fx, wobei r definiert sei durch h0 =
1
p
µ=1 k
k
p1 g 0 + rk1 .
Satz 2.
Glp r
2πih 2πzp3 lπ(p − 1)lz
exp−=ωp (h, k) exp −
k
k
p1
12k




π
2πig ∗
2π22 2l+((p − d1 )(l + 1) − (p − d3 )d2 Hp exp−
12kp(l + 1)z
p1 k
p1 p3 l2 kz





11

Hierin sei (h, k) = 1, k > 0, (p, k) = d1 , p = p1 d1 , k = k1 d1 , (l + 1, k) = d2 , l + 1 = d2 l2 ,k = k2 d2 , (k2 , p) = d3 , k2 = d3 k3 , p = d3 p3 und g ∗ sei definiert durch p3 l2 hg ∗ ≡ −1
 (mod k3).
Ferner sei ωpl (h, k) := ωp (h, k)/ωp (l2 h, k2 ), Hpl (x) := Jpk xp3 l2 exp(2πiλ/(p1 d3 )) /Jpk2 xp1 d2 ,wobei λ definiert ist durch p1 g 0 = p3 l2 g ∗ + λk3 .
Für z → 0 erhält man Informationen auf dem Rand des Einheitkreises: Fp und Glp verhaltensich wie gewisse Exponentialfunktionen, wobei der Exponent von p, k und l abhängt.
Damit gelang es mir, unter Verwendung von Besselfunktionen und der Theorie der Modulformen, folgende asymptotische Formeln zu zeigen:Satz 3.
qp (n) =Satz 4.
Qlp (n) =1√2(p − 1) 4 3
3

1

3 exp

p 4 (p − 1 + 24n) 41√
12(p − 1) 4 3l 4
11

3

(l + 1) 4 p 4 (24n − (p − 1)l) 41π(p − 1 + 24n) 2 (p − 1) 2
√
6 p

exp

!



 1 
1 + O n− 2!
11√
 1 
π(24n − (p − 1)l) 2 (p − 1) 2 l p
1 + O n− 2
6 p(l + 1)

Systeme kubischer FormenJörg Brüdern, Stuttgart

E. WaringFür die DarstellungsanzahlsXsRs (n) = # x ∈ N :x31 = ni=1

im Waringschen Problem für Kuben wird für s ≥ 4 die asymptotische FormelΓ(4/3)sRs (n) =Ss (n) n(s/3)−1 1 + o(1)(n → ∞)
Γ(s/3)
mit der singulären Reihe Ss (n) (welche 1  Ss (n)  (log log n)c genügt) vermutet, dochbekannt ist ein solches Resultat nur für s ≥ 8. Für kleinere s wurde die Formel nur im
quadratischen Mittel bestätigt; so zeigte Vaughan (1986) für  > 0, daßX2R4 (n) − Γ(4/3)3 S4 (n)n1/3  N 5/3 (log N )−3 .
n≤N

12

In Zusammenarbeit mit T.D. Wooley wurden nun höhere Momente solcher Fehlerterme
untersucht; unter Anderem ergaben sich die folgenden Resultate.
Satz 1. Es geltenX

R5 (n) − Γ(4/3)5 Γ(5/3)−1 S5 (n) n2/33

 N 3 (log N )−3 ,n≤NX

R6 (n) −n≤NΓ(4/3)65
S6 (n) n  N 6 (log N )−4 .
Γ(2)Im Falle ungerader Momente kann alternativ auch das Vorzeichen berücksichtigt werden.
Gelegentlich lassen sich dann weitere Auslöschungen sichtbar machen.
Satz 2. Es geltenX

R5 (n) −n≤N3
Γ(4/3)5S5 (n) n2/3  N 35/12+
Γ(5/3)

und
X

n≤N


R5 (n)3 = CN 3 + O N 35/12+ .

Diese beiden Aussagen sind im Wesentlichen äquivalent.
In Satz 2 läßt sich der Titel desP
Vortrags am leichtesten erklären, denn die Summe n≤N R5 (n)3 gleicht der Lösungsanzahl
des Systems kubischer Gleichungenx31 + x32 + x33 + x34 + x35 = y13 + · · · + y53 = z13 + · · · + z53 ≤ N.
Dieses System wird mit einer dreidimensionalen (sic!) Version der Kreismethode behandelt,
was dann Satz 2 liefert. Die Beweisidee für Satz 1 ist anders: Mit
Xf (x) =e(αx3 )x≤N 1/3

und einer geeigneten Wahl von minor arcs“ m sieht man zunächst leicht”ZΓ(4/3)52/3
S5 (n) n =f (α)5 e(−αn)dα + O N (1/2)+ .
R5 (α) −Γ(5/3)
m
In der nun verbleibenden SummeX Z
3f (α)5 e(−αn)dαn≤Nmlassen sich kleine Summanden“ ad hoc behandeln. Ist
”
Z
n
o
5
λ
N = n≤N :f (α) e(−αn)dα < N ,mdann zeigt die Besselsche Ungleichung
Z 3
X
X Z
λ
≤N
n≤N : n∈N

m

n≤N

m

2

≤N

λ

Z
m

f (α)

10

dα;

13

für nicht zu große λ erhält man somit Standardmethoden
befriedigende Resultate. GroßeRλSummanden sind selten: ist Z = n ≤ N : m ≥ N , dann ist für jedes n ∈ Z undgeeignetes kn ∈ C mit |kn | = 1 sicherZkn
f (α)5 e(−αn)dα ≥ N λ ;mmit
K(α) =

X

kn e(−αn)

n∈Z

folgt
λ

#ZN =

Z

K(α)f (α)5 dα.

m

Mit der Hölderschen Ungleichung ergibt sich dann
1/6  Z 1
1/3  Z
1/2
Z 1
8+(4/3)2
λ2|K| dα|f |dα.
|Kf | dα
#ZN ≤
0

0

m

Das mittlere Integral gleicht #Z, das letzte ist Standardmethoden zugänglich. Mit Resultaten von Heath–Brown über Taxicabnumbers“ zeigt man
Z 1 ”
2f (α)K(α) dα  N (4/9)+ #Z + (#Z)2 .
0

Diese Ungleichung genügt zum Beweis des Satzes 1; dabei ist entscheidend, daß der Term(#Z)2 frei von einem Faktor N  ist.
Diese neue Methode zum Zählen großer Fourierkoeffizienten hat vielfältige Anwendungenüber das Waringsche Problem hinaus.

14

Kleine Lösungen additiver Kongruenzen
Rainer Dietmann, Stuttgart

H. Weyl

Wir betrachten Kongruenzen der Form
a1 xk1 + . . . + as xks ≡ 0(mod m)(1)

und suchen Abschätzungen für die kleinste nichttriviale Lösung. Unter der zusätzlichen Voraussetzung (a1 · . . . · as , m) = 1 gelingt uns für relativ kleine Variablenzahl s die Abschätzung
0 ≤ xi s,k, m1/k+ (1 ≤ i ≤ s)(2)

für die kleinste Lösung x ∈ Zs \{0} von (1). Für große k kann dabei s ∼ k log k gewählt
werden. Es ist klar, daß hierbei 1/k durch keine kleinere Zahl ersetzt werden kann, derExponent ist im Wesentlichen also scharf. Der Beweis dieses Resultats verwendet das große
Sieb, Mittelwertsätze für Exponentialsummen und die Weylsche Ungleichung.
Mit ganz anderen, nämlich kombinatorisch-geometrischen Methoden, gelingt uns im kubischen Fall eine neue Abschätzung für die kleinste nichttriviale Lösung von (1), die ohne
die Voraussetzung (a1 · . . . · as , m) = 1 auskommt: Für ungerades s und k = 3 hat (1) eineLösung x ∈ Zs \{0} mit|xi | ≤ m1/2+1/(2s) (1 ≤ i ≤ s).
(3)
Das verbessert im Spezialfall k = 3 ein Resultat von R.C. Baker. Eine weitere Verbesserung der Abschätzung (3) läßt sich erzielen, indem man die geometrische Methode mit der
analytischen Methode kombiniert, die zu (2) führte. Diese Vorgehensweise liefert auch im
quadratischen Fall k = 2 neue Resultate.

15

Neues über Summen von zwei Quadraten
Christian Elsholtz, Clausthal

E. Landau

In unserem Vortrag betrachten wir verschiedene Aspekte des Zweiquadratesatzes: die Spannweite dieser Aspekte reicht von einer didaktischen Bemerkung, Zerlegungseigenschaften vonMengen, graphentheoretischen Resultaten, Siebmethoden, bis hin zu möglichen Anwendungen bei Telekommunikationsproblemen.
1. Zunächst stellen wir einen Beweis des Zweiquadratesatzes vor, der einfacher ist als jener
im Buch von Aigner und Ziegler nach Heath-Brown und Zagier.
2. Wir geben eine kleine Verbesserung eines Ergebnisses von Erdös und Sárközy an für
unendliche Mengen A mit Eigenschaft P (dies sind Mengen A = {a1 , a2 , . . .} mit ai - aj + ak
für ai < aj < ak ). Die Mengen
Ar = {n2 : ω(n) = Ω(n) = r und (p | n ⇒ p ≡ 3 mod 4)}haben Eigenschaft P und Anzahlfunktion
1

N2(log log N )r−1 .
Ar (N ) ∼ crlog NDies verallgemeinert die Konstruktion von Erdös und Sárközy, die den Fall r = 1 betrachten.
3. Mittels Ergebnissen der extremalen Graphentheorie kann man als Korollar zu dem Ergebnis von Friedlander und Iwaniec über Primzahlen der Form x2 +y 4 zeigen, dass es große“”
Mengen A von Quadraten und B von vierten Potenzen gibt, so daß alle a + b ∈ A + B primsind. Zum Beispiel kann man A, B ⊂ {1, . . . , N } so wählen, daß |A|, |B| ≥ log N/(2 log log N )gilt. Für Mengen ohne die Einschränkung auf Quadrate und vierte Potenzen ist bekannt (Pomerance, Sárközy und Stewart), daß man solche Mengen um etwa einen Faktor von 2 größerwählen kann.
4. Nach einem Ergebnis von Wirsing können die meisten Mengen nicht asymptotisch zerlegt werden. Analog scheint es plausibel zu sein, daß fast alle Mengen, die eine Zerlegung
zulassen, nur auf eine Weise zerlegt werden können. Wir geben ein Beispiel für eine unendliche Menge an, die zwei Zerlegungen hat. Sei p ≡ 1 mod 4 prim. Sei A die Menge aller
Quadrate und A0 = A \ {p2 }. Dann ist A + A = A + A0 .
Man kann Ergebnisse des Autors über additive Zerlegungen der Menge der Primzahlen
auf Mengen übertragen, die nur aus bestimmten Primfaktoren bestehen. Es sei z.B. Q4,1 ={n ∈ N : p | n ⇒ p ≡ 1 mod 4}. Mittels Siebmethoden kann man zeigen, daß es keine vierMengen Ai mit |Ai | ≥ 2 gibt, wobei A1 + A2 + A3 + A4 bis auf endlich viele Fehler mit derMenge Q4,1 übereinstimmt.

16

5. Ergebnisse des Autors über die Primzahl k-tupel-Vermutung für großes, wachsendes kkönnen ebenfalls übertragen werden. Sei z.B. A, B ⊂ {1, . . . , N } und A+B ⊂ Q4,1 . Sei weiter
A(N )  (log N )r , r > 1, so gilt B(N )  N 1/2+r . Andererseits ist mit A = {n2 : n ∈ N}
und B = {n2 : n ∈ N, p | n ⇒ p ≡ 1 mod 4} auch A + B ⊂ Q4,1 und A(N ) = N 1/2+o(1) und
B(N ) = N 1/2+o(1) . Dies zeigt, daß dieses Sieb in bestimmten Bereichen nahezu optimal ist.
6. Abschließend zeigen wir, daß man große Mengen von Gitterpunkten in Z2 wählen kann,so daß alle Punkte vom Nullpunkt verschiedenen Abstand haben, die Steigungen vom Nullpunkt aus gemessen verschieden sind, das Verhältnis der Abstände irrational ist, und die
Punkte eine Blockstruktur A × B haben. Dies könnte Anwendungen in der Telekommunikation haben.

Über ein Problem von Tschebyscheff inalgebraischen Zahlkörpern
Jürgen Hinz, Marburg

P. Tschebyscheff

Es sei K ein algebraischer Zahlkörper vom Grade n = r1 +2r2 (in der üblichen Schreibweise).
ZK stehe für den Ring der ganzen Zahlen in K. Die Konjugierten einer Zahl α ∈ ZK werden
mit α(1) , . . . , α(n) bezeichnet. Für positive reelle Zahlen x1 , . . . , xn gelte xk = xk+r2 , k =r1 + 1, . . . , r1 + r2 .
Es sei F ∈ ZK [t] ein irreduzibles Polynom vom Grade g > 1. In Verallgemeinerung einer
Fragestellung
von Tschebyscheff werden Primidealteiler px maximaler Norm des ProduktsQ
F (α) untersucht, wobei α über alle Zahlen aus ZK läuft mit |α(k) | ≤ xk für k = 1, . . . , n.
Die Ausdehnung einer Methode von Erdös auf Zahlkörper führt zu der Abschätzung
N px > x (log x)c·log log log x
mit einer Konstanten c = c(F, K) > 0 unter der Voraussetzung, daß alle xk hinreichend großsind. Das obige Resultat läßt sich verschärfen zu
N px > x exp((log x)a )mit beliebigem 0 < a < 2 − log 4 .

Zum Beweis dieser unteren Schranke müssen nach einer Idee von Tenenbaum Aussagen über
die Hooleysche ∆-Funktion (für Polynome)
auf Zahlkörper verallgemeinert werden.
Q
Ersetzt man in dem Produkt
F (α) die ganzen Zahlen α ∈ ZK durch algebraischePrimzahlen ω ∈ ZK , so gilt – in total
Qreellen Zahlkörpern – für die Norm eines ”maximalen“
Primidealteilers px dieses Produkts F (ω) die Abschätzung
N px > xb0 −für jedes  > 0 mit b0 = 1 − 1/2 exp(−g/2 + 1/4) .

17Eine neue Methode in derprobabilistischen Zahlentheorie
Karl–Heinz Indlekofer, Paderborn

M. Stone, E. Čech

Ausgehend von einem klassischen“ Problem der probabilistischen Zahlentheorie, unter wel”
chen Voraussetzungen der Mittelwert einer zahlentheoretischen Funktion (falls er existiert)
als Integral in einem geeigneten Maßraum darstellbar ist, werden kurz die Räume der fastgeraden Funktionen von Schwarz und Spilker, die grenzperiodischen (vgl. Novoselov) und fastperiodischen Funktionen (Delsarte, Wintner, Cohen, Mauclaire) vorgestellt. Diese Räume
sind vom zahlentheoretischen Standpunkt klein“ , da sie z.B. nicht die Möbius–Funktion”
enthalten. Wir stellen eine Integrationstheorie auf N vor, die auf der folgenden Charakterisierung der Stone–Čech–Kompaktifizierung βN von N beruht: Für jede Algebra A ⊂ P(N)ist das MengensystemĀ := {Ā ⊂ βN : Ā = clβN (A) für A ∈ A}
eine Algebra in P(N). Bei gegebener Algebra A in N und einem dazugehörigen Inhalt δ auf
A gehen wir über zu Ā, δ̄ mit δ̄(Ā) = δ(A), und hier ist δ̄ ein Prämaß. Wir skizzieren eine
Integrationstheorie, insbesondere an dem Beispiel der durch Aph := {n ∈ N : ph |n} (p prim,h ∈ N) erzeugten Algebra. Hier ist δ(A) die asymptotische Dichte von A. Wir zeigen, daß derdurch geeigneten Abschluß der Treppenfunktionen auf A erhaltene Raum zahlentheoretischer
Funktionen z.B. die Möbius–Funktion enthält. Die Abschlüsse implizieren neue, elementare
Beweise der Sätze von Wirsing, Halász und Delange für multiplikative Funktionen f mit|f | ≤ 1.

18

Etaprodukte und rationale SimplizesGünter Köhler, Würzburg

C.L. Siegel

Ein Etaprodukt
f (z) =

Y

η(mz)a(m) ,a(m) ∈ Z,

m|N

mit der Dedekindschen Etafunktion
  2 ∞ 
 z YX
12nz
η(z) = e(1 − e(nz)) =
e
,
24 n
n
24
n=1
P
transformiert sich wie eine Modulform vom Gewicht k = (1/2) m|N a(m) zur Gruppe Γ0 (N )aller ganzzahligen Transformationen z 7→ (az+b)/(cz+d) mit ad−bc = 1 und c ≡ 0(mod N ).
Im Fall a(m) = a(m/N ) für alle m|N liegt entsprechendes Transformationsverhalten zu
der von Γ0 (N ) und z 7→ −1/(N z) erzeugten Fricke-Gruppe Γ∗ (N ) vor. Viele Etaprodukteoder Linearkombinationen von Etaprodukten sind Heckesche Eigenformen, und manche sindzugleich Heckesche Thetareihen zu imaginär-quadratischen Körpern. Ein Beispiel ist
1√ η 3 (2z)η(8z)η(z)η 3 (4z)
1 X
±i 2
=
χ(µ)e µµz ,η(2z)η(8z)η(z)η(4z)
2 µ∈R
8
2
√
wobei χ ein Charakter der Periode 8 auf R2 = Z[ −2] ist. Ein Etaprodukt f ist genau
dann eine Modulform vom Gewicht k zu Γ0 (N ), wenn f in den Spitzen holomorph ist. Diese
Bedingung ist äquivalent zu einem System von σ0 (N ) linearen Ungleichungen in den σ0 (N )Variablen a(m) von der Gestalt
X ggT(m, c)2· a(m) ≥ 0 für alle c|N.
m
m|N

Bei festem k kann man eine der Variablen, etwa a(N ), durch die übrigen ausdrücken, und die
Ungleichungen definieren ein kompaktes Simplex S 0 (N, k) im Raum RD mit der Dimension
D = σ0 (N ) − 1. Für die Etaprodukte vom Gewicht k zu Γ∗ (N ) erhält man analog ein
Simplex S ∗ (N, k) in Rl mit l = b(σ0 (N ) − 1)/2c. Will man alle solchen Etaprodukte auflisten,dann braucht man eine Liste aller Punkte in S ∗ (N, k) ∩ Zl . Es besteht daher Interesse aneffizienten Algorithmen, die eine solche Liste liefern. Der beste mir bekannte Algorithmus
nutzt die Konvexität der Simplizes, aber die Rechenzeit verdoppelt sich ungefähr, wennsich die Dimension l um 1 erhöht, und ich bin in Computerrechnungen nicht über l = 13
hinausgekommen. Ein Beispiel mit l = 13 ist S ∗ (900, 1) mit dem Volumen 314 · 57 /(228 · 7 ·
11 · 13) = 1, 390 . . . und mit 127 ganzzahligen Punkten.

19

Summenformeln in der analytischen
Zahlentheorie
Ekkehard Krätzel, Wien

G.F. Voronoi

Es werden Verallgemeinerungen der Euler–Maclaurinschen und der Poissonschen Summenformel gegeben.
Es sei Ep ein p–dimensionales zentralsymmetrisches Ellipsoid mit der Distanzfunktion
Fp (t), t = (t1 , t2 , . . . , tp ), und der Stützfunktion Hp (u), u = (u1 , u2 , . . . , up ). Dann ist Fp2 (t)durch eine positiv–definite quadratische Form
p
p
X
X
2
aij ti tj ,det(aij ) = dp
Fp (t) =i=1 j=1

dargestellt und Hp (u) demzufolge durch
Hp2 (u) =pp
XX

Aij ui uj ,i=1 j=1

worin Aij die Adjunkten zu aij bedeuten. Es bezeichneA(x; Ep ) := # n ∈ Zp : Fp2 (n) ≤ x , n = (n1 , n2 , . . . np ),√die Anzahl der Gitterpunkte in dem durch x dilatierten Ellipsoid Ep . Weiter seiXν1Aν (x; Ep ) :=x − Fp2 (n) , ν ∈ Z, ν ≥ 0.
Γ(ν + 1) 2
Fp (n)≤x

Es istAν (x; Ep ) =π p/2
p xp/2+ν + ∆ν (x; Ep ),Γ(p/2 + ν + 1) dp

worin sich der Rest für ν > (p − 1)/2 durch eine absolut konvergente Reihe über Besselfunktionen darstellen läßt:
X Jp/2+ν (2πHp (n)√x)1
p/4+ν/2∆ν (x; Ep ) = ν p x
Hp (n)p/2+ν
π dp
n6=0
 x(p−1)/4+ν/2 .
Diese Entwicklung ergibt sich aus Untersuchungen von E. Landau.

20

Es sei ρ = [(p + 1)/2] und f (t) sei (ρ + 1)–mal stetig differenzierbar in [a, b]. Im ersten Teildes Vortrags wird die verallgemeinerte Euler–Maclaurinsche Summenformel
Z b
X

π p/2
2
p
f Fp (n) =tp/2−1 f (t) dt
Γ(p/2) dp a
a<F 2 (n)≤b
p

+

ρ
X
ν=0


(−1)ν f (ν) (b)∆ν (b; Ep ) − f (ν) (a)∆ν (a; Ep )ρ+1

+ (−1)Z b

f (ρ+1) (t)∆ρ (t; Ep ) dt

aund die verallgemeinerte Poissonsche Summenformel
Z b
X

π p/2
2
p
f Fp (n) =tp/2−1 f (t) dt
Γ(p/2) dp a
a<F 2 (n)≤b
p

+

ρ−1
X
ν=0


(−1)ν f (ν) (b)∆ν (b; Ep ) − f (ν) (a)∆ν (a; Ep )Z b√1(−1)ρ X
p/4+(ρ−1)/2 (ρ)+ ρ−1 p
t
f
(t)J
(2πH
(n)
t) dt
p
p/2+ρ−1πdp n6=0 Hp (n)p/2+ρ−1 avorgestellt. Im Spezialfall a = 0, b → ∞ gilt unter der Voraussetzungf (ν) (x)  x−p/2−ν−für ν = 0, 1, . . . , ρ,  > 0, x → ∞

sogar
X

f

Fp2 (n)

n



Z b
π p/2
p
=
tp/2−1 f (t) dt
Γ(p/2) dp a
Z ∞
√
1
π X
p/4−1/2
+p
t
f
(t)J
(2πH
(n)
t) dt.
pp/2−1
dp n6=0 Hp (n)p/2−1 0

Im zweiten Teil wird das Gitterpunktproblem Aρ−1 (x; Ep ) betrachtet. Es ergibt sich∆ρ−1 (x; Ep )  x2p/3−1∆ρ−1 (x; Ep ) = Ω xp/2−3/4
für gerade p und∆ρ−1 (x; Ep )  x(p−1)/2 log x∆ρ−1 (x; Ep ) = Ω x(p−1)/2

für ungerade p. Mit Hilfe einer sich aus der verallgemeinerten Poissonschen Summenformel ergebenden Identität für Besselfunktionen ergibt sich die folgende Darstellung für den
Gitterrest: Sei die Distanzfunktion des Ellipsoids Ep gegeben durch
2
Fp2 (m, n) = am2 + Fp−1
(n)

21

mit a > 0, n = (n1 , n2 , . . . , np−1 ). Dann giltAρ−1 (x; Ep ) =mit
p/4+(ρ−1)/2∆ρ−1 (x; Ep ) =π p/2
pxp/2+ρ−1 + ∆ρ−1 (x; Ep )Γ(p/2 + ρ) adp−1
+∞
X

x
p
π ρ−1 adp−1 m=−∞ m2 +|n|2 >0
X

Jp/2+ρ−1 2πq
2x(m2 /a2 + Hp−1(n))

2
(m2 /a2 + Hp−1(n))p/4+(ρ−1)/2,

wobei |n|2 = n21 + n22 + · · · + n2p−1 . Dies verallgemeinert eine Identität von E. Landau für den
Kreis, bei dem a = 1, p = 2, H12 (n) = n2 gilt.

Zur Verteilung der Quadrate ganzer Oktaven
Gerald Kuba, Wien

A. Cayley

Motiviert durch eine Arbeit von Müller und Nowak [4] über die Verteilung der Potenzen
ganzer Gaußscher Zahlen wurde in [1] und [4] die Frage nach der Verteilung der Quadrate
ganzer Quaternionen abgehandelt. Diese Fragestellung soll nun auf die Cayleyschen Oktaven
ausgedehnt werden. Es sei dazu O = R8 die Cayley-Algebra und Γ ein (nicht-assoziativer)
Teilring, der im Sinne von Hurwitz und Dickson einen Ganzheitsbereich bildet, sodaß also
insbesondere Γ ⊂ ( 12 Z)8 gilt. Der Einfachheit halber formulieren wir unsere Ergebnisse nur
für den Fall Γ = Z8 .
Für einen kompakten Grundbereich G ⊂ R8 und einen großen reellen Parameter X sei
A(X) := #{a2 | a ∈ Γ ∧ a2 ∈ X · G }.
Unter Berücksichtigung der speziellen Rolle des Imaginärraums {0} × R7 der Algebra O im
Zusammenhang mit der Quadratbildung gilt für X → ∞√A(X) = # X · G ∗ ∩ N × Z7 + O(X)

mit G ∗ := { a ∈ O | a2√∈ G }, sodaß die Verteilungsfrage darauf hinausläuft, die Gitterpunkte
in dem um den Faktor X homothetisch dilatierten Bereich G ∗ zu zählen. Als Grundbereicheder Verteilung werden die Folgenden betrachtet, die von besonderem Interesse sind, weil sie
den verschiedenen klassischen Definitionen der Cayleyschen Oktaven entsprechen:22

G1 := [−1, 1]8

G2 := (x1 , ..., x8 ) ∈ R8 |x1 |, |(x2 , ..., x8 )| ≤ 1
G3 := (x1 , ..., x8 ) ∈ R8 |(x1 , x2 )|, |(x3 , ..., x8 )| ≤ 1
G4 := (x1 , ..., x8 ) ∈ R8 |(x1 , ..., x4 )|, |(x5 , ..., x8 )| ≤ 1

Offensichtlich sind G1 , G2 , G3 , G4 sehr einfache konvexe Teilmengen des R8 , dagegen sind die
für die Gitterpunktzählung relevanten Bereiche G1∗ , G2∗ , G3∗ , G4∗ durchwegs nicht konvex undvon ziemlich merkwürdiger Gestalt. Unser Resultat lautet nun:Satz. Für G = Gi (i = 1, 2, 3, 4) gilt
vol Gi∗ 4 8π 3 7/2
X −X + Ri (X),2
105
wobei die Fehlerterme Ri (X) für X → ∞ durch R2 (X)  X 3 , R4 (X)  X 101/32+ und
R1 (X), R3 (X)  X 3.315 abgeschätzt werden können.
A(X) =[1] G. Kuba, On the distribution of squares of integral quaternions, Acta Arith. 93(2000),
359-372[2] G. Kuba, On the distribution of squares of hypercomplex integers, J. Number Th.
88(2001), 313-334[3] G. Kuba, On the distribution of squares of integral quaternions II, Acta Arith. 101(2002),
81-95[4] H. Müller, W.G. Nowak, Potenzen von Gaußschen ganzen Zahlen in Quadraten, Mitt.
Math. Ges. Hamburg 18(1999), 119-126

Über die Klassenzahl quadratischer Formen:
Untere Abschätzungen für das Restglied
Manfred Kühleitner, Wien

I.M. VinogradovFür jedes n ∈ N sei N (n) die Zahl der Äquivalenzklassen positiv definiter quadratischer
Formen mit negativer Diskriminante −n. C.F. Gauß zeigte die asymptotische EntwicklungX
π 3/2 1
A(t) :=
N (n) =t − t + E(t) .
184n≤tFür den Fehlerterm E(t) wurde kürzlich die obere Abschätzung
E(t)  t21/32+

23

von F. Chamizo und H. Iwaniec (Nagoya Math. J. 151(1998), 199-208) bewiesen. Der Beweis
beruht auf der Darstellung von A(t) als dreidimensionales Gitterpunktproblem und einer
zugehörigen Funktionalgleichung von T. Shintani (J. Fac. Sci. Univ. Tokyo Sect. IA, 22(1975),
22-65). Thema des Vortrages sind untere Abschätzungen für den Fehlerterm E(t), welche sichaus einer neueren Arbeit von K.–M. Tsang (Bull. London Math. Soc. 32(2000), 679-688) über
das dreidimensionale Kugelproblem ergeben. Die Ergebnisse lautenpE(t) = Ω±t log t .

Dichteschranken für σ-freie Mengen
Lutz G. Lucht, Clausthal

J. Knopfmacher

Es sei σ ein nichtleeres System von nichtleeren endlichen Teilmengen von N. Eine Menge
A ⊆ N heißt σ-frei, wenn keine Teilmenge von A zu σ gehört. Mit d(A) wird die obere
asymptotische Dichte der Menge A ⊆ N bezeichnet, mitd(σ) = sup {d(A) : A ⊆ N σ-frei}
die obere asymptotische Dichteschranke für σ-freie Mengen. Für endliche σ-freie MengenA ⊆ {1, . . . , n} bezeichnet entsprechend τ (σ, n) deren maximale Elementeanzahl undτ (σ, n)τ (σ) = lim supndie obere maximale Dichteschranke.
Ruzsa hat 1995 einige Probleme über extremale σ-freie Mengen formuliert, die teilweise
bereits 1976 behandelt worden waren. Dabei besteht σ aus den Tripelmengen {x, y, z} ⊂ N
mit ax + by = cz und Koeffizienten a, b, c ∈ N, c > a + b. Seit 2000 gibt es neue Ergebnisse
von Schoen sowie Baltz und Schoen.
Der Vortrag berichtet über Methoden und Ergebnisse dieses Teils der kombinatorischen
Zahlentheorie. Für c ≥ 2ab (a + b) und teilerfremde a, b ∈ N mit b ≥ a giltc2 − c (a + b)d(σ) = 2< τ (σ).
c − a (a + b)
Der Wert von τ (σ) wurde bislang nur für a = b = 1 bestimmt.

24

Kreisteilungspolynome, deren Ordnungenviele Primfaktoren enthalten
Helmut Maier, Ulm

E. Galois

Wir beweisen folgendes Resultat: Es sei  > 0 gegeben. Es sei Φn das n–te Kreisteilungspolynom, n = p1 · · · pk , µ2 (n) = 1. Ist dann k ≥ k0 (), so istmax Φn (e2πiα ) ≥ exp 2k(1−)/2 .
α∈[0,1]

Der Beweis besteht aus einer Auswertung des zweiten Moments
Z 1
2
M2 (n) =log |Φn (e(α))| dα0

und einer Abschätzung des dritten Moments
Z 1
3
M3 (n) =log |Φn (e(α))| dα.
0

Die Abschätzung von M3 (n) wird zurückgeführt auf Summen der Form
X
|m1 m2 m3 |−1
m1 d1 +m2 d2 +m3 d3 =0, di |n

und damit eine Schranke für die Lösungen der Gleichungm1 d1 + m2 d2 + m3 d3 = 0
in Teilern di |n für festes (m1 , m2 , m3 ).
Letztere Schranke wird durch die Idee der Kugelpackungsschranke aus der Kodierungstheorie erhalten.

25

Mittelwerte über kurze Intervalle für
Restterme in der Gitterpunktlehre
Werner Georg Nowak, Wien

C.F. Gauß

Es sei B ein konvexer ebener Bereich mit hinreichend glattem Rand von nichtverschwindender, beschränkter Krümmung. Nach Aufblasen“ von B um einen großen Parameter t”interessiert man sich für die Gitter-Diskrepanz PB (t) (das ist die Zahl der Gitterpunkte minus Flächeninhalt) von tB. Man kennt dafür obere und untere Abschätzungen und vermutet,
daß PB (t)  t1/2+ für jedes  > 0 gilt.
Leitthema des Vortrages ist die Erkenntnis, daß derartige Schranken für Integral-Mittelüber viel kürzere Intervalle als bisher bekannt bewiesen werden können. Es genügt, daßΛ = Λ(T ) rascher als log T wächst, damit
Z T +Λ(T )(PB (t))2 dt ∼ CB Λ(T )T
T −Λ(T )gezeigt werden kann (vgl. Arch. Math. 78(2002), 241-248).
Dies kann unter beträchtlich größerem technischem Aufwand auch noch bestätigt werden,
wenn der Rand von B nicht glatt ist, sondern Ecken“ besitzt, B also z.B. wie ein Kro””
nenkorken“ aussieht. Dieser Fall tritt auf bei der asymptotischen Abschätzung der Anzahl
aller komplexen Zahlen z mit max(|<(z)|, |=(z)|) ≤ X, welche p–te Potenzen von ganzen
Gaußschen Zahlen sind. Hier ist X ein großer reeller Parameter und p ≥ 2 fest.
Schließlich gilt Analoges beim sogenannten Dirichletschen Teilerproblem. Für das Restglied ∆(x) in der bekannten DarstellungXd(n) = x log x + (2γ − 1)x + ∆(x)n≤x

ergeben sich neben dem Analogon zu Obigem sogar Aussagen für die Momente dritter undvierter Ordnung, wieder über kurze“ Intervalle gemittelt: Es gilt”
Z T +Λ(T )Z T +Λ(T )2 3
3/2(∆(t )) dt ∼ C3 Λ(T )T ,(∆(t2 ))4 dt ∼ C4 Λ(T )T 2 ,T −Λ(T )T −Λ(T )βwenn Λ = Λ(T ) nur rascher als T mit einem β > 1/2 wächst. Letzteres verfeinert Ergebnisse
von K.–M. Tsang (Proc. London Math. Soc. (3) 65(1992), 65-82), wo über [0, T ] gemittelt
wurde.

26

Werte von Dirichlet-Reihen an ganzzahligen
Stellen und kombinatorische Identitäten
Manfred Peter, Freiburg

G.L. Dirichlet

Ist {λ} das Spektrum des Dirac-Operators auf der Sphäre S 2m+1 (m ∈ N0 ) mit Berger-Metrik
zum Parameter T > 0, so ist
X sign λη(0) :=|λ|sλ6=0die Eta-Funktion dieser Mannigfaltigkeit. Sie kann holomorph nach 0 fortgesetzt werden
und gestattet somit die Definition der Eta-Invariante η(0). Da das Spektrum in diesem Fall
explizit bekannt ist, kann η(s) auf wohluntersuchte Dirichlet-Reihen zurückgeführt werden,
die Polynomen in einer und zwei Variablen zugeordnet sind. Damit kann η(0) effektiv für
gegebenes m als Laurent-Polynom in T berechnet werden. Die Koeffizienten sind verwickelte
Summen mit hypergeometrischen Summanden. Ich kann zeigen, daß η(0) in Wirklichkeit ein
Polynom in T ist; diese Aussage ist äquivalent zu den drei kombinatorischen Identitäten

 
 
n
X
n−α−1
ν α
n α
(−1)
= (−2),n ∈ N, α ∈ C,
ν
n
−
ν
n
ν=0
 
n
X
ν n
(−1)
f (ν) = 0,
f ∈ C[X], deg f < n,
ν
ν=0
 



n
X
α+ν
α
ν n
m
(−1)
= (−1),α ∈ C, m, n ∈ N0 .
ν
m
m−n
ν=0
Numerische Rechnungen legen folgende Vermutung nahe.
√
Vermutung. Für m ∈ N ungerade und 0 < T < 4 m ist
η(0) = cm (1 − T 2 )m+1
mit

m
2 X Bl+1 ((m + 1)/2) (l)  m − 1 
cm := −
Φ−.
m! l=0(l + 1)!
2
Q
Dabei sind Bν die Bernoulli-Polynome und Φ(X) := m−1
i=0 (X + i).

27

Die Quersumme modulo 2 indünnen Folgen
Jan-Christoph Puchta, Freiburg

A. Thue, H.M. MorsePP
Ist n = k≥0 ek (n)2k , ek ∈ {0, 1}, die Binärdarstellung von n, so bezeichne s(n) := k≥0 ek (n)s(n)
die binäre Quersumme. Dann wird die Thue-Morse-Folge t(n) definiert
P als t(n) = (−1) .
In diesem Vortrag werden Abschätzungen für Summen der Form n≤x t(n)f (n) gegeben,
wobei f eine zahlentheoretische Funktion ist. Diese Abschätzungen benutzen die Weylsche
Ungleichung sowie die Fastperiodizität der Funktionen n 7→ t(n)t(n + h).

Die Anzahl ganzalgebraischer Zahlen
in Quadern
Ulrich Rausch, Fulda

C.G.J. Jacobi

Es sei K ein (der Einfachheit halber) total reeller algebraischer Zahlkörper mit dem Grad
[K : Q] = n, der Diskriminante d und der Differente d.
Für α = (α(1) , . . . , α(n) ) ∈ Rn und positiv-reelle Variablen x1 , . . . , xn bezeichne F (x; α) die
Anzahl der ganzen Zahlen ν ∈ K, deren Konjugierte ν (p) den Ungleichungen|ν (p) + α(p) | ≤ xp ,p = 1, . . . , ngenügen. Ziel ist die Untersuchung des Gitterrests2n∆(x; α) := F (x; α) − √ X, wo X = x1 · · · xn .
dFourierentwicklung bezüglich α liefert die divergente ReihenX0YPsin(2πν (p) xp )(p) ν (p)−2πi nαp=1∆(x; α) ∼eπν (p)
−1
p=1
ν∈ d

(1)

28

und die Parseval-RelationZn

1 X 0 Y sin2 (2πν (p) xp )√∆ (x; α)dα =,(πν (p) )2dP−1 p=12

ν∈ d

aus der man immerhinZ∆2 (x; α)dα =P O(logn−1 X), Ω(logn−1 X),

X ≥ 2,
X → ∞,

gewinnen kann. Hier bezeichnet P ein Fundamentalparallelotop des von den ganzen ν ∈ K
bestimmten Gitters.
Eine brauchbarere Version von (1) erhält man, wenn man mittels
Z ∞
Z ∞
1
2
−v
−v 2 /√χ(ae ) edv =e−a u Φ (u)du,
(2)
π −∞
0
wo
Z σ+i∞1us−12Φ (u) =es ds, > 0, a ≥ 0, σ ∈ R,
2πi σ−i∞ Γ(s + 1)
2
die charakteristische Funktion χ von [0, 1] glättet und gleichzeitig in e−a transformiert. Setzt
man a = |ν (p) + α(p) |/xp in (2) und multipliziert und summiert über ν, so wird
 (p)

n
XY
|ν + α(p) |F (x; α) =
χ
xp
ν p=1
geglättet und in die Θ-Funktion
X
Pn
(p)
(p) 2
Θ(u; α) =e−π p=1 |ν +α | up
ν

= √

X
Pn
Pn
1
(p) 2
(p) (p)e−π p=1 |ν | /up +2πi p=1 α ν
du1 · · · un−1ν∈ dübergeführt:1(π)n/2

Z−|v|/v

F (xe ; α) e

Rn

dv =

n
u
Y
Θ
;α
Φ (up )du
πx
Rn
+
p=1

Z

n
π n/2 X 2πi Pnp=1 α(p) ν (p) Y= √eI (π 2 |ν (p) |2 x2p )
d
−1
p=1
ν∈ d

mit
Z ∞

e−B/u u−1/2 Φ (u)du0
Z σ+i∞1
Γ(s + 1/2) −s−1/2 s2
=
B
e ds,
2πi σ−i∞ Γ(1 − s)I (B) =σ > −1/2.

29

Das letzte Integral läßt sich mit Hilfe der Sattelpunktmethode zu√e−Bsin(2 B)I (B) ≈ √πB
auswerten, und damit erhält man eine Reihe wie in (1), aber mit einem zusätzlichen konvergenzerzeugenden Faktor. Nachdem man diese trivial abgeschätzt hat, unterzieht man sie
zur endgültigen Auswertung einer weiteren Fourierentwicklung, diesmal in bezug auf die
Einheitengruppe (Siegelsche Summenformel). Anschließend wird die Glättung mittels eines
Tauberschen Arguments wieder entfernt. Als Resultat ergibt sich2nF (x; α) = √ X + O(logn X),
X ≥ 2,
dgleichmäßig in α.
Diese Methode läßt sich auf Charaktersummen in beliebigen algebraischen Zahlkörpern
ausdehnen und liefert ein Analogon des Satzes von Pólya-Vinogradov. Dieser lautet im totalreellen FallXpχ(ν) 
N (q) logn X,
X ≥ 2,
yp <ν (p) ≤yp +xp

für einen Nicht-Hauptcharakter χ mod q und beliebige y1 , . . . , yn ∈ R . Die -Konstantehängt dabei nur vom Körper K ab.

30

Zur Berechnung von Mittelwerten vonProdukten geshifteter multiplikativer
Funktionen
Wolfgang Schwarz, Frankfurt

S. Ramanujan


L. Lucht zeigte 1979, daß der Mittelwert M F̃k vonF̃k : n 7→ f1 (β1 n + α1 ) · · · fk (βk n + αk )existiert, wenn f1 , . . . , fk multiplikative Funktionen sind, die |fκ | ≤ 1 und
X |fκ (p) − 1|
<∞
p
p
 Q
erfüllen, und er gab eine Produktdarstellung der Gestalt M F̃k = p η(p).
Sei Ak die k · kk – Hülle von LinC {e2πiαn , α ∈ R}, wobei

1/k
X
−1
k
kf kk := lim sup x ·|f (n)|x→∞n≤x

ist. Für f1 , . . . , fk ∈ Ak ist F̃k ∈ A1 , also existiert M F̃k . Die formelmäßige Berechnung
stieß auf Schwierigkeiten; in den Proceedings der Zakopane Conference 1997 wurde für multiplikative f ∈ B 2k−2 gezeigt, daß

Y X


∗
∗
M F̃k = M (f1 ) · · · M (fk ) ·ap`1 (f1 ) · · · ap`k (fk ) · M Cp~`,~αp`1 ,...,`kist, wenn o.B.d.A. β1 = · · · = βk = 1 vorausgesetzt wird. Dabei ist
Cr1 ,...,rk , α1 ,...,αk (n) =kYcrκ (n + ακ ).

1Gemeinsam mit Frau E.H. Choi wird gezeigt, daß diese Mittelwertformel und die von L.
Lucht erwartungsgemäß übereinstimmen, wobei neue Formeln für die Faktoren in der Mittelwertdarstellung
werden, aber nur für k = 2. Für k ≥ 3 macht die komplizierte
 hergeleitet

Gestalt von M Cp~`,~α große Schwierigkeiten.

31

Die Ziffern der Fibonacci–ZahlenJürgen Spilker, Freiburg

L. Pisano (Fibonacci)

Sei
Fn = ek (n)10k + · · · + e1 (n)10 + e0 (n),ek (n), . . . , e0 (n) ∈ {0, . . . , 9}, ek (n) > 0,

die Dezimal–Darstellung der n–ten Fibonacci–Zahl. Von der Verteilung der Endziffern e0 (n)und der Anfangsziffern ek (n) handelt derSatz 1.

a) Die Funktion
fe (n) :=

1, die Endziffer von Fn ist e,0, sonst,

ist periodisch mit Periode 60 und hat den Mittelwert(
1/15 falls e gerade,M (fe ) =2/15 falls e ungerade.
b) Die Funktion
ge (n) :=

1, die Leitziffer von Fn ist e,0, sonst,

ist fast–periodisch (∈ A1 ) und hat den Mittelwert
1
.
( Benford–Gesetz“)M (ge ) = log10 1 +”e
Von der Anzahl der Ziffern der Fn handelt derSatz 2.
c) Die Anzahl der Ziffern der Fn bildet eine modulo m gleichverteilte Folge füralle m ≥ 2.
d) Die Funktion1, es gibt genau 5 Zahlen Fn mit k Ziffern,c(k) :=
k > 1,
0, es gibt genau 4 Zahlen Fn mit k Ziffern,√

ist fast–periodisch (∈ A1 ) mit Mittelwert (log10 1+2 5 )−1 − 4 ≈ 0, 78.

32

Über die Universalität von ZetafunktionenJörn Steuding, Frankfurt

A. Selberg

Voronin bewies, daß jede stetige Funktion g : {s ∈ C : |s| ≤ r} → C \ {0} mit 0 < r < 1/4,
die für |s| < r analytisch ist, von der Riemannschen Zetafunktion ζ(s) irgendwo im Streifen
1/2 < <s < 1 beliebig genau approximiert wird, d.h. für alle  > 0 existiert ein τ > 0 mit
max |ζ(s + 3/4 + iτ ) − g(s)| < .
|s|≤rDieses Universalitätstheorem wurde u.A. durch Reich, Bagchi, Laurinčikas und Matsumotoverschärft bzw. auf andere Dirichletreihen ausgedehnt. Die Linniksche Vermutung besagt,
daß alle Funktionen, die eine Dirichletreihenentwicklung besitzen und gewissen natürlichen
Wachstumsbedingungen genügen, universell sind. Im Vortrag wird ein Universalitätstheorem
für eine Teilmenge der Selbergklasse vorgestellt.
Es sei S̃ die Menge aller Funktionen F (s), die folgenden Axiomen genügen:• Eulerprodukt: Es existieren komplexe Zahlen αj (p), so daß
−1
n 
YY
αj (p)
für <s > 1;
F (s) =
1−
s
p
p j=1
dabei erstreckt sich das Produkt über alle Primzahlen p.
• Ramanujan-Petersson Vermutung: Es gilt |αj (p)| = 1 für 1 ≤ j ≤ n und alle bis auf
endlich viele Primzahlen p.
• Mittelwert: Es gibt eine positive Konstante κ, so daß
1 X
lim|a(p)|2 = κ,x→∞ π(x)p≤xwobei π(x) die Anzahl der Primzahlen p ≤ x ist.
• Analytische Fortsetzung: Es gibt eine ganze Zahl m ≥ 0, so daß (s − 1)m F (s) eineganze Funktion endlicher Wachstumsordnung ist.
• Funktionalgleichung: Es existieren Zahlen Q > 0, λj > 0, µj mit <µj ≥ 0 sowie ω mit|ω| = 1, so daßrYΛF (s) := Qs
Γ(λj s + µj )F (s) = ωΛF (1 − s).
j=1

33

Wir definieren noch den Grad von F durch dF := 2
gleichung). Dann gilt:Pj λj (in Hinblick auf die Funktional-Satz. Sei 1 6= F ∈ S̃ und K eine kompakte Teilmenge des Streifens11σF := max
,1 −< <s < 12
dF
mit zusammenhängendem Komplement. Sei ferner g(s) eine stetige Funktion auf K ohne
Nullstellen, die analytisch im Inneren von K ist. Dann gilt für beliebiges  > 0no1
lim inf meas τ ∈ [0, T ] : max |F (s + iτ ) − g(s)| <  > 0.
T →∞ Ts∈K
Trotz der vielen Voraussetzungen liefert dieser Satz die Universalität für ζ(s), Dirichletsche L-Funktionen, Dedekindsche Zetafunktionen, Heckesche L-Funktionen, L-Funktionen
assoziiert zu Neuformen (bzw. elliptischen Kurven) und Artinsche L-Funktionen.

Additive arithmetische Halbgruppen:
elementare Methoden
Stefan Wehmeier, Paderborn

F. Mertens

Eine additive arithmetische Halbgruppe ist ein von einer Menge P erzeugter freier kommutativer Monoid G mit Gradfunktion ∂ : G 7→ N0 , so daß∂(ab) = ∂(a) + ∂(b),a, b ∈ G,

und
G(n) := {a ∈ G | ∂(a) = n}endlich ist für jedes n. Äquivalent dazu ist die Voraussetzung, daßP (n) := {p ∈ P | ∂(p) = n}endlich ist für jedes n.
Ein klassisches Beispiel ist G = {f ∈ Fq [X]; f normiert}; dann ist G(n) = q n .
Wir betrachten nun G mit
G(n) = (A + r(n))q n ,wobei A > 0, q > 1 feste Konstanten sind und r(n) → 0 für n → ∞. Ziel ist es, möglichst
viele Sätze der multiplikativen Zahlentheorie unter möglichst schwachen Voraussetzungen anr(n) zu übertragen.

34

J. Knopfmacher [5] arbeitete unter der Voraussetzung r(n) = O(q −n ) mit einem  > 0.
Neuerer(n) = O(1/n2 )P Arbeiten (z.B. Knopfmacher, Zhang [6]) verwenden in der Regelnoder n |r(n)| < ∞, oder r(n) = O(1/n) kombiniert mit P (n) = O(q /n).
In diesem Vortrag wird gezeigt, daß es reicht, r(n) = O(1/ ln(n)2 ) und P (n) = O(q n /n)vorauszusetzen, um von manchen Sätzen der multiplikativen Zahlentheorie ein Analogon für
G zu finden.
Man zeigt in wenigen Zeilen und völlig elementar:• Der Cesaro-Limes von P (n)/(q n /n) ist 1. Der Limes braucht hingegen nicht zu existieren, wie schon Indlekofer, Manstavicius, Warlimont [4] gezeigt haben.
• Erster Satz von Mertens:nX
P (k)/q k = ln n + C1 + O(1/ ln n)
k=1• Mertens-Formel:
1/nY(1 − 1/q ∂(p) )−1 → A exp(γ)∂(p)≤nAus der Mertens-Formel ergibt sich nach einem von Daboussi, Indlekofer [1] stammenden
P
Verfahren der Satz von Halasz: Sei f : G 7→ C multiplikativ und |f | ≤ 1. Falls p∈P 1 −Re(f (p) exp(it∂(p))) /q ∂(p) für jedes t ∈ R divergiert, giltX
G(n)−1f (a) → 0.
∂(a)=nDurch elementares Rechnen erhält man etwas komplizierter als im klassischen Fall die
Turan-Kubilius-Ungleichung: Sei f : G 7→ R stark additiv. Dann ist
X
G(n)−1(f (a) − A(n))2 = O(B 2 (n)),∂(a)=nwobei
A(n) := G(n)−1X∂(p)≤nf (p)G(n − ∂(p)),

B 2 (n) := G(n)−1X

f (p)2 G(n − ∂(p)).

∂(p)≤nP
Diese ist das entscheidende Hilfsmittel, um den Satz von Delange zu beweisen: Falls p (1 −f (p))/q ∂(p) konvergiert, existiert M (f ).
Manche Sätze lassen sich einschließlich ihres Beweises übertragen; dies trifft vor allem auf
Arbeiten von Erdös zu:
P• Für jede endlich verteilte additive Funktion f : G 7→ R konvergiert p: |f (p)|≥1 1/q ∂(p)(vgl. [3]).
• FürS ⊂ G, in der kein Element ein anderes teilt, konvergiert die Reihe
P jede Menge∂(a)1/(∂(a)q) (vgl. [2]).
a∈S[1] H. Daboussi, K.–H. Indlekofer, Two elementary proofs of Halasz’ theorem, Math. Z.
209(1992), 43-52[2] P. Erdös, Note on sequences of integers no one of which is divisible by any other, J.
London Math. Soc. 10(1935), 126-128

35[3] P. Erdös, On the distribution function of additive functions, Ann. Math. 47(1946), 1-20
[4] K.–H.Indlekofer, E.Manstavicius, R.Warlimont, On a certain class of infinite products
and arithmetical semigroups, Arch. Math. 56(1991), 446-453[5] J. Knopfmacher, Analytic arithmetic of algebraic function fields, 1979
[6] J. Knopfmacher, W.–B. Zhang, Number theory arising from finite fields, 2001

Reguläre n–Ecke zu teilen
Eduard Wirsing, Ulm

EuklidIn Praxis der Mathematik“ 42(2000) stellt Herr Bartniczek die Frage, ob außer beim 12–Eck”eine Diagonale ein Drittel der Fläche eines regulären n–Ecks abschneiden kann. Schreibt manu(n, m) für das Verhältnis der von m Seiten und der Diagonalen umschlossenen Fläche zur
Gesamtfläche des n–Ecks, so ist u(12, 5) = 1/3, und die Frage lautet, ob u(n, m) = 1/3 für
andere n, m vorkommt. Hierzu geben wir zwei Ergebnisse, die die Frage in sehr allgemeiner
Form beantworten.
Satz 1. Die einzigen Paare (n, m) mit 1 ≤ m ≤ n − 1, für die u(n, m) rational ist, sindgegeben durchn
1u(n, 1) = 0, u n,
= , wenn 2|n, u(n, n − 1) = 1,
(1)
2

2
n
1
2
u n, ± 1) = ± ,n22u(12, 3) =1,
12u(12, 9) =

(2)
11
.
12

Insbesondere wird außer 0, 1/2, 1, keiner dieser Werte mehrfach angenommen.
Satz 2. Abgesehen von 0, 1/2, 1 nimmt u(n, m) keinen Wert mehrfach an.
Ausgangspunkt für die Beweise ist die explizite Darstellung von u alsm 1
sin(2πm/n)u(n, m) =− q(n, m) , q(n, m) =,nnsin(2π/n)

(3)

36

anders geschrieben

ξ m − ξ −m,
ξ − ξ −1wo ξ = ξn die primitive n–te Einheitswurzel e2πi/n bezeichnet.
Für Satz 1 betrachtet man im Wesentlichen die Norm von Ausdrücken der Form ξ − ξ −1.
Auch für die nichtrationalen u(n, m) lassen sich die Grade dieser algebraischen Zahlen
bestimmen, sowie, was natürlich mehr ist, die von ihnen erzeugten Körper. Tatsächlich ist
der folgende Satz der wesentliche Schritt im Beweis von Satz 2.
q(n, m) =Satz 3. Es bezeichne Ln den größten totalreellen Teilkörper des n–ten Kreisteilungskörpers
(das ist Q(ξn +ξn−1 )). Gehört das Paar (n, m) nicht zu den Listen (1), (2), so ist Q u(n, m) =Ln oder = Ln/2 , und zwar letzteres genau dann wenn 4|n und 2 6 |m.
Für den Grad von u(n, m) erhält man daraus ϕ(n)/2 bzw. ϕ(n)/4 mit der Eulerschen
Funktion ϕ. Damit erklären sich übrigens die scheinbaren Ausnahmen (3) in Satz 1: Es sinddie einzigen Paare außerhalb der Listen (1) und (2) mit ϕ(n) = 4, 4|n, 2 6 |m.
Interessanterweise ist dieser Satz, der unter anderem den Grad zyklotomischer Einheiten
betrifft, den Algebraikern anscheinend unbekannt.
Um Satz 3 zu beweisen, zählen wir die Konjugierten von u(n, m). Da die Automorphismen σk , (k, n) = 1 , des n–ten Kreisteilungskörpers durch σk (ξn ) = ξnk definiert sind, ist zu
untersuchen, für welche k man σk (u(n, m)) = u(n, m) hat. Das führt auf die Gleichungξ km+1 + ξ −km−1 − ξ km−1 − ξ −km+1 − ξ k+m − ξ −k−m + ξ k−m + ξ −k+m = 0 .
Die Hilfsmittel zur Klassifikation verschwindender Linearkombinationen von Einheitswurzeln
findet man in einer schönen Arbeit von J.H. Conway und A.J. Jones in Acta Arithmetica
XXX(1976), 229-240. Im Wesentlichen ergibt sich, daß sich die Terme unserer Gleichungpaarweise oder in Tripeln aufheben. Mit einer allerdings etwas lästigen Fallunterscheidung
folgt daraus der Satz.

37

Bemerkungen zum
Primzahl–Zwillingsproblem
Dieter Wolke, Freiburg

G.H. Hardy, J.E. Littlewood

Die üblicherweise benutzte Formel
Z 1Xψ2k (x) :=Λ(n) Λ(n + 2k) =dα | T (x, α)|2 e(2kα)(1)

0n≤x−2kmit
T (x, α) :=X

Λ(n) e(nα)

n≤xwird wie folgt modifiziert:
Z 2x
Z 1
3 
 xk ln x 
3
1
2
ψ2k
x − ψ2k (x) =dydα S(y, α) e(2kα) + O
2
2A x
A
0
mit
X
S(y, α) :=Λ(n) e(nα),(2)

y−A<n≤y+A

wobei A klein“ ist gegen x und k ≤ A. Dahinter steckt die Idee, daß in (1) für relativ kleines”
k unter den Paaren (n1 , n2 ) nur die nahe der Diagonalen ernsthaft als Kandidaten für ψ2k
in Frage kommen.
Unter der Annahme der verallgemeinerten Riemannschen Vermutung wird das Integral in(2) für A = (ln x)C ausgewertet. Während die Major arcs“ den erwarteten Hauptterm lie”
fern, ergeben die minor arcs“ einen verwickelten expliziten“ Ausdruck mit Doppelsummen””über nahe beieinander liegende Nullstellen von L–Reihen L(s, χ). Hieraus kann folgendes
fast alle“–Ergebnis hergeleitet werden:”Satz. Es gelte die Riemannsche Vermutungfür die Dirichletschen L–Reihen. Sei C > 13.
Für alle k ≤ (ln x)C mit höchstens o (ln x)C Ausnahmen gilt dann
 Y p−1
3 
 Y
1
ψ2k
x − ψ2k (x) = x · 1 + o(1) ·1−.
2(p − 1)2 p|k p − 2
p>2
p>2Dies verbessert ein entsprechendes Resultat für das Goldbach–Problem von G. Dufner(1995, C = 44).

39

Problemstunde
Problem 1 (Wirsing)
Eigentlich kein Problem, sondern eine unterhaltsame Übungsaufgabe: Einem Quadrat ABCD
sei das gleichseitige Dreieck AEF mit E auf BC und F auf CD einbeschrieben. Man zeige
geometrisch, daß die (kongruenten) Dreiecke ABE und ADF je den halben Flächeninhalt
des Dreiecks ECF haben.
Damit kann man dann geometrisch zeigen, daß (in der Sprache meines Vortrags) u(12, 3) =1/12 ist: Drei Seiten und die Diagonale trennen von einem regulären 12–Eck ein Zwölftel derFläche ab.
Problem 2 (Wolke)
Man weiß nach Hensley und Richards, daß die beiden folgenden Vermutungen unverträglichsind:1) Primzahl–k–Tupel–Hypothese: Sei k ≥ 2, 0 ≤ a1 < · · · < ak ganze Zahlen, und füralle Primzahlen p gebe es eine Restklasse, in der kein aj liegt. Man definiere
π(x, a1 , . . . , ak ) := #{n ≤ x | n + a1 , . . . , n + ak ∈ P}.
Dann gilt limx→∞ π(x, a1 , . . . , ak ) = ∞.
2) π(x + y) − π(y) ≤ π(x) für alle x, y ≥ 2.
Gilt Vergleichbares für B–Zahlen? Dabei heißt n ∈ N eine B–Zahl, wenn a, b ∈ Z existieren
mit n = a2 + b2 .
a) Wie sehen die Analoga für 1) und 2) aus?
b) Gilt auch für B–Zahlen ein Satz vom Hensley–Richards–Typ ?
Problem 3 (Elsholtz)
Ähnlich wie Herr Wolke frage ich nach einer Formulierung von drei Vermutungen, diePrimzahl–Vermutungen verallgemeinern.
1) Für welche reellen Funktionen f (x) ist f (n), n ∈ N, unendlich oft prim?
Vermutungen:f (x) = 2x + 1 nur endlich oft (Fermat–Primzahlen) √
f (x) = e 17x + log(xx ) unendlich oft2) Wie stark darf bei einer Verallgemeinerung der k–Tupel–Vermutung von Hardy und
Littlewood für Zahlen n + a1 , n + a2 , . . . , n + ak , 1 ≤ n ≤ N , der Parameter k mit N
anwachsen? Ist vielleicht k ≈ log N/ log log N erlaubt?
3) Aktuelle Arbeiten von Friedlander, Iwaniec, Heath–Brown und Moroz beweisen, daßPolynome in mehreren Variablen wie x2 +y 4 , x3 +2y 3 und allgemeine binäre kubische
Formen mit vermuteter“ Häufigkeit prime Werte annehmen. So ist z.B.
”
X
N 3/4
1∼c
.
log N
2
4
2
4
x +y ≤N : x +y prim

Inwieweit kann man Vermutungen aufstellen, die möglichst allgemein sind?

40

Als Beispiel kann man zunächst f ∈ Z[x1 , . . . , xr ] betrachten, z.B. f = a1 xα1 1 + · · · + ar xαr r
mit α11 + · · · + α1r < 1, ggT(a1 , . . . , ar ) = 1, a1 , . . . , ar > 0, f irreduzibel. Reichen dieseVoraussetzungen aus oder kann man sie sogar abschwächen? Kann man zu allgemeineren
Funktionen übergehen (siehe 1))? Was kann man für k–Tupel solcher Funktionswerte erwarten? So vermute ich zum Beispiel, daß n + a1 und n + a2 mit a2 − a1 ≡ 0 mod 4 für unendlich
viele Zahlen n ∈ N simultan prime Werte der Form x2 + y 4 annehmen. Andererseits könnte die Anzahlfunktion von k–Tupeln dieser Form sehr stark von dem Muster (a1 , . . . , ak )abhängen.
Bei diesen Fragen geht es primär um die Formulierung guter Hypothesen und nicht sosehr um den Beweis derselben. Allerdings sollte man bei zu allgemeinen Vermutungen etwas
vorsichtig sein. Auch interessante warnende Beispiele wären von Interesse.

Problem 4 (Schwarz)
Sei f ∈ B kP
, wobei k ≥ 1 ist; somit gibt es zu jedem
P > 0 Konstanten b1 , . . . , bR ∈ C, derart
daß kf − 1≤r≤R br cr kk <  ist, wobei cr : n 7→ d|gcd(n,r) d · µ(r/d) die r–te Ramanujansumme bezeichnet. Ist es möglich, die br unabhängig von  zu wählen, d.h. gilt stetsX
lim kf −ar cr kk = 0,
R→∞

1≤r≤R

wobei ar die Ramanujan–Koeffizienten aR = M (f cr )/ϕ(r) sind? Für k = 2 ist dies wegen
der Parsevalschen Gleichung richtig.

Problem 5 (Puchta)
Man definiere die Folge s(n) ∈ {0, 1} rekursiv durchs(1) = 1,s(n) ≡

Xk>0
1<k(k−1)/2<2nk(k − 1) s n−
+ δ(n) mod 2,2



1, falls n = k(k − 1)/2, n gerade,0, sonst.
Ein rechnerischer Beweis ergibt

mit δ(n) =s(n) = 1 ⇔ n =  oder 2 .
Gesucht ist ein Beweis, der einen einsichtigen Grund für dieses Verhalten liefert.

41

Problem 6 (Maier)
Man betrachte auf Ω = [0, π] × [0, π] das Dirichlet–Problem◦∆u = −λu in Ω,
u=0
auf ∂Ω.
Die Eigenwerte sindλ = m2 + n2 , (m, n) ∈ Z2 ,mit zugehörigen Eigenfunktionen
um,n (x, y) = sin(mx) sin(ny).
Die Vielfachheit von λ istν(λ) = # (m, n) ∈ Z2 m2 + n2 = λ .

Für λ = p1 · · · pr , pj ≡ 1 mod 4 paarweise verschiedene Primzahlen, giltν(λ) = 2r+2 .
Also istlog λ ν(λ) ≥ exp clog log λunendlich oft (c > 0 fest).
Jetzt ersetze man Ω durch ein Kompaktum in R2 mit stückweise glattem Rand. Es gelte
für eine Funktion f : R+ → R+
ν(λ) ≥ f (λ)
unendlich oft.
Frage: Ist dann immerlog λ f (λ)  exp clog log λfür geeignetes c > 0 ?

Problem 7 (Peter)
Sei f ∈ R[x1 , . . . , xr ] Polynom mit nichtnegativen Koeffizienten, in dem jede der Variablen
x1 , . . . , xr vorkommt.
Es ist bekannt (Peter):XΛ(n1 ) · · · Λ(nr ) = C + O((log log x)−1 ) xσ (log x)ω
n∈Nr : f (n)≤x

mit C, σ > 0, ω ∈ N0 , 0 ≤ ω ≤ r − 1.
Problem: Man gebe eine Asymptotik an für
X

1.

p∈Pr : f (p)≤x

Problem 8 (Spilker)
Verhält sich die Quersumme der n–ten Fibonacci–Zahl im Mittel wie c n?

42

Problem 9 (Indlekofer)Für M ⊆ Q+ bezeichne hM i die von M erzeugte Untergruppe von (Q+ , ·).
a) Es ist bekannt:
h{p + 1}i = Q+ ⇐⇒ ∀f vollständig multiplikativ: (∀ p : f (p + 1) = 1 ⇒ f = 1)
Man vermutet, daß für n ∈ N undlich viele Primzahlen p, q existieren mit n = (p+1)/(q +1).
Beispiel für n = 2 : 2 = (p + 1)/(q + 1) ⇔ 2q + 1 = p (q heißt dann Sophie–Germain–
Primzahl)
Ferner ist bekannt (Elliott): [Q+ : h{p + 1}i] ≤ 3
Das ist äquivalent zu
ord {f | f vollständig multiplikativ, ∀ p : f (p + 1) = 1} ≤ 3.
b) Eine Verallgemeinerung von a): Die Menge
M := f | f vollständig multiplikativ, |f | = 1, lim

1 X
f (p + 1) = 1x→∞ π(x)p≤xist eine Gruppe bezüglich Multiplikation.
Es ist bekannt (Timofeev, Indlekofer): ord M ≤ 4.
Problem: Man beweise ord M ≤ 3.
Vermutlich gilt sogar M = {1}.

43

Beim Wein
Munzingen am 11. 4. 2002
Lieber Herr Wolke, lieber Herr Spilker, liebe Freunde und Kollegen,Jetzt, wo der erste Hunger und Durst gestillt sind, wo der Wein die Zunge angenehm löst,ohne sie noch im Lallen zu lähmen, scheint mir der rechte Augenblick, um kurz auf diese drei
Tage zurückzublicken und, was zwangsläufig folgt, Ihnen, in erster Linie den Organisatoren,
aber auch allen Teilnehmern, ohne deren Mitarbeit ja keine Tagung gelingt, für dieses schöne
und wertvolle Erlebnis zu danken.
Dabei muß ich mich vorsorglich entschuldigen: Nur oberflächlich streifend und ohnehin nur
wenige der gehaltvollen Vorträge kann ich berühren; und wohl möglich, daß der eine oderandere Teilnehmer sich nicht ganz so, wie er es wünschte, wird verstanden sehen. Gleich wie
der Wein seine Reifezeit braucht, nicht zu bald genossen werden kann, sollte man besser die
Eindrücke einer Tagung erst einsinken lassen. Aber, was hilft’s, das Leben fordert uns, wieüblich, hier und jetzt. Genug also der Entschuldigungen.
Der Film gestern über den großen Logiker Kurt Gödel hat unübersehbar die Verquickung
von Mathematik und Kunst herausgehoben. Und in der Tat: Gleich der erste Vortrag hat unsgezeigt, wie sehr noch der Kubismus lebt, der systematische formale Kubismus, um genau
zu sein. Wenig später durften wir fünf Variationen in Oktaven lauschen.
Von der Kunst zur Philosophie: Nicht die Einheit ist unser Thema, vielmehr die Vielfalt
der Einheit: Je mehr Einheiten desto faszinierender! Auch fragen wir in die Tiefe, spürenden Wurzeln der Einheit nach. Sind sie wohl abhängig? Aber auch dies wurde gesagt: Wer inhöheren Sphären schwebt, sollte keinesfalls vergessen, sein Augenmerk auf die eigenen Werte
zu richten.
Auch für praktische Fragen sind wir nicht zu fein. Doch, wer schöne große Räume bauen,und dabei Aufwendungen tunlichst vermeiden will, der sollte nicht vergessen, daß sich hinterGittern, speziell quadratischen, zwar ungeahnte Schätze verbergen mögen; aber, wenngleich
wir hinter Vieles gerne kommen möchten, dahinter doch wohl lieber nicht.
Nahtlos fügt sich das nächste Thema an. Die Tagungsleiter müssen aufgehorcht haben: Wo
doch selbst kleine Lösungen heutzutage große Probleme schaffen, durften wir hören, daß man
mit glatten Zahlen vieles glätten kann (Den ordinären Reim vom schmieren und frisieren‘’möchte ich ich lieber nicht in den Mund nehmen).
Das Wichtigste, das universell Allumfassende zuletzt. Der Satz hat uns doch alle am meisten beeindruckt (Ich zitiere in leicht verallgemeinerter Fassung): Wer die Mathematik kennt,
der kennt die Welt! Zwar, in der Diskussion deutete der Vortragende wohl auf die Möglichkeit, es könnte noch eine Andere Welt geben; die Frage wurde indessen nicht abschließend
geklärt.
Wenn ich mich nun hier umschaue, an meinem Glas schnuppere, daraus koste, will mir
scheinen, daß die Zwei-Welten-Theorie Vieles für sich hat. Und so bedanke ich mich zweifach,besser, ich spreche doch nicht nur für mich: Wir bedanken uns beieinander zweifach. Für die
Mathematik, die wir voneinander gelernt haben und dazu für all das, was zu der anderen
Welt gehört.
Zum Wohl!

(Eduard Wirsing)45

Adressen
Dr. Stephan BaierInstitut für Mathematik II
Freie Universität Berlin
Arnimallee 314195 Berlinbaier@math.fu–berlin.de

Dipl.–Math. Tobias Bekehermes
Institut für Mathematik
Technische Universität Clausthal
Erzstraße 138678 Clausthal–Zellerfeld
tobias.bekehermes@tu–clausthal.de

Dipl.–Math. Valentin Blomer
Mathematisches Institut A
Universität Stuttgart
Pfaffenwaldring 57
70569 Stuttgart
Valentin.Blomer@mathematik.uni–
stuttgart.de

Dipl.–Math. Kathrin Bringmann
St.–Benedikt Str. 18
97072 Würzburg
Kathrin.Bringmann@gmx.de

Prof. Dr. Jörg Brüdern
Mathematisches Institut A
Universität Stuttgart
Pfaffenwaldring 57
70569 Stuttgart
Joerg.Bruedern@mathematik.uni–
stuttgart.de

Dipl.–Math. Rainer Dietmann
Mathematisches Institut A
Universität Stuttgart
Pfaffenwaldring 57
70569 Stuttgart
Rainer.Dietmann@mathematik.uni–
stuttgart.de

Dr. Christian Elsholtz
Institut für Mathematik
Technische Universität Clausthal
Erzstraße 138678 Clausthal–Zellerfeld
elsholtz@math.tu–clausthal.deProf. Dr. Jürgen Hinz
Philipps–Universität Marburg
Fachbereich Mathematik und Informatik
35032 Marburg
hinz@mathematik.uni–marburg.de

Prof. Dr. Karl–Heinz Indlekofer
Fachbereich 17 Mathematik/Informatik
Universität Paderborn
33095 Paderbornk–heinz@uni–paderborn.de

Prof. Dr. Günter Köhler
Mathematisches Institut
Am Hubland
97074 Würzburg
koehler@mathematik.uni–wuerzburg.de

Prof. Dr. Ekkehard Krätzel
Universität Wien
Institut für Mathematik
Strudlhofgasse 41090 Wien
ekkehard.kraetzel@univie.ac.at

Prof. Dr. Gerald Kuba
Institut für Mathematik
Universität für Bodenkultur
Peter Jordan–Straße 82
1180 Wien
KUBA@edv1.boku.ac.at46

Prof. Dr. Manfred KühleitnerInstitut für Mathematik
Universität für Bodenkultur
Peter Jordan–Straße 82
1180 Wien
kleitner@edv1.boku.ac.at

Prof. Dr. Lutz G. Lucht
Institut für Mathematik
Technische Universität Clausthal
Erzstraße 138678 Clausthal–Zellerfeld
lucht@math.tu–clausthal.deProf. Dr. Helmut Maier
Abteilung Mathematik III
Universität Ulm
Helmholtzstraße 18
89069 Ulm
helmut.maier@mathematik.uni–ulm.deProf. Dr. Werner Georg Nowak
Institut für Mathematik
Universität für Bodenkultur
Peter Jordan–Straße 82
1180 Wien
nowak@edv1.boku.ac.at

Dr. Manfred Peter
Mathematisches Institut
Albert–Ludwigs–Universität
Eckerstr. 1
79104 Freiburg
Manfred.Peter@math.uni–freiburg.de

Dr. Jan–Christoph Puchta
Mathematisches Institut
Albert–Ludwigs–Universität
Eckerstr. 1
79104 Freiburg
jcp@arcade.mathematik.uni–freiburg.de

Prof. Dr. Ulrich Rausch
Kerschensteiner Straße 1835039 Marburg
Ulrich.Rausch@web.de

Prof. Dr. Jürgen Spilker
Mathematisches Institut
Albert–Ludwigs–Universität
Eckerstr. 1
79104 Freiburg
Juergen.Spilker@math.uni–freiburg.de

Prof. Dr. Wolfgang Schwarz
Mathematisches Seminar
Johann Wolfgang Goethe–Universität
Robert–Mayer–Straße 6–10
60325 Frankfurt
schwarz@math.uni–frankfurt.de

Dr. Jörn Steuding
Mathematisches Seminar
Johann Wolfgang Goethe–Universität
Robert–Mayer–Straße 6–10
60325 Frankfurt
steuding@math.uni–frankfurt.de

Dipl.–Math. Stefan Wehmeier
Fachbereich 17 Mathematik/Informatik
Universität Paderborn
33095 Paderborn
stefanw@math.uni-paderborn.de

Prof. Dr. Eduard Wirsing
Abteilung Mathematik III
Universität Ulm
Helmholtzstraße 22
89069 Ulm
wirsing@mathematik.uni–ulm.deProf. Dr. Dieter Wolke
Mathematisches Institut
Albert–Ludwigs–Universität
Eckerstr. 1
79104 Freiburg
Dieter.Wolke@math.uni–freiburg.de