Μετάβαση στο περιεχόμενο

Εκθετικό ολοκλήρωμα

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Plot of the exponential integral function E n(z) with n=2 in the complex plane from -2-2i to 2+2i with colors created with Mathematica 13.1 function ComplexPlot3D
Γραφική παράσταση του εκθετικού ολοκληρώματος E n(z) με n=2 στο μιγαδικό επίπεδο από-2-2i έως 2+2i με χρώματα που δημιουργήθηκαν με τη συνάρτηση ComplexPlot3D του Mathematica 13.1 function ComplexPlot3D

Στα μαθηματικά, το εκθετικό ολοκλήρωμα Ei είναι μια ειδική συνάρτηση στο μιγαδικό επίπεδο.

Ορίζεται ως ένα συγκεκριμένο ορισμένο ολοκλήρωμα του λόγου μεταξύ μιας εκθετικής συνάρτησης και του ορίσματός της.

Για πραγματικές μη μηδενικές τιμές του x, το εκθετικό ολοκλήρωμα Ei(x) ορίζεται ως εξής

Ο αλγόριθμος Ρις[1] δείχνει ότι η Ei δεν είναι στοιχειώδης συνάρτηση. Ο παραπάνω ορισμός μπορεί να χρησιμοποιηθεί για θετικές τιμές του x, αλλά το ολοκλήρωμα πρέπει να γίνει κατανοητό ως προς την κύρια τιμή Κωσύ λόγω της ιδιομορφίας του ολοκληρώματος στο μηδέν.

Για μιγαδικές τιμές του ορίσματος, ο καθορισμός γίνεται ασαφής λόγω των σημείων διακλάδωσης στο 0 και . [2] Αντί του Ei, χρησιμοποιείται ο ακόλουθος συμβολισμός,[3]

Plot of the exponential integral function Ei(z) in the complex plane from -2-2i to 2+2i with colors created with Mathematica 13.1 function ComplexPlot3D
Διάγραμμα του εκθετικού ολοκληρώματος Ei(z) στο μιγαδικό επίπεδο από -2-2i έως 2+2i με χρώματα που δημιουργήθηκε με το Mathematica 13.1 function ComplexPlot3D

Για θετικές τιμές του x, έχουμε .

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

Για θετικές τιμές του πραγματικού μέρους του , αυτό μπορεί να γραφεί[4]

Η συμπεριφορά του E1 κοντά στην αποκοπή της διακλάδωσης μπορεί να φανεί από την ακόλουθη σχέση:[5]

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

Συγκλίνουσα σειρά

[Επεξεργασία | επεξεργασία κώδικα]
Γραφική παράσταση της συνάρτησης (πάνω) και της συνάρτησης (κάτω).

Για πραγματικά ή μιγαδικά ορίσματα εκτός του αρνητικού πραγματικού άξονα, το μπορεί να εκφραστεί ως εξής [6]

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

Αυτός ο τύπος μπορεί να χρησιμοποιηθεί για τον υπολογισμό του με πράξεις κινητής υποδιαστολής για πραγματικό μεταξύ 0 και 2,5. Για , το αποτέλεσμα είναι ανακριβές λόγω ακύρωσης.

Μια σειρά με ταχύτερη σύγκλιση βρέθηκε από τον Ραμανουτζάν:[7]

Ασυμπτωτικές (αποκλίνουσες) σειρές

[Επεξεργασία | επεξεργασία κώδικα]
Σχετικό σφάλμα της ασυμπτωτικής προσέγγισης για διαφορετικό αριθμό όρων στο αποκομμένο άθροισμα

Δυστυχώς, η σύγκλιση της παραπάνω σειράς είναι αργή για ορίσματα μεγαλύτερου συντελεστή. Επί παραδείγματι, απαιτούνται περισσότεροι από 40 όροι για να πάρουμε μια σωστή απάντηση με τρία σημαντικά ψηφία για το .[8] Ωστόσο, για θετικές τιμές του x, υπάρχει μια προσέγγιση αποκλίνουσας σειράς που μπορεί να ληφθεί με ολοκλήρωση κατά μέρη:[9]

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

Ασυμπτωτική πέραν όλων των τάξεων

[Επεξεργασία | επεξεργασία κώδικα]

Χρησιμοποιώντας ολοκλήρωση κατά μέρη, μπορούμε να λάβουμε έναν ρητό τύπο a[10]

Για οποιοδήποτε σταθερό ,

η απόλυτη τιμή του όρου σφάλματος μειώνεται και στη συνέχεια αυξάνεται. Το ελάχιστο εμφανίζεται στο ,σε αυτό το σημείο

. Αυτό το όριο λέγεται ότι είναι «ασυμπτωτικό πέραν όλων των τάξεων».

