Ortogonális koordináta-rendszer

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez

A matematikában az ortogonális koordináta-rendszerekben az egyes koordinátákhoz tartozó koordinátafelületek ortogonálisan (derékszögűen) metszik egymást. Egy adott qk (a felső index most nem hatványozás, hanem Einstein-féle notáció) koordinátához tartozó koordinátavonal, koordinátafelület vagy koordináta-hiperfelület, ahol a qk konstans. Például az (x, y, z) Descartes-féle koordináta-rendszer ortogonális, hiszen koordinátafelületei, az xy, az yz és az xz koordinátasíkok egymásra merőlegesek. Az ortogonális koordináta-rendszerek a görbevonalú koordináta-rendszerek speciális esetei.

Motiváció

Téglalaprács konform leképezése. Jegyezzük meg, hogy a derékszögűség megmarad

Míg a vektorműveletek és a fizikai törvények általában legkönnyebben a Descartes-koordinátákkal írhatók le, gyakran más koordináta-rendszereket használnak különböző problémák leírására, például peremérték problémák, amelyek különböző alkalmazásokból származnak, mint kvantummechanika, áramlástan, elektrodinamika, plazmafizika, hő és anyagok diffúziója.

A nem Descartes-féle koordináta-rendszereknek az az előnye, hogy az adott probléma szimmetriájához képest választhatók. Például egy robbanás nyomáshulláma legerősebben a nyomás középpontjától kifelé terjed, így gömbi koordinátákban a probléma majdhogynem egydimenzióssá válik. A nyomáshullám Descartes-féle koordinátarendszerben a helytől függ. Egy másik probléma egy gyűrű alakban áramló folyadék: Descartes-féle koordináta-rendszerben parciális differenciálegyenlettel leírható, de hengerkoordináta-rendszerben egydimenzióssá válik, és parciális differenciálegyenlet helyett csak differenciálegyenletet kell megoldani.

Az ortogonális koordináta-rendszerek az egyszerűség miatt részesítik előnyben a nem ortogonális koordináta-rendszerekkel szemben. Például lehetővé teszik több probléma megoldását a változók szétválasztásával. A változók szétválasztása egy módszer ahhoz, hogy egy többváltozós differenciálegyenletből egyváltozós differenciálegyenlet-rendszert hozzanak létre, amelyek megoldhatók ismert függvények segítségével. Több egyenlet visszavezethető Laplace egyenletére vagy a Helmholtz-egyenletre. Laplace egyenlete szétválasztható 13 ismert ortogonális koordináta-rendszerben (a kivétel a toroid koordináta-rendszer), és a Helmholtz-egyenlet szétválasztható 11 ismert ortogonális koordináta-rendszerben.[1][2]

Egy további előny, hogy az ortogonális koordináta-rendszerek metrikus tenzora diagonális. Ez ekvivalens azzal, hogy az infinitezimális ds2 távolságnégyzet írható, mint a négyzetre emelt infinitezimális koordináta-elmozdulás skálázott összege:

ds2=k=1d(hkdqk)2

ahol d a dimenzió, és a skálázási egyenletek (vagy skálázási tényezők):

hk(𝐪) =def gkk(𝐪)=|𝐞k|

egyenlő a metrikus tenzor átlós elemeinek négyzetgyökeivel, avagy a 𝐞k lokális bázisvektorok hosszával. Erről később még lesz szó. Ezeknek a hi skálázási tényezőknek a segítségével különböző differenciáloperátorok számolhatók át az új koordinátákra, mint a gradiens, a Laplace-operátor, a divergencia és a rotáció.

A kétdimenziós ortogonális koordináta-rendszerek generálásának egy egyszerű módja a Descartes-koordináta-rendszerre alkalmazott konform leképezés. Legyenek a Descartes-koordináták (x, y); ekkor a koordináták kölcsönösen egyértelműen megfeleltethetők a z = x + iy komplex számmal, ahol i a képzetes egység. Bármely w = f(z) holomorf függvény, melynek deriváltja különbözik a nullától, konform leképezést generál. Ha a kapott komplex számot úgy írjuk, mint w = u + iv, akkor a konstans u és v értékekhez tartozó görbék derékszögben metszik egymást, ahogy azt a konstans x és y koordinátagörbék is teszik.

