Συνάρτηση του Βάιερστρας

Στα μαθηματικά, η **συνάρτηση του Βάιερστρας** είναι ένα παράδειγμα συνάρτησης πραγματικών τιμών που είναι συνεχής παντού αλλά δεν είναι διαφορίσιμη. Αποτελεί παράδειγμα μορφοκλασματικής καμπύλης. Πήρε το όνομά της από τον ανακάλυψή της Καρλ Βάιερστρας.

Η συνάρτηση Βάιερστρας διαδραμάτισε ιστορικά το ρόλο μιας παθολογικής συνάρτησης, καθώς είναι το πρώτο δημοσιευμένο παράδειγμα (1872) που επινοήθηκε ειδικά για να αμφισβητήσει την αντίληψη ότι κάθε συνεχής συνάρτηση είναι διαφορίσιμη εκτός από ένα σύνολο απομονωμένων σημείων. Η απόδειξη του Βάιερστρας ότι η συνέχεια δεν συνεπάγεται διαφορισιμότητα σχεδόν παντού έφερε τα πάνω κάτω στα μαθηματικά, ανατρέποντας αρκετές αποδείξεις που βασίζονταν στη γεωμετρική διαίσθηση και σε ασαφείς ορισμούς της ομαλότητας. Αυτοί οι τύποι συναρτήσεων κατακρίθηκαν από τους συγχρόνους: Ο Ανρί Πουανκαρέ τις περιέγραψε ως "τέρατα" και αποκάλεσε το έργο του Βάιερστρας "προσβολή της κοινής λογικής", ενώ ο Σαρλ Ερμίτ έγραψε ότι ήταν μια "θλιβερή μάστιγα". Οι συναρτήσεις ήταν δύσκολο να απεικονιστούν μέχρι την άφιξη των υπολογιστών τον επόμενο αιώνα, και τα αποτελέσματα δεν κέρδισαν ευρεία αποδοχή μέχρι που πρακτικές εφαρμογές, όπως μοντέλα της κίνησης Μπράουν, απαιτούσαν απείρως οδοντωτές συναρτήσεις (σήμερα γνωστές ως φράκταλ καμπύλες). 

## Κατασκευή

Στην αρχική εργασία του Βάιερστρας, η συνάρτηση ορίστηκε ως σειρά Φουριέ:

:f(x)=\sum_{n=0} ^\infty a^n \cos(b^n \pi x),

Όπου 0,  b είναι θετικός περιττός ακέραιος αριθμός και

: ab > 1+\frac{3}{2} \pi.

Η ελάχιστη τιμή του b για την οποία υπάρχει 0 ώστε να ικανοποιούνται αυτοί οι περιορισμοί είναιb=7. Αυτή η κατασκευή, μαζί με την απόδειξη ότι η συνάρτηση δεν είναι διαφορίσιμη σε οποιοδήποτε διάστημα, παραδόθηκε για πρώτη φορά από τον Βάιερστρας σε μια εργασία που παρουσιάστηκε στην Βασιλική Ακαδημία Επιστημών στις 18 Ιουλίου 1872.

Παρά το γεγονός ότι δεν είναι ποτέ διαφορίσιμη, η συνάρτηση είναι συνεχής: Δεδομένου ότι οι όροι της άπειρης σειράς που την ορίζει περιορίζονται από ±*a<sup>n</sup>* και αυτή έχει πεπερασμένο άθροισμα για  0 n* = *an*. Εφόσον κάθε μερικό άθροισμα είναι συνεχές, από το ομοιόμορφο οριακό θεώρημα προκύπτει ότι η *f* είναι συνεχής. Επιπλέον, αφού κάθε μερικό άθροισμα είναι ομοιόμορφα συνεχές, προκύπτει ότι η *f* είναι επίσης ομοιόμορφα συνεχής.

