Integral de línea

Trayectoria de una partícula a lo largo de una curva dentro de un campo vectorial. En la parte inferior están los vectores del campo vistos por la partícula a medida que viaja por la curva. La suma de los productos escalares de esos vectores con el vector tangente de la curva en cada punto de la trayectoria da como resultado la integral de línea.

En matemáticas, una integral de línea es aquella integral cuya función a integrar es evaluada sobre una curva. Los términos integral de curva, integral curvilínea e integral de trayectoria también son usados; integral de contorno también es usado aunque este término es típicamente usado para integrales de línea en el plano complejo.

La función a ser integrada puede ser un campo escalar o un campo vectorial, también llamadas función escalar y función vectorial respectivamente.

Ejemplos prácticos de aplicación de las integrales de línea pueden ser:

• El cálculo de la longitud de una curva en el espacio.
• El cálculo del trabajo que se realiza para mover algún objeto a lo largo de una trayectoria teniendo en cuenta campos de fuerzas (descritos por campos vectoriales) que actúen sobre el mismo.

Integral de línea de un campo escalar

Integral de línea de un campo escalar

Definición

Sea $C\subset {ℝ}^n$ una curva suave a trozos parametrizada por una función $𝐫:[a,b]\to {ℝ}^n$, si $f:C\to ℝ$ es un campo escalar continuo, la integral de línea del campo escalar $f$ sobre $C$ (también llamada integral de trayectoria), está definida como

$\underset{C}{\int }fds=\underset{a}{\overset{b}{\int }}f(𝐫(t))\Vert {𝐫}^{\prime }(t)\Vert dt$

La función $𝐫:[a,b]\to {ℝ}^n$ es una parametrización biyectiva arbitraria de $C$ donde $𝐫(a)$ y $𝐫(b)$ son los puntos iniciales y finales respectivamente.

En particular, cuando $f=1$, entonces obtenemos la longitud de la curva $C$, esto es

$L(C)=\underset{C}{\int }ds=\underset{a}{\overset{b}{\int }}\Vert {𝐫}^{\prime }(t)\Vert dt$

Las integrales de línea de campos escalares son independientes de la parametrización de $C$ porque solo depende de la longitud del arco y lo son también de la orientación de $C$, esto es, si $C$ es una curva simple orientada y $-C$ denota la misma curva pero con orientación opuesta entonces

$\underset{C}{\int }fds=-\underset{-C}{\int }fds$

Interpretación

Geométricamente, cuando el campo escalar $f$ está definida sobre el plano $(n=2)$, su gráfica es una superficie $z=f(x,y)$ en el espacio, por lo que la integral de línea se interpreta como el área de una valla entre la base de la imagen de $C$ y la gráfica de $f$.

Deducción

Para motivar la definición de la integral de línea sobre un campo escalar, consideremos sumas de Riemann $S_N$.

Comencemos subdividiendo el intervalo $[a,b]$ por medio de la partición

$a=t_0<t_1<\cdots <t_N=b$

lo anterior conduce a una descomposición de $𝐫$ en trayectorias ${𝐫}_i$ definidas en el intervalo $[t_i,t_{i+1}]$ para $i=0,1,\dots ,N-1$, si denotamos la longitud de arco de ${𝐫}_i$ por $\mathrm{\Delta }{s}_i$ entonces

$\mathrm{\Delta }{s}_i=\underset{t_i}{\overset{t_{i+1}}{\int }}||{𝐫}^{\prime }(t)||dt$

Cuando $N\to \mathrm{\infty }$, es decir, $N$ es grande, la longitud de arco $\mathrm{\Delta }{s}_i$ es pequeña y $f$ es aproximadamente constante para puntos en ${𝐫}_i$. Consideremos las sumas

$S_N=\sum _{i=0}^{N-1}f(𝐫(t))\mathrm{\Delta }{s}_i$

donde $𝐫(t)$ está definida para $t\in [t_i,t_{i+1}]$.

Por el teorema del valor medio, $\mathrm{\Delta }{s}_i=||{𝐫}^{\prime }({\phi }_i)||\mathrm{\Delta }{t}_i$ donde $t_i\le {\phi }_i\le t_{i+1}$ y $\mathrm{\Delta }{t}_i=t_{i+1}-t_i$. A partir de la teorìa de sumas de Riemann puede demostrarse que

$\begin{array}{cc}\underset{N\to \mathrm{\infty }}{\lim }{S}_N& =\underset{N\to \mathrm{\infty }}{\lim }\sum _{i=0}^{N-1}f(𝐫(t))||{𝐫}^{\prime }({\phi }_i)||\mathrm{\Delta }{t}_i\\ & =\underset{a}{\overset{b}{\int }}f(𝐫(t))||{𝐫}^{\prime }(t)||dt\\ & =\underset{C}{\int }fds\end{array}$

