<?xml version='1.0' encoding='UTF-16'?>
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN'
  'http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd'
  [<!ENTITY mathml 'http://www.w3.org/1998/Math/MathML'>]>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<!-- MathML created with MathCast 0.80 -->
</head>
<body>
<h1><font color="navy">Theorems Concerning Vector Fields</font></h1>
<br/>

<h3>Theorem</h3>
Given the vector field
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
        <mo>,</mo>
        <mi>z</mi>
      </mrow>
    </mfenced>
    <mo>=</mo>
    <mi>f</mi>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
        <mo>,</mo>
        <mi>z</mi>
      </mrow>
    </mfenced>
    <mover>
      <mi>i</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>+</mo>
    <mi>g</mi>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
        <mo>,</mo>
        <mi>z</mi>
      </mrow>
    </mfenced>
    <mover>
      <mi>j</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>+</mo>
    <mi>h</mi>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
        <mo>,</mo>
        <mi>z</mi>
      </mrow>
    </mfenced>
    <mover>
      <mi>k</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
. If 
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>=</mo>
    <mo>&minus;</mo>
    <mo>&Del;</mo>
    <mi>&phi;</mi>
  </mrow>
</math>
, then:
<ol>
<li>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
is a conservative field.
</li>
<li>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mo>&Del;</mo>
    <mi>&phi;</mi>
  </mrow>
</math>
is the gradient field of
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
.</li>
<li>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mi>&phi;</mi>
  </mrow>
</math>
is the potential of
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
.</li>
</ol>

<br/>
<h3>The Fundamental Theorem of Line Integrals</h3>
Given a vector field 
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
      </mrow>
    </mfenced>
    <mo>=</mo>
    <mi>f</mi>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
      </mrow>
    </mfenced>
    <mover>
      <mi>i</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>+</mo>
    <mi>g</mi>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
      </mrow>
    </mfenced>
    <mover>
      <mi>j</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
,where f and g are continuous functions on plane D, which contains the points
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mfenced>
      <mrow>
        <msub>
          <mi>x</mi>
          <mn>0</mn>
        </msub>
        <mo>,</mo>
        <msub>
          <mi>y</mi>
          <mn>0</mn>
        </msub>
      </mrow>
    </mfenced>
  </mrow>
</math>
and
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mfenced>
      <mrow>
        <msub>
          <mi>x</mi>
          <mn>1</mn>
        </msub>
        <mo>,</mo>
        <msub>
          <mi>y</mi>
          <mn>1</mn>
        </msub>
      </mrow>
    </mfenced>
  </mrow>
</math>
.
If 
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mstyle mathcolor="maroon" mathsize="1.1em">
    <mrow>
      <mover>
        <mi>E</mi>
        <mo>&RightArrow;</mo>
      </mover>
      <mfenced>
        <mrow>
          <mi>x</mi>
          <mo>,</mo>
          <mi>y</mi>
        </mrow>
      </mfenced>
      <mo>=</mo>
      <mo>&minus;</mo>
      <mo>&Del;</mo>
      <mi>&phi;</mi>
      <mfenced>
        <mrow>
          <mi>x</mi>
          <mo>,</mo>
          <mi>y</mi>
        </mrow>
      </mfenced>
    </mrow>
  </mstyle>
</math>
for every point in D, then for each smooth curve C in D, which start at
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mfenced>
      <mrow>
        <msub>
          <mi>x</mi>
          <mn>0</mn>
        </msub>
        <mo>,</mo>
        <msub>
          <mi>y</mi>
          <mn>0</mn>
        </msub>
      </mrow>
    </mfenced>
  </mrow>
</math>
and ends at
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mfenced>
      <mrow>
        <msub>
          <mi>x</mi>
          <mn>1</mn>
        </msub>
        <mo>,</mo>
        <msub>
          <mi>y</mi>
          <mn>1</mn>
        </msub>
      </mrow>
    </mfenced>
  </mrow>
</math>
, the following is true:
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
  <mstyle mathsize="1.1em" mathcolor="maroon">
    <mrow>
      <msub>
        <mo>&Integral;</mo>
        <mi>c</mi>
      </msub>
      <mover>
        <mi>E</mi>
        <mo>&RightArrow;</mo>
      </mover>
      <mfenced>
        <mrow>
          <mi>x</mi>
          <mo>,</mo>
          <mi>y</mi>
        </mrow>
      </mfenced>
      <mo>&CenterDot;</mo>
      <mi>d</mi>
      <mover>
        <mi>r</mi>
        <mo>&RightArrow;</mo>
      </mover>
      <mo>=</mo>
      <mi>&phi;</mi>
      <mfenced>
        <mrow>
          <msub>
            <mi>x</mi>
            <mn>1</mn>
          </msub>
          <mo>,</mo>
          <msub>
            <mi>y</mi>
            <mn>1</mn>
          </msub>
        </mrow>
      </mfenced>
      <mo>&minus;</mo>
      <mi>&phi;</mi>
      <mfenced>
        <mrow>
          <msub>
            <mi>x</mi>
            <mn>0</mn>
          </msub>
          <mo>,</mo>
          <msub>
            <mi>y</mi>
            <mn>0</mn>
          </msub>
        </mrow>
      </mfenced>
    </mrow>
  </mstyle>
</math>
<br/>
<br/>
<h3>Equivalance Theorem</h3>
Given a vector field,
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
      </mrow>
    </mfenced>
    <mo>=</mo>
    <mi>f</mi>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
      </mrow>
    </mfenced>
    <mover>
      <mi>i</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>+</mo>
    <mi>g</mi>
    <mfenced>
      <mrow>
        <mi>x</mi>
        <mo>,</mo>
        <mi>y</mi>
      </mrow>
    </mfenced>
    <mover>
      <mi>j</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
, in which f and g are continous functions on a plane D, then the following three statements are equivalent (either they are all true or non of them is true):
<ol>
<li>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
is a conservative field in D.
</li>
<li>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <msub>
      <mo>&ContourIntegral;</mo>
      <mi>C</mi>
    </msub>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>&CenterDot;</mo>
    <mi>d</mi>
    <mover>
      <mi>r</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>=</mo>
    <mn>0</mn>
  </mrow>
</math>
for each closed curve C in D.
</li>
<li>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline">
  <mrow>
    <msub>
      <mo>&ContourIntegral;</mo>
      <mi>C</mi>
    </msub>
    <mover>
      <mi>E</mi>
      <mo>&RightArrow;</mo>
    </mover>
    <mo>&CenterDot;</mo>
    <mi>d</mi>
    <mover>
      <mi>r</mi>
      <mo>&RightArrow;</mo>
    </mover>
  </mrow>
</math>
does not depend on the path, for each curve C in D.
</li>
</ol>
<br/>
</body>
</html>