{"id":5494,"date":"2022-06-02T18:51:58","date_gmt":"2022-06-02T18:51:58","guid":{"rendered":"https:\/\/courses.lumenlearning.com\/calculus3\/?post_type=chapter&#038;p=5494"},"modified":"2022-11-01T05:18:35","modified_gmt":"2022-11-01T05:18:35","slug":"flux-form-of-greens-theorem","status":"publish","type":"chapter","link":"https:\/\/courses.lumenlearning.com\/calculus3\/chapter\/flux-form-of-greens-theorem\/","title":{"raw":"Flux Form of Green\u2019s Theorem","rendered":"Flux Form of Green\u2019s Theorem"},"content":{"raw":"<div data-type=\"example\">\r\n<div class=\"textbox learning-objectives\">\r\n<h3>Learning Objectives<\/h3>\r\n<ul class=\"os-abstract\">\r\n \t<li><span class=\"os-abstract-token\">Apply <\/span><span class=\"os-abstract-content\">the flux form of Green\u2019s theorem.<\/span><\/li>\r\n<\/ul>\r\n<\/div>\r\n<div data-type=\"example\">The circulation form of Green\u2019s theorem relates a double integral over region [latex]D[\/latex] to line integral [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{T}}ds[\/latex], where [latex]C[\/latex] is the boundary of [latex]D[\/latex]. The flux form of Green\u2019s theorem relates a double integral over region [latex]D[\/latex] to the flux across boundary [latex]C[\/latex]. The flux of a fluid across a curve can be difficult to calculate using the flux line integral. This form of Green\u2019s theorem allows us to translate a difficult flux integral into a double integral that is often easier to calculate.<\/div>\r\n<div data-type=\"example\"><\/div>\r\n<div data-type=\"example\">\r\n<div class=\"textbox shaded\">\r\n<h3 style=\"text-align: center;\">theorem: Green's theorem, flux form<\/h3>\r\n<p id=\"fs-id1167793638017\">Let [latex]D[\/latex] be an open, simply connected region with a boundary curve [latex]C[\/latex] that is a piecewise smooth, simple closed curve that is oriented counterclockwise (Figure 1). Let [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex] be a vector field with component functions that have continuous partial derivatives on an open region containing [latex]D[\/latex]. Then,<\/p>\r\n<p style=\"text-align: center;\">[latex]\\displaystyle\\oint{\\bf{F}}\\cdot{\\bf{N}}ds=\\displaystyle\\iint_DP_x+Q_ydA[\/latex].<\/p>\r\n\r\n<\/div>\r\n<\/div>\r\n[caption id=\"attachment_5288\" align=\"aligncenter\" width=\"493\"]<img class=\"size-full wp-image-5288\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31230452\/6.38.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/5b401794be0561b0b57ebb66b433fc0bfb8d584a&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. A generic curve C encloses a simple region D around the origin oriented counterclockwise. Normal vectors N point out and away from the curve into quadrants 1, 3, and 4.&quot; id=&quot;17&quot;&gt;\" width=\"493\" height=\"349\" \/> Figure 1. The flux form of Green\u2019s theorem relates a double integral over region [latex]D[\/latex] to the flux across curve [latex]C[\/latex].[\/caption]\r\n<p id=\"fs-id1167793960405\">Because this form of Green\u2019s theorem contains unit normal vector [latex]\\bf{N}[\/latex], it is sometimes referred to as the\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term261\" class=\"no-emphasis\" data-type=\"term\"><em data-effect=\"italics\">normal form<\/em>\u00a0of Green\u2019s theorem<\/span>.<\/p>\r\n\r\n<section id=\"fs-id1167794287675\" data-depth=\"2\">\r\n<h3 data-type=\"title\">Proof<\/h3>\r\n<p id=\"fs-id1167794060009\">Recall that [latex]\\displaystyle\\oint{\\bf{F}}\\cdot{\\bf{N}}ds=\\displaystyle\\oint_C-Qdx+Pdy[\/latex]. Let [latex]M=-Q[\/latex] and [latex]N=P[\/latex]. By the circulation form of Green\u2019s theorem,<\/p>\r\n<p style=\"text-align: center;\">[latex]\\begin{aligned}\r\n\\displaystyle\\oint_C-Qdx+Pdy&amp;=\\displaystyle\\oint_CMdx+nDy \\\\\r\n&amp;=\\displaystyle\\iint_DN_x-M_ydA \\\\\r\n&amp;=\\displaystyle\\iint_DP_x-(-Q)_ydA \\\\\r\n&amp;=\\displaystyle\\iint_DP_x+Q_ydA\r\n\\end{aligned}[\/latex].<\/p>\r\n[latex]_\\blacksquare[\/latex]\r\n\r\n<\/section>\r\n<div class=\"textbox exercises\">\r\n<h3>Example: Applying Green's theorem for flux across a circle<\/h3>\r\nLet [latex]C[\/latex] be a circle of radius [latex]r[\/latex] centered at the origin (Figure 2) and let [latex]{\\bf{F}}(x,y)=\\langle{x},y\\rangle[\/latex]. Calculate the flux across [latex]C[\/latex].\r\n\r\n[caption id=\"attachment_5290\" align=\"aligncenter\" width=\"717\"]<img class=\"size-full wp-image-5290\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31230602\/6.39.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/3dcb3fb449528300042551a059b72ac2dd14edb1&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. The arrows point away from the origin in a radial pattern. They are shorter near the origin and much longer further away. A circle with radius 2 and center at the origin is drawn.&quot; id=&quot;19&quot;&gt;\" width=\"717\" height=\"572\" \/> Figure 2. Curve [latex]C[\/latex] is a circle of radius [latex]r[\/latex] centered at the origin.[\/caption][reveal-answer q=\"345083481\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"345083481\"]\r\n<p id=\"fs-id1167793508388\">Let [latex]D[\/latex] be the disk enclosed by [latex]C[\/latex]. The flux across [latex]C[\/latex] is [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex]. We could evaluate this integral using tools we have learned, but Green\u2019s theorem makes the calculation much more simple. Let [latex]P(x, y)=x[\/latex] and [latex]Q(x, y)=y[\/latex] so that [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex]. Note that [latex]P_x=1=Q_y[\/latex], and therefore [latex]P_x+Q_y=2[\/latex]. By Green\u2019s theorem,<\/p>\r\n<p style=\"text-align: center;\">[latex]\\displaystyle\\int_C{\\bf{F}}\\bullet{\\bf{N}}=\\displaystyle\\int \\ \\displaystyle\\int_D2dA=2\\displaystyle\\int \\ \\displaystyle\\int_DdA[\/latex].<\/p>\r\n<p id=\"fs-id1167793541065\">Since [latex]\\displaystyle\\int_DdA[\/latex] is the area of the circle, [latex]\\displaystyle\\int_DdA=\\pi{r}^2[\/latex]. Therefore, the flux across [latex]C[\/latex] is\u00a0[latex]2\\pi{r}[\/latex].<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<div class=\"textbox exercises\">\r\n<h3>Example: applying green's theorem for flux across a triangle<\/h3>\r\nLet [latex]S[\/latex] be the triangle with vertices [latex](0, 0)[\/latex], [latex](1, 0)[\/latex], and [latex](0, 3)[\/latex] oriented clockwise (Figure 3). Calculate the flux of [latex]{\\bf{F}}(x,y)=\\langle{P}(x,y),Q(x,y)\\rangle=\\langle{x}^2+e^y,x+y\\rangle[\/latex] across [latex]S[\/latex].\r\n\r\n[caption id=\"attachment_5295\" align=\"aligncenter\" width=\"679\"]<img class=\"size-full wp-image-5295\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31230853\/6.40.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/2a4456ea6490e1da9ebf0f3adaaac3b7295512fb&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. A triangle is drawn oriented clockwise with vertices at (0,0), (1,0), and (0,3). The arrows in the field point to the right and up slightly. The angle is greater the closer they are to the axis.&quot; id=&quot;21&quot;&gt;\" width=\"679\" height=\"497\" \/> Figure 3. Curve [latex]S[\/latex] is a triangle with vertices [latex](0, 0)[\/latex], [latex](1, 0)[\/latex], and [latex](0, 3)[\/latex] oriented clockwise.[\/caption][reveal-answer q=\"398702952\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"398702952\"]\r\n<p id=\"fs-id1167794059016\">To calculate the flux without Green\u2019s theorem, we would need to break the flux integral into three line integrals, one integral for each side of the triangle. Using Green\u2019s theorem to translate the flux line integral into a single double integral is much more simple.<\/p>\r\n<p id=\"fs-id1167794029719\">Let [latex]D[\/latex] be the region enclosed by [latex]S[\/latex]. Note that [latex]P_x=2x[\/latex] and [latex]Q_y=1[\/latex] therefore, [latex]P_x+Q_y=2x+1[\/latex]. Green\u2019s theorem applies only to simple closed curves oriented counterclockwise, but we can still apply the theorem because [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds=-\\displaystyle\\oint_{-S}{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex] and [latex]-S[\/latex] is oriented counterclockwise. By Green\u2019s theorem, the flux is<\/p>\r\n<p style=\"text-align: center;\">[latex]\\begin{aligned}\r\n\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds&amp;=\\displaystyle\\oint_{-S}{\\bf{F}}\\cdot{\\bf{N}}ds \\\\\r\n&amp;=-\\displaystyle\\iint_D(P_x+Q_y)dA \\\\\r\n&amp;=-\\displaystyle\\iint_D(2x+1)dA\r\n\\end{aligned}[\/latex]<\/p>\r\n<p id=\"fs-id1167793293464\">Notice that the top edge of the triangle is the line [latex]y=-3x=3[\/latex] Therefore, in the iterated double integral, the\u00a0<em data-effect=\"italics\">y<\/em>-values run from [latex]y=0[\/latex] to [latex]y=-3x+3[\/latex], and we have<\/p>\r\n<p style=\"text-align: center;\">[latex]\\begin{aligned}\r\n-\\displaystyle\\iint_D(2x+1)dA&amp;=-\\displaystyle\\int_0^1\\displaystyle\\int_0^{-3x+3}(2x+1)dydx \\\\\r\n&amp;=--\\displaystyle\\int_0^1(2x+1)(-3x+3)dx=-\\displaystyle\\int_0^1(-6x^2+3x+3)dx \\\\\r\n&amp;=-\\left[-2x^3+\\frac{3x^2}2+3x\\right]_0^1=-\\frac52\r\n\\end{aligned}[\/latex].<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<div class=\"textbox key-takeaways\">\r\n<h3>try it<\/h3>\r\nCalculate the flux of [latex]{\\bf{F}}(x,y)=\\langle{x}^3,y^3\\rangle[\/latex]\u00a0 across a unit circle oriented counterclockwise.\r\n\r\n[reveal-answer q=\"457134886\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"457134886\"]\r\n\r\n[latex]\\frac{3\\pi}2[\/latex].\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n\r\n[caption]Watch the following video to see the worked solution to the above Try It[\/caption]\r\n\r\n<center><iframe src=\"\/\/plugin.3playmedia.com\/show?mf=8250321&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=6YIilpzQIhI&amp;video_target=tpm-plugin-zx9nr5sz-6YIilpzQIhI\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\"><\/iframe><\/center><center>You can view the <a href=\"https:\/\/course-building.s3.us-west-2.amazonaws.com\/Calculus+3\/Calc+3+transcripts\/CP6.36_transcript.html\">transcript for \u201cCP 6.36\u201d here (opens in new window).<\/a><\/center>\r\n<div class=\"textbox exercises\">\r\n<h3>Example: applying green's theorem for water flow across a rectangle<\/h3>\r\nWater flows from a spring located at the origin. The velocity of the water is modeled by vector field [latex]{\\bf{v}}(x,y)=\\langle5x+y,x+3y\\rangle[\/latex] m\/sec. Find the amount of water per second that flows across the rectangle with vertices [latex](-1, -2)[\/latex], [latex](1, -2)[\/latex], [latex](1, 3)[\/latex], and [latex](-1, 3)[\/latex], oriented counterclockwise (Figure 4).\r\n\r\n[caption id=\"attachment_5300\" align=\"aligncenter\" width=\"717\"]<img class=\"size-full wp-image-5300\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31231154\/6.41.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/416bb9f3ebaa663f2b8f7fe903756dcf624c4709&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. A rectangle is drawn oriented counterclockwise with vertices at (-1,3), (1,3), (-1,-2), and (1,-2). The arrows point out and away from the origin in a radial pattern. However, the arrows in quadrants 2 and 4 curve slightly towards the y axis instead of directly out. The arrows near the origin are short, and those further away from the origin are much longer.&quot; id=&quot;24&quot;&gt;\" width=\"717\" height=\"497\" \/> Figure 4. Water flows across the rectangle with vertices [latex](-1, -2)[\/latex], [latex](1, -2)[\/latex], [latex](1, 3)[\/latex], and [latex](-1, 3)[\/latex], oriented counterclockwise.[\/caption][reveal-answer q=\"038429472\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"038429472\"]\r\n<p id=\"fs-id1167794101057\">Let [latex]C[\/latex] epresent the given rectangle and let [latex]D[\/latex] be the rectangular region enclosed by [latex]C[\/latex]. To find the amount of water flowing across [latex]C[\/latex], we calculate flux [latex]\\displaystyle\\int_C{\\bf{v}}\\cdot{\\bf{N}}ds[\/latex].<\/p>\r\nLet [latex]P(x, y)=5x+y[\/latex] and [latex]Q(x, y)=x+3y[\/latex] so that [latex]{\\bf{v}}=(P,Q)[\/latex]. Then, [latex]P_x=5[\/latex] and [latex]Q_y=3[\/latex]. By Green\u2019s theorem,\r\n<p style=\"text-align: center;\">[latex]\\begin{aligned}\r\n\\displaystyle\\int_C{\\bf{v}}\\cdot{\\bf{N}}ds&amp;=\\displaystyle\\iint_D(P_x+Q_y)dA \\\\\r\n&amp;=\\displaystyle\\iint_D8dA \\\\\r\n&amp;=8(\\text{area of }D)=80\r\n\\end{aligned}[\/latex].<\/p>\r\n<p id=\"fs-id1167793881295\">Therefore, the water flux is [latex]80[\/latex] m<sup>2<\/sup>\/sec.<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<p id=\"fs-id1167793609946\">Recall that if vector field\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative, then\u00a0[latex]{\\bf{F}}[\/latex]\u00a0does no work around closed curves\u2014that is, the circulation of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0around a closed curve is zero. In fact, if the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is simply connected, then\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative if and only if the circulation of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0around any closed curve is zero. If we replace \u201ccirculation of\u00a0[latex]{\\bf{F}}[\/latex]\u201d with \u201cflux of\u00a0[latex]{\\bf{F}}[\/latex]<strong data-effect=\"bold\">,<\/strong>\u201d then we get a definition of a source-free vector field. The following statements are all equivalent ways of defining a source-free field [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex] on a simply connected domain (note the similarities with properties of conservative vector fields):<\/p>\r\n\r\n<ol id=\"fs-id1167793959779\" type=\"1\">\r\n \t<li>The flux [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex] across any closed curve [latex]C[\/latex] is zero.<\/li>\r\n \t<li>If [latex]C_1[\/latex] and [latex]C_2[\/latex] are curves in the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0with the same starting points and endpoints, then [latex]\\displaystyle\\int_{C_1}{\\bf{F}}\\cdot{\\bf{N}}ds=\\displaystyle\\int_{C_2}{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex]. In other words, flux is independent of path.<\/li>\r\n \t<li>There is a\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term262\" data-type=\"term\"><strong>stream function<\/strong> [latex]g(x, y)[\/latex]\u00a0<\/span>for\u00a0[latex]{\\bf{F}}[\/latex]. A stream function for [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex] is a function [latex]g[\/latex] such that [latex]P=g_y[\/latex] and [latex]Q=-g_x[\/latex]. Geometrically, [latex]{\\bf{F}}(a,b)[\/latex] is tangential to the level curve of [latex]g[\/latex] at [latex](a, b)[\/latex]. Since the gradient of [latex]g[\/latex] is perpendicular to the level curve of [latex]g[\/latex] at [latex](a, b)[\/latex], stream function [latex]g[\/latex] has the property [latex]{\\bf{F}}(a,b)\\bullet\\nabla{g}(a,b)=0[\/latex] for any point [latex](a, b)[\/latex] in the domain of [latex]g[\/latex]. (Stream functions play the same role for source-free fields that potential functions play for conservative fields.)<\/li>\r\n \t<li>[latex]P_x+Q_y=0[\/latex]<\/li>\r\n<\/ol>\r\n<div class=\"textbox exercises\">\r\n<h3>Example: finding a stream function<\/h3>\r\nVerify that rotation vector field [latex]{\\bf{F}}(x,y)=\\langle{y},-x\\rangle[\/latex] is source free, and find a stream function for\u00a0[latex]{\\bf{F}}[\/latex].\r\n\r\n[reveal-answer q=\"934503348\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"934503348\"]\r\n<p id=\"fs-id1167793610610\">Note that the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is all of [latex]\\mathbb{R}^2[\/latex], which is simply connected. Therefore, to show that\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is source free, we can show any of items 1 through 4 from the previous list to be true. In this example, we show that item 4 is true. Let [latex]P(x, y)=y[\/latex] and [latex]Q(x, y)=-x[\/latex]. Then [latex]P_x+0=Q_y[\/latex], and therefore [latex]P_x+Q_y=0[\/latex]. Thus,\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is source free.<\/p>\r\n<p id=\"fs-id1167793557795\">To find a stream function for\u00a0[latex]{\\bf{F}}[\/latex], proceed in the same manner as finding a potential function for a conservative field. Let [latex]g[\/latex] be a stream function for\u00a0[latex]{\\bf{F}}[\/latex]. Then [latex]g_y=y[\/latex], which implies that<\/p>\r\n<p style=\"text-align: center;\">[latex]\\large{g(x,y)=\\frac{y^2}2+h(x)}[\/latex].<\/p>\r\n<p id=\"fs-id1167793377328\">Since [latex]-g_x=Q=-x[\/latex] we have [latex]h'(x)=x[\/latex]. Therefore,<\/p>\r\n<p style=\"text-align: center;\">[latex]\\large{h(x)=\\frac{x^2}2+C}[\/latex].<\/p>\r\n<p id=\"fs-id1167793243983\">Letting [latex]C=0[\/latex] gives stream function<\/p>\r\n<p style=\"text-align: center;\">[latex]\\large{g(x,y)=\\frac{x^2}2+\\frac{y^2}2}[\/latex].<\/p>\r\n<p id=\"fs-id1167793624718\">To confirm that [latex]g[\/latex] is a stream function for\u00a0[latex]{\\bf{F}}[\/latex], note that [latex]g_y=y=P[\/latex] and [latex]-g_x=-x=Q[\/latex].<\/p>\r\n<p id=\"fs-id1167793261693\">Notice that source-free rotation vector field [latex]{\\bf{F}}(x,y)=\\langle{y},-x\\rangle[\/latex] is perpendicular to conservative radial vector field [latex]\\nabla{g}=\\langle{x},y\\rangle[\/latex] (Figure 5).<\/p>\r\n\r\n[caption id=\"attachment_5302\" align=\"aligncenter\" width=\"708\"]<img class=\"size-full wp-image-5302\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31231302\/6.42.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/e340a7e412b44f17cd4f3c841f75736d64b46ff4&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;Two vector fields in two dimensions. The first has arrows surrounding the origin in a clockwise circular pattern. The second has arrows pointing out and away from the origin in a radial manner. Circles with radii 1.5, 2, and 2.5 and centers at the origin are drawn in both. The arrows near the origin are shorter than those much further away. The first is labeled F(x,y) = &lt;y, -x&gt; and the second is labeled for the gradient, delta g = &lt;x, -y&gt;.&quot; id=&quot;26&quot;&gt;\" width=\"708\" height=\"311\" \/> Figure 5. (a) In this image, we see the three-level curves of [latex]g[\/latex] and vector field [latex]{\\bf{F}}[\/latex]. Note that the [latex]{\\bf{F}}[\/latex] vectors on a given level curve are tangent to the level curve. (b) In this image, we see the three-level curves of [latex]g[\/latex] and vector field [latex]\\nabla{g}[\/latex]. The gradient vectors are perpendicular to the corresponding level curve. Therefore, [latex]{\\bf{F}}(a,b)\\bullet\\nabla{g}(a,b)=0[\/latex] for any point in the domain of [latex]g[\/latex].[\/caption][\/hidden-answer]<\/div>\r\n<div class=\"textbox key-takeaways\">\r\n<h3>try it<\/h3>\r\nFind a stream function for vector field [latex]{\\bf{F}}(x,y)=\\langle{x}\\sin{y},\\cos{y}\\rangle[\/latex].\r\n\r\n[reveal-answer q=\"938299357\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"938299357\"]\r\n\r\n[latex]g(x,y)=-x\\cos{y}[\/latex].\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<p id=\"fs-id1167794163398\">Vector fields that are both conservative and source free are important vector fields. One important feature of conservative and source-free vector fields on a simply connected domain is that any potential function [latex]f[\/latex] of such a field satisfies Laplace\u2019s equation [latex]f_{xx}+f{yy}=0[\/latex].\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term263\" class=\"no-emphasis\" data-type=\"term\">Laplace\u2019s equation<\/span>\u00a0is foundational in the field of partial differential equations because it models such phenomena as gravitational and magnetic potentials in space, and the velocity potential of an ideal fluid. A function that satisfies Laplace\u2019s equation is called a\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term264\" class=\"no-emphasis\" data-type=\"term\"><em data-effect=\"italics\">harmonic<\/em>\u00a0function<\/span>. Therefore any potential function of a conservative and source-free vector field is harmonic.<\/p>\r\n<p id=\"fs-id1167793617833\">To see that any potential function of a conservative and source-free vector field on a simply connected domain is harmonic, let [latex]f[\/latex] be such a potential function of vector field [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex]. Then, [latex]f_x=P[\/latex] and [latex]f_x=Q[\/latex] because [latex]\\nabla{f}={\\bf{F}}[\/latex]. Therefore, [latex]f_{xx}=P_x[\/latex] and [latex]f_{yy}=[\/latex]. Since\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is source free, [latex]f_{xx}+f_{yy}=P_x+Q_y=0[\/latex], and we have that [latex]f[\/latex] is harmonic.<\/p>\r\n\r\n<div class=\"textbox exercises\">\r\n<h3>Example: satisfying laplace's equation<\/h3>\r\nFor vector field [latex]{\\bf{F}}(x,y)=\\langle{e}^x\\sin{y},e^x\\cos{y}\\rangle[\/latex], verify that the field is both conservative and source free, find a potential function for\u00a0[latex]{\\bf{F}}[\/latex], and verify that the potential function is harmonic.\r\n\r\n[reveal-answer q=\"934902884\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"934902884\"]\r\n<div id=\"fs-id1167793953529\" class=\"ui-has-child-title\" data-type=\"example\"><section>\r\n<div class=\"body\">\r\n<div id=\"fs-id1167793953531\" class=\"unnumbered\" data-type=\"exercise\"><section>\r\n<div id=\"fs-id1167793308040\" class=\" ui-solution-visible\" data-type=\"solution\" aria-label=\"hide solution\" aria-expanded=\"true\"><section class=\"ui-body\" role=\"alert\">\r\n<div class=\"os-solution-container\">\r\n<p id=\"fs-id1167793308042\">Let [latex]P(x,y)={e}^x\\sin{y}[\/latex] and [latex]Q(x,y)=e^x\\cos{y}[\/latex]. Notice that the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is all of two-space, which is simply connected. Therefore, we can check the cross-partials of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0to determine whether\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative. Note that [latex]P_y=e^x\\cos{y}[\/latex], so\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative. Since [latex]P_x={e}^x\\sin{y}[\/latex] and [latex]Q_y={e}^x\\sin{y}, P_x+Q_y=0[\/latex] and the field is source free.<\/p>\r\n<p id=\"fs-id1167793467980\">To find a potential function for\u00a0[latex]{\\bf{F}}[\/latex], let [latex]f[\/latex] be a potential function. Then, [latex]\\nabla{f}={\\bf{F}}[\/latex], so [latex]f_x={e}^x\\sin{y}[\/latex]. Integrating this equation with respect to [latex]x[\/latex] gives [latex]f(x,y)={e}^x\\sin{y}+h(y)[\/latex]. Since [latex]f_y=e^x\\cos{y}[\/latex], differentiating [latex]f[\/latex] with respect to [latex]y[\/latex] gives [latex]e^x\\cos{y}=e^x\\cos{y}+h^\\prime(y)[\/latex]. Therefore, we can take [latex]h(y)=0[\/latex], and [latex]f(x,y)={e}^x\\sin{y}[\/latex] is a potential function for [latex]f[\/latex].<\/p>\r\n<p id=\"fs-id1167793371817\">To verify that [latex]f[\/latex] is a harmonic function, note that [latex]f_{xx}=\\frac{\\partial}{\\partial{x}}({e}^x\\sin{y})={e}^x\\sin{y}[\/latex] and [latex]f_{yy}=\\frac{\\partial}{\\partial{x}}(e^x\\cos{y})=-{e}^x\\sin{y}[\/latex]. Therefore, [latex]f_{xx}+f_{yy}=0[\/latex], and [latex]f[\/latex] satisfies Laplace\u2019s equation.<\/p>\r\n\r\n<\/div>\r\n<\/section><\/div>\r\n<\/section><\/div>\r\n<\/div>\r\n<\/section><\/div>\r\n<div id=\"fs-id1167793464351\" class=\"checkpoint ui-has-child-title\" data-type=\"note\"><\/div>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<div class=\"textbox key-takeaways\">\r\n<h3>try it<\/h3>\r\nIs the function [latex]f(x,y)=e^{x+5y}[\/latex] harmonic?\r\n\r\n[reveal-answer q=\"394592875\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"394592875\"]\r\n\r\nNo.\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>","rendered":"<div data-type=\"example\">\n<div class=\"textbox learning-objectives\">\n<h3>Learning Objectives<\/h3>\n<ul class=\"os-abstract\">\n<li><span class=\"os-abstract-token\">Apply <\/span><span class=\"os-abstract-content\">the flux form of Green\u2019s theorem.<\/span><\/li>\n<\/ul>\n<\/div>\n<div data-type=\"example\">The circulation form of Green\u2019s theorem relates a double integral over region [latex]D[\/latex] to line integral [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{T}}ds[\/latex], where [latex]C[\/latex] is the boundary of [latex]D[\/latex]. The flux form of Green\u2019s theorem relates a double integral over region [latex]D[\/latex] to the flux across boundary [latex]C[\/latex]. The flux of a fluid across a curve can be difficult to calculate using the flux line integral. This form of Green\u2019s theorem allows us to translate a difficult flux integral into a double integral that is often easier to calculate.<\/div>\n<div data-type=\"example\"><\/div>\n<div data-type=\"example\">\n<div class=\"textbox shaded\">\n<h3 style=\"text-align: center;\">theorem: Green&#8217;s theorem, flux form<\/h3>\n<p id=\"fs-id1167793638017\">Let [latex]D[\/latex] be an open, simply connected region with a boundary curve [latex]C[\/latex] that is a piecewise smooth, simple closed curve that is oriented counterclockwise (Figure 1). Let [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex] be a vector field with component functions that have continuous partial derivatives on an open region containing [latex]D[\/latex]. Then,<\/p>\n<p style=\"text-align: center;\">[latex]\\displaystyle\\oint{\\bf{F}}\\cdot{\\bf{N}}ds=\\displaystyle\\iint_DP_x+Q_ydA[\/latex].<\/p>\n<\/div>\n<\/div>\n<div id=\"attachment_5288\" style=\"width: 503px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-5288\" class=\"size-full wp-image-5288\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31230452\/6.38.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/5b401794be0561b0b57ebb66b433fc0bfb8d584a&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. A generic curve C encloses a simple region D around the origin oriented counterclockwise. Normal vectors N point out and away from the curve into quadrants 1, 3, and 4.&quot; id=&quot;17&quot;&gt;\" width=\"493\" height=\"349\" \/><\/p>\n<p id=\"caption-attachment-5288\" class=\"wp-caption-text\">Figure 1. The flux form of Green\u2019s theorem relates a double integral over region [latex]D[\/latex] to the flux across curve [latex]C[\/latex].<\/p>\n<\/div>\n<p id=\"fs-id1167793960405\">Because this form of Green\u2019s theorem contains unit normal vector [latex]\\bf{N}[\/latex], it is sometimes referred to as the\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term261\" class=\"no-emphasis\" data-type=\"term\"><em data-effect=\"italics\">normal form<\/em>\u00a0of Green\u2019s theorem<\/span>.<\/p>\n<section id=\"fs-id1167794287675\" data-depth=\"2\">\n<h3 data-type=\"title\">Proof<\/h3>\n<p id=\"fs-id1167794060009\">Recall that [latex]\\displaystyle\\oint{\\bf{F}}\\cdot{\\bf{N}}ds=\\displaystyle\\oint_C-Qdx+Pdy[\/latex]. Let [latex]M=-Q[\/latex] and [latex]N=P[\/latex]. By the circulation form of Green\u2019s theorem,<\/p>\n<p style=\"text-align: center;\">[latex]\\begin{aligned}  \\displaystyle\\oint_C-Qdx+Pdy&=\\displaystyle\\oint_CMdx+nDy \\\\  &=\\displaystyle\\iint_DN_x-M_ydA \\\\  &=\\displaystyle\\iint_DP_x-(-Q)_ydA \\\\  &=\\displaystyle\\iint_DP_x+Q_ydA  \\end{aligned}[\/latex].<\/p>\n<p>[latex]_\\blacksquare[\/latex]<\/p>\n<\/section>\n<div class=\"textbox exercises\">\n<h3>Example: Applying Green&#8217;s theorem for flux across a circle<\/h3>\n<p>Let [latex]C[\/latex] be a circle of radius [latex]r[\/latex] centered at the origin (Figure 2) and let [latex]{\\bf{F}}(x,y)=\\langle{x},y\\rangle[\/latex]. Calculate the flux across [latex]C[\/latex].<\/p>\n<div id=\"attachment_5290\" style=\"width: 727px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-5290\" class=\"size-full wp-image-5290\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31230602\/6.39.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/3dcb3fb449528300042551a059b72ac2dd14edb1&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. The arrows point away from the origin in a radial pattern. They are shorter near the origin and much longer further away. A circle with radius 2 and center at the origin is drawn.&quot; id=&quot;19&quot;&gt;\" width=\"717\" height=\"572\" \/><\/p>\n<p id=\"caption-attachment-5290\" class=\"wp-caption-text\">Figure 2. Curve [latex]C[\/latex] is a circle of radius [latex]r[\/latex] centered at the origin.<\/p>\n<\/div>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q345083481\">Show Solution<\/span><\/p>\n<div id=\"q345083481\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1167793508388\">Let [latex]D[\/latex] be the disk enclosed by [latex]C[\/latex]. The flux across [latex]C[\/latex] is [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex]. We could evaluate this integral using tools we have learned, but Green\u2019s theorem makes the calculation much more simple. Let [latex]P(x, y)=x[\/latex] and [latex]Q(x, y)=y[\/latex] so that [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex]. Note that [latex]P_x=1=Q_y[\/latex], and therefore [latex]P_x+Q_y=2[\/latex]. By Green\u2019s theorem,<\/p>\n<p style=\"text-align: center;\">[latex]\\displaystyle\\int_C{\\bf{F}}\\bullet{\\bf{N}}=\\displaystyle\\int \\ \\displaystyle\\int_D2dA=2\\displaystyle\\int \\ \\displaystyle\\int_DdA[\/latex].<\/p>\n<p id=\"fs-id1167793541065\">Since [latex]\\displaystyle\\int_DdA[\/latex] is the area of the circle, [latex]\\displaystyle\\int_DdA=\\pi{r}^2[\/latex]. Therefore, the flux across [latex]C[\/latex] is\u00a0[latex]2\\pi{r}[\/latex].<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"textbox exercises\">\n<h3>Example: applying green&#8217;s theorem for flux across a triangle<\/h3>\n<p>Let [latex]S[\/latex] be the triangle with vertices [latex](0, 0)[\/latex], [latex](1, 0)[\/latex], and [latex](0, 3)[\/latex] oriented clockwise (Figure 3). Calculate the flux of [latex]{\\bf{F}}(x,y)=\\langle{P}(x,y),Q(x,y)\\rangle=\\langle{x}^2+e^y,x+y\\rangle[\/latex] across [latex]S[\/latex].<\/p>\n<div id=\"attachment_5295\" style=\"width: 689px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-5295\" class=\"size-full wp-image-5295\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31230853\/6.40.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/2a4456ea6490e1da9ebf0f3adaaac3b7295512fb&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. A triangle is drawn oriented clockwise with vertices at (0,0), (1,0), and (0,3). The arrows in the field point to the right and up slightly. The angle is greater the closer they are to the axis.&quot; id=&quot;21&quot;&gt;\" width=\"679\" height=\"497\" \/><\/p>\n<p id=\"caption-attachment-5295\" class=\"wp-caption-text\">Figure 3. Curve [latex]S[\/latex] is a triangle with vertices [latex](0, 0)[\/latex], [latex](1, 0)[\/latex], and [latex](0, 3)[\/latex] oriented clockwise.<\/p>\n<\/div>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q398702952\">Show Solution<\/span><\/p>\n<div id=\"q398702952\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1167794059016\">To calculate the flux without Green\u2019s theorem, we would need to break the flux integral into three line integrals, one integral for each side of the triangle. Using Green\u2019s theorem to translate the flux line integral into a single double integral is much more simple.<\/p>\n<p id=\"fs-id1167794029719\">Let [latex]D[\/latex] be the region enclosed by [latex]S[\/latex]. Note that [latex]P_x=2x[\/latex] and [latex]Q_y=1[\/latex] therefore, [latex]P_x+Q_y=2x+1[\/latex]. Green\u2019s theorem applies only to simple closed curves oriented counterclockwise, but we can still apply the theorem because [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds=-\\displaystyle\\oint_{-S}{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex] and [latex]-S[\/latex] is oriented counterclockwise. By Green\u2019s theorem, the flux is<\/p>\n<p style=\"text-align: center;\">[latex]\\begin{aligned}  \\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds&=\\displaystyle\\oint_{-S}{\\bf{F}}\\cdot{\\bf{N}}ds \\\\  &=-\\displaystyle\\iint_D(P_x+Q_y)dA \\\\  &=-\\displaystyle\\iint_D(2x+1)dA  \\end{aligned}[\/latex]<\/p>\n<p id=\"fs-id1167793293464\">Notice that the top edge of the triangle is the line [latex]y=-3x=3[\/latex] Therefore, in the iterated double integral, the\u00a0<em data-effect=\"italics\">y<\/em>-values run from [latex]y=0[\/latex] to [latex]y=-3x+3[\/latex], and we have<\/p>\n<p style=\"text-align: center;\">[latex]\\begin{aligned}  -\\displaystyle\\iint_D(2x+1)dA&=-\\displaystyle\\int_0^1\\displaystyle\\int_0^{-3x+3}(2x+1)dydx \\\\  &=--\\displaystyle\\int_0^1(2x+1)(-3x+3)dx=-\\displaystyle\\int_0^1(-6x^2+3x+3)dx \\\\  &=-\\left[-2x^3+\\frac{3x^2}2+3x\\right]_0^1=-\\frac52  \\end{aligned}[\/latex].<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"textbox key-takeaways\">\n<h3>try it<\/h3>\n<p>Calculate the flux of [latex]{\\bf{F}}(x,y)=\\langle{x}^3,y^3\\rangle[\/latex]\u00a0 across a unit circle oriented counterclockwise.<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q457134886\">Show Solution<\/span><\/p>\n<div id=\"q457134886\" class=\"hidden-answer\" style=\"display: none\">\n<p>[latex]\\frac{3\\pi}2[\/latex].<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p>Watch the following video to see the worked solution to the above Try It<\/p>\n<div style=\"text-align: center;\"><iframe loading=\"lazy\" src=\"\/\/plugin.3playmedia.com\/show?mf=8250321&amp;p3sdk_version=1.10.1&amp;p=20361&amp;pt=375&amp;video_id=6YIilpzQIhI&amp;video_target=tpm-plugin-zx9nr5sz-6YIilpzQIhI\" width=\"800px\" height=\"450px\" frameborder=\"0\" marginwidth=\"0px\" marginheight=\"0px\"><\/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.36_transcript.html\">transcript for \u201cCP 6.36\u201d here (opens in new window).<\/a><\/div>\n<div class=\"textbox exercises\">\n<h3>Example: applying green&#8217;s theorem for water flow across a rectangle<\/h3>\n<p>Water flows from a spring located at the origin. The velocity of the water is modeled by vector field [latex]{\\bf{v}}(x,y)=\\langle5x+y,x+3y\\rangle[\/latex] m\/sec. Find the amount of water per second that flows across the rectangle with vertices [latex](-1, -2)[\/latex], [latex](1, -2)[\/latex], [latex](1, 3)[\/latex], and [latex](-1, 3)[\/latex], oriented counterclockwise (Figure 4).<\/p>\n<div id=\"attachment_5300\" style=\"width: 727px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-5300\" class=\"size-full wp-image-5300\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31231154\/6.41.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/416bb9f3ebaa663f2b8f7fe903756dcf624c4709&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;A vector field in two dimensions. A rectangle is drawn oriented counterclockwise with vertices at (-1,3), (1,3), (-1,-2), and (1,-2). The arrows point out and away from the origin in a radial pattern. However, the arrows in quadrants 2 and 4 curve slightly towards the y axis instead of directly out. The arrows near the origin are short, and those further away from the origin are much longer.&quot; id=&quot;24&quot;&gt;\" width=\"717\" height=\"497\" \/><\/p>\n<p id=\"caption-attachment-5300\" class=\"wp-caption-text\">Figure 4. Water flows across the rectangle with vertices [latex](-1, -2)[\/latex], [latex](1, -2)[\/latex], [latex](1, 3)[\/latex], and [latex](-1, 3)[\/latex], oriented counterclockwise.<\/p>\n<\/div>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q038429472\">Show Solution<\/span><\/p>\n<div id=\"q038429472\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1167794101057\">Let [latex]C[\/latex] epresent the given rectangle and let [latex]D[\/latex] be the rectangular region enclosed by [latex]C[\/latex]. To find the amount of water flowing across [latex]C[\/latex], we calculate flux [latex]\\displaystyle\\int_C{\\bf{v}}\\cdot{\\bf{N}}ds[\/latex].<\/p>\n<p>Let [latex]P(x, y)=5x+y[\/latex] and [latex]Q(x, y)=x+3y[\/latex] so that [latex]{\\bf{v}}=(P,Q)[\/latex]. Then, [latex]P_x=5[\/latex] and [latex]Q_y=3[\/latex]. By Green\u2019s theorem,<\/p>\n<p style=\"text-align: center;\">[latex]\\begin{aligned}  \\displaystyle\\int_C{\\bf{v}}\\cdot{\\bf{N}}ds&=\\displaystyle\\iint_D(P_x+Q_y)dA \\\\  &=\\displaystyle\\iint_D8dA \\\\  &=8(\\text{area of }D)=80  \\end{aligned}[\/latex].<\/p>\n<p id=\"fs-id1167793881295\">Therefore, the water flux is [latex]80[\/latex] m<sup>2<\/sup>\/sec.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p id=\"fs-id1167793609946\">Recall that if vector field\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative, then\u00a0[latex]{\\bf{F}}[\/latex]\u00a0does no work around closed curves\u2014that is, the circulation of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0around a closed curve is zero. In fact, if the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is simply connected, then\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative if and only if the circulation of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0around any closed curve is zero. If we replace \u201ccirculation of\u00a0[latex]{\\bf{F}}[\/latex]\u201d with \u201cflux of\u00a0[latex]{\\bf{F}}[\/latex]<strong data-effect=\"bold\">,<\/strong>\u201d then we get a definition of a source-free vector field. The following statements are all equivalent ways of defining a source-free field [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex] on a simply connected domain (note the similarities with properties of conservative vector fields):<\/p>\n<ol id=\"fs-id1167793959779\" type=\"1\">\n<li>The flux [latex]\\displaystyle\\oint_C{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex] across any closed curve [latex]C[\/latex] is zero.<\/li>\n<li>If [latex]C_1[\/latex] and [latex]C_2[\/latex] are curves in the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0with the same starting points and endpoints, then [latex]\\displaystyle\\int_{C_1}{\\bf{F}}\\cdot{\\bf{N}}ds=\\displaystyle\\int_{C_2}{\\bf{F}}\\cdot{\\bf{N}}ds[\/latex]. In other words, flux is independent of path.<\/li>\n<li>There is a\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term262\" data-type=\"term\"><strong>stream function<\/strong> [latex]g(x, y)[\/latex]\u00a0<\/span>for\u00a0[latex]{\\bf{F}}[\/latex]. A stream function for [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex] is a function [latex]g[\/latex] such that [latex]P=g_y[\/latex] and [latex]Q=-g_x[\/latex]. Geometrically, [latex]{\\bf{F}}(a,b)[\/latex] is tangential to the level curve of [latex]g[\/latex] at [latex](a, b)[\/latex]. Since the gradient of [latex]g[\/latex] is perpendicular to the level curve of [latex]g[\/latex] at [latex](a, b)[\/latex], stream function [latex]g[\/latex] has the property [latex]{\\bf{F}}(a,b)\\bullet\\nabla{g}(a,b)=0[\/latex] for any point [latex](a, b)[\/latex] in the domain of [latex]g[\/latex]. (Stream functions play the same role for source-free fields that potential functions play for conservative fields.)<\/li>\n<li>[latex]P_x+Q_y=0[\/latex]<\/li>\n<\/ol>\n<div class=\"textbox exercises\">\n<h3>Example: finding a stream function<\/h3>\n<p>Verify that rotation vector field [latex]{\\bf{F}}(x,y)=\\langle{y},-x\\rangle[\/latex] is source free, and find a stream function for\u00a0[latex]{\\bf{F}}[\/latex].<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q934503348\">Show Solution<\/span><\/p>\n<div id=\"q934503348\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1167793610610\">Note that the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is all of [latex]\\mathbb{R}^2[\/latex], which is simply connected. Therefore, to show that\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is source free, we can show any of items 1 through 4 from the previous list to be true. In this example, we show that item 4 is true. Let [latex]P(x, y)=y[\/latex] and [latex]Q(x, y)=-x[\/latex]. Then [latex]P_x+0=Q_y[\/latex], and therefore [latex]P_x+Q_y=0[\/latex]. Thus,\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is source free.<\/p>\n<p id=\"fs-id1167793557795\">To find a stream function for\u00a0[latex]{\\bf{F}}[\/latex], proceed in the same manner as finding a potential function for a conservative field. Let [latex]g[\/latex] be a stream function for\u00a0[latex]{\\bf{F}}[\/latex]. Then [latex]g_y=y[\/latex], which implies that<\/p>\n<p style=\"text-align: center;\">[latex]\\large{g(x,y)=\\frac{y^2}2+h(x)}[\/latex].<\/p>\n<p id=\"fs-id1167793377328\">Since [latex]-g_x=Q=-x[\/latex] we have [latex]h'(x)=x[\/latex]. Therefore,<\/p>\n<p style=\"text-align: center;\">[latex]\\large{h(x)=\\frac{x^2}2+C}[\/latex].<\/p>\n<p id=\"fs-id1167793243983\">Letting [latex]C=0[\/latex] gives stream function<\/p>\n<p style=\"text-align: center;\">[latex]\\large{g(x,y)=\\frac{x^2}2+\\frac{y^2}2}[\/latex].<\/p>\n<p id=\"fs-id1167793624718\">To confirm that [latex]g[\/latex] is a stream function for\u00a0[latex]{\\bf{F}}[\/latex], note that [latex]g_y=y=P[\/latex] and [latex]-g_x=-x=Q[\/latex].<\/p>\n<p id=\"fs-id1167793261693\">Notice that source-free rotation vector field [latex]{\\bf{F}}(x,y)=\\langle{y},-x\\rangle[\/latex] is perpendicular to conservative radial vector field [latex]\\nabla{g}=\\langle{x},y\\rangle[\/latex] (Figure 5).<\/p>\n<div id=\"attachment_5302\" style=\"width: 718px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-5302\" class=\"size-full wp-image-5302\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/11\/31231302\/6.42.jpg\" alt=\"&lt;img src=&quot;\/apps\/archive\/20220422.171947\/resources\/e340a7e412b44f17cd4f3c841f75736d64b46ff4&quot; data-media-type=&quot;image\/jpeg&quot; alt=&quot;Two vector fields in two dimensions. The first has arrows surrounding the origin in a clockwise circular pattern. The second has arrows pointing out and away from the origin in a radial manner. Circles with radii 1.5, 2, and 2.5 and centers at the origin are drawn in both. The arrows near the origin are shorter than those much further away. The first is labeled F(x,y) = &lt;y, -x&gt; and the second is labeled for the gradient, delta g = &lt;x, -y&gt;.&quot; id=&quot;26&quot;&gt;\" width=\"708\" height=\"311\" \/><\/p>\n<p id=\"caption-attachment-5302\" class=\"wp-caption-text\">Figure 5. (a) In this image, we see the three-level curves of [latex]g[\/latex] and vector field [latex]{\\bf{F}}[\/latex]. Note that the [latex]{\\bf{F}}[\/latex] vectors on a given level curve are tangent to the level curve. (b) In this image, we see the three-level curves of [latex]g[\/latex] and vector field [latex]\\nabla{g}[\/latex]. The gradient vectors are perpendicular to the corresponding level curve. Therefore, [latex]{\\bf{F}}(a,b)\\bullet\\nabla{g}(a,b)=0[\/latex] for any point in the domain of [latex]g[\/latex].<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"textbox key-takeaways\">\n<h3>try it<\/h3>\n<p>Find a stream function for vector field [latex]{\\bf{F}}(x,y)=\\langle{x}\\sin{y},\\cos{y}\\rangle[\/latex].<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q938299357\">Show Solution<\/span><\/p>\n<div id=\"q938299357\" class=\"hidden-answer\" style=\"display: none\">\n<p>[latex]g(x,y)=-x\\cos{y}[\/latex].<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p id=\"fs-id1167794163398\">Vector fields that are both conservative and source free are important vector fields. One important feature of conservative and source-free vector fields on a simply connected domain is that any potential function [latex]f[\/latex] of such a field satisfies Laplace\u2019s equation [latex]f_{xx}+f{yy}=0[\/latex].\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term263\" class=\"no-emphasis\" data-type=\"term\">Laplace\u2019s equation<\/span>\u00a0is foundational in the field of partial differential equations because it models such phenomena as gravitational and magnetic potentials in space, and the velocity potential of an ideal fluid. A function that satisfies Laplace\u2019s equation is called a\u00a0<span id=\"b15b6c19-717d-45d1-877b-d79c5b8518b9_term264\" class=\"no-emphasis\" data-type=\"term\"><em data-effect=\"italics\">harmonic<\/em>\u00a0function<\/span>. Therefore any potential function of a conservative and source-free vector field is harmonic.<\/p>\n<p id=\"fs-id1167793617833\">To see that any potential function of a conservative and source-free vector field on a simply connected domain is harmonic, let [latex]f[\/latex] be such a potential function of vector field [latex]{\\bf{F}}=\\langle{P},Q\\rangle[\/latex]. Then, [latex]f_x=P[\/latex] and [latex]f_x=Q[\/latex] because [latex]\\nabla{f}={\\bf{F}}[\/latex]. Therefore, [latex]f_{xx}=P_x[\/latex] and [latex]f_{yy}=[\/latex]. Since\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is source free, [latex]f_{xx}+f_{yy}=P_x+Q_y=0[\/latex], and we have that [latex]f[\/latex] is harmonic.<\/p>\n<div class=\"textbox exercises\">\n<h3>Example: satisfying laplace&#8217;s equation<\/h3>\n<p>For vector field [latex]{\\bf{F}}(x,y)=\\langle{e}^x\\sin{y},e^x\\cos{y}\\rangle[\/latex], verify that the field is both conservative and source free, find a potential function for\u00a0[latex]{\\bf{F}}[\/latex], and verify that the potential function is harmonic.<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q934902884\">Show Solution<\/span><\/p>\n<div id=\"q934902884\" class=\"hidden-answer\" style=\"display: none\">\n<div id=\"fs-id1167793953529\" class=\"ui-has-child-title\" data-type=\"example\">\n<section>\n<div class=\"body\">\n<div id=\"fs-id1167793953531\" class=\"unnumbered\" data-type=\"exercise\">\n<section>\n<div id=\"fs-id1167793308040\" class=\"ui-solution-visible\" data-type=\"solution\" aria-label=\"hide solution\" aria-expanded=\"true\">\n<section class=\"ui-body\" role=\"alert\">\n<div class=\"os-solution-container\">\n<p id=\"fs-id1167793308042\">Let [latex]P(x,y)={e}^x\\sin{y}[\/latex] and [latex]Q(x,y)=e^x\\cos{y}[\/latex]. Notice that the domain of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is all of two-space, which is simply connected. Therefore, we can check the cross-partials of\u00a0[latex]{\\bf{F}}[\/latex]\u00a0to determine whether\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative. Note that [latex]P_y=e^x\\cos{y}[\/latex], so\u00a0[latex]{\\bf{F}}[\/latex]\u00a0is conservative. Since [latex]P_x={e}^x\\sin{y}[\/latex] and [latex]Q_y={e}^x\\sin{y}, P_x+Q_y=0[\/latex] and the field is source free.<\/p>\n<p id=\"fs-id1167793467980\">To find a potential function for\u00a0[latex]{\\bf{F}}[\/latex], let [latex]f[\/latex] be a potential function. Then, [latex]\\nabla{f}={\\bf{F}}[\/latex], so [latex]f_x={e}^x\\sin{y}[\/latex]. Integrating this equation with respect to [latex]x[\/latex] gives [latex]f(x,y)={e}^x\\sin{y}+h(y)[\/latex]. Since [latex]f_y=e^x\\cos{y}[\/latex], differentiating [latex]f[\/latex] with respect to [latex]y[\/latex] gives [latex]e^x\\cos{y}=e^x\\cos{y}+h^\\prime(y)[\/latex]. Therefore, we can take [latex]h(y)=0[\/latex], and [latex]f(x,y)={e}^x\\sin{y}[\/latex] is a potential function for [latex]f[\/latex].<\/p>\n<p id=\"fs-id1167793371817\">To verify that [latex]f[\/latex] is a harmonic function, note that [latex]f_{xx}=\\frac{\\partial}{\\partial{x}}({e}^x\\sin{y})={e}^x\\sin{y}[\/latex] and [latex]f_{yy}=\\frac{\\partial}{\\partial{x}}(e^x\\cos{y})=-{e}^x\\sin{y}[\/latex]. Therefore, [latex]f_{xx}+f_{yy}=0[\/latex], and [latex]f[\/latex] satisfies Laplace\u2019s equation.<\/p>\n<\/div>\n<\/section>\n<\/div>\n<\/section>\n<\/div>\n<\/div>\n<\/section>\n<\/div>\n<div id=\"fs-id1167793464351\" class=\"checkpoint ui-has-child-title\" data-type=\"note\"><\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"textbox key-takeaways\">\n<h3>try it<\/h3>\n<p>Is the function [latex]f(x,y)=e^{x+5y}[\/latex] harmonic?<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"q394592875\">Show Solution<\/span><\/p>\n<div id=\"q394592875\" class=\"hidden-answer\" style=\"display: none\">\n<p>No.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n\n\t\t\t <section class=\"citations-section\" role=\"contentinfo\">\n\t\t\t <h3>Candela Citations<\/h3>\n\t\t\t\t\t <div>\n\t\t\t\t\t\t <div id=\"citation-list-5494\">\n\t\t\t\t\t\t\t <div class=\"licensing\"><div class=\"license-attribution-dropdown-subheading\">CC licensed content, Original<\/div><ul class=\"citation-list\"><li>CP 6.36. <strong>Authored by<\/strong>: Ryan Melton. <strong>License<\/strong>: <em><a target=\"_blank\" rel=\"license\" href=\"https:\/\/creativecommons.org\/licenses\/by\/4.0\/\">CC BY: Attribution<\/a><\/em><\/li><\/ul><div class=\"license-attribution-dropdown-subheading\">CC licensed content, Shared previously<\/div><ul class=\"citation-list\"><li>Calculus Volume 3. <strong>Authored by<\/strong>: Gilbert Strang, Edwin (Jed) Herman. <strong>Provided by<\/strong>: OpenStax. <strong>Located at<\/strong>: <a target=\"_blank\" href=\"https:\/\/openstax.org\/books\/calculus-volume-3\/pages\/1-introduction\">https:\/\/openstax.org\/books\/calculus-volume-3\/pages\/1-introduction<\/a>. <strong>License<\/strong>: <em><a target=\"_blank\" rel=\"license\" href=\"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/\">CC BY-NC-SA: Attribution-NonCommercial-ShareAlike<\/a><\/em>. <strong>License Terms<\/strong>: Access for free at https:\/\/openstax.org\/books\/calculus-volume-3\/pages\/1-introduction<\/li><\/ul><\/div>\n\t\t\t\t\t\t <\/div>\n\t\t\t\t\t <\/div>\n\t\t\t <\/section>","protected":false},"author":349141,"menu_order":17,"template":"","meta":{"_candela_citation":"[{\"type\":\"cc\",\"description\":\"Calculus Volume 3\",\"author\":\"Gilbert Strang, Edwin (Jed) Herman\",\"organization\":\"OpenStax\",\"url\":\"https:\/\/openstax.org\/books\/calculus-volume-3\/pages\/1-introduction\",\"project\":\"\",\"license\":\"cc-by-nc-sa\",\"license_terms\":\"Access for free at https:\/\/openstax.org\/books\/calculus-volume-3\/pages\/1-introduction\"},{\"type\":\"original\",\"description\":\"CP 6.36\",\"author\":\"Ryan Melton\",\"organization\":\"\",\"url\":\"\",\"project\":\"\",\"license\":\"cc-by\",\"license_terms\":\"\"}]","CANDELA_OUTCOMES_GUID":"","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"class_list":["post-5494","chapter","type-chapter","status-publish","hentry"],"part":24,"_links":{"self":[{"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/5494","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/users\/349141"}],"version-history":[{"count":11,"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/5494\/revisions"}],"predecessor-version":[{"id":6105,"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/5494\/revisions\/6105"}],"part":[{"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/parts\/24"}],"metadata":[{"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/5494\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/media?parent=5494"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapter-type?post=5494"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/contributor?post=5494"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/license?post=5494"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}