Differential-Form Version of (div grad) V = curl curl V + grad div V



Given a vector field V, one has the identity

[1] (div grad) V = curl curl V + grad div V ,

where (div grad) denotes the Laplacian operator.

What is the equivalent of this identity in the language of
differential forms? Taking V now as a 1-form, it seems to me that the
right-hand side of the identity [1] might be expressed as

[2] d*dV + d*d*V .

On the other hand, if V is regarded as a 2-form, then we might write

[3] d*d*V + d*dV .

But what can one do with the left-hand side of equation [1]?
.



Relevant Pages

  • Re: Is this language context free?
    ... Here y^R denotes the string obtained by reversing y. ... Is L context free? ... this language is trivially context-free. ...
    (comp.theory)
  • Re: question about categoricity
    ... >> but since Chris's example involves expanding the language of the first ... > denotes i in B, for all i, and nothing denotes you in B." ... but i'm just not sure where this technique would fail in this case? ...
    (sci.logic)
  • Re: question about categoricity
    ... > but since Chris's example involves expanding the language of the first ... denotes i in B, for all i, and nothing denotes you in B." ... Prev by Date: ...
    (sci.logic)
  • Re: Is this language context free?
    ... denotes the string obtained by reversing y. ... Is L context free? ... this language is trivially context-free. ...
    (comp.theory)