# Analisi vettoriale/Operatore vettoriale, derivate seconde, derivate di un prodotto

Analisi vettoriale
Copertina Tutti i moduli · Sviluppo
* Algebra vettorialeAnalisi vettoriale/Algebra vettoriale
* Campi scalare e vettoriale: gradienteAnalisi vettoriale/Campi scalare e vettoriale: gradiente
* Flusso di un vettore attraverso una superficieAnalisi vettoriale/Flusso di un vettore attraverso una superficie
* Teorema di Gauss: divergenzaAnalisi vettoriale/Teorema di Gauss: divergenza
* Circolazione di un vettore, rotore, teorema di StokeAnalisi vettoriale/Circolazione di un vettore, rotore, teorema di Stoke
* Derivata direzionale di un vettoreAnalisi vettoriale/Derivata direzionale di un vettore
* Operatore vettoriale, derivate seconde, derivate di un prodottoAnalisi vettoriale/Operatore vettoriale, derivate seconde, derivate di un prodotto
* Teorema di GreenAnalisi vettoriale/Teorema di Green
* Formule più importanti dell'analisi vettorialeAnalisi vettoriale/Formule più importanti dell'analisi vettoriale
Modifica il sommario
1. Precedentemente ci siamo famigliarizzati con un numero di operazioni differenziali su vettori e scalari: la formazione del gradiente di uno scalare (E.6), la divergenza di un vettore (E.18), il rotore di un vettore (E.29), etc. L'operare con queste espressioni può venire semplificato e disposto in uno schema armonioso e semplice introducendo l'operatore differenziale hamiltoniano simbolico. Questo operatore è designato col simbolo $\nabla$ (operatore Nabla). Nel sistema cartesiano di coordinate ha la forma
             $\nabla =\mathbf {i} {\delta \over \delta x}+\mathbf {j} {\delta \over \delta y}+\mathbf {k} {\delta \over \delta z}\ \ \ \ \ \ (E.35)$
in cui i, j e k sono i versori lungo gli assi x, y e z. In altri termini, $\nabla$ è un operatore vettoriale le cui componenti lungo le coordinate sono
             $\nabla _{x}={\delta \over \delta x},\ \nabla _{y}={\delta \over \delta y},\ \nabla _{z}={\delta \over \delta z}\ \ \ \ \ (E.36)$
Questo operatore vettoriale corrisponde nella analisi vettoriale al simbolo di derivazione nella analisi convenzionale. Nella analisi convenzionale il differenziale di una funzione può essere considerato come il prodotto dell'operatore differenziale d e la funzione differenziabile. Analogamente, moltiplicando scalari e vettori funzioni di posizione per l'operatore $\nabla$, si ottengono le derivate spaziali di queste quantità.
Per esempio, il prodotto di $\nabla$ per lo scalare $\phi$ ovviamente dovrebbe venire dato per scontato di uguagliare
             $\Delta \phi =(\mathbf {i} {\delta \over \delta x}+\mathbf {j} {\delta \over \delta y}+\mathbf {k} {\delta \over \delta k})\phi =\mathbf {i} {\delta \phi \over \delta x}+\mathbf {j} {\delta \phi \over \delta y}+\mathbf {k} {\delta \phi \over \delta k}$
Perciò, secondo l'equazione (E.6), si ha
             $\nabla \phi =grad\ \phi \ \ \ \ \ (E.37)$
Perciò, $\nabla \phi$ può effettiva,emte venire chiamato la derivata spaziale di $\phi$ perché il vettore $grad\phi$ caratterizza totalmente le variazioni che lo scalare $\phi$ subisce sullo spostamento del punto di osservazione (su un cambiamento nelle coordinate x, y, e z). Allo stesso modo, alte espressioni che includono l'operatore $\nabla$ pure caratterizzano varie relazioni tra i valori delle funzioni scalari e vettoriali in punti adiacenti dello spazio.
Con certe limitazioni che verranno trattate di seguito, possiamo formare dei prodotti di $\nabla$ con altri vettori e scalari come se $\nabla$ fosse un vero vettore e non un simbolo. Come quando si impiega il simbolo del differenziale, si dà per scontato che l'operatore $\nabla$ agisce solamente sulle quantità alla sua destra.
Per esempio, il prodotto scalare di $\nabla$ vettore simbolico ed un qualunque vettore $\mathbf {a}$ è
             $\nabla \mathbf {a} =\nabla _{x}a_{x}+\nabla _{y}a_{y}+\nabla _{z}a_{z}={\delta a_{x} \over \delta x}+{\delta a_{y} \over \delta y}+{\delta a_{z} \over \delta z}$
