1

solucionejerc.nb

INTRODUCCION A MATHEMATICA
Ejercicios

1- Utilice Table para hacer una lista conjunta de los cuadrados y los cubos de los nmeros pares del uno al nueve.
Tablei^ 2, i ^ 3, i, 2, 9, 2
2- Utilice Table para crear una lista con las potencias de x de 2 a 9 con paso 3.
t Tablex ^ i, i, 2, 9, 3

3- Seleccione de la lista anterior x^5 y evalelo para x = 2.

t2 . x 2

Ejercicios

1- Representar una matriz 3x3 tal que aij =xi y j . Tomar un vector p, de dimensin 3x1, que sea la evaluacin de
la 1 fila de la matriz para x=2,y=3.
m Tablex ^i y ^ j, i, 3, j, 3
p m1 . x 2, y 3
2- Construir una matriz m, cuadrada de orden 3 con los siguientes elementos: {{a,b,c},{d,e,f},{g,h,i}}. Extraer el
vector m1 , como la 1 fila de la matriz m. Extraer m2 , que sea la 2 columna de la matriz m. Idem m3 , como
la diagonal principal. Idem m4 , como la otra diagonal. Obtener m5 , una matriz 2x2 formada por los elementos
esquina de m . Asociar tambin a m6 , la matriz 2x2 adjunta al elemento (3,3).
n a, b, c, d, e, f, g, h, i
MatrixForm%
m1 n1
m2 Tableni, 2, i, 3
Transposen2
m3 Tablenk, k, k, 3

solucionejerc.nb

m4 Tablen4 i, i, i, 3
m5 n1, 1, n1, 3, n3, 1, n3, 3
m6 Tablenh, k, h, 2, k, 2

3- Sea un vector v1={a,b,c}. Sea v2={d,e,f}. En Mathematica el producto elemento a elemento de vectores o
matrices se realiza utilizando el simbolo
consigue usando el operador

(.).

(*).

Sin embargo el producto matricial o el escalar de vectores se

Multiplicar los 2 vectores elemento a elemento y escalarmente.

Repetir los clculos con una matriz 3x2. En su caso utilizar la funcin Transpose[ ], cuando se necesite transponer
un operando.
v1 a, b, c; v2 d, e, f;
v1 v2
v1.v2
A 1, 2, 3, 4, 5, 6
B 7, 8, 9, 10, 11, 12
AB
A.TransposeB
1 3 1 2

2 4 1 3

.
4- Sea A=

5 1 2 3
3 5 4 1
a)Hallar el valor del determinante de A.
b) Hallar el rango de A.
DetA
RowReduceA MatrixForm

MinorsA, 3
MinorsA, 2

solucionejerc.nb

2 1 1

5- Hallar la inversa de la matriz A= 4 2 0 .

3 1 1
2
1 1

4
2 0
Inverse

3 1 1
6- Calcular los valores y vectores propios de las matrices:
1 2 2
m 0 2 m

0
A= 2 1 2
B= 0 4

2 2 1
m 0 2 m
1 2 2

A
2 1 2

2 2 1
a EigensystemA
1 2 2

2 1 2
Eigenvalues

2
2
1

1 2 2

Eigenvectors

2 1 2
2
2
1

m 0 2m

0 4
0
B

m
0
2

b EigensystemB
1 0 1 0

1 1 4 0

hallar la matriz J que sea su forma cannica de Jordan, as como la

7- Dada la matriz A=
1 0 3 0

1 0 4 1
matriz P que relaciona ambas matrices
ClearA
A 1, 0, 1, 0, 1, 1, 4, 0, 1, 0, 3, 0, 1, 0, 4, 1;
descomp JordanDecompositionA
formcan descomp2; MatrixFormformcan
P descomp1; MatrixFormP

solucionejerc.nb

P.formcan.InverseP MatrixForm

Expresiones algebraicas (polinmicas / racionales)

Ejercicios

1- Representar como f(x) la funcin ( x+2 )x 12 x 23 .

fx_ : x 2 x 1 ^ 2 x 2^ 3

1
2- Descomponer en fracciones simples la expresin

fx

Apart1 fx

3- Desarrollar la expresin de f(x) hasta obtener un polinomio de grado 6 en x.

Expandfx
4- Factorizar la expresin que se acaba de obtener.
Factor%
5- Definir una funcin f(x,y)=1+4xy+6x3 y2 +4x2 y3 +xy4 . Hallar las soluciones de la ecuacin para el caso de
x=1, utilizando el comando Factor.
Clearf
fx_, y_ : 1 4x y 6x^ 3 y ^2 4x ^2 y ^3 x y ^ 4
f1, y Factor

Grficos
Ejercicios

Nota: Las salidas grficas ocupan mucha memoria, por eso, una vez que se ha comprobado que es correcta,
conviene suprimir la salida para que el fichero no tenga un tamao mayor que el que cabe en el disquette.
1- Dibujar la funcin sen(x)/x as como la funcin sen(x) en el intervalo (-10,10) .
PlotSinx x, x, 10, 10
PlotSinx, x, 10, 10

solucionejerc.nb

2- Dibujar la funcin x*y .

