Skalárpotenciál (matematika)

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez
Homogén gömb gravitációs potenciálja

Sablon:Egyért2 A skalárpotenciál a vektoranalízis integrálfajtáinak egyike. Azt a skalármezőt határozza meg, aminek az adott vektormező a gradiense:

F(r)=grad Φ(r)=Φ(r)

itt F(r)  a vektormező, és Φ  a potenciál. Ha F  konzervatív erőtér, ahol F  a legkisebb kényszer elve szerint mindig a Φ  potenciál legnagyobb meredeksége felé mutat, akkor

F(r)=grad Φ(r)=Φ(r).

A fizikában a skalárpotenciálokat a konzervatív erőterek vizsgálatához használják. Ilyen terek például az elektromos és a gravitációs mezők, továbbá az örvénymentes áramlások is.

Fogalma

A potenciál fogalmának használata történeti okok miatt nem egységes.

Matematikai és fizikai potenciál

Habár belőle származik, nem keverendő össze a matematikai potenciál fogalma a fizikaival. Minden fizikai potenciál leírható matematikai eszközökkel, de nem minden matematikailag megadható potenciálnak van fizikai jelentése.

A fizikában a potenciál első közelítésben egy konzervatív erő munkavégző képességét jelenti. Ez már egybevág a matematikai potenciálfüggvénnyel, ami ezt a képességeit függvényértékekben jeleníti meg. Jelentheti a potenciál a függvény egyes értékeit is, mint a gravitációs és az elektromos potenciál, voltban vagy J/kg-ban mérve.

Szokás még a helyzeti energiát is potenciális energiának nevezni. Ez sem véletlenül emlékeztet a matematikai fogalomra, mivelhogy konzervatív erőtérben egy test helyzeti energiája is leírható skalárpotenciállal,[1] nem beszélve a hidrodinamikai sebességpotenciálról, ami szintén skalárpotenciállal ábrázolható.

Potenciálvektorok és potenciálmezők

További zavart okoz az, hogy a potenciál szó sok szóösszetételben szerepel. Nem világos, hogy melyik összetétel kapcsolódik a skalárpotenciálhoz, és melyik a vektorpotenciálhoz. Egy ilyen zavarba ejtő szó a potenciálmező. Aki nem ismeri közelebbről a témát, az azt hiheti, hogy ez a potenciál skalármezője, de a legtöbb szerző ezt nem így használja, hanem a potenciál gradienseként kapott vektormezőt érti rajta.[2][3]

Egyes szerzők a deriváltként kapott vektormezőt gradiensmezőnek nevezik, mivel a gradiensoperátor alkalmazásával kapták,[4] míg mások potenciálvektornak, arra emlékeztetve, hogy ennek a mezőnek van potenciálja.[5]

Definíció és tulajdonságok

Egy Φ:rΦ(r) skalármező akkor és csak akkor áll elő skalárpotenciálként, ha egy egyszeresen összefüggő tartományon

  1. kétszer folytonosan differenciálható
  2. létezik egy F:rF(r) vektormező, amire:
    F(r)=gradΦ(r)=Φ(r)

F-nek, mint a potenciál gradiensének a következő ekvivalens tulajdonságai vannak:[5][6]

  1. A görbe menti integrál útfüggetlensége, vagyis az integrál csak a végpontoktól függ, a köztük bejárt úttól nem:

A,(g)BF(r)dr=EAEB

  1. A zárt görbék menti integrálok eltűnnek, azaz a körintegrálja zérus:

SF(r)dr=0

  1. Ahogy definiáltuk, azaz létezik potenciál, aminek gradiense:

F(r)=gradΦ(r)

  1. A mező örvénymentes, vagyis rotációja azonosan nulla:
rotF(r)=0

Kapcsolat a harmonikus függvényekkel

Egy kétszer folytonosan differenciálható skalármező harmonikus, ha tiszta második parciális deriváltjainak összege azonosan nulla. A Δ Laplace-operátorral

ΔΦ(r)=div(gradΦ(r))=divF(r)=F(r)=2Φ(r)x2+2Φ(r)y2+2Φ(r)y2,
ΔΦ(r)=f(r)

megoldásait potenciálfüggvénynek vagy potenciálnak nevezik.

ΔΦ(r)=0

megoldásai a harmonikus függvények.[7] Egyes szerzők azonban csak a harmonikus függvényeket hívják potenciálnak.[8] A potenciálelméletet is ezekre a függvényekre szűkítik le.[8]

Példák

A Newton-potenciál az egyik legismertebb skalárpotenciál:

Φ(r)=1|r|,

ami csak három dimenzióban harmonikus függvény, azaz ha r2=x2+y2+z2.

Két dimenzióban logaritmikus potenciál:[9]

Φ(r)=ln(|r|)

Az ln(1/r) = -ln(r) csak két dimenzióban harmonikus, azaz ha r2=x2+y2.

Három dimenzióban közönséges potenciál:

ΔΦ = 1/r² és ΔΦ = −1/r².

Ugyanígy, csak két dimenzióban harmonikusak a Φ(x,y)=exsin(y) és a Φ(x,y)=excos(y) függvények.

Poisson- és Laplace-mezők

Egy skalármező gradienseként adódó vektormező örvénymentes, ezért forrásmezőnek is nevezik őket.[10] (Ez nem jelenti azt, hogy nem lehetnek forrásmentesek is.)

