Divergensen är endast definierad för vektorfält, vilket innebär att uttrycket "div f(x)" inte är definierat om f(x) är en skalär. Så med andra ord, begreppet "div f(x)" av en skalär funktion f(x) existerar inte.
Definiera ett vektorfält v(x) enligt v(x) = (v1(x),v2(x),v3(x)), då förstås med beteckningen x = (x1,x2,x3).
Då definieras divergensen av vektorfältet v enligt:
Kod:
div v(x) =
= (∂/∂x1)(v1(x)) + (∂/∂x2)(v2(x)) + (∂/∂x3)(v3(x)) =
3
= ∑(∂/∂xk)(vk(x))
k=1
Som ses kan div v generaliseras till n dimensioner:
Kod:
div v(x) =
= (∂/∂x1)(v1(x)) + (∂/∂x2)(v2(x)) + (∂/∂x3)(v3(x)) + ... =
n
= ∑(∂/∂xk)(vk(x))
k=1
Man kan tänka sig att du i den här uppgiften ska bestämma
div grad f(x). Och det existerar.
Med lite räknande kan visas att att div grad f(x) = ∆f(x), där ∆ är Laplaceoperatorn. Denna definieras enligt:
Kod:
∆f(x) =
= (∂²/∂(x1)²)f(x) + (∂²/∂(x2)²)f(x) + (∂²/∂(x3)²)f(x) =
3
= ∑(∂²/∂(xk)²)f(x)
k=1
Denna formel visas genom att man i definitionen av div v(x) sätter in v(x) = grad f(x), och räknar en del.