Anar al contingut

Equació de Laplace

De L'Enciclopèdia, la wikipedia en valencià
Pierre-Simon Laplace

En càlcul vectorial, la equació de Laplace és una equació en derivades parcials de segon orde de tipo elíptic, que rep eixe nom en honor al físic i matemàtic Pierre-Simon Laplace.

Introduïda per les necessitats de la mecànica newtoniana, l'equació de Laplace apareix en moltes atres branques de la física teòrica com l'astronomia, l'electrostàtica, la mecànica de decorreguts o la mecànica quàntica.

Definició

[editar | editar còdic]

En tres dimensions, el problema consistix en trobar una funció real u, doblement diferenciable, de variables reals (x,y,z), tal que

En coordenades cartesianes,

2ux2+2uy2+2uz2=0.

En coordenades cilíndriques (ρ,φ,z),

1ρρ(ρuρ)+1ρ22uφ2+2uz2=0

En coordenades esfèriques (r,θ,ϕ),

1r2r(r2ur)+1r2sinθθ(sinθuθ)+1r2sin2θ2uϕ2=0

Moltes voltes s'escriu de la següent manera:

2u=0

a on 2 és l'operador de Laplace o "Laplaciano".

Esta equació en derivades parcials, també es pot escriure com

u=0,

a on és la divergència, i és el gradient.

O si no, algunes voltes la notació pot ser:

Δu=0,

a on Δ també és l'operador de Laplace.

Les solucions de l'equació de Laplace es denominen funcions harmòniques.

Si del costat dret de l'igualtat s'especifica una funció, f(x,y,z), és dir, si l'equació s'escriu com:

Δu=f

llavors es té la "equació de Poisson", per lo que l'equació de Laplace és un cas particular d'esta. L'equació de Laplace també és un cas particular de l'equació de Helmholtz.

L'equació de Laplace, aixina com l'equació de Poisson, són els eixemples més simples d'equacions en derivades parcials elíptiques.


Condicions de contorn o frontera

[editar | editar còdic]
Equació de Laplace sobre una corona (r=2 i R=4) en condicions de contorn de Dirichlet: o(r=2)=0 i o(r=4)=4sense(5*θ)

Problema de Dirichlet

[editar | editar còdic]
Artícul principal → Problema de Dirichlet.

El problema de Dirichlet per a l'equació de Laplace consistix en trobar una solució u en algun domini D tal que u sobre el seu contorn o frontera D és igual a una funció determinada:

