Συνάρτηση ήτα του Ντέντεκιντ

Στα μαθηματικά, η **Συνάρτηση ήτα του Ντέντεκιντ**, που πήρε το όνομά της από τον Ρίχαρντ Ντέντεκιντ, είναι μια δομοστοιχειωτή μορφή βάρους 1/2 και αποτελεί μια συνάρτηση που ορίζεται στο άνω ημιεπίπεδο των μιγαδικών αριθμών, όπου το φανταστικό μέρος είναι θετικό. Εμφανίζεται επίσης στη μποζονική θεωρία χορδών.

## Ορισμοί
Για κάθε μιγαδικό αριθμό  με , έστω ; τότε η συνάρτηση ήτα ορίζεται από,

:\eta(\tau) = e^\frac{\pi i \tau}{12} \prod_{n=1}^\infty \left(1-e^{2 n\pi i \tau}\right) = q^\frac{1}{24} \prod_{n=1}^\infty \left(1 - q^n\right) .

Ανυψώνοντας την εξίσωση ήτα στην 24th δύναμη και πολλαπλασιάζοντας με  προκύπτει

:\Delta(\tau)=(2\pi)^{12}\eta^{24}(\tau)

όπου  είναι η σπονδυλωτή διακριτική ικανότητα. Η παρουσία του 24 μπορεί να γίνει κατανοητή σε σχέση με άλλες εμφανίσεις, όπως στο 24-διάστατο πλέγμα Leech.

Η συνάρτηση ήτα είναι ολόμορφη στο άνω ημιεπίπεδο αλλά δεν μπορεί να συνεχιστεί αναλυτικά πέρα από αυτό.

Η συνάρτηση ήτα ικανοποιεί τις συναρτησιακές εξισώσεις.

:\begin{align}
\eta(\tau+1) &=e^\frac{\pi i}{12}\eta(\tau),\\
\eta\left(-\frac{1}{\tau}\right) &= \sqrt{-i\tau}\, \eta(\tau).\,
\end{align}

Στη δεύτερη εξίσωση το κλαδί της τετραγωνικής ρίζας επιλέγεται έτσι ώστε  when .

Γενικότερα, έστω ότι  είναι ακέραιοι αριθμοί με , έτσι ώστε

:\tau\mapsto\frac{a\tau+b}{c\tau+d}

είναι ένας μετασχηματισμός που ανήκει στη σπονδυλωτή ομάδα.  Μπορούμε να υποθέσουμε ότι είτε , είτε  και .  Τότε

:\eta \left( \frac{a\tau+b}{c\tau+d} \right) = \epsilon (a,b,c,d) \left(c\tau+d\right)^\frac12 \eta(\tau),

όπου

:\epsilon (a,b,c,d)= \begin{cases}
e^\frac{bi \pi}{12} &c=0,\,d=1, \\
e^{i\pi \left(\frac{a+d}{12c} - s(d,c)-\frac14\right)} &c>0.
\end{cases}

Επομένως  είναι το άθροισμα του Ντέντεκιντ

:s(h,k)=\sum_{n=1}^{k-1} \frac{n}{k}
\left( \frac{hn}{k} - \left\lfloor \frac{hn}{k} \right\rfloor -\frac12 \right).

Λόγω αυτών των λειτουργικών εξισώσεων η συνάρτηση ήτα είναι μια σπονδυλωτή μορφή βάρους  και επιπέδου 1 για έναν συγκεκριμένο χαρακτήρα τάξης 24 του μεταπλεκτικού διπλού καλύμματος της σπονδυλωτής ομάδας και μπορεί να χρησιμοποιηθεί για τον ορισμό άλλων σπονδυλωτών μορφών. Συγκεκριμένα η σπονδυλωτή διακριτική ικανότητα του Βάιερστρας μπορεί να οριστεί ως ακολούθως

:\Delta(\tau) = (2 \pi)^{12} \eta(\tau)^{24}\,

και είναι μια σπονδυλωτή μορφή βάρους 12. Ορισμένοι συγγραφείς παραλείπουν τον παράγοντα  , έτσι ώστε το ανάπτυγμα της σειράς να έχει ακέραιους συντελεστές.