Plot3Dx y, x, 5, 5, y, 5, 5
3- Dibujar la funcin paramtrica

x = 4 Cos(-11t / 4)+7 Cos(t)

y = 4 Sin(-11t / 4)+7 Sin(t)

Desde 0 a 8Pi.

ParametricPlot
4Cos11t 4 7Cost, 4Sin11t 4 7Sint, t, 0, 8 Pi
4- Dibujar la funcin x= Cos(u)Sin(v)
y= Cos(u)Cos(v)
z=v

ParametricPlot3DCosu Sinv, Cosu Cosv, v,

u, 0, 2 Pi, v, Pi, Pi
5- Dibujar la funcin : 4x^2+y^2=1.
ParametricPlot3DCosu Sinv, Cosu Cosv, v,
u, 0, 2 Pi, v, Pi, Pi
Graphics`ImplicitPlot`
ImplicitPlot4x^ 2 y ^ 2 1,
x, 1, 1, y, 1, 1, AxesOrigin 0, 0

Resolucin de ecuaciones y Sistemas

Ejercicios

1- Hallar las raices de la ecuacin x^4-3x^3+2=0. Asignar a x1 y x2, respectivamente, los valores de las raices
reales y a x3, x4 los de las raices complejas. Comprobar que x3 y x4 son raices complejas conjugadas
sol NSolvex ^ 4 3x ^ 3 2 0, x

x1 x . sol3; x2 x . sol4; x3 x . sol1;

x4 x . sol2; x4 Conjugatex3

solucionejerc.nb

2- Hallar las raices de la ecuacin ax^3-bx^2+x+1=0 para los diferentes valores de a y b

Con el comando Reduce la solucin es ms compleja pero se ven todas las posibilidades de los parmetros. En este
caso son a=0 y b0, o bien, a=0 y b=0
Reducea x ^ 3 b x^ 2 x 1. 0, x

ecu a x^ 3 b x ^ 2 x 1 0;
ecu1 ecu . a 0
Solveecu1, x
ecu2 ecu . a 0, b 0;
Solveecu2, x
Solveecu, x Simplify
3- Hallar las raices de la ecuacin ex +x4 x 2 0 en el intervalo [-2,2]
PlotExpx x ^4 x 2, x, 2, 2
SolveExpx x^ 4 x 2 0, x
FindRootExpx x ^4 x 2 0, x, 1.3
FindRootExpx x ^4 x 2 0, x, .4
1
x 2

4- Hallar el valor de x para que el determinante de la matriz x 1 3 4 valga 0.

6 x
5
mat 1, x, 2, x 1, 3, 4, 5, 6, x;
NSolveDetmat 0, x

solucionejerc.nb

1 2
5- Dada la matriz A=
. Hallar el conjunto de matrices B que:
3 4
a) Conmuten con la matriz A.
b) Cumplan A.B=(0).
c) Cumplan A.B=I.
B b11, b12, b21, b22; A 1, 2, 3, 4;
ReduceA.B B.A, b11, b12, b21, b22
2 b21
Bconm B . b11 b21 b22, b12
3
LinearAlgebra`MatrixManipulation`
cero ZeroMatrix2, 2
ReduceA.B cero, b11, b12, b21, b22
I2 IdentityMatrix2
SolveA.B I2, b11, b12, b21, b22

6- Hallar las soluciones del siguiente sistema:

ax+ay+z=a
x+2y+az=1
y+(1+a)z=a+3
segn los valores del parmetro a
Solvea x a y z a, x 2 y a z 1, y 1 a z a 3, x, y, z
Reducea x a y z a, x 2 y a z 1, y 1 a z a 3,
x, y, z Simplify
Explicacin: con a-1, las soluciones son :
a 3a
x=5 a a2

1a
2
y=3 2 a a
a 3a
z=

1a
Con el comando RowReduce se ve que para a = -1 la matriz de los coef. tiene rango 2 mientras que la ampliada
tiene rango 3, sistema incompatible. Para los dems valores de a el sistema es compatible y determinado.

solucionejerc.nb

matcoef 1, 1, 1, 1, 2, 1, 0, 1, 0;
matamp 1, 1, 1, 1, 1, 2, 1, 1, 0, 1, 0, 2;
RowReducematcoef MatrixForm
RowReducematamp MatrixForm
7- Hallar las soluciones del sistema:
x+ y+ z=3
2x + 3y - z = 4
x + 2y - 2z = 1.

mat 1, 1, 1, 2, 3, 1, 1, 2, 2; b 3, 4, 1;
matamp 1, 1, 1, 3, 2, 3, 1, 4, 1, 2, 2, 1;
RowReducemat MatrixForm
RowReducematamp MatrixForm
Solvemat.x, y, z b, x, y, z
Reducemat.x, y, z b, x, y, z
Explicacin: La matriz de coeficientes y la ampliada tienen rango 2, el sistema es compatible e indeterminado. La
solucin es :
x=5-4 z
y =-2+3 z
8- Hallar las soluciones del sistema:
1
1
3
1
x

a
3 4
2
y =

3
3
4 7

