Si ${\bf F} = \langle P, Q \rangle$ es conservador, por definición, no es algo de la función $f$ tal que
$${\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$ el viaje, y así
$$P_y = f_{xy} = f_{yx} = Q_x.$$
Por otro lado, uno puede mostrar que el resultado de la igualdad $$P_y = Q_x$$ is a sufficient condition, provided that the domain of $\bf F$ es simplemente conectado (de manera informal, no tiene agujeros).
Desde $\bf F$ es conservador, uno tiene al menos dos opciones para la evaluación de la integral:
- Aplicar el Teorema Fundamental del Cálculo para Integrales de Línea, que da para $\bf F = \nabla f$ y una (es decir, a trozos $C^1$) de la curva de $\gamma$ $a$ $b$que $$\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.$$
- En particular, la F. T. C. implica que el valor de la integral de línea es independiente de la ruta de acceso de la conexión de los extremos de la curva de $C$, por lo que evaluamos es por la búsqueda de una curva con los extremos del mismo y en la que la forma de $\bf F$ es particularmente simple. En nuestro caso, es conveniente elegir el segmento de la línea de $C'$ $(-1, 0)$ $(1, 0)$orientado a la derecha, que nos puede parametrizar por ${\bf r}(t) := (t, 0)$, $t \in [-1, 1].$ a Continuación, evaluar directamente da
\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}
Observe que el segundo método es más fácil en el sentido de que no requiere la solución de un sistema de p.d.e.s, y en su lugar sólo requiere el cálculo de una (muy fácil) integral.