Sfæriske funktioner er den vinkelformede del af familien af ortogonale løsninger af Laplaces ligning , skrevet i sfæriske koordinater . De er meget brugt til at studere fysiske fænomener i rumlige områder afgrænset af sfæriske overflader og til at løse fysiske problemer med sfærisk symmetri. Sfæriske funktioner er af stor betydning i teorien om partielle differentialligninger og teoretisk fysik , især i problemerne med at beregne elektronorbitaler i et atom, geoidens gravitationsfelt , planeternes magnetfelt og intensiteten af den kosmiske mikrobølge stråling .
Sfæriske funktioner er egenfunktioner af Laplace-operatoren i et sfærisk koordinatsystem (notation ). De danner et ortonormalt system i funktionsrummet på en kugle i tredimensionelt rum:
,hvor * angiver kompleks konjugation , er Kronecker-symbolet .
De sfæriske funktioner har formen
,hvor funktionerne er løsninger af ligningen
og har formen
Her er de tilknyttede Legendre polynomier , og er faktorialet .
De tilknyttede Legendre polynomier med negativ introduceres her som
Løsningen af Laplace-ligningen i sfæriske koordinater er den såkaldte sfæriske funktion opnået ved at gange den sfæriske funktion med løsningen af den radiale ligning.
For sfæriske funktioner er formen af afhængigheden af vinklen en kompleks eksponent. Ved hjælp af Eulers formel kan man introducere reelle sfæriske funktioner. Nogle gange er de mere bekvemme at bruge på grund af det faktum, at virkelige funktioner tydeligt kan vises i illustrationer i modsætning til komplekse.
Omvendt konvertering:
Nogle gange kaldes virkelige sfæriske funktioner zonale, tessale og sektorielle. [1] . Funktioner med m > 0 afhænger af vinklen som en cosinus, og med m < 0 som en sinus.
Overvej en rotation af koordinatsystemet ved hjælp af Euler-vinkler , som omdanner en enhedsvektor til en vektor . I dette tilfælde er vektorvinklerne i det nye koordinatsystem udtrykt i form af vinklerne i det gamle koordinatsystem som følger
I det nye koordinatsystem vil en sfærisk funktion med indekser og blive repræsenteret som en lineær kombination af alle funktioner med samme tal og forskellige . Koefficienterne i den lineære kombination er de komplekse konjugat Wigner D-matricer [2]
Nummererede sfæriske funktioner danner grundlag for en irreducerbar repræsentation af dimensionen af SO(3)-rotationsgruppen.
Den komplekse eksponent kan repræsenteres som en udvidelse i sfæriske funktioner
Her er den sfæriske Bessel-funktion
Clebsch-Gordan- udvidelserne for produkter med to sfæriske funktioner er som følger [3] :