Εκθετική και λογαριθμική συμπεριφορά: παρένθεση

[Επεξεργασία | επεξεργασία κώδικα]
Παρένθεση της με στοιχειώδεις συναρτήσεις

Από τις δύο σειρές που προτάθηκαν στις προηγούμενες υποενότητες, προκύπτει ότι η συμπεριφέρεται σαν αρνητικός εκθετικός για μεγάλες τιμές του ορίσματος και σαν λογάριθμος για μικρές τιμές. Για θετικές πραγματικές τιμές του ορίσματος, η μπορεί να τεθεί σε παρένθεση με στοιχειώδεις συναρτήσεις ως εξής:[11]

Η αριστερή πλευρά αυτής της ανισότητας παρουσιάζεται στο γράφημα στα αριστερά με μπλε χρώμα- το κεντρικό τμήμα παρουσιάζεται με μαύρο χρώμα και η δεξιά πλευρά παρουσιάζεται με κόκκινο χρώμα.

Ορισμός από τον Έιν

[Επεξεργασία | επεξεργασία κώδικα]

Τόσο η όσο και η μπορούν να γραφούν πιο απλά χρησιμοποιώντας την ακέραια συνάρτηση [12] defined as

(να σημειωθεί ότι πρόκειται απλώς για την εναλλασσόμενη σειρά στον παραπάνω ορισμό του ). Τότε έχουμε

Η συνάρτηση σχετίζεται με την εκθετική συνάρτηση παραγωγής των αρμονικών αριθμών:

Σχέση με άλλες συναρτήσεις

[Επεξεργασία | επεξεργασία κώδικα]

Εξίσωση του Κούμερ

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

έχουμε

για όλα τα z. Μια δεύτερη λύση δίνεται τότε από την E1(−z). Πράγματι,

με την παράγωγο να εκτιμάται στο Μια άλλη σύνδεση με τις συρροές των υπεργεωμετρικών συναρτήσεων είναι ότι η E1 είναι εκθετική επί τη συνάρτηση U(1,1,z):

Το εκθετικό ολοκλήρωμα συνδέεται στενά με τη λογαριθμική ολοκληρωτική συνάρτηση li(x) με τον τύπο

για μη μηδενικές πραγματικές τιμές του .

Το εκθετικό ολοκλήρωμα μπορεί επίσης να γενικευτεί ως εξής

η οποία μπορεί να γραφεί ως ειδική περίπτωση της ανώτερης ατελούς συνάρτησης γάμμα:[13]

Η γενικευμένη μορφή ονομάζεται μερικές φορές συνάρτηση Μίσρα [14] , που ορίζεται ως

Πολλές ιδιότητες αυτής της γενικευμένης μορφής μπορούν να βρεθούν στη Ψηφιακή Βιβλιοθήκη Μαθηματικών Συναρτήσεων NIST

Συμπεριλαμβάνοντας έναν λογάριθμο ορίζεται η γενικευμένη ολοκληρο-εκθετική συνάρτηση[15]

Οι παράγωγοι των γενικευμένων συναρτήσεων μπορούν να υπολογιστούν μέσω του τύπου [16]

Ας σημειωθεί ότι η συνάρτηση είναι εύκολο να εκτιμηθεί (καθιστώντας αυτή την αναδρομή χρήσιμη), αφού είναι απλώς . [17]

Εκθετικό ολοκλήρωμα φανταστικού επιχειρήματος

[Επεξεργασία | επεξεργασία κώδικα]
κατά - πραγματικό μέρος μαύρο, φανταστικό μέρος κόκκινο.

Αν το είναι φανταστικό, έχει μη αρνητικό πραγματικό μέρος, οπότε μπορούμε να χρησιμοποιήσουμε τον τύπο

για να προκύψει μια σχέση με τα τριγωνομετρικά ολοκληρώματα

and :

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

Υπήρξαν πολλές προσεγγίσεις για την εκθετική ολοκληρωτική συνάρτηση. Σε αυτές περιλαμβάνονται οι εξής: 1:

  • Η προσέγγιση των Σουάμι και Οχίγια.[18]

όπου

  • Η προσέγγιση Άλεν και Χέιστινγκς [18][19]

όπου

  • Η συνεχής επέκταση του κλάσματος [19]

  • Η προσέγγιση του Μπάρι και λοιποί[20]

όπου

με τη σταθερά Όιλερ-Μαστσερόνι.

Αντίστροφη συνάρτηση του εκθετικού ολοκληρώματος

[Επεξεργασία | επεξεργασία κώδικα]

Η αντίστροφη συνάρτηση του εκθετικού ολοκληρώματος μπορεί να εκφραστεί σε μορφή δυναμοσειράς:[21]

