La definizione di integrale di superficie consiste nel suddividere una superficie in parti infinitesime tanto da poterle considerare piane. In matematica , un integrale di superficie è un integrale definito calcolato su una superficie , ad esempio un insieme di curve, che può essere pensato come un integrale doppio analogo ad un integrale di linea .
Si definisce elemento di volume in R k {\displaystyle \mathbb {R} ^{k}} la k-forma :
d V k = d x 1 ∧ d x 2 ∧ ⋯ ∧ d x k {\displaystyle \mathrm {d} \mathbf {V} _{k}=\mathrm {d} x_{1}\wedge \mathrm {d} x_{2}\wedge \cdots \wedge \mathrm {d} x_{k}} Sia S {\displaystyle S} una k-superficie positivamente orientata in R k {\displaystyle \mathbb {R} ^{k}} e f {\displaystyle f} una funzione continua definita sull'immagine di S {\displaystyle S} e a valori in R {\displaystyle \mathbb {R} } . Allora:
∫ S f ( x ) d x 1 ∧ d x 2 ∧ ⋯ ∧ d x k = ∫ S f d V k {\displaystyle \int _{S}f(\mathbf {x} )\;\mathrm {d} x_{1}\wedge \mathrm {d} x_{2}\wedge \cdots \wedge \mathrm {d} x_{k}=\int _{S}f\;\mathrm {d} \mathbf {V} _{k}} Sia D ⊆ R k {\displaystyle D\subseteq \mathbb {R} ^{k}} il dominio di parametrizzazione di S {\displaystyle S} e S : D → R k {\displaystyle S:D\to \mathbb {R} ^{k}} iniettiva e differenziabile con matrice jacobiana J S {\displaystyle J_{S}} positiva. Allora:[1]
∫ S ( D ) f ( x ) d x = ∫ D f ( S ( u ) ) | J S ( u ) | d u {\displaystyle \int _{S(D)}f(\mathbf {x} )\;\mathrm {d} \mathbf {x} =\int _{D}f(S(\mathbf {u} ))\left|J_{S}(\mathbf {u} )\right|\;\mathrm {d} \mathbf {u} } Se f = 1 {\displaystyle f=1} l'integrale fornisce il volume della superficie.
Integrale di funzioni su 2-superfici in R 3 {\displaystyle \mathbb {R} ^{3}} [ modifica | modifica wikitesto ] Sia S {\displaystyle S} una 2-superficie in R 3 {\displaystyle \mathbb {R} ^{3}} con dominio di parametrizzazione D ⊆ R 2 {\displaystyle D\subseteq \mathbb {R} ^{2}} . Un tale oggetto è analiticamente rappresentato da tre funzioni x {\displaystyle x} , y {\displaystyle y} e z {\displaystyle z} di due variabili indipendenti u {\displaystyle u} e v {\displaystyle v} :
S ( u , v ) = ( x ( u , v ) , y ( u , v ) , z ( u , v ) ) {\displaystyle S(u,v)=(x(u,v),y(u,v),z(u,v))} Sia:
f : S ( D ) → R {\displaystyle f:S(D)\to \mathbb {R} } una funzione definita su S {\displaystyle S} .
Ad ogni punto ( u , v ) ∈ D {\displaystyle (u,v)\in D} del dominio di parametrizzazione è possibile associare il vettore:[2]
N ( u , v ) = ∂ ( y , z ) ∂ ( u , v ) e 1 + ∂ ( z , x ) ∂ ( u , v ) e 2 + ∂ ( x , y ) ∂ ( u , v ) e 3 {\displaystyle \mathbf {N} (u,v)={\frac {\partial (y,z)}{\partial (u,v)}}\mathbf {e} _{1}+{\frac {\partial (z,x)}{\partial (u,v)}}\mathbf {e} _{2}+{\frac {\partial (x,y)}{\partial (u,v)}}\mathbf {e} _{3}} dove i vettori e i {\displaystyle \mathbf {e} _{i}} appartengono alla base canonica di R 3 {\displaystyle \mathbb {R} ^{3}} .
Si definisce integrale di superficie di f {\displaystyle f} sulla superficie S ( D ) {\displaystyle S(D)} la scrittura:[3]
∫ S f d V 2 = ∫ D f ( S ( u , v ) ) | N ( u , v ) | d u d v {\displaystyle \int _{S}f\;\mathrm {d} \mathbf {V} _{2}=\int _{D}f(S(u,v))|\mathbf {N} (u,v)|\;\mathrm {d} u\;\mathrm {d} v} In modo equivalente si scrive anche, notando che il prodotto interno è proprio il vettore normale:
∫ S f d S = ∬ D f ( S ( u , v ) ) | ∂ S ∂ u × ∂ S ∂ v | d u d v = ∬ D f ( S ( u , v ) ) | ( ∂ ( y , z ) ∂ ( u , v ) , ∂ ( z , x ) ∂ ( u , v ) , ∂ ( x , y ) ∂ ( u , v ) ) | d u d v {\displaystyle \int _{S}f\;\mathrm {d} S=\iint _{D}f(S(u,v))\left|{\partial S \over \partial u}\times {\partial S \over \partial v}\right|\;\mathrm {d} u\;\mathrm {d} v=\iint _{D}f(S(u,v))\left|\left({\frac {\partial (y,z)}{\partial (u,v)}},{\frac {\partial (z,x)}{\partial (u,v)}},{\frac {\partial (x,y)}{\partial (u,v)}}\right)\right|\,\;\mathrm {d} u\;\mathrm {d} v} dove:
N ( u , v ) = ∂ S ∂ u × ∂ S ∂ v = ( ∂ ( y , z ) ∂ ( u , v ) , ∂ ( z , x ) ∂ ( u , v ) , ∂ ( x , y ) ∂ ( u , v ) ) ) {\displaystyle \mathbf {N} (u,v)={\partial S \over \partial u}\times {\partial S \over \partial v}=\left({\frac {\partial (y,z)}{\partial (u,v)}},{\frac {\partial (z,x)}{\partial (u,v)}},{\frac {\partial (x,y)}{\partial (u,v))}}\right)} è l'elemento di superficie normale a S {\displaystyle S} .
E ∂ ( x i , x j ) ∂ ( u , v ) = ∂ S x i ∂ u ∂ S x j ∂ v − ∂ S x j ∂ u ∂ S x i ∂ v {\displaystyle {\frac {\partial (x_{i},x_{j})}{\partial (u,v)}}={\frac {\partial S_{x_{i}}}{\partial u}}{\frac {\partial S_{x_{j}}}{\partial v}}-{\frac {\partial S_{x_{j}}}{\partial u}}{\frac {\partial S_{x_{i}}}{\partial v}}} .
Se f = 1 {\displaystyle f=1} l'integrale fornisce l'area della superficie:
A ( S ) = ∫ D | N ( u , v ) | d u d v {\displaystyle A(S)=\int _{D}|\mathbf {N} (u,v)|\;\mathrm {d} u\;\mathrm {d} v} Integrale di 2-forme su 2-superfici in R 3 {\displaystyle \mathbb {R} ^{3}} [ modifica | modifica wikitesto ] Sia S {\displaystyle S} una 2-superficie in R 3 {\displaystyle \mathbb {R} ^{3}} con dominio di parametrizzazione D ⊆ R 2 {\displaystyle D\subseteq \mathbb {R} ^{2}} . Un tale oggetto è analiticamente rappresentato da tre funzioni x {\displaystyle x} , y {\displaystyle y} e z {\displaystyle z} di due variabili indipendenti u {\displaystyle u} e v {\displaystyle v} :
S ( u , v ) = ( x ( u , v ) , y ( u , v ) , z ( u , v ) ) {\displaystyle S(u,v)=(x(u,v),y(u,v),z(u,v))} Sia:
ω = ω x ( x , y , z ) d y ∧ d z + ω y ( x , y , z ) d z ∧ d x + ω z ( x , y , z ) d x ∧ d y {\displaystyle \omega =\omega _{x}(x,y,z)\;\mathrm {d} y\wedge \;\mathrm {d} z+\omega _{y}(x,y,z)\;\mathrm {d} z\wedge \;\mathrm {d} x+\omega _{z}(x,y,z)\;\mathrm {d} x\wedge \;\mathrm {d} y} una 2-forma definita su S {\displaystyle S} .
Si definisce integrale di ω {\displaystyle \omega } su S {\displaystyle S}
∫ S ω = ∫ D ω ( S ( u , v ) ) [ J S ( u , v ) ] d u d v = ∫ D [ ω x ( S ( u , v ) ) ∂ ( y , z ) ∂ ( u , v ) + ω y ( S ( u , v ) ) ∂ ( z , x ) ∂ ( u , v ) + ω z ( S ( u , v ) ) ∂ ( x , y ) ∂ ( u , v ) ] d u d v {\displaystyle \int _{S}\omega =\int _{D}\omega (S(u,v))[J_{S}(u,v)]\;\mathrm {d} u\;\mathrm {d} v=\int _{D}\left[\omega _{x}(S(u,v)){\frac {\partial (y,z)}{\partial (u,v)}}+\omega _{y}(S(u,v)){\frac {\partial (z,x)}{\partial (u,v)}}+\omega _{z}(S(u,v)){\frac {\partial (x,y)}{\partial (u,v)}}\right]\;\mathrm {d} u\;\mathrm {d} v}
Interpretando la 2-forma ω {\displaystyle \omega } come un campo vettoriale F = ( ω x , ω y , ω z ) {\displaystyle \mathbf {F} =(\omega _{x},\omega _{y},\omega _{z})} definito su S {\displaystyle S} si ha:
∫ S F ⋅ d S = ∫ S ( F ⋅ n ) d S = ∬ D F ( S ( u , v ) ) ⋅ n | N ( u , v ) | d u d v = ∬ D F ( S ( u , v ) ) ⋅ N ( u , v ) d u d v {\displaystyle \int _{S}{\mathbf {F} }\cdot \;\mathrm {d} {\mathbf {S} }=\int _{S}({\mathbf {F} }\cdot {\mathbf {n} })\;\mathrm {d} S=\iint _{D}{\mathbf {F} }(S(u,v))\cdot \mathbf {n} \,\,|\mathbf {N} (u,v)|\;\mathrm {d} u\;\mathrm {d} v=\iint _{D}{\mathbf {F} }(S(u,v))\cdot \mathbf {N} (u,v)\;\mathrm {d} u\;\mathrm {d} v} dove n {\displaystyle \mathbf {n} } è il versore normale alla superficie ( n = N ( u , v ) | N ( u , v ) | ) {\displaystyle \left(\mathbf {n} ={\frac {\mathbf {N} (u,v)}{|\mathbf {N} (u,v)|}}\right)} .
Sia S {\displaystyle S} una superficie (chiusa o aperta) analiticamente rappresentata da tre funzioni x {\displaystyle x} , y {\displaystyle y} e z {\displaystyle z} di due variabili indipendenti ξ {\displaystyle \xi } e η {\displaystyle \eta } :
x = x ( ξ , η ) y = y ( ξ , η ) z = z ( ξ , η ) {\displaystyle x=x(\xi \ ,\eta )\qquad y=y(\xi \ ,\eta )\qquad z=z(\xi \ ,\eta )} e sia f ( P ) {\displaystyle f(P)} funzione continua dei punti P ( ξ , η ) {\displaystyle P(\xi ,\eta )} di detta superficie. Decomposta S {\displaystyle S} in modo arbitrario in elementi Δ s {\displaystyle \Delta s} , si fissi su ciascuno di questi un punto P ( ξ , η ) {\displaystyle P(\xi ,\eta )} , e si formi il prodotto f ( P ) Δ s {\displaystyle f(P)\Delta s} del valore di f ( P ) {\displaystyle f(P)} per ogni Δ s {\displaystyle \Delta s} . La somma di tali prodotti è indicata con ∑ Δ s = 1 n f ( P ) Δ s {\displaystyle \sum _{\Delta s=1}^{n}f(P)\Delta s} . Facendo aumentare indefinitamente il numero n {\displaystyle n} degli elementi della decomposizione e facendo diminuire ciascuna delle aree Δ s {\displaystyle \Delta s} , se esiste il limite di tale somma e se è finito allora esso è l'integrale di superficie della funzione f ( P ) {\displaystyle f(P)} sulla superficie S {\displaystyle S} . Viene indicato con ∫ S f ( P ) ⋅ d s {\displaystyle \int _{S}f(P)\cdot \mathrm {d} s} oppure con ∬ S f ( P ) ⋅ d s {\displaystyle \iint _{S}f(P)\cdot \mathrm {d} s} .
La sua effettiva valutazione si ottiene mediante un integrale doppio esteso all'area piana C {\displaystyle C} proiezione della superficie S {\displaystyle S} sul piano x-y .
Con lo spianamento della superficie S {\displaystyle S} l'integrale in d s {\displaystyle \mathrm {d} s} si trasforma nel seguente integrale doppio:
∬ C f ( P ) ⋅ 1 + p 2 + q 2 ⋅ d C {\displaystyle \iint _{C}f(P)\cdot {\sqrt {1+p^{2}+q^{2}}}\cdot \mathrm {d} C} ove p = d z / d x {\displaystyle p=\mathrm {d} z/\mathrm {d} x} e q = d z / d y {\displaystyle q=\mathrm {d} z/\mathrm {d} y} , che consente la valutazione dell'integrale di superficie.
Walter Rudin, Principi di analisi matematica , Milano, McGraw-Hill, 1991, ISBN 88-386-0647-1 . (EN ) Leathem, J. G. Volume and Surface Integrals Used in Physics . Cambridge, England: University Press, 1905. (EN ) surface integral , su Enciclopedia Britannica , Encyclopædia Britannica, Inc. (EN ) Eric W. Weisstein, Integrale di superficie , su MathWorld , Wolfram Research. (EN ) L.D. Kudryavtsev, Surface integral , in Encyclopaedia of Mathematics , Springer e European Mathematical Society, 2002. Surface Integral — from MathWorld (EN ) Surface Integral — Theory and exercises (PDF ), su math.gatech.edu .