Συνάρτηση Μπέσελ

Η συνάρτηση Μπέσελ (αγγλικά: Bessel equation), που αρχικά ορίστηκε από τον μαθηματικό Ντάνιελ Μπερνούλι και γενικεύθηκε αργότερα από τον Φρίντριχ Βίλχελμ Μπέσελ, δίνει τις κανονικές λύσεις y(x) της διαφορικής εξίσωσης του Μπέσσελ,

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} + (x^2 - \alpha^2)y = 0}

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

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

Εφαρμογές των συναρτήσεων Μπέσελ

Η συνάρτηση του Μπέσελ προκύπτει όταν βρίσκουμε ξεχωριστές λύσεις στην Εξίσωση Λαπλάς και στην Εξίσωση Χέλμχολτς σε κυλινδρικές και σφαιρικές συντεταγμένες. Οι συναρτήσεις Μπέσελ είναι ως εκ τούτου ιδιαίτερα σημαντικές για πολλά προβλήματα της διάδοσης των κυμάτων και των στατικών δυναμικών. Μέσα από την επίλυση προβλημάτων σε κυλινδρικές συντεταγμένες, προκύπτουν οι συναρτήσεις Μπέσελ ακέραιας τάξης (α = n), ενώ σε σφαιρικές συντεταγμένες προκύπτουν ημιακέραιας τάξης (α = n+1/2). Για παράδειγμα:

• Τα Ηλεκτρομαγνητικά κύματα μέσω ενός κυλινδρικού κυματοδηγού
• Το πλάτος πίεσης σε περιστρεφόμενα ρευστά χωρίς ιξώδες
• Η θερμική αγωγιμότητα σε ένα κυλινδρικό αντικείμενο
• Τρόποι δόνησης λεπτής κυκλικής (ή δακτυλοειδούς) ακουστικής μεμβράνης (όπως ένα τύμπανο ή άλλα μεμβρανόφωνα)
• Το πρόβλημα διάχυσης πάνω σε ένα πλέγμα.
• Λύσεις στην ακτινική εξίσωση Σρέντιγκερ (σε σφαιρικές και κυλινδρικές συντεταγμένες) για ένα ελεύθερο σωματίδιο
• Λύσεις για μοτίβα της ακουστικής ακτινοβολίας
• Εξαρτώμενη από τη συχνότητα τριβή σε κυκλικούς αγωγούς
• Δυναμική αιωρούμενων σωμάτων
• Γωνιακή ανάλύση

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

Ορισμοί

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

Τύπος	Πρώτου τύπου	Δεύτερου τύπου
Συναρτήσεις Μπέσελ	Jα	Yα
τροποποιημένες συναρτήσεις Μπέσελ	Iα	Kα
συναρτήσεις Χάνκελ	Hα(1) = Jα + iYα	Hα(2) = Jα - iYα
Σφαιρικές συναρτήσειςl Μπέσελ	jn	yn
Σφαιρικές συναρτήσεις Χάνκελ	hn(1) = jn + iyn	hn(2) = jn - iyn

Συναρτήσεις Μπέσελ πρώτου τύπου: J_α

Οι συναρτήσεις Μπέσελ πρώτου τύπου, που συμβολίζονται J_α(x), είναι λύσεις της διαφορικής εξίσωσης του Μπέσελ που είναι πεπερασμένες στην αρχή των αξόνων (x = 0), για α ακέραιο ή θετικό, και αποκλίνουν καθώς το x τείνει στο μηδέν, για α αρνητικό μη ακέραιο. Είναι δυνατό να ορίσουμε τη συνάρτηση από την επέκταση της σειράς της γύρω από το x = 0, η οποία μπορεί να βρεθεί εφαρμόζοντας τη μέθοδο Frobenius στην ισότητα Μπέσελ:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_\alpha(x) = \sum_{m=0}^\infty \frac{(-1)^m}{m! \, \Gamma(m+\alpha+1)} {\left(\frac{x}{2}\right)}^{2m+\alpha} }

όπου Γ(z) είναι η συνάρτηση Γάμμα, μια μετατοπισμένη γενίκευση της παραγοντικής συνάρτησης σε μη ακέραιες τιμές. Η συνάρτηση Μπέσελ πρώτου τύπου είναι ακέραια συνάρτηση αν α είναι ακέραιος, ενώ σε άλλη περίπτωση είναι πολλαπλή συνάρτηση με ανώμαλο σημείο το μηδέν. Οι γραφικές απεικονίσεις των συναρτήσεων του Μπέσελ μοιάζουν περίπου με ταλαντούμενες συναρτήσεις ημιτόνου ή συνημιτόνου που αποσβήνουν αναλογικά στο 1/√x (βλέπε επίσης τις ασυμπτωτικές μορφές τους παρακάτω), μολονότι οι ρίζες τους δεν είναι γενικά περιοδικές, παρά μόνο ασυμτωτικά για μεγάλα x. (Η σειρά δείχνει ότι η −J₁(x) είναι η παράγωγος της J₀(x), όπως η −sin(x) είναι η παράγωγος της cos(x). Γενικότερα, η παράγωγος της J_n(x) μπορεί να εκφραστεί συναρτήσει της J_n±1(x) με τα παρακάτω χαρακτηριστικά.)

Γραφική παράσταση της συνάρτησης Μπέσελ πρώτου τύπου, J_α(x), για ακέραιες τάξεις α = 0, 1, 2

Για α μη ακέραιο, οι συναρτήσεις J_α(x) και J_−α(x) είναι γραμμικά ανεξάρτητες, και υπάρχουν επομένως δύο λύσεις της διαφορικής εξίσωσης. Από την άλλη, για α ακέραιο, ισχύει η παρακάτω σχέση (να σημειωθεί ότι η συνάρτηση Γάμμα έχει απλούς πόλους σε κάθε έναν από τους μη θετικούς ακεραίους):

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_{-n}(x) = (-1)^n J_{n}(x).\,}

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

Ολοκληρώματα του Μπέσελ

Ένας άλλος ορισμός της συνάρτησης του Μπέσελ, για ακέραιες τιμές του n, είναι δυνατός με χρήση μιας ολοκληρωτικής αναπαράστασης :

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_n(x) = \frac{1}{\pi} \int_0^\pi \cos (n \tau - x \sin(\tau)) \,d\tau.}

Μια άλλη ολοκληρωτική αναπαράσταση είναι:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_n (x) = \frac{1}{2 \pi} \int_{-\pi}^\pi e^{i(n \tau - x \sin(\tau))} \,d\tau.}

Αυτή ήταν η προσέγγιση που χρησιμοποίησε ο Μπέσελ, και από αυτόν τον ορισμό άντλησε αρκετές ιδιότητες της συνάρτησης. Ο ορισμός μπορεί να επεκταθεί και σε μη ακέραιες τάξεις (για Re(x) > 0), μέσω ένός από τα ολοκληρώματα του Schläfli:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_\alpha(x) = \frac{1}{\pi} \int_0^\pi \cos(\alpha\tau- x \sin\tau)\,d\tau - \frac{\sin(\alpha\pi)}{\pi} \int_0^\infty e^{-x \sinh(t) - \alpha t} \, dt. }

Σχέση με τις υπέργεωμετρικες σειρές

