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 x2 + y2 =ax encerrado por la esfera x2 + y2 + z2 =a2
Primero obtenemos una parametrizacin de la curva base sobre la que se va a realizar la integral :

x@t_D = a 2 + a 2 Cos@tD;
y@t_D = a 2 Sin@tD;
c@t_D := 8x@tD, y@tD<

La altura de la pared vertical viene dada por la siguiente funcin, la cual est definida sobre los puntos de la
curva base :

f@x_, y_D :=

a2 - x2 - y2

t0 = 0;
tf = Pi;

g1 = ParametricPlot@c@tD . a 1, 8t, t0, tf<, AxesLabel 8x, y<,

AxesOrigin -> 80, 0<, AspectRatio AutomaticD
y

0.5

0.4

0.3

0.2

0.1

0.2

0.4

0.6

0.8

1.0

12 FM III (10-12-2014) Integral de trayectoria.nb

El rea pedida viene dada por la siguiente integral :

4 IntegrateBf@x@tD, y@tDD
4 a2

Total@c'@tD^2D , 8t, t0, tf<F

Ejemplo
2: Halle el rea de la pared vertical limitada por z=0,
z = x2 + y2 sobre el recinto limitado por las curvas x = y2 , x = y2 .
Veamos en primer lugar una grfica de la regin cuya rea nos piden.

curvas = ParametricPlot3DB:8t, t^2, t^2 + t^4<, :t,

8t, t^2, 0<, :t,

t , t^2 + t>,

t , 0>>, 8t, 0, 1<, BoxRatios 81, 1, 1.5<,

PlotStyle 88Red, Thickness@0.01D<<, AxesLabel 8x, y, z<F;

lineas1 = Graphics3D@
8Red, Table@Line@88t, t^2, t^2 + t^4<, 8t, t^2, 0<<D,
8t, 0, 1, 0.05<D<D;
lineas2 = Graphics3DB:Red, TableB
LineB::t,

t , t^2 + t>, :t,

t , 0>>F, 8t, 0, 1, 0.05<F>F;

lineafinal = Graphics3D@8Red, Thickness@0.01D,

Line@88t, t^2, 0<, 8t, t^2, t^2 + t^4<< . t 1D<D;

12 FM III (10-12-2014) Integral de trayectoria.nb

d2 = Show@curvas, lineas1, lineas2, lineafinal, Axes True,

AxesOrigin 80, 0, 0<, Ticks -> 881<, 81<, 82<<D

z
1
y

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 = x2 mediante las ecuaciones x = t,
y = t2 , podemos poner : AV = f ds = 2 It2 + t4 M
1

1 + 4 t2 t

AreaVertical = 2 It2 + t4M

1

1 + 4 t2 t

I698 5 - 21 ArcSinh@2DM
768
AreaVertical N
1

1.99279

Cmo puede resolverse la integral? Hay varias posibilidades, y todas conducen al mismo resultado.
Cambio de Euler :

1 + 4 t2 2 t + z

SolveA1 + 4 t^2 H2 t + zL2, tE

::t

1 - z2
4z

>>

Tras el cambio, el integrando queda :

12 FM III (10-12-2014) Integral de trayectoria.nb

It2 + t4M H2 t + zL DB
-

1 - z2
4z

H-1 + z4L2 I1 + 14 z2 + z4M

, zF . t

1 - z2
4z

Simplify

2048 z7

Hallamos la primitiva y deshacemos el cambio de variable :

int = IntegrateBz ->

1

H-1 + z4L2 I1 + 14 z2 + z4M

2048 z7

1 + 4 t^2 - 2 t Simplify
1

, zF .

21
4

12 288
-2 t +

1 + 4 t2

-2 t +

1 + 4 t2
2

3
2

-2 t +

1 + 4 t2

-2 t +

1 + 4 t2

+ 3 -2 t +

1 + 4 t2

+ 168 LogB-2 t +

- 21 -2 t +

1 + 4 t2 F

Sustituyendo ahora mediante la Regla de Barrow obtenemos el valor del rea :

Hint . t 1L - Hint . t 0L FullSimplify

698

5 - 21 ArcSinh@2D

2 % N

1536

1.99279

Otro cambio de Euler para resolver la primitiva :

SolveA1 + 4 t^2 Ht z + 1L2, tE

:8t 0<, :t -

2z

-4 + z2

>>

1 + 4 t^2 t z + 1

Procediendo igual que antes, el valor del rea que se obtiene es el mismo :

