# Küresel harmonikler
Matematikte, küresel harmonikler Laplace denkleminin çözüm kümesinin açısal kısmıdır. Küresel koordinatların bir sistemi içinde küre yüzeyinde tanımlanır, Fourier serisi ise çember üzerinde tanımlanır. Laplace'ın küresel harmonikleri Y_ℓ^m Pierre Simon de Laplace tarafından ilk 1782 yılında tanıtılan bir ortogonal sistemin küresel harmonik formlarının özel bir kümesidir. Küresel harmoniklerden birkaçının kökleri sağda gösterimlenmiştir. Küresel harmonikler pek çok yerde teorik önem taşımaktadır ve özellikle atomik yörünge elektron konfigürasyonları, yerçekimi alanları, geoitleri ve gezegen ve yıldızların manyetik alanlarının temsili ve kozmik mikrodalga arka plan radyasyonu karakterizasyonu hesaplanmasında kullanılan pratik uygulamaları vardır. Küresel harmonikler 3D Bilgisayar grafiklerinde, dolaylı aydınlatma (ortam tıkanıklığı, küresel aydınlatma, Önceden hesaplanan parlaklık transferi, vb) ve 3D şekillerin tanınması gibi konularda geniş bir yelpazede özel bir rol oynamaktadır.


## Tarihçe.
Küresel harmonikler üç boyut içerisinde Newton'un evrensel kütleçekim yasasının Newtonyen potansiyeli ile bağlantısı nedeniyle 1782 yılında, Pierre-Simon de Laplace ilk kez "Mécanique Céleste"si içinde araştırdı, x"i" noktalarında yerleşik nokta kütlelerin kümesinin bir x noktasında ilişkisini belirleyen "m""i" ile veriliyor idi
V(𝐱) = ∑_i m_i/.
yukardaki toplamda her terim için bir nokta kütle Newtonyen potansiyeli bireyseldir. İlk kez "r" = |x| ve "r"1 = |x1| nin kuvvetleri içinde Newtonyen potansiyelin açılımını Adrien-Marie Legendre araştırdı. O bunu "r" ≤ "r"1 için araştırmıştı.
1/= P_0(cosγ)1/r_1 + P_1(cosγ)r/r_1^2 + P_2(cosγ)r^2/r_1^3+⋯
burada γ vektörler x ve x1 arasındaki açıdır. Fonksiyonlar "P""i" Legendre polinomlarıdır ve bu küresel harmoniklerin bir özel durumudur. Sonradan, "in his 1782 memoire" 'de, Laplace x1 ve x arasında γ açısını göstermek için küresel koordinatlarda kullanılan katsayıları araştırdı. (daha detaylı analiz için bakınız Fizikte Legendre polinomlarının uygulamaları)
1867'de, William Thomson (Lord Kelvin) ve Peter Guthrie Tait burada "Doğa felsefesi üzerine tez" içinde katı küresel harmonikleri tanıttı, ayrıca bu fonksiyonların içinde "küresel harmonikler" adı ilk kez tanıtıldı. Katı harmonikler Laplace denkleminin homojen çözümleridir. 
∂^2 u/∂x^2 + ∂^2 u/∂y^2 + ∂^2 u/∂z^2 = 0.
ile küresel koordinatlar içinde Laplace denklemi incelendi, Thomson ve Tait Laplace'ın küresel harmoniklerini açıkladı. "Laplace'ın katsayıları" terimi bir çizgi boyunca tanıtılan çözümlerin tanımlanan özel sistemi için William Whewellle çalışıyordu, oysa diğer zonal küresel harmonikler için bu düzenleme korundu şöyle ki Laplace ve Legendre ile tanıtılmış olan özellikler idi.
19.yy Fourier serisinde gelişmeler, ısı denklemi ve dalga denkleminin çözümü gibi dörtgen domenler içinde fizik problemlerinin yaygın bir çeşidinin çözümünü olası yapar. Bu trigonometrik fonksiyonlar serisi içindeki fonksiyonların açılımı ile sağlanabilir. Oysa bir Fourier serisinin bir sicim içinde de temel titreşim modları gösterilebilir, küresel harmonikler benzer şekilde bir kürenin temel titreşim modları ile gösterilebiliyor. Fourier serilerinin teorisinin trigonometrik fonksiyonlar tarafından birçok açıdan genelleştirilmiş şekilleri küresel harmoniklerdeki açılımlar olarak yerini almaktadır. Bu, aslında Laplace ve Legendre tarafından incelenen gök mekaniği gibi küresel simetri içeren sorunları içinde bir nimet oldu.
20. yy kuantum mekaniğinin doğumu için küresel harmoniklerin fizik sahnedeki önemi zaten yaygındı. Küresel harmonikler yörünge açısal momentum işlemcisinin karesinin özfonksiyonlarıdır
-iħ𝐫×∇,
ve bunun için bu farklı nicelenmiş atomik yörüngelerin düzenlenimini gösterir.