Οι συναρτήσεις Μπέσελ μπορούν να εκφραστούν μέσω των γενικευμένων υπεργεωμετρικών σειρών ως

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_\alpha(x)=\frac{(\frac{x}{2})^\alpha}{\Gamma(\alpha+1)} \;_0F_1 (\alpha+1; -\tfrac{x^2}{4}).}

Αυτή η έκφραση σχετίζεται με το ανάπτυγμα των συναρτήσεων Μπέσελ μέσω της συνάρτησης Bessel–Clifford..

Συσχέτιση με τα πολυώνυμα Λαγκέρ

Όσον αφορά τα πολυώνυμα Λαγκέρ L_k και επιλέγοντας αυθαίρετα παράμετρο t, η συνάρτηση Μπέσελ μπορεί να εκφραστεί ως εξής

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \frac{J_\alpha(x)}{\left( \frac{x}{2}\right)^\alpha}= \frac{e^{-t}}{\Gamma(\alpha+1)} \sum_{k=0}^\infty \frac{L_k^{(\alpha)}\left( \frac{x^2}{4 t}\right)}{{k+ \alpha \choose k}} \frac{t^k}{k!}.}

Συναρτήσεις Μπέσελ δεύτερου είδους: Y_α

Οι συναρτήσεις Μπέσελ δευτέρου είδους, συμβολίζονται με Y_α(x), ενίοτε συμβολίζονται αντί αυτού με N_α(x), είναι λύσεις της Μπέσελ διαφορικής εξίσωσης οι οποίες είναι μοναδικές ως προς την αρχή (x = 0) και είναι πολλαπλές συναρτήσεις. Αυτές κάποιες φορές ονομάζονται συναρτήσεις Βέμπερ καθώς εισήχθησαν από τον H. Weber (1873), και επίσης συναρτήσεις Νόημαν μετά τον Καρλ Νόημαν.

Γραφική παράσταση της συνάρτησης Μπέσελ δευτέρου είδους, Y_α(x), για τους ακέραιους α = 0, 1, 2.

Για μη ακέραιο α,η Y_α(x) συνδέεται με την J_α(x) με:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle Y_\alpha(x) = \frac{J_\alpha(x) \cos(\alpha\pi) - J_{-\alpha}(x)}{\sin(\alpha\pi)}.}

Στην περίπτωση ακεραίου n, η συνάρτηση ορίζεται παίρνοντας το όριο για τον μη ακέραιο α να τείνει στο n:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle Y_n(x) = \lim_{\alpha \to n} Y_\alpha(x).}

Υπάρχει επίσης ένας αντίστοιχος ολοκληρωτικός τύπος (για Re(x) > 0),

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle Y_n(x) =\frac{1}{\pi} \int_0^\pi \sin(x \sin\theta - n\theta) \, d\theta - \frac{1}{\pi} \int_0^\infty \left[ e^{n t} + (-1)^n e^{-n t} \right] e^{-x \sinh t} \, dt. }

Η Y_α(x) είναι αναγκαία ως η δεύτερη γραμμικά ανεξάρτητη λύση της εξίσωσης Μπέσελ όταν ο α είναι ακέραιος. Όμως η Y_α(x) έχει μεγαλύτερο νόημα από αυτό. Μπορεί να θεωρηθεί ως ένας 'φυσικός' εταίρος της J_α(x). Δείτε επίσης την υποπαράγραφο για τις συναρτήσεις Χάνκελ παρακάτω.

Όταν ο α είναι ακέραιος , επιπλέον, καθώς ήταν παρόμοια η περίπτωση με τις συναρτήσεις πρώτου είδους , ισχύει η ακόλουθη σχέση  :

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle Y_{-n}(x) = (-1)^n Y_n(x).\,}

Η J_α(x) καθώς και η Y_α(x) είναι ολόμορφες συναρτήσεις του x στο μιγαδικό επίπεδο κατά μήκος του αρνητικού φανταστικού άξονα. Όταν ο α είναι ακέραιος, οι συναρτήσεις Μπέσελ J είναι εξ΄ολοκλήρου συναρτήσεις του x. Αν ο x παίρνει σταθερή μη μηδενική τιμή, τότε οι συναρτήσεις Μπέσσελ είναι εξ' ολοκλήρου συναρτήσεις του α.

Οι συναρτήσεις Μπέσελ δευτέρου είδους όταν ο α είναι ακέραιος είναι ένα παράδειγμα της λύσης του θεώρημα του Fuchs.

Συναρτήσεις Χάνκελ: H_α⁽¹⁾, H_α⁽²⁾

Άλλες σημαντικές εφαρμογές των δύο γραμμικά ανεξάρτητων λύσεων της εξίσωσης του Μπέσελ είναι οι συναρτήσεις Χάνκελ πρώτου και δεύτερου τύπου, H_α⁽¹⁾(x) και H_α⁽²⁾(x), προσδιορίσθηκαν από:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(1)}(x) = J_\alpha(x)+iY_\alpha(x)}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(2)}(x) = J_\alpha(x)-iY_\alpha(x)}

όπου i είναι το φανταστικό μέρος. Αυτοί οι γραμμικοί συνδυασμοί είναι επίσης γνωστοί ως συναρτήσεις Bessel τρίτου τύπου; αυτές είναι δύο γραμμικά ανεξάρτητες λύσεις της διαφορικής εξίσωσης του Μπέσσελl. Πήραν το όνομα του Χέρμαν Χάνκελ.

Η σημαντικότητα των συναρτήσεων του Χάνκελ πρώτου και δεύτερου τύπου εξαπλώνεται κυρίως στην θεωρητική ανάπτυξη παρά την εφαρμογή. Αυτές οι μορφές των γραμμικών συνδυασμών ικανοποιούν πολυάριθμες απλές αναζητήσεις υπάρχοντών θεμάτων, όπως ο ασυμπτωτικός τύπος ή οι ακέραιες αναπαραστάσεις. Εδώ, 'απλές' σημαίνει μια εμφάνιση από έναν παράγοντα της μορφής e^if(x). Η συνάρτηση Μπέσελ δεύτερου τύπου όταν μπορεί να θεωρηθεί ως φυσιολογική εμφανίζεται ως το φανταστικό μέρος των συναρτήσεων Χάνκελ.

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

Χρησιμοποιώντας τις προηγούμενες σχέσεις μπορούν να εκφραστούν ως:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(1)} (x) = \frac{J_{-\alpha} (x) - e^{-\alpha \pi i} J_\alpha (x)}{i \sin (\alpha \pi)}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(2)} (x) = \frac{J_{-\alpha} (x) - e^{\alpha \pi i} J_\alpha (x)}{- i \sin (\alpha \pi)}.}

Εάν α είναι ένας ακέραιος, το όριο πρέπει να υπολογιστεί. Οι παρακάτω σχέσεις είναι ισοδύναμες, αν α είναι ένας ακέραιος ή όχι:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_{-\alpha}^{(1)} (x)= e^{\alpha \pi i} H_\alpha^{(1)} (x) }

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_{-\alpha}^{(2)} (x)= e^{-\alpha \pi i} H_\alpha^{(2)} (x). }