5 a b 7
8b
segn los diferentes valores de los parmetros a,b
Cleara, b
mat 1, 1, 1, 2, a, 3, 3, 3, 4, 5, a b, 7;
indep 3, 4, 7, 8 b; matamp
1, 1, 1, 3, 2, a, 3, 4, 3, 3, 4, 7, 5, a b, 7, 8 b;

solucionejerc.nb

Reducemat.x, y, z indep, x, y, z
Con a=4 y b=3 el sistema es compatible e indeterminado (Se comprueba con RowReduce en la matriz de coeficientes y ampliada. Ambas tienen rango 2). La solucin es:
x=5-7y,
z=2(-1+3y)

mat1 mat . a 4, b 3; indep1 indep . a 4, b 3;

matamp1 matamp . a 4, b 3;
RowReducemat1 MatrixForm
RowReducematamp1 MatrixForm
Con a=4 y b3, ambas matrices tienen rango 3 y el sistema es compatible y determinado, y la solucin es:
x=12, y=-1, z=-8
mat2 mat . a 4; indep2 indep . a 4; matamp2 matamp . a 4;
RowReducemat2 MatrixForm
RowReducematamp2 MatrixForm
Con a4 y b=3 ambas matrices tienen rango 3 y el sistema es compatible y determinado, y la solucin es:
x=5, y=0, z=-2
mat3 mat . b 3; indep3 indep . b 3; matamp3 matamp . b 3;
RowReducemat3 MatrixForm
RowReducematamp3 MatrixForm

Bucles
Ejercicios

1-Utilizando Do, representar sucesivamente las grficas de sen(nx) para n desde 1 hasta 5

10

solucionejerc.nb

DoPlotSinn x, x, , , n, 5
2.-Siendo Sn la suma de los n primeros nmeros naturales. Cal es el mayor valor de n tal que Sn<11?. En este
caso, Cuanto es exactamente la suma Sn?.
Repetir el ejercicio de forma que Sn<10^4.

Fors 0; n 1, s n 11, n , s s n; Prints;

Print"El mayor valor de n es: ", n 1

Fors 0; n 1, s n 104 , n , s s n;
Print"El mayor valor de n es: ", n 1;
Print"Y el valor de la suma es: ", s
x
x
3.-Sabiendo que ex 1 x
2 +
3 +.... . Encontrar el polinomio que nos da, para x=5, una valor aproximado
4
de e5 con un error menor que 10 . Utilizar como criterio de parada que el valor absoluto del sumando a aadir
sea menor que 104 . El n de operaciones se puede optimizar teniendo en cuenta que el nuevo sumando que hay
x3
x2
x
que aadir es igual al ltimo que se ha aadido dividido por n. Por ejemplo :
3 = (
2 )*
3 , es decir , term =
term/n y a continuacin : suma = suma +term.
2

Forsx_ 0; termx_ 1; n 1,
Absterm5. 104, n , sx_ sx termx;
termx_ termx x n; Printsx; Prints5.
Comparando con el valor de e5
^ 5.
4.- La sucesin an } de los nmeros de Fibonacci verifica que an = an1 +an2 , siendo a0 = a1 = 1. Crear una
lista que contenga a los 20 primeros trminos de la sucesin. Calcular los trminos de la sucesin que sean
menores que 1000.
1.l20 Table0, 20; l201 1; l202 1;

Dol20i l20i 1 l20i 2, i, 3, 20; Printl20

Utilizando el comando Fibonacci[n]

11

solucionejerc.nb

TableFibonaccii, i, 20
2.Fora0 1; a1 1; i 2, ai1 ai2 1000, i, ai ai1 ai2 ; Printai
Utilizando el comando Fibonacci[n]
Fori 2, Fibonaccii 1 Fibonaccii 2 1000,
i , PrintFibonaccii

VARIABLE REAL
Ejercicios

1- Calcular el lmite de la funcin valor absoluto en x=0

LimitAbsx, x 0
2- Calcular el lmite de la funcin tangente en el punto 2
LimitTanx, x Pi 2, Direction 1
LimitTanx, x Pi 2, Direction 1
3- Calcular la derivada de primer orden de la funcin seno y la derivada de orden 4 de la funcin coseno.
DSinx, x
DCosx, x, 4
4- Calcular la diferencial de x2 3x3 .
Dtx^ 2 3 x^ 3
Dtx^ 2 3 x^ 3 . Dtx dx
Dt[x^2 + 3 y^2]

12

solucionejerc.nb

Dt[x^2 + 3 y^2,x]
Dt[x^2 + 3 y^2,x]/.Dt[y,x]->dy/dx
y/: Dt[y, x] = 0
Dt[x^2 + 3 y^2,x]
5-Calcular las siguientes integrales:
1

1 Absx x,

x x

Absx x
1

x x
6- a) Estudiar la continuidad en x=0 y en x=e de la siguiente funcin
f(x) = x Logx3 x (0,e )

Logx

x
3

f(x) =

x>e

Logx3
f1x_ x Logx; f2x_
;
x
fx_ ; 0 x f1x; fx_ ; x f2x;
Limitfx, x 0, Direction 1
Limitf1x, x 0, Direction 1
Limitf1x, x 0
f10
Plotfx, x, 0, .5, PlotRange All