Parimenti secondo la equazione (E.15)
             $\nabla \ \mathbf {a} =div\ \mathbf {a} \ \ \ \ (E.38)$
A parte il prodotto scalare del vettore simbolico $\nabla$ed un vettore $\mathbf {a}$, è possibile pure formare il prodotto vettoriale di questi vettori che, come può essere facilmente visto, è il rotore del vettore $\mathbf {a}$:
             $[\nabla \mathbf {a} ]={\begin{vmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\{\delta \over \delta _{x}}&{\delta \over \delta y}&{\delta \over \delta _{z}}\\a_{x}&a_{y}&a_{z}\end{vmatrix}}=rot\ \mathbf {a} \ \ \ \ (E.39)$
Pertanto, la componente del vettore $[\nabla \mathbf {a} ]$ lungo l'asse x è
             $[\nabla \mathbf {a} ]_{x}=\nabla _{y}a_{x}-\nabla _{z}a_{y}={\delta a_{z} \over \delta y}-{\delta a_{y} \over \delta z}=rot_{x}\ \mathbf {a}$
2. La utilizzazione dell'operatore ∇ semplifica grandemente l'ottenimento della derivata seconda ed successive delle quantità scalari e vettoriali. Per esempio, il quadrato del vettore ∇ è
             $\nabla ^{2}=\nabla _{x}^{2}+\nabla _{y}^{2}+\nabla _{z}^{2}={\delta \over \delta x}{\delta \over \delta x}+{\delta \over \delta y}{\delta \over \delta y}+{\delta \over \delta z}{\delta \over \delta z}={\delta ^{2} \over \delta x^{2}}+{\delta ^{2} \over \delta y^{2}}+{\delta ^{2} \over \delta z^{2}}$
Pertanto, discutendo sul significato del prodotto ∇(∇φ) secondo le regole dell'algebra vettoriale
             $\mathbf {b} (\mathbf {b} \phi )=\mathbf {b} ^{2}\phi$
si ottiene
             $div\ grad\ \phi =\nabla (\nabla \phi )=\nabla ^{2}\phi ={\delta ^{2}\phi \over \delta x^{2}}+{\delta ^{2}\phi \over \delta y^{2}}+{\delta ^{2}\phi \over \delta z^{2}}\ \ \ \ (E.40)$
(l'operatore ∇$^2$ viene sovente designato con Δ e chiamato operatore laplaciano.)
Ci possiamo convincere della validità di questa equazione tramite dei calcoli diretti con l'aiuto delle equazioni (E.5) e (E.15):
             $div\ grad\ \phi ={\delta \ grad_{x}\ \phi \over dx}+{\delta \ grad_{y}\ \phi \over dy}+{\delta \ grad_{z}\phi \over dz}={\delta ^{2}\ \phi \over dx}+{\delta ^{2}\ \phi \over dy}+{\delta ^{2}\ \phi \over dz}$
La espressione per $grad\ div\ \mathbf {a}$ ha un significato assolutamente differente:
             $grad\ div\ \mathbf {a} =\nabla (\nabla \mathbf {a} )=(\mathbf {i} \ {\delta \over \delta x}+\mathbf {j} \ {\delta \over \delta y}+\mathbf {k} \ {\delta \over \delta z})\times ({\delta a_{x} \over \delta x}+{\delta a_{y} \over \delta y}+{\delta a_{z} \over \delta z})$
Non uguaglia affatto $\nabla ^{2}\ \mathbf {a}$, giusto come quando si opera con i vettori convenzionali
             $\mathbf {b\ (\mathbf {b} \mathbf {a)} } \neq b^{2}\ \mathbf {a}$
La espressione $\nabla ^{2}\ \mathbf {a}$ ovviamente ha il seguente significato:
             $\nabla ^{2}\ \mathbf {a} =(\nabla \nabla )\mathbf {a} ={\delta ^{2}\mathbf {a} \over \delta x^{2}}+{\delta ^{2}\mathbf {a} \over \delta y^{2}}+{\delta ^{2}\mathbf {a} \over \delta z^{2}}\ \ \ \ (E.41)$
ossia è un vettore la cui componente lungo l'asse x, per esempio, è
             $(\nabla ^{2}\ \mathbf {a} )_{x}=\nabla ^{2}a_{x}={\delta ^{2}a_{x} \over \delta x^{2}}+{\delta ^{2}\ a_{x} \over \delta y^{2}}+{\delta ^{2}a_{x} \over \delta z^{2}}\ \ \ \ (E.41a)$
Ovviamente, $\nabla ^{2}\phi$ e $\nabla ^{2}\mathbf {a}$ non devono venire scambiati per $(\nabla \phi )^{2})$ e $(\nabla \mathbf {a} )^{2}$; per esempio
             $(\nabla \phi )^{2}=(grad\ \phi )^{2}=({\delta \phi \over \delta x})^{2}+({\delta \phi \over \delta y})^{2}+({\delta \phi \over \delta z})^{2}$
Le note formule dell'algebra vettoriale
             $[\mathbf {b} (\mathbf {b} \phi )]=0$, $\mathbf {b} [\mathbf {b} \mathbf {a} ]=0$ e $[\mathbf {b} [\mathbf {b} \mathbf {a} ]]=\mathbf {b} (\mathbf {ba} )-(\mathbf {bb} )\mathbf {a}$
permangono corrette quando il vettore $\mathbf {b}$ viene sostituito con il vettore simbolico $\nabla$, qualunque sia il valore di a e di φ):
             $(E.42)\ \ \ \left\{{\begin{matrix}[\mathbf {b} (\nabla \phi )]=[\nabla \ grad\ \phi ]=rot\ grad\ \phi =0\\\nabla [\nabla \mathbf {a} ]=\nabla \ rot\ \mathbf {a} =div\ rot\ \mathbf {a} =0\\\nabla [\nabla \mathbf {a} ]]=\nabla (\nabla \mathbf {a} )-\nabla ^{2}\mathbf {a} \,\ o\ \ rot\ rot\ \mathbf {a} =grad\ div\ \mathbf {a} -\nabla ^{2}\ \mathbf {a} \ \end{matrix}}\right.$