## Laplace'ın küresel harmonikleri.
Laplace denklemi skalar(eğimsiz) bir alanın gradyanının diverjansı "f" in sıfır olduğunu vurgular. küresel koordinatlarda ise bu şöyledir:
 ∇^2 f = 1 r^2∂∂r(r^2 ∂f ∂r) 
+ 1 r^2sinθ∂∂θ(sinθ∂f ∂θ) 
+ 1 r^2sin^2θ∂^2 f ∂φ^2 = 0.
Yani
"f"("r",θ,φ) = "R"("r")"Y"(θ,φ) formunda bulunan problemin çözümleri düşünülüyor.Değişkenlerin ayrılması sonucu, iki diferansiyel denklemin Laplace denklemine uyarlanması ile:
1/Rd/dr(r^2dR/dr) = λ, 1/Y1/sinθ∂/∂θ(sinθ∂Y/∂θ) + 1/Y1/sin^2θ∂^2Y/∂φ^2 = -λ.
İkinci denklem "Y "varsayımı ile sadeleştirilebilir "Y"(θ,φ) = Θ(θ)Φ(φ) biçimi var. İkinci denklem için yine değişkenlerin ayrılması uygulanarak diferansiyel denklemlerin çifti için verilen yol
1/Φ(φ) d^2 Φ(φ)/dφ^2 = -m^2
λsin^2(θ) + sin(θ)/Θ(θ) d/dθ [ sin(θ) dΘ/dθ ] = m^2
Bu bazı "m" sayıları içindir. Öncelikle, "m" bir karmaşık sabittir, ama bir Φ periyodik fonksiyonu böylece 2π periyoduna eşit bölündüğü için "m" zorunlu olarak bir tam sayı ve Φ "e"±"im"φ karmaşık üstellerin bir doğrusal bileşimidir. Çözüm fonksiyonu "Y"(θ,φ); kürenin kutup bölgelerinde düzenlidir, burada θ=0,π dir. Domenin ikinci denklemin sınır noktalarında Θ çözümü bu düzenlilik uyarlaması ile bir Sturm–Liouville problemi λ parametresinin kuvveti m λ = ℓ(ℓ+1) formunda olan bazı negatif olmayan ℓ ≥ |"m"| tam sayılar içindir; bu ayrıca yörünge açısal momentumun terimleri içinde aşağıda açıklanmıştır. Ayrıca, Legendre denklemi içinde bu denklemin "t" = cosθ dönüşümü değişken dönüşümlerinin bir yer değişimidir, böylece çözüm P_ℓ^m(cosθ) asosiye Legendre polinomunun birçoğuludur. Sonuç olarak, "R" için denklem "R"("r") = "Ar"ℓ + "Br"−ℓ−1;biçiminin çözümü var ve gerekli çözüm R3 boyunca düzenli olan "B" = 0 kuvvetleridir.
Burada "Y"(θ,φ) = Θ(θ)Φ(φ).özel biçiminin sahip olduğu varsayılan çözüm idi. ℓ,nin verilen bir çözümü için burada 2ℓ+1 bu biçimlerin bağımsız çözümleridir, "m" ile −ℓ ≤ "m" ≤ ℓ her tam sayı için tektir. Burada açısal çözümler trigonometrik fonksiyonların bir çarpımıdır. Burada bir karmaşık üstel olarak gösterilebilir ve asosiye Legendre polinomları:
 Y_ℓ^m (θ, φ) = N e^i m φ P_ℓ^m (cosθ )
yerine getirip
 r^2∇^2 Y_ℓ^m (θ, φ) = -ℓ(ℓ+ 1 ) Y_ℓ^m (θ, φ).
