# Identità di Green

Le identità di Green, il cui nome è dovuto a George Green, sono due corollari del teorema della divergenza per funzioni continue e differenziabili al second'ordine.

## Descrizione
### Prima identità di Green

Siano $\varphi$ e $\psi$ due funzioni scalari definite in una regione $U\subset \mathbb {R} ^{3}$, con $\varphi$ derivabile due volte con continuità e $\psi$ derivabile con continuità. Considerando il campo vettoriale $\mathbf {F} =\psi \nabla \varphi$, con $\nabla \varphi$ il gradiente di $\varphi$, il teorema della divergenza mostra che:
    $\int _{U}\mathbf {\nabla } \cdot \mathbf {F} \ dV=\oint _{\partial U}\mathbf {F} \cdot \mathbf {n} \ dS$
dove $\mathbf {n}$ è il versore uscente normale all'elemento di superficie $dS$ e $\partial U$ la superficie che delimita $U$. Dal momento che:
    $\mathbf {\nabla } \cdot (\psi \nabla \varphi )=\psi \nabla ^{2}\varphi +\nabla \psi \cdot \nabla \varphi$
si ottiene la prima identità di Green:
    $\int _{U}\left(\psi \nabla ^{2}\varphi +\nabla \varphi \cdot \nabla \psi \right)\,dV=\oint _{\partial U}\psi \left(\nabla \varphi \cdot \mathbf {n} \right)\,dS$
dove $\nabla ^{2}$ è il laplaciano e:
    $\psi \nabla \varphi \cdot \mathbf {n} =\psi {\frac {\partial \varphi }{\partial n}}$
con $\partial \varphi /\partial n$ la derivata rispetto alla direzione $\mathbf {n}$. Tale teorema è sostanzialmente la versione in più dimensioni dell'integrazione per parti, con $\psi$ ed il gradiente di $\varphi$ rimpiazzati con $u$ e $v$.
La prima identità di Green è un caso particolare della più generale identità ottenuta dal teorema della divergenza sostituendo $\mathbf {F} =\psi \mathbf {\Gamma }$:
    $\int _{U}\left(\psi \nabla \cdot \mathbf {\Gamma } +\mathbf {\Gamma } \cdot \nabla \psi \right)\,dV=\oint _{\partial U}\psi \left(\mathbf {\Gamma } \cdot \mathbf {n} \right)\,dS$

### Seconda identità di Green

Se $\varphi$ e $\psi$ sono derivabili due volte con continuità su $U\subset \mathbb {R} ^{3}$ e $\varepsilon$ è derivabile con continuità, si può scegliere $\mathbf {F} =\psi \varepsilon \nabla \varphi -\varphi \varepsilon \nabla \psi$ ed ottenere:
    $\int _{U}\left[\psi \nabla \cdot \left(\varepsilon \nabla \varphi \right)-\varphi \nabla \cdot \left(\varepsilon \nabla \psi \right)\right]\,dV=\oint _{\partial U}\varepsilon \left(\psi {\partial \varphi \over \partial n}-\varphi {\partial \psi \over \partial n}\right)\,dS$
Nel caso particolare in cui $\varepsilon =1$ allora:
    $\int _{U}\left(\psi \nabla ^{2}\varphi -\varphi \nabla ^{2}\psi \right)\,dV=\oint _{\partial U}\left(\psi {\partial \varphi \over \partial n}-\varphi {\partial \psi \over \partial n}\right)dS$

### Terza identità di Green

La terza identità di Green deriva dalla seconda ponendo $\varphi =G$, dove $G$ è la funzione di Green del laplaciano. Questo significa che:
    $\nabla ^{2}G(\mathbf {x} ,\mathbf {\eta } )=\delta (\mathbf {x} -\mathbf {\eta } )$
Ad esempio in $\mathbb {R} ^{3}$ si ha una soluzione della forma:
    $G(\mathbf {x} ,\mathbf {\eta } )={-1 \over 4\pi \|\mathbf {x} -\mathbf {\eta } \|}$
La terza identità afferma che se $\psi$ è derivabile due volte con continuità su $U$ allora:
    $\int _{U}\left[G(\mathbf {y} ,\mathbf {\eta } )\nabla ^{2}\psi (\mathbf {y} )\right]\,dV_{\mathbf {y} }-\psi (\mathbf {\eta } )=\oint _{\partial U}\left[G(\mathbf {y} ,\mathbf {\eta } ){\partial \psi \over \partial n}(\mathbf {y} )-\psi (\mathbf {y} ){\partial G(\mathbf {y} ,\mathbf {\eta } ) \over \partial n}\right]\,dS_{\mathbf {y} }$
Nel caso in cui $\psi$ è una funzione armonica, ovvero è essa stessa soluzione dell'equazione di Laplace, allora $\nabla ^{2}\psi =0$ e l'identità si semplifica assumendo la forma:
    $\psi (\mathbf {\eta } )=\oint _{\partial U}\left[\psi (\mathbf {y} ){\partial G(\mathbf {y} ,\mathbf {\eta } ) \over \partial n}-G(\mathbf {y} ,\mathbf {\eta } ){\partial \psi \over \partial n}(\mathbf {y} )\right]\,dS_{\mathbf {y} }$
Il secondo termine nel precedente integrale può essere eliminato scegliendo $G$ in modo che si annulli sulla frontiera di $U$:
    $\psi (\mathbf {\eta } )=\oint _{\partial U}\psi (\mathbf {y} ){\partial G(\mathbf {y} ,\mathbf {\eta } ) \over \partial n}\,dS_{\mathbf {y} }$
Tale forma è usata per costruire soluzioni al problema delle condizioni al contorno di Dirichlet, mentre per le condizioni al contorno di Neumann si utilizza invece la funzione di Green il cui gradiente si annulla sulla frontiera.