1 + 4 t2

12 FM III (10-12-2014) Integral de trayectoria.nb

It2 + t4M Ht z + 1L DB-

2z
-4 + z2

8 z2 I4 + z2M I16 - 4 z2 + z4M

2

, zF . t -

I-4 + z2M

Simplify

2z
-4 + z2

int = IntegrateB-J8 z2 I4 + z2M I16 - 4 z2 + z4MN I-4 + z2M , zF .

-1 +

1 + 4 t2

t
1

FullSimplify

1 + 4 t2 I21 + 200 t2 + 128 t4M + 21 ArcCothB

768

Hint . t 1L - HLimit@int, t 0DL Simplify

1

349

5 + 21 ArcCothB

768

1-

2 % N

2t
1-

1+4

t2

1.99279

El Mathematica calcula la primitiva mediante el Mtodo Alemn:

int = It2 + t4M

1

1 + 4 t^2 t

1 + 4 t2 I21 + 200 t2 + 128 t4M -

ArcSinh@2 tD

768
512
Hint . t 1L - Hint . t 0L Simplify
698

5 - 21 ArcSinh@2D

2 % N

1536

1.99279
Comprobamos que la primitiva proporcionada por el Mathematica es correcta:

DB

768
Simplify

1 + 4 t2 I21 + 200 t2 + 128 t4M -

7
512

ArcSinh@2 tD, tF

t2 + 5 t4 + 4 t6
1 + 4 t2
Multiplicando y dividiendo por

1 + 4 t2 la fraccin anterior resulta

cando la primera fraccin obtenemos el factor t2 + t4

t2 +5 t4 +4 t6
1+4 t2

1 + 4 t2 , y simplifi-

12 FM III (10-12-2014) Integral de trayectoria.nb

t2 + 5 t4 + 4 t6
1 + 4 t2
t2 + t4

Simplify

Mtodo Alemn :

It + t M
2

1 + 4 t^2 t =

It2 + t4M I1 + 4 t2M

1+4

t =

t2

Ha5 t^5 + a4 t^4 + a3 t^3 + a2 t^2 + a1 t + a0L

1 + 4 t2 +

1 + 4 t2

Derivando se obtienen los valores de los parmetros que intervienen :

It2 + t4M I1 + 4 t2M

1 + 4 t2

DBHa5 t^5 + a4 t^4 + a3 t^3 + a2 t^2 + a1 t + a0L

k
1+4
1

t2

1 + 4 t2 , tF +

Simplify

1 + 4 t2

Ia1 + k + 8 a1 t2 + t I4 a0 + 2 a2 I1 + 6 t2M + t I-1 - 5 t2 + 5 a5 t2 4 t4 + 24 a5 t4 + a3 I3 + 16 t2M + 4 a4 It + 5 t3MMMM 0

Igualando a cero el numerador se obtiene un sistema de tantas ecuaciones como parmetros. La solucin es:

sol = SolveAMapA 0 &, CoefficientListA

a1 + k + 8 a1 t2 + t I4 a0 + 2 a2 I1 + 6 t2M + t I-1 - 5 t2 + 5 a5 t2 4 t4 + 24 a5 t4 + a3 I3 + 16 t2M + 4 a4 It + 5 t3MMM, tEEE

::a0 0, a2 0, a1

256

, a3

25
96

, a4 0, a5

1
6

, k-

256

>>

Sustituyendo los valores anteriores, tras simplificar obtenemos la primitiva, que es la misma que proporcionaba el Mathematica :

12 FM III (10-12-2014) Integral de trayectoria.nb

int = Ha5 t^5 + a4 t^4 + a3 t^3 + a2 t^2 + a1 t + a0L

k

IntegrateB

1+4
1

t2

, tF . sol@@1DD Simplify

1 + 4 t2 I21 + 200 t2 + 128 t4M -

768
Hint . t 1L - Hint . t 0L
349

768
2 % N

1 + 4 t2 +

ArcSinh@2 tD

512

7 ArcSinh@2D
512

1.99279
Ntese que si consideramos la parametrizacin de la curva x = y2 mediante las ecuaciones x = t,

y=

t , podemos poner :
AV = f ds = 2 It2 + tM

1+
4t

t = H1 + tL
1

El resultado final es obivamente el mismo :

H1 + tL
1

t + 4 t2 t

768

I698

5 - 21 ArcSinh@2DM

t + 4 t2 t .