EJERCICIO: Verificar el Teorema de Green para el siguiente campo

vectorial, en la trayectoria indicada (recorrida en sentido negativo).

𝐹̅ (𝑥, 𝑦) = (𝑥. 𝑦 + 𝑦 2 ; 2. 𝑥. 𝑦 − 𝑥 2 . 𝑦 )

ℂ− = ℂ1− ∪ ℂ− −
2 ∪ ℂ3 𝑟𝑒𝑐𝑜𝑟𝑟𝑖𝑑𝑎 𝐴 → 𝐵 → 𝐶

Teorema de Green:
Sea el campo vectorial 𝐹̅ (𝑥, 𝑦) = (𝑃(𝑥, 𝑦) ; 𝑄(𝑥, 𝑦)) de clase ℂ1 en el
conjunto abierto conexo U y la curva ℂ cerrada en U, tal que el
conjunto D formado por ℂ y su interior este incluido en U.

𝐹̅ (𝑥, 𝑦): ℝ2 → ℝ2
ℂ ∈ 𝑈 𝑦 𝐷 = ℂ ∪ 𝐼𝑛𝑡(ℂ) ∁ 𝑈: ℝ2
Entonces vale la igualdad de Green:
𝜕𝑄 𝜕𝑃
∮ 𝐹̅ ⦁𝑑̅ 𝑠 = ∬ ( − ) . 𝑑𝑥𝑑𝑦
ℂ+ 𝐷 𝜕𝑥 𝜕𝑦
Con lo cual:
𝜕𝑄 𝜕𝑃
̅ ̅
∮ 𝐹 ⦁𝑑 𝑠 = − ∬ ( − ) . 𝑑𝑥𝑑𝑦
ℂ− 𝐷 𝜕𝑥 𝜕𝑥

Calcularemos en principio la integral de línea:

̅𝒔 = ∫ 𝑭
̅ ⦁𝒅
∮ 𝑭 ̅𝒔 + ∫ 𝑭
̅ ⦁𝒅 ̅𝒔 + ∫ 𝑭
̅ ⦁𝒅 ̅𝒔
̅ ⦁𝒅
ℂ− ℂ−
𝟏 ℂ−
𝟐 ℂ−
𝟑

∫ 𝐹̅ ⦁𝑑̅ 𝑠 = ∫ 𝐹̅ [𝛼̅1 (𝑡)] ⦁𝛼̇ 1 (𝑡). 𝑑𝑡 →

ℂ−
1 ℂ−
1

Siendo ℂ1 el segmento vertical desde 𝐴 → 𝐵. Entonces la

parametrización de este será:

̅ 𝟏 (𝒕) = (𝟎 ; 𝒕) 𝒄𝒐𝒏 𝟎 ≤ 𝒕 ≤ 𝟐
ℂ𝟏 : 𝜶
⦁ 𝑡 = 0 → (0 ; 0) = 𝐴
⦁ 𝑡 = 2 → (0 ; 2) = 𝐵
𝜶̇ 𝟏 (𝒕) = (𝟎 ; 𝟏)

𝐹̅ (𝑥, 𝑦) = (𝑥. 𝑦 + 𝑦 2 ; 2. 𝑥. 𝑦 − 𝑥 2 . 𝑦 )
̅ [𝜶
𝑭 ̅ 𝟏 (𝒕)] = (𝒕𝟐 ; 𝟎)

̅ [𝜶
𝑭 ̅ 𝟏 (𝒕)]⦁𝜶̇ 𝟏 (𝒕) = (𝒕𝟐 ; 𝟎)⦁(𝟎 ; 𝟏) = 𝟎
 2
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = ∫ 𝐹̅ [𝛼̅1 (𝑡)] ⦁𝛼̇ 1 (𝑡). 𝑑𝑡 = ∫ 0. 𝑑𝑡 →
ℂ−
1 ℂ−
1 0

̅𝒔 = 𝟎
̅ ⦁𝒅
∫ 𝑭
ℂ−
𝟏

Siendo ℂ2 el segmento inclinado desde 𝐵 → 𝐶. Entonces la

parametrización de este será:
̅ 𝟐 (𝒕) = (𝒕 ; −𝒕 + 𝟐) 𝒄𝒐𝒏 𝟎 ≤ 𝒕 ≤ 𝟏
ℂ𝟐 : 𝜶
⦁ 𝑡 = 0 → (0 ; 2) = 𝐵
⦁ 𝑡 = 1 → (1 ; 1) = 𝐶
𝜶̇ 𝟐 (𝒕) = (𝟏 ; −𝟏)

