title: Identidades de Green
text: # 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.
  