13

solucionejerc.nb

Limitfx, x , Direction 1
Limitf1x, x , Direction 1
Limitf2x, x , Direction 1
b) Dibujar la grfica aproximada de f.
Plotfx, x, 0, 5
c) Calcular el rea limitada por f, el eje X, y las rectas x=0, x=10.
Plotfx, x, 0, 1.5, PlotRange .01, .01
1. En el intervalo [0,1]
1

i1 Abs f1x x N
0

2. En el intervalo [0,]

i2 f1x x N
1

3. En el intervalo [,10]
i3

10

f2x x N

total i1 i2 i3

Funciones de dos variables

Ejercicios

1- Dada la funcin f(x,y)=sen(x+y):

- Dibujar la funcin en el recinto [0,4]x[0,4]
- Calcular x f x, y, x,y f x, y, x,y3 f x, y
- Calcular df(x,y)

14

solucionejerc.nb

fx_, y_ Sinx y; Plot3Dfx, y, x, 0, 4, y, 0, 4

f1x_, y_ x fx, y

f2x_, y_ x,y fx, y

x,y,y,y fx, y
Dtfx, y

2- Calcular las parciales de la funcion f(x,y) = Logxx 2yy

( 4 , 4 )

fx_, y_ Logxx 2 yy

Sinx y en el punto

Sinx y ;

x fx, y . x 4, y 4 N
y fx, y . x 4, y 4 N
x,y fx, y . x 4, y 4 N

3- Dada la funcin f(x,y,z)=sen(x+y+z) calcular el gradiente de f y dibujar su campo.

En el paquete <<Calculus `VectorAnalysis` tenemos, entre otros, los comando para calcular
gradientes, divergencias, rotacionales y laplacianas. En estos comando hay que especificar el
sistema de coordenadas en el que se quiere efectuar el clculo. Por ejemplo si estamos trabajando
en cartesianas,
Grad[5 x^2 y^3 z^4, Cartesian[x, y, z]].
Para representar un campo vectorial en el espacio hay que utilizar comandos que estn dentro del
paquete <<Graphics`PlotField3D`

fx_, y_, z_ Sinx y z;

15

solucionejerc.nb

<<Calculus`VectorAnalysis`
Graphics`PlotField3D`
campvect Gradfx, y, z, Cartesianx, y, z
PlotVectorField3Dcampvect, x, 2, 2, y, 2, 2, z, 2, 2
PlotGradientField3Dfx, y, z, x, 0, 2,
y, 0, 2, z, 0, 2, VectorHeads True, PlotPoints 5

Sucesiones y series
Ejercicios

1- Calcular el lmite de las siguientes sucesiones:

4
5

Lognn
a) n
b) n4 n2 n5 n3
Logn n
Limit
, n
n
4
5

Limit n4 n2 n5 n3 , n

2- Dibujar los 20 primeros trminos de la siguiente sucesin

1
1

1n

Para respresentar un conjunto de puntos en el plano se utiliza el comando ListPlot. Buscar informacin en la ayuda antes de hacer la representacin grfica. Una de las opciones que se pueden
asignar a PlotStyle es PointSize[n] que permite representar puntos ms o menos gordos.
Representar conjuntamente los puntos correspondientes a los trminos de la sucesin (con un
PointSize[0.02], y de color azul) y la recta y=, (en color rojo y con un grosor Thickness[0.01])
n
1
1
, n, 20 N
lista Table
1n

graf1
ListPlotlista, PlotStyle PointSize.02, RGBColor0, 0, 1,
AxesOrigin 0, 0, Axes True, PlotRange 0, 3

solucionejerc.nb

16

graf2
Plot, x, 0, 20, PlotStyle RGBColor1, 0, 0, Thickness.01
Showgraf1, graf2

3- Calcular la suma de las series numricas cuyos trminos generales vienen dados mediante las
siguientes sucesiones numricas:

1
n
a)
b)

n1
n8
2

n1
2
n0

n
N

8
n

n1

4- Obtener el desarrollo hasta el trmino 5 de la funcin f(x) en un entorno del punto x=0.
Clearf
Seriesfx, x, 0, 5

5- Definir una funcin f que sea el desarrollo de Taylor con 7 trminos de L(1+x) en un
entorno de x=0. Comprobar que dicha funcin no se puede evaluar en el punto x=1 pero s se
puede integrar y derivar. Obtener el valor del coeficiente de x5 .
Clearf

fx_ SeriesLog1 x, x, 0, 7
f1

fx x
SeriesCoefficientfx, 5

17

solucionejerc.nb

6- a) Mediante los comandos Do o Table, definir una sucesin de funciones fi (t) que sean los
sucesivos polinomios de Taylor en t=0, hasta grado 5, de la funcin f(t)=sen(t)+cos(t). Mostrar
las expresiones de fi (t) .
ft_ Sint Cost;
Tablefi t_ NormalSeriesft, t, 0, i, i, 0, 5

b) Dibujar simultneamente f con cada una de las aproximaciones en [-,].

