Μέθοδος Όιλερ

right|thumb|Γράφημα μεθόδου Euler. Η καμπύλη των αγνώστων σημείων είναι η μπλε και η πολυγωνική προσέγγιση αυτής η κόκκινη.

Στα μαθηματικά και τις υπολογιστικές επιστήμες, η **μέθοδος Όιλερ** είναι μια πρώτης τάξης αριθμητική διαδικασία για την επίλυση συνήθων διαφορικών εξισώσεων (Σ.Δ.Ε.), με δεδομένη την αρχική τιμή. Είναι η πιο βασική μέθοδος για την ρητή αριθμητικής ολοκλήρωσης των συνήθων διαφορικών εξισώσεων και είναι η απλούστερη Runge-Kutta μέθοδο. Επίσημα ονομάζεται μέθοδος Όιλερ από το όνομα του  Ελβετού μαθηματικού και φυσικού Λέοναρντ Όιλερ, ο οποίος εμφανίζεται στο βιβλίο Institutionum του calculi Integralis (δημοσιεύθηκε το 1768-1770).

Η μέθοδος Όιλερ είναι μια πρώτης τάξης μέθοδος, πράγμα που σημαίνει ότι το τοπικό σφάλμα (σφάλμα ανά βήμα) είναι ανάλογο με το τετράγωνο του μεγέθους βήματος, και το παγκόσμιο σφάλμα (σφάλμα σε μια δεδομένη στιγμή) είναι ανάλογο με το μέγεθος του βήματος. Πάσχει επίσης από προβλήματα σταθερότητας. Για τους λόγους αυτούς, η μέθοδος Όιλερ δεν χρησιμοποιείται συχνά στην πράξη. Χρησιμεύει, ωστόσο, ως βάση για την κατασκευή πιο πολύπλοκων μεθόδων.

## Άτυπη γεωμετρική περιγραφή

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

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

Πάρτε ένα μικρό βήμα κατά μήκος αυτής της γραμμής εφαπτομένης μέχρι ένα σημείο  A_1. κατά μήκος .Σ'αυτό το μικρό βήμα, η κλίση δεν αλλάζει πάρα πολύ, οπότε το  A_1. θα είναι κοντά στην καμπύλη. Αν εμείς υποθέσουμε ότι είναι ακόμα στην καμπύλη, η ίδια  συλλογιστική όπως και για το σημείο A_0 ανωτέρω μπορούν να χρησιμοποιηθούν. Μετά από αρκετά στάδια, μια πολυγωνική καμπύλη  A_0A_1A_2A_3\dots υπολογίζεται. Σε γενικές γραμμές, αυτή η καμπύλη δεν αποκλίνει πολύ από την αρχική άγνωστη καμπύλη , και το σφάλμα μεταξύ των δύο καμπυλών μπορεί να γίνει μικρό, αν το μέγεθος του βήματος είναι αρκετά μικρό και το διάστημα του υπολογισμού είναι πεπερασμένο .

## Διατύπωση της μεθόδου

