Επαναλαμβανόμενη συνάρτηση

Συντίθεται με τον εαυτό της επαναλαμβανόμενα, η ομοιότητα Πρότυπο:Math του κέντρου S διευρύνει το μικρότερο κανονικό πεντάγωνο σε διαδοχικά ομόκεντρα πεντάγωνα, με τρόπο ώστε το περίγραμμα του καθενός να διέρχεται από όλες τις κορυφές του προηγούμενου πενταγώνου, του οποίου είναι η εικόνα υπό την Πρότυπο:Math. Αν ο μετασχηματισμός Πρότυπο:Math επαναλαμβάνεται απεριόριστα, τότε οι A και K είναι τα σημεία εκκίνησης δύο άπειρων σπειρών.

Στα μαθηματικά, μια επαναλαμβανόμενη συνάρτηση είναι μια συνάρτηση που προκύπτει από την επανειλημμένη σύνθεση μίας συνάρτησης με τον εαυτό της ορισμένες φορές. Η διαδικασία εφαρμογής της ίδιας συνάρτησης πολλές φορές ονομάζεται επανάληψη.

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

Ορισμός

Η επαναλαμβανόμενη, ακριβέστερα η δεύτερη επαναλαμβανόμενη, μιας συνάρτησης f, που ορίζεται σε ένα σύνολο X και έχει τιμές στο ίδιο αυτό σύνολο X, είναι η συνάρτηση $f\circ f,$ όπου $\circ$ σημειώνει τη σύνθεση συναρτήσεων. Με άλλα λόγια, για κάθε στοιχείο x του X

$(f\circ f)(x)=f(f(x)).$

Γενικότερα, με το n να είναι ένας θετικός ή μηδενικός ακέραιος αριθμός, η n-η επαναλαμβανόμενη $f^n$ μιας συνάρτησης f , που ορίζεται σε ένα σύνολο X και με τιμές στο ίδιο αυτό σύνολο X, ορίζεται με αναδρομή μέσω της σχέσης

$f^n\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}f\circ f^{n-1}.$

Σύμφωνα με τη σύμβαση, για n = 0, $f^0\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}{\mathrm{id}}_X$, όπου ${\mathrm{id}}_X$ είναι η συνάρτηση ταυτότητας στο Πρότυπο:Mvar.

Ο συμβολισμός $f^n$ μπορεί να είναι διφορούμενος, καθώς χρησιμοποιείται όχι μόνο για την επανάληψη, αλλά και για την ύψωση σε δύναμη. Για το λόγο αυτό, ορισμένοι μαθηματικοί συμβολίζουν $f^{\circ n}$ την n-οστή επανάληψη μιας συνάρτησης Πρότυπο:Mvar.

Ακολουθίες επαναληπτικότητας

Οι ακόλουθες ταυτότητες ισχύουν για όλους τους θετικούς ή μηδενικούς ακεραίους Πρότυπο:Mvar και Πρότυπο:Mvar :

$f^m\circ f^n=f^n\circ f^m=f^{m+n}.$

$(f^m{)}^n(x)=(f^n{)}^m(x)=f^{mn}(x).$

Για ένα στοιχείο Πρότυπο:Mvar του Πρότυπο:Mvar, η ακολουθία τιμών $f^n(x)$ είναι η τροχιά του Πρότυπο:Mvar.

Αν $x=f^m(x)$ για έναν μη μηδενικό ακέραιο Πρότυπο:Mvar, τότε $f^n(x)=f^{n+m}(x)$ (για κάθε Πρότυπο:Mvar), η τροχιά λέγεται περιοδική και ο μικρότερος ακέραιος Πρότυπο:Mvar για ένα δεδομένο Πρότυπο:Mvar είναι η περίοδος της αντίστοιχης τροχιάς- το ίδιο το σημείο Πρότυπο:Mvar είναι ένα λεγόμενο περιοδικό σημείο. Στην επιστήμη των υπολογιστών, το πρόβλημα ανίχνευσης κύκλων είναι το αλγοριθμικό πρόβλημα που συνίσταται στην εύρεση του πρώτου περιοδικού σημείου μιας τροχιάς και της περιόδου της τροχιάς.