Το τριπλό γινόμενο Γιακόμπι συνεπάγεται ότι το ήτα είναι (μέχρι έναν παράγοντα) μια συνάρτηση θήτα Γιακόμπι (Jacobi) για ειδικές αξίες των επιχειρημάτων:

:\eta(\tau) = \sum_{n=1}^\infty \chi(n) \exp\left(\frac {\pi i n^2 \tau}{12}\right),

όπου  είναι "ο" χαρακτήρας Ντίρικλετ modulo 12 με   και .  Αναλυτικά,

:\eta(\tau) = e^\frac{\pi i \tau}{12}\vartheta\left(\frac{\tau+1}{2}; 3\tau\right).
Η συνάρτηση Όιλερ

:\begin{align}
\phi(q) &= \prod_{n=1}^\infty \left(1-q^n\right) \\
&= q^{-\frac{1}{24}} \eta(\tau),
\end{align}

διαθέτει μια δυναμοσειρά μέσω της ταυτότητας του Όιλερ:

:\phi(q)=\sum_{n=-\infty}^\infty (-1)^n q^\frac{3n^2-n}{2}.

Επειδή η συνάρτηση ήτα είναι εύκολο να υπολογιστεί αριθμητικά από οποιαδήποτε δυναμοσειρά, είναι συχνά χρήσιμο στους υπολογισμούς να εκφράζονται άλλες συναρτήσεις ως προς αυτήν, όταν είναι δυνατόν, και τα γινόμενα και τα πηλίκα των συναρτήσεων ήτα, που ονομάζονται πηλίκα ήτα, μπορούν να χρησιμοποιηθούν για να εκφράσουν μια μεγάλη ποικιλία σπονδυλωτών μορφών.

Η εικόνα σε αυτή τη σελίδα δείχνει το modulus της συνάρτησης Όιλερ: ο πρόσθετος παράγοντας  μεταξύ αυτής και της ήτα δεν κάνει σχεδόν καμία οπτική διαφορά. Έτσι, η εικόνα αυτή μπορεί να θεωρηθεί ως εικόνα του eta ως συνάρτηση του .

## Συνδυαστικές ταυτότητες
Η θεωρία των αλγεβρικών χαρακτήρων των affine άλγεβρων Lie οδηγεί σε μια μεγάλη κατηγορία άγνωστων έως σήμερα ταυτοτήτων για τη συνάρτηση ήτα. Οι ταυτότητες αυτές προκύπτουν από τον τύπο χαρακτήρων Weyl-Kac και πιο συγκεκριμένα από τις λεγόμενες "ταυτότητες του παρονομαστή". Οι ίδιοι οι χαρακτήρες μας επιτρέπουν να κατασκευάσουμε γενικεύσεις της συνάρτησης θήτα του Γιακόμπι (Jacobi) που μετασχηματίζονται κάτω από τη σπονδυλωτή ομάδα- αυτό είναι που οδηγεί στις ταυτότητες. Ένα παράδειγμα μιας από αυτές τις νέες ταυτότητες έχει ως εξής

:\eta(8\tau)\eta(16\tau) = \sum_{m,n\in \mathbb{Z} \atop m \le |3n|} 
(-1)^m q^{(2m+1)^2 - 32n^2} 


όπου   είναι το -ανάλογο ή η "παραμόρφωση" του υψηλότερου βάρους μιας ενότητας.

## Ειδικές τιμές
Από την παραπάνω σχέση με τη συνάρτηση Όιλερ και τις ειδικές τιμές της, μπορούμε εύκολα να συμπεράνουμε ότι

: \begin{align}
\eta(i)&=\frac{\Gamma \left(\frac14\right)}{2 \pi ^\frac34} \\[6pt]

\eta\left(\tfrac{1}{2}i\right)&=\frac{\Gamma \left(\frac14\right)}{2^\frac78 \pi ^\frac34} \\[6pt]

\eta(2i)&=\frac{\Gamma \left(\frac14\right)}{2^\frac{11}{8} \pi ^\frac34} \\[6pt]

\eta(3i)&=\frac{\Gamma \left(\frac14\right)}{2\sqrt[3]{3} \left(3+2 \sqrt{3}\right)^\frac{1}{12} \pi ^\frac34} \\[6pt]

