4

So I have this two dimensional vector field: $$F=\langle (1+xy)e^{xy},x^2e^{xy}\rangle$$ How can I tell whether $F$ is conservative or not? And also how do I calculate $\int_C{F\cdot dr}$, where $C$ is $x^2+y^2=1, y\ge 0$ and oriented to the right.

So far I think that we have to first find the partial derivatives first. Not sure how to proceed though.

I have figured out that it is conservative by finding the partial derivatives, but I'm having trouble with the second calculation.

Travis Willse
  • 99,363
user19289
  • 157
  • This will be helpful https://www.google.co.in/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0CB8QuAIwAGoVChMI6rK9n5qDxwIVSnCOCh0BfQxC&url=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DtyfZQ2NZfqo&ei=ZUe6VarsKcrguQSB-rGQBA&usg=AFQjCNHqCghy_W7RuEEWInlFlKV82svqiw&sig2=xLGQ549eAZBl8AVl3cYdwA – Taylor Ted Jul 30 '15 at 15:49
  • I think I got the first part. What I did was I made sure that $\partial/\partial x=\partial/\partial y$ which it did. Then I saw that the domain of $F$ was in $\mathbb R^2$ so I concluded that it was conservative. Am I right? – user19289 Jul 30 '15 at 16:00
  • I still do need help on the second part – user19289 Jul 30 '15 at 16:01

2 Answers2

1

This vector field is conservative. you just check that the derivative wrt y of the first component is the same as the derivative wrt x of the second component. The primitive function of this vector field is xe^(xy)+c. Thus the integral of this over the upper semicircle is the value of the primitive at (1,0) minus the value at (-1,0). It is 2.

Adelafif
  • 1,275
1

If ${\bf F} = \langle P, Q \rangle$ is conservative, by definition there is some function $f$ such that $${\bf F} = \nabla f = (f_x, f_y).$$ (At least under the modest assumption that $f$ is $C^2$,) by Clairaut's Theorem the mixed partial derivatives of $f$ commute, and so $$P_y = f_{xy} = f_{yx} = Q_x.$$ On the other hand, one can show that the resulting equality $$P_y = Q_x$$ is a sufficient condition, provided that the domain of $\bf F$ is simply connected (informally, has no holes).

Since $\bf F$ is conservative, one has at least two choices for evaluating the integral:

  1. Apply the Fundamental Theorem of Calculus for Line Integrals, which gives for $\bf F = \nabla f$ and a (say, piecewise $C^1$) curve $\gamma$ from $a$ to $b$ that $$\int_{\gamma} {\bf F} \cdot d{\bf s} = f(b) - f(a).$$ In our case, solving the p.d.e. system $$\left\{\begin{array}{rcl} f_x & = & (1 + xy) e^{xy} \\ f_y & = & x^2 e^{xy} \end{array}\right.$$ gives (e.g.) the potential $$f(x, y) = x e^{xy},$$ and so by the F.T.C., $$\int_C {\bf F} \cdot d{\bf s} = f(1, 0) - f(-1, 0) = (1) e^{(1)(0)} - (-1) e^{(-1)(0)} = 2.$$
  2. In particular, the F.T.C. implies that the value of the line integral is independent of the path connecting the endpoints of the given curve $C$, so we also evaluate it by finding a curve with the same endpoints and on which the form of $\bf F$ is particularly simple. In our case, it's convenient to choose the line segment $C'$ from $(-1, 0)$ to $(1, 0)$ oriented to the right, which we can parameterize by ${\bf r}(t) := (t, 0)$, $t \in [-1, 1].$ Then, evaluating directly gives \begin{align} \int_C {\bf F} \cdot d{\bf s} &= \int_{C'} {\bf F} \cdot d{\bf s} \\ &= \int_{-1}^1 {\bf F}({\bf r}(t)) \cdot {\bf r}'(t) \,dt \\ &= \int_{-1}^1 ([1 + (t)(0)]e^{(t)(0)}, t^2 e^{(t)(0)}) \cdot (1, 0) \,dt \\ &= \int_{-1}^1 dt \\ &= 2. \end{align} Notice that the second method is easier in the sense that it does not require solving a system of p.d.e.s, and instead only requires computing a (very easy) integral.
Travis Willse
  • 99,363