DoPlotft, fi t, t, , ,
PlotStyle RGBColor1, 0, 0, RGBColor0, 0, 1, i, 0, 5
n
7- Dada la serie funcional
n0 x
a) Hallar la suma S(x) de la serie

Sx_ xn
n0

b) Dibujar conjuntamente la suma S y las cinco primeras sumas parciales

i

tabla Table xn , i, 5
n0

graf1 PlotEvaluatetabla, x, 1, 1
graf2 PlotSx, x, 1, 1, PlotStyle RGBColor1, 0, 0
Showgraf1, graf2

SERIES DE FOURIER
Ejercicios
1- Representar las funciones UnitStep[x], UnitStep[x-1] en el intervalo [-2,4].

18

solucionejerc.nb

PlotUnitStepx, x, 2, 4

PlotUnitStepx 1, x, 2, 4
2- La funcin escaln unidad se suele utilizar para construir una funcin que coincida con otra dada para valores
de la variable independiente mayores que uno determinado y sea nula en el resto del eje real. Definir f(t) = Cos(t)
para t>1 y 0 en caso contrario.Representarla en el intervalo [-2,7]. Probar que se puede integrar.

PlotCost UnitStept 1, t, 2, 7
LimitCost UnitStept 1, t 1
LimitUnitStept, t 0
3- Otra funcin de gran aplicacin que se puede definir a partir de la funcin escalon unitario es la funcin pulso
rectangular. La funcin pulso rectangular de durancin T y centrada en el origen se define igual a la unidad
cuando -T/2<t<T/2, y cero en el resto del eje real.
Definir un pulso rectangular f(t) centrado en el origen y de duracin igual a 2. Representarlo en el intervalo
[-2,2].Representarlo en el mismo intervalo pero desplazado a t0=1,5.

ft_ UnitStept 1 UnitStept 1; Plotft, t, 2, 2

Limitft, t 1, Direction 1
Limitft, t 1, Direction 1
Plotft 1.5, t, 2, 5
4.- Definir utilizando la funcin UnitStep,
0
, 2 t
t 2 , 2 t 1
, 1 t 1
f(t) = 1
2t
, 1t2
0
, 2t

solucionejerc.nb

19

ft_ t 2 UnitStept 2 UnitStept 1

UnitStept 1 UnitStept 1
2 t UnitStept 1 UnitStept 2; Plotft, t, 4, 4

Ejercicios

Ej.1

1- Sea f(t) la funcin definida en el intervalo [-2,2] a partir de un pulso rectangular centrado en el origen y de
duracin igual a 2.
a) Obtener los seis primeros desarrollos distintos de Fourier de f(t) en la forma de senos y cosenos llamndoles
f1 (t), f2 (t), ..., f6 (t).
b) Introducir las grficas de estos desarrollos junto con la de la funcin en una tabla, P, sin mostrar dichos
grficos. Utilizar finalmente los comandos Show, GraphicsArray y Partition para presentar en dos lneas las seis
grficas.
c) Representar grficamente los errores que se cometen al sustituir la funcin f(t) por las f1 (t), f2 (t), ..., f6 (t).
<<Calculus`FourierTransform`
FourierTrigSeriesft, t, 3, FourierParameters 1, 1 4

tabla TableFourierTrigSeriesft, t,
i, FourierParameters 1, 1 4, i, 1, 11, 2
Dofit_ tablai, i, 6
P TablePlotft, fi t, t, 2, 2,
PlotStyle RGBColor1, 0, 0, RGBColor0, 0, 1,
DisplayFunction Identity, i, 6
matrizgraf PartitionP, 2
ShowGraphicsArraymatrizgraf
taberror
TablePlotft fit, t, 2, 2, PlotStyle RGBColor1, 0, 0,
PlotRange .4, .4, DisplayFunction Identity, i, 6

solucionejerc.nb

20

matrizgraferro Partitiontaberror, 2
ShowGraphicsArraymatrizgraferro

Ej.2.-

2- Obtener la forma exponencial de la serie de Fourier del pulso rectangular del ejercicio 1 mediante el comando
FourierExpSeries.

FourierSeriesft, t, 3, FourierParameters 1, 1 4

Ej.3.-

3- Calcular el n de terminos necesarios en el desarrollo en serie de Fourier del ejercicio 1 para que al sustituir
dicha funcin por el desarrollo el error sea menor que eps= .02 , en c= .5 .Dar como resultado: el n de trminos
de la serie, el desarrollo correspondiente S(t) y el valor de
S(c).Utilizar el comando For.

eps .02; c .5;

Forn 0; error 1, error eps, n 2, sft_

FourierTrigSeriesft, t, n, FourierParameters 1, 1 4;
error Absfc sfc; Print"n ", n, " ", sft;
Print"error ", error;

FourierTrigSeriesft, t, 0, FourierParameters 1, 1 4

Ej.4.-

4- Repetir el ejercicio primero para la funcin : g(t) = x(x-), en el intervalo [0,].

ab
NOTA: Si se desea obtener el desarrollo de f(x), con x[a,b], hay que considerar el desarrollo de g(t)=f(t+
2 ),
ab ab
ab
con t[- 2 , 2 ], y a continuacin considerar de nuevo x=t+ 2 .

