Smarandache-Funktion

In der Mathematik ist die Smarandache-Funktion eine Folge bzw. eine zahlentheoretische Funktion, die mit der Fakultät verwandt ist. Historisch gesehen wurde sie zuerst von Édouard Lucas (1883), Joseph Neuberg (1887) und Aubrey J. Kempner (1918) betrachtet. 1980 wurde sie von Florentin Smarandache „wiederentdeckt“.

Definition und Werte

Die Smarandache-Funktion $\mu (n)$ ist definiert als die kleinste natürliche Zahl, für die $n$ die Fakultät von $\mu (n)$ teilt.

Formal ist $\mu (n)$ also die kleinste natürliche Zahl, für die gilt

$n|\mu (n)!$

Beispiele

Ist zum Beispiel der Wert $\mu (8)$ gesucht, ist die kleinste der Zahlen 1!, 2!, 3!, … zu suchen, die durch 8 teilbar ist. Da $1!=1$ und $2!=1\cdot 2=2$ und $3!=1\cdot 2\cdot 3=6$ nicht durch acht teilbar sind, $4!=1\cdot 2\cdot 3\cdot 4=24=3\cdot 8$ aber doch, ist $\mu (8)=4$.

Allerdings ist etwa $\mu (7)=7$, da die Zahl 7 keine der Zahlen 1!, 2!, …, 6! teilt, während sie 7! trivialerweise teilt.

Die ersten Werte sind:

n	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29
$\mu (n)$	1 (*)	2	3	4	5	3	7	4	6	5	11	4	13	7	5	6	17	6	19	5	7	11	23	4	10	13	9	7	29

(*) Der Wert $\mu (1)$ wird von manchen Autoren auch als 0 definiert.

Eigenschaften

Trivialerweise gilt

$\mu (n)\le n,$

da ja $n$ auf jeden Fall $n!=n\cdot (n-1)!$ teilt.

Ein grundlegendes Resultat ist, dass Gleichheit in der obigen Ungleichung genau für prime $n$ oder $n=4$ eintritt:

$\mu (n)=n\iff n\text{ prim}\text{oder}n=4$

Beweis:

$\Rightarrow$: Sei $\mu (n)=n$ und $n$ nicht prim. Dann ist $n=4$ zu zeigen. Da $n$ nicht prim ist, gibt es natürliche Zahlen $2\le s\le t<n$ mit $n=st$. Wäre sogar $s<t$, so wäre $n=st|t!$ und man erhielte den Widerspruch $\mu (n)\le t<n$. Also ist $s=t$ und daher $n=t^2$. Wäre $2<t$, so folgte $t<2t<t^2=n$, also $t<2t\le n-1$ und damit $n=t^2|t\cdot 2t|(2t)!|(n-1)!$, und man hätte erneut den Widerspruch $\mu (n)<n$. Daher muss $t=2$ sein und es folgt $n=4$.

$\Leftarrow$: Ist $n$ prim, so teilt $n$ keine Zahl $m!$ für $m<n$, da $n$ per def. nicht in $m!$ vorkommt. Daher gilt $\mu (n)=n$. $\mu (4)=4$ ist klar.

Übrigens ergibt sich dadurch für $\pi (x)$, die Anzahl der Primzahlen kleinergleich $x$ und der Ganzzahlfunktion:

$\pi (x)=-1+\sum _{k=2}^x\lfloor \frac{\mu (k)}{k}\rfloor$.

Nach Paul Erdős stimmt $\mu (n)$ mit dem größten Primfaktor von $n$ überein für asymptotisch fast alle $n$, d. h. die Anzahl der Zahlen kleiner gleich $n$, für die dies nicht gilt, ist o(n).

Allgemein gilt ferner

$\mu (n!)=n$

und

$\mu (n)\ge \mathrm{g}\mathrm{p}\mathrm{f}(n)$

wobei $\mathrm{g}\mathrm{p}\mathrm{f}$ für den größten Primfaktor von $n$ stehe.

Ganz allgemein gilt

$\mu (p_1^{{\alpha }_1}\cdot p_2^{{\alpha }_2}\cdot \dots \cdot p_n^{{\alpha }_n})=\max [\mu \left(p_1^{{\alpha }_1}\right),\mu \left(p_2^{{\alpha }_2}\right),\dots ,\mu \left(p_n^{{\alpha }_n}\right)]$

Für (gerade) vollkommene Zahlen $n$ gilt außerdem ($k\in \mathbb{N},p\text{ prim}$)

$\mu (n)=\mu (2^{k-1}\cdot (2^k-1))=2^k-1=p$

Abwandlungen

Pseudosmarandache-Funktion

Die Pseudosmarandache-Funktion $Z(n)$ ist die kleinste ganze Zahl, für die

$n\text{teilt}1+2+3+\cdots +Z(n),$

also das kleinste natürliche $n$, für das gilt

$n|\frac{Z(n)(Z(n)+1)}{2}$

(siehe auch Dreieckszahl, Gaußsche Summenformel)

Die ersten Werte sind

1, 3, 2, 7, 4, 3, 6, 15, 8, 4, 10, 8, 12, 7, 5, 31, 16, 8, 18, 15, … (Vorlage:OEIS)

Einige Eigenschaften:

• $\sqrt{n}<Z(n)\le 2n-1$
• $Z(n)\le n-1\text{für ungerade }n$
• $Z(2^k)=2^{k+1}-1$
• $\frac{Z(n+1)}{Z(n)}\text{ und }\frac{Z(n-1)}{Z(n)}\text{ und }\frac{Z(2n)}{Z(n)}$ sind nach oben hin unbegrenzt
• $\frac{n}{Z(n)}=k(k\in \mathbb{Z},k\ge 2)$ hat unendlich viele Lösungen für $n$
• $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{Z(n{)}^{\alpha }}$ konvergiert für alle $\alpha >1$

