Prcticas de Matemticas con

Mathematica .
Fundamentos de Matemticas III . Grado en Ingeniera
Civil.
Prctica n 11. Integrales de lnea respecto del
parmetro arco.
Departamento de Matemtica Aplicada.
E.P.S. de Zamora
Universidad de Salamanca
Ejemplo 1: Halle el rea de la porcin del cilindro x
2
y
2
=ax encerrado por la esfera x
2
y
2
z
2
=a
2
x[t_] = a/2 + a/2 Cos[t]; y[t_] = a/2 Sin[t];
c[t_] := {x[t], y[t]}
f[x_, y_] := a
2
- x
2
- y
2
t0 = 0;
tf = Pi;
g1 = ParametricPlot[c[t] /. a - 1, {t, t0, tf}, AxesLabel - {x, y},
AxesOrigin -> {0, 0}, AspectRatio - Automatic]
0.2 0.4 0.6 0.8 1.0
x
0.1
0.2
0.3
0.4
0.5
y
4 Integrate_f[x[t], y[t]] Total[c'[t]^2] , {t, t0, tf}_
4 a
2
Ejemplo 2: Halle el rea de la pared vertical limitada por z=0,
z x
2
y
2
sobre el recinto limitado por las curvas x y
2
, x y
2
.
Veamos en primer lugar una grfica de la regin cuya rea nos piden.
curvas = ParametricPlot3D__{t, t^2, t^2 + t^4}, _t, t , t^2 + t_,
{t, t^2, 0}, _t, t , 0__, {t, 0, 1}, BoxRatios - {1, 1, 1.5},
PlotStyle - {{Red, Thickness[0.01]}}, AxesLabel - {x, y, z}_;
lineas1 = Graphics3D[
{Red, Table[Line[{{t, t^2, t^2 + t^4}, {t, t^2, 0}}],
{t, 0, 1, 0.05}]}];
lineas2 = Graphics3D__Red, Table_
Line___t, t , t^2 + t_, _t, t , 0___, {t, 0, 1, 0.05}___;
lineafinal = Graphics3D[{Red, Thickness[0.01],
Line[{{t, t^2, 0}, {t, t^2, t^2 + t^4}} /. t - 1]}];
d2 = Show[curvas, lineas1, lineas2, lineafinal, Axes - True,
AxesOrigin - {0, 0, 0}, Ticks -> {{1}, {1}, {2}}]
1
x
1
y
2
z
El rea pedida se obtiene mediante una integral de lnea con respecto a la diferencial del arco.Teniendo en cuenta
la simetra de la figura y considerando la parametrizacin de la curva y x
2
mediante las ecuaciones x t,
y t
2
, podemos poner : AV

f ds 2

0
1
t
2
t
4
1 4 t
2
t
2 11 FM III (27-11-2012) Integral de trayectoria.nb
AreaVertical = 2
_
0
1
[t
2
+ t
4
| 1 + 4 t
2
dt
1
768
698 5 21 ArcSinh[2]
AreaVertical // N
1.99279
Cmo puede resolverse la integral? Hay varias posibilidades, y todas conducen al mismo resultado.
Cambio de Euler : 1 4 t ^2 2 t z
Solve]1 + 4 t^2 = (2 t + z)
2
, t
t
1 z
2
4 z

[t
2
+ t
4
| (2 t + z) D_
1 - z
2
4 z
, z_ /. t -
1 - z
2
4 z
// Simplify

(1 z
4
)
2
1 14 z
2
z
4

2048 z
7
int = Integrate_-
(-1 + z
4
)
2
[1 + 14 z
2
+ z
4
|
2048 z
7
, z_ /.
z -> 1 + 4 t^2 - 2 t // Simplify
1
12 288
1
2 t 1 4 t
2
6

21
2 t 1 4 t
2
4

3
2 t 1 4 t
2
2
3 2 t 1 4 t
2
2
21 2 t 1 4 t
2
4

2 t 1 4 t
2
6
168 Log2 t 1 4 t
2

(int /. t - 1) - (int /. t - 0) // FullSimplify

698 5 21 ArcSinh[2]
1536
2 // N
1.99279
11 FM III (27-11-2012) Integral de trayectoria.nb 3
Otro cambio de Euler : 1 4 t ^2 t z 1
Solve]1 + 4 t^2 = (t z + 1)
2
, t
{t 0], t
2 z
4 z
2

[t
2
+ t
4
| (t z + 1) D_-
2 z
-4 + z
2
, z_ /. t - -
2 z
-4 + z
2
// Simplify

8 z
2
4 z
2

2
16 4 z
2
z
4

4 z
2

7
int = Integrate_-
8 z
2
[4 + z
2
|
2
[16 - 4 z
2
+ z
4
|
[-4 + z
2
|
7
, z_ /.
z -
-1 + 1 + 4 t
2
t
// FullSimplify
1
768
t 1 4 t
2
21 200 t
2
128 t
4
21 ArcCoth
2 t
1 1 4 t
2

(int /. t - 1) - (Limit[int, t - 0]) // Simplify

1
768
349 5 21 ArcCoth
2
1 5

2 // N
1.99279
El Mathematica calcula la primitiva mediante el Mtodo Alemn:
int =
_
[t
2
+ t
4
| 1 + 4 t^2 dt
1
768
t 1 4 t
2
21 200 t
2
128 t
4

7
512
ArcSinh[2 t]
(int /. t - 1) - (int /. t - 0) // Simplify
698 5 21 ArcSinh[2]
1536
2 // N
1.99279
Comprobamos que la primitiva proporcionada por el Mathematica es correcta:
4 11 FM III (27-11-2012) Integral de trayectoria.nb
D_
1
768
t 1 + 4 t
2
[21 + 200 t
2
+ 128 t
4
| -
7
512
ArcSinh[2 t], t_ //
Simplify
t
2
5 t
4
4 t
6
1 4 t
2
Multiplicando y dividiendo por 1 4 t
2
la fraccin anterior resulta
t
2
5 t
4
4 t
6
14 t
2
1 4 t
2
, y simplifi-
cando la primera fraccin obtenemos el factor t
2
t
4
t
2
+ 5 t
4
+ 4 t
6
1 + 4 t
2
// Simplify
t
2
t
4
Mtodo Alemn :
_
[t
2
+ t
4
| 1 + 4 t^2 dt =
_
[t
2
+ t
4
| [1 + 4 t
2
|
1 + 4 t
2
dt =
(a5 t^5 + a4 t^4 + a3 t^3 + a2 t^2 + a1 t + a0) 1 + 4 t
2
+
_
k
1 + 4 t
2
dt
Derivando se obtienen los valores de los parmetros que intervienen :
[t
2
+ t
4
| [1 + 4 t
2
|
1 + 4 t
2
=
D_(a5 t^5 + a4 t^4 + a3 t^3 + a2 t^2 + a1 t + a0) 1 + 4 t
2
, t_ +
k
1 + 4 t
2
// Simplify
1
1 4 t
2
a1 k 8 a1 t
2
t 4 a0 2 a2 1 6 t
2
t 1 5 t
2
5 a5 t
2

4 t
4
24 a5 t
4
a3 3 16 t
2
4 a4 t 5 t
3
0
Igualando a cero el numerador se obtiene un sistema de tantas ecuaciones como parmetros. La solucin es:
11 FM III (27-11-2012) Integral de trayectoria.nb 5
sol = Solve]Map] = 0 &, CoefficientList]
a1 + k + 8 a1 t
2
+ t [4 a0 + 2 a2 [1 + 6 t
2
| + t [-1 - 5 t
2
+ 5 a5 t
2
-
4 t
4
+ 24 a5 t
4
+ a3 [3 + 16 t
2
| + 4 a4 [t + 5 t
3
|||, t
a0 0, a2 0, a1
7
256
, a3
25
96
, a4 0, a5
1
6
, k
7
256

Sustituyendo los valores anteriores, tras simplificar obtenemos la primitiva, que es la misma que propor-
cionaba el Mathematica :
int = (a5 t^5 + a4 t^4 + a3 t^3 + a2 t^2 + a1 t + a0) 1 + 4 t
2
+
Integrate_
k
1 + 4 t
2
, t_ /. sol[[1]] // Simplify
1
768
t 1 4 t
2
21 200 t
2
128 t
4

7
512
ArcSinh[2 t]
(int /. t - 1) - (int /. t - 0)
349 5
768

7 ArcSinh[2]
512
2 // N
1.99279
Ntese que si consideramos la parametrizacin de la curva x y
2
mediante las ecuaciones x t,
y t , podemos poner :
AV

f ds 2

0
1
t
2
t 1
1
4 t
t

0
1
1 t t 4 t
2
t .
El resultado final es obivamente el mismo :
_
0
1
(1 + t) t + 4 t
2
dt
1
768
698 5 21 ArcSinh[2]
6 11 FM III (27-11-2012) Integral de trayectoria.nb