Burada Y_ℓ^m ℓ ve "m" derecenin bir küresel harmonik fonksiyonu olarak adlandırılır, P_ℓ^m bir asosiye Legendre polinomudur, "N" bir normalizasyon sabitidir ve θ ve φ sırasıyla represent eş-enlem ve boylamı gösteriyor. Özel olarak, eş-enlem θ veya kutup açısı, Güney Kutup'ta π den Kuzey Kutupta 0 a kadar aralıklıdır. Ekvatorda π/2'nin varsayılan değeri ve boylam φ veya güney açısı, 0 ≤ φ < 2π ile tüm değerleri varsayabiliriz.Bir sabitlenmiş ℓ tam sayısı için, özdeğer probleminin her "Y"(θ,φ) çözümü
 r^2∇^2 Y = -ℓ(ℓ+ 1 ) Y
Y_ℓ^m nin bir doğrusal bileşimdir. Aslında, böyle bir çözüm için, "r"ℓ"Y"(θ,φ) böyle bir homojen polinomun küresel koordinatlar içinde bağıntıları harmoniktir (bakınız aşağıda) ve burada gösterilen boyut sayılı polinomlar gibi 2ℓ+1 doğrusal bağımlıdır.
Bir küre merkezli orijininde Laplace denklemi için genel çözüm uygun ölçek çarpanı "r"ℓ ile çarpılan küresel harmonik fonksiyonlarının bir doğrusal bileşimidir,
 f(r, θ, φ) = ∑_ℓ=0^∞∑_m=-ℓ^ℓf_ℓ^m r^ℓ Y_ℓ^m (θ, φ), 
Burada f_ℓ^m sabitlerdir ve çarpanlar r^ℓ Y_ℓ^m katı harmonikler olarak biliniyor. Bir açılım gibi küre içinde değerdir
 r lt; R = 1/lim sup_ℓ→∞ |f_ℓ^m|^1/ℓ.


### Yörünge açısal momentum.
Kuantum mekanikte, Laplace'ın küresel harmonikleri yörünge açısal momentumun terimleri içinde anlamlıdır
𝐋 = -iħ𝐱×∇= L_x𝐢 + L_y𝐣+L_z𝐤.
ħ kuantum mekanikte gelenekseldir; bu ħ= 1 içindeki birimler içinde çalışma için gelenekseldir. Küresel harmonikler yörünge açısal momentumun karesinin özfonksiyonlarıdır
 𝐋^2 amp;= -r^2∇^2 + (r∂/∂ r+1)r∂/∂ r
 amp;= -1 sinθ∂∂θsinθ∂∂θ - 1 sin^2θ∂^2 ∂φ^2.
Laplace'ın küresel harmonikleri yörünge açısal momentumun karesinin özfonksiyonları ile ortaktır ve azimutal eksen ile ilgili dönmelerin üreteçleridir:
 L_z amp;= -i(x∂/∂ y - y∂/∂ x)
 amp;=-i∂/∂φ.
Bu operatörlerdeki değişme ve R3 üzerinde normal dağılıma sırasıyla kare-integrallenebilir "f" fonksiyonunun Hilbert uzayı üzerinde yoğun tanımlanmış öz-eşleniktir:
1/(2π)^3/2∫_𝐑^3 |f(x)|^2 e^-|x|^2/2 dx lt; ∞.
Daha ötesi, L2 bir pozitif işlemcidir.
Eğer "Y", L2'nin bir ortak özfonksiyonu ve "L""z" ise
 𝐋^2Y amp;= λ Y
 L_zY amp;= mY
ile tanımlanır. Bazı gerçek sayılar "m" ve λ için. Burada "m" aslında bir tam sayı olmalıdır, "Y" için periyodik bir sayı ile koordinat φ içinde 2π ile eşit bölen periyot olmalı. Dahası, yine
𝐋^2 = L_x^2+L_y^2+L_z^2
ve "L""x", "L""y", "L""z" nin her biri öz-eşleniktir, bu aşağıda şöyledir λ ≥ "m"2.
Bu "E"λ,"m" ile bu ortak özuzayı ve yükseltgen ve indirgen işlemciler tanımı ile ifade
 L_+ amp;= L_x + iL_y
 L_- amp;= L_x - iL_y