Σταθερά σημεία

Αν f(x) = x για ένα στοιχείο x του X (με άλλα λόγια, η περίοδος της τροχιάς του x είναι 1), τότε το x είναι ένα σταθερό σημείο της επαναληπτικής ακολουθίας. Το σύνολο των σταθερών σημείων συμβολίζεται με Fix(f). Διάφορα θεωρήματα εγγυώνται την ύπαρξη σταθερών σημείων σε ορισμένες περιπτώσεις, όπως το Θεώρημα σταθερού σημείου του Μπάναχ ή το Θεώρημα σταθερού σημείου του Μπρόουβερ.

Διάφορες τεχνικές μπορούν να χρησιμοποιηθούν για την επιτάχυνση της σύγκλισης των ακολουθιών που παράγονται με επαναλήψεις σταθερού σημείου.

Κατά τη διάρκεια της επαναληπτικότητας, μπορεί να υπάρχουν σύνολα που συστέλλονται και συγκλίνουν σε ένα μόνο σημείο: στην περίπτωση αυτή, το σημείο αυτό είναι ένα ελκυστικό σταθερό σημείο. Η επαναληπτικότητα μπορεί επίσης να δώσει την εμφάνιση σημείων που απομακρύνονται από ένα σταθερό σημείο, το οποίο τότε ονομάζεται ασταθές σταθερό σημείο. Άλλες οριακές συμπεριφορές είναι επίσης δυνατές. Όταν τα σημεία της τροχιάς συγκλίνουν σε ένα ή περισσότερα όρια, το σύνολο των συσσωρευμένων σημείων της τροχιάς ονομάζεται οριακό σύνολο ή ω-οριακό σύνολο.

Οι ιδέες της έλξης και της απώθησης γενικεύονται: τα σταθερά και τα ασταθή σύνολα μπορούν να κατηγοριοποιηθούν ανάλογα με τη συμπεριφορά των μικρών γειτονιών κατά την επανάληψη.

Αμετάβλητο μέτρο

Αν μας ενδιαφέρει η εξέλιξη μιας κατανομής πυκνότητας και όχι μιας διακριτής κατανομής ή ενός μεμονωμένου σημείου, η οριακή συμπεριφορά δίνεται από το αναλλοίωτο μέτρο. Μπορεί να απεικονιστεί ως η συμπεριφορά ενός νέφους σημείων ή σκόνης υπό μία επανάληψη. Το αναλλοίωτο μέτρο είναι ένα ιδιοδιάνυσμα του τελεστή Ρουέλ-Φρομπένιους-Περόν ή του τελεστή μεταφοράς, που αντιστοιχεί στην ιδιοτιμή 1. Μικρότερες ιδιοτιμές αντιστοιχούν σε ασταθείς, συρρικνούμενες καταστάσεις.

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

Κλασματική και αρνητική επανάληψη

Υπό ορισμένες προϋποθέσεις, είναι δυνατόν να οριστεί μια κλασματική επαναληπτικότητα μιας συνάρτησης. Για παράδειγμα, η μισή επανάληψη μιας συνάρτησης Πρότυπο:Mvar είναι μια συνάρτηση Πρότυπο:Mvar τέτοια ώστε $g(g(x))=f(x)$. Αυτή η συνάρτηση Πρότυπο:Mvar μπορεί να γραφτεί με εκθετικό συμβολισμό <$f^{\frac{1}{2}}(x)$. Παρομοίως, $f^{\frac{1}{3}}(x)$ είναι η συνάρτηση τέτοια ώστε $f^{\frac{1}{3}}(f^{\frac{1}{3}}(f^{\frac{1}{3}}(x)))=f(x)$, και $f^{\frac{2}{3}}(x)$ μπορεί να οριστεί ως $f^{\frac{1}{3}}(f^{\frac{1}{3}}(x))$, και ούτω καθεξής, με βάση την αρχή ότι $f^m\circ f^n=f^n\circ f^m=f^{m+n}.$. Η ιδέα μπορεί να γενικευτεί στην περίπτωση όπου ο αριθμός των επαναλήψεων Πρότυπο:Mvar γίνεται μια συνεχής παράμετρος- το σύστημα είναι τότε μια ροή που συνδέεται με μια εξίσωση Σρέντερ.