Ειδικότερα, αν α = m + 1/2 με m έναν μη αρνητικό ακέραιο, οι παρακάτω σχέσεις υπονοούν άμεσα ότι

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_{-(m+\frac{1}{2})}(x) = (-1)^{m+1} Y_{m+\frac{1}{2}}(x) }

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle Y_{-(m+\frac{1}{2})}(x) = (-1)^m J_{m+\frac{1}{2}}(x). }

Αυτές είναι χρήσιμες στην ανάπτυξη των σφαιρικών συναρτήσεων Μπέσσελ (παρακάτω).

Οι συναρτήσεις Χάνκελ αναγνωρίζουν τις παρακάτω ακέραιες αναπαραστάσεις για Re(x) > 0:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(1)} (x)= \frac{1}{\pi i}\int_{-\infty}^{+\infty+i\pi} e^{x\sinh t - \alpha t} \, dt, }

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(2)} (x)= -\frac{1}{\pi i}\int_{-\infty}^{+\infty-i\pi} e^{x\sinh t - \alpha t} \, dt, }

όπου τα ολοκληρωτικά όρια προσδιορίζουν την ολοκλήρωση κατά μήκος του a περίγραμμα οι οποίες μπορούν να επιλεγούν ως ακολούθως: από το −∞ ως 0 κατά μήκος του αρνητικού πραγματικού άξονα, από το 0 ως το ±iπ κατά μήκος του φανταστικού άξονα, και από το ±iπ στο +∞±iπ κατά μήκος του περιγράμματος a παράλληλο στον πραγματικό άξονα.

Τροποποιημένες συναρτήσεις Μπέσελ: I_α, K_α

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

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle I_\alpha(x) = i^{-\alpha} J_\alpha(ix) =\sum_{m=0}^\infty \frac{1}{m!\, \Gamma(m+\alpha+1)}\left(\frac{x}{2}\right)^{2m+\alpha}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle K_\alpha(x) = \frac{\pi}{2} \frac{I_{-\alpha} (x) - I_\alpha (x)}{\sin (\alpha \pi)},}

όταν α δεν είναι ακέραιος. Όταν α είναι ακέραιος, τότε χρησιμοποιείται το όριο. Αυτές έχουν έπιλεχθεί να είναι συναρτήσεις με πραγματικές τιμές, για πραγματικά και θετικά ορίσματα x. Συνεπώς, η επέκταση της σειράς για I_α(x) είναι σχεδόν όμοια με αυτήν για J_α(x), αλλά χωρίς τον εναλλασσόμενο παράγοντα (−1)^m .

Αν −π < arg(x) ≤ π/2, η K_α(x) μπορεί να εκφραστεί ως μια συνάρτηση Χάνκελ πρώτου τύπου:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle K_\alpha(x) = \frac{\pi}{2} i^{\alpha+1} H_\alpha^{(1)}(ix),}

και αν π/2 < arg(x) ≤ π, μπορεί να εκφραστεί σαν συνάρτηση Χάνκελ δεύτερου τύπου:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle K_\alpha(x) = \frac{\pi}{2} (-i)^{\alpha+1} H_\alpha^{(2)}(-ix).}

Μπορούμε να εκφράσουμε την πρώτη και δεύτερη συνάρτηση Μπέσελ σε σχέση με τις τροποποιημένες συναρτήσεις Μπέσελ (αυτές ισχύουν αν −π < arg(z) ≤ π/2):

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align} J_\alpha(iz) &=e^{\frac{\alpha i\pi}{2}} I_\alpha(z)\\ Y_\alpha(iz) &=e^{\frac{(\alpha+1)i\pi}{2}}I_\alpha(z)-\frac{2}{\pi}e^{-\frac{\alpha i\pi}{2}}K_\alpha(z). \end{align}}

Οι I_α(x) και K_α(x) είναι δυο γραμμικά ανεξάρτητες λύσεις στην τροποποιημένη εξίσωση Μπέσελ:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} - (x^2 + \alpha^2)y = 0.}

Σε αντίθεση με τις κοινές συναρτήσεις Μπέσελ, οι οποίες ταλαντώνονται ως συναρτήσεις πραγματικού ορίσματος οι, I_α και K_α είναι εκθετικά αυξανόμενες και ελαττούμενες συναρτήσεις, αντίστοιχα. Όμοια με την κοινή συνάρτηση Μπέσελ J_α, η συνάρτηση I_α τείνει στο μηδέν στο x = 0 για α > 0 και είναι πεπερασμένη στο x = 0 για α = 0. Ανάλογα, η K_α αποκλίνει στο x = 0,με την ιδιαιτερότητα να είναι λογαριθμικού τύπου.

Τροποποιημένες συναρτήσεις Μπέσελ πρώτου τύπου, Iα(x), για α = 0, 1, 2, 3

Τροποποιημένες συναρτήσεις Μπέσελ δεύτερου τύπου, Kα(x), για α = 0, 1, 2, 3

Δύο ολοκληρωτικοί τύποι για τις τροποποιημένες συναρτήσεις Μπέσελ είναι (για Re(x) > 0):

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle I_\alpha(x) = \frac{1}{\pi}\int_0^\pi \exp(x\cos(\theta)) \cos(\alpha\theta) \,d\theta - \frac{\sin(\alpha\pi)}{\pi}\int_0^\infty \exp(-x\cosh t - \alpha t) \,dt ,}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle K_\alpha(x) = \int_0^\infty \exp(-x\cosh t) \cosh(\alpha t) \,dt.}

Οι τροποποιημένες συναρτήσεις Μπέσελ K_1/3 and K_2/3 μπορούν να αναπαρασταθούν σε σχέση με ολοκληρώματα που συγκλίνουν γρήγορα

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align} K_{\frac{1}{3}} (\xi) &= \sqrt{3}\, \int_0^\infty \, \exp \left[- \xi \left(1+\frac{4x^2}{3}\right) \sqrt{1+\frac{x^2}{3}} \,\right] \,dx \\ K_{\frac{2}{3}} (\xi) &= \frac{1}{ \sqrt{3}} \, \int_0^\infty \, \frac{3+2x^2}{\sqrt{1+\frac{x^2}{3}}} \exp \left[- \xi \left(1+\frac{4x^2}{3}\right) \sqrt{1+\frac{x^2}{3}} \,\right] \,dx.\end{align}}

Οι τροποποιημένες συναρτήσεις Μπέσελ δεύτερου τύπουέχουν επίσης ονομασθεί με τα μέχρι τώρα σπάνια ονόματα:

• Συνάρτηση Basset από τον Alfred Barnard Basset
• Τροποποιημένη συνάρτηση Μπέσελ τρίτου τύπου
• Τροποποιημένη συνάρτηση Χάνκελ
• Συνάρτηση ΜακΝτόναλντ από τον Hector Munro Macdonald
• Συνάρτηση Βέμπερ
• Συνάρτηση Νόημαν

Σφαιρικές συναρτήσεις Μπέσελ: j_n, y_n

Σφαιρικές συναρτήσεις Μπέσελ 1ου είδους, j_n(x), για n = 0, 1, 2

Σφαιρικές συναρτήσεις Μπέσελ 2ου είδους, y_n(x), για n = 0, 1, 2