İse "L"+ ve "L"− ile L2 değişme ve "L"+, "L"−, "L""z" ile üretilen Lie cebri özel doğrusal Lie cebridir, değişmelilik ilişkileri ile
[L_z,L_+] = L_+, [L_z,L_-] = -L_-, [L_+,L_-] = 2L_z.
Böylece "L"+ : "E"λ,"m" → "E"λ,"m"+1 (bu bir "operatörü yükseltmek"tir) ve "L"− : "E"λ,"m" → "E"λ,"m"−1 (bu bir "indirgeyici işlemci"dir). Özel olarak, "L""k"+ : "E"λ,"m" → "E"λ,"m"+"k" yeterince büyük "k" için sıfır olmalı, çünkü λ ≥ "m"2 eşitsizliği önemsiz olmayan ortak her özuzayın içindekini tutmalı. Diyelimki "Y" ∈ "E"λ,"m" bir sıfır olmayan ortak özfonksiyon olsun ve diyelim ki "k" en küçük tam sayı olsun, böylece
L_+^kY = 0.
ise, yine
L_-L_+ = 𝐋^2 - L_z^2 -L_z
bu aşağıda şöyledir
0=L_-L_+^k Y = (λ- (m+k)^2-(m+k))Y.
Böylece ℓ = "m"+"k" pozitif tam sayı için λ = ℓ(ℓ+1).


## Kurallar.
### Diklik ve normalleştirme.
Birkaç farklı normalleştirmeler Laplace küresel harmonik fonksiyonları için yaygın kullanım içindedir. Bölüm boyunca, biz bu standart yöntemi kullanıyoruz (bak asosiye Legendre polinomları)
P_ℓ^-m = (-1)^m (ℓ-m)!/(ℓ+m)! P_ℓ^m
Rodrigues'in aşağıdaki formül ile verilen doğal normalleştirme ki şudur: Sismolojide, Laplace küresel harmonikleri (bu kurallar bu yazı içinde kullanıldı)
 Y_ℓ^m( θ, φ) = √( ) P_ℓ^m ( cosθ ) e^i m φ 
olarak genel tanımıdır. Kuantum mekanik içinde ise: 
 Y_ℓ^m( θ, φ) = (-1)^m √( ) P_ℓ^m ( cosθ ) e^i m φ 
ortonormal olan şudur.
∫_θ=0^π∫_φ=0^2πY_ℓ^m Y_ℓ'^m'* dΩ=δ_ℓℓ' δ_mm',
burada δ"ij" Kronecker delta ve "d"Ω = sinθ "d"φ "d"θ dır. Bu olasılığın normalize olmasını sağlar, çünkü bu normalleştirme kuantum mekaniğinde kullanılır, örneğin
∫- (-1)^m Y_ℓ^) amp; if m lt;0
Y_ℓ^0 amp; if m=0
1 √(2) (Y_ℓ^-|m| + (-1)^m Y_ℓ^) amp; if m gt;0.
Condon-Shortley faz kuralı tutarlılık için burada kullanılmıştır. Karşılık gelen ters denklemler
Y_ℓ^m =
1 √(2) (Y_ℓ|m| - i Y_ℓ,-|m|) amp; if m lt;0 
Y_ℓ0 amp;if m=0
(-1)^m √(2) (Y_ℓ|m| + i Y_ℓ,-|m|) amp; if m gt;0.
Gerçek küresel harmonikler bazen "tesseral küresel harmonikler" olarak biliniyor. Bu işlevler yukarıda karmaşık olanlar aynı ortonormalite özelliklere sahiptir. "m" > 0 harmonikler ile cos tip'inin olduğu söylenir ve böylece sine tip'inin "m" < 0 ile. Bunun nedeni olarak Legendre polinomları açısından işlevleri yazılarak görülebilir.
Y_ℓm =
 √(2) √(P)_ℓ^m(cosθ) cosmφ amp; m gt;0 
 √(P)_ℓ^m(cosθ) amp; m=0
 √(2) √(P)_ℓ^(cosθ) sin|m|φ amp; m lt;0.
Aynı sinüs ve kosinüs faktörler de kartezyen gösterimi ile ilgilidir, aşağıdaki alt bölümde görülebilir.
kadar gerçek küresel harmoniklerin listesi için bakınız burada ve ℓ= 4 içeriyor, bunun yukarıdaki denklemlerin çıkışı ile uyumlu olduğu görülebilir.


#### Kuantum kimyada kullanımı.
Hidrojen atomu için analitik çözümlerden bilindiği gibi, dalga fonksiyonunun açısal kısmının özfonksiyonlarının küresel harmonikleri bulunmaktadır.
Ancak, manyetik şartlar olmaksızın göreli olmayan Schrödinger denkleminin çözümleri gerçek hale getirilebilir. Programlar daha sonra karmaşık cebir kullanmak gerekmez gibi gerçek formlar yoğun, kuantum kimyası için temel fonksiyonlarında kullanılan budur. İşte, bu gerçek fonksiyonlar, karmaşık olanları olduğu gibi aynı alanı kapsayan dikkat etmek önemlidir.
Örneğin olarak küresel harmonik tablosundan görülebileceği gibi, olağan "p" işlevleri (l=1) karmaşıktır ve eksen yön karışımı, ama gerçek versiyonlar aslında sadece "x", "y" ve "z".