A kétdimenziós ortogonális koordináta-rendszerek magasabb dimenziókra is kibővíthetők. Felvetítéssel hengerkoordinátákhoz jutunk, de meg is forgathatjuk a kétdimenziós koordináta-rendszert valamelyik szimmetriatengelye körül. Azonban vannak más ortogonális koordináta-rendszerek, mint például az ellipszoid koordináta-rendszer. Általánosabb rendszerekhez juthatunk, ha vesszük a szükséges felületeket, és ortogonális trajektóriáikat.

Bázisvektorok

Kovariáns bázis

Kétdimenziós ortogonális koordináták. Az ábra mutatja azokat a görbéket, melyek egy kivételével az összes többi rögzítésével kaphatók, bázisvektoraikkal. Jegyezzük meg, hogy a bázisvektoroknak nem kell egyenlő hosszúaknak lenniük: csak az ortogonalitás követelmény

A Descartes-féle koordináta-rendszerekben a bázisvektorok konstansok. Az általánosabb görbe vonalú koordináta-rendszerek esetén pontonként határozható meg helyi vektorbázis. Ezek általában nem konstansok: ez a görbe vonalú koordináta-rendszerek lényege, és így egy fontos fogalom. Ortogonális koordináta-rendszerek esetén ezek mind ortogonális bázisok, azaz

𝐞i𝐞j=0haij

Ezek a bázisvektorok definíció szerint érintői azoknak a görbéknek, amelyek úgy kaphatók, hogy egy kivétellel rögzítjük a koordinátákat, és egy változhat:

𝐞i=𝐫qi

ahol r egy pont, és qi az a koordináta, melyhez tartozó bázisvektort kivonatoljuk. Más szavakkal, a többi koordináta rögzítése mellett ezt a koordinátát paraméterként változtatjuk; a befutott görbét e paraméter mentén deriváljuk, és így kapjuk a koordinátához tartozó bázisvektort.

Jegyezzük meg, hogy a helyi bázis vektorai nem feltétlenül egyenlő hosszúságúak. Hosszaik megegyeznek a helyi hi skálázási tényezőkkel. Pontosabban, a hi skálázási tényező az 𝐞^i helyi bázisvektor hossza. A skálázási tényezőket nevezik Lamé-együtthatóknak is, ami nem tévesztendő össze a Lamé-paraméterekkel.

A normalizált bázisvektorokat kalapos betűk jelölik, és a megfelelő hosszakkal leosztva kaphatók:

𝐞^i=𝐞ihi=𝐞i|𝐞i|

Egy vektormező megadható komponenseivel a bázisvektorokban, vagy a normalizált bázisvektorokban. Alkalmazáskban inkább a normalizált bázisvektorokat használják, hogy a mennyiségek könnyebben értelmezhetőek legyenek. A deriváltakban inkább a bázisvektorokat használják.

Kontravariáns bázis

A fent megadott helyi bázisok a kovariáns bázisok, hiszen hosszuk együtt változik a vektorokkal. A kontravariáns vektorok iránya ugyanaz, mint a kovariáns bázisvektoroké, de hosszuk annak reciproka. Azt mondják, hogy a két bázis reciproka egymásnak:

𝐞i=𝐞^ihi=𝐞ihi2

ami következik abból, hogy definíció szerint 𝐞i𝐞j=δij (a Kronecker-deltával). Jegyezzük meg, hogy:

𝐞^i=𝐞ihi=hi𝐞i=𝐞^i

Most három bázisunk is van a vektorok leírásához: az ei kovariáns bázis, az êi normalizált bázis és az ei kontravariáns bázis. Míg egy vektor objektív mennyiség, azaz független a koordináta-rendszertől, a vektor komponensei függenek a koordináta-rendszertől.

A zavar elkerülése érdekében egy x vektor koordinátái az ei bázisban xi, az ei bázisban xi:

𝐱=ixi𝐞i=ixi𝐞i

Az indexek helyzete a komponensek számítási módját mutatja, ami nem tévesztendő össze a hatványozással. Jegyezzük meg még azt is, hogy a szumma szimbólumon belül, illetve a teljes bázisra kiterjedő összegzési tartományt gyakran mellőzik (Einstein-féle notáció):