Λύνοντας την εξίσωση του Helmholtz σε σφαιρικές συντεταγμένες by separation of variables, η ακτινική εξίσωση έχει τη μορφή:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle x^2 \frac{d^2 y}{dx^2} + 2x \frac{dy}{dx} + [x^2 - n(n+1)]y = 0.}

Οι δύο γραμμικά ανεξάρτητες λύσεις αυτής της εξίσωσης ονομάζονται σφαιρικές συναρτήσεις Μπέσελ j_n και y_n, και σχετίζονται με τις συνήθεις συναρτήσεις Μπέσελ J_n και Y_n με:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_{n}(x) = \sqrt{\frac{\pi}{2x}} J_{n+\frac{1}{2}}(x),}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle y_{n}(x) = \sqrt{\frac{\pi}{2x}} Y_{n+\frac{1}{2}}(x) = (-1)^{n+1} \sqrt{\frac{\pi}{2x}} J_{-n-\frac{1}{2}}(x).}

Η y_n συμβολίζεται επίσης n_n ή η_n; κάποιοι συγγραφείς ονομάζουν αυτές τις συναρτήσεις σφαιρικές συναρτήσεις Νόημαν.

Οι σφαιρικές συναρτήσεις Μπέσελ μπορούν επίσης να γραφτούν ως (τύποι του Rayleigh):

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_n(x) = (-x)^n \left(\frac{1}{x}\frac{d}{dx}\right)^n\,\frac{\sin(x)}{x} ,}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle y_n(x) = -(-x)^n \left(\frac{1}{x}\frac{d}{dx}\right)^n\,\frac{\cos(x)}{x}.}

Η πρώτη σφαιρική συνάρτηση Μπέσελ j₀(x) είναι επίσης γνωστή ως (κανονικοποιημένη) ημιτονοειδής συνάρτηση. Μερικές από τις πρώτες συναρτήσεις Μπέσελ είναι οι:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_0(x)=\frac{\sin(x)} {x}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_1(x)=\frac{\sin(x)} {x^2}- \frac{\cos(x)} {x}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_2(x)=\left(\frac{3} {x^2} - 1 \right)\frac{\sin(x)}{x} - \frac{3\cos(x)} {x^2}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_3(x)=\left(\frac{15}{x^3} - \frac{6}{x} \right)\frac{\sin(x)}{x} -\left(\frac{15}{x^2} - 1\right) \frac{\cos(x)} {x},}

και

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle y_0(x)=-j_{-1}(x)=-\,\frac{\cos(x)} {x}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle y_1(x)=j_{-2}(x)=-\,\frac{\cos(x)} {x^2}- \frac{\sin(x)} {x}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle y_2(x)=-j_{-3}(x)=\left(-\,\frac{3}{x^2}+1 \right)\frac{\cos(x)}{x}- \frac{3\sin(x)} {x^2}}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle y_{3}\left( x\right)=j_{-4}(x) =\left( -\frac{15}{x^{3}}+\frac{6}{x}\right) \frac{\cos(x)}{x}-\left( \frac{15}{x^{2}}-1\right) \frac{\sin(x)}{x}.}

Παράγουσα συνάρτηση

Οι σφαιρικές συναρτήσεις Μπέσελ έχουν παράγουσες συναρτήσεις τις

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \frac 1 {z} \cos \left (\sqrt{z^2 - 2zt} \right )= \sum_{n=0}^\infty \frac{t^n}{n!} j_{n-1}(z), }

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \frac 1 {z} \sin \left ( \sqrt{z^2 + 2zt} \right )= \sum_{n=0}^\infty \frac{(-t)^n}{n!} y_{n-1}(z) .}

Διαφορικές σχέσεις

Στο ακόλουθο f_n είναι κάποια από τις Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_n, y_n, h_n^{(1)}, h_n^{(2)}} για Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle n=0,\pm 1,\pm 2,\dots}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \left(\frac{1}{z}\frac{d}{dz}\right)^m\left(z^{n+1}f_n(z)\right)=z^{n-m+1}f_{n-m}(z),}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \left(\frac{1}{z}\frac{d}{dz}\right)^m\left(z^{-n}f_n(z)\right)=(-1)^m z^{-n-m}f_{n+m}(z).}

Σφαιρικές συναρτήσεις Χάνκελ: h_n⁽¹⁾, h_n⁽²⁾

Υπάρχουν επίσης σφαιρικές αναλογίες των συναρτήσεων Χάνκελ:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle h_n^{(1)}(x) = j_n(x) + i y_n(x) \, }

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle h_n^{(2)}(x) = j_n(x) - i y_n(x). \, }

Πράγματι, υπάρχουν απλές κοντινής μορφής εκφράσεις για τις συναρτήσεις Μπέσελ ημιακέραιας τάξης σε σχέση με τις καθιερωμένες τριγωνομετρικές συναρτήσεις, και ως εκ τούτου για τις σφαιρικές συναρτήσεις Μπέσελ. Συγκεκριμένα, για μη αρνητικούς ακέραιους n:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle h_n^{(1)}(x) = (-i)^{n+1} \frac{e^{ix}}{x} \sum_{m=0}^n \frac{i^m}{m!(2x)^m} \frac{(n+m)!}{(n-m)!}}

και Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle h_n^{(2)}} είναι ο συζυγής μιγαδικός αυτού (για πραγματικό x). Έπεται, για παράδειγμα, ότι Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle j_0(x) = \sin(x)/x} και Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle y_0(x) = -\cos(x)/x} , κ.ο.κ.

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

Συναρτήσεις Riccati–Bessel: S_n, C_n, ξ_n, ζ_n

Οι συναρτήσεις Riccati Μπέσελ διαφέρουν ελάχιστα από τις σφαιρικές συναρτήσεις Μπέσελ:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle S_n(x)=x j_n(x)=\sqrt{\frac{\pi x}{2}} \, J_{n+\frac{1}{2}}(x)}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle C_n(x)=-x y_n(x)=-\sqrt{\frac{\pi x}{2}} \, Y_{n+\frac{1}{2}}(x)}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \xi_n(x) = x h_n^{(1)}(x)=\sqrt{\frac{\pi x}{2}} \, H_{n+\frac{1}{2}}^{(1)}(x)=S_n(x)-iC_n(x)}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \zeta_n(x)=x h_n^{(2)}(x)=\sqrt{\frac{\pi x}{2}} \, H_{n+\frac{1}{2}}^{(2)}(x)=S_n(x)+iC_n(x).}

Αυτές ικανοποιούν την διαφορική εξίσωση:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle x^2 \frac{d^2 y}{dx^2} + [x^2 - n (n+1)] y = 0.}

Αυτή η διαφορική εξίσωση , και οι λύσεις Riccati–Bessel , εμφανίσθηκαν μέσα στο πρόβλημα του χωρίσματος των ηλεκτρομαγνητικών κυμάτων από μια σφαίρα, γνωστά ως χώρισμα Mie όπου η πρώτη δημοσίευση της λύσης έγινε από τον Mie (1908). Βλέπε π.χ., Du (2004) για πρόσφατες εφαρμογές κι αναφορές.

Παρακάτω Debye (1909), ο συμβολισμός Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \psi_n,\chi_n} χρησιμοποιείται μερικές φορές αντί του Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle S_n,C_n} .