Οι αρνητικές επαναλήψεις αντιστοιχούν σε αντίστροφες διενέξεις συναρτήσεων και των συνθέσεών τους. Παραδείγματος χάριν, $f^{-1}(x)$ είναι το συνηθισμένο αντίστροφο της συνάρτησης Πρότυπο:Mvar, $f^{-2}(x)$ είναι το αντίστροφο που συντίθεται με τον εαυτό του, κ.λπ. Οι αρνητικές κλασματικές επαναλήψεις ορίζονται με παρόμοιο τρόπο με τις θετικές κλασματικές επαναλήψεις. Συγκεκριμένα, $f^{-\frac{1}{2}}(x)$ ορίζεται έτσι ώστε $f^{-\frac{1}{2}}(f^{-\frac{1}{2}}(x))=f^{-1}(x)$.

Επαναλήψεις της συνάρτησης sinus (με μπλε χρώμα) κατά τη διάρκεια μισής περιόδου: η 1/2η επανάληψη είναι με κίτρινο χρώμα, οι επόμενες κλασματικές επαναλήψεις (μέχρι το 1/64) παραπάνω με μαύρο χρώμα- η 2η επανάληψη είναι με κόκκινο χρώμα, οι επόμενες (4η, 8η, κ.λπ., μέχρι την 6η) παρακάτω με μαύρο χρώμα- η επανάληψη -1, δηλαδή η αντίστροφη συνάρτηση arc sin, είναι διακεκομμένη.

Τύποι για κλασματική επαναληπτικότητα

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

1. Καθορίζουμε ένα σταθερό σημείο a της συνάρτησης, με άλλα λόγια ένα σημείο a τέτοιο ώστε $f(a)=a$.
2. Σταθερό σημείο $f^n(a)=a$, για κάθε n που ανήκει στους πραγματικούς. Αυτό αντιστοιχεί στην πιο φυσική πρόσθετη συνθήκη που μπορεί να επιβληθεί στις επαναλήψεις.
3. Γράφουμε το $f^n(x)$ στη γειτονιά του σταθερού σημείου a ως σειρά Τέιλορ :

   $f^n(x)=f^n(a)+(x-a)\frac{d}{dx}{f}^n(x){|}_{x=a}+\frac{(x-a{)}^2}{2}\frac{d^2}{d{x}^2}{f}^n(x){|}_{x=a}+\cdots$

4. Αναπτύσσουμε :

   $f^n\left(x\right)=f^n(a)+(x-a)f^{\prime }(a)f^{\prime }(f(a))f^{\prime }(f^2(a))\cdots f^{\prime }(f^{n-1}(a))+\cdots$

5. Χρησιμοποιώντας τη συνθήκη που τέθηκε στο βήμα 2 $f^k(a)=a$, για όλα τα k, έχουμε:

   $f^n\left(x\right)=a+(x-a)f^{\prime }(a{)}^n+\frac{(x-a{)}^2}{2}(f^{″}(a)f^{\prime }(a{)}^{n-1})(1+f^{\prime }(a)+\cdots +f^{\prime }(a{)}^{n-1})+\cdots$

6. Απλοποιούμε χρησιμοποιώντας τη γεωμετρική πρόοδο :

   $f^n\left(x\right)=a+(x-a)f^{\prime }(a{)}^n+\frac{(x-a{)}^2}{2}(f^{″}(a)f^{\prime }(a{)}^{n-1})\frac{f^{\prime }(a{)}^n-1}{f^{\prime }(a)-1}+\cdots$

7. Μια ειδική περίπτωση είναι όταν $f^{\prime }(a)=1$ - σε αυτή την περίπτωση :

   $f^n\left(x\right)=x+\frac{(x-a{)}^2}{2}(n{f}^{″}(a))+\frac{(x-a{)}^3}{6}(\frac{3}{2}n(n-1)f^{″}(a{)}^2+n{f}^{‴}(a))+\cdots$

