Układ współrzędnych 2D, którego liniami współrzędnych są elipsy konfokalne i hiperbole
Eliptyczny układ współrzędnych
W geometrii eliptyczny układ współrzędnych jest dwuwymiarowym ortogonalnym układem współrzędnych , w którym linie współrzędnych są elipsami konfokalnymi i hiperbolami . Ogólnie przyjmuje się
i
,
+
+ a
że
}
dwa ogniska i są ustalone odpowiednio na
- za
{\ displaystyle -a}
za
\
displaystyle
{ , na
osi
-osi
kartezjańskiego układu współrzędnych .
Podstawowa definicja
Najczęstszą definicją współrzędnych eliptycznych jest
( μ , ν )
{\ Displaystyle (\ mu, \ nu)}
x
= za cosh μ sałata ν
y
= za sinh μ grzech ν
{\ Displaystyle {\ rozpocząć {wyrównane} x & = a \ \ cosh \ mu \ \ cos \ nu \\ y& = a \ \ sinh \ mu \ \sin \nu \end{wyrównane}}}
gdzie
ν ∈ [
0
jest
2 π ] .
{\ Displaystyle \ nu \ w [0,2 \ pi].}
nieujemną liczbą rzeczywistą
,
i
Na płaszczyźnie zespolonej istnieje równoważna zależność
x + ja y = za kosz ( μ + ja ν )
{\ Displaystyle x + iy = a \ \ cosh (\ mu + i \ nu)}
Definicje te odpowiadają elipsom i hiperbolom. Tożsamość trygonometryczna
x
2
za
2
pałka
2
μ
+
y
2
za
2
sinh
2
μ
=
sałata
2
ν +
grzech
2
ν = 1
{\ Displaystyle {\ Frac {x ^ {2}} {a ^ {2} \ kosz ^{2}\mu }}+{\frac {y^{2}}{a^{2}\sinh ^{2}\mu }}=\cos ^{2}\nu +\sin ^{2 }\nu =1}
pokazuje, że krzywe o stałej
tworzą
elipsy
, podczas gdy hiperboliczna tożsamość trygonometryczna
x
2
za
2
sałata
2
ν
-
y
2
za
2
2
grzech
ν
=
pałka
2
μ -
sinh
2
μ = 1
{\ Displaystyle {\ Frac {x ^ {2}} {a ^ {2} \ sałata ^{2}\nu }}-{\frac {y^{2}}{a^{2}\sin ^{2}\nu }}=\cosh ^{2}\mu -\sinh ^{2 }\mu =1}
stałej
,
że krzywe tworzą hiperbolę .
Czynniki skali
W ortogonalnym układzie współrzędnych długości wektorów bazowych są znane jako współczynniki skali. Współczynniki skali dla współrzędnych eliptycznych są równe
( μ , ν )
{\ Displaystyle (\ mu, \ nu)}
godz
μ
=
godz
ν
= za
sinh
2
μ +
grzech
2
ν
= za
pałka
2
μ -
sałata
2
ν
.
{\ Displaystyle h _ {\ mu} = h_ {\ nu} = a {\ sqrt {\ sinh ^ {2} \ mu + \ sin ^ {2} \ nu}} = a {\ sqrt {\ cosh ^ {2 }\mu -\cos ^{2}\nu }}.}
Używając podwójnych tożsamości argumentów dla funkcji hiperbolicznych i funkcji trygonometrycznych , współczynniki skali można równoważnie wyrazić jako
godz
μ
=
godz
ν
= za
1 2
( pałka 2 μ - sałata 2 ν )
.
{\ Displaystyle h _ {\ mu} = h_ {\ nu} = a {\ sqrt {{\ Frac {1} {2}} (\ cosh 2 \ mu - \ cos 2 \ nu)}}.}
W konsekwencji nieskończenie mały element pola jest równy
re ZA
=
godz
μ
godz
ν
re μ re ν
=
za
2
(
sinh
2
μ +
grzech
2
ν
)
re μ re ν
=
za
2
(
pałka
2
μ -
sałata
2
ν
)
re μ re ν
=
za
2
2
(
cosh 2 μ - sałata 2 ν
)
re μ re ν
{\ Displaystyle {\ rozpocząć {wyrównane} dA & = h _ {\ mu} h_ {\ nu} d \ mu d \ nu \\& = a ^ { 2}\left(\sinh ^{2}\mu +\sin ^{2}\nu \right)d\mu d\nu \\&=a^{2}\left(\cosh ^{2}\ mu -\cos ^{2}\nu \right)d\mu d\nu \\&={\frac {a^{2}}{2}}\left(\cosh 2\mu -\cos 2\ nu \right)d\mu d\nu \end{aligned}}}
i czyta Laplacian
∇
2
Φ
=
1
za
2
(
sinh
2
μ +
grzech
2
ν
)
(
∂
2
Φ
∂
μ
2
+
∂
2
Φ
∂
ν
2
)
=
1
2
∂
(
pałka
2
μ -
sałata
2
ν
)
(
za
2
Φ
∂
μ
2
+
∂
2
Φ
∂
ν
2
)
=
2
za
2
(
kos 2 μ - sałata 2 ν
)
(
∂
2
Φ
∂
μ
2
+
∂
2
Φ
∂
ν
2
)
{\ Displaystyle {\ rozpocząć { wyrównane}\nabla ^{2}\Phi &={\frac {1}{a^{2}\left(\sinh ^{2}\mu +\sin ^{2}\nu \right)}}\ left ({\frac {\częściowy ^{2}\Phi }{\częściowy \mu ^{2}}}+{\frac {\częściowy ^{2}\Phi }{\częściowy \nu ^{2}} }\right)\\&={\frac {1}{a^{2}\left(\cosh ^{2}\mu -\cos ^{2}\nu \right)}}\left({\ frac {\częściowy ^{2}\Phi }{\częściowy \mu ^{2}}}+{\frac {\częściowy ^{2}\Phi }{\częściowy \nu ^{2}}}\right) \\&={\frac {2}{a^{2}\left(\cosh 2\mu -\cos 2\nu \right)}}\left({\frac {\partial ^{2}\Phi }{\częściowy \mu ^{2}}}+{\frac {\częściowy ^{2}\Phi }{\częściowy \nu ^{2}}}\right)\end{wyrównany}}}
operatory
i
można
wyrazić
różniczkowe, takie jak
∇ ⋅
fa
{\ Displaystyle \ nabla \ cdot \ mathbf {F}}
we współrzędnych
( μ , ν )
{ \displaystyle (\mu ,\nu )}
podstawiając współczynniki skali do ogólnych wzorów znalezionych we współrzędnych ortogonalnych .
Alternatywna definicja
Czasami używany jest alternatywny i geometrycznie intuicyjny zestaw współrzędnych eliptycznych, gdzie
σ = cosh
Displaystyle \ sigma =
mu
μ
{ \
τ
\
}
\
cosh
= cos ν
{\ Displaystyle \ tau = \ cos \ nu}
i . Stąd krzywe stałej
są
hiperbolami
są
elipsami
, podczas gdy krzywe stałej . Współrzędna musi należeć do przedziału [-1, 1], podczas gdy
współrzędna
być
musi
.
większa lub równa jeden
Współrzędne
i
( ) mają prosty związek z
fa
odległościami do ognisk 2
{
F_
{2}
}
\
displaystyle
. Dla
odległości
dowolnego
punktu
,
podczas
2
na płaszczyźnie suma jego do ognisk jest równa
za σ {
\ Displaystyle 2a \ sigma}
gdy ich różnica
re
1
-
re
2
{\ Displaystyle d_ {1} -d_ {2}}
równa się
2 za τ
{\ Displaystyle 2a \ tau}
. Tak więc odległość do
σ
τ
wynosi
za
(
) }
+ τ )
{\ Displaystyle a (\ sigma + \ tau)}
, podczas gdy odległość do jest za (
σ
+
) {\ Displaystyle a (\ sigma + \ tau
za ( σ - τ )
{\ Displaystyle a (\ sigma - \ tau)}
. (
x = +
Przypomnij
a}
sobie, że i
fa
2
{\ displaystyle F_ {2}
+
za
}
znajdują się w
x = - za
{\ displaystyle x = -a}
i {\ displaystyle x = odpowiednio.)
Wadą tych współrzędnych jest to, że punkty o współrzędnych kartezjańskich (x, y) i (
x
( , τ ) {\
(\ sigma, \ tau)}
, -y) mają te same współrzędne Displaystyle współrzędne nie jest funkcją, ale funkcją wielofunkcyjną .
x = za
σ
τ
{\ Displaystyle x = a \ lewo. \ sigma \ prawo. \ tau}
y
2
=
za
2
(
σ
2
- 1
)
(
1 -
τ
2
)
.
{\ Displaystyle y ^ {2} = a ^ {2} \ lewo (\ sigma ^ {2} -1 \ prawo) \ lewo (1- \ tau ^ {2} \ prawo).}
Alternatywne czynniki skali
Współczynniki skali dla alternatywnych współrzędnych eliptycznych to
( σ , τ )
{\ Displaystyle (\ sigma, \ tau)}
h
σ
= za
σ
2
-
τ
2
σ
2
- 1
{\ Displaystyle h _ {\ sigma} = a {\ sqrt {\ Frac {\ sigma ^ {2} - \ tau ^ {2}} {\ sigma ^ {2 }-1}}}}
godz
τ
= za
σ
2
-
τ
2
1 -
τ
2
.
{\ Displaystyle h _ {\ tau} = a {\ sqrt {\ Frac {\ sigma ^ {2} - \ tau ^ {2}} {1- \ tau ^ {2}}}}.}
Stąd element o nieskończenie małej powierzchni staje się
re ZA =
za
2
σ
2
-
τ
2
(
σ
2
- 1
)
(
1 -
τ
2
)
re σ re τ
{\ Displaystyle dA = a ^ {2} {\ Frac {\ sigma ^ {2} - \ tau ^ {2}}{\sqrt {\left(\sigma ^{2}-1\right)\left(1-\tau ^{2}\right)}}}d\sigma d\tau}
a Laplacian jest równy
∇
2
Φ =
1
za
2
(
σ
2
-
τ
2
)
[
σ
2
- 1
∂
∂ σ
(
σ
2
- 1
∂ Φ
∂ σ
)
+
1 -
τ
2
∂
∂ τ
(
1 -
τ
2
∂ Φ
∂ τ
)
]
.
{\ Displaystyle \ nabla ^ {2} \ Phi = {\ Frac {1} {a ^ {2} \ lewo (\ sigma ^ {2} - \ tau ^ {2} \ prawo)}} \ lewo [{\ sqrt {\sigma ^{2}-1}}{\frac {\częściowy}}{\częściowy \sigma}}\left({\sqrt {\sigma ^{2}-1}}{\frac {\częściowy \ Phi }{\częściowy \sigma }}\right)+{\sqrt {1-\tau ^{2}}}{\frac {\częściowy}}{\częściowy \tau}}\left({\sqrt {1- \tau ^{2}}}{\frac {\częściowy \Phi}}{\częściowy \tau}}\right)\right].}
operatory
i
można
wyrazić
różniczkowe, takie jak
∇ ⋅
fa
{\ Displaystyle \ nabla \ cdot \ mathbf {F}}
we współrzędnych
( σ , τ )
{ \displaystyle (\sigma ,\tau )}
podstawiając współczynniki skali do ogólnych wzorów znalezionych we współrzędnych ortogonalnych .
Współrzędne eliptyczne stanowią podstawę dla kilku zestawów trójwymiarowych współrzędnych ortogonalnych :
Eliptyczne współrzędne cylindryczne są tworzone przez rzutowanie w kierunku
-z
{\ displaystyle z}
.
Wydłużone współrzędne sferoidalne są tworzone przez obracanie współrzędnych eliptycznych wokół
osi
spłaszczone
-, tj. Osi łączącej ogniska, podczas gdy współrzędne sferoidalne są tworzone przez obracanie współrzędnych eliptycznych wokół osi
x
{\ displaystyle y}
-axis, czyli oś oddzielająca ogniska.
Współrzędne elipsoidalne są formalnym rozszerzeniem współrzędnych eliptycznych na 3 wymiary, które opierają się na elipsoidach konfokalnych, hiperboloidach jedno- i dwuwarstwowych.
Aplikacje
Klasyczne zastosowania współrzędnych eliptycznych to rozwiązywanie równań różniczkowych cząstkowych , np. równania Laplace'a lub równania Helmholtza , dla których współrzędne eliptyczne są naturalnym opisem układu, umożliwiając w ten sposób separację zmiennych w równaniach różniczkowych cząstkowych . Tradycyjnymi przykładami są układy rozwiązujące, takie jak elektrony krążące wokół cząsteczki lub orbity planetarne o kształcie eliptycznym.
Przydatne mogą być również właściwości geometryczne współrzędnych eliptycznych. Typowy przykład może obejmować integrację po wszystkich parach wektorów
i
\ Displaystyle \ mathbf
q
{
{q}}
, które sumują się do ustalonego wektora
r
=
p
+
q
{\ displaystyle \ mathbf { r} =\mathbf {p} +\mathbf {q} }
, gdzie całka była funkcją długości wektorów
|
p
|
{\ Displaystyle \ lewo | \ mathbf {p} \ prawo |}
i
|
q
|
{\ Displaystyle \ lewo | \ mathbf {q} \ prawo |}
. (W takim przypadku należałoby ustawić
między
dwoma
ogniskami i wyrównać z osią
-
x
, tj.
r
= 2 za
}
^
{\ Displaystyle \ mathbf { r} = 2a \ mathbf {\ kapelusz {x}}}
.) Dla konkretności
r
{\ Displaystyle \ mathbf {r}}
,
p
{\ Displaystyle \ mathbf {p}}
i
q
{\ Displaystyle \ mathbf {q} }
może reprezentować odpowiednio pęd cząstki i produkty jej rozkładu, a całka może obejmować energie kinetyczne produktów (które są proporcjonalne do kwadratu długości pędów).
Zobacz też
Dwuwymiarowy
Trójwymiarowy