Ασυμπτωτικές μορφές

Οι συναρτήσεις Μπέσελ έχουν τις παρακάτω ασυμπτωτικές μορφές. Για μικρά ορίσματα Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle 0 < z \ll \sqrt{\alpha + 1}} , όταν α είναι μη αρνητικός ακέραιος, παίρνει κανείς :

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_\alpha(z) \sim \frac{1}{\Gamma(\alpha+1)} \left( \frac{z}{2} \right) ^\alpha }

Όταν α είναι αρνητικός ακέραιος, έχουμε:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_\alpha(z) \sim \frac{(-1)^{\alpha}}{(-\alpha)!} \left( \frac{2}{z} \right) ^\alpha }

Για τις Μπέσελ συναρτήσεις δεύτερου τύπου έχουμε τρεις περιπτώσεις:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle Y_\alpha(z) \sim \begin{cases} \frac{2}{\pi} \left ( \ln \left (\frac{z}{2} \right ) + \gamma \right ) & \text{if } \alpha=0 \\ \\ -\frac{\Gamma(\alpha)}{\pi} \left( \frac{2}{z} \right) ^\alpha+\frac{1}{\Gamma(\alpha+1)} \left( \frac{z}{2} \right) ^\alpha \cot(\alpha \pi) & \text{if } \alpha\text{ is not a non-positive integer (one term dominates unless }\alpha\text{ is imaginary)}\\ \\ -\frac{(-1)^\alpha\Gamma(-\alpha)}{\pi} \left( \frac{z}{2} \right) ^\alpha & \text{if } \alpha\text{ is a negative integer} \end{cases} }

όπου γ είναι η σταθερά Euler–Mascheroni (0.5772...).

Για μεγάλα πραγματικά ορίσματα , Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle x \gg \left |\alpha^2 - \tfrac{1}{4} \right |} , δεν μπορεί κανείς να γράψει μια πραγματική ασυμπτωτική μορφή για τις συναρτήσεις Μπέσελ πρώτου και δεύτερου τύπου (εκτός και αν α είναι ημιακέραιος) επειδή μέχρι να πανε στο απειρο έχουν μηδενικά, τα οποία θα έπρεπε να αντιστοιχηθούν επακριβώς σε οποιοδήποτε ασυμπτωτικό ανάπτυγμα. Παρ'όλα αυτά, για δοσμένη τιμή του arg(z) μπορεί κανείς να γράψει μια ισότητα που να περιέχει έναν όρο της τάξης |z|⁻¹:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align} J_\alpha(z) &= \sqrt{\frac{2}{\pi z}}\left(\cos \left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)+e^{|\operatorname{Im}(z)|}O(|z|^{-1})\right) && \text{ for } |\arg z|< \pi \\ Y_\alpha(z) &= \sqrt{\frac{2}{\pi z}}\left(\sin \left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)+e^{|\operatorname{Im}(z)|}O(|z|^{-1})\right) && \text{ for } |\arg z|< \pi. \end{align}}

(Για α = 1/2 οι τελευταίοι όροι σε αυτούς τους τύπους εξαφανίζονται εντελώς. Βλέπε τις σφαιρικές συναρτήσεις Μπέσελ παραπάνω.) Αν και αυτές οι ισότητες είναι αληθείς, καλύτερες προσεγγίσεις ίσως είναι διαθέσιμες για μιγαδικό z. Για παράδειγμα, η J₀(z) όταν ο z είναι κοντά στην αρνητική πραγματική γραμμή, προσεγγίζεται καλύτερα από τον τύπο

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_0(z)\approx\sqrt{\frac{-2}{\pi z}}\cos \left(z+\frac{\pi}{4}\right)}

παρά από τον τύπο

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_0(z)\approx\sqrt{\frac{2}{\pi z}}\cos \left(z-\frac{\pi}{4}\right).}

Οι ασυμπτωτικές μορφές των συναρτήσεων Χάνκελ είναι:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align} H_\alpha^{(1)}(z) &\sim \sqrt{\frac{2}{\pi z}}\exp\left(i\left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)\right) &&\text{ for } -\pi<\arg z<2\pi \\ H_\alpha^{(2)}(z) &\sim \sqrt{\frac{2}{\pi z}}\exp\left(-i\left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)\right) && \text{ for } -2\pi<\arg z<\pi \end{align}}

Αυτές μπορούν να επεκταθούν σε άλλες τιμές του arg(z) χρησιμοποιώντας εξισώσεις που σχετίζουν τις Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(1)}(ze^{im\pi})} και Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle H_\alpha^{(2)}(ze^{im\pi})} με τις H_α⁽¹⁾(z) και H_α⁽²⁾(z). Παρουσιάζει ενδιαφέρον το γεγονός ότι αν και η συνάρτηση Μπέσελ πρώτου τύπου είναι ο μέσος όρος των δύο συναρτήσεων Χάνκελ , η J_α(z) δεν είναι ασυμπτωτική στο μέσο όρο των δύο αυτών ασυμπτωτικών μορφών όταν z αρνητικός (επειδή μια από τις δύο δε θα είναι σωστή εκεί, ανάλογα με το arg(z) που χρησιμοποιείται). Αλλά οι ασυμπτωτικές μορφές για τις συναρτήσεις Χάνκελ μας επιτρέπουν να γράψουμε ασυμπτωτικές μορφές για τις συναρτήσεις Μπέσελ πρώτου και δεύτερου είδους για μιγαδικό (μη-πραγματικό) z υπό την προϋπόθεση ότι το |z| πάει στο άπειρο σε μία σταθερής φάσης γωνία arg z (χρησιμοποιώντας την τετραγωνική ρίζα, έχοντας θετικό πραγματικό μέρος):

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align} J_\alpha(z) &\sim \frac{1}{\sqrt{2\pi z}} \exp\left( i\left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)\right) && \text{ for } -\pi < \arg z < 0 \\ J_\alpha(z) &\sim \frac{1}{\sqrt{2\pi z}} \exp\left(-i\left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)\right) && \text{ for } 0 < \arg z < \pi \\ Y_\alpha(z) &\sim -i\frac{1}{\sqrt{2\pi z}} \exp\left( i\left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)\right) && \text{ for } -\pi < \arg z < 0 \\ Y_\alpha(z) &\sim -i\frac{1}{\sqrt{2\pi z}} \exp\left(-i\left(z-\frac{\alpha\pi}{2}-\frac{\pi}{4}\right)\right) && \text{ for } 0 < \arg z < \pi \end{align}}

Για τις τροποποιημένες Μπέσελ συναρτήσεις, ο Χάνκελ ανέπτυξε επίσης ασυμπτωτικά αναπτύγματα:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle I_\alpha(z) \sim \frac{e^z}{\sqrt{2\pi z}} \left(1 - \frac{4 \alpha^{2} - 1}{8 z} + \frac{(4 \alpha^{2} - 1) (4 \alpha^{2} - 9)}{2! (8 z)^{2}} - \frac{(4 \alpha^{2} - 1) (4 \alpha^{2} - 9) (4 \alpha^{2} - 25)}{3! (8 z)^{3}} + \cdots \right)\text{ for }|\arg z|<\tfrac{\pi}{2},}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle K_\alpha(z) \sim \sqrt{\frac{\pi}{2z}} e^{-z} \left(1 + \frac{4 \alpha^{2} - 1}{8 z} + \frac{(4 \alpha^{2} - 1) (4 \alpha^{2} - 9)}{2! (8 z)^{2}} + \frac{(4 \alpha^{2} - 1) (4 \alpha^{2} - 9) (4 \alpha^{2} - 25)}{3! (8 z)^{3}} + \cdots \right)\text{ for }|\arg z|<\tfrac{3\pi}{2}.}