hi2xi=xi

Ezzel szemben nincs elterjedt jelölés a normalizált bázisban megadott vektorkomponensek számára; a cikkben alsó indexeket használunk, és megjegyezzük, hogy normalizált bázist használunk.

Vektoralgebra

A vektorok koordinátánként összeadhatók és kivonhatók, a Descartes-féle koordináta-rendszerhez hasonlóan. A többi vektorművelet végrehajtásához azonban további meggondolások szükségesek.

A következőkhöz megjegyezzük, hogy mindkét vektornak ugyanabban a helyi bázisban kell adva lennie. Mivel a különböző pontokhoz különböző bázisok tartoznak, azért ilyenkor figyelembe kell venni a különböző helyi bázisokat.

Skaláris szorzat

Descartes-féle koordináta-rendszerben a skaláris szorzat a megfelelő koordináták szorzatának az összege. Ortogonális koordinátákban két vektor, x és y skalárszorzata ugyanezt az alakot ölti a normalizált bázisban:

𝐱𝐲=ixi𝐞^ijyj𝐞^j=ixiyi

Ez annak a következménye, hogy a normalizált bázis ortonormált. Kovariáns vagy kontravariáns esetben:

𝐱𝐲=ihi2xiyi=ixiyihi2=ixiyi=ixiyi

Ez származtatható abból, hogy a vektorokat komponensekre bontjuk, normalizáljuk a bázisvektorokat, és vesszük a skaláris szorzatot. Például két dimenzióban:

𝐱𝐲=(x1𝐞1+x2𝐞2)(y1𝐞1+y2𝐞2)=(x1h1𝐞^1+x2h2𝐞^2)(y1𝐞^1h1+y2𝐞^2h2)=x1y1+x2y2

Vektoriális szorzat

Descartes-koordinátákban két vektor vektoriális szorzata három dimenzióban van értelmezve:

𝐱×𝐲=(x2y3x3y2)𝐞^1+(x3y1x1y3)𝐞^2+(x1y2x2y1)𝐞^3

A fenti képlet ortonormált bázisokban érvényes. Kovariáns és kontravariáns bázisokban a bázisokat normalizálni kell:

𝐱×𝐲=ixi𝐞i×jyj𝐞j=ixihi𝐞^i×jyjhj𝐞^j

ami kifejtve:

𝐱×𝐲=(x2y3x3y2)h2h3h1𝐞1+(x3y1x1y3)h1h3h2𝐞2+(x1y2x2y1)h1h2h3𝐞3

A Levi-Civita tenzor lehetővé teszi a vektoriális szorzat tömör jelölését, ami leegyszerűsíti a vektoriális szorzat általánosítását nem ortogonális bázisokra és magasabb dimenziókra. A Levi-Civita tenzor tartalmaz nullától és egytől különböző elemeket, ha a skálázási tényezők nem mindegyike egyenlő eggyel.

Vektorkalkulus

Differenciálás

Tekintve egy pont infinitezimális elmozdulását, nyilvánvaló, hogy:

d𝐫=i𝐫qidqi=i𝐞idqi

definíció szerint egy függvény gradiensének teljesítenie kell, hogy:

df=fd𝐫df=fi𝐞idqi

A szabály ugyanez, ha ƒ tenzor. Következik, hogy a nabla operátor:

=i𝐞iqi

és ez igaz marad görbe vonalú koordinátákban. A gradiens és a Laplace-operátor számítható a nabla operátor segítségével.

Alapképletek

Az êi normalizált bázisvektorokból és dr-ből a következők konstruálhatók:[3][4]

Differenciálelem Vektorok Skalárok
Vonalelem A qi koordinátagörbe érintővektora:

d=hidqi𝐞^i=𝐫qidqi

Infinitezimális hosszúság

d=d𝐫d𝐫=(h1dq1)2+(h2dq2)2+(h3dq3)2

Felszínelem A qk = konstans koordinátafelület normálisa:

d𝐒=(hidqi𝐞^i)×(hjdqj𝐞^j)=dqidqj(𝐫qi×𝐫qj)=hihjdqidqj𝐞^k

Infinitezimális felszín

dSk=hihjdqidqj

Térfogatelem N/A Infinitezimális térfogat