Ejemplo 1

Se desea evaluar la integral de línea

$\underset{C}{\int }(x^2+y^2+z^2)ds$

sobre la hélice $𝐫:[0,2\pi ]\to {ℝ}^3$, $t\mapsto (\cos t,\mathrm{sen}t,t)$.

En primer lugar notemos que

${𝐫}^{\prime }(t)=(-\mathrm{sen}t,\cos t,1)$

por lo que

$\begin{array}{cc}||{𝐫}^{\prime }(t)||& =\sqrt{(-\mathrm{sen}t{)}^2+{\cos }^{2}t+1^2}\\ & =\sqrt{{\mathrm{sen}}^{2}t+{\cos }^{2}t+1}\\ & =\sqrt{2}\end{array}$

Y como

$\begin{array}{cc}f(𝐫(t))& ={\cos }^{2}t+{\mathrm{sen}}^{2}t+t^2\\ & =1+t^2\end{array}$

Entonces

$\begin{array}{cc}\underset{C}{\int }(x^2+y^2+z^2)ds& =\underset{0}{\overset{2\pi }{\int }}(1+t^2)\sqrt{2}dt\\ & =\sqrt{2}(t+\frac{t^3}{3}){|}_0^{2\pi }\\ & =\frac{2\sqrt{2}\pi (3+4{\pi }^2)}{3}\end{array}$

Ejemplo 2

Demostremos que la longitud de una circunferencia de radio $r$ es $2\pi r$, es decir, buscamos hallar

${\oint }_{C}ds$

siendo $C$ la longitud de una circunferencia de radio $r$.

Por simplicidad, consideremos una circunferencia de radio $r$ centrada en el origen, por lo que una posible parametrización es

$𝐫(t)=(r\cos t,r\mathrm{sen}t)0\le t\le 2\pi$

Dado que

$\begin{array}{cc}{𝐫}^{\prime }(t)& =(-r\mathrm{sen}t,r\cos t)\\ ||{𝐫}^{\prime }(t)||& =\sqrt{r^2{\mathrm{sen}}^{2}t+r^2{\cos }^{2}t}\\ & =\sqrt{r^2({\mathrm{sen}}^{2}t+{\cos }^{2}t)}\\ & =r\end{array}$

Por lo tanto

$\begin{array}{cc}L(C)& ={\oint }_{C}ds\\ & =\underset{0}{\overset{2\pi }{\int }}rdt\\ & =2\pi r\end{array}$

Integral de línea de un campo vectorial

Definición

Sean $𝐅:U\to {ℝ}^n$ un campo vectorial continuo en una región $U\subset {ℝ}^n$ y $C\subset U$ una curva suave a trozos parametrizada por una función $𝐫:[a,b]\to {ℝ}^n$, la integral de línea del campo vectorial $𝐅$ sobre $C$ en la dirección de $𝐫$, está definida como

$\underset{C}{\int }𝐅\cdot d𝐫=\underset{a}{\overset{b}{\int }}𝐅(𝐫(t))\cdot {𝐫}^{\prime }(t)dt.$

donde $\cdot$ es el producto escalar y la función $𝐫:[a,b]\to {ℝ}^n$ es una parametrización biyectiva arbitraria de $C$ donde $r(a)$ y $r(b)$ son los puntos iniciales y finales respectivamente.

Las integrales de línea de campos vectoriales sólo son independientes de la parametrización de $C$, no son independientes de la orientación de $C$, para este tipo de integrales, si $C$ es una curva simple orientada y $-C$ denota la misma curva pero con orientación opuesta entonces$\underset{C}{\int }𝐅\cdot d𝐫=-\underset{-C}{\int }𝐅\cdot d𝐫$

Relación con las integrales de línea de campos escalares

Para trayectorias $𝐫:[a,b]\to {ℝ}^n$ que satisfagan ${𝐫}^{\prime }(t)\ne \mathrm{𝟎},\mathrm{\forall }t\in [a,b]$ si

$𝐓(t)=\frac{{𝐫}^{\prime }(t)}{\Vert {𝐫}^{\prime }(t)\Vert }$

denota un vector tangente unitario a $C$ entonces

$\begin{array}{cc}\underset{C}{\int }𝐅\cdot d𝐫& =\underset{a}{\overset{b}{\int }}𝐅(𝐫(t))\cdot {𝐫}^{\prime }(t)dt\\ & =\underset{a}{\overset{b}{\int }}[𝐅(𝐫(t))\cdot \frac{{𝐫}^{\prime }(t)}{\Vert {𝐫}^{\prime }(t)\Vert }]\Vert {𝐫}^{\prime }(t)\Vert dt\\ & =\underset{a}{\overset{b}{\int }}[𝐅(𝐫(t))\cdot 𝐓(t)]\Vert {𝐫}^{\prime }(t)\Vert dt\\ & =\underset{C}{\int }𝐅\cdot 𝐓ds\\ & =\underset{C}{\int }fds\end{array}$

