Układ współrzędnych sferycznych

Z testwiki
Przejdź do nawigacji Przejdź do wyszukiwania

Sferyczny układ współrzędnychukład współrzędnych w trójwymiarowej przestrzeni euklidesowej.

Istnieje kilka systemów współrzędnych w przestrzeni trójwymiarowej które mogą być uważane za naturalne rozszerzenie układu biegunowego na płaszczyźnie na przestrzeń trójwymiarową. Do takich systemów zalicza się układ współrzędnych walcowych oraz dwa układy współrzędnych sferycznych, roboczo tu nazwanych „matematycznym” oraz „geograficznym”.

W obydwu tych układach istnieją współrzędne odpowiadające odległości od środka pewnej sfery i znanej z geografii długości geograficznej. Różnią się jednak trzecią współrzędną. W systemie „geograficznym” jest ona mierzona od równika (szerokość geograficzna). W systemie „matematycznym” jest ona liczona od bieguna.

W matematycznej literaturze polskojęzycznej występują obydwa typy współrzędnych sferycznych. Na przykład typ „geograficzny” jest przedstawiony w książkach Lei[1] oraz Encyklopedii szkolnej[2], a typ „matematyczny” jest wprowadzany przez Borsuka[3], Starka[4] czy Bronsztejna i Siemiendiajewa[5]. W geografii (współrzędne geograficzne) i astronomii (współrzędne astronomiczne) używa się zawsze współrzędnych opisanych poniżej jako „geograficzne”.

Rys historyczny

Sferyczny system współrzędnych został przedstawiony i rozwinięty w literaturze matematycznej dużo później niż system biegunowy na płaszczyźnie. Zwyczajowo matematycy uznają, iż system ten był wprowadzony przez Jeana Baptista Clairauta, ale Julian Coolidge[6] ocenia jego wkład jako nieistotny.

Leonhard Euler używał tego systemu w 1748[7], a w 1771[8] podał wzory na przejście do kartezjańskiego układu współrzędnych. Podobnego systemu (i oznaczeń) użył Joseph Louis Lagrange w 1773[9].

System „geograficzny”

Współrzędne

Współrzędne punktu w „geograficznym” systemie współrzędnych sferycznych

Dowolnemu punktowi P przypisujemy jego współrzędne sferyczne:

  1. promień wodzący r0, czyli odległość punktu P od początku układu O
  2. długość geograficzną πϕ<π, czyli miarę kąta między rzutem prostokątnym wektora OP na płaszczyznę OXY a osią OX
  3. szerokość geograficzną 12πθ12π, czyli miarę kąta między wektorem OP a jego rzutem na płaszczyznę OXY. Przyjmujemy, że miara kąta jest dodatnia, jeśli rzut wektora OP na oś OZ jest z nią zorientowany zgodnie i ujemna, gdy rzut ten jest zorientowany przeciwnie do osi.

Dla uniknięcia wieloznaczności przyjmuje się, że dla punktów znajdujących się na osi OZ kąt ϕ ma miarę 0 i podobnie, wszystkie współrzędne sferyczne punktu 0 są równe 0.

Przejście do układu kartezjańskiego

Konwersję z układu sferycznego na współrzędne kartezjańskie x,y,z punktu P określają wzory:

x=x(r,θ,ϕ)=rcosθcosϕ
y=y(r,θ,ϕ)=rcosθsinϕ
z=z(r,θ,ϕ)=rsinθ

Jakobian przejścia wynosi

D(x,y,z)D(r,θ,ϕ)=|xrxθxϕyryθyϕzrzθzϕ|= |cosθcosϕrsinθcosϕrcosθsinϕcosθsinϕrsinθsinϕrcosθcosϕsinθrcosθ0|=r2cosθ

Konwersję z układu kartezjańskiego na sferyczny zadają wzory:

r=x2+y2+z2
ϕ=arctgyx
θ=arcsinzr

System „matematyczny”

Współrzędne

Współrzędne punktu w „matematycznym” systemie współrzędnych sferycznych

Dowolnemu punktowi M przypisujemy jego współrzędne sferyczne:

  1. promień wodzący r0, czyli odległość punktu M od początku układu O,
  2. długość azymutalna 0ϕ<2π (Bronsztejn podaje π<ϕπ), czyli miarę kąta między rzutem prostokątnym wektora OM na płaszczyznę OXY a dodatnią półosią OX.
  3. odległość zenitalna 0θπ, czyli miarę kąta między wektorem OM a dodatnią półosią OZ,

Dla uniknięcia wieloznaczności przyjmuje się, że dla punktów znajdujących się na osi OZ kąt ϕ ma miarę 0 i podobnie, wszystkie współrzędne sferyczne punktu O są równe 0.

Przejście do układu kartezjańskiego

Konwersję z układu sferycznego na współrzędne kartezjańskie x,y,z punktu M określają wzory:

x=x(r,θ,ϕ)=rsinθcosϕ,
y=y(r,θ,ϕ)=rsinθsinϕ,
z=z(r,θ,ϕ)=rcosθ.

Jakobian przejścia wynosi

D(x,y,z)D(r,θ,ϕ)=|xrxθxϕyryθyϕzrzθzϕ|= |sinθcosϕrcosθcosϕrsinθsinϕsinθsinϕrcosθsinϕrsinθcosϕcosθrsinθ0|=r2sinθ

Konwersja z układu kartezjańskiego na sferyczny jest zadana przez:

r=x2+y2+z2,
θ=arctgx2+y2z=arccoszr,
ϕ=arctgyx.

(Funkcja arctg powinna być tak dobrana, aby wynik był w odpowiedniej ćwiartce y/x).