dV=|(h1dq1𝐞^1)(h2dq2𝐞^2)×(h3dq3𝐞^3)|=|𝐞^1𝐞^2×𝐞^3|h1h2h3dq1dq2dq3=h1h2h3dq1dq2dq3=Jdq1dq2dq3

ahol:

J=|𝐫q1(𝐫q2×𝐫q3)|=|(x,y,z)(q1,q2,q3)|=h1h2h3

a Jacobi-determináns, melynek geometriai reprezentációja a dxdydz infinitezimális kocka térfogat-deformációja az ortogonális koordináta-rendszer infinitezimális görbült térfogatára.

Integrál

A fenti vonalelemmel egy F vektor egy 𝒫 útvonala menti vonalintegrál:

𝒫𝐅d𝐫=𝒫iFi𝐞ij𝐞jdqj=i𝒫Fidqi

Egy konstanson tartott qk koordinátával leírt felület infinitezimális felszíneleme:

dAk=ikdsi=ikhidqi

Hasonlóan, a térfogatelem:

dV=idsi=ihidqi

ahol a nagy Π szimbólum szorzást jelöl ahhoz hasonlóan, ahogy egy nagy Σ összegzést jelöl. Jegyezzük meg, hogy a skálázási ténxyezők szorzata megegyezik a Jacobi-determinánssal.

Például egy F vektorfüggvény felületi integrálja egy q1 = konstans 𝒮 felület mentén három dimenzióban:

𝒮𝐅d𝐀=𝒮𝐅𝐧^ dA=𝒮𝐅𝐞^1 dA=𝒮F1h2h3h1dq2dq3

Jegyezzük meg, hogy F1/h1 az F felszínre normális komponense.

Differenciáloperátorok három dimenzióban

Mivel ezek az operátorok gyakoriak az alkalmazásokban, azért ebben a szakaszban a normalizált bázist használjuk: Fi=𝐅𝐞^i.

Operátor Kifejezés
Skalármező gradiense ϕ=𝐞^1h1ϕq1+𝐞^2h2ϕq2+𝐞^3h3ϕq3
Vektormező divergenciája 𝐅=1h1h2h3[q1(F1h2h3)+q2(F2h3h1)+q3(F3h1h2)]
Vektormező rotációja ×𝐅=𝐞^1h2h3[q2(h3F3)q3(h2F2)]+𝐞^2h3h1[q3(h1F1)q1(h3F3)]+𝐞^3h1h2[q1(h2F2)q2(h1F1)]=1h1h2h3|h1𝐞^1h2𝐞^2h3𝐞^3q1q2q3h1F1h2F2h3F3|
Skalármező Laplace-operátora 2ϕ=1h1h2h3[q1(h2h3h1ϕq1)+q2(h3h1h2ϕq2)+q3(h1h2h3ϕq3)]

Az ϵijk Levi-Civita-szimbólummal és a Jacobi-determinánssal, melyre J=h1h2h3, és az ismétlődő indexek összegzésének feltételezésével a fnti képletek kompaktabban is írhatók:

Operátor Kifejezés
Skalármező gradiense ϕ=𝐞^khkϕqk
Vektormező divergenciája 𝐅=1Jqk(JhkFk)
Vektormező rotációja (csak 3 dimenzióban) ×𝐅=hk𝐞^kJϵijkqi(hjFj)
Skalármező Laplace-operátora 2ϕ=1Jqk(Jhk2ϕqk)

Megjegyezzük, hogy skalármező gradiense kifejezhető a J Jacobi-mátrixszal és a kannikus parciális deriváltakkal:

𝐉=[ϕq1,ϕq2,ϕq3]

bázisváltással:

ϕ=𝐒𝐑𝐉T

ahol a forgató és skálázó mátrixok:

𝐑=[𝐞1,𝐞2,𝐞3]
𝐒=diag([h11,h21,h31]).

Gyakoribb ortogonális koordináták

A szokásos Descartes-koordinátarendszer mellett még gyakran használnak több más koordináta-rendszert is.[4] Ezeket az alábbi táblázat tartalmazza. A tömörség kedvéért az egyes koordináták által befutott intervallumokat intervallumként jelöljük egyenlőtlenségek helyett.