Όταν α = 1/2 όλοι οι όροι εκτός από τον πρώτο εξαφανίζονται και έχουμε

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align} I_{\frac{1}{2}}(z) &= \sqrt{\frac{2}{\pi z}}\sinh(z) \sim \frac{e^z}{\sqrt{2\pi z}} && \text{ for }|\arg z|<\tfrac{\pi}{2}, \\ K_{\frac{1}{2}}(z) &= \sqrt{\frac{\pi}{2z}} e^{-z} \end{align}}

Για μικρά ορίσματα Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle 0 < |z| \ll \sqrt{\alpha + 1}} , έχουμε:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle I_\alpha(z) \sim \frac{1}{\Gamma(\alpha+1)} \left( \frac{z}{2} \right) ^\alpha }

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle K_\alpha(z) \sim \begin{cases} - \ln \left (\frac{z}{2} \right ) - \gamma & \text{if } \alpha=0 \\ \\ \frac{\Gamma(\alpha)}{2} \left( \frac{2}{z} \right) ^\alpha & \text{if } \alpha > 0. \end{cases}}

Ιδιότητες

Για ακέραια τάξη α = n,η J_n συχνά ορίζεται μέσω σειράς Λόρεν για μια παράγουσα συνάρτηση:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle e^{(\frac{x}{2})(t-1/t)} = \sum_{n=-\infty}^\infty J_n(x) t^n,\!}

μια προσέγγιση χρησιμοποιήθηκε από τον Χάνσεν το 1843. (Αυτό μπορεί να γενικευτεί σε μη ακέραια τάξη με επικαμπύλια ολοκλήρωση ή άλλες μεθόδους). Άλλη μια σημαντική σχέση για τις ακέραιες τάξεις είναι η Jacobi–Anger έκφραση:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle e^{iz \cos(\phi)} = \sum_{n=-\infty}^\infty i^n J_n(z) e^{in\phi},\!}

και

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle e^{\pm iz \sin(\phi)} = J_0(z)+2\sum_{n=1}^\infty J_{2n}(z) \cos(2n\phi) \pm 2i \sum_{n=0}^\infty J_{2n+1}(z)\sin([2n+1]\phi),\!}

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

Πιο γενικά, η σειρά

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle f(z)=a_0^\nu J_\nu (z)+ 2 \cdot \sum_{k=1} a_k^\nu J_{\nu+k}(z)\!}

ονομάζεται Νόημαν έκφραση του ƒ. Οι συντελεστές για ν = 0 έχουν τη ρητή μορφή

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle a_k^0=\frac{1}{2 \pi i} \int_{|z|=c} f(z) O_k(z) \,dz,\!}

όπου το O_k είναι το πολυώνυμο του Νόημαν.

Επιλεγμένες συναρτήσεις εισάγουν την ειδική παράσταση

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle f(z)=\sum_{k=0} a_k^\nu J_{\nu+2k}(z)\!}

με

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle a_k^\nu=2(\nu+2k) \int_0^\infty f(z) \frac{J_{\nu+2k}(z)}z \,dz\!}

λόγω της ορθογώνιας σχέσης

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \int_0^\infty J_\alpha(z) J_\beta(z) \frac {dz} z= \frac 2 \pi \frac{\sin\left(\frac \pi 2 (\alpha-\beta) \right)}{\alpha^2 -\beta^2}.}

Πιο γενικά, αν ƒ έχει ένα κλαδικό σημείο κοντά στην αρχή τέτοιας φύσης ώστε

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle f(z)= \sum_{k=0} a_k J_{\nu+k}(z),}

τότε

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \mathcal{L} \left\{\sum_{k=0} a_k J_{\nu+k} \right\}(s)= \frac{1}{\sqrt{1+s^2}} \sum_{k=0} \frac{a_k}{(s+\sqrt{1+s^2})^{\nu+k}}}

ή

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \sum_{k=0} a_k \xi^{\nu+k}= \frac{1+\xi^2}{2\xi} \mathcal L \{f \} \left( \frac{1-\xi^2}{2\xi} \right),}

όπου Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \mathcal L \{f \}} είναι ο μετασχηματισμός Λαπλάς του f'.

Ένας άλλος τρόπος για να ορίσουμε τις συναρτήσεις Μπέσελ είναι η παράσταση Πουασόν και ο τύπος Mehler-Sonine :

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align}J_\nu(z) &= \frac{ (\frac{z}{2})^\nu }{ \Gamma(\nu + \frac{1}{2} ) \sqrt{\pi} } \int_{-1}^{1} e^{izs}(1 - s^2)^{\nu - \frac{1}{2} } \,ds, \\ &=\frac 2{{\left(\frac z 2\right)}^\nu\cdot \sqrt{\pi} \cdot \Gamma\left(\frac 1 2-\nu\right)} \int_1^\infty \frac{\sin(z u)}{(u^2-1)^{\nu+\frac 1 2}} \,du,\end{align}}

όπου ν > −1/2 και z ∈ C. Αυτός ο τύπος ςίναι χρήσιμος ιδιαίτερα όταν εργαζόμαστε με μετασχηματισμούς Φουριέ.

Οι συναρτήσεις J_α, Y_α, H_α⁽¹⁾, και H_α⁽²⁾ όλες ικανοποιούν τις ανάδρομες σχέσειςs:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \frac{2\alpha}{x} Z_\alpha(x) = Z_{\alpha-1}(x) + Z_{\alpha+1}(x)\!}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle 2\frac{dZ_\alpha}{dx} = Z_{\alpha-1}(x) - Z_{\alpha+1}(x)\!}

όπου Z συμβολίζει τα J, Y, H⁽¹⁾, ή H⁽²⁾. (Αυτές οι δύο ταυτότητες συχνά συνδυάζονται, π.χ. προσθέτοντάς τες ή αφαιρώντας τες , για να προκύψουν άλλες σχέσεις.) Με αυτόν τον τρόπο, για παράδειγμα, μπορεί κανείς να υπολογίσει τις συναρτήσεις Μπέσελ μεγαλύτερων τάξεων (ή μεγαλύτερων παραγώγων) έχοντας τις τιμές χαμηλών τάξεων (ή κατώτερων παραγώγων). Συγκεκριμένα, έπεται ότι:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \left( \frac{1}{x} \frac{d}{dx} \right)^m \left[ x^\alpha Z_{\alpha} (x) \right] = x^{\alpha - m} Z_{\alpha - m} (x),}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \left( \frac{1}{x} \frac{d}{dx} \right)^m \left[ \frac{Z_\alpha (x)}{x^\alpha} \right] = (-1)^m \frac{Z_{\alpha + m} (x)}{x^{\alpha + m}}.}