## Kartezyen formu içinde küresel harmonikler.
Kartezyen koordinatlar içinde normalize küresel harmonikler ifadesi aşağıdadır (Condon-Shortley fazı):
r^ℓ 
[ Y_ℓ^m; Y_ℓ^-m ]
[2ℓ+1/4π]^1/2 Π̅^m_ℓ(z) 
[ (-1)^m (A_m + i B_m); (A_m - i B_m); ] ,
 m gt; 0.
ve 'm" = 0 için:
r^ℓ Y_ℓ^0 ≡√(2ℓ+1/4π)
Π̅^0_ℓ.
Burada
A_m(x,y) = ∑_p=0^m mp x^p y^m-p cos((m-p) π/2),
B_m(x,y) = ∑_p=0^m mp x^p y^m-p sin((m-p) π/2),
ve
Π̅^m_ℓ(z)
= [(ℓ-m)!/(ℓ+m)!]^1/2
∑_k=0^⌊(ℓ-m)/2⌋ 
 (-1)^k 2^-ℓ ℓk2ℓ-2kℓ (ℓ-2k)!/(ℓ-2k-m)!
 r^2k z^ℓ-2k-m.
m = 0 için bu 
Π̅^0_ℓ(z)
= ∑_k=0^⌊ℓ/2⌋ 
 (-1)^k 2^-ℓ ℓk2ℓ-2kℓ r^2k z^ℓ-2k.
ya indirgenir


### Örnekler.
Π̅^ℓ_m(z), A_m(x,y) ve B_m(x,y) için biz yukarıdakilerden açıkça listelenmiş şu bağıntıları elde ederiz: 
 Y^1_3 = - 1/r^3 [74π·316 ]^1/2 (5z^2-r^2)(x+iy) =
- [74π·316]^1/2 (5cos^2θ-1) (sinθe^iφ)
Y^-2_4 = 1/r^4 [94π·532]^1/2(7z^2-r^2) (x-iy)^2
= [94π·532]^1/2(7 cos^2θ-1) (sin^2θe^-2 i φ)
Bu burada ve burada listelenmiş fonksiyon ile bu kabul doğrulanabilir.


### Gerçek form.
Gerçek küresel harmonikler formuna yukardaki denklemler kullanılıyor, m gt;0 için bunun olduğu görülmektedir. Yalnızca A_m terimleri (kosinüs) içeriyor ve m lt;0 için yalnızca B_m terimleri (sinüs) içeriyor:
r^ℓ 
[ Y_ℓm; Y_ℓ-m ]
[2ℓ+1/4π]^1/2 Π̅^m_ℓ(z) 
[ A_m; B_m; ] ,
 m gt; 0.
ve "m" = 0 için:
r^ℓ Y_ℓ0 ≡√(2ℓ+1/4π)
Π̅^0_ℓ.