1.- Representamos g[x] y f[x]=g[x+/2], para comprobar la traslacin.

gx_ x x Pi; fx_ gx Pi 2; Plotgx, fx,
x, Pi, Pi, PlotStyle RGBColor1, 0, 0, RGBColor0, 0, 1

solucionejerc.nb

21

2.- Desarrollamos f[x] en Serie de Fourier en el intervalo [- /2, /2] con un periodo igual a
Tablefi t_ FourierTrigSeries
ft, t, i, FourierParameters 1, 1 Pi, i, 6
3.- Deshaciendo el cambio de variable, obtenemos las funciones gi t fi t 2 , correspondientes
a los diferentes desarrollos. Se representan en una tabla de grficos que no se muestra. En cada
grfico de la tabla se representa el desarrollo correspondiente en azul y la funcin g(). Finalmente se
muestran los seis grficos juntos, dos en cada lnea.
Tablegi t_ fi t Pi 2, i, 6 Simplify
tabgraf TablePlotgt, gi t, t, , ,
PlotStyle RGBColor1, 0, 0, RGBColor0, 0, 1,
DisplayFunction Identity, i, 6
ShowGraphicsArrayPartitiontabgraf, 2
4.- Finalmente representamos grficamente el error cometido en cada aproximacin, del mismo
modo que los agrficos anteriores.
taberror TablePlotgt git, t, 0, ,
PlotRange .25, .6, DisplayFunction Identity, i, 6
ShowGraphicsArrayPartitiontaberror, 2

Ej.5.-

Desarrollar en serie de Fourier1-x^2 en [-1,1] . Como esta funcin no tiene saltos, los desarrollos se ajustan en
seguida a la funcin .(simulamos la extensin peridica grficamente). Calcular el n de trminos necesarios para
que en c=0.75 el error cometido al aproximar la funcin mediante la serie sea menor que eps=0.02. Imprimir en
cada iteracin el n de terminos de la serie, el trmino de la serie y el error cometido.
fx_ : 1 x^ 2 ; 1 x 1; fx_ : fx 2 ; x 1;

graf Plotfx, x, 1, 5, PlotStyle RGBColor1, 0, 0

tabla TableFourierTrigSeries
1 x^ 2, x, n, FourierParameters 1, 1 2, n, 5

22

solucionejerc.nb

tabgraf TablePlottablai, x, 1, 5,
PlotStyle RGBColor0, 0, 1, DisplayFunction Identity, i, 5
DoShowgraf, tabgrafi, i, 5
eps .02; c .75;

Forn 0; error 1, error eps, n , sft_

FourierTrigSeries1 t ^ 2, t, n, FourierParameters 1, 1 2;
error Absfc sfc; Print"n ", n, " ", sft;
Print"error ", error;

ECUACIONES DIFERENCIALES
Ejercicios

1- Obtener, si es posible, la solucin general de las siguientes ecuaciones diferenciales:

1) xy'+y = x4 y3
2) x y2 3yx2 x yx2 y ' 0
xy4
3) y'=

xy6
4) y'+x2 y x y2

5) x3 y''' + x2 y'' - 2x y' + 2y =0

xy' y x4 y3
DSolvex y 'x yx x ^ 4 yx ^ 3, yx, x PowerExpand
xy2 3yx2 x yx2 y ' 0
DSolvex yx^ 2 3 yx x^ 2 x yx x^ 2 y 'x 0, yx, x

y'

xy4

xy6

x yx 4
DSolvey 'x
, yx, x
x yx 6

23

solucionejerc.nb

y' x2 y x y2
DSolvey 'x x ^2 yx x yx2 , yx, x

x3 y''' x2 y'' 2x y' 2y 0

DSolvex^ 3 y'''x x ^ 2 y ''x 2 x y 'x 2 yx 0, yx, x
2- En el caso de la ecuacin 3) se obtiene una forma implcita de la solucin. Comprobarlo con Mathematica

x yx 4
sol DSolvey'x
, yx, x
x yx 6
x sol1
Solvex sol1, y 'x Simplify
3- Obtener el campo de direcciones de la ecuacin 4)del ejercicio 1, en el dominio [-0.5,0.5],[0.7,2.5]
y'+x2 y x y2
OptionsPlotVectorField
Graphics`PlotField`
campo PlotVectorField1, x y2 x2 y,
x, .5, .5, y, .7, 2.5, Axes True, HeadLength 0.03;

4- Obtener, si es posible, la solucin exacta de cada uno de los siguientes problemas de valor inicial:
a) xy'+y = x4 y3

x y
xy4
c) y'=

xy6
d) x3 y'''+ x2 y''-2xy'+2y = 0

b)

y'+x2 y

a xy' y x4 y 3

y(1)=-1
y(0)=1
y(0)=2
y(1)=0, y'(1)=1, y''(1)=1/2

y1 1

solu DSolvex y 'x yx x ^ 4 yx^ 3, y1 1, yx, x

24

solucionejerc.nb

solu1
fx_ yx . solu1
x f 'x fx x ^ 4 fx ^ 3 Simplify
y' x2 y x y2

y0 1

DSolvey'x x^ 2 yx x yx2 , y0 1, yx, x