Smarandache-Doppelfakultät-Funktion

Ersetzt man in der Definition die Fakultät durch die Doppelfakultät

$n!!=\{\begin{array}{cc}n\cdot (n-2)\cdot (n-4)\cdot \dots \cdot 2& \text{für }n\text{ gerade,}\\ n\cdot (n-2)\cdot (n-4)\cdot \dots \cdot 1& \text{für }n\text{ ungerade,}\end{array}$

so ist $\mathrm{S}\mathrm{d}\mathrm{f}(n)$

die kleinste natürliche Zahl, die durch $\mathrm{S}\mathrm{d}\mathrm{f}(n)!!$ teilbar ist.

Die ersten Werte für $\mathrm{S}\mathrm{d}\mathrm{f}(n)$ sind

1, 2, 3, 4, 5, 6, 7, 4, 9, 10, 11, 6, 13, 14, 5, 6, … (Vorlage:OEIS)

Smarandache-Funktion mit Primorial

Das Primorial (auch Primfakultät, $p_{\mathrm{\#}}$) ist das Produkt der Primzahlen kleinergleich der gegebenen Zahl. Die Smarandache Near-to-Primorial Function von $n$ ist dann die kleinste Primzahl, für die $p_{\mathrm{\#}}+1$, $p_{\mathrm{\#}}-1$ oder $p_{\mathrm{\#}}$ durch $n$ teilbar ist.

Smarandache-Kurepa-Funktion und Smarandache-Wagstaff-Funktion

Für die Smarandache-Kurepa-Funktion $\mathrm{S}\mathrm{K}(n)$ wandle man die Fakultät nicht zur Doppelfakultät, sondern zu folgender Funktion ab:

$f(n)=\sum _{k=0}^{n-1}k!=0!+1!+2!+\dots +(n-1)!$

Für prime $p$ ist $\mathrm{S}\mathrm{K}(p)$ analog die kleinste natürliche Zahl, sodass $f(\mathrm{S}\mathrm{K}(p))$ durch $p$ teilbar ist.

Die ersten Werte sind 2, 4, 6, 6, 5, 7, 7, 12, 22, 16, 55 und bilden Vorlage:OEIS.

Die Smarandache-Wagstaff-Funktion verwendet stattdessen

$f(n)=\sum _{k=1}^{n}k!=1!+2!+\dots +n!$

Smarandache-Ceil-Funktion

Die Smarandache-Wagstaff-Funktion k-ter Ordnung $S_k(n)$ schließlich ist als die kleinste natürliche Zahl definiert, für die $[S_k(n){]}^k$ durch $n$ teilbar ist.

Die ersten Werte:

$k$	$S_k(n)$
1	1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, …	$n$
2	1, 2, 3, 2, 5, 6, 7, 4, 3, 10, 11, 6, 13, 14, 15, …	(Vorlage:OEIS)
3	1, 2, 3, 2, 5, 6, 7, 2, 3, 10, 11, 6, 13, 14, 15, …	(Vorlage:OEIS)
4	1, 2, 3, 2, 5, 6, 7, 2, 3, 10, 11, 6, 13, 14, 15, …	(Vorlage:OEIS)

Weiteres

• Tutescu vermutete, dass für zwei aufeinanderfolgende Zahlen deren Werte der Smarandache-Funktion stets verschieden sind:

$\mu (n)=\mu (n+1)\text{für alle }n$

Die Vermutung wurde bis $10^9$ bestätigend nachgerechnet.

• Es gibt eine recht große Vielfalt konvergenter Reihen, die die Smarandache-Funktion verwenden. Derartige Grenzwerte werden oft als Smarandache-Konstanten bezeichnet – nicht zu verwechseln mit der Smarandache-Konstante in der verallgemeinerten Andricaschen Vermutung.

Die Reihe der Kehrwerte der Fakultäten der Smarandache-Funktion konvergiert (erste Smarandache-Konstante):

$\sum _{n=2}^{\mathrm{\infty }}\frac{1}{\mu (n)!}=1,09317\dots$ (Vorlage:OEIS)

Literatur

• Kenichiro Kashihara: Comments and topics on Smarandache notions and problems. (PDF; 1,6 MB) Erhus University Press 1996, ISBN 1-87958-555-3.
• Norbert Hungerbühler, Ernst Specker: A Generalisation of the Smarandache Function to Several Variables. (PDF; 220 kB) In: Electronic Journal of Combinatorical Number Theory, 6, 2006, #A23.
• C. Dumitrescu, N. Virlan, St. Zamfir, E. Radescu, N. Radescu, F.Smarandache: Smarandache Type Function Obtained by Duality. In: Studii si Cercetari Stiintifice, Seria: Matematica, University of Bacau, No. 9, 1999, S. 49–72, Vorlage:ArXiv.
• Sebastian Martin Ruiz, M. L. Perez: Properties and Problems related to Smarandache Type Functions. In: Mathematics Magazine for grades 1-12, 2/2004, S. 46–53, Vorlage:ArXiv.

Weblinks

• Vorlage:MathWorld
• Das Smarandache Function Journal, fs.gallup.unm.edu – Vol. 1 (PDF; 1,6 MB), Vol. 6 (PDF; 2,6 MB)
• und Smarandache Notions Journal – Vol. 7 (PDF; 5,4 MB), Vol. 8 (PDF; 8,8 MB), Vol. 9 (PDF; 5,0 MB), Vol. 10 (PDF; 7,3 MB), Vol. 11 (PDF; 10,8 MB), Vol. 12 (PDF; 12,5 MB), Vol. 13 (PDF; 11,1 MB)