{u=0,xDu=g,xD

Com l'operador de Laplace apareix en l'equació de la calor, una interpretació física d'este problema és lo següent: fixar la temperatura sobre el contorn del domini d'acort a una especificació determinada de la condició de contorn. La temperatura fluïx fins que alcança un estat estacionario en el que dita temperatura en cada punt del domini no canvia més. La distribució de la temperatura en l'interior serà llavors la solució corresponent al problema de Dirichlet.

Problema de Neumann

[editar | editar còdic]
Artícul principal → Problema de Neumann.

Les condicions de contorn de Neumann per a l'equació de Laplace no especifica la funció u en sí mateixa sobre el contorn D, pero sí la seua derivada normal. Físicament, açò correspon a la construcció d'un potencial per a un camp vectorial l'efecte del qual és conegut en el contorn de D:

{u=0,xDuη=g,xD


Les solucions de l'equació de Laplace són funcions harmòniques; són totes analítiques dins del domini a on l'equació se satisfà. Si qualssevol de dos funcions són solucions a l'equació de Laplace (o de qualsevol equació diferencial homogénea), la seua suma (o qualsevol combinació llineal) és també una solució. Esta propietat, cridada principi de superposició, és molt útil, per eixemple, les solucions de problemes complexos poden construir-se simplement sumant les solucions determinades i variables.

Equació de Laplace en dos dimensions

[editar | editar còdic]

L'equació de Laplace en dos variables independents:

φxx+φyy=0.
L'equació de Laplace apareix modelant vàries situacions físiques que no depenen del temps. Pot denotar la temperatura en la llei de Fourier de transferència de calor, o la concentració química en la llei de Fick de difusió o el potencial electrostàtica en la llei de Ohm de conducció.

Funcions analítiques

[editar | editar còdic]

Les parts reals i imaginàries d'una funció analítica en els complexos satisfan l'equació de Laplace. És dir, si z=x+iy, i si

f(z)=u(x,y)+iv(x,y),

llavors la condició necessària per a que f(z) siga analítica és que se satisfacen les equacions de Cauchy-Riemann:

ux=vy,vx=uy.

a on ux és la primera derivada parcial de u sobre x.

Llavors

uyy=(vx)y=(vy)x=(ux)x.

Per lo tant u satisfà l'equació de Laplace. Un càlcul similar demostra que v també satisfà l'equació de Laplace.

A l'inversa, donada una funció harmònica, és la part real d'una funció analítica, f(z) (a lo manco localment). Una forma de provar-ho és:

f(z)=φ(x,y)+iψ(x,y),

llavors les equacions de Cauchy-Riemann se satisfan:

ψx=φy,ψy=φx.

Esta relació no determina ψ, només els seus increments:

dψ=φydx+φxdy.

L'equació de Laplace per a φ implica que la condició de integrabilidad per a ψ se satisfà:

ψxy=ψyx,

i aixina ψ pot definir-se en una integral de llínea. La condició de integrabilidad i el teorema de Stokes implica que el valor de l'integral de llínea que conecta dos punts és independent del camí. El parell de solucions resultant de l'equació de Laplace es denominen funcions harmòniques conjugades. Esta construcció només és vàlida localment, o sempre que el camí no estiga rodejant a una singularitat. Per eixemple, si r i θ són coordenades polars i

φ=logr,

llavors una funció analítica corresponent és

f(z)=logz=logr+iθ.

No obstant, l'àngul φ és univaluada solament en una regió que no inclou a l'orige.

L'estreta relació entre l'equació de Laplace i les funcions analítiques establix que qualsevol solució de l'equació de Laplace té derivades en tots els órdens, i pot expandir-se en series de potències, a lo manco dins d'un círcul que no incloga una singularitat. Açò està en contrast en les solucions de l'equació d'ona, que per lo general té menor regularitat.

Hi ha una íntima conexió entre les séries de potències i les séries de Fourier. Si expandim una funció f en séries de potències dins d'un círcul de radi R, açò significa que

f(z)=n=0cnzn,

en coeficients definits adequadament les parts reals dels quals i imaginàries estan donades per:

cn=an+ibn.

Llavors

f(z)=n=0[anrncosnθbnrnsinnθ]+in=1[anrnsinnθ+bnrncosnθ],

la qual és una série de Fourier de f.

Fluix de decorregut

[editar | editar còdic]

Siguen les cantitats u i v les components horisontal i vertical del camp de velocitat del fluix incompresible estacionario i irrotacional en dos dimensions, respectivament. La condició de que el fluix siga incompresible és que

ux+vy=0,

i la condició de que el fluix siga irrotacional és que

×𝐕=vxuy=0.

Si definim el diferencial de ψ com

dψ=vdxudy,


llavors la condició de incompresibilidad és la de integrabilidad per a este diferencial: la funció resultant es diu funció de corrent perque és constant a lo llarc de les llínees de fluix. Les primeres derivades de ψ són

ψx=v,ψy=u,

i la condició de irrotacionalidad establix que ψ satisfà l'equació de Laplace. La funció harmònica φ, que és el conjugat de ψ, es denomina potencial de velocitat. Les equacions de Cauchy-Riemann establixen que

φx=u,φy=v.

Aixina que, a cada funció analítica li correspon un fluix de decorregut incompresible estacionario i irrotacional en el pla. La part real és el potencial de velocitat, i la part imaginària és la funció de corrent.

Electrostàtica

[editar | editar còdic]

D'acort a les equacions de Maxwell, un camp elèctric (o,v) en un espai de dos dimensions que és independent del temps satisfà

{×(u,v)=vxuy=0,(u,v)=ρ,

a on ρ és la densitat de càrrega. La primera equació de Maxwell és la condició de integrabilidad per al diferencial

dφ=udxvdy,

aixina que el potencial elèctric φ pot construir-se per a satisfer

φx=u,φy=v.

La segona equació de Maxwell establix que

φxx+φyy=ρ,

coneguda com l'equació de Poisson.

És important observar que l'equació de Laplace pot usar-se en problemes de tres dimensions en electroestática i fluix de decorregut aixina com en dos dimensions.

Equació de Laplace en tres dimensions

[editar | editar còdic]

Solució fonamental

[editar | editar còdic]

Una solució fonamental de l'equació de Laplace satisfà:

Δu=uxx+uyy+uzz=δ(xx,yy,zz),

a on la funció delta de Dirac δ és una font unitària concentrada en un punt (x,y,z). No és una funció en sí, no obstant pot pensar-se com el llímit de funcions que la seua integral sobretot l'espai és unitària, i la regió del qual a on la funció és distinta de zero és només en un punt (vore solució dèbil). És comú elegir una convenció de signes diferent per a esta equació, açò es fa quan es definix la solució fonamental. Freqüentment l'elecció d'este signe és convenient per a treballar en un Δ que és un operador positiu. Aixina la definició de la solució fonamental implica que, si el laplaciano de u és integrat sobre qualsevol volum que tanca el punt de la font, llavors

VudV=1.

L'equació de Laplace no canvia baix un canvi de coordenades, i llavors podem esperar que la solució fonamental pot obtindre's entre solucions que depenen solament de la distància r del punt de la font. Si elegim el volum d'una bola de radi a al voltant del punt de la font, llavors pel teorema de la divergència de Gauss:

1=VudV=SurdS=4πa2ur(a).

Llavors

ur=14πr2,

sobre una esfera de radi r que té com a centre al punt de la font i per lo tant

u=14πr.

Un argument similar mostra que en dos dimensions:

u=12πlogr.

Funció de Green

[editar | editar còdic]

Una funció de Green és una solució fonamental que també satisfà una condició adequada en el contorn S d'un volum V. Per eixemple, G(x,y,z;x,y,z) satisfà

{G=δ(xx,yy,zz)enV,G=0si(x,y,z)enS.

Ara si u és qualsevol solució de l'equació de Poisson en V:

u=f,

i u pren valors de contorn g sobre S, llavors podem aplicar l'identitat de Green, una conseqüència de la teorema de la divergència, el qual satisfà

V[GuuG]dV=V[GuuG]dV=S[GunuGn]dS.

les notacions un i Gn es referixen a derivades normals a S. En vista de que les condicions satisfan u i G, este resultat simplifica a

u(x,y,z)=VGfdV+SGngdS.


Aixina la funció de Green descriu l'influència de f i g en (x,y,z). Per al cas de l'interior d'una esfera de radi a, la funció de Green pot obtindre's per mig de la reflexió:[1] el punt de la font P a distància ρ del centre de l'esfera es reflectix a lo llarc de la llínea radial al punt P que és en una distància

ρ=a2ρ.

S'observa que si P està dins de l'esfera, llavors P estarà fòra de l'esfera. La funció de Green està donada llavors per

14πRa4πρR,

a on R és la distància al punt de la font P i R és la distància al punt reflectit P. Una conseqüència d'esta expressió per a la funció de Green és la fòrmula integral de Poisson. Siga ρ, θ, i φ les components de coordenades esfèriques del punt de la font P. Ací θ és l'àngul en l'eix vertical, la qual és contrària a la notació matemàtica nortamericana, pero complix en l'estàndart europeu i la pràctica de la Física. Llavors la solució de l'equació de Laplace dins de l'esfera està donada per

u(P)=14πa3(1ρ2a2)g(θ,φ)sinφdθdφ(a2+ρ22aρcosΘ)3/2,

a on

cosΘ=cosφcosφ+sinφsinφcos(θθ).

Una conseqüència simple d'esta fòrmula és que si u és una funció harmònica, el valor de u dins de l'esfera és el valor mig dels valors sobre l'esfera. Esta propietat de valor mig implica immediatament que funcions harmòniques no constants no poden prendre el seu valor màxim en un punt interior.

Electrostàtica

[editar | editar còdic]

En l'espai lliure l'equació de laplace de qualsevol potencial electroestático deu ser igual a zero ya que ρ (densitat de càrrega volumètrica) és zero en l'espai lliure.

A partir del gradient del potencial s'obté el camp elèctric

𝐄=V

Prenent la divergència del camp elèctric s'obté l'equació de Poisson, que relaciona el potencial elèctric en la densitat de càrrega

2V=ρε0

En el cas particular de l'espai lliure (ρ=0) l'equació de Poisson es reduïx a la de Laplace.

Usant la teorema de l'unicitat i mostrant que un potencial satisfà l'equació de Laplace (la segona derivada de V deuria ser zero en l'espai lliure) i el potencial té els valors correctes en el contorn, el potencial llavors està unívocamente definit.

Un potencial que no satisfà l'equació de Laplace junt en la condició de contorn és un potencial electroestático inválido.

Vore també

[editar | editar còdic]
  1. Sommerfeld, 1949

Referències

[editar | editar còdic]


Referències

[editar | editar còdic]