Ci possiamo facilmente convincere che queste relazioni sono corrette calcolandole direttamente nelle coordinate cartesiane. Per esempio:
       $div\ rot\ \mathbf {a} ={\delta \ rot_{x}\ \mathbf {a} \over \delta x}+{\delta \ rot_{y}\ \mathbf {a} \over \delta y}+{\delta \ rot_{z}\ \mathbf {a} \over \delta z}={\delta \over \delta x}({\delta a_{z} \over \delta y}-{\delta a_{y} \over \delta z})+{\delta \over \delta y}({\delta a_{x} \over \delta z}-{\delta a_{z} \over \delta x})+{\delta \over \delta z}({\delta a_{y} \over \delta x}-{\delta a_{x} \over \delta y})=0$
3. Così, dato che l'operatore $\nabla$ è un moltiplicatore nei prodotti che contengono solamente un singolo vero scalare o vettore, questi prodotti possono venire trasformati in base alle convenzionali regole dell'algebra vettoriale. In qualunque modo, dovesse un prodotto contenere due o più scalari o vettori veri, allora queste regole non possono essere più a lungo applicate e richiedono delle modifiche. Assolutamente lo stesso accade pure nelle analisi convenzionali quando delle quantità algebriche siano simbolicamente moltiplicate dal segno di differenziale d.
Simile a come
             $d(\phi \ \Phi )=\Phi \ d\phi +\phi \ d\Phi$