y'

xy4

xy6

y0 2

x yx 4
DSolvey'x
, y0 2, yx, x
x yx 6
x3 y''' x2 y'' 2xy' 2y 0

y1 0, y'1 1, y''1 1 2

DSolvex^ 3 y '''x x ^2 y ''x 2 x y 'x 2 yx 0,

y1 0, y '1 1, y ''1 1 2, yx, x
En el caso b), Mathematica no proporciona la solucin exacta del problema de valor inicial planteado (esta
solucin sabemos que existe por el Teorema de Existencia y Unicidad); mientras que en el caso c) se obtiene una
forma implcita de la solucin.
5- Encontrar una solucin aproximada de cada uno de los problemas de valor inicial b) y c) en el intervalo
[-0.5,0.5]. Evaluar las soluciones obtenidas en puntos del intervalo y representarlas grficamente. Por ltimo,
representar conjuntamente el campo de direcciones del ejercicio 3 con la solucin aproximada obtenida para b)
solu
NDSolvey 'x x ^2 yx x yx2 , y0 1, y, x, .5, .5

fx_ yx . solu1
f0.25
aprox Plotfx, x, .5, .5,
PlotStyle RGBColor1, 0, 0, Thickness.01

solucionejerc.nb

25

Showaprox, campo
6- Consideremos el siguiente problema de valor inicial:
y'+2y = q(x) donde q(x) = 1 si 0 x 1 y q(x) = 0 si x > 1 ;
y(0) = 0
Puesto que se trata de una ecuacin con un trmino de naturaleza discontinua, se obtendr la solucin exacta
siguiendo los pasos siguientes:
a) Resolver el problema de valor inicial: y'+2y=1, y(0)=0 y representar grficamente su solucin
y1 (x) en el intervalo [0,1]
b) Resolver la ecuacin diferencial: y'+2y=0 y representar grficamente algunas de sus soluciones
particulares en el intervalo [1,3]
c) Representar simultneamente en el intervalo [0,3] la situacin hasta el momento obtenida
d) Obtener y representar grficamente la solucin particular y2 (x) que conduzca a una solucin con
tinua para x0 del problema de valor inicial planteado
e) Construir la solucin exacta ye (x), es decir la funcin tal que:
ye (x)=y1 (x) en 0x1
ye (x)=y2 (x) en 1x3
y representarla grficamente en el intervalo [0,3]
1.- Con la funcin q(x) definida con un pulso rectangular,
qx_ UnitStepx UnitStepx 1;

solu DSolvey 'x 2 yx qx, y0 0, yx, x

yex_ yx . solu1
Plotyex, x, 0, 3
2.- Siguiendo los pasos del problema:
solu DSolvey 'x 2 yx 1, y0 0, yx, x
y1x_ yx . solu1
graf1 Ploty1x, x, 0, 1
solu1 DSolvey 'x 2 yx 0, yx, x
ypartx_ yx . solu11

solucionejerc.nb

26

tabpart Tableypartix_ ypartx . C1 i, i, 3

graf2 PlotEvaluatetabpart, x, 1, 3
Showgraf1, graf2
solcte Solveypart1 y11, C1
a C1 . solcte1; ypartx_ ypartx . C1 a
yex_ ; 0 x 1 y1x;
yex_ ; 1 x ypartx; Plotyex, x, 0, 3
7- Determinar una solucin aproximada ya (x) al problema de valor inicial del ejercicio anterior y representarla
grficamente.
Representar tambin el error |ye (x)-ya (x)| cometido en la aproximacin
soluapr NDSolvey 'x 2 yx qx, y0 0, y, x, 0, 3
yax_ yx . soluapr1
Plotyax, x, 0, 3

Plotyex yax, x, 0, 3
8- Obtener la solucin de los siguientes problemas de valor inicial:
y''+y=t+(1-t) H(t-1)
y(0)=0, y'(0)=1
y''+y=(t-) cost
y(0)=0, y'(0)=1
a) Directamente
b) Utilizando la Transformada de Laplace
1)
a)

qt_ t 1 t UnitStept 1;

solucionejerc.nb

solu DSolvey ''t yt qt, y0 0, y '0 1, yt, t

y1t_ yt . solu1
Ploty1t, t, 10, 20
b)
ecu y ''t yt qt;
ecutrans
LaplaceTransformecu, t, s . y0 0, y'0 1 Simplify
soltrans Solveecutrans, LaplaceTransformyt, t, s Simplify
Ys_ LaplaceTransformyt, t, s . soltrans1
y2t_ InverseLaplaceTransformYs, s, t Simplify
Ploty2t, t, 0, 20
2)
a)

ht_ DiracDeltat Pi Cost;

solu DSolvey ''t yt ht, y0 0, y '0 1, yt, t
y11t_ yt . solu1
Ploty11t, t, 0, 20
b)
ecu2 y ''t yt ht;

27

28

solucionejerc.nb

ecutrans2
LaplaceTransformecu2, t, s . y0 0, y '0 1 Simplify
soltrans2 Solveecutrans2, LaplaceTransformyt, t, s Simplify
Y2s_ LaplaceTransformyt, t, s . soltrans21
y22t_ InverseLaplaceTransformY2s, s, t Simplify
Ploty22t, t, 0, 20