8. Αν το n δεν είναι ακέραιος αριθμός, χρησιμοποιούμε τον τύπο $y^n=\exp (n\ln (y))$.

Η διαδικασία αυτή μπορεί να συνεχιστεί επ' αόριστον, αλλά γενικά δεν είναι αποτελεσματική, καθώς οι όροι γίνονται όλο και πιο περίπλοκοι.

Παράδειγμα 1

Η συνάρτηση f ορίζεται από τη σχέση Πρότυπο:Math με C ≠ 1, έχει σταθερό σημείο Πρότυπο:Math.

Η διαδικασία που αναλύσαμε παραπάνω δίνει :

$f^n(x)=\frac{D}{1-C}+(x-\frac{D}{1-C})C^n=C^{n}x+\frac{1-C^n}{1-C}D.$

Παράδειγμα 2

Έστω ότι θέλουμε να υπολογίσουμε την τιμή ${\sqrt{2}}^{{\sqrt{2}}^{{\sqrt{2}}^{\cdots }}}$, για n επαναλήψεις. Εδώ η συνάρτηση ορίζεται από Πρότυπο:Math. Ένα σταθερό σημείο είναι $a=f(2)=2$.

Αναπτύσσοντας Πρότυπο:Math όπως εξηγήθηκε παραπάνω στη γειτονιά του 2, και θέτοντας x=1, έχουμε,

${\sqrt{2}}^{{\sqrt{2}}^{{\sqrt{2}}^{\cdots }}}=f^n(1)=2-(\ln 2{)}^n+\frac{(\ln 2{)}^{n+1}((\ln 2{)}^n-1)}{4(\ln 2-1)}\cdots .$

Για n θετικό ακέραιο, οι τρεις πρώτοι όροι δίνουν το σωστό πρώτο δεκαδικό ψηφίο: Πρότυπο:Math.

(Σημειώστε ότι αν χρησιμοποιήσουμε το άλλο σταθερό σημείο Πρότυπο:Math, αντί για το σταθερό σημείο 2, η σειρά αποκλίνει).

Για Πρότυπο:Math η σειρά υπολογίζει την αντίστροφη συνάρτηση, $2\ln x/\ln 2$.

Παράδειγμα 3

Αναπτύσσοντας στην περιοχή του σταθερού σημείου 1 τη συνάρτηση Πρότυπο:Math, προκύπτει η σειρά

$f^n(x)=1+b^n(x-1)+\frac{1}{2}{b}^n(b^n-1)(x-1{)}^2+\frac{1}{3!}{b}^n(b^n-1)(b^n-2)(x-1{)}^3+\cdots ,$

η οποία είναι απλά η σειρά Τέιλορ της x^(bn) γύρω από το 1.

Τοπολογική συζυγία

Αν Πρότυπο:Mvar και Πρότυπο:Mvar είναι δύο επαναλαμβανόμενες συναρτήσεις, και αν υπάρχει ένας ομοιομορφισμός Πρότυπο:Mvar τέτοιος ώστε $g=h^{-1}\circ f\circ h$, λέμε ότι Πρότυπο:Mvar και Πρότυπο:Mvar} είναι τοπολογικά συζυγείς.

Η επαναληπτικότητα διατηρεί την τοπολογική σύζευξη: πράγματι, $g^n=h^{-1}\circ f^n\circ h$. Έτσι, αν ξέρουμε πώς να προσδιορίσουμε ένα σύστημα επαναληπτικών συναρτήσεων, ξέρουμε επίσης πώς να προσδιορίσουμε όλα τα τοπολογικά συζυγή συστήματα.

Παραδείγματος χάριν, η τριγωνική συνάρτηση είναι τοπολογικά συζυγής με τη λογιστική ακολουθία. Μια ειδική περίπτωση είναι η Πρότυπο:Math η οποία δίνει ως επανάληψη της $g(x)=h^{-1}(h(x)+1)$

$g^n(x)=h^{-1}(h(x)+n),$

