Mtodo de multiplicadores de Lagrange Supongamos que tenemos dos superficies de nivel y definidas ) ) respectivamente por las ecuaciones ( y ( , donde

y son funciones que toman valores reales y son de clase en . Si adems es una funcin de clase en el conjunto abierto D, que contiene a , entonces nos proponemos determinar mximos y mnimos de f sobre ; es decir, hallar mximos y mnimos de f con las ) ) condiciones ( y ( . Para nuestro razonamiento supondremos que es una curva suave en . Si f tiene ( ) un mximo o un mnimo en un punto , entonces podemos hallar [ una parametrizacin ] de clase de una parte de la curva C que ] [ tal que ( ) contiene a A, es decir, que existe . Entonces tenemos: a) tiene un mximo o un mnimo local en , por lo tanto ( ) , ( ) ( ) ( ), entonces ( ( )) pero como ( ) ( ) b) Por otra parte, como entonces y ( ) ( ),

( ) es un vector tangente a en ( ) ( )

c) Anlogamente, como entonces

( ) es un vector tangente a en ( ) ( )

( ),

( ), ( ) Observando a), b) y c), vemos que y ( ) son perpendiculares a ( ), por lo tanto los tres gradientes se ( ) y encuentran en un mismo plano, razn por la cual, si ( ) son linealmente independientes, entonces existen escalares y tales que ( ) ( ) ( ) De donde podemos concluir que Los puntos donde se presentan los mximos y ) ( ) mnimos de f bajo las condiciones ( y , se encuentran entre las soluciones del sistema de ecuaciones

{ ( )

( ( (

) ) ) ( )

Los nmeros reales y reciben el nombre de multiplicadores de Lagrange, y este mtodo para hallar mximos y mnimos condicionados es conocido como mtodo de los multiplicadores de Lagrange.

Ejemplo: Hallar los mximos y mnimos de la funcin ( ) sobre la elipse interseccin del cilindro el plano cuya ecuacin es .

definida por con

Solucin: En primer lugar observemos que la funcin f es continua en todo , por lo tanto en la elipse cuyos puntos satisfacen y . Como esta elipse es un conjunto compacto, entonces f alcanza un mximo y un mnimo absolutos sobre sta. Para hallar los puntos donde se presentan el mximo y el mnimo usaremos el mtodo de los multiplicadores de Lagrange. ) ) En este caso ( y ( que claramente son funciones de clase en . Adems, f es de clase en . Por lo tanto, para determinar dichos puntos resolvemos el sistema de ecuaciones
( ( ( ) ( ) ) ) (

o{
)

de donde:

{ Por lo tanto, e igualdad , y , , ( ) , o sea

. Sustituyendo en la primera ecuacin del sistema se obtiene la , que equivale a 4 . y entonces . Por lo tanto

Se obtienen las soluciones ( ( ) ( Adems

independientes, y tambin lo son (

) y(
) y ) ( (

) para el sistema de ecuaciones.

)y ) ( ( ) ) ( son linealmente ). Como

( ) ) y ( , vemos que los valores mximo y mnimo de f en la elipse son 1 y l respectivamente.

Este mtodo se generaliza y permite realizar el estudio de mximos y mnimos de funciones de varias variables con varias condiciones. El teorema sobre el cual se basa este mtodo es el siguiente: Teorema (de los multiplicadores de Lagrange): Supongamos que ( ) y son funciones de clase en el conjunto abierto { ( ) }. D, donde , y definamos Si verifica las siguientes condiciones: a) Existe tal que ( ) ( ), para todo ( ) o bien, existe tal que ( ) ( ), para todo ( ) . ( ) ( ) b) son linealmente independiente. Entonces existen nmeros reales Lagrange tales que ( ) , , llamados multiplicadores de

( )

Desde luego que el mtodo es aplicable a funciones con solamente una condicin, como veremos en el siguiente ejemplo.

Ejemplo: Hallar los mximos y mnimos de la funcin ( ) sobre la esfera unitaria

definida por .

Solucin: En primer lugar observemos que la funcin f es continua en todo , por lo tanto tambin es continua en la esfera unitaria . Como esta esfera es un conjunto compacto, entonces f alcanza un mximo y un mnimo absolutos sobre sta. Para hallar los puntos donde se presentan el mximo y el mnimo usaremos el mtodo de los multiplicadores de Lagrange.

) En este caso tanto f como ( son funciones de clase en . Por lo tanto, para determinar dichos puntos resolvemos el sistema de ecuaciones
( { ( ) ( ) ) { ( ) ( )

de donde:

{ Observemos que

, por lo tanto

y entonces

. , de donde

Sustituyendo en la primera ecuacin del sistema se obtiene .

Se obtienen las soluciones ( ecuaciones. Adems

Como

)y(

) para el sistema de

) es linealmente independientes porque es no nulo. (

) y

vemos que los

valores mximo y mnimo de f en la elipse son

respectivamente.

Integrales iteradas La definicin de integral de Riemann de una funcin acotada y no negativa f en un intervalo ] calcula el rea de la regin del plano que se encuentra bajo la grfica de f y cerrado [ ]. Entonces es natural preguntarse de que se proyecta verticalmente sobre el intervalo [ qu manera pudiramos calcular el volumen de la regin del espacio, que se encuentra bajo la grfica de una funcin acotada y no negativa f definida en un intervalo bidimensional [ ] [ ]. (rectngulo) Para responder a esta pregunta, adems supondremos que nuestra funcin f es continua en el intervalo bidimensional I.

a b

[ ] y definimos la funcin [ ] Si consideramos , definida por la ( ) igualdad ( ), vemos que el rea de la regin plana que est bajo la grfica de f y sobre el segmento de recta { } [ ], que est sombreada en la figura anterior, est dada por ( ) ( ) [ ], podemos definir una funcin

Como este clculo se puede realizar para cada [ ] , de la siguiente manera: ( ) ( )

Entonces, el volumen bajo la grfica de f y sobre el rectngulo I es ( ) ( ( ) )

Por lo tanto, este volumen se puede expresar de la siguiente manera: ( ( ) )

Esta ltima expresin en que aparecen dos integrales, en la cual, para hallar el resultado, debemos calcular primero la integral que est en el interior, para obtener una funcin de una variable, que se integrar a continuacin, se llama integral iterada. Este tipo de integrales tambin existe para funciones de tres y ms variables. [ ] y definimos la funcin [ ] Desde luego que si fijamos por la ( ) igualdad ( ), vemos que el rea de la regin plana que est bajo la grfica ] { }, est dada por de f y sobre el segmento de recta [ ( ) ( ) ], podemos definir una funcin

Como este clculo se puede hacer para cada y [ [ ] , de la siguiente manera: ( ) ( )

Entonces, el volumen bajo la grfica de f y sobre el rectngulo I es ( ) ( ( ) )

Por lo tanto este volumen se puede expresar de la siguiente manera: ( ( ) )

En este caso se tiene la igualdad de las integrales iteradas

6

( )

( (

) , ( ]. )

Ejemplo: Hallar el volumen bajo la parte de la grfica de [ ] [ que se proyecta verticalmente sobre el rectngulo

Solucin: Como f es continua y no negativa sobre el intervalo I, en particular es acotada en ese rectngulo (intervalo bidimensional), entonces, de acuerdo con la argumentacin anterior vemos que el volumen requerido es

((

Primero calculamos la integral interior, donde y vara mientras que x permanece constante. Se tiene: ( ) ( ) [ ] [ ]

Por lo tanto, ( )

Desde luego que si usamos la otra integral iterada para calcular el volumen, debemos encontrar el mismo resultado. Constatmoslo esto en este ejemplo, es decir que (( ) )

En este caso debemos comenzar por calcular la integral interior, en que se supone y es constante en tanto que x es variable. Se tiene: ( ) Por lo tanto, ( ) [ ] [ ]

Hay ciertas regiones del plano, sobre las cuales es frecuente calcular integrales iteradas, razn por la cual las definiremos a continuacin.

Definicin: Si son funciones continuas en el intervalo cerrado [ ] y verifican la condicin () (), para todo [ ]. Decimos que la regin R del plano definida de la siguiente manera es una regin de tipo I. {( ) () ()},

Observacin: Para calcular una integral iterada H de una funcin continua f sobre una regin de tipo I, se procede de la siguiente manera:
( )

(
( )

Definicin: Si son funciones continuas en el intervalo cerrado [ ] y verifican la condicin () (), para todo [ ]. Decimos que la regin R del plano definida de la siguiente manera es una regin de tipo II. {( ) () ()},

Observacin: Para calcular una integral iterada K de una funcin continua f sobre una regin de tipo II, se procede de la siguiente manera:
8

( )

(
( )

) Ejemplo: Hallar el volumen bajo la grfica de , tal que ( , que se proyecta verticalmente sobre la regin acotada del plano , que est comprendida entre las curvas y . Solucin: Bosquejando esta regin podemos ver que se trata de una regin de tipo I, donde son funciones continuas en el intervalo cerrado [ [ ]. En efecto ) {( ( ), para todo ( ) ] y satisfacen }.

( )

Entonces el volumen pedido es

( (

Se tiene:
(

) )

[(

] = (

)(

),

Por lo tanto ( ( )(

Observacin: La regin definida en el ejemplo anterior es tambin una regin de tipo II. Para constatar que nuestros clculos son correctos, realicemos el clculo del volumen usando la integral iterada en orden inverso. En este caso vemos que les funciones ( ) y ( ) son continuas en [ ] y [ ]. Vemos que el volumen debera ser igual a verifican ( ) ( ), para todo

( (

Tenemos:

[(

) ]

( )

Por lo tanto: ((
( )

) )

((

( )

) )

] =

Integrales mltiples

La definicin de integral de Riemann de una funcin acotada f en un intervalo cerrado [ ] puede ser extendida de manera natural para funciones con valores reales, definidas y acotadas en un intervalo n- dimensional I. Antes de estudiar esta generalizacin introduciremos algunos conceptos previos.

Definicin: Un intervalo n dimensional I de en , es decir , donde

es el producto cartesiano de n intervalos son intervalos en .

Definicin: La medida () de un intervalo n dimensional, acotado, de es el producto de las longitudes de los intervalos de , es decir
( ) donde . Ejemplo: La medida del intervalo unidimensional [ La medida del intervalo bidimensional [ La medida del intervalo tridimensional [ . ] ] [ es ] ] ] es ( ] ] )( [ es ( ) )( )( ) ( )( ) ( ),

son respectivamente los extremos de los intervalos

10

Definicin: Una particin de un intervalo n dimensional compacto I de es el producto cartesiano de n intervalos cerrados en , es decir , [ ] [ ] donde [ ] Decimos que una particin Q de I es ms fina que otra particin P de I si .

Observacin: Si es una particin de un intervalo n dimensional compacto de y adems, divide a en subintervalos, divide a en subintervalos,, divide a en subintervalos, entonces P divide a I en subintervalos n dimensionales. Ejemplo: El conjunto P formado por 12 puntos, definido por extensin {( )( )( )( )( )( )( )( )( )( )( )( [ )} ] y [ ],

es una particin del intervalo bidimensional { }y { }.

, donde

Observemos que divide a en 2 subintervalos [ ] y [ ], subintervalos [ ] , [ ] y [ ] Por otra parte, P divide a I en [ ] [ ] [ ] [ ] intervalos bidimensionales: [ ] [ ], [ ] [ ]y [ ] [ ].

divide a en 3 subrectngulos(o [ ] [ ],

Definicin: Dada una funcin dimensional , donde particin de I de

definida y acotada en el intervalo n [ ] [ ] [ ] una .

y

Si I est dividido por P en N subintervalos ndimensionales seleccionamos puntos decimos que

( { }) ( )( ) es una suma intermedia de Riemann de f con respecto a la particin P y a { } .

Ejemplo: Si ( ), (

[ ),

[ (

] )y

est definida por ( ), entonces

) ( ),

, P es la ( ),

particin de I definida en el ejemplo anterior y escogemos

11

{ })

( ) ( )

Definicin: Dada una funcin definida y acotada en el intervalo n [ ] [ ] dimensional , donde [ ] decimos que f es integrable segn Riemann en I si, existe un nmero real tal que, para todo , existe una particin (que depende de ) tal que, para toda particin , de I ms fina que y toda seleccin donde son los N subintervalos ndimensionales en que P divide a I, se tiene

| ( { })

En este caso decimos que el nmero real es la integral mltiple de f sobre el intervalo I. Se emplea la siguiente notacin para la integral

Tambin se emplean las siguientes notaciones () , ( Cuando Cuando hablamos de integral doble: hablamos de integral triple:
( (

) . )

Ejemplos: [ ] [ ] ) 1) Toda funcin constante , tal que ( , para todo ( ) , es integrable segn Riemann en I, porque existe un nmero real ( )( ) tal que, para todo , para toda particin P de I en N subintervalos bidimensionales y toda seleccin se tiene

| (

{ })

| ( ) ( )

( )

| ( ) Adems:

| (

)(

12

)(

[ ] [ ] 2) Si es constante e igual a k en I, salvo en un nmero finito de puntos de ese intervalo, entonces f es integrable segn Riemann en I, y adems ( )( ) , entonces f es integrable segn

Teorema: Si f es continua en un intervalo compacto I de Riemann sobre I.

Observacin: La definicin de integral doble est inspirada en el clculo de volmenes, y es as que si f es una funcin acotada y no negativa en un intervalo I de , entonces ( )

calcula el volumen bajo la grfica de f y sobre el intervalo bidimensional I, siempre que dicha integral exista. Como las integrales iteradas tambin sirven para calcular este volumen, los resultados deberan ser iguales, entonces se espera que el clculo de una integral doble pueda realizarse mediante integrales iteradas, y que ocurra lo mismo en el caso de varias variables. Sin embargo, esto no siempre es cierto, pero bajo condiciones adecuadas la igualdad es vlida. Con respecto a esto se tiene el siguiente teorema conocido como teorema de Fubini. Teorema (de Fubini): Si entonces se tiene: ( ) [ ] [ ] es continua en el intervalo compacto I,

( (

( (

Ejemplo: En el primer ejemplo de este captulo hallamos el volumen bajo la parte de la ) grfica de , ( que se proyecta verticalmente sobre el rectngulo [ ] [ ]. Como f es continua en I, entonces por el teorema de Fubini se tiene

((

((

13

Extensin de la definicin de integral mltiple a regiones ms generales Para definir la integral mltiple en regiones acotadas ms generales , se escoge un intervalo ndimensional I que contenga a la regin A y se define una funcin que toma los mismos valores que f en A, pero que es igual a cero en . Entonces f ser integrable en A si la nueva funcin definida como se ha indicado es integrable en I. De manera ms precisa se tiene la siguiente definicin.

Definicin: Supongamos que f es una funcin acotada . Decimos que f es integrable segn Riemann en A si existe un intervalo ndimensional I tal que y existe la integral donde , ( ) { ( )

es la funcin que est definida por

Si f es integrable en A, decimos que el nmero real H es la integral de f sobre la regin A, es decir

Ejemplo: Hallar

, donde

{(

}.

Solucin: La regin de integracin R que se muestra en ka figura adjunta puede ser considerada como regin de tipo I o de tipo II. Si la miramos como regin de tipo I entonces tendramos que la integral doble se calculara de la siguiente manera:

y
1 Pero no sabemos calcular x , por lo tanto ( )

(0,0)

sera conveniente intentar con la otra integral iterada.

14

Si miramos a R como regin de tipo II, entonces para calcular la integral doble tenemos: ( )

Vemos que Por lo tanto [ ] .

Observacin: Este ejemplo muestra que en cuanto a dificultad no da lo mismo calcular una u otra integral iterada, ms an a veces, como ocurre en este caso, es posible realizar los clculos con una integral iterada, mientras que con la otra es imposible.

rea y volumen de una regin acotada

Si C es un paraleleppedo recto rectangular entonces su volumen se calcula multiplicando el rea de la base por la altura, lo mismo ocurre con un cilindro circular recto. Si el paraleleppedo o el cilindro tienen altura unitaria, entonces el volumen y el rea de la base coinciden, este hecho motiva la siguiente definicin. Definicin: Si C es una regin acotada del espacio define de la siguiente manera ( ) siempre que la integral exista. Ejemplos: 1) El volumen 1dimensional o longitud de un intervalo ( )
[

, el volumen n dimensional de C se

es

15

2) El volumen 2dimensional o rea de un rectngulo ( ) ( )(

] )

es

3) El volumen 3dimensional o tridimensional de un intervalo tridimensional [ ] [ ] [ ] es ( ) ( )( )( ) y

4) El rea de la regin acotada R del plano, limitada por las parbolas es

( )

5) Hallar el volumen del slido S acotado del espacio tridimensional ubicado en el primer octante, limitado por los planos coordenado y por el plano cuya ecuacin es . Solucin: La ecuacin del plano puede ser escrita en la forma =1, por lo )( tanto este plano intersecta a los ejes coordenados en los puntos ( ) y ( ). Por lo tanto el slido es un tetraedro como se muestra en la figura adjunta.

El volumen de este slido est dado por la siguiente integral

16

( )

{ (

) }

Integrales de lnea

Antes de estudiar las integrales de lnea recordaremos algunos conceptos previos que tienen relacin con la nocin de longitud de una curva e introduciremos la funcin longitud de arco.
Longitud de una curva paramtrica

( ) ( ) = ( ) ( ) ( ) ( )

( )

Supongamos que C es una curva en que tiene longitud finita ( ) y que est definida a travs de la parametrizacin ( ) ] Si en el intervalo cerrado [ { } es adems ] entonces una particin de [ la figura adjunta muestra que su longitud puede ser aproximada por ( ) ( )
17

Entonces tiene sentido la siguiente definicin de longitud de una curva. Definicin: Decimos que una curva C en es rectificable o de longitud finita, si existe ] que { } de [ un nmero real positivo M tal que, para toda particin tiene ( ) ( ) .

En este caso la longitud de la curva es ( ) ( ) ( ) ] Esta

donde el supremo se ha tomado sobre todas las particiones del intervalo cerrado [ longitud tambin se denota por ( ).

Teorema: Si C es una curva en parametrizada por una funcin [ ] y adems en el intervalo , entonces ( ) ( ) ( )

de clase

Definicin: Decimos que una funcin es de clase [ ] de si es continua en [ ] y existe una particin ] que tiene derivada continua en cada subintervalo { }. Teorema: Si C es una curva en [ a trozos en el intervalo

a trozos en el intervalo { } de I, tal [, para todo

] parametrizada por una funcin [ ], entonces la curva es rectificable y adems ( ) ( ) ( ) ,

de clase

donde ( )

( ) es la norma del vector velocidad.

Ejemplo: Para calcular la longitud de una circunferencia de radio r, consideramos la [ ], de la circunferencia de radio r cuyo parametrizacin ( ) ( ), centro es el origen. Entonces se tiene: ( ) ( ), ( ) ( )

Por lo tanto,

18

( )

Definicin: Si C es una curva rectificable en ] , la funcin [ tal que ( ) funcin longitud de arco.

parametrizada por una funcin ] ] y ( ) ( ) si

[ ] se llama

] Teorema: Si C es una curva en parametrizada por una curva [ ]. Verificar hiptesis en Apostol a trozos, entonces ( ) ( ) en [ Corolario: Si C es una curva en a trozos, entonces parametrizada por una curva [ ]

de clase

de clase

( )

( ) parametrizada por la funcin ( ) entonces tenemos que , por lo tanto la funcin longitud de arco

Ejemplo: Si C es la hlice circular de [ ], ( ), ( ) est definida por ( ) .

], entonces la curva Corolario: Si f es una funcin de clase en el intervalo cerrado [ C definida por su grfica es rectificable y adems la longitud de arco est definida por ( ) [ ( )]

En particular, la longitud de esa curva est dada por la siguiente integral ( ) [ [ ( )] ] , tal que ( )

Ejemplo: La longitud de la grfica C de ( )

es

19

Problema: Dada una curva C de parametrizada por una funcin continua ( ) ], como la que se muestra en la figura adjunta, y una funcin f en un intervalo cerrado [ definida en un conjunto abierto D que contiene a la curva C, acotada y no negativa. La ]) es la curva que se ve en la parte superior grfica de la funcin f definida en ([ ) ( ) ( ) {( de la figura. Hallar el rea de la superficie [ ]}. ( ( )) Para resolver este problema, comencemos por buscar una buena aproximacin a la ] y { } de [ solucin. Para lo cual consideremos una particin observemos que el rea se puede aproximar por la siguiente suma ( ( donde es un nmero entre ( ) y ( ). y )) ( ,y ( ) ) es la longitud de la curva entre

] esperamos A medida que consideramos particiones cada vez ms finas del intervalo [ obtener mejores aproximacin para el rea. Si estas sumas se aproximan a un nmero real , decimos que este nmero es el rea de la superficie S.

( ) = ( )

( )

( )

( ) C ( ) ( )

Entonces tiene sentido representar el rea a travs de la siguiente integral

20

 ( ) y que ( ) Si recordamos que en ese caso la integral del rea toma la forma ( ) cuando es de clase , entonces

( ( )) ( ) Resulta natural la siguiente definicin. Definicin: Dadas una curva C de parametrizada por una funcin ( ) de ] y una funcin f que toma valores reales (campo clase en un intervalo cerrado [ escalar), definida y acotada en un conjunto abierto D que contiene a la curva C, la integral de lnea de f con respecto a la longitud de arco es ( ( )) ( )

Siempre que la segunda integral exista como integral de Riemann. Ejemplo: Hallar el rea de la superficie que est por debajo de la grfica de [ ]. y sobre el segmento de recta C: ( ) ( ) con Respuesta: [ ( ( )) ( ( ) ) ] ( ) ( [ ) ( ) ] = [ ]

Es natural preguntarse que ocurre si en lugar de emplear una funcin que toma valores reales usamos una funcin que toma valores vectoriales. Por ejemplo, si consideramos una fuerza variable F definida sobre un conjunto abierto que contiene a la trayectoria de una partcula, cmo se definira y qu significado tendra la integral de F sobre esa trayectoria. Esta pregunta nos conduce de manera natural a la definicin de integral de lnea. Definicin: Si es una curva en [ ] de y en el intervalo tal que, existe la integral ( ( )) , donde es de clase a trozos es una funcin (campo vectorial) acotada

( ) ,

21

decimos que este nmero real es la integral de lnea de f a lo largo de la curva C. En lo que sigue usaremos la siguiente notacin: donde ( ), para [ ( ) ]. ( ( )) ( ) ,

Observacin: Si ( ) y ( ) decimos que A es el punto inicial de C y que B es ] el punto final. Si [ es otra parametrizacin de C y adems ( ) y ( ), decimos que C se recorre en sentido inverso e indicamos este hecho denotando la curva C por . Tambin decimos que y tienen orientaciones opuestas. Se puede demostrar que el valor de la integral de lnea es el mismo para parametrizaciones de clase a trozos con la misma orientacin. ( Notacin: En el espacio tridimensional, si denotamos ( ), ( ), entonces la integral de lnea puede ser escrita en la forma ( ) Se tiene ( ) ( ) ( ) ( ) ( ) ( ) ) y

[ ( ( )

( )

( )) ( ) ( )

( ( ) ( )) ( )]

( )

( )) ( )

( ( )

[ ], donde es la curva que Observacin: Si la funcin ( ) , para todo parametriza a C en la definicin de integral de lnea, entonces se tiene: ( ) Por lo tanto ( ) , ( ( )) ( ) ( ( )) ( ) ( ) ( )

22

donde, para cada

], la funcin g est definida por

( ( ))

( ( ))

( ) ( )

En estas condiciones, vemos que cada integral de lnea se puede realizar como una integral de lnea con respecto a la longitud de arco.

Ejemplos: 1) Hallar la integral de lnea del campo vectorial ( ( ) ( [ ]. sobre la curva ), Respuesta: ( ) ) ( ) ) ( )

2) Calcule ( [ ]. Respuesta:

, donde

( )

),

23

[(

Propiedades de las integrales de lnea Teorema: Si est definida ( ) , entonces se tiene ( )

( )

Teorema: Si dos de las integrales estn definidas, entonces la tercera tambin est definida y adems

( )

( )]

( )

( )

] Teorema: Si es una curva parametrizada por una funcin [ de clase a trozos y supongamos que y son curvas definidas respectivamente por las [ ]y [ ], entonces parametrizaciones ( ) con ( ) con

( )

( )

( )

Independencia de la trayectoria Si calculamos la integral de lnea de un campo vectorial f sobre dos curvas y , que tienen el mismo punto inicial A y el mismo punto final B, entonces no tenemos porqu esperar que las integrales tengan el mismo valor. Sin embargo, bajo determinadas hiptesis ocurre que independientemente del camino que une los puntos A y B la integral da el mismo resultado, en tal caso se usa la notacin

( )

24

y decimos que la integral no depende de la trayectoria. Es natural preguntarse bajo qu condiciones es cierto este resultado. El teorema que presentamos a continuacin responde parcialmente a esta pregunta. Teorema: Si f es una funcin de clase existe un campo escalar tal que en un conjunto abierto conexo entonces y

( ) ( ), ( ) donde es una curva cualquiera que puede ser parametrizada por una funcin [ ] de clase a trozo, es decir

( )

( )

( ) [ [ ] [ con

Definicin: Decimos que una curva parametrizada por una funcin es cerrada si ( ) ( ). Si adems ( ) ( ), para todo , decimos que la curva es simple. Una curva plana, simple y cerrada se llama curva de Jordan.

Definicin: Decimos que un campo vectorial es un campo conservativo si existe un campo escalar tal que . En tal caso decimos que es una funcin potencial para el campo f. Definicin: Decimos que un conjunto abierto D es conexo si todo par de puntos de D puede ser unido por una curva a trozos, contenida en D. Ahora estamos en condiciones de responder a la pregunta planteada; la respuesta est dada por el siguiente teorema. Teorema: Si es un campo vectorial de clase en el conjunto abierto conexo D, entonces son equivalentes las siguientes afirmaciones: a) f es conservativo. b) Si c) ( ) ( ) es independiente de la trayectoria. contenida en D.

para toda curva cerrada

Observacin: Si D es un conjunto abierto conexo sin hoyos, entonces las condiciones dadas en el teorema anterior son equivalentes a la condicin d) ( ) ( ) ( )

25

Observacin: Puede ocurrir que se verifique la condicin d) en un conjunto abierto conexo y que el campo vectorial f no sea conservativo. Desde luego que un ejemplo de tal naturaleza se encuentra en un conjunto D que tiene un hoyo. Ejemplo: En el conjunto abierto conexo (con hoyo) consideramos el campo vectorial de clase definido por la igualdad ( ) . Probar que f no es conservativo. Solucin: Sin dificultad se verifica que ( ) ( ), para todo ( {( )}, ( )

Como la circunferencia unitaria , orientada en sentido positivo, puede ser [ ] entonces parametrizada a travs de la funcin ( ) ( ) con la integral de lnea de f a lo largo de es ( ) ( ( )) ( ) ( ) .

Por lo tanto f no es un campo conservativo, o sea, la condicin d) no implica la existencia de una funcin potencial para f en D, a menos que de antemano se sepa que D es un conjunto abierto conexo sin hoyos.

Teorema de Green El Teorema de Green en el plano permite relacionar la integral de lnea de un campo ( ) de clase vectorial a trozos, sobre una curva simple cerrada C, con una integral doble sobre la regin R del plano, acotada y limitada por la curva C. Daremos un par de interpretaciones de este teorema, conocidas como formas vectoriales del Teorema de Green. Definicin: Decimos que una curva simple curva simple cerrada en , [ ] parametrizada por una funcin de clase a trozos, est orientada positivamente si esta se recorre en sentido antihorario, es decir a medida que t crece ] el punto ( ) se mueve manteniendo la regin acotada por en [ a su izquierda. Teorema de Green: Supongamos que es una curva simple cerrada en , parametrizada por una funcin de clase a trozos, R es la regin cerrada del plano cuya frontera es y adems ( ) es una funcin de clase en R. Entonces ( ) ( ) [ ( ) ( )] ,
26

donde la curva

tiene orientacin positiva.

Ejemplo: Si C es una curva simple cerrada de clase a trozos y R es la regin cerrada y acotada del plano cuya frontera es la curva C, entonces el rea de la regin R est dada por ( ) donde ( ) y ( ) . ( ) ,

Aplicando el Teorema de Green vemos que ( ) ( ( ))

por lo tanto, ( )

Caso particular: Hallar el rea de la regin cerrada y acotada del plano, limitada por la elipse de semiejes y . ) ( Consideramos la siguiente parametrizacin de la elipse: ( [ ] y aplicamos la frmula anterior para el rea. Se tiene: con ( ) )

[(

)(

)(

)]

27