$(E.43)\ \ \ \ \left\{{\begin{matrix}\nabla \ (\phi \ \Phi )=\phi (\nabla \ \Phi )+\Phi (\nabla \ \phi )\\\nabla \ (\phi \ \mathbf {a} )=\phi (\nabla \ \mathbf {a} )+\mathbf {a} (\nabla \ \phi )\\\nabla (\phi \ \mathbf {a} )]=\phi \ [\nabla \ \mathbf {a} ]\end{matrix}}\right.$
La correttezza di queste relazioni può venire verificata con una valutazione diretta. Per esempio:
       $\nabla (\phi \ \Phi )=\mathbf {i} {\delta \over \delta x}(\phi \ \Phi )+\mathbf {j} {\delta \over \delta y}(\phi \ \Phi )+\mathbf {k} {\delta \over \delta z}(\phi \ \Phi )=$
       $\mathbf {i} (\phi {\delta \Phi \over \delta x}+\Phi {\delta \phi \over \delta x})+\mathbf {j} (\phi {\delta \Phi \over \delta x}+\Phi {\delta \phi \over \delta y})+\mathbf {k} (\phi {\delta \Phi \over \delta x}+\Phi {\delta \phi \over \delta z})=\Phi (\nabla \ \phi )+\phi (\nabla \Phi )$
Gli argomenti sono in qualche modo più complessi in merito alla differenziazione scalare del prodotto di due vettori.
Ci rivolgiamo, anzitutto, all'espressione
             $\nabla \ [\mathbf {ab} ]=div\ [\mathbf {ab} ]$
Per vettori convenzionali, le seguenti espressioni sono valide:
             $\mathbf {c} [\mathbf {ab} ]=\mathbf {b} [\mathbf {ca} ]=-\mathbf {a} [\mathbf {cb} ]$
cioè che
             $div\ [\mathbf {ab} ]=\mathbf {b} \ rot\ \mathbf {a} -\mathbf {a} \ rot\ \mathbf {b} \ \ \ \ \ (E.44)$
