{"id":780,"date":"2025-10-09T15:38:15","date_gmt":"2025-10-09T15:38:15","guid":{"rendered":"https:\/\/content.one.lumenlearning.com\/calculus3\/?post_type=chapter&#038;p=780"},"modified":"2025-11-13T20:24:14","modified_gmt":"2025-11-13T20:24:14","slug":"divergence-and-curl-fresh-take","status":"publish","type":"chapter","link":"https:\/\/content.one.lumenlearning.com\/calculus3\/chapter\/divergence-and-curl-fresh-take\/","title":{"raw":"Divergence and Curl: Fresh Take","rendered":"Divergence and Curl: Fresh Take"},"content":{"raw":"<section class=\"textbox learningGoals\" aria-label=\"Learning Goals\">\r\n<ul>\r\n \t<li>Determine divergence from the formula for a given vector field<\/li>\r\n \t<li>Determine curl from the formula for a given vector field<\/li>\r\n \t<li>Use divergence and curl to identify conservative fields<\/li>\r\n<\/ul>\r\n<\/section>\r\n<h2>Divergence<\/h2>\r\n<div class=\"textbox shaded\">\r\n\r\n<strong>The Main Idea\u00a0<\/strong>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Divergence measures how much a vector field \"spreads out\" or \"flows away from\" a point. Think of it as measuring the net outflow of the field at each location. If you imagine dropping a small elastic circle into a fluid flow, divergence tells you whether that circle expands, contracts, or maintains its area.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>The Formula<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">For [latex]\\mathbf{F} = \\langle P, Q, R \\rangle[\/latex] in [latex]\\mathbb{R}^3[\/latex]:<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\" style=\"text-align: center;\">[latex]\\text{div } \\mathbf{F} = P_x + Q_y + R_z = \\frac{\\partial P}{\\partial x} + \\frac{\\partial Q}{\\partial y} + \\frac{\\partial R}{\\partial z}[\/latex]<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">In [latex]\\mathbb{R}^2[\/latex], it's simply [latex]\\text{div } \\mathbf{F} = P_x + Q_y[\/latex]. Symbolically, we write [latex]\\text{div } \\mathbf{F} = \\nabla \\cdot \\mathbf{F}[\/latex].<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Understanding the Output<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Divergence returns a <strong>scalar value<\/strong> (not a vector) at each point:<\/p>\r\n\r\n<ul class=\"[&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-disc space-y-2.5 pl-7\">\r\n \t<li class=\"whitespace-normal break-words\">[latex]\\text{div } \\mathbf{F} &gt; 0[\/latex]: More is flowing out than in (a source)<\/li>\r\n \t<li class=\"whitespace-normal break-words\">[latex]\\text{div } \\mathbf{F} &lt; 0[\/latex]: More is flowing in than out (a sink)<\/li>\r\n \t<li class=\"whitespace-normal break-words\">[latex]\\text{div } \\mathbf{F} = 0[\/latex]: Flow in equals flow out (source-free)<\/li>\r\n<\/ul>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Source-Free Fields<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">A vector field is <strong>source-free<\/strong> if its divergence is zero everywhere (on a simply connected domain). Source-free fields have stream functions\u2014scalar functions that describe the flow pattern. This mirrors how conservative fields have potential functions.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Connection to Green's Theorem<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">The flux form of Green's Theorem can be written as [latex]\\oint_C \\mathbf{F} \\cdot \\mathbf{N}\\,ds = \\iint_D \\text{div } \\mathbf{F}\\,dA[\/latex]. This connects the flux across a boundary to the total divergence inside the region\u2014analogous to how the Fundamental Theorem of Calculus relates derivatives to boundary values.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Physical Applications<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">In physics, magnetic fields must satisfy [latex]\\nabla \\cdot \\mathbf{B} = 0[\/latex] (Gauss's law for magnetism). In fluid dynamics, divergence indicates whether fluid is accumulating or dispersing at each point.<\/p>\r\n\r\n<\/div>\r\n<section class=\"textbox example\" aria-label=\"Example\">Find [latex]\\text{div }{\\bf{F}}[\/latex] for [latex]{\\bf{F}}(x,y,z)=\\langle{x}y,5-z^2y,x^2+y^2\\rangle[\/latex].[reveal-answer q=\"294776295\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"294776295\"][latex]y-z^{2}[\/latex][\/hidden-answer]\r\n\r\n<\/section><section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the above example.<center><iframe src=\"\/\/plugin.3playmedia.com\/show?mf=8250323&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=uyHf_JvAiU4&amp;video_target=tpm-plugin-51knnc2v-uyHf_JvAiU4\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\" data-mce-fragment=\"1\"><\/iframe><\/center><center>You can view the <a href=\"https:\/\/course-building.s3.us-west-2.amazonaws.com\/Calculus+3\/Calc+3+transcripts\/CP6.40_transcript.html\">transcript for \u201cCP 6.40\u201d here (opens in new window).<\/a><\/center><\/section><section class=\"textbox example\" aria-label=\"Example\">Let [latex]{\\bf{F}}(x,y)=\\langle-ay,bx\\rangle[\/latex] be a rotational field where [latex]a[\/latex] and [latex]b[\/latex] are positive constants. Is\u00a0[latex]{\\bf{F}}[\/latex]\u00a0source free?[reveal-answer q=\"927458210\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"927458210\"]Yes.[\/hidden-answer]\r\n\r\n<\/section><section class=\"textbox example\" aria-label=\"Example\">For vector field [latex]{\\bf{v}}(x,y)=\\langle-xy,y\\rangle[\/latex], [latex]y&gt;0[\/latex] find all points [latex]P[\/latex] such that the amount of fluid flowing in to [latex]P[\/latex] equals the amount of fluid flowing out of [latex]P[\/latex].[reveal-answer q=\"468322501\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"468322501\"]All points on line [latex]y=1[\/latex].[\/hidden-answer]\r\n\r\n<\/section>\r\n<h2>Curl<\/h2>\r\n<div class=\"textbox shaded\">\r\n\r\n<strong>The Main Idea\u00a0<\/strong>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Curl measures the \"spin\" or rotational tendency of a vector field at each point. If you imagine placing a tiny paddlewheel into a fluid flow, curl tells you whether the wheel rotates, how fast it spins, and which direction the axis points.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>The Formula<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">For [latex]\\mathbf{F} = \\langle P, Q, R \\rangle[\/latex] in [latex]\\mathbb{R}^3[\/latex]:<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\" style=\"text-align: center;\">[latex]\\text{curl } \\mathbf{F} = (R_y - Q_z)\\mathbf{i} + (P_z - R_x)\\mathbf{j} + (Q_x - P_y)\\mathbf{k}[\/latex]<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">A helpful way to remember this is the symbolic determinant [latex]\\nabla \\times \\mathbf{F}[\/latex]:<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\" style=\"text-align: center;\">[latex]\\begin{vmatrix}\\mathbf{i} &amp; \\mathbf{j} &amp; \\mathbf{k} \\\\ \\frac{\\partial}{\\partial x} &amp; \\frac{\\partial}{\\partial y} &amp; \\frac{\\partial}{\\partial z} \\\\ P &amp; Q &amp; R \\end{vmatrix}[\/latex]<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">For [latex]\\mathbf{F} = \\langle P, Q \\rangle[\/latex] in [latex]\\mathbb{R}^2[\/latex], curl is simply [latex]\\text{curl } \\mathbf{F} = (Q_x - P_y)\\mathbf{k}[\/latex].<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Understanding the Output<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Unlike divergence, curl returns a <strong>vector<\/strong> (not a scalar). The direction of this vector indicates the axis of rotation, and its magnitude indicates how fast the rotation occurs. If [latex]\\text{curl } \\mathbf{F} = \\mathbf{0}[\/latex], the field has no rotational tendency\u2014particles don't spin as they move through the field.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Visualizing Curl<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Picture dropping a leaf into flowing water. Curl measures whether the leaf rotates as it drifts. A constant field like [latex]\\langle 1, 2 \\rangle[\/latex] has zero curl\u2014no rotation. But even fields with parallel-looking vectors can have nonzero curl if the magnitudes vary, creating differential forces that cause rotation.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Connection to Green's Theorem<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">The circulation form of Green's Theorem can be written as [latex]\\oint_C \\mathbf{F} \\cdot d\\mathbf{r} = \\iint_D \\text{curl } \\mathbf{F} \\cdot \\mathbf{k}\\,dA[\/latex]. This connects circulation around a boundary to the total curl inside\u2014another higher-dimensional analog of the Fundamental Theorem of Calculus.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Physical Significance<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Conservative fields (like gravitational and electrostatic fields) always have zero curl. This makes physical sense: energy-conserving forces don't cause rotation.<\/p>\r\n\r\n<\/div>\r\n<section class=\"textbox example\" aria-label=\"Example\">Find the curl of [latex]{\\bf{F}}=\\langle\\sin{x}\\cos{z},\\sin{y}\\sin{z},\\cos{x}\\cos{y}\\rangle[\/latex] at point [latex]\\left(0,\\frac{\\pi}2,\\frac{\\pi}2\\right)[\/latex].[reveal-answer q=\"995421768\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"995421768\"][latex]-{\\bf{i}}[\/latex].[\/hidden-answer]\r\n\r\n<\/section><section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the above example.<center><iframe src=\"\/\/plugin.3playmedia.com\/show?mf=8250324&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=11v52S_m5wc&amp;video_target=tpm-plugin-i4jt3djg-11v52S_m5wc\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\" data-mce-fragment=\"1\"><\/iframe><\/center><center>You can view the <a href=\"https:\/\/course-building.s3.us-west-2.amazonaws.com\/Calculus+3\/Calc+3+transcripts\/CP6.43_transcript.html\">transcript for \u201cCP 6.43\u201d here (opens in new window).<\/a><\/center><\/section><section class=\"textbox example\" aria-label=\"Example\">Field [latex]{\\bf{v}}(x,y)=\\left\\langle-\\frac{y}{x^2+y^2},\\frac{x}{x^2+y^2}\\right\\rangle[\/latex] models the flow of a fluid. Show that if you drop a leaf into this fluid, as the leaf moves over time, the leaf does not rotate.[reveal-answer q=\"935016173\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"935016173\"]curl\u00a0[latex]{\\bf{v}}=0[\/latex].[\/hidden-answer]\r\n\r\n<\/section>\r\n<h2>Using Divergence and Curl<\/h2>\r\n<div class=\"textbox shaded\">\r\n\r\n<strong>The Main Idea\u00a0<\/strong>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Now that we understand divergence and curl individually, we can explore their relationships and use them as powerful tools for analyzing vector fields. These operations connect in ways that reveal deep mathematical structure.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Key Relationships<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Three fundamental identities link conservative fields, curl, and divergence:<\/p>\r\n\r\n<ol class=\"[&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-decimal space-y-2.5 pl-7\">\r\n \t<li class=\"whitespace-normal break-words\"><strong>Divergence of a curl is always zero<\/strong>: [latex]\\text{div curl}(\\mathbf{F}) = \\nabla \\cdot (\\nabla \\times \\mathbf{F}) = 0[\/latex]<\/li>\r\n \t<li class=\"whitespace-normal break-words\"><strong>Curl of a gradient is always zero<\/strong>: [latex]\\text{curl}(\\nabla f) = \\nabla \\times \\nabla f = 0[\/latex]<\/li>\r\n \t<li class=\"whitespace-normal break-words\"><strong>Curl of a conservative field is zero<\/strong>: If [latex]\\mathbf{F}[\/latex] is conservative, then [latex]\\text{curl } \\mathbf{F} = 0[\/latex]<\/li>\r\n<\/ol>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Testing for Conservative Fields<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">On a simply connected domain, [latex]\\mathbf{F}[\/latex] is conservative if and only if [latex]\\text{curl } \\mathbf{F} = 0[\/latex]. This gives you a direct computational test: calculate the curl, and if it's zero everywhere, the field is conservative. This is often easier than checking all the cross-partial conditions separately.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Why These Work<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">Conservative fields come from gradients ([latex]\\mathbf{F} = \\nabla f[\/latex]). The cross-partial property ensures all mixed partials are equal, which is exactly what makes curl vanish. Similarly, taking the curl eliminates any divergence that was present\u2014the curl operation \"filters out\" the spreading behavior.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>The Laplace Operator<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">The divergence of a gradient creates the <strong>Laplace operator<\/strong>: [latex]\\nabla^2 f = \\text{div}(\\nabla f) = f_{xx} + f_{yy} + f_{zz}[\/latex]. Functions satisfying <strong>Laplace's equation<\/strong> ([latex]\\nabla^2 f = 0[\/latex]) are called <strong>harmonic<\/strong> and appear throughout physics\u2014in electrostatics, fluid dynamics, and gravitational potentials.<\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Practical Strategy<\/strong><\/p>\r\n<p class=\"font-claude-response-body whitespace-normal break-words\">To analyze a vector field: check its curl to test if it's conservative, check its divergence to see if it's source-free, and use these tests to determine what kind of field you're working with.<\/p>\r\n\r\n<\/div>\r\n<section class=\"textbox example\" aria-label=\"Example\">Is it possible for [latex]{\\bf{G}}(x,y,z)=\\langle\\sin{x},\\cos{y},\\sin{(x,y,z)}\\rangle[\/latex] to be the curl of a vector field?[reveal-answer q=\"679340216\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"679340216\"]No.[\/hidden-answer]\r\n\r\n<\/section><section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the above example.<center><iframe src=\"\/\/plugin.3playmedia.com\/show?mf=8250325&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=3Lpc9ylxjtw&amp;video_target=tpm-plugin-zu9cpf88-3Lpc9ylxjtw\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\" data-mce-fragment=\"1\"><\/iframe><\/center><center>You can view the <a href=\"https:\/\/course-building.s3.us-west-2.amazonaws.com\/Calculus+3\/Calc+3+transcripts\/CP6.45_transcript.html\">transcript for \u201cCP 6.45\u201d here (opens in new window).<\/a><\/center><\/section><section class=\"textbox example\" aria-label=\"Example\">Is it possible for function [latex]f(x, y)=x^{2}-y^{2}+x[\/latex] to be the potential function of an electrostatic field located in a region of [latex]\\mathbb{R}^2[\/latex] free of static charge?[reveal-answer q=\"746189149\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"746189149\"]Yes.[\/hidden-answer]\r\n\r\n<\/section>","rendered":"<section class=\"textbox learningGoals\" aria-label=\"Learning Goals\">\n<ul>\n<li>Determine divergence from the formula for a given vector field<\/li>\n<li>Determine curl from the formula for a given vector field<\/li>\n<li>Use divergence and curl to identify conservative fields<\/li>\n<\/ul>\n<\/section>\n<h2>Divergence<\/h2>\n<div class=\"textbox shaded\">\n<p><strong>The Main Idea\u00a0<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Divergence measures how much a vector field &#8220;spreads out&#8221; or &#8220;flows away from&#8221; a point. Think of it as measuring the net outflow of the field at each location. If you imagine dropping a small elastic circle into a fluid flow, divergence tells you whether that circle expands, contracts, or maintains its area.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>The Formula<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">For [latex]\\mathbf{F} = \\langle P, Q, R \\rangle[\/latex] in [latex]\\mathbb{R}^3[\/latex]:<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\" style=\"text-align: center;\">[latex]\\text{div } \\mathbf{F} = P_x + Q_y + R_z = \\frac{\\partial P}{\\partial x} + \\frac{\\partial Q}{\\partial y} + \\frac{\\partial R}{\\partial z}[\/latex]<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">In [latex]\\mathbb{R}^2[\/latex], it&#8217;s simply [latex]\\text{div } \\mathbf{F} = P_x + Q_y[\/latex]. Symbolically, we write [latex]\\text{div } \\mathbf{F} = \\nabla \\cdot \\mathbf{F}[\/latex].<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Understanding the Output<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Divergence returns a <strong>scalar value<\/strong> (not a vector) at each point:<\/p>\n<ul class=\"[&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-disc space-y-2.5 pl-7\">\n<li class=\"whitespace-normal break-words\">[latex]\\text{div } \\mathbf{F} > 0[\/latex]: More is flowing out than in (a source)<\/li>\n<li class=\"whitespace-normal break-words\">[latex]\\text{div } \\mathbf{F} < 0[\/latex]: More is flowing in than out (a sink)<\/li>\n<li class=\"whitespace-normal break-words\">[latex]\\text{div } \\mathbf{F} = 0[\/latex]: Flow in equals flow out (source-free)<\/li>\n<\/ul>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Source-Free Fields<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">A vector field is <strong>source-free<\/strong> if its divergence is zero everywhere (on a simply connected domain). Source-free fields have stream functions\u2014scalar functions that describe the flow pattern. This mirrors how conservative fields have potential functions.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Connection to Green&#8217;s Theorem<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">The flux form of Green&#8217;s Theorem can be written as [latex]\\oint_C \\mathbf{F} \\cdot \\mathbf{N}\\,ds = \\iint_D \\text{div } \\mathbf{F}\\,dA[\/latex]. This connects the flux across a boundary to the total divergence inside the region\u2014analogous to how the Fundamental Theorem of Calculus relates derivatives to boundary values.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Physical Applications<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">In physics, magnetic fields must satisfy [latex]\\nabla \\cdot \\mathbf{B} = 0[\/latex] (Gauss&#8217;s law for magnetism). In fluid dynamics, divergence indicates whether fluid is accumulating or dispersing at each point.<\/p>\n<\/div>\n<section class=\"textbox example\" aria-label=\"Example\">Find [latex]\\text{div }{\\bf{F}}[\/latex] for [latex]{\\bf{F}}(x,y,z)=\\langle{x}y,5-z^2y,x^2+y^2\\rangle[\/latex].<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q294776295\">Show Solution<\/button><\/p>\n<div id=\"q294776295\" class=\"hidden-answer\" style=\"display: none\">[latex]y-z^{2}[\/latex]<\/div>\n<\/div>\n<\/section>\n<section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the above example.<\/p>\n<div style=\"text-align: center;\"><iframe loading=\"lazy\" src=\"\/\/plugin.3playmedia.com\/show?mf=8250323&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=uyHf_JvAiU4&amp;video_target=tpm-plugin-51knnc2v-uyHf_JvAiU4\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\" data-mce-fragment=\"1\"><\/iframe><\/div>\n<div style=\"text-align: center;\">You can view the <a href=\"https:\/\/course-building.s3.us-west-2.amazonaws.com\/Calculus+3\/Calc+3+transcripts\/CP6.40_transcript.html\">transcript for \u201cCP 6.40\u201d here (opens in new window).<\/a><\/div>\n<\/section>\n<section class=\"textbox example\" aria-label=\"Example\">Let [latex]{\\bf{F}}(x,y)=\\langle-ay,bx\\rangle[\/latex] be a rotational field where [latex]a[\/latex] and [latex]b[\/latex] are positive constants. Is\u00a0[latex]{\\bf{F}}[\/latex]\u00a0source free?<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q927458210\">Show Solution<\/button><\/p>\n<div id=\"q927458210\" class=\"hidden-answer\" style=\"display: none\">Yes.<\/div>\n<\/div>\n<\/section>\n<section class=\"textbox example\" aria-label=\"Example\">For vector field [latex]{\\bf{v}}(x,y)=\\langle-xy,y\\rangle[\/latex], [latex]y>0[\/latex] find all points [latex]P[\/latex] such that the amount of fluid flowing in to [latex]P[\/latex] equals the amount of fluid flowing out of [latex]P[\/latex].<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q468322501\">Show Solution<\/button><\/p>\n<div id=\"q468322501\" class=\"hidden-answer\" style=\"display: none\">All points on line [latex]y=1[\/latex].<\/div>\n<\/div>\n<\/section>\n<h2>Curl<\/h2>\n<div class=\"textbox shaded\">\n<p><strong>The Main Idea\u00a0<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Curl measures the &#8220;spin&#8221; or rotational tendency of a vector field at each point. If you imagine placing a tiny paddlewheel into a fluid flow, curl tells you whether the wheel rotates, how fast it spins, and which direction the axis points.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>The Formula<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">For [latex]\\mathbf{F} = \\langle P, Q, R \\rangle[\/latex] in [latex]\\mathbb{R}^3[\/latex]:<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\" style=\"text-align: center;\">[latex]\\text{curl } \\mathbf{F} = (R_y - Q_z)\\mathbf{i} + (P_z - R_x)\\mathbf{j} + (Q_x - P_y)\\mathbf{k}[\/latex]<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">A helpful way to remember this is the symbolic determinant [latex]\\nabla \\times \\mathbf{F}[\/latex]:<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\" style=\"text-align: center;\">[latex]\\begin{vmatrix}\\mathbf{i} & \\mathbf{j} & \\mathbf{k} \\\\ \\frac{\\partial}{\\partial x} & \\frac{\\partial}{\\partial y} & \\frac{\\partial}{\\partial z} \\\\ P & Q & R \\end{vmatrix}[\/latex]<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">For [latex]\\mathbf{F} = \\langle P, Q \\rangle[\/latex] in [latex]\\mathbb{R}^2[\/latex], curl is simply [latex]\\text{curl } \\mathbf{F} = (Q_x - P_y)\\mathbf{k}[\/latex].<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Understanding the Output<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Unlike divergence, curl returns a <strong>vector<\/strong> (not a scalar). The direction of this vector indicates the axis of rotation, and its magnitude indicates how fast the rotation occurs. If [latex]\\text{curl } \\mathbf{F} = \\mathbf{0}[\/latex], the field has no rotational tendency\u2014particles don&#8217;t spin as they move through the field.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Visualizing Curl<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Picture dropping a leaf into flowing water. Curl measures whether the leaf rotates as it drifts. A constant field like [latex]\\langle 1, 2 \\rangle[\/latex] has zero curl\u2014no rotation. But even fields with parallel-looking vectors can have nonzero curl if the magnitudes vary, creating differential forces that cause rotation.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Connection to Green&#8217;s Theorem<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">The circulation form of Green&#8217;s Theorem can be written as [latex]\\oint_C \\mathbf{F} \\cdot d\\mathbf{r} = \\iint_D \\text{curl } \\mathbf{F} \\cdot \\mathbf{k}\\,dA[\/latex]. This connects circulation around a boundary to the total curl inside\u2014another higher-dimensional analog of the Fundamental Theorem of Calculus.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Physical Significance<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Conservative fields (like gravitational and electrostatic fields) always have zero curl. This makes physical sense: energy-conserving forces don&#8217;t cause rotation.<\/p>\n<\/div>\n<section class=\"textbox example\" aria-label=\"Example\">Find the curl of [latex]{\\bf{F}}=\\langle\\sin{x}\\cos{z},\\sin{y}\\sin{z},\\cos{x}\\cos{y}\\rangle[\/latex] at point [latex]\\left(0,\\frac{\\pi}2,\\frac{\\pi}2\\right)[\/latex].<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q995421768\">Show Solution<\/button><\/p>\n<div id=\"q995421768\" class=\"hidden-answer\" style=\"display: none\">[latex]-{\\bf{i}}[\/latex].<\/div>\n<\/div>\n<\/section>\n<section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the above example.<\/p>\n<div style=\"text-align: center;\"><iframe loading=\"lazy\" src=\"\/\/plugin.3playmedia.com\/show?mf=8250324&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=11v52S_m5wc&amp;video_target=tpm-plugin-i4jt3djg-11v52S_m5wc\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\" data-mce-fragment=\"1\"><\/iframe><\/div>\n<div style=\"text-align: center;\">You can view the <a href=\"https:\/\/course-building.s3.us-west-2.amazonaws.com\/Calculus+3\/Calc+3+transcripts\/CP6.43_transcript.html\">transcript for \u201cCP 6.43\u201d here (opens in new window).<\/a><\/div>\n<\/section>\n<section class=\"textbox example\" aria-label=\"Example\">Field [latex]{\\bf{v}}(x,y)=\\left\\langle-\\frac{y}{x^2+y^2},\\frac{x}{x^2+y^2}\\right\\rangle[\/latex] models the flow of a fluid. Show that if you drop a leaf into this fluid, as the leaf moves over time, the leaf does not rotate.<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q935016173\">Show Solution<\/button><\/p>\n<div id=\"q935016173\" class=\"hidden-answer\" style=\"display: none\">curl\u00a0[latex]{\\bf{v}}=0[\/latex].<\/div>\n<\/div>\n<\/section>\n<h2>Using Divergence and Curl<\/h2>\n<div class=\"textbox shaded\">\n<p><strong>The Main Idea\u00a0<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Now that we understand divergence and curl individually, we can explore their relationships and use them as powerful tools for analyzing vector fields. These operations connect in ways that reveal deep mathematical structure.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Key Relationships<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Three fundamental identities link conservative fields, curl, and divergence:<\/p>\n<ol class=\"[&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-decimal space-y-2.5 pl-7\">\n<li class=\"whitespace-normal break-words\"><strong>Divergence of a curl is always zero<\/strong>: [latex]\\text{div curl}(\\mathbf{F}) = \\nabla \\cdot (\\nabla \\times \\mathbf{F}) = 0[\/latex]<\/li>\n<li class=\"whitespace-normal break-words\"><strong>Curl of a gradient is always zero<\/strong>: [latex]\\text{curl}(\\nabla f) = \\nabla \\times \\nabla f = 0[\/latex]<\/li>\n<li class=\"whitespace-normal break-words\"><strong>Curl of a conservative field is zero<\/strong>: If [latex]\\mathbf{F}[\/latex] is conservative, then [latex]\\text{curl } \\mathbf{F} = 0[\/latex]<\/li>\n<\/ol>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Testing for Conservative Fields<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">On a simply connected domain, [latex]\\mathbf{F}[\/latex] is conservative if and only if [latex]\\text{curl } \\mathbf{F} = 0[\/latex]. This gives you a direct computational test: calculate the curl, and if it&#8217;s zero everywhere, the field is conservative. This is often easier than checking all the cross-partial conditions separately.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Why These Work<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">Conservative fields come from gradients ([latex]\\mathbf{F} = \\nabla f[\/latex]). The cross-partial property ensures all mixed partials are equal, which is exactly what makes curl vanish. Similarly, taking the curl eliminates any divergence that was present\u2014the curl operation &#8220;filters out&#8221; the spreading behavior.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>The Laplace Operator<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">The divergence of a gradient creates the <strong>Laplace operator<\/strong>: [latex]\\nabla^2 f = \\text{div}(\\nabla f) = f_{xx} + f_{yy} + f_{zz}[\/latex]. Functions satisfying <strong>Laplace&#8217;s equation<\/strong> ([latex]\\nabla^2 f = 0[\/latex]) are called <strong>harmonic<\/strong> and appear throughout physics\u2014in electrostatics, fluid dynamics, and gravitational potentials.<\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\"><strong>Practical Strategy<\/strong><\/p>\n<p class=\"font-claude-response-body whitespace-normal break-words\">To analyze a vector field: check its curl to test if it&#8217;s conservative, check its divergence to see if it&#8217;s source-free, and use these tests to determine what kind of field you&#8217;re working with.<\/p>\n<\/div>\n<section class=\"textbox example\" aria-label=\"Example\">Is it possible for [latex]{\\bf{G}}(x,y,z)=\\langle\\sin{x},\\cos{y},\\sin{(x,y,z)}\\rangle[\/latex] to be the curl of a vector field?<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q679340216\">Show Solution<\/button><\/p>\n<div id=\"q679340216\" class=\"hidden-answer\" style=\"display: none\">No.<\/div>\n<\/div>\n<\/section>\n<section class=\"textbox watchIt\" aria-label=\"Watch It\">Watch the following video to see the worked solution to the above example.<\/p>\n<div style=\"text-align: center;\"><iframe loading=\"lazy\" src=\"\/\/plugin.3playmedia.com\/show?mf=8250325&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=3Lpc9ylxjtw&amp;video_target=tpm-plugin-zu9cpf88-3Lpc9ylxjtw\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\" data-mce-fragment=\"1\"><\/iframe><\/div>\n<div style=\"text-align: center;\">You can view the <a href=\"https:\/\/course-building.s3.us-west-2.amazonaws.com\/Calculus+3\/Calc+3+transcripts\/CP6.45_transcript.html\">transcript for \u201cCP 6.45\u201d here (opens in new window).<\/a><\/div>\n<\/section>\n<section class=\"textbox example\" aria-label=\"Example\">Is it possible for function [latex]f(x, y)=x^{2}-y^{2}+x[\/latex] to be the potential function of an electrostatic field located in a region of [latex]\\mathbb{R}^2[\/latex] free of static charge?<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q746189149\">Show Solution<\/button><\/p>\n<div id=\"q746189149\" class=\"hidden-answer\" style=\"display: none\">Yes.<\/div>\n<\/div>\n<\/section>\n","protected":false},"author":15,"menu_order":9,"template":"","meta":{"_candela_citation":"[]","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"class_list":["post-780","chapter","type-chapter","status-publish","hentry"],"part":438,"module-header":"fresh_take","content_attributions":[],"internal_book_links":[],"video_content":null,"cc_video_embed_content":{"cc_scripts":"","media_targets":[]},"try_it_collection":null,"_links":{"self":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/780","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/users\/15"}],"version-history":[{"count":7,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/780\/revisions"}],"predecessor-version":[{"id":2239,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/780\/revisions\/2239"}],"part":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/parts\/438"}],"metadata":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/780\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/media?parent=780"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapter-type?post=780"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/contributor?post=780"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/license?post=780"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}