όπου είναι η σταθερά Ραμανουτζάν-Σόλντνερ και είναι πολυωνυμική ακολουθία που ορίζεται από την ακόλουθη σχέση αναδρομής:

Για , και έχουμε τον εξής τύπο :

  • Χρονοεξαρτώμενη μεταφορά θερμότητας
  • Ροή εδαφικών υδάτων χωρίς ισορροπία στη λύση Θέις (γνωστή ως συνάρτηση πηγής)
  • Μεταφορά ακτινοβολίας σε αστρικές και πλανητικές ατμόσφαιρες
  • Εξίσωση ακτινικής διαχυτότητας για ροή σε μεταβατική ή ασταθή κατάσταση με πηγές και καταβόθρες γραμμής
  • Λύσεις της εξίσωσης μεταφοράς νετρονίων σε απλουστευμένες μονοδιάστατες γεωμετρίες [22]
  • Λύσεις της μη γραμμικής διαφορικής εξίσωσης Τραχένκο-Ζακόνε για την τεντωμένη εκθετική συνάρτηση στη χαλάρωση των άμορφων στερεών και τη υαλώδη μετάβαση[23][24].

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

[Επεξεργασία | επεξεργασία κώδικα]
  1. Weisstein, Eric W. «Risch Algorithm». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 18 Μαρτίου 2025. 
  2. Abramowitz and Stegun, p. 228
  3. Abramowitz and Stegun, p. 228, 5.1.1
  4. Abramowitz and Stegun, p. 228, 5.1.4 with n = 1
  5. Abramowitz and Stegun, p. 228, 5.1.7
  6. Abramowitz and Stegun, p. 229, 5.1.11
  7. Andrews and Berndt, p. 130, 24.16
  8. Bleistein and Handelsman, p. 2
  9. Bleistein and Handelsman, p. 3
  10. O’Malley, Robert E. (2014), O'Malley, Robert E., επιμ., Asymptotic Approximations, Cham: Springer International Publishing, σελ. 27–51, doi:10.1007/978-3-319-11924-3_2, ISBN 978-3-319-11924-3, https://doi.org/10.1007/978-3-319-11924-3_2, ανακτήθηκε στις 2023-05-04 
  11. Abramowitz and Stegun, p. 229, 5.1.20
  12. Abramowitz and Stegun, p. 228, see footnote 3.
  13. Abramowitz and Stegun, p. 230, 5.1.45
  14. After Misra (1940), p. 178
  15. Milgram (1985)
  16. Abramowitz and Stegun, p. 230, 5.1.26
  17. Abramowitz and Stegun, p. 229, 5.1.24
  18. 18,0 18,1 Giao, Pham Huy (2003-05-01). «Revisit of Well Function Approximation and An Easy Graphical Curve Matching Technique for Theis' Solution». Ground Water 41 (3): 387–390. doi:10.1111/j.1745-6584.2003.tb02608.x. ISSN 1745-6584. PMID 12772832. Bibcode2003GrWat..41..387G. 
  19. 19,0 19,1 Tseng, Peng-Hsiang; Lee, Tien-Chang (1998-02-26). «Numerical evaluation of exponential integral: Theis well function approximation». Journal of Hydrology 205 (1–2): 38–51. doi:10.1016/S0022-1694(97)00134-0. Bibcode1998JHyd..205...38T. 
  20. Barry, D. A; Parlange, J. -Y; Li, L (2000-01-31). «Approximation for the exponential integral (Theis well function)». Journal of Hydrology 227 (1–4): 287–291. doi:10.1016/S0022-1694(99)00184-5. Bibcode2000JHyd..227..287B. 
  21. «Inverse function of the Exponential Integral Ei-1(x)». Mathematics Stack Exchange. Ανακτήθηκε στις 24 Απριλίου 2024. 
  22. George I. Bell· Samuel Glasstone (1970). Nuclear Reactor Theory. Van Nostrand Reinhold Company. 
  23. Trachenko, K.; Zaccone, A. (2021-06-14). «Slow stretched-exponential and fast compressed-exponential relaxation from local event dynamics» (στα αγγλικά). Journal of Physics: Condensed Matter 33: 315101. doi:10.1088/1361-648X/ac04cd. ISSN 0953-8984. https://iopscience.iop.org/article/10.1088/1361-648X/ac04cd. 
  24. Ginzburg, V. V.; Gendelman, O. V.; Zaccone, A. (2024-02-23). «Unifying Physical Framework for Stretched-Exponential, Compressed-Exponential, and Logarithmic Relaxation Phenomena in Glassy Polymers» (στα αγγλικά). Macromolecules 57 (5): 2520–2529. doi:10.1021/acs.macromol.3c02480. ISSN 0024-9297. https://pubs.acs.org/doi/full/10.1021/acs.macromol.3c02480.