È noto che nel calcolare il prodotto $\mathbf {c} (\mathbf {ab} )$ di tre vettori si deve prima eseguire la moltiplicazione scalare dei vettori a e b e poi moltiplicarli per c. Di conseguenza, l'espressione
             $\nabla \ (\mathbf {ab} =grad\ (\mathbf {ab} )$
non può essere scritta nella forma della somma di due termini in ciascuno dei quali solo uno dei fattori viene differenziato. Possiamo inoltre mostrare che tale trasformazione non può pure essere eseguita riguardo alla espressione:
             $[\nabla \ [\mathbf {ab} ]]=rot\ [\mathbf {ab} ]$
Le relative formule sono:
             $grad\ (\mathbf {ab} )=(\mathbf {b} \nabla )\mathbf {a} +(\mathbf {a} \nabla )\mathbf {b} +[\mathbf {b} \ rot\ \mathbf {a} ]+[\mathbf {a} \ rot\ \mathbf {b} ]\ \ \ \ (E.45)$
             $rot\ [\mathbf {ab} ]=(\mathbf {b} \nabla )\mathbf {a} -(\mathbf {a} \nabla )\mathbf {b} +\mathbf {a} \ div\ \mathbf {b} -\mathbf {b} \ div\ \mathbf {a} \ \ \ \ (E.46)$
Nel caso particolare quando $\mathbf {b} =costante$ ed $\mathbf {a} =\mathbf {R}$, in cui R è un vettore posizione, non è difficile mostrare che l'equazione (E.45) diventa la medesima cosa della equazione (E.11):
             $\nabla (\mathbf {bR} )=grad_{a}\ (\mathbf {bR} )=\mathbf {b}$
Inoltre, assumendo che nella equazione (E.45) a sia uguale a b,si ottiene
             ${1 \over 2}\nabla \ a^{2}=(\mathbf {a} \ \nabla )\mathbf {a} +[\mathbf {a} \ rot\ \mathbf {a} ]\ \ \ \ (E.47)$
4. Ci rimane da considerare l'operatore scalare $\mathbf {a} \nabla$ ottenuto con la moltiplicazione di un vettore generico a per l'operatore hamiltoniano $\nabla$ sulla destra di a(differente da $\nabla \ \mathbf {a} =div\ \mathbf {a} ):$
             $\mathbf {a} \nabla =a_{x}{\delta \over \delta x}+a_{y}{\delta \over \delta y}+a_{z}{\delta \over \delta z}\ \ \ \ (E.48)$
Nel particolare caso in cui a=1 l'operatore $\mathbf {a} \nabla$ è ovviamente l'equivalente di trovare la derivata ${\delta \over \delta a}$ rispetto alla direzione del vettore unitario a. Genericamente, l'adempimento dell'operatore $\mathbf {a} \nabla$ su una funzione di posizione arbitraria equivale alla moltiplicazione della derivata di questa funzione rispetto alla direzione del vettore a per il valore assoluto del suo modulo. In altre parole:
             $\mathbf {a} \nabla =a{\delta \over \delta a}\ \ \ \ (E.49)$
Infatti, nell'eseguire l'operazione $\mathbf {a} \nabla$ su uno scalare $\phi$ si ottiene lo scalare
             $\mathbf {a} \nabla \phi =a_{x}{\delta \phi \over \delta x}+a_{y}{\delta \phi \over \delta y}+a_{z}{\delta \phi \over \delta z}=\mathbf {a} \nabla \phi$
ovvero sulla base delle (E.4) si ottiene $\mathbf {a} \nabla \phi =\mathbf {a} \ grad\ \phi =a{\delta \phi \over \delta a}$ conforme alla (E.49)
Al termine dell'operazione $\mathbf {a} \nabla$ sul vettore arbitrario b, tuttavia, otteniamo il vettore
             $(\mathbf {a} \nabla )\mathbf {a} =\mathbf {a} \nabla \ \mathbf {b} =a_{x}{\delta \mathbf {b} \over \delta x}+a_{y}{\delta \mathbf {b} \over \delta y}+a_{z}{\delta \mathbf {b} \over \delta z}\ \ \ \ (E.50a)$
la cui componente, per esempio, lungo l'asse x è
             $(\mathbf {a} \nabla \mathbf {b} )_{x}=a_{x}{\delta b_{x} \over \delta x}+a_{y}{\delta b_{x} \over \delta y}+a_{z}{\delta b_{x} \over \delta z}=(\mathbf {a} \nabla )b_{x}\ \ \ \ (E.50b)$
D'altra parte, la derivata del vettore b rispetto alla direzione di a, secondo la (E.34), è
             ${\delta \mathbf {b} \over \delta a}=cos(x,\mathbf {a} ){\delta \mathbf {b} \over \delta x}+cos(y,\mathbf {a} ){\delta \mathbf {b} \over \delta y}+cos(z,\mathbf {a} ){\delta \mathbf {b} \over \delta z}$
Moltiplicando questa equazione per a e comparando il risultato con l'equazione (E.50a), si nota infatti che
             $\mathbf {a} \nabla \mathbf {b} =a{\delta \mathbf {b} \over \delta a}\ \ \ \ (E.51)$
CVD - Quindi, se il vettore a è piccolo a sufficienza, allora $\mathbf {a} \nabla \phi$ e $\mathbf {a} \nabla \mathbf {b}$ uguagliano rispettivamente, con una precisione fino agli infinitesimi di secondo ordine, l'incremento dello scalare $\phi$ ed il vettore b quando il punto di osservazione è spostato su una distanza uguale in grandezza e direzione al vettore a.
5. Le operazioni elementari di differenziazione spaziale consistono della formazione del gradiente, della divergenza, del rotore e della derivata ${\delta \mathbf {b} \over \delta a}$. Tutte queste operazioni, come abbiamo visto, per esempio, nelle Equazioni (E.3), (E.18), (E.29), e (E.33), hanno un significato geometrico definito e sono pertanto invarianti rispetto alla trasformazione del sistema di coordinate. In altri temini, il valore delle espressioni $grad\ \phi ,div\ \mathbf {a} ,rot\ \mathbf {a} ,{\delta \mathbf {b} \over \delta a}$ non dipendono sulla scelta del sistema di coordinate. Tutte le relazioni tra le espressioni differenziali che abbiamo derivato sono pure di natura invariante poiché, anche se quando le abbiamo provate abbiamo sempre impiegato il sistema cartesiano di coordinate. le medesime relazioni comprendono solamente tali espressioni invarianti quali $grad\ \phi ,div\ \mathbf {a} ,rot\ \mathbf {a}$. Conseguentemente, la forma di queste relazioni non possono variare quando si passi su altri sistemi ci coordinate.