\eta(4i)&=\frac{\sqrt[4]{-1+\sqrt{2}}\, \Gamma \left(\frac14\right)}{2^\frac{29}{16} \pi ^\frac34} \\[6pt]

\eta\left(e^\frac{2 \pi i}{3}\right)&=e^{-\frac{\pi i}{24}} \frac{\sqrt[8]{3} \, \Gamma \left(\frac13\right)^\frac32}{2 \pi }
\end{align}

## Πηλίκα Ήτα
Τα πηλίκα Ήτα ορίζονται από πηλίκα της μορφής
: \prod_{0
όπου  είναι ένας μη αρνητικός ακέραιος αριθμός και   είναι οποιοσδήποτε ακέραιος αριθμός. Οι γραμμικοί συνδυασμοί των πηλίκων ήτα σε φανταστικά τετραγωνικά ορίσματα μπορεί να είναι αλγεβρικοί, ενώ οι συνδυασμοί των πηλίκων ήτα μπορεί να είναι ακόμη και ολοκληρωτικοί. Παραδείγματος χάριν.

:\begin{align}
j(\tau)&=\left(\left(\frac{\eta(\tau)}{\eta(2\tau)}\right)^{8}+2^8 \left(\frac{\eta(2\tau)}{\eta(\tau)}\right)^{16}\right)^3 \\[6pt]

j_{2A}(\tau)&=\left(\left(\frac{\eta(\tau)}{\eta(2\tau)}\right)^{12}+2^6 \left(\frac{\eta(2\tau)}{\eta(\tau)}\right)^{12}\right)^2 \\[6pt]

j_{3A}(\tau) &=\left(\left(\frac{\eta(\tau)}{\eta(3\tau)}\right)^{6}+3^3 \left(\frac{\eta(3\tau)}{\eta(\tau)}\right)^{6}\right)^2 \\[6pt]

j_{4A}(\tau) &=\left(\left(\frac{\eta(\tau)}{\eta(4\tau)}\right)^{4} + 4^2 \left(\frac{\eta(4\tau)}{\eta(\tau)}\right)^{4}\right)^2 = \left(\frac{\eta^2(2\tau)}{\eta(\tau)\,\eta(4\tau)} \right)^{24} 
\end{align}

με την 24th  δύναμη της σπονδυλωτής συνάρτησης Βέμπερ }. Τότε,

:\begin{align}
j\left(\frac{1+\sqrt{-163}}{2}\right) &= -640320^3, & e^{\pi\sqrt{163}} &\approx 640320^3+743.99999999999925\dots \\[6pt]

j_{2A}\left(\frac{\sqrt{-58}}{2}\right) &= 396^4, & e^{\pi\sqrt{58}}&\approx 396^4-104.00000017\dots \\[6pt]

j_{3A}\left(\frac{1+\sqrt{-\frac{89}{3}}}{2}\right) &= -300^3, & e^{\pi\sqrt\frac{89}{3}}&\approx 300^3+41.999971\dots \\[6pt]

j_{4A}\left(\frac{\sqrt{-7}}{2}\right)&=2^{12}, & e^{\pi\sqrt{7}}&\approx 2^{12}-24.06\dots
\end{align}

και ούτω καθεξής, τιμές που εμφανίζονται στη σειρά Ραμανουτζάν-Σάτο.