## Spektrum analizi.
### Sinyal işlemci içinde kuvvet spektrumu.
bir "f" fonksiyonunun toplam kuvveti kare fonksiyonun integrali olarak işaret işleme literatüründe tanımlanıyor, bu domenin bölgesi ile bölünür. Gerçek birim-kuvvet küresel harmonik fonksiyonların ortonormalite özellikleri kullanılıyor, bu birim küre üzerinde tanımlanan bir fonksiyonun toplam gücünü doğrulamak için basitçe Parseval teoreminin bir genellemesi spektral katsayılarla ilişkilidir:
1/4 π ∫_Ω|f(Ω)|^2 dΩ= ∑_ℓ=0^∞S_ff(ℓ),
burada
S_ff(ℓ) = 1/2ℓ+1∑_m=-ℓ^ℓ|f_ℓm|^2 
açısal kuvvet spektrumu olarak tanımlanıyor. Benzer bir şekilde, bir iki fonksiyon arasında çapraz güç tanımlayabilirsiniz
1/4 π ∫_Ωf(Ω) g^∗(Ω) dΩ= ∑_ℓ=0^∞S_fg(ℓ),
burada
S_fg(ℓ) = 1/2ℓ+1∑_m=-ℓ^ℓf_ℓm g^∗_ℓm 
çapraz-kuvvet spektrumu olarak tanımlanıyor. Eğer fonksiyonlar "f" ve "g" have bir (yani spektral katsayılar "f"00 ve "g"00 sıfırdır) ortada sıfır var, ise sırasıyla "S""ff"(ℓ) ve "S""fg"(ℓ) fonksiyon'ların değişken için ve ℓ derecesi için eşdeğişken katkısını gösterir. Bu yaygın e (çapraz-)kuvvet spektrum formunun bir kuvvet kanunu ile iyi yaklaşıklıktır
S_ff(ℓ) = C ℓ^β.
Eğer β = 0,spektrum eş kuvvet her derecesine sahip olarak "beyaz"dır. Eğer β < 0 ise, spektrum "kırmızı" olarak adlandırılan düşük dereceden de daha kuvvetli yüksek dereceden uzun dalgadır. Sonuç olarak, eğer β > 0 ise, spektrum "mavi" olarak adlandırılıyor. "S""ff"(ℓ)nin büyüklüğünün derecesi üzerinde durum son kesit içinde "f"nin diferansiyellenebilirliklerinin derecesine göredir.


### Diferansiyellenebilir özellikler.
Ayrıca orijinal fonksiyonunun "S""ff"(ℓ)in asimtotik terimleri içinde "f" orijinal fonksiyonunun türevlenebilir özellikleri anlaşılabilir. Özel olarak, eğer "S""ff"(ℓ) ℓ → ∞ olarak ℓ'nin herhangi kesirli fonksiyonu daha hızlı çürüyorsa, "f" sonsuz türevlenebilirdir. Ve dahası "S""ff"(ℓ) üstel bozunma ise "f" küre üzerinde aslında gerçek analitiktir.
Diferansiyellenebilirlik için "S""ff"(ℓ) in büyüklüğü ile ilişkili durumları Fourier serisinin katsayılarının büyümesindeki analog sonuçlara benzer ise genel teknik olarak Sobolev uzayının teorisi kullanılıyor. Özellikle eğer
∑_ℓ=0^∞(1+ℓ^2)^s S_ff(ℓ) lt; ∞,
ise "f" Sobolev uzayı "H""s"("S"2) içindedir. Özel olarak, Sobolev gömme teoremi "f"
S_ff(ℓ) = O(ℓ^-s) as ℓ→∞
şartıyla tüm "s"ler için sonsuz türevlenebilir anlamına gelir.


## Küresel harmonikleri gösterimleme.
Y_ℓ^m Laplace küresel harmonikler burada "düğüm çizgileri" göz önüne alınarak görselleştirilebilir, şöyle ki, burada Re[Y_ℓ^m] = 0, küre üzerinde noktaların kümesi veya karşıt olarak burada Im[Y_ℓ^m] = 0. dir Y_ℓ^mnin düğüm çizgileri çemberin oluşumudur: bazıları enlemlerdir ve diğerleri boylamlardır. Enlemsel ve bağımsız boyuna tarifi içinde Y_ℓ^mnin sıfırlarının sayısının sayılması ile her tipinin düğüm çizgilerinin sayısı belirlenebilir. Enine yönünde için, asosiye Legendre polinomlarının sanal ve gerçek bileşenleri her ℓ−|"m"| sıfırlarına sahiptir, oysa, uzunlamasına yön için, trigonometrik sin ve cos fonksiyonları 2|"m"| sıfırlara sahiptir.
Eğer küresel harmonik derece "m" (sol-üst resim) sıfır ise, küresel harmonik fonksiyonlar boylam bağlı olmayan ve zonal olarak adlandırılır. Bu gibi küresel harmonikler zonal küresel fonksiyonların bir özel durumudur Eğer ℓ = |"m"| (Şekilde sağ alt) ise, burada enlem içinde sıfır geçidi yoktur ve fonksiyonlar sektörel olarak adlandırılır. Diğer durumlar için, küre denetleyicisi fonksiyonları ve bu tesseral olarak adlandırılır.
Daha genel ℓ derecesinin küresel harmonikleri are Laplace tabanı Y_ℓ^mnın böyle olması gerekmez ve burada nodal(düğümsel) kümeler oldukça genel bir tipi olabilir.