donde $f=𝐅\cdot 𝐓$, por lo tanto

$\underset{C}{\int }𝐅\cdot d𝐫=\underset{C}{\int }𝐅\cdot 𝐓ds$

Forma diferencial

Otra forma normalmente utilizada para escribir una integral de línea de un campo vectorial es la siguiente. Considere que $𝐅$ es un campo vectorial en ${ℝ}^2$ de la forma $𝐅(x,y)=(M,N)$ y $C$ es una curva parametrizada por $𝐫(t)=(x(t),y(t)),a\le t\le b$ entonces

$\begin{array}{cc}\underset{C}{\int }𝐅\cdot d𝐫& =\underset{C}{\int }𝐅\cdot \frac{d𝐫}{dt}dt\\ & =\underset{a}{\overset{b}{\int }}(M,N)\cdot (\frac{dx}{dt},\frac{dy}{dt})dt\\ & =\underset{a}{\overset{b}{\int }}(M\frac{dx}{dt}+N\frac{dy}{dt})dt\\ & =\underset{C}{\int }Mdx+Ndy\end{array}$

Decimos que la expresión $Mdx+Ndy$ es una forma diferencial. Esta otra notación puede extenderse a campos vectoriales en ${ℝ}^3$.

Integrales de línea sobre curvas cerradas

Si $C$ es una curva cerrada simple entonces es común la notación

${\oint }_C𝐅\cdot d𝐫$

y para la forma diferencial

${\oint }_{C}Mdx+Ndy$

Teorema fundamental de las integrales de línea

Campo vectorial conservativo

Sea $𝐅:U\to {ℝ}^n$ una función continua en la región $U\subset {ℝ}^n$, decimos que $𝐅$ es un campo vectorial conservativo en $U$ si existe $f:U\to ℝ$ tal que $𝐅=\mathrm{\nabla }f$, en este caso decimos que $f$ es un campo potencial de $𝐅$.

Teorema

Si $𝐅:U\to {ℝ}^n$ es un campo vectorial conservativo en $U\subset {ℝ}^n$ y $C\subset U$ una curva suave a trozos parametrizada por una función $𝐫:[a,b]\to {ℝ}^n$ entonces

$\underset{C}{\int }𝐅\cdot d𝐫=\underset{C}{\int }\mathrm{\nabla }f\cdot d𝐫=f(𝐫(b))-f(𝐫(a))$

En particular, si $C$ es una curva orientada cerrada y simple

${\oint }_C𝐅\cdot d𝐫={\oint }_C\mathrm{\nabla }f\cdot d𝐫=0$

Lo anterior dice que cuando $𝐅$ es un campo vectorial conservativo, la integral de línea de dicho campo sólo dependerá de los puntos extremos de la parametrización $𝐫$. En otras palabras, si usamos otra trayectoria con los mismos punto inicial y final, seguiremos obteniendo el mismo resultado. Por lo tanto, decimos que la integral de línea de un campo vectorial es independiente de la trayectoria si (y sólo si) $𝐅$ es un campo vectorial conservativo.

Integrales de línea en el plano complejo

En análisis complejo, la integral de línea está definida en términos de la multiplicación y adición de números complejos. Supóngase que $U\subset ℂ$ es una región abierta en el plano complejo, $f:U\to ℂ$ es una función y $L\subset U$ es una curva de longitud finita parametrizada por

$\gamma :[a,b]\to L$

donde

$\gamma (t)=x(t)+iy(t)$

Si la parametrización $\gamma$ es continuamente diferenciable entonces la integral de línea puede ser evaluada como una integral de una función de variable real:

$\underset{L}{\int }f(z)dz=\underset{a}{\overset{b}{\int }}f(\gamma (t)){\gamma }^{\prime }(t)dt$

Cuando $f$ es analítica la integral de línea posee propiedades interesantes y poco comunes como son el teorema integral de Cauchy-Goursat, la fórmula integral de Cauchy y el teorema de Liouville, cuyo resultado permite una prueba formal del importante teorema fundamental del álgebra.

Véase también

• Ecuación paramétrica
• Teorema del gradiente
• Integral de superficie
• Teorema de Green
• Teorema de Stokes
• Teorema de Gauss

Enlaces externos

• Integral de línea de un campo vectorial (inglés) - Interactivo - Explicaciones Gráficas