Skalárpotenciál (matematika)

Homogén gömb gravitációs potenciálja
Ez a szócikk a matematikai fogalomról szól. Hasonló címmel lásd még: Skalárpotenciál (egyértelműsítő lap).

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 ) {\displaystyle {\vec {F}}({\vec {r}})=\operatorname {grad} \ \Phi ({\vec {r}})={\vec {\nabla }}\Phi ({\vec {r}})}

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

F ( r ) = grad   Φ ( r ) = Φ ( r ) . {\displaystyle {\vec {F}}({\vec {r}})=-\operatorname {grad} \ \Phi ({\vec {r}})=-{\vec {\nabla }}\Phi ({\vec {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 ) {\displaystyle \Phi :{\vec {r}}\mapsto \Phi ({\vec {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 : r F ( r ) {\displaystyle {\vec {F}}:{\vec {r}}\mapsto {\vec {F}}({\vec {r}})} vektormező, amire:
    F ( r ) = grad Φ ( r ) = Φ ( r ) {\displaystyle {\vec {F}}({\vec {r}})=\operatorname {grad} \,\Phi ({\vec {r}})={\vec {\nabla }}\Phi ({\vec {r}})}

F {\displaystyle {\vec {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 ) B F ( r ) d r = E A E B {\displaystyle \int \limits _{A,(g)}^{B}{\vec {F}}({\vec {r}})d{\vec {r}}=E_{A}-E_{B}}

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

S F ( r ) d r = 0 {\displaystyle \oint _{S}{\vec {F}}({\vec {r}})\,\mathrm {d} {\vec {r}}=0}

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

F ( r ) = grad Φ ( r ) {\displaystyle {\displaystyle {\vec {F}}({\vec {r}})=\operatorname {grad} \,\Phi ({\vec {r}})}}

  1. A mező örvénymentes, vagyis rotációja azonosan nulla:
rot F ( r ) = 0 {\displaystyle \operatorname {rot} \,{\vec {F}}({\vec {r}})={\vec {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 Δ   {\displaystyle \Delta \ } Laplace-operátorral

Δ Φ ( r ) = div ( grad Φ ( r ) ) = div F ( r ) = F ( r ) = 2 Φ ( r ) x 2 + 2 Φ ( r ) y 2 + 2 Φ ( r ) y 2 , {\displaystyle \Delta \Phi ({\vec {r}})=\operatorname {div} \,(\operatorname {grad} \,\Phi ({\vec {r}}))=\operatorname {div} \,{\vec {F}}({\vec {r}})={\vec {\nabla }}\cdot {\vec {F}}({\vec {r}})={\frac {\partial ^{2}\Phi ({\vec {r}})}{\partial x^{2}}}+{\frac {\partial ^{2}\Phi ({\vec {r}})}{\partial y^{2}}}+{\frac {\partial ^{2}\Phi ({\vec {r}})}{\partial y^{2}}},}
  • A Poisson-egyenlet:
Δ Φ ( r ) = f ( r ) {\displaystyle \Delta \Phi ({\vec {r}})=f({\vec {r}})}

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

  • A Laplace-egyenlet a Poisson-egyenlet speciális esete:

Δ Φ ( r ) = 0 {\displaystyle \Delta \Phi ({\vec {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 | , {\displaystyle \Phi ({\vec {r}})={\frac {1}{|{\vec {r}}|}},}

ami csak három dimenzióban harmonikus függvény, azaz ha r 2 = x 2 + y 2 + z 2 {\displaystyle r^{2}=x^{2}+y^{2}+z^{2}} .

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

Φ ( r ) = ln ( | r | ) {\displaystyle \Phi ({\vec {r}})=\ln(|{\vec {r}}|)}

Az ln(1/r) = -ln(r) csak két dimenzióban harmonikus, azaz ha r 2 = x 2 + y 2 {\displaystyle r^{2}=x^{2}+y^{2}} .

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 ) = e x sin ( y ) {\displaystyle \Phi (x,y)=e^{x}\cdot \sin(y)} és a Φ ( x , y ) = e x cos ( y ) {\displaystyle \Phi (x,y)=e^{x}\cdot \cos(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 {\displaystyle f({\vec {r}})\neq 0} is teljesül, Ezek a Poisson- vagy Newton-mezők.[10] Azaz, ha egy ρ ( r ) {\displaystyle \rho ({\vec {r}})} skalárpotenciálja a megfelelő inhomogén Δ Φ ( r ) = ρ ( r ) {\displaystyle \Delta \Phi ({\vec {r}})=\rho ({\vec {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 {\displaystyle f({\vec {r}})=0} is teljesül.[7] Azaz, ha egy σ ( r ) {\displaystyle \sigma ({\vec {r}})} mező skalárpotenciálja a megfelelő peremfeltételekkel a Δ Φ ( r ) = 0 {\displaystyle \Delta \Phi ({\vec {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 ) {\displaystyle {\vec {H}}({\vec {r}})} vektortér előáll F ( r ) {\displaystyle {\vec {F}}({\vec {r}})\,} és G ( r ) {\displaystyle {\vec {G}}({\vec {r}})} szuperpozíciójaként, ahol az első komponens egy Φ ( r ) {\displaystyle \Phi ({\vec {r}})\,} skalárpotenciál gradiense, a második azonban egy Γ ( r ) {\displaystyle {\vec {\Gamma }}({\vec {r}})} vektorpotenciál rotációja:

H ( r ) = F ( r ) + G ( r ) = grad Φ ( r ) + rot Γ ( r ) = Φ ( r ) + × Γ ( r ) {\displaystyle {\vec {H}}({\vec {r}})={\vec {F}}({\vec {r}})+{\vec {G}}({\vec {r}})=\operatorname {grad} \,\Phi ({\vec {r}})+\operatorname {rot} \,{\vec {\Gamma }}({\vec {r}})={\vec {\nabla }}\Phi ({\vec {r}})+{\vec {\nabla }}\times {\vec {\Gamma }}({\vec {r}})}

Hogyha F ( r ) {\displaystyle {\vec {F}}({\vec {r}})\,} konzervatív erőtér, amiben az F {\displaystyle {\vec {F}}\,} erő a legkisebb kényszer elve szerint a Φ   {\displaystyle \Phi \ } 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 ) . {\displaystyle {\vec {H}}({\vec {r}})={\vec {F}}({\vec {r}})+{\vec {G}}({\vec {r}})=-\operatorname {grad} \,\Phi ({\vec {r}})+\operatorname {rot} \,{\vec {\Gamma }}({\vec {r}})=-{\vec {\nabla }}\Phi ({\vec {r}})+{\vec {\nabla }}\times {\vec {\Gamma }}({\vec {r}}).}

Története

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

F = G   m 0 m 1 r 2 {\displaystyle F=-G\ {\frac {m_{0}\cdot m_{1}}{r^{2}}}}

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 ( r 0 | r 1 ) = G m 0   m 1 r 2   r ^ 10 = G m 0   m 1 r 3 ( x 0 x 1 y 0 y 1 z 0 z 1 ) = F x ( r 0 | r 1 ) + F y ( r 0 | r 1 ) + F z ( r 0 | r 1 ) = G m 0 m 1 x 0 x 1 r 3 x ^   G m 0 m 1 y 0 y 1 r 3 y ^   G m 0 m 1 z 0 z 1 r 3 z ^ = x ( G m 0 m 1 r ) x ^ + y ( G m 0 m 1 r ) y ^ + z ( G m 0 m 1 r ) z ^   mit     r = ( ( x 0 x 1 ) 2 + ( y 0 y 1 ) 2 + ( z 0 z 1 ) 2 ) 1 2 {\displaystyle {\begin{aligned}{\vec {F}}({\vec {r}}_{0}|{\vec {r}}_{1})&={-G\,m_{0}}\ {\frac {m_{1}}{r^{2}}}\ {\hat {\vec {r}}}_{10}\\&={-G\,m_{0}}\ {\frac {m_{1}}{r^{3}}}{\begin{pmatrix}x_{0}-x_{1}\\y_{0}-y_{1}\\z_{0}-z_{1}\end{pmatrix}}={\vec {F}}_{x}({\vec {r}}_{0}|{\vec {r}}_{1})+{\vec {F}}_{y}({\vec {r}}_{0}|{\vec {r}}_{1})+{\vec {F}}_{z}({\vec {r}}_{0}|{\vec {r}}_{1})\\&={-G\,m_{0}\,m_{1}}\,{\frac {x_{0}-x_{1}}{r^{3}}}\,{\hat {\vec {x}}}\ {-G\,m_{0}\,m_{1}}\,{\frac {y_{0}-y_{1}}{r^{3}}}\,{\hat {\vec {y}}}\ {-G\,m_{0}\,m_{1}}\,{\frac {z_{0}-z_{1}}{r^{3}}}\,{\hat {\vec {z}}}\\&={\frac {\partial }{\partial x}}\left({G\,m_{0}}\,{\frac {m_{1}}{r}}\right)\,{\hat {\vec {x}}}+{\frac {\partial }{\partial y}}\left({G\,m_{0}}\,{\frac {m_{1}}{r}}\right)\,{\hat {\vec {y}}}+{\frac {\partial }{\partial z}}\left({G\,m_{0}}\,{\frac {m_{1}}{r}}\right)\,{\hat {\vec {z}}}\\&\quad \ {\text{mit}}\ \ r=((x_{0}-x_{1})^{2}+(y_{0}-y_{1})^{2}+(z_{0}-z_{1})^{2})^{\frac {1}{2}}\end{aligned}}}

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:

W p o t ( r 0 | r 1 ) = G m 0 m 1 r {\displaystyle W_{pot}({\vec {r}}_{0}|{\vec {r}}_{1})=-{G\,m_{0}}\,{\frac {m_{1}}{r}}}

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

  1. a b c [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. a b [W. Gellert, H. Küstner, M. Hellwich, H. Kästner]: Kleine Enzyklopädie Mathematik. Leipzig 1970, S. 547-548.
  6. Konzervatív erőterek. [2018. november 23-i dátummal az eredetiből archiválva]. (Hozzáférés: 2020. december 26.)
  7. a b c Lothar Papula: Mathematik für Ingenieure und Naturwissenschaftler: Vektoranalysis, Wahrscheinlichkeitsrechnung, mathematische Statistik, Fehler- und Ausgleichsrechnung, Band 3; Vieweg + Teubner, 2008, S. 85-92.
  8. a b [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. a b c Adolf J. Schwab; Begriffswelt der Feldtheorie; Springer, 2002, S. 18-20.
  11. Grimsehl: Lehrbuch der Physik, Bd. I; Leipzig 1954, S. 160.