## Küresel harmoniklerin listesi.
İlk birkaç ortonormalize edilmiş Laplace küresel harmonik(=salınan) için analitik bağlantılar kullanılan Condon-Shortley faz kuralı:
Y_0^0(θ,φ)=12√(1π)
Y_1^-1(θ,φ)=12√(32π) sinθ e^-iφ
Y_1^0(θ,φ)=12√(3π) cosθ
Y_1^1(θ,φ)=-12√(32π) sinθ e^iφ
Y_2^-2(θ,φ)=14√(152π) sin^2θ e^-2iφ
Y_2^-1(θ,φ)=12√(152π) sinθ cosθ e^-iφ
Y_2^0(θ,φ)=14√(5π) (3cos^2θ-1)
Y_2^1(θ,φ)=-12√(152π) sinθ cosθ e^iφ
Y_2^2(θ,φ)=14√(152π) sin^2θ e^2iφ


## Yüksek boyutlar.
Klasik küresel harmonikler üç-boyutlu Öklid uzayı içerisinde birim küre "S"2 üzerinde fonksiyonlar olarak tanımlanıyor. Küresel harmonikler yüksek-boyutlu Öklid uzayı R"n" için genelleştirilebilir olarak aşağıdadır. Diyelim ki Pℓ "n" değişkenleri içinde ℓ derecesinin homojen polinomlarının uzayını ifade eder. Şöyle ki, bir "P" polinomu Pℓ içinde şunu sağlıyor.
P(λ𝐱) = λ^ℓP(𝐱).
Diyelim ki Pℓ nin altuzayı ifadesi Aℓ tüm harmonik polinomlarının oluşturuyor; bu katı küresel harmoniklerdir. Diyelim ki Hℓ birim kürenin üzerindeki fonksiyonların uzayını ifade ediyor 
Aℓ dan sınırlandırılarak elde edilir.
aşağıdaki özellikler uyar:
  - Hℓ uzayının toplamı tektip topoloji ye göre "S""n"−1 üzerinde sürekli fonksiyonun kümesi içinde yoğunluk Stone-Weierstrass teoremi iledir. Bir sonuç olarak, bu uzayın toplamı küre üzerinde kare integrallenebilir fonksiyonların "L"2("S""n"−1) uzayı içinde ayrıca yoğunluktur. Böylece bir küresel harmoniklerin bir serisi içinde küre teklik ayrışması üzerinde her kare integrallenebilir fonksiyon, burada "L"2 içinde anlamı yakınsak seridir.
  - Tüm "f" ∈ Hℓ ,için tek olan 
Δ_S^n-1f = -ℓ(ℓ+n-2)f.
burada Δ"S""n"−1 "S""n"−1 üzerinde Laplace–Beltrami işlemcisidir. Bu operatör üç boyutlu Laplacian'ın açısal kısmının analoğudur. Demek ki,"n" boyutlarda Laplasyen olarak parçalanır
∇^2 = r^1-n∂/∂rr^n-1∂/∂r + r^-2Δ_S^n-1.
  - Bu Stokes teoremi ve Hℓ uzayı önceki özelliği takip eden "L"2("S""n"−1) dan iç çarpıma göre ortogonaldir. Demek ki,
∫_S^n-1 fg̅ dΩ= 0
"f" ∈ Hℓ ve "g" ∈ H"k" for "k" ≠ ℓ.için
 - Aksine, Hℓ uzayı Δ"S""n"−1 nın öz uzayları tamdır. Özel olarak, Δ_S^n-1^-1 Riesz potansiyeli için spektral teoreminin bir uygulaması Hℓ uzayları diğer kanıtları veriyor. İkişerli ortogonal ve "L"2("S""n"−1) içinde tamdır.
 - Her homojen polinom "P" ∈ Pℓ formu içinde teklik yazılabilir 
