{"id":27,"date":"2014-10-23T10:34:28","date_gmt":"2014-10-23T10:34:28","guid":{"rendered":"http:\/\/underthehood.blogwyrm.com\/?p=27"},"modified":"2022-07-28T06:25:38","modified_gmt":"2022-07-28T10:25:38","slug":"deriving-the-helmholtz-theorem","status":"publish","type":"post","link":"https:\/\/underthehood.blogwyrm.com\/?p=27","title":{"rendered":"Deriving the Helmholtz Theorem"},"content":{"rendered":"<p>To derive the Helmholtz theorem start first with one representation of the delta-function in 3-dimensions<\/p>\n<p>\\[ \\nabla^2 \\left( \\frac{1}{|\\vec r &#8211; \\vec r \\, {}&#8217;|} \\right) = -4 \\pi \\delta( \\vec r &#8211; \\vec r \\, {}&#8217; ) \\, .\\]<\/p>\n<p>Start with the identity<br \/>\n\\[ \\vec F(\\vec r) = \\int_{V} d^3 r&#8217; \\delta(\\vec r &#8211; \\vec r \\,{}&#8217;) F(\\vec r \\,{}&#8217;) \\]<br \/>\nfor an arbitrary vector field $$\\vec F(\\vec r)$$ over a given volume $$V$$. Note that time will not be involved in this derivation. Also note that there is a ongoing discussion in the literature about the correct way to extend this theorem for time varying fields. This will be a discussed in a future post.<\/p>\n<p>Using the explicit representation of the delta-function stated above and factoring out the derivatives with respect to the field point $$\\vec r$$ yields<\/p>\n<p>\\[ \\vec F(\\vec r) = \\frac{ -\\nabla^2_{\\vec r} }{4 \\pi} \\int_V d^3 r&#8217; \\frac{\\vec F(\\vec r\\,{}&#8217;)}{|\\vec r &#8211; \\vec r\\,{}&#8217;|} \\, . \\]<\/p>\n<p>Now apply the vector identity $$\\nabla^2 = \\nabla( \\nabla \\cdot ) &#8211; \\nabla \\times (\\nabla \\times)$$. Doing so allows the expression for $$\\vec F(\\vec r)$$ to take the form<br \/>\n\\[ \\vec F (\\vec r) = \\frac{1}{4 \\pi} \\nabla_{\\vec r} \\times \\vec I_{vector} &#8211; \\frac{1}{4 \\pi} \\nabla_{\\vec r} I_{scalar} \\]<br \/>\nwhere the integrals<br \/>\n\\[ \\vec I_{vector} = \\nabla_{\\vec r} \\times \\int_v d^3 r &#8216; \\frac{\\vec F (\\vec r\\,&#8217;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} \\]<br \/>\nand<br \/>\n\\[ I_{scalar} = \\nabla_{\\vec r} \\cdot \\int_v d^3 r &#8216; \\frac{\\vec F (\\vec r\\,&#8217;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} \\; . \\]<\/p>\n<p>The strategy for handling these terms is to<\/p>\n<ol>\n<li>bring the derivative operator with respect to r into the integral<\/li>\n<li>switch the derivative from r to r&#8217; with a cost of a minus sign<\/li>\n<li>integrate by parts<\/li>\n<li>apply the appropriate boundary conditions and boundary integral version of the divergence theorem to the total derivative piece<\/li>\n<\/ol>\n<p>Application of this strategy to the vector (first) integral gives<br \/>\n\\[ \\vec I _{vector} = \\int_V d^3 r&#8217; \\frac{ \\nabla_{\\vec r\\,&#8217;} \\times \\vec F (\\vec r \\, &#8216;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} &#8211; \\int_{\\partial V} dS \\frac{\\hat n \\times \\vec F(\\vec r\\,&#8217;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} \\; .\\]<\/p>\n<p>Likewise, the same strategy applied to the scalar (second) integral gives<br \/>\n\\[ I_{scalar} = \\int_V d^3 r&#8217; \\frac{ \\nabla \\cdot \\vec F ( \\vec r \\,&#8217;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} &#8211; \\int_{\\partial V} dS \\frac{\\hat n \\cdot \\vec F ( \\vec r \\,&#8217;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} \\; . \\]<\/p>\n<p>Now the usual case of interest sets the bounding volume to be all space, which requires that the field drop off faster than $$r^{-1}$$. If this condition is met then the surface integrals zero and the original field can be written as<br \/>\n\\[ \\vec F (\\vec r) = -\\nabla U(\\vec r) + \\nabla \\times \\vec W(\\vec r) \\]<br \/>\nwhere<br \/>\n\\[ U(\\vec r) = \\frac{1}{4\\pi} \\int_V d^3 r&#8217; \\frac{ \\nabla&#8217; \\cdot \\vec F ( \\vec r \\,&#8217;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} \\]<br \/>\nand<br \/>\n\\[ \\vec W(\\vec r) = \\frac{1}{4\\pi} \\int_V d^3 r&#8217; \\frac{ \\nabla&#8217; \\times \\vec F ( \\vec r \\,&#8217;)}{|\\vec r &#8211; \\vec r\\,&#8217;|} \\; .\\]<\/p>\n<p>At this point it is a snap to derive Coulomb&#8217;s and Biot-Savart&#8217;s laws from the Maxwell equations but that is a post for another time.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>To derive the Helmholtz theorem start first with one representation of the delta-function in 3-dimensions \\[ \\nabla^2 \\left( \\frac{1}{|\\vec r &#8211; \\vec r \\, {}&#8217;|} \\right) = -4 \\pi \\delta(&#8230; <a class=\"read-more-button\" href=\"https:\/\/underthehood.blogwyrm.com\/?p=27\">Read more &gt;<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[4,2,3],"class_list":["post-27","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-delta-function","tag-em","tag-helmholtz"],"_links":{"self":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/27","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=27"}],"version-history":[{"count":39,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/27\/revisions"}],"predecessor-version":[{"id":104,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/27\/revisions\/104"}],"wp:attachment":[{"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=27"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=27"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/underthehood.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}