𝐹̅ (𝑥, 𝑦) = (𝑥. 𝑦 + 𝑦 2 ; 2. 𝑥. 𝑦 − 𝑥 2 . 𝑦 )
𝐹̅ [𝛼̅2 (𝑡)] = (𝑡. (−𝑡 + 2) + (−𝑡 + 2)2 ; 2𝑡. (−𝑡 + 2) − 𝑡 2 . (−𝑡 + 2))

̅ [𝜶
𝑭 ̅ 𝟐 (𝒕)] = (−𝟐𝒕 + 𝟒 ; 𝒕𝟑 − 𝟒𝒕𝟐 + 𝟒𝒕)

𝐹̅ [𝛼̅2 (𝑡)]⦁𝛼̇ 2 (𝑡) = (−2𝑡 + 4 ; 𝑡 3 − 4𝑡 2 + 4𝑡 )⦁(1; −1)

̅ [𝜶
𝑭 ̅ 𝟐 (𝒕)]⦁𝜶̇ 𝟐 (𝒕) = −𝒕𝟑 + 𝟒𝒕𝟐 − 𝟔𝒕 + 𝟒

1
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = ∫ 𝐹̅ [𝛼̅2 (𝑡)] ⦁𝛼̇ 2 (𝑡). 𝑑𝑡 = ∫ (−𝒕𝟑 + 𝟒𝒕𝟐 − 𝟔𝒕 + 𝟒)𝑑𝑡
ℂ−
2 ℂ−
2 0

𝑡 4 4𝑡 3 1
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = (− + − 3𝑡 2 + 4𝑡)| →
−
ℂ2 4 3 0
 1 4 1 4
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = (− + − 3 + 4) = − + + 1 →
ℂ−
2
4 3 4 3
1 4 −3 + 16 + 12
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = − + + 1 = →
−
ℂ2 4 3 12
𝟐𝟓
̅𝒔 =
̅ ⦁𝒅
∫ 𝑭
ℂ−
𝟐
𝟏𝟐

Siendo ℂ3 el segmento de parábola desde 𝐶 → 𝐴. Entonces la

parametrización de este será:
̅ 𝟑 (𝒕) = (𝒕 ; 𝒕𝟐 ) 𝒄𝒐𝒏 𝟎 ≤ 𝒕 ≤ 𝟏
ℂ𝟑 : 𝜶
⦁ 𝑡 = 0 → (0 ; 0) = 𝐴
⦁ 𝑡 = 1 → (1 ; 1) = 𝐶
𝜶̇ 𝟑 (𝒕) = (𝟏 ; 𝟐𝒕)
En este caso la parametrización propuesta, recorre la curva ℂ3
desde 𝐴 → 𝐶, es decir, en sentido positivo. Entonces:

̅𝒔 = − ∫ 𝑭
̅ ⦁𝒅
∫ 𝑭 ̅𝒔
̅ ⦁𝒅
ℂ−
𝟑 ℂ+
𝟑

𝐹̅ (𝑥, 𝑦) = (𝑥. 𝑦 + 𝑦 2 ; 2. 𝑥. 𝑦 − 𝑥 2 . 𝑦 )
̅ [𝜶
𝑭 ̅ 𝟑 (𝒕)] = (𝒕𝟑 + 𝒕𝟒 ; 𝟐𝒕𝟑 − 𝒕𝟒 )

𝐹̅ [𝛼̅3 (𝑡)]⦁𝛼̇ 3 (𝑡) = (𝑡 3 + 𝑡 4 ; 2𝑡 3 − 𝑡 4 )⦁(1; 2𝑡)

𝐹̅ [𝛼̅3 (𝑡)]⦁𝛼̇ 3 (𝑡) = 𝑡 3 + 𝑡 4 + 4𝑡 4 − 2𝑡 5
̅ [𝜶
𝑭 ̅ 𝟑 (𝒕)]⦁𝜶̇ 𝟑 (𝒕) = −𝟐𝒕𝟓 + 𝟓𝒕𝟒 + 𝒕𝟑
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = − ∫ 𝐹̅ ⦁𝑑̅ 𝑠 = − ∫ 𝐹̅ [𝛼̅3 (𝑡)] ⦁𝛼̇ 3 (𝑡). 𝑑𝑡
ℂ−
3 ℂ+
3 ℂ3+
1
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = − ∫ (−2𝑡 5 + 5𝑡 4 + 𝑡 3 ) . 𝑑𝑡 →
ℂ−
3 0

