De Wikipedia, la enciclopedia libre
En matemáticas, las identidades de Green son un conjunto de igualdades en cálculo vectorial. Nombradas así en honor del matemático George Green, el mismo que descubrió el teorema de Green.
Primera identidad de Green
[editar]
Esta identidad se deriva del teorema de la divergencia aplicado a un campo vectorial
.
Si
es una función continuamente diferenciable de clase C2 y
es otra función continuamente diferenciable, pero de clase C1 en una región U, entonces:
![{\displaystyle \int _{U}\psi \Delta \varphi \,dV=\oint _{\partial U}\psi \left(\nabla \varphi \cdot n\right)\,dS-\int _{U}\left(\nabla \varphi \cdot \nabla \psi \right)\,dV,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e742fe972df6f450b0e5e72b6c470681d1df7377)
donde
es el operador Laplaciano.
Segunda identidad de Green
[editar]
Si
y
son funciones continuamente diferenciables de clase C2 las dos en U, entonces:
![{\displaystyle \int _{U}\left(\psi \Delta \varphi -\varphi \Delta \psi \right)\,dV=\oint _{\partial U}\left(\psi {\frac {\partial \varphi }{\partial n}}-\varphi {\frac {\partial \psi }{\partial n}}\right)\,dS.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e529966447a81a32cf7ec8e53e0ef383b7fc944c)
Tercera identidad de Green
[editar]
La tercera identidad de Green se obtiene a partir de la segunda particularizando la función
a:
![{\displaystyle \varphi (y)={\frac {1}{|\mathbf {x} -y|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dacb55fa0918c4cc85eb358dc3e4d8a9680469ac)
En este caso, el laplaciano de
es:
La tercera identidad de Green dice entonces que, si
es una función continuamente diferenciable de clase C2 en U, entonces:
![{\displaystyle \oint _{\partial U}\left[{\frac {1}{|\mathbf {x} -y|}}{\frac {\partial }{\partial n}}\psi (\mathbf {y} )-\psi (\mathbf {y} ){\frac {\partial }{\partial n_{\mathbf {y} }}}{\frac {1}{|\mathbf {x} -y|}}\right]\,dS_{\mathbf {y} }-\int _{U}\left[{\frac {1}{|\mathbf {x} -y|}}\Delta \psi (\mathbf {y} )\right]\,dV_{\mathbf {y} }=k.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f5724d70a50fa6f1889cdc96a80e2c70b8b5ac3)
Donde:
si
,
si
y tiene un plano tangente a ![{\displaystyle x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
en el resto de casos.