Τα πηλίκα Ήτα μπορούν επίσης να αποτελέσουν ένα χρήσιμο εργαλείο για την περιγραφή των βάσεων των σπονδυλωτών μορφών, οι οποίες είναι γνωστό ότι είναι δύσκολο να υπολογιστούν και να εκφραστούν άμεσα. Το 1993 οι Βασίλ Γκόρντον και Κιμ Χιουζ απέδειξαν ότι αν ένα πηλίκο ήτα  της παραπάνω μορφής, δηλαδή  \prod_{0 ικανοποιεί

: \sum_{0

τότε  είναι μια σπονδυλωτή μορφή βάρους  για την υποομάδα συνάφειας  (μέχρι την ολομορφία) όπου 
:k=\frac12\sum_{0
Αυτό το αποτέλεσμα επεκτάθηκε το 2019 έτσι ώστε να ισχύει το αντίστροφο για τις περιπτώσεις που  είναι συναριθμητικό του 6, και παραμένει ανοιχτό ότι το αρχικό θεώρημα είναι απότομο για όλους τους ακέραιους . Αυτό επεκτείνεται επίσης για να δηλώσει ότι οποιοδήποτε σπονδυλωτό ήτα πηλίκο για οποιαδήποτε υποομάδα σύμπτωσης επιπέδου  πρέπει επίσης να είναι μια σπονδυλωτή μορφή για την ομάδα . Ενώ αυτά τα θεωρήματα χαρακτηρίζουν τα modular ήτα πηλίκα, η συνθήκη της ολομορφικότητας πρέπει να ελεγχθεί ξεχωριστά χρησιμοποιώντας ένα θεώρημα που προέκυψε από την εργασία του Ζεράρ Λιγκοζάτ και του Ιβ Μαρτίν:

Αν το  είναι ένα πηλίκο ήτα που ικανοποιεί τις παραπάνω συνθήκες για τον ακέραιο  και τα  και   είναι συναριθμητικοί ακέραιοι, τότε η σειρά εξαφάνισης στην κορυφή   σε σχέση με το  είναι
:\frac{N}{24}\sum_{0
Αυτά τα θεωρήματα παρέχουν ένα αποτελεσματικό τρόπο δημιουργίας ολόμορφων σπονδυλωτών πηλίκων ήτα, ωστόσο αυτό μπορεί να μην επαρκεί για την κατασκευή μιας βάσης για έναν διανυσματικό χώρο σπονδυλωτών μορφών και μορφών cusp. Ένα χρήσιμο θεώρημα για τον περιορισμό του αριθμού των σπονδυλωτών πηλίκων ήτα που πρέπει να εξεταστούν δηλώνει ότι ένα ολομορφικό σπονδυλωτό πηλίκο ήτα βάρους  στο  πρέπει να ικανοποιεί τις ακόλουθες συνθήκες.
:\sum_{0
όπου  υποδηλώνει τον μεγαλύτερο ακέραιο  τέτοιο ώστε pm να διαιρεί το  να διαιρεί το .. Αυτά τα αποτελέσματα οδηγούν σε διάφορους χαρακτηρισμούς των χώρων των σπονδυλωτών μορφών που μπορούν να καλυφθούν από σπονδυλωτά πηλίκα ήτα. Χρησιμοποιώντας τη δομή βαθμωτού δακτυλίου στο δακτύλιο των σπονδυλωτών μορφών, μπορούμε να υπολογίσουμε βάσεις διανυσματικών χώρων σπονδυλωτών μορφών που αποτελούνται από -γραμμικούς συνδυασμούς των πηλίκων ήτα. Παραδείγματος χάριν, αν υποθέσουμε ότι το  είναι ένας ημίπριμος τότε η ακόλουθη διαδικασία μπορεί να χρησιμοποιηθεί για τον υπολογισμό μιας βάσης ε-ποσοστού του .

Μια συλλογή από πάνω από 6300 ταυτότητες προϊόντων για τη συνάρτηση Ντέντεκιντ Ήτα σε κανονική, τυποποιημένη μορφή είναι διαθέσιμη στο Wayback machine του δικτυακού τόπου του Μιχαήλ Σόμου.

## Βιβλιογραφία
* 
* 

## Εξωτερικοί σύνδεσμοι
* Dedekind Eta Function
* Dedekind’s Eta Function and Modular Forms
* Proof of the transformation formula of the Dedekind eta function..
* Dedekind eta function
* Dedekind eta function, Kronecker limit formula
*Values of the Dedekind Eta Function at Quadratic Irrationalities

## Δείτε επίσης
*Αλγόριθμος διαμαντιού τετραγώνου
*Καμπύλη που γεμίζει το χώρο
*Νιφάδα του Κοχ 
*Καμπύλη Χίλμπερτ
*Καμπύλη του δράκου
*Σπόγγος του Μένγκερ

*Σύνολο Μάντελμπροτ
*Σύνολο Julia
*Οικοδομήσιμο Σύμπαν

## Παραπομπές


 
 
Κατηγορία:Φράκταλ