για οποιαδήποτε συνάρτηση Πρότυπο:Mvar.

Κάνοντας την αντικατάσταση $x=h^{-1}(y)=\varphi (y)$, προκύπτει

$g(\varphi (y))=\varphi (y+1)$, με άλλα λόγια την εξίσωση του Άμπελ.

Στην απουσία ενός πραγματικού συνολικού ομοιομορφισμού, είναι συχνά δυνατή η επίλυση της εξίσωσης Σρέντερστην περιοχή ενός σταθερού σημείου για μια Πρότυπο:Mvar συνάρτηση. Παραδείγματος χάριν, εάν Πρότυπο:Mvar = 0, Πρότυπο:Mvar(0) = 0, Πρότυπο:Math είναι τοπικά συζυγής με μια διαστολή, Πρότυπο:Math, με άλλα λόγια

$f(x)={\psi }^{-1}(f(0)\psi (x)).$

Η τροχιά της επανάληψης, ή float, υπό κατάλληλες συνθήκες (π.χ. Πρότυπο:Math), γίνεται η συζυγής της τροχιάς του μονοωνύμου :

${\psi }^{-1}(f^{\prime }(0{)}^n\psi (x)),$

όπου Πρότυπο:Mvar σε αυτή την έκφραση είναι ένας συνηθισμένος εκθέτης: με άλλα λόγια, η λειτουργική επανάληψη έχει μειωθεί σε έναν απλό πολλαπλασιασμό. Ο εκθέτης Πρότυπο:Mvar δεν μπορεί να είναι ούτε θετικός ούτε ακέραιος- τότε αντιστοιχεί σε ένα συνεχή χρόνο εξέλιξης για την τροχιά.

Το παράδειγμα 2 παραπάνω ισοδυναμεί, επομένως, με $f^n(x)={\psi }^{-1}((\ln 2{)}^n\psi (x))$, για οποιοδήποτε n (όχι απαραίτητα ακέραιο), όπου Πρότυπο:Mvar είναι η λύση της αντίστοιχης εξίσωσης Σρέντερ, $\psi ({\sqrt{2}}^x)=\ln 2\psi (x)$. Αυτή η λύση είναι επίσης το όριο, για m που τείνει στο άπειρο, της $\frac{f^m(x)-2}{(\ln 2{)}^m}$.

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

Παραδείγματα

Για παραδείγματα επαναλαμβανόμενων συναρτήσεων, δείτε επίσης το σύνολο Μάντελμπροτ και τα Επαναλαμβανόμενα συστήματα συναρτήσεων.

Ο Έρνστ Σρέντερ μελέτησε ειδικές περιπτώσεις της λογιστικής ακολουθίας το 1870:

• (χαοτική περίπτωση) : $f(x)=4x(1-x)$ δίνει $\psi (x)={\arcsin }^2(\sqrt{x})$, ως εκ τούτου $f^n(x)={\sin }^2(2^n\arcsin (\sqrt{x}))$.
• (μη χαοτική περίπτωση) : $f(x)=2x(1-x)$ δίνει $\psi (x)=-\frac{1}{2}\ln (1-2x)$, και επομένως $f^n(x)=-\frac{1}{2}((1-2x{)}^{2^n}-1)$.

Επαναλαμβανόμενες συναρτήσεις με κλειστή έκφραση

Για τις περισσότερες συναρτήσεις, δεν υπάρχει κλειστή έκφραση για την επαναλαμβανόμενη επανάληψη n^e. Ο παρακάτω πίνακας παραθέτει ορισμένες συναρτήσεις για τις οποίες υπάρχει τέτοια έκφραση. Όλες αυτές οι εκφράσεις ισχύουν για n, αρνητικούς ή κλασματικούς, καθώς και για θετικούς ακέραιους αριθμούς.