Οι Τροποποημένες συναρτήσεις Μπέσελ έχουν παρόμοιες σχέσεις :

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle e^{(\frac{x}{2})(t+1/t)} = \sum_{n=-\infty}^\infty I_n(x) t^n,\!}

και

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle e^{z \cos( \theta)} = I_0(z) + 2\sum_{n=1}^\infty I_n(z) \cos(n\theta).\!}

Η αναδρομική σχέση ερμηνεύεται

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle C_{\alpha-1}(x) - C_{\alpha+1}(x) = \frac{2\alpha}{x} C_\alpha(x)\!}

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle C_{\alpha-1}(x) + C_{\alpha+1}(x) = 2\frac{dC_\alpha}{dx}\!}

όπου το C_α συμβολίζει το I_α ή το e^απiK_α. Αυτές οι αναδρομικές σχέσεις είναι χρήσιμες για προβλήματα διακριτής διάδοσης. Επειδή η εξίσωση Μπέσελ γίνεται Ερμιτιανή (αυτοσυζυγής) αν διαιρεθεί με το x, οι λύσεις πρέπει να ικανοποιούν μια ορθογώνια σχέση για κατάλληλες συνοριακές συνθήκες. Συγκεκριμένα, έπεται ότι:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \int_0^1 x J_\alpha(x u_{\alpha,m}) J_\alpha(x u_{\alpha,n}) \,dx = \frac{\delta_{m,n}}{2} [J_{\alpha+1}(u_{\alpha,m})]^2 = \frac{\delta_{m,n}}{2} [J_{\alpha}'(u_{\alpha,m})]^2,\!}

όπου α > −1, δ_m,n είναι το δέλτα του Κρόνεκερ, και u_{α, m} είναι το m-οστό μηδενικό της J_α(x). Αυτή η ορθογωνική σχέση μπορεί τότε να χρησιμοποιηθεί για την εξαγωγή των συντελεστών στις σειρές Μπέσελ-Φουριέ, όπου η συνάρτηση επεκτείνεται στη βάση τωνσυναρτήσεων J_α(x u_{α, m}) για σταθερό α και διάφορα m.

Μία ανάλογη σχέση για τις σφαιρικές συναρτήσεις Μπέσσελ έπεται άμεσα:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \int_0^1 x^2 j_\alpha(x u_{\alpha,m}) j_\alpha(x u_{\alpha,n}) \,dx = \frac{\delta_{m,n}}{2} [j_{\alpha+1}(u_{\alpha,m})]^2.\!}

Αν κανείς ορίσει μια συνάρτηση βαγόνι (παντού μηδέν εκτώς από ένα διάστημα όπου είναι σταθερή) του x που εξαρτάται απο μια μικρή παράμετρο ε ως:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle f_\epsilon(x)=\epsilon\ \mathrm{rect}\left(\frac{x-1}\epsilon\right)}

(όπου rect() είναι η ορθογώνια συνάρτηση) τότε ο μετασχηματισμός Χάνκελ αυτής (για κάθε τάξη του α μεγαλύτερη του −1/2), η g_ε(k), προσεγγίζει την J_α(k) καθώς το ε τείνει στο μηδέν, για κάθε k. Αντιστρόφως, ο μετασχηματισμός Χάνκελ (ίδιας τάξης) της g_ε(k) είναι f_ε(x):

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \int_0^\infty k J_\alpha(kx) g_\epsilon(k) dk = f_\epsilon(x)}

Η οποία είναι παντού μηδέν εκτώς κοντά στο 1. Καθώς το ε τείνει στο μηδέν, το δεξιό μέλος τείνει στο δ(x−1), όπου δ είναι η συνάρτηση δέλτα του Ντιράκ. Έτσι ανεπίσημα μπορούμε να πούμε ότι

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \int_0^\infty k J_\alpha(kx) J_\alpha(k) dk = \delta(x-1)}

παρόλο που το αλοκλήρωμα στα αριστερά δεν ορίζεται στην πραγματικότητα. Μια αλλαγή των μεταβλητών δίνει την τελική εξίσωση:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \int_0^\infty x J_\alpha(ux) J_\alpha(vx) \,dx = \frac{1}{u} \delta(u - v)\!}

για α > −1/2. Ο μετασχηματισμός Χάνκελ μπορεί να εκφράσει μια αρκετά αυθαίρετη συνάρτηση ως το ολοκλήρωμα των συναρτήσεων Μπέσελ σε διάφορες κλίμακες. Για τις σφαιρικές συναρτήσεις Μπέσελ η ορθογώνια σχέση είναι:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \int_0^\infty x^2 j_\alpha(ux) j_\alpha(vx) \,dx = \frac{\pi}{2u^2} \delta(u - v)\!}

για α > −1. Πάλι, αυτή είναι μια χρήσιμη εξίσωση της οποίας το ολοκλήρωμα στο αριστερό μέλος δεν ορίζεται.

Άλλη μια σημαντική ιδιότητα των εξισώσεων Μπέσελ, η οποία προκύπτει από την ταυτότητα του Άμπελ, συμπεριλαμβάνει την ορίζουσα του Βρόνσκι των λύσεων:

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle A_\alpha(x) \frac{dB_\alpha}{dx} - \frac{dA_\alpha}{dx} B_\alpha(x) = \frac{C_\alpha}{x},\!}

όπου A_α και B_α είναι οποιεσδήποτε δύο λύσεις της εξίσωσης Μπέσελ, και C_α είναι μια σταθερά ανεξάρτητη του x (η οποία εξαρτάται από το α και από τις συγκεκριμένες συναρτήσεις του Μπέσελ που λαμβάνονται υπόψιν). Συγκεκριμένα,

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J_\alpha(x) \frac{dY_\alpha}{dx} - \frac{dJ_\alpha}{dx} Y_\alpha(x) = \frac{2}{\pi x},\!}

και

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle I_\alpha(x) \frac{dK_\alpha}{dx} - \frac{dI_\alpha}{dx} K_\alpha(x) = -\frac{1}{x}.\!}

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

Πολλαπλασιαστικό Θεώρημα

Οι Μπέσελ συναρτήσεις υπακούν ένα πολλαπλασιαστικό θεώρημα

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \lambda^{-\nu} J_\nu (\lambda z) = \sum_{n=0}^\infty \frac{1}{n!} \left(\frac{(1-\lambda^2)z}{2}\right)^n J_{\nu+n}(z) }

όπου λ και ν πιθανόν να παίρνουν αυθαίρετους σύνθετους αριθμούς, βλέπε. Η παρακάτω έκφραση επίσης ισχύει εάν Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle J} αντικατασταθεί από το Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle Y} . Οι ανάλογες ταυτότητες Bessel για τροποποιημένες συναρτήσεις είναι

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \lambda^{-\nu} I_\nu (\lambda z) = \sum_{n=0}^\infty \frac{1}{n!} \left(\frac{(\lambda^2-1)z}{2}\right)^n I_{\nu+n}(z) }

και

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \lambda^{-\nu} K_\nu (\lambda z) = \sum_{n=0}^\infty \frac{(-1)^n}{n!} \left(\frac{(\lambda^2-1)z}{2}\right)^n K_{\nu+n}(z). }

Η υπόθεση του Μπουρζέ