Oznaczenia współrzędnych

Układ współrzędnych sferycznych

Nie jest ustalony jeden system oznaczeń współrzędnych. Przykłady różnych podejść (według MathWorld[10]) podane są poniżej (kolejno promień wodzący, długość azymutalna i odległość zenitalna):

  • r,ϕ,θ – Bronsztejn, Siemiediajew 1965, s. 280,
  • r,θ,ϕ – Korn and Korn, 1968, s. 60,
  • r,ϕ,θ – Misner et al. 1973, s. 205,
  • r,ϕ,θ – Arfken 1985, s. 102,
  • r,θ,ϕ – Zwillinger 1985, s. 297–298,
  • ρ,θ,ϕ – Beyer 1987, s. 212,
  • r,ψ,θ – Moon and Spencer 1988, s. 24,
  • r,θ,ϕMathWorld 2005.

Układ sferyczny w astronomii

W astronomii układ sferyczny to umowny sposób, w jaki podaje się współrzędne na sferze niebieskiej lub na powierzchni kuli ziemskiej. Można tego dokonać wybierając koło główne oraz główne kierunki na tym kole. W takim wypadku jedna ze współrzędnych to kąt między płaszczyzną koła głównego a kierunkiem do określonego punktu należącego do powierzchni kuli, druga natomiast stanowi kąt dwuścienny pomiędzy półpłaszczyznami prostopadłymi do płaszczyzny koła głównego, z których jedna ustawiona jest w kierunku głównym, druga przechodzi przez określony punkt.

Współrzędne hipersferyczne

Analogicznie do współrzędnych sferycznych w euklidesowej przestrzeni trójwymiarowej definiuje się system współrzędnych hipersferycznych dla dowolnej przestrzeni euklidesowej n-wymiarowej, w których składowymi są

  1. promień wodzący r0, czyli odległość punktu M od początku układu O,
  2. (n1) współrzędnych kątowych ϕ1,ϕ2,,ϕn1, gdzie:
    • ϕ1,ϕ2,,ϕn2 zawierają się w przedziałach [0,π],
    • ϕn1 zawiera się w przedziale [0,2π).

Przejście do układu kartezjańskiego

Jeśli przez xi,i=1,2,,n oznaczy się współrzędne kartezjańskie punktu M, to można je wyznaczyć w zależności od współrzędnych hipersferycznych wg wzorów[11]

x1=rcos(ϕ1),
x2=rsin(ϕ1)cos(ϕ2),
x3=rsin(ϕ1)sin(ϕ2)cos(ϕ3),
xn1=rsin(ϕ1)sin(ϕn2)cos(ϕn1),
xn=rsin(ϕ1)sin(ϕn2)sin(ϕn1).

Przejście do układu hipersferycznego

Konwersję z układu współrzędnych kartezjańskich na współrzędne hipersferyczne punktu M określają wzory[11]

r=xn2+xn12++x22+x12φ1=arcctgx1xn2+xn12++x22=arccosx1xn2+xn12++x12φ2=arcctgx2xn2+xn12++x32=arccosx2xn2+xn12++x22φn2=arcctgxn2xn2+xn12=arccosxn2xn2+xn12+xn22φn1=2arcctgxn1+xn2+xn12xn={arccosxn1xn2+xn12xn0,2πarccosxn1xn2+xn12xn<0.

Jeżeli xi0 dla pewnego i, a pozostałe współrzędne kartezjańskie są równe zeru, to ψi=0 gdy xi>0 oraz ψi=π(180) gdy xi<0.

Wzory te są jednoznaczne, poza szczególnymi przypadkami: wszystkie współrzędne ψi będą niejednoznacznie określone, gdy wszystkie współrzędne kartezjańskie będą równe zeru; wtedy można wybrać ψi=0.

Zobacz też

Inne układy współrzędnych

Szczególne układy współrzędnych

Inne

Przypisy

Szablon:Przypisy

Linki zewnętrzne

Szablon:Kontrola autorytatywna

it:Sistema di riferimento#Il sistema sferico fi:Koordinaatisto#Pallokoordinaatisto

  1. Franciszek Leja: Geometria analityczna. Wydanie 6. Państw. Wyd. Naukowe, Warszawa 1976, s. 45.
  2. Encyklopedia szkolna – Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1990, s. 299, Szablon:ISBN.
  3. Karol Borsuk: Geometria analityczna wielowymiarowa. „Biblioteka Matematyczna”, tom 23, wydanie 2. Państw. Wyd. Naukowe, Warszawa 1964, s. 17.
  4. Marceli Stark: Geometria analityczna. „Monografie Matematyczne”, tom 26. Warszawa-Wrocław 1951, s. 68. Plik pdf z Rozdziałem 2.
  5. Igor N. Bronsztejn, Konstantin A. Siemiendiajew: Matematyka. Poradnik encyklopedyczny, Państwowe Wydawnictwo Naukowe, Warszawa 1976, s. 280.
  6. Julian Coolidge: The Origin of Polar Coordinates. „The American Mathematical Monthly” 59 (1952); s. 83: this apparently is for what he might have done, not what he actually accomplished which seems to have been nothing at all.
  7. Euler, Leonhard: Introductio in Analysin infinitorum, tom II, 1748.
  8. Leonhard Euler: De solidis quorum superficies in planum explicare licet. „Novi Commentarii Petropolitanae”, 16, 1771, s. 11.
  9. Lagrange, Joseph Louis: Sur l’attraction des spheroides elliptiques. „Memoires de l’Academie de Berlin” 1773.
  10. Szablon:MathWorld
  11. 11,0 11,1 Szablon:Cytuj pismo