Identidades de Green
# Identidades de Green

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

Esta identidad se deriva del teorema de la divergencia aplicado a un campo vectorial $\mathbf {F} =\psi \nabla \varphi$.

Si $\varphi$ es una función continuamente diferenciable de clase $C^2$ y $\psi$ es otra función continuamente diferenciable, pero de clase $C^1$ en una región U, entonces:

    $\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,$

donde $\Delta =\nabla ^{2}$ es el operador Laplaciano.

## Segunda identidad de Green

Si $\varphi$ y $\psi$ son funciones continuamente diferenciables de clase $C^2$ las dos en U, entonces:

    $\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.$

## Tercera identidad de Green

La tercera identidad de Green se obtiene a partir de la segunda particularizando la función $\phi (y)$ a:

    $\varphi (y)={\frac {1}{|\mathbf {x} -y|}}$

En este caso, el laplaciano de $\phi (y)$ es:

$\Delta \varphi (y)=-4\pi \delta \left(\mathbf {x} -y\right)$

La tercera identidad de Green dice entonces que, si $\psi$ es una función continuamente diferenciable de clase $C^2$ en U, entonces:

    $\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.$

Donde:

    $k=4\pi \psi (x)$ si $x\in Int(U)$,
    $k=2\pi \psi (x)$ si $x\in \partial U$ y tiene un plano tangente a $x$
    $k=0$ en el resto de casos.