Ο Μπέσελ πρώτα απέδειξε ότι για μη αρνητικούς ακεραίους n, η εξίσωση J_n(x) = 0 έχει έναν άπειρο αριθμό λύσεων συναρτήσει του x. Όταν οι συναρτήσεις J_n(x) είναι σχεδιασμένες στο ίδιο διάγραμμα, ωστόσο, κανένα από τα μηδενικά δεν φαίνεται να ταυτίζονται για διαφορετικές τιμές του n εκτός από το μηδέν για x = 0. Αυτό το φαινόμενο γνωστό ως υπόθεση του Μπουρζέμετά τον δέκατο ένατο αιώνα όπου ο Γάλλος μαθηματικός μελέτησε τις Μπέσελ συναρτήσεις. Ειδικά ορίζεται για κάθε ακέραιοn ≥ 0 και m ≥ 1, οι συναρτήσεις J_n(x) και J_n+m(x) δεν έχουν συνήθως μηδενικά εκτός από αυτό γιαx = 0. Η υπόθεση αποδείχθηκε από τον Carl Ludwig Siegel το 1929.

Ενδεικτικές ταυτότητες

Δεν μπόρεσε να γίνει ανάλυση του όρου. (SVG (Η MathML μπορεί να ενεργοποιηθεί μέσω μιας προσθήκης στο πρόγραμμα περιήγησης): Μη αποδεκτή απάντηση ("Math extension cannot connect to Restbase.") από τον εξυπηρετητή "http://localhost:6011/el.wikipedia.org/v1/":): {\displaystyle \begin{align} K_\frac{1}{2} (z) &= \sqrt{\frac{\pi}{2}} e^{-z} z^{-\tfrac{1}{2}}, \qquad z>0 \\ I_{-\frac{1}{2}}(z) &= \sqrt{\frac{2}{\pi z}}\cosh(z) \\ I_{ \frac{1}{2}}(z) &= \sqrt{\frac{2}{\pi z}}\sinh(z) \\ I_\nu(z) &= \sum_{k=0} \frac{z^k}{k!} J_{\nu+k}(z) \\ J_\nu(z) &= \sum_{k=0} (-1)^k \frac{z^k}{k!} I_{\nu+k}(z) \\ I_\nu (\lambda z) &= \lambda^\nu \sum_{k=0} \frac{\left((\lambda^2-1)\frac z 2\right)^k}{k!} I_{\nu+k}(z) \\ I_\nu (z_1+z_2) &= \sum_{k=-\infty}^\infty I_{\nu-k}(z_1)I_k(z_2) \\ J_\nu (z_1\pm z_2) &= \sum_{k=-\infty}^\infty J_{\nu \mp k}(z_1)J_k(z_2) \\ I_\nu (z) &= \tfrac{z}{2 \nu} \left (I_{\nu-1}(z)-I_{\nu+1}(z) \right ) \\ J_\nu (z) &= \tfrac{z}{2 \nu} \left (J_{\nu-1}(z)+J_{\nu+1}(z) \right ) \\ J_\nu'(z) &= \begin{cases}\tfrac{1}{2} \left (J_{\nu-1}(z)-J_{\nu+1}(z) \right) & \nu \neq 0 \\ -J_1(z) & \nu =0 \end{cases} \\ I_\nu'(z) &= \begin{cases}\tfrac{1}{2} \left (I_{\nu-1}(z)+I_{\nu+1}(z) \right) & \nu \neq 0 \\ I_1(z) & \nu =0 \end{cases} \\ \left(\tfrac{z}{2}\right)^\nu &= \Gamma(\nu) \sum_{k=0} I_{\nu+2k}(z)(\nu+2k){-\nu\choose k} = \Gamma(\nu) \sum_{k=0}(-1)^k J_{\nu+2k}(z)(\nu+2k){-\nu \choose k} = \Gamma(\nu+1) \sum_{k=0}\frac{\left(\tfrac{z}{2}\right)^k}{k!} J_{\nu+k}(z)\\ 1 &= \sum_{n=0}^\infty (2n+1) j_n(z)^2\\ \frac{\sin(2z)}{2z} &= \sum_{n=0}^\infty (-1)^n (2n+1) j_n(z)^2 \end{align}}

Πηγές

• Abramowitz, Milton· Stegun, Irene Ann, επιμ. (1983) [June 1964]. http://www.math.sfu.ca/~cbm/aands/page_355.htm. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first έκδοση). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. σελ. 355. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.  See also chapter 10.
• Arfken, George B. and Hans J. Weber, Mathematical Methods for Physicists, 6th edition (Harcourt: San Diego, 2005). ISBN 0-12-059876-0.
• Bayin, S.S. Mathematical Methods in Science and Engineering, Wiley, 2006, Chapter 6.
• Bayin, S.S., Essentials of Mathematical Methods in Science and Engineering, Wiley, 2008, Chapter 11.
• Bowman, Frank Introduction to Bessel Functions (Dover: New York, 1958). ISBN 0-486-60462-4.
• G. Mie, "Beiträge zur Optik trüber Medien, speziell kolloidaler Metallösungen", Ann. Phys. Leipzig 25 (1908), p. 377.
• Olver, F. W. J.; Maximon, L. C. (2010), «Συνάρτηση Μπέσελ», στο: Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. και άλλοι, επιμ., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, http://dlmf.nist.gov/10 
• Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), «Section 6.5. Bessel Functions of Integer Order», Numerical Recipes: The Art of Scientific Computing (3rd έκδοση), New York: Cambridge University Press, ISBN 978-0-521-88068-8, http://apps.nrbook.com/empanel/index.html#pg=274, ανακτήθηκε στις 2015-05-28 
• B Spain, M.G. Smith, Functions of mathematical physics, Van Nostrand Reinhold Company, London, 1970. Chapter 9 deals with Bessel functions.
• N. M. Temme, Special Functions. An Introduction to the Classical Functions of Mathematical Physics, John Wiley and Sons, Inc., New York, 1996. ISBN 0-471-11313-1. Chapter 9 deals with Bessel functions.
• Watson, G.N., A Treatise on the Theory of Bessel Functions, Second Edition, (1995) Cambridge University Press. ISBN 0-521-48391-3.
• Weber, H. (1873), «Ueber eine Darstellung willkürlicher Functionen durch Bessel'sche Functionen», Mathematische Annalen 6 (2): 146–161, doi:10.1007/BF01443190 

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

• Lizorkin, P.I. (2001), «Bessel functions», στο: Hazewinkel, Michiel, επιμ., Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://www.encyclopediaofmath.org/index.php?title=b/b015840 
• Karmazina, L.N.; Prudnikov, A.P. (2001), «Cylinder function», στο: Hazewinkel, Michiel, επιμ., Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://www.encyclopediaofmath.org/index.php?title=c/c027610 
• Rozov, =N.Kh. (2001), «Bessel equation», στο: Hazewinkel, Michiel, επιμ., Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://www.encyclopediaofmath.org/index.php?title=B/b015830 
• Wolfram function pages on Bessel J and Y functions, and modified Bessel I and K functions. Pages include formulas, function evaluators, and plotting calculators.
• Wolfram Mathworld – Bessel functions of the first kind
• Bessel functions J_ν, Y_ν, I_ν and K_ν in Librow Function handbook.