Görbevonalú koordináták: q1, q2, q3) Transformáció az (x, y, z) Descartes-koordinátákra Skálázási tényezők
Gömbkoordináták

(r,θ,ϕ)[0,)×[0,π]×[0,2π)

x=rsinθcosϕy=rsinθsinϕz=rcosθ h1=1h2=rh3=rsinθ
Hengerkoordináta-rendszer

(r,ϕ,z)[0,)×[0,2π)×(,)

x=rcosϕy=rsinϕz=z h1=h3=1h2=r
Parabolikus hengerkoordináta-rendszer

(u,v,z)(,)×[0,)×(,)

x=12(u2v2)y=uvz=z h1=h2=u2+v2h3=1
Forgásparaboloid koordináta-rendszer

(u,v,ϕ)[0,)×[0,)×[0,2π)

x=uvcosϕy=uvsinϕz=12(u2v2) h1=h2=u2+v2h3=uv
Paraboloid koordináta-rendszer

(λ,μ,ν)[0,b2)×(b2,a2)×(a2,)b2<a2

x2qia2+y2qib2=2z+qi

ahol (q1,q2,q3)=(λ,μ,ν)

hi=12(qjqi)(qkqi)(a2qi)(b2qi)
Ellipszoid koordináta-rendszer

(λ,μ,ν)[0,c2)×(c2,b2)×(b2,a2)λ<c2<b2<a2,c2<μ<b2<a2,c2<b2<ν<a2,

x2a2qi+y2b2qi+z2c2qi=1

ahol (q1,q2,q3)=(λ,μ,ν)

hi=12(qjqi)(qkqi)(a2qi)(b2qi)(c2qi)
Elliptikus hengerkoordináta-rendszer

(u,v,z)[0,)×[0,2π)×(,)

x=achucosvy=ashusinvz=z h1=h2=ash2u+sin2vh3=1
Nyújtott ellipszoid koordináta-rendszer

(ξ,η,ϕ)[0,)×[0,π]×[0,2π)

x=ashξsinηcosϕy=ashξsinηsinϕz=achξcosη h1=h2=ash2ξ+sin2ηh3=ashξsinη
Lapított ellipszoid koordináta-rendszer

(ξ,η,ϕ)[0,)×[π2,π2]×[0,2π)

x=achξcosηcosϕy=achξcosηsinϕz=ashξsinη h1=h2=ash2ξ+sin2ηh3=achξcosη
Bipoláris hengerkoordináta-rendszer

(u,v,z)[0,2π)×(,)×(,)

x=ashvchvcosuy=asinuchvcosuz=z h1=h2=achvcosuh3=1
Toroid koordináta-rendszer

(u,v,ϕ)(π,π]×[0,)×[0,2π)

x=ashvcosϕchvcosuy=ashvsinϕchvcosuz=asinuchvcosu h1=h2=achvcosuh3=ashvchvcosu
Biszférikus koordináta-rendszer

(u,v,ϕ)(π,π]×[0,)×[0,2π)

x=asinucosϕchvcosuy=asinusinϕchvcosuz=ashvchvcosu h1=h2=achvcosuh3=asinuchvcosu
Kúpkoordináták

(λ,μ,ν)ν2<b2<μ2<a2λ[0,)

x=λμνaby=λa(μ2a2)(ν2a2)a2b2z=λb(μ2b2)(ν2b2)b2a2 h1=1h22=λ2(μ2ν2)(μ2a2)(b2μ2)h32=λ2(μ2ν2)(ν2a2)(ν2b2)

Jegyzetek

Sablon:Jegyzetek

Fordítás

Források

  • Margenau H. and Murphy GM. (1956) The Mathematics of Physics and Chemistry, 2nd. ed., Van Nostrand, pp. 172–192.
  • Leonid P. Lebedev and Michael J. Cloud (2003) Tensor Analysis, pp. 81 – 88.

Sablon:Portál

  1. Sablon:Cite web
  2. Sablon:Harvnb
  3. Mathematical Handbook of Formulas and Tables (3rd edition), S. Lipschutz, M.R. Spiegel, J. Liu, Schuam's Outline Series, 2009, Sablon:Isbn.
  4. 4,0 4,1 Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipschutz, D. Spellman, Schaum’s Outlines, McGraw Hill (USA), 2009, Sablon:Isbn