For a continuously differentiable vector field on a neighborhood of the closure of , the divergence theorem statesHere is the outward unit normal vector; the right side is the outward flux through the boundary.
Apply the product rule to each vector component and sum:Thus the divergence of a scalar field times a vector field contains a divergence term and a dot product with the gradient of the scalar field.
Choose in the preceding product rule and apply the divergence theorem. Since , this gives the first of Green's identities:Here is the outward normal derivative. Interchange and , then subtract. The gradient dot products cancel, yielding the second of Green's identities:For example, with the needed extensions suffice for these applications of the divergence theorem.
False. The constant function is a harmonic function and has zero normal derivative on every smooth boundary, but it is nonzero in .
In fact, the first of Green's identities givesHence ; path connectedness makes constant throughout . Thus this homogeneous Neumann boundary condition determines a harmonic function only up to an additive constant.
True. The first of Green's identities and the Robin boundary condition giveBoth integrands are nonnegative, so in and on the boundary. By path connectedness, is a constant function, and its boundary value makes that constant zero. Therefore .
False. Take , the open unit ball, and . This is a nonzero harmonic function. On the unit sphere, the outward unit normal vector is , soThus the prescribed Robin boundary condition holds. Unlike the preceding case, Green's identities now give , which permits nonzero solutions of the differential equation.
True. Two applications of Green's identities, or two integrations by parts, giveThe biharmonic equation makes the left side zero, while the two clamped boundary conditions annihilate the boundary integral. Consequentlyso . Apply the first of Green's identities once more with : because on the boundary, it gives . By path connectedness, is constant, and the zero boundary value implies . This argument assumes the classical differentiability needed for the displayed integrations by parts.
Articles by others on the same topic
There are currently no matching articles.