Θα περίμενε κανείς ότι μια συνεχής συνάρτηση πρέπει να έχει παράγωγο ή ότι το σύνολο των σημείων στα οποία δεν είναι διαφορίσιμη πρέπει να είναι μετρήσιμα άπειρο ή πεπερασμένο. Σύμφωνα με τον Βάιερστρας στην εργασία του, οι προηγούμενοι μαθηματικοί, συμπεριλαμβανομένου του Γκάους, είχαν συχνά υποθέσει ότι αυτό ίσχυε. Αυτό μπορεί να οφείλεται στο γεγονός ότι είναι δύσκολο να σχεδιάσει ή να απεικονίσει κανείς μια συνεχή συνάρτηση της οποίας το σύνολο των μη διαφορίσιμων σημείων είναι κάτι άλλο από ένα μετρήσιμο σύνολο σημείων. Ανάλογα αποτελέσματα για κατηγορίες συνεχών συναρτήσεων με καλύτερη συμπεριφορά υπάρχουν, για παράδειγμα οι συναρτήσεις Λίπσιτς, των οποίων το σύνολο των μη διαφορίσιμων σημείων πρέπει να είναι ένα μηδενικό σύνολο Λεμπεσγκ (θεώρημα Ραντεμάχερ). Όταν προσπαθούμε να σχεδιάσουμε μια γενική συνεχή συνάρτηση, συνήθως σχεδιάζουμε τη γραφική παράσταση μιας συνάρτησης που είναι Lipschitz ή συμπεριφέρεται ικανοποιητικά.

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

Ο υπολογισμός της διάστασης Χάουσντορφ *D* του γραφήματος της κλασικής συνάρτησης Βάιερστρας ήταν ένα ανοιχτό πρόβλημα μέχρι το 2018, ενώ γενικά πιστεύεται ότι  *D* = <math>2 + \log_b(a) < 2</math>. Το ότι το *D* είναι αυστηρά μικρότερο από 2 προκύπτει από τις συνθήκες για τα <math>a</math> και <math>b</math> από παραπάνω. Μόνο μετά από περισσότερα από 30 χρόνια αυτό αποδείχθηκε αυστηρά

Ο όρος συνάρτηση Βάιερστρας χρησιμοποιείται συχνά στην [[πραγματική ανάλυση]] για να αναφερθεί σε οποιαδήποτε συνάρτηση με παρόμοιες ιδιότητες και κατασκευή με το αρχικό παράδειγμα του Βάιερστρας. Παραδείγματος χάριν, η συνάρτηση συνημιτόνου μπορεί να αντικατασταθεί στην άπειρη σειρά από μια κατά τμήματα γραμμική συνάρτηση "ζιγκ-ζαγκ". Ο G. H. Hardy έδειξε ότι η συνάρτηση της παραπάνω κατασκευής δεν είναι πουθενά διαφορίσιμη με τις παραδοχές  0 < *a* < 1, *ab* ≥ 1.

==Συνάρτηση Ρίμαν==
Η συνάρτηση του Βάιερστρας βασίζεται στην παλαιότερη συνάρτηση Ρίμαν, η οποία ισχυρίστηκε ότι είναι διαφορίσιμη πουθενά. Περιστασιακά, η συνάρτηση αυτή έχει επίσης ονομαστεί συνάρτηση του Βάιερστρας.
:<math>f(x) = \sum_{n = 1}^\infty \frac{\sin(n^2x)}{n^2}</math>

Ενώ ο Μπέρνχαρντ Ρίμαν ισχυριζόταν σθεναρά ότι η συνάρτηση είναι διαφορίσιμη πουθενά, καμία απόδειξη γι' αυτό δεν δημοσιεύτηκε από τον Ρίμαν και ο Βάιερστρας σημείωσε ότι δεν βρήκε καμία απόδειξη που να επιβιώνει είτε στα έγγραφα του Ρίμαν είτε προφορικά από τους μαθητές του.