𝑡6 𝑡4 1
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = − (− + 𝑡 + )|
5
→
−
ℂ3 3 4 0
1 1 −4 + 12 + 3
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = − (− + 1 + ) = − ( ) →
−
ℂ3 3 4 12
11
∫ 𝐹̅ ⦁𝑑̅ 𝑠 = − ( ) →
ℂ−
3
12
𝟏𝟏
̅𝒔 = −
̅ ⦁𝒅
∫ 𝑭
ℂ−
𝟑
𝟏𝟐

Finalmente:

∮ 𝐹̅ ⦁𝑑̅ 𝑠 = ∫ 𝐹̅ ⦁𝑑̅ 𝑠 + ∫ 𝐹̅ ⦁𝑑̅ 𝑠 + ∫ 𝐹̅ ⦁𝑑̅ 𝑠 →

ℂ− ℂ−
1 ℂ−
2 ℂ−
3

25 11 14
∮ 𝐹̅ ⦁𝑑̅ 𝑠 = 0 + − = →
ℂ− 12 12 12
𝟕
̅𝒔 =
̅ ⦁𝒅
∮ 𝑭
ℂ− 𝟔
Por último, analizaremos el lado derecho de la igualdad de Green.
Entonces:

𝜕𝑄 𝜕𝑃
− ∬ ( − ) . 𝑑𝑥𝑑𝑦 →
𝐷 𝜕𝑥 𝜕𝑦
𝐹̅ (𝑥, 𝑦) = (𝑥. 𝑦 + 𝑦 2 ; 2. 𝑥. 𝑦 − 𝑥 2 . 𝑦 )
𝜕𝑄
= 2𝑦 − 2𝑥𝑦
𝜕𝑥
𝜕𝑃
= 𝑥 + 2𝑦
𝜕𝑦
𝜕𝑄 𝜕𝑃
− = 2𝑦 − 2𝑥𝑦 − (𝑥 + 2𝑦) = 2𝑦 − 2𝑥𝑦 − 𝑥 − 2𝑦
𝜕𝑥 𝜕𝑦
𝜕𝑄 𝜕𝑃
− = −2𝑥𝑦 − 𝑥
𝜕𝑥 𝜕𝑦
𝑥 2 ≤ 𝑦 ≤ −𝑥 + 2
0≤𝑥≤1

1 −𝑥+2
𝜕𝑄 𝜕𝑃
− ∬ ( − ) . 𝑑𝑥𝑑𝑦 = − ∫ ∫ (−2𝑥𝑦 − 𝑥 ). 𝑑𝑦𝑑𝑥
𝐷 𝜕𝑥 𝜕𝑦 0 𝑥2
1
𝜕𝑄 𝜕𝑃 −𝑥 + 2
− ∬ ( − ) . 𝑑𝑥𝑑𝑦 = − ∫ 𝑑𝑥. (−𝑥𝑦 2 − 𝑥𝑦)|
𝐷 𝜕𝑥 𝜕𝑦 0 𝑥2
1
𝜕𝑄 𝜕𝑃
− ∬ ( − ) . 𝑑𝑥𝑑𝑦 = − ∫ (𝑥 5 + 5𝑥 2 − 6𝑥). 𝑑𝑥
𝐷 𝜕𝑥 𝜕𝑦 0

𝜕𝑄 𝜕𝑃 𝑥 6 5𝑥 3 1
− ∬ ( − ) . 𝑑𝑥𝑑𝑦 = − ( + − 3𝑥 2 )| →
𝐷 𝜕𝑥 𝜕𝑦 6 3 0
𝜕𝑄 𝜕𝑃 1 5
− ∬ ( − ) . 𝑑𝑥𝑑𝑦 = − ( + − 3) →
𝐷 𝜕𝑥 𝜕𝑦 6 3
𝜕𝑄 𝜕𝑃 1 + 10 − 18 7
− ∬ ( − ) . 𝑑𝑥𝑑𝑦 = − ( ) = − (− ) →
𝐷 𝜕𝑥 𝜕𝑦 6 6
𝝏𝑸 𝝏𝑷 𝟕
−∬ ( − ) . 𝒅𝒙𝒅𝒚 =
𝑫 𝝏𝒙 𝝏𝒚 𝟔

Con lo cual, queda demostrada la igualdad de Green. Es decir:

𝝏𝑸 𝝏𝑷 𝟕
∮ 𝑭 ̅𝒔 = − ∬ (
̅ ⦁𝒅 − ) . 𝒅𝒙𝒅𝒚 =
ℂ− 𝑫 𝝏𝒙 𝝏𝒚 𝟔