$f(x)$	$f^n(x)$
$x+b$	$x+nb$
$ax+b(a\ne 1)$	$a^{n}x+\frac{a^n-1}{a-1}b$
$a{x}^b(b\ne 1)$	$a^{\frac{b^n-1}{b-1}}{x}^{b^n}$
$a{x}^2+bx+\frac{b^2-2b}{4a}$	$\frac{2{\alpha }^{2^n}-b}{2a}$ όπου: $\alpha =\frac{2ax+b}{2}$
$a{x}^2+bx+\frac{b^2-2b-8}{4a}$	$\frac{2{\alpha }^{2^n}+2{\alpha }^{-2^n}-b}{2a}$ όπου: $\alpha =\frac{2ax+b\pm \sqrt{(2ax+b{)}^2-16}}{4}$
$\frac{ax+b}{cx+d}$   κλασματικός γραμμικός μετασχηματισμός	$\frac{a}{c}+\frac{bc-ad}{c}\left[\frac{(cx-a+\alpha ){\alpha }^{n-1}-(cx-a+\beta ){\beta }^{n-1}}{(cx-a+\alpha ){\alpha }^n-(cx-a+\beta ){\beta }^n}\right]$ όπου: $\alpha =\frac{a+d+\sqrt{(a-d{)}^2+4bc}}{2}$ $\beta =\frac{a+d-\sqrt{(a-d{)}^2+4bc}}{2}$
$g^{-1}\left(h\right(g(x)\left)\right)$	$g^{-1}\left(h^n\right(g(x)\left)\right)$
$g^{-1}(g(x)+b)$   εξίσωση Άμπελ	$g^{-1}(g(x)+nb)$
$\sqrt{x^2+b}$	$\sqrt{x^2+bn}$
$g^{-1}(ag(x)+b)(a\ne 1\vee b=0)$	$g^{-1}(a^{n}g(x)+\frac{a^n-1}{a-1}b)$
$\sqrt{a{x}^2+b}$	$\sqrt{a^n{x}^2+\frac{a^n-1}{a-1}b}$
$T_m(x)=\cos (m\arccos x)$ (Πολυώνυμο Τσέμπισεφ για ακέραιο m)	$T_{mn}=\cos (m^n\arccos x)$

Σημείωση: Πρότυπο:Math είναι οι μόνες περιπτώσεις που έχουν λύση κλειστής μορφής. Επιλέγοντας αντίστοιχα b = 2 = –a and b = 4 = –a, ανάγονται στις μη χαοτικές και χαοτικές περιπτώσεις που συζητήθηκαν παραπάνω.

Μερικά από αυτά τα παραδείγματα συνδέονται με απλές συζυγίες

Αλυσίδες Μαρκόφ

Εάν η συνάρτηση είναι γραμμική και μπορεί να περιγραφεί από έναν στοχαστικό πίνακα, δηλαδή έναν πίνακα όπου το άθροισμα των καταχωρήσεων σε μια γραμμή (ή στήλη) είναι πάντα ίσο με 1, τότε το σύστημα των επαναλήψεων ονομάζεται αλυσίδα Μαρκόφ.

Στην επιστήμη των υπολογιστών

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

Ορισμοί με βάση επαναλαμβανόμενες συναρτήσεις

Δύο σημαντικές συναρτήσεις, το άθροισμα και το αντίστοιχο γινόμενο, μπορούν να οριστούν με βάση επαναληπτικές συναρτήσεις. Το άθροισμα ορίζεται από τη σχέση :

$\{b+1,\sum _{i=a}^{b}g(i)\}\equiv {(\{i,x\}\to \{i+1,x+g(i)\})}^{b-a+1}\{a,0\}$

και το γινόμενο από :

$\{b+1,\prod _{i=a}^{b}g(i)\}\equiv {(\{i,x\}\to \{i+1,xg(i)\})}^{b-a+1}\{a,1\}.$

Συναρτησιακή παράγωγος

Η συναρτησιακή παράγωγος μιας επαναλαμβανόμενης συνάρτησης δίνεται από τον εξής αναδρομικό τύπο

$\frac{\delta f^N(x)}{\delta f(y)}=f^{\prime }(f^{N-1}(x))\frac{\delta f^{N-1}(x)}{\delta f(y)}+\delta (f^{N-1}(x)-y).$

Δείτε επίσης

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