for smooth functions ƒ and g on Ω, coinciding with some prescribed boundary function on , where  is the gradient vector at .
For functions ƒ and g that are smooth on Ω, there exists a prescribed boundary value such that the functions coincide with this boundary value on , where ∇⋅ represents the divergence of the gradient operator.