Το 1916, ο G. H. Χάρντι επιβεβαίωσε ότι η συνάρτηση δεν έχει πεπερασμένη παράγωγο σε οποιαδήποτε τιμή του <math>\pi x</math> όπου το *x* είναι ανορθολογικό ή είναι ορθολογικό με τη μορφή είτε <math>\frac{2A}{4B+1}</math>  είτε <math>\frac{2A+1}{2B}</math>, όπου *A* και *B* είναι ακέραιοι αριθμοί. Το 1969, ο Τζόζεφ Γκέρβερ διαπίστωσε ότι η συνάρτηση Ρίμαν έχει ένα καθορισμένο διαφορικό για κάθε τιμή του x που μπορεί να εκφραστεί με τη μορφή <math>\frac{2A+1}{2B+1}\pi</math>  με ακέραιους *A* και *B*, ή ορθολογικούς πολλαπλασιαστές του pi με περιττό αριθμητή και παρονομαστή. Σε αυτά τα σημεία, η συνάρτηση έχει παράγωγο <math>-\frac{1}{2}</math>.. Το 1971, ο J. Gerver έδειξε ότι η συνάρτηση δεν έχει πεπερασμένο διαφορικό στις τιμές του *x* που μπορούν να εκφραστούν με τη μορφή <math>\frac{2A}{2B+1}\pi</math>, ολοκληρώνοντας το πρόβλημα της διαφοροποιησιμότητας της συνάρτησης Ρίμαν.

Καθώς η συνάρτηση Ρίμαν είναι διαφορίσιμη μόνο σε ένα μηδενικό σύνολο σημείων, είναι διαφορίσιμη σχεδόν πουθενά.

==Συνέχεια Χόλντερ==
Είναι βολικό να γράψουμε τη συνάρτηση Βάιερστρας ισοδύναμα ως εξής

:<math>W_\alpha(x) = \sum_{n=0}^\infty b^{-n\alpha}\cos(b^n \pi x)</math>

για <math>\alpha = -\frac{\ln(a)}{\ln(b)}</math>. Τότε η *W*<sub>α</sub>(*x*) είναι συνεχής κατά Χόλντερ με εκθέτη α, δηλαδή υπάρχει μια σταθερά *C* τέτοια ώστε

:<math>|W_\alpha(x)-W_\alpha(y)|\le C|x-y|^\alpha</math>

για όλα τα *x* και *y*.  Επιπλέον, η *W*<sub>1</sub> είναι συνεχής κατά Hölder για όλες τις τάξεις , αλλά όχι συνεχής κατά Lipschitz.

==Πυκνότητα συναρτήσεων που δεν διαφοροποιούνται πουθενά==
Αποδεικνύεται ότι η συνάρτηση Βάιερστρας απέχει πολύ από το να είναι ένα μεμονωμένο παράδειγμα: αν και είναι "παθολογική", είναι επίσης "τυπική" των συνεχών συναρτήσεων:
* Με την τοπολογική έννοια: το σύνολο των πουθενά-διαφοροποιήσιμων πραγματικών συναρτήσεων στο [0,&nbsp;1] έρχεται στο διανυσματικό χώρο *C*([0,&nbsp;1];&nbsp;*'R**) όλων των συνεχών πραγματικών συναρτήσεων στο [0,&nbsp;1] με την τοπολογία της ομοιόμορφης σύγκλισης.
* Με τη θεωρητική έννοια του μέτρου: όταν ο χώρος ''C''([0,&nbsp;1];&nbsp;**R**) είναι εφοδιασμένος με το κλασικό μέτρο Βίνερ ''γ'', η συλλογή των συναρτήσεων που είναι διαφορίσιμες έστω και σε ένα σημείο του [0,&nbsp;1] έχει ''γ''-μέτρο μηδέν. Το ίδιο ισχύει ακόμη και αν πάρει κανείς πεπερασμένης διάστασης "φέτες" του ''C''([0,&nbsp;1];&nbsp;**R**), με την έννοια ότι οι πουθενά-διαφοροποιήσιμες συναρτήσεις σχηματίζουν ένα επικρατές υποσύνολο του ''C''([0,&nbsp;1];&nbsp;**R''').

## Δημοσιεύσεις
*
*
*
*
*
**
**English translation: 

## Δείτε επίσης
*Αναδρομή
*Σύνολο Μάντελμπροτ
*Σύνολο Julia
*Οικοδομήσιμο Σύμπαν

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


 
 

Κατηγορία:Φράκταλ
Κατηγορία:Μαθηματική λογική