[right|thumb|Απεικόνιση της αριθμητικής ολοκλήρωσης για την εξίσωση  <math>y'=y, y(0)=1.</math> Το μπλε είναι η μέθοδος του Όιλερ, το πράσινο η [μέθοδος ενδιάμεσης τιμής, το κόκκινο η ακριβής λύση y=e^t. Το μέγεθος του βήματος είναι *h*&nbsp;=&nbsp;1.0.]]
right|thumb|Η ίδια απεικόνιση για ''h''&nbsp;=&nbsp;0.25. Φαίνεται ότι η μέθοδος ενδιάμεσης τιμής συγκλίνει γρηγορότερα απ’ ότι η μέθοδος του Όιλερ.

Θέλουμε να προσεγγίσουμε την λύση της αρχικής τιμής του προβλήματος
:y'(t) = f(t,y(t)), \qquad \qquad y(t_0)=y_0,

χρησιμοποιώντας τους πρώτους δύο όρους από την  επέκταση της σειράς Taylor του *y*, η οποία παρουσιάζει τη γραμμική προσέγγιση γύρω από το σημείο (t0,y(t0)) . Ένα βήμα της μεθόδου Όιλερ από το *t**n* στο *t*n+1&nbsp;=&nbsp;*t*n&nbsp;+&nbsp;*h* είναι

: y_{n+1} = y_n + hf(t_n,y_n).  \qquad \qquad

Η αξία της y_n είναι μια προσέγγιση της λύσης του Σ.Δ.Ε. στο χρόνο t_n: y_n \approx y(t_n). Η μέθοδος Euler είναι ρητή, δηλαδή η λύση του y_{n+1} είναι μια ρητή συνάρτηση y_i για i \leq n.

Ενώ η μέθοδος του Όιλερ ενσωματώνει πρώτου βαθμού Συνήθεις Διαφορικές Εξισώσεις, κάθε Συνήθης Διαφορική Εξίσωση βαθμού *N* μπορεί να αναπαρασταθεί ως μία πρώτου βαθμού Συνήθης Διαφορική Εξίσωση:

: y^{(N)}(t) = f(t, y(t), y'(t), \ldots, y^{(N-1)}(t)) ,

Παρουσιάζουμε βοηθητικές μεταβλητές z_1(t)=y(t), z_2(t)=y'(t),\ldots, z_N(t)=y^{(N-1)}(t) και παίρνουμε την αντίστοιχη εξίσωση

: \mathbf{z}'(t)
  = \begin{pmatrix} z_1'(t)\\ \vdots\\ z_{N-1}'(t)\\ z_N'(t) \end{pmatrix}
  = \begin{pmatrix} y'(t)\\ \vdots\\ y^{(N-1)}(t)\\ y^{(N)}(t) \end{pmatrix}
  = \begin{pmatrix} z_2(t)\\ \vdots\\ z_N(t)\\ f(t,z_1(t),\ldots,z_N(t)) \end{pmatrix} 

Αυτό είναι ένα πρώτης τάξης σύστημα πρώτου βαθμού στην μεταβλητή \mathbf{z}(t) και μπορεί να λυθεί εφαρμόζοντας την μέθοδο του Όιλερ ή στην πραγματικότητα, κάθε άλλο σχήμα για πρώτου βαθμού συστήματα.

## Παράδειγμα

Δίνεται η διαφορική εξίσωση

:y'=y, \quad y(0)=1, 

θα θέλαμε να χρησιμοποιήσουμε τη μέθοδο Όιλερ για την προσέγγιση y(4).

### Χρησιμοποιώντας μέγεθος βήματος ίση προς 1 (''h'' = 1)
Η μέθοδος Όιλερ είναι

: y_{n+1} = y_n + hf(t_n,y_n).  \qquad \qquad

Έτσι, πρώτα θα πρέπει να υπολογίσουμε f(t_0, y_0). Στην απλή αυτή διαφορική εξίσωση, η λειτουργία f ορίζεται από
f(t,y) = y. Έχουμε

: f(t_0,y_0) = f(0,1) = 1. \qquad \qquad

Κάνοντας το παραπάνω βήμα, έχουμε βρει την κλίση της γραμμής που είναι εφαπτόμενη στην καμπύλη στο σημείο (0,1).
Υπενθυμίζουμε ότι η κλίση ορίζεται ως η μεταβολή y διαιρούμενη με τη μεταβολή t, or  \Delta y/ \Delta t.

Το επόμενο βήμα είναι να πολλαπλασιάσει την ανωτέρω τιμή από το μέγεθος του βήματος h, που παίρνουμε ίση με το ένα εδώ:

: h \cdot f(y_0) = 1 \cdot 1 = 1. \qquad \qquad

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

: y_0 + hf(y_0) = y_1 = 1 + 1 \cdot 1 = 2. \qquad \qquad

Τα παραπάνω βήματα θα πρέπει να επαναληφθεί για να βρείτε  y_2, y_3  and y_4.

: \begin{align}
y_2 &= y_1 + hf(y_1) = 2 + 1 \cdot 2 = 4, \\
y_3 &= y_2 + hf(y_2) = 4 + 1 \cdot 4 = 8, \\
y_4 &= y_3 + hf(y_3) = 8 + 1 \cdot 8 = 16.
\end{align} 

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

:

Το συμπέρασμα αυτού του υπολογισμού είναι ότι  y_4 = 16 . Η ακριβής λύση της διαφορικής εξίσωσης είναι  y(t) = e^t , οπότε  y(4) = e^4 \approx 54.598 . Έτσι, η προσέγγιση της μεθόδου Όιλερ δεν είναι πολύ καλή σε αυτή την περίπτωση. Ωστόσο, όπως δείχνει το σχήμα, η συμπεριφορά του είναι ποιοτικά σωστή.

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

:

Το σφάλμα που καταγράφονται στην τελευταία στήλη του πίνακα είναι η διαφορά μεταξύ της ακριβούς λύσης στο  t = 4  και την προσέγγιση Όιλερ. Στο κάτω μέρος του πίνακα, το μέγεθος βήματος είναι το μισό μέγεθος βήματος στην προηγούμενη σειρά, και το σφάλμα είναι επίσης περίπου το μισό του λάθος στην προηγούμενη σειρά. Αυτό υποδεικνύει ότι το σφάλμα είναι περίπου ανάλογη με το μέγεθος του βήματος, τουλάχιστον για αρκετά μικρές τιμές του μεγέθους βήματος. Αυτό ισχύει σε γενικές γραμμές, επίσης για άλλες εξισώσεις? Δείτε την ενότητα ''Παγκόσμια Λάθη στην στρογγυλοποίηση'' για περισσότερες λεπτομέρειες.

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

Μπορούμε να προεκτείνουμε από τον παραπάνω πίνακα το μέγεθος του βήματος που απαιτείται για να πάρουμε μια απάντηση που είναι σωστή για τα τρία δεκαδικά ψηφία είναι περίπου 0,00001 , πράγμα που σημαίνει ότι χρειαζόμαστε 400.000 βήματα. Αυτός ο μεγάλος αριθμός των βημάτων συνεπάγεται υψηλό υπολογιστικό κόστος. Για το λόγο αυτό, οι άνθρωποι συνήθως χρησιμοποιούν εναλλακτικά, ανώτερης τάξης μεθόδους όπως μεθόδους Runge-Kuttas or γραμμικές μέθοδοι πολλαπλού βήματος, ειδικά αν μια υψηλή ακρίβεια είναι επιθυμητή.

## Παραγωγή

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

Μια άλλη δυνατότητα είναι να εξετάσει την επέκταση της συνάρτησης Taylor y around t_0:

: y(t_0 + h) = y(t_0) + h y'(t_0) + \frac{1}{2}h^2 y*(t_0) + O(h^3). </math>

Η διαφορική εξίσωση δηλώνει ότι<math>y'=f(t,y)</math>. Αν αυτό υποκαθίσταται από την επέκταση Taylor και αν αγνοούνται η τετραγωνική και υψηλότερης τάξης οροι, προκυπτει η μέθοδος Όιλερ . Η επέκταση Taylor χρησιμοποιείται παρακάτω για να αναλύσει το σφάλμα της μεθόδου Όιλερ, και μπορεί να επεκταθεί για να παραχθεί η [[μέθοδος Runge–Kutta]].

Μια στενά συνδεδεμένη παραγωγή είναι να αντικαταστήσει προς τα εμπρός [[Πεπερασμένη διαφορά|διαφορά πεπερασμένων]] τον τύπο για την παράγωγο,

:<math> y'(t_0) \approx \frac{y(t_0+h) - y(t_0)}{h} </math>

στην διαφορική εξίσωση<math>y' = f(t,y)</math>. Και πάλι, αυτό αποδίδει τη μέθοδο Όιλερ. Ένας παρόμοιος υπολογισμός οδηγεί στον κανόνα και στην [[αντίστροφη μέθοδο Όιλερ]].

Τέλος, μπορεί κανείς να θέσει στην διαφορική εξίσωση από
<math>t_0</math> σε <math>t_0 + h</math> και να εφαρμόσει το [[θεμελιώδες θεώρημα του λογισμού]] για να:

:<math> y(t_0+h) - y(t_0) = \int_{t_0}^{t_0+h} f(t,y(t)) \,\mathrm{d}t. </math>

Τώρα κατά προσέγγιση το [[ολοκλήρωμα]] από την αριστερή ορθογώνια μέθοδο (με μόνο ένα ορθογώνιο):
:<math> \int_{t_0}^{t_0+h} f(t,y(t)) \,\mathrm{d}t \approx h f(t_0, y(t_0)). </math>

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

== Τοπικό σφάλμα αποκοπής ==

Το [[Τοπικό σφάλμα αποκοπής]] της μεθόδου Euler είναι σφάλμα σε ένα μόνο βήμα. Είναι η διαφορά μεταξύ της αριθμητικής λυσης μετά από ένα βήμα, <math>y_1</math>, και η ακριβής λύση κατά το χρόνο <math>t_1 = t_0+h</math>. Η αριθμητική λύση δίνεται από

:<math> y_1 = y_0 + h f(t_0, y_0). \quad</math>

Για την ακριβή λύση, χρησιμοποιούμε την επέκταση Taylor που αναφέρονται στην ενότητα [[#παραγωγή|*παραγωγή*]] πάνω από:

:<math> y(t_0 + h) = y(t_0) + h y'(t_0) + \frac{1}{2}h^2 y*(t_0) + O(h^3). 

Η τοπική αποκοπή σφαλμάτων (ΤΑΣ) παρουσιάζεται με τη μέθοδο Euler και δίνεται από τη διαφορά μεταξύ αυτών των εξισώσεων:

: \mathrm{LTE} = y(t_0 + h) - y_1 = \frac{1}{2} h^2 y*(t_0) + O(h^3). </math>

Αυτό το αποτέλεσμα είναι έγκυρο εάν <math>y</math> έχει φραγμένη τρίτη παράγωγο.

Αυτό δείχνει ότι για τις μικρές <math>h</math>, το τοπικό σφάλμα αποκοπής είναι περίπου ανάλογο με <math>h^2</math>. Αυτό καθιστά τη μέθοδο Όιλερ λιγότερο ακριβή (για μικρά <math>h</math>) από ό, τι άλλων ανώτερης τάξης τεχνικές όπως [[μέθοδος Runge-Kutta]] και [[γραμμική μέθοδο πολλαπλών σταδίων]], για την οποία η τοπική αποκοπή σφάλματος είναι αναλογικά σε μια ανώτερη δύναμη του μεγέθους βήματος.

Μια ελαφρώς διαφορετική σύνθεση για την τοπική αποκοπή σφάλματος μπορεί να ληφθεί με χρήση του εντύπου Lagrange για τον όρο υπόλοιπο στα [[Το θεώρημα Taylor]]. Εάν <math>y</math> έχει συνεχή δεύτερη παράγωγο, τότε υπάρχει ένα <math>\xi \in [t_0,t_0+h]</math> τέτοια ώστε

:<math> \mathrm{LTE} = y(t_0 + h) - y_1 = \frac{1}{2} h^2 y*(\xi). 

Στις παραπάνω εκφράσεις για το σφάλμα, η δεύτερη παράγωγος της άγνωστης ακριβής λύση y  μπορεί να αντικατασταθεί από μια έκφραση που αφορά την δεξιά πλευρά της διαφορικής εξίσωσης. Πράγματι, όπως προκύπτει από την εξίσωση y'=f(t,y) ότι

:y*(t_0) = {\partial f\over\partial t}(t_0, y(t_0)) + {\partial f\over\partial y}(t_0, y(t_0)) \, f(t_0, y(t_0)).</math>

== Παγκόσμιο σφάλμα αποκοπής ==

Το [[Παγκόσμιο σφάλμα αποκοπής]] είναι το σφάλμα σε καθορισμένο χρόνο <math>t</math>, ωστόσο, πρέπει να κάνουν πολλά βήματα οι μέθοδοι για να επιτύχουν αυτό τον χρόνο από τον αρχικό χρόνο. Το παγκόσμιο σφάλμα αποκοπής είναι το σωρευτικό αποτέλεσμα του τοπικού σφάλματος αποκοπής που διαπράττονται σε κάθε βήμα. Ο αριθμός των βημάτων προσδιορίζεται εύκολα <math>(t-t_0)/h</math>, η οποία είναι ανάλογη προς <math>1/h</math>, και το σφάλμα δεσμεύεται σε κάθε βήμα είναι ανάλογο προς<math>h^2</math> (δείτε την προηγούμενη ενότητα). Έτσι, είναι αναμενόμενο ότι το παγκόσμιο σφάλμα αποκοπής θα είναι ανάλογο με <math>h</math>.

Αυτή η διαισθητική λογική μπορεί να γίνει ακριβής. Εάν η λύση <math>y</math> έχει φραγμένη δεύτερη παράγωγο και <math>f</math> είναι [[Lipschitz continuity|Lipschitz συνεχής]] το δεύτερο επιχείρημά της, τότε το παγκόσμιο σφάλμα αποκοπής (GTE) οριοθετείται από

:<math> |\text{GTE}| \le \frac{hM}{2L}(e^{L(t-t_0)}-1) \qquad \qquad </math>

όπου <math>M</math> είναι ένα άνω όριο για τη δεύτερη παράγωγο <math>y</math> για το δεδομένο χρονικό διάστημα και <math>L</math>είναι η σταθερά Lipschitz της <math>f</math>.

Η ακριβής μορφή αυτή δεσμεύεται από μικρή πρακτική σημασία, καθώς στις περισσότερες περιπτώσεις η δεσμευμένη είναι πολύ μεγαλύτερη από το πραγματικό σφάλμα στο οποίο υπέπεσε με τη μέθοδο Όιλερ. είναι σημαντικό ότι δείχνει ότι το παγκόσμιο σφάλμα αποκοπής είναι περίπου ανάλογο με το <math>h</math>. Για το λόγο αυτό, η μέθοδος Όιλερ λέγεται ότι είναι πρώτης τάξης.

== Αριθμητική σταθερότητα ==

[[Αρχείο:Instability of Euler's method.svg|thumb|Solution of <math>y' = -2.3y</math> computed with the Euler method with step size <math>h=1</math> (blue squares) and <math>h=0.7</math> (red circles). The black curve shows the exact solution.]]

Η μέθοδος Όιλερ μπορεί επίσης να είναι αριθμητική [[Αριθμητική ευστάθεια αλγορίθμων|αστάθεια]], ειδικά για [[δύσκολη εξίσωση]], πράγμα που σημαίνει ότι η αριθμητική λύση γίνεται πολύ μεγάλη για εξισώσεις, όπου η ακριβής λύση δεν υπάρχει. Αυτό μπορεί να απεικονιστεί χρησιμοποιώντας την γραμμική εξίσωση
:<math> y' = -2.3y, \qquad y(0) = 1. </math>
Η ακριβής λύση είναι <math>y(t) = e^{-2.3t}</math>, η οποία τείνει στο [[0 (αριθμός)|μηδέν]] καθώς <math>t \to \infty</math>. Ωστόσο, εάν η μέθοδος Όιλερ εφαρμόζεται σε αυτή την εξίσωση με το μέγεθος του βήματος <math>h=1</math>,τότε η αριθμητική λύση είναι ποιοτικά λάθος: ταλαντώνεται και μεγαλώνει (βλέπε σχήμα). Αυτό σημαίνει να είναι ασταθής. Εάν χρησιμοποιείται ένα μικρότερο μέγεθος βήματος , για παράδειγμα<math>h=0.7</math>, τότε η αριθμητική λύση τείνει στο μηδέν.

[[Αρχείο:Stability region for Euler method.svg|thumb|The pink disk shows the stability region for the Euler method.]]
Εάν η μέθοδος Όιλερ εφαρμόζεται στην γραμμική εξίσωση <math>y'=ky</math>, τότε η αριθμητική λύση είναι ασταθής εάν το προϊόν <math>hk</math> είναι εκτός της περιοχής
:<math> \{ z \in \mathbf{C} \mid |z+1| \le 1 \}, </math>
απεικονίζεται στα δεξιά. Η περιοχή αυτή ονομάζεται (γραμμική) περιοχή αστάθειας. Για παράδειγμα, <math>k</math> ισούται με −2.3, ωστόσο αν <math>h=1</math> τότε <math>hk = -2.3</math> η οποία είναι έξω από την περιοχή σταθερότητας, και έτσι η αριθμητική λύση είναι ασταθής.

Ο περιορισμός αυτός-μαζί με την αργή σύγκλιση του σφάλματος με*h*—σημαίνει ότι η μέθοδος Όιλερ δεν χρησιμοποιείται συχνά, εκτός από ένα απλό παράδειγμα της αριθμητικής ολοκλήρωσης.

== Σφάλματα Στρογγυλοποίησης ==

Η συζήτηση μέχρι τώρα αγνοεί τις συνέπειες των [[Σφάλματα στρογγυλοποίησης|Σφαλμάτων Στρογγυλοποίησης]]. Στο βήμα *n* της μεθόδου Όιλερ, το σφάλμα στρογγυλοποίησης είναι περίπου το μέγεθος ε*y*<sub>*n*</sub> όπου ε είναι η [[μηχανή έψιλον]]. Υποθέτοντας ότι τα σφάλματα στρογγυλοποίησης είναι όλα περίπου το ίδιο μέγεθος, το συνολικό σφάλμα στρογγυλοποίησης στα *N βήματα* είναι περίπου *N*ε*y*<sub>0</sub> εάν όλα τα σφάλματα σημεία της είναι στην ίδια κατεύθυνση. Δεδομένου ότι ο αριθμός των βημάτων είναι αντιστρόφως ανάλογος με το μέγεθος του βήματος *h*, Το συνολικό σφάλμα στρογγυλοποίησης είναι ανάλογο με ε / *h*. Στην πραγματικότητα, ωστόσο, είναι εξαιρετικά απίθανο όλα τα σφάλματα στρογγυλοποίησης να συγκεντρώνονται  προς την ίδια κατεύθυνση. Αν, αντίθετα, υποτίθεται ότι τα σφάλματα στρογγυλοποίησης είναι ανεξάρτητες μεταβλητές στρογγυλοποίησης, τότε το συνολικό σφάλμα στρογγυλοποίησης είναι ανάλογο με <math> \varepsilon / \sqrt{h} </math>.


Έτσι, για εξαιρετικά μικρές τιμές του μεγέθους του βήματος, το λάθος στην στρογγυλοποίηση θα είναι μικρό, αλλά η επίδραση του σφάλματος στρογγυλοποίησης μπορεί να είναι μεγάλη. Οι περισσότερες από τις επίδρασης του σφάλματος στρογγυλοποίησης μπορούν εύκολα να αποφευχθούν εάν [[αντιστάθμιση  αθροίσεως]] χρησιμοποιείται στον τύπο για τη μέθοδο Euler.

== Τροποποιήσεις και επεκτάσεις ==

Μια απλή τροποποίηση της μεθόδου Όιλερ το οποίο εξαλείφει τα προβλήματα σταθερότητας που έχει σημειωθεί στην προηγούμενη ενότητα είναι η [[προς τα πίσω μέθοδο Euler]]:
:<math> y_{n+1} = y_n + h f(t_{n+1}, y_{n+1}). </math>
Αυτό διαφέρει από την (τυπική, ή προς τα εμπρός) μέθοδο Όιλερ στο ότι η συνάρτηση <math>f</math> αξιολογείται στο τελικό σημείο της βαθμίδας, αντί του αρχικού σημείου. Η προς τα πίσω μέθοδος Όιλερ είναι μια [[explicit and implicit methods|έμμεση μέθοδος]], πράγμα που σημαίνει ότι η φόρμουλα για την προς τα πίσω μέθοδο Euler έχει <math> y_{n+1} </math> και στις δύο πλευρές, έτσι ώστε κατά την εφαρμογή της προς τα πίσω μέθοδο Όιλερ έχουμε να λύσουμε μια εξίσωση. Αυτό καθιστά την εφαρμογή πιο δαπανηρή.

Άλλες τροποποιήσεις της μεθόδου Όιλερ που βοηθά με τη σταθερότητα να δώσει την εκθετική μέθοδο Όιλερ ή ημι-έμμεση μέθοδο Όιλερ.

Πιο περίπλοκες μεθόδους μπορεί να επιτύχει μια υψηλότερη τάξη (και με μεγαλύτερη ακρίβεια). Μία δυνατότητα είναι να χρησιμοποιηθούν περισσότερες λειτουργικές αξιολογήσεις. Αυτή απεικονίζεται από την [[μέθοδο μέσο]], η οποία αναφέρεται ήδη σε αυτό το άρθρο:
:<math> y_{n+1} = y_n + h f \Big( t_n + \tfrac12 h, y_n + \tfrac12 h f(t_n, y_n) \Big). </math>
Αυτό οδηγεί στην οικογένεια των [[Runge–Kutta methods]].

Η άλλη δυνατότητα είναι να χρησιμοποιήσετε περισσότερες αξίες του παρελθόντος, όπως φαίνεται και από την Adams-Bashforth μέθοδο:
:<math> y_{n+1} = y_n + \tfrac32 h f(t_{n}, y_{n}) - \tfrac12 h f(t_{n-1}, y_{n-1}). </math>
Αυτό οδηγεί στην οικογένεια της [[γραμμικής μεθόδου πολλαπλών βημάτων]].

== Όριο Σφάλματος ==

Όπως και με άλλες μεθόδους, υπάρχει τρόπος για εμάς να αποφασίσουμε ένα φράγμα σφάλματος για ένα συγκεκριμένο πρόβλημα. Το φράγμα σφάλματος στο συνολικό σφάλμα δίνεται από :

:<math> |\epsilon_{n+1}| \le \frac{hM}{2L}(e^{L(t-t_0)}-1) \qquad \qquad </math>

όπου <math>h</math> είναι το μέγεθος του βήματος, <math>M</math> είναι το άνω όριο στη δεύτερη παράγωγο του <math>y</math> στο δεδομένο διάστημα (το οποίο πρέπει να υπολογιστεί), και <math>L</math> είναι η σταθερά Lipschitz .

Αν το όριο σφάλματος υπολογιστεί, μπορούμε να δούμε, ότι αν είναι επιθυμητό μικρό σφάλμα, το μέγεθος βήματος <math>h</math> πρέπει να είναι πολύ μικρό.

Για παράδειγμα, ας υπολογίσουμε το μέγεθος βήματος που χρειάζεται ώστε η ολική αποκοπή σφάλματος να είναι <math>\epsilon_{n+1}=0.01</math>, υποθέτοντας ότι η μέγιστη τιμή της δεύτερης παραγώγου είναι <math>M=10</math>, η Lipschitz σταθερά είναι <math>L=1</math>, και <math>t</math> από το μηδέν στο τέσσερα. Χρησιμοποιώντας την συγκεκριμένη εξίσωση, παίρνουμε τα εξής:

:<math> \frac{2L}{M(e^{L(t-t_0)}-1)}|\epsilon_{n+1}|\le h \qquad \qquad </math>

:<math> \frac{2}{10(e^{(4)}-1)}|0.01|\le h \qquad \qquad </math>

:<math> h \le 0.0037314721 \qquad \qquad </math>

Το οποίο σημαίνει ότι το *h* πρέπει να είναι μικρότερο από το παραπάνω ώστε να έχουμε το επιθυμητό σφάλμα ή μικρότερο , και 4/*h'', ή θα χρειαστούν 1.072 επαναλήψεις για να γίνει αυτό. Ο τεράστιος αριθμός των βημάτων, και συνεπώς το υψηλό υπολογιστικό κόστος,  ενισχύουν την χρήση εναλλακτικών, μεγαλύτερου βαθμού μεθόδων όπως η μέθοδος Runge–Kutta ή γραμμικές μέθοδοι πολλαπλών βημάτων.

## Σημειώσεις


## Αναφορές - πηγές
* 
* 
* 
* 
* 
* 
* 
* 

## Εξωτερικοί Σύνδεσμοι

* Euler's Method for O.D.E.'s
* Euler method implementations in different languages by Rosetta Code
* 

Κατηγορία:Αριθμητική ανάλυση
Κατηγορία:Μηχανική ρευστών