A Poisson- és a Laplace-egyenletek megoldásaiból kapott gradiensmezők így osztályozhatók:

  • A Poisson-egyenletből kapott függvények, amelyekre még f(r)0 is teljesül, Ezek a Poisson- vagy Newton-mezők.[10] Azaz, ha egy ρ(r) skalárpotenciálja a megfelelő inhomogén ΔΦ(r)=ρ(r) parciális differenciálegyenlet partikuláris megoldása, akkor a derivált vektormezőket Poisson- vagy Newton-mezőknek nevezik. Nevezetes példák a gravitációs mező, vagy egy töltés körül kialakult elektromos mező, ha nincs a közelben egy másik töltés. Ekkor az erővonalak a végtelenbe tartanak.
  • A Laplace-egyenletből kapott függvények forrásmentes Laplace-mezők, amelyekre a Poisson-egyenlet mellett még f(r)=0 is teljesül.[7] Azaz, ha egy σ(r) mező skalárpotenciálja a megfelelő peremfeltételekkel a ΔΦ(r)=0 homogén Laplace-egyenlet megoldása, akkor a potenciál deriváltjaként adódó gradiensmező Laplace-mező. Példa erre két ellentétes előjelű töltés elektromos tere. Ekkor az erővonalak végesen a másik töltésbe futnak be.

A két mező szuperpozíciójaként adódó mezőkre totális potenciálfüggvény adható meg, ami a fenti partikuláris és homogén megoldások összegeként írható fel.[10]

Kapcsolat a vektorpotenciállal

A más vektormezők rotációjaként adódó örvénymezők forrásmentesek, és megfordítva, a forrásmentes vektormezőknek van vektorpotenciáljuk, aminek rotációi.[7]

A vektoranalízis alaptétele, más néven Helmholtz-tétel szerint majdnem minden H(r) vektortér előáll F(r) és G(r) szuperpozíciójaként, ahol az első komponens egy Φ(r) skalárpotenciál gradiense, a második azonban egy Γ(r) vektorpotenciál rotációja:

H(r)=F(r)+G(r)=gradΦ(r)+rotΓ(r)=Φ(r)+×Γ(r)

Hogyha F(r) konzervatív erőtér, amiben az F erő a legkisebb kényszer elve szerint a Φ  potenciál legnagyobb meredeksége felé irányul, akkor az előbbi egyenlet így is írható:

H(r)=F(r)+G(r)=gradΦ(r)+rotΓ(r)=Φ(r)+×Γ(r).

Története

A matematikai potenciálfogalmat a francia Joseph-Louis Lagrange vezette be, aki a gravitációs erő

F=G m0m1r2

Newton-féle képlete alapján megállapította, hogy az F erő három Fx, Fy és Fz erő összegére bontható, amelyek értelmezhetők egy közös, skalár értékű „primitív függvény”, U(x0;y0;z0) parciális deriváltjaiként.:[1]

F(r0|r1)=Gm0 m1r2 r^10=Gm0 m1r3(x0x1y0y1z0z1)=Fx(r0|r1)+Fy(r0|r1)+Fz(r0|r1)=Gm0m1x0x1r3x^ Gm0m1y0y1r3y^ Gm0m1z0z1r3z^=x(Gm0m1r)x^+y(Gm0m1r)y^+z(Gm0m1r)z^ mit  r=((x0x1)2+(y0y1)2+(z0z1)2)12

Amint látható, az U(x0;y0;z0) primitív függvény a tér minden (x1|y1|z1)-on kívüli pontjában értelmezve van, és m0 (negatív előjelű) helyzeti energiája m1 előterében:

Wpot(r0|r1)=Gm0m1r

Megfigyeléseit nem sokkal később potenciál néven foglalták össze. Kutatását az angol George Green matematikus és fizikus folytatta, akinek 1828-ban megjelent Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism című művében foglalkozott a potenciálfüggvénnyel. Végül Carl Friedrich Gauss 1840-ben[1] (más források szerint 1836-ban[11]) tovább mélyítette és népszerűsítette a potenciál fogalmát.

Jegyzetek

Sablon:Jegyzetek

Sablon:Nemzetközi katalógusok Sablon:Portál

  1. 1,0 1,1 1,2 [W. Gellert, H. Küstner, M. Hellwich, H. Kästner]: Kleine Enzyklopädie Mathematik. Leipzig 1970, S. 741-742.
  2. §4 Potentialfelder. In: Mathematik für Ingenieure III. WS 2009/2010, Universität Kiel.
  3. Albert Fetzer, Heiner Fränkel: Mathematik 2: Lehrbuch für ingenieurwissenschaftliche Studiengänge. Springer, Berlin/Heidelberg, S. 322.
  4. Grimsehl: Lehrbuch der Physik, Bd. I. Leipzig 1954, S. 579.
  5. 5,0 5,1 [W. Gellert, H. Küstner, M. Hellwich, H. Kästner]: Kleine Enzyklopädie Mathematik. Leipzig 1970, S. 547-548.
  6. Sablon:Cite web
  7. 7,0 7,1 7,2 Lothar Papula: Mathematik für Ingenieure und Naturwissenschaftler: Vektoranalysis, Wahrscheinlichkeitsrechnung, mathematische Statistik, Fehler- und Ausgleichsrechnung, Band 3; Vieweg + Teubner, 2008, S. 85-92.
  8. 8,0 8,1 [W. Gellert, H. Küstner, M. Hellwich, H. Kästner]: Kleine Enzyklopädie Mathematik. Leipzig 1970, S. 743-746.
  9. [W. Gellert, H. Küstner, M. Hellwich, H. Kästner]: Kleine Enzyklopädie Mathematik. Leipzig 1970, S. 746.
  10. 10,0 10,1 10,2 Adolf J. Schwab; Begriffswelt der Feldtheorie; Springer, 2002, S. 18-20.
  11. Grimsehl: Lehrbuch der Physik, Bd. I; Leipzig 1954, S. 160.