Sistemas de ecuaciones diferenciales ordinarias

Ejercicios
1- Dado el sistema de ecuaciones diferenciales:
0

x' =

16

0
0
1
0

1
0
0
0

0 t

1
0

x+

0 0

con la condicin inicial

x(0) =

a) Obtener, si es posible, la solucin general del sistema

b) Obtener, si es posible, la solucin exacta al problema de valor inicial planteado
c) Representar grficamente la 3 componente del vector solucin
Para obtener la solucin general:
DSolvex1't x3t t, x2't x4t, x3't 8x1t 1,
x4't 16x1t, x1t, x2t, x3t, x4t, t FullSimplify
De otra forma, definiendo el sistema como producto de la matriz por un vector fun, cuyas componentes son las
funciones incognita
fun x1t, x2t, x3t, x4t;
der x1t, x2 t, x3 t, x4 t;
ind t, 0, 1, 0;
mat 0, 0, 1, 0, 0, 0, 0, 1, 8, 1, 0, 0, 16, 0, 0, 0;
x0 1, 0, 1, 2;

29

solucionejerc.nb

ecu mat.fun ind

DSolvex1't ecu1, x2't ecu2,
x3't ecu3, x4 't ecu4, fun, t FullSimplify
sol1 DSolvex1't ecu1, x2 't ecu2, x3't ecu3,
x4't ecu4, x10 x01, x20 x02,
x30 x03, x40 x04, fun, t FullSimplify
y3t_ x3t . sol11; Ploty3t, t, 0, 10
2- Proporciona Mathematica la solucin exacta al siguiente problema de valor inicial?
2t
1
1

0
2
0
x' =

x
2
1 2 t t

x(1)= 1

1
2t
1

0
2
0
mat
; fun x1t, x2t, x3t;

2
1 2 t t
x0 0, 1, 1; ecu mat.fun;

DSolvex1't ecu1, x2't ecu2, x3 't ecu3,

x11 x01, x21 x02, x31 x03, fun, t
Como Mathematica nos devuelve el comando tal cual esto quiere decir que no puede obtener la solucin mediante
procedimientos analticos
3- Puesto que no es posible obtener de forma exacta la solucin al problema de valor inicial anterior, obtener la
solucin de forma aproximada en el intervalo [0.5,1.5] y representar la 2 componente del vector solucin
sol NDSolvex1't ecu1,
x2't ecu2, x3 't ecu3, x11 x01,
x21 x02, x31 x03, fun, t, .5, 1.5

xat_ x3t . sol1; Plotxat, t, .5, 1.5

solucionejerc.nb

30

Polinomios ortogonales.
Ejercicios
1- Determinar los 9 primeros polinomios de Legendre y representar alguno de ellos a modo de ejemplo, en el
intervalo [-1,1], encontrando sus raices
polis TableLegendrePn, x, n, 9

PlotEvaluatepolis, x, 1, 1
graf Table
Plotpolisn, x, 1, 1, DisplayFunction Identity, n, 9
ShowGraphicsArrayPartitiongraf, 3
sol TableRootspolisn 0, x, n, 5 N
raices TableTableRootpolism, n, n, m , m, 9 N
TableFormraices
Nota: Anlogamente a los polinomios de Legendre, tambin estn implementados en Mathematica los polinomios de Hermite, de Laguerre y de Chebyshev. Se recomienda utilizar la ayuda para obtener informacin acerca
de ellos.

Funciones de Bessel
Ejercicios

2- Representar grficamente, en el intervalo [0,50], la funcin de Bessel de primera especie y orden 1/3 y evaluar
dicha funcin en x=0 y x=20

solucionejerc.nb

31

NumericalMath`BesselZeros`
fx_ BesselJ1 3, x; f0; f20 N
Plotfx, x, 0, 50
3- Determinar los 15 primeros ceros de la funcin de Bessel de primera especie y orden 1/3
BesselJZeros1 3, 15
4- Obtener los diez primeros trminos del desarrollo en serie de potencias en torno al cero de la funcin de Bessel
de primera especie y orden 1/3
NormalSeriesfx, x, 0, 10 N

5- Practicar las mismas cuestiones anteriores con otras funciones de Bessel de primera y segunda especie (por
ejemplo, para orden: 0, 2 y -1/3) (Observar que Mathematica no responde cuando se le piden los ceros de la
funcin de Bessel de primera especie y orden -1/3, pudindose, en tal caso, determinar los ceros mediante FindRoot)
f1x_ BesselJ1 3, x; Plotf1x, x, 0, 50

NormalSeriesf1x, x, 0, 10 N

BesselJZeros1 3, 5
FindRootf1x 0, x, 1.75
FindRootf1x 0, x, 5
FindRootf1x 0, x, 8
f3x_ BesselJ2, x; Plotf3x, x, 0, 50

solucionejerc.nb

NormalSeriesf3x, x, 0, 10 N

f4x_ BesselY0, x; Plotf4x, x, 0, 50

NormalSeriesf4x, x, 0, 10 N

32