P(x) = P_ℓ(x) + |x|^2P_ℓ-2 + ⋯+ 
burada "P""j" ∈ A"j". Özel olarak,
𝐇_ℓ= n+ℓ-1n-1-n+ℓ-3n- 1.
yüksek boyutlar içinde küresel harmoniklerin bir ortogonal tabanı değişkenlerin ayrılmasının metodu ile tümevarım ile inşa edilebilir, küresel Laplasyen için Sturm-Liouville problemi çözümü ile
Δ_S^n-1 = sin^2-nϕ∂/∂ϕsin^n-2ϕ∂/∂ϕ + sin^-2ϕΔ_S^n-2
burada φ "S""n"−1 üzerinde bir küresel koordinat sistemi içinde eksenel koordinattır. Bir işlem gibi sonuçtur
Y_l_1, …l_n-1 (θ_1, …θ_n-1) = 1/√(2π) e^i l_1 θ_1 ∏_j = 2^n-1 _j P̅^l_n-2_l_j (θ_j)
burada |ℓ1| ≤ ℓ2 ≤ ... ≤ ℓ"n"−1 indisleri karşılar ve özdeğer −ℓ"n"−1(ℓ"n"−1 + "n"−2)dır. Çarpım içindeki fonksiyonlar Legendre fonksiyonunun terimleri içinde tanımlanıyor
_j P̅^l_L (θ) = √(2L+j-1/2 (L+l+j-2)!/(L-l)!) sin^2-j/2 (θ) P^-(l + j-2/2)_L+j-2/2 (cosθ)


## Gösterim teorisi ile bağlantısı.
Hℓ uzayı ℓ derecenin küresel harmoniğinin bir (SO(3))nokta çevresinde dönmelerin simetri grubunun bir gösterimi ve SU(2) çift örtüktür. Aslında, iki-boyutlu küre üzerinde dönme hareketi ve böylece ayrıca fonksiyon düzeni ile Hℓ üzerinde
 ψ↦ψ∘ρ
ψ için bir küresel harmonik ve ρ bir dönme ve Hℓ gösterimi SO(3)ün bir indirgenemez gösterimidir.
Hℓnın ögeleri Aℓnın ögelerinin küre için sınırlandırılmış olarak ortaya çıkar: üç-boyutlu öklid uzayı R3 üzerinde ℓ derecenin homojen harmonik polinomlarıdır. ψ ∈ Aℓ nin polarizasyonu ile, burada ψ_i_1…i_ℓ indisler üzerinde teklik şartı ile belirlenen simetrik katsayılardır,
ψ(x_1,…,x_n) = ∑_i_1…i_ℓψ_i_1…i_ℓx_i_1⋯x_i_ℓ.
Durum that ψ be harmonik is tensör ψ_i_1…i_ℓ onaylanması için eşdeğerdir ve indislerin her çifti üzerinde bağımsız iz olmalı. Böylece SO(3), Hℓ nin indirgenemez gösterim olarak ℓ derecesinin simetrik tensörlerinin izsizlik uzayı için izomorfiktir.
Daha genel olarak, yüksek boyutlar içinde tutan analog durumlar: "n"-küre üzerinde küresel harmoniklerin Hℓ uzayı izsiz simetrik ℓ-tensörler için karşılık gelen SO("n"+1)nin indirgenemez gösterimidir. Bununla birlikte, oysa SO(2)nin ve SO(3) ün her indirgenemez tensör gösterimi bu türündür, yüksek boyutlar içinde özel ortogonal gruplar ek bir indirgenemez gösterimleri var ve bu tutum içinde ortaya çıkmaz.
Özel ortogonal grupların have ek spin gösterimleri var ve tensör gösterimleri değildir ve "tipik olarak" küresel harmonikler değildir. bir istisna SO(3)ün spin gösterimidir: strictly speaking these are çift örtü SU(2) ve SO(3)ün çift örtünün gösterimidir. sırayla, SU(2) birim kuaterniyonların grubu ile özdeştir ve 3-küre ile ile bu çakışma, 3-küre üzerinde küresel harmoniklerin uzayı SO(3)ün belli dönmesidir, kuaterniyonik çarpım ile harekete göre.


### Genellemeler.
İki-kürenin açı koruyucu simetrileri Möbiüs dönüşümleri PSL(2,C)'nin grubu ile tarif edilmektedir. Bu grup ile ilgili olarak, küre genel Riemann kürenin eşdeğeridir. Grup PSL(2,C) (uygun) Lorentz grubuna izomorf ve iki küre üzerinde hareket Minkowski uzayında göksel küre üzerinde Lorentz grubunun eylemi ile uygundur. Lorentz grubunun küresel harmonik analoğu bir Hipergeometrik seri ile verilir; bundan başka, küresel harmoniklerin terimleri içinde yeniden ifade edileblir. SO(3) = PSU(2) olarak PSL(2,C)nin bir altgrubudur. Daha genel olarak, hipergeometrik serisi herhangi bir simetrik uzay simetrilerini açıklamak için jeneralize olabilir; Özellikle, hipergeometrik serisi herhangi bir Lie grubu için geliştirilmiş olabilir.