\n
\n
Theorem 6-1. <\/em><\/strong><\/li>\n
A necessary and sufficient condition for $\\displaystyle \\int_C [Pdx + Qdy]$ to be independent of the path $C$ joining any two given points in a region $\\cal R$ is that in $\\cal R$ <\/p>\n
$\\partial P\/\\partial y = \\partial Q\/\\partial x\\cdots (23)$ <\/p>\n
where it is supposed that these partial derivatives are continuous in $\\cal R$ . <\/p>\n<\/ul>\n
The condition (23) is also the condition that $Pdx + Qdy$ is an exact differential, i.e. that there exists a function $\\phi(x, y)$ such that $Pdx + Qdy = d\\phi$ . In such case if the end points of curve $C$ are $(x_1, y_1)$ and $(x_2, y_2)$ , the value of the line integral is given by<\/p>\n
$\\displaystyle \\int_{(x_1, y_1)}^{(x_2, y_2)}[Pdx + Qdy] = \\int_{(x_1, y_1)}^{(x_2, y_2)} d\\phi = \\phi(x_2, y_2) - \\phi(x_1, y_1) \\cdots(24)$ <\/p>\n
In particular if (23) holds and $C$ is closed, we have $x_1 = x_2,\\ y_1 = y_2$ and <\/p>\n
$\\displaystyle \\oint_C [Pdx + Qdy] = 0\\cdots(25)$ <\/p>\n
The results in Theorem 6-1 can be extended to line integrals in space. Thus we have<\/p>\n
\n
Theorem 6-2. <\/strong><\/em><\/li>\n
A necessary and sufficient condition for $\\displaystyle \\int_C [A_1dx + A_2dy + A_3dz]$ to be independent of the path $C$ joining any two given points in a region $\\cal R$ is that in $\\cal R$ <\/p>\n
$\\displaystyle \\frac{\\partial A_1}{\\partial y} = \\frac{\\partial A_2}{\\partial x},\\ \\frac{\\partial A_3}{\\partial x} = \\frac{\\partial A_1}{\\partial z},\\ \\frac{\\partial A_2}{\\partial z} = \\frac{\\partial A_3}{\\partial y} \\cdots(26)$ <\/p>\n
where it is supposed that these partial derivatives are continuous in $\\cal R$ . <\/p>\n<\/ul>\n
The results can be expressed concisely in terms of vectors. If $\\bold{A} = A_1\\bold{i} + A_2\\bold{j} + A_3\\bold{k}$ , the line integral can be written $\\displaystyle \\int_C \\bold{A}\\cdot d\\bold{r}$ and condition (26) is equivalent to the condition $\\nabla \\times \\bold{A} = 0$ . If $\\bold{A}$ represents a force field $\\bold{F}$ which acts on an object, the result is equivalent to the statement that the work done in moving the object from one point to another is independent of the path joining the two points if and only if $\\nabla \\times \\bold{A} = 0$ . Such a force field is often called conservative<\/em>. <\/p>\n
The condition (26) [or the equivalent condition $\\nabla\\times\\bold{A}=0$ ] is also the condition that $A_1dx + A_2dy + A_3dz$ [or $\\bold{A}\\cdot\\bold{r}$ ] is an exact differential, i.e. that there exists a function $\\phi(x, y, z)$ such that $A_1dx + A_2dy + A_3dz =d\\phi$ . In such case if the endpoints of curve $C$ are $(x_1, y_1, z_1)$ and $(x_2, y_2, z_2)$ , the value of the line integral is given by<\/p>\n
$\\displaystyle \\int_{(x_1, y_1, z_1)}^{(x_2, y_2, z_2)}\\bold{A}\\cdot\\bold{r} = \\int_{(x_1, y_1, z_1)}^{(x_2, y_2, z_2)}d\\phi = \\phi(x_2, y_2, z_2)- \\phi(x_1, y_1, z_1)\\cdots(27)$ <\/p>\n
In particular if $C$ is closed and $\\nabla\\times\\bold{A} = 0$ , we have <\/p>\n
$\\displaystyle \\oint_C \\bold{A}\\cdot d\\bold{r} = 0 \\cdots(28)$ \n<\/p><\/blockquote>\n
<\/iframe><\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>Theorem 6-1. A necessary and sufficient condition for to be independent of the path joining any two given poin … <a href=\"https:\/\/www.fujiitoshiki.com\/improvesociety\/?p=5742\" class=\"more-link\"><span class=\"screen-reader-text\">“CONDITIONS FOR A LINE INTEGRAL TO BE INDEPENDENT OF THE PATH” \u306e<\/span>\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":1,"featured_media":6040,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_crdt_document":"","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[9],"tags":[101,100,98,97,99],"class_list":["post-5742","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-mathematics","tag-conservative","tag-force-field","tag-independent-of-the-path","tag-necessary-and-sufficient-condition","tag-partial-derivatives"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts\/5742","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5742"}],"version-history":[{"count":16,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts\/5742\/revisions"}],"predecessor-version":[{"id":5758,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts\/5742\/revisions\/5758"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/media\/6040"}],"wp:attachment":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5742"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5742"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5742"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}