Chuleta Calculo Infinitesimal.

nb

Mathematica - Calculo Infinitesimal

Operaciones Basicas
N@Pi, 50D 3.1415926535897932384626433832795028841971693993751 Sqrt@45D 3 !!! 5

N@%D

6.7082 Sqrt@%2D 1.77245385090551602729816748334114518279754945612239

La funcion N[] nos da el valor aproximado de la expresion,ta mbien lo podemos conseguir introduciendo un punto decimal en la entrada de la operacion. Sqrt es la funcion que calcula la raiz, el signo % hace referencia al ultimo output del kernel y el %n hace referencia al output n del kernel.
Abs@-2D 2 IntegerPart@78.345645D 78 IntegerPart@45 89D 0 Sign@-8D -1

Estas son las funciones para calcular el valor absoluto (Abs), la parte entera de un numero (IntegerPart) y el signo de un numero (Sign).

Trabajo con numeros complejos

Introducir y asignar complejos en mathematica
z1 = 2 + 3 I z2 = 4 + 5 I 2+3 4+5

Chuleta Calculo Infinitesimal.nb

Operaciones con complejos y calculo del conjugado :

z1 + z2 6+8 z1 * z2 -7 + 22 z1 z2

23 2 + 41 41

Conjugate@z1D 2-3

Funciones elementales
Exp@3D 3 ArcTan@1D p 4

Sin@Pi 4D Log@Exp@3DD 3 1 !!! 2

Utilidades de calculo simbolico

Hx^ 2 - 1L Hx - 1L -1 + x2 -1 + x Simplify@%D 1+x

Esta funcion nos simplifica la expresion que nosotros introduzcamos. Tambien se puede usar con VARIAS VARIABLES o expresiones polinomicas.
HHx + 1L Hx + 2L - Hx + 2L ^ 2L ^ 3 HH1 + xL H2 + xL - H2 + xL2 L
3

Chuleta Calculo Infinitesimal.nb

Expand@%D -8 - 12 x - 6 x2 - x3

La orden Expand nos desarrolla la expresion que nosotros introducimos en el caso de este producto nos desarrolla la operacion.
Factor@x^ 4 - 1D H-1 + xL H1 + xL H1 + x2 L

Esta funcion nos calcula las raices de los polinomios siempre y cuando estas sean enteras.
1 ApartA E H3 + xL H1 + xL3

La funcion Apart nos calcula las fracciones simples de un cociente.

1 1 1 1 3 - 2 + - 8 H1 + xL 8 H3 + xL 2 H1 + xL 4 H1 + xL

Trabajo con variables

x = 5; Set@y, 7D; Hx + yL 2 6

Para asignar variables lo podemos hacer directamente como en el primer caso o bien asignarlas mediante la orden Set. Si ponemos ; al final de la orden Mathematica no la muestra por pantalla.
Clear@xD; y =.; x+y x+y

Para borrar los valores asignados a las variables usamos los comandos Clear[] o x=. de esta forma se borran los valores asignados a las variables. En mathematica no es necesario declarar el tipo de variable que introducimos. Conviene resetear las variables al final de cada ejercicio para asi no usarlas en otro con el que no se corresponden.

Resolucion de ecuaciones
Solve@x ^ 3 - 2 x + 1 0, xD 1 1 !!! !!! 98x 1<, 9x H-1 - 5 L=, 9x H-1 + 5 L== 2 2 Solve@82 * a * x - y 1, 3 * a * y + x 1<, 8x, y<D -1 - 3 a 1-2a 99x - , y - == 1 + 6 a2 1 + 6 a2

La orden solve nos sirve para resolver ecuaciones en funcion de la variable indicada.

Chuleta Calculo Infinitesimal.nb

Tambien nos permite resolver un sistema de ecuaciones.

SolveA 4 !!! 99x H5 - 7 L== 9 SolveA !!!!!!!!!! !!!!!!!!!! x + 1 - 2 * x - 1 1, xE

Vemos que Solve anula las soluciones que son erroneas, si le indicamos que no las compruebe nos las muestra tambien aunque no son solucion de la ecuacion.
Solve@x ^ 8 - 256 0, xD 88x -2<, 8x -2 <, 8x 2 <, 8x 2<, 8x -2 H-1L14 <, 8x 2 H-1L14 <, 8x -2 H-1L34 <, 8x 2 H-1L34 << Solve@x ^ 8 - 256 0, xD . Ha_ -> b_L :> Ha -> ComplexExpand@bDL !!! 88x -2<, 8x -2 <, 8x 2 <, 8x 2<, 8x H-1 - L 2 <, !!! !!! !!! 8x H1 + L 2 <, 8x H1 - L 2 <, 8x H-1 + L 2 << Solve@2 * x Sin@xD, xD
Solve::tdep : The equations appear to involve the variables to be solved for in an essentially non-algebraic way.

4 4 !!! !!! 99x H5 - 7 L=, 9x H5 + 7 L== 9 9

!!!!!!!!!! !!!!!!!!!! x + 1 - 2 * x - 1 1, x, VerifySolutions FalseE

Vemos que tambien podemos mostrar soluciones complejas.

Solve@2 x == Sin@xD, xD

Cuando tenemos ecuaciones como estas que solve no es capaz de resolverlas podemos usar:
NSolve@2 * x Sin@xD, xD
Solve::tdep : The equations appear to involve the variables to be solved for in an essentially non-algebraic way.

NSolve@2 x == Sin@xD, xD FindRoot@2 x Sin@xD, 8x, 0.1<D 8x 1.2126 10-11 <

El NSolve en este caso tampoco funciona pero Findroot nos da una solucion.
In[13]:= Solve@x ^ 4 + 5 x ^ 3 + 12 * x ^ 2 + 40 * x + 3 0, xD
5 1 7 2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + %%%%%% %%%%%%%%%%%%%%%% 99x - + $%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% !!!!!!!!!!!!!!!! N %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % .... etc - - 140 J 2 !!!!!! 4 2 4 323 3 I8163+ 99562569 M 13 !!!!!!!!!!!!!!!! !!!!!! 13 1 I I8163 + 99562569 MM

NSolve@x^ 4 + 5 x ^ 3 + 12 * x ^ 2 + 40 * x + 3 0, xD

En este caso vemos la diferencia entre Solve y NSolve el ultimo nos proporciona un resultado mas tratable que Solve.

88x -4.32632<, 8x -0.298485 - 2.99175 <, 8x -0.298485 + 2.99175 <, 8x -0.0767098<<

Chuleta Calculo Infinitesimal.nb

Uso de inecuaciones Para usar inecuaciones debemos de introducir un paquete de ordenes como se muestra a continuacion:
<< Algebra`InequalitySolve` InequalitySolve@x Hx ^ 2 - 2L Hx ^ 2 - 3L > 0, xD !!! !!! !!! !!! - 3 < x < - 2 0 < x < 2 x > 3 !!! 1 5 - + < x < 1 x > 1 2 2

InequalitySolve@x Abs@x - 1D 0 && 1 x < x + 1, xD

Para que este comando funcione debemos de usar inecuaciones sencillas.

Ordenes utiles para sucesiones en Mathematica.

1 b@n_D := SinA n * PiE; 8

Table@b@nD, 8n, 12, 19<D

La funcion table nos muestra los valores de una expresion comprendidos entre aquellos que nosotros hemos indicado.
Clear@mD; m = Table@b@nD, 8n, 50<D; ListPlot@mD
1

13 p 1 15 p 17 p 1 19 p 9-1, SinA E, - , SinA E, 0, SinA E, , SinA E= !!! !!! 8 8 8 8 2 2

0.5

10 -0.5

20

30

40

50

-1

Graphics

Podemos asignarle a una variable una lista y despues dibujarla en una grafica mediante el comando ListPlot.
Limit@H-3 + 2 * nL ^ 4 H-7 + 3 * nL ^ 4, n InfinityD 16 81

Chuleta Calculo Infinitesimal.nb

H-3 + 2 nL4 gg1 = ListPlotATableA , 8n, 100<E, H-7 + 3 nL4

16 gg2 = ListPlotATableA , 8n, 100<E, 81 PlotStyle 8RGBColor@0, 0, 1D<, PlotRange 80, 1<E
1 0.8 0.6 0.4 0.2

PlotStyle 8RGBColor@1, 0, 0D<, PlotRange 80, 1<E

20

40

60

80

100

Graphics
1 0.8 0.6 0.4 0.2

20

40

60

80

100

Graphics Show@gg1, gg2D

1 0.8 0.6 0.4 0.2

20

40

60

80

100

Graphics

Chuleta Calculo Infinitesimal.nb

E^n e@n_D := ; n! Limit@e@nD, n D

1 Series::esss : Essential singularity encountered in GammaA + 1 + O@nD3 E. n 1 Series::esss : Essential singularity encountered in GammaA + 1 + O@nD3 E. n 1 Series::esss : Essential singularity encountered in GammaA + 1 + O@nD3 E. n General ::stop : Further output of Series::esss will be suppressed during this calculation .

n LimitA , n E n! << Calculus`Limit` Limit@e@nD, n D 0

Aqui tenemos que para calcular algunos limites en concreto tenemos que cargar funciones adicionales de limit.
!!!!!!!!!! !!! ! LimitASinA n + 1 E - SinA n E, n InfinityE Indeterminate

Cuando aun asi no podemos calcular el limite o nos sale indeterminado tenemos otra funcion NLimit mas potente que se carga mediante:
<< NumericalMath`NLimit` NLimitASinA 0.00108187 !!!!!!!!!! !!!! n + 1 E - SinA n E, n InfinityE

1 2

Ha + 1L Hn k ^ aL - na+1 k=1 Clear@a, nD; ForAa = 1, a < 2, a ++, PrintALimitA , n EEE Ha + 1L na

Tambien tenemos la funcion for que es similar a la funcion table.

Convergencia de series
Pasos para estudiar la convergencia de muchas sucesiones definidas recurrentemente: 1) Buscar la funcin f asociada a la recurrencia; 2) Calcular los puntos fijos de f; 3) Estudiar la montona de f; 4) Estudiar la monotona de la sucesin; 5) Estudiar la acotacin de la sucesin; 6) Probar la convergencia de la sucesin y hallar el lmite. (1) Como la sucesin responde a la regla u(n)= 2 + u Hn - 1L , con u(1)= 2 , definimos la funcin f(x)= 2 + x . Entonces la regla es u(n)=f(u(n-1)).
!!!!!!!!!!!!!!!!!!!!!!!!! ! !!!! !!!!!!!!!!

Chuleta Calculo Infinitesimal.nb

!!!!!!!!!! 2+x;

f@x_D =

(2) Si la sucesin fuera convergente (no sabemos si lo es o no), tomando lmite en la regla u(n)= 2 + u Hn - 1L resultara:
limn u HnL=

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!! 2 + limn u Hn - 1L . !!!!!!!!!! Resolvamos entonces la ecuacin L= 2 + L . Mediante Mathematica podemos calcular la solucin de ecuaciones algebraicas usando la orden Solve. Solve@L - f@LD 0, LD 88L 2<<

!!!!!!!!!!!!!!!!!!!!!!!!! !

Esto significa que si la sucesin converge, converge a 2. Veamos si esto es as. Definimos la sucesin: (3) Estudiemos la monotona de f:
Plot@f@xD, 8x, -2, 50<D
7 6 5 4 3 2 1 10 20 30 40 50

Graphics

En prcticas posteriores podremos estudiar la monotona haciendo que Mathematica calcule la derivada. (4) Conocer la monotona de f nos ayuda a estudiar la monotona de la sucesin y su acotacin. Al ser f montona creciente en todo su dominio, la relacin de desigualdad que haya entre u[1] y u[2] ser la misma que tendremos entre u[n] y u[n+1] para todo n. Para comparar:
Simplify@u@1D < u@2DD True

Entonces u(1)<u(2). Como f es montona creciente: f(u(1))<f(u(2)). Es decir u(2)<u(3). As, sucesivamente, (en realidad, se debe probar por induccin) tenemos u(n-1)<u(n) para todo n. Por tanto la sucesin es montona creciente. (5) Ahora veamos la acotacin. Al ser f montona creciente en todo su dominio, la relacin de desigualdad que haya entre u[1] y 2 (punto fijo de f) ser la misma que tendremos entre u[n] y 2 para todo n. Para comparar:
Simplify@u@1D < 2D True

Por tanto u(n)<2 para todo n.

Chuleta Calculo Infinitesimal.nb

(6) Hemos probado que la sucesin es creciente y est acotada superiormente, as que tiene lmite real. Y, como habamos visto al principio, en ese caso el lmite es 2.

Criterio del cociente o criterio de D'Alambert

aHnL es convergente si limn | |<1 n=1 aHnL
aHn+1L

aHnL es divergente si limn | |>1 n=1 aHnL

aHn+1L

En caso de que el lmite sea 1, no se puede asegurar nada acerca de la convergencia de la serie.

Criterio de la raz o criterio de Cauchy

a HnL es convergente si limn H a HnL L1n <1 n=1 a HnL es divergente si limn H a HnL L1n >1 n=1

En caso de que el lmite sea 1, no se puede asegurar nada acerca de la convergencia de la serie.

Criterio de comparacin en el lmite

a HnL Sean a(n) y b(n) dos sucesiones de trminos positivos tales que limn = L , entonces: b HnL

(i) Si 0<L<, entonces las series a HnL y b HnL convergen o divergen simultneamente. n=1 n=1 (ii) Si L=0, entonces, b HnL converge a HnL converge. n=1 n=1 a HnL diverge b HnL diverge. n=1 n=1 (iii) Si L=, entonces, a HnL converge b HnL converge. n=1 n=1 b HnL diverge a HnL diverge. n=1 n=1

La serie armnica:
La serie

1 p n=1 n

converge si y slo si p>1.

Funciones
Definicion y representacion de funciones

Chuleta Calculo Infinitesimal.nb

10

x^2 + 2 f@x_D := x-3

Plot@f@xD, 8x, -50, 50<, PlotStyle RGBColor@0, 0, 1DD

60 40 20 -10 -5 -20 -40 -60 5 10 15

Graphics

Estudios de dominio y asintotas

Limit@f@xD, x 3, Direction 1D - Limit@f@xD, x 3, Direction -1 D Limit@f@xD, x InfinityD Limit@f@xD x, x InfinityD 1 Limit@f@xD - x, x InfinityD 3 g@x_D = x + 3 Plot@8f@xD, g@xD<, 8x, -50, 50<, PlotStyle 8RGBColor@1, 0, 0D, RGBColor@0, 1, 0D<D 3+x
75 50 25 -30 -20 -10 -25 -50 -75 10 20 30

Graphics

Chuleta Calculo Infinitesimal.nb

11

Ahora veremos el estudio de la funcion mediante el uso de derivadas

D@f@xD, xD 2x 2 + x2 - 2 -3 + x H-3 + xL -2 - 6 x + x2 2 H-3 + xL

Simplify@%D

<< Algebra`InequalitySolve` InequalitySolve@%16 > 0, xD x<3!!!!!! !!!!!! 11 x > 3 + 11 !!!!!! 11 E

f ''A3 -

!!!!!! 2 2 I2 + H3 - 11 L M 2 4 !!!!!! - - H3 - 11 L - !!!!!! !!!!!! 11 11 11 11 Sign@%D -1

Por tanto es un maximo relativo

f ''A3 + !!!!!! 2 2 I2 + H3 + 11 L M 2 4 !!!!!! - H3 + 11 L + !!!!!! !!!!!! 11 11 11 11 !!!!!! 11 E

Sign@%D 1

Por tanto minimo

Simplify@f ''@xDD 22 3 H-3 + xL

InequalitySolve@% > 0, xD x>3

Es concava hacia arriba en el intervalo (-,3) y concava hacia abajo en (3,)

Solve@f ''@xD 0, xD 8<

No hay puntos de inflexion.

Chuleta Calculo Infinitesimal.nb

12

PlotA8f@xD, x + 3<, 8x, -15, 20<, PlotRange 8-10, 30<, PlotStyle 88RGBColor@1, 0, 0D<, 8RGBColor@0, 0, 1D<<, !!!!!! !!!!!! Epilog 99PointSize@0.03D, Hue@1D, PointA93 - 11 , fA3 - 11 E=E=, 9PointSize@0.03D, !!!!!! !!!!!! RGBColor@1, 0, 1D, PointA93 + 11 , fA3 + 11 E=E==, AxesLabel 8x, f@xD<E
2 + x2 -3 + x 30 25 20 15 10 5 -15 -10 -5 -5 -10 5 10 15 20 x

Graphics

Series y polinimios de Taylor

Series@x4 + x3 - 3 x2 + 4 x - 2, 8x, 1, 4<D s = Series@Tan@xD, 8x, 0, 20<D x3 2 x5 x + + 3 15 21844 x13 + 6081075 1 + 5 Hx - 1L + 6 Hx - 1L2 + 5 Hx - 1L3 + Hx - 1L4 + O@x - 1D5

17 x7 62 x9 1382 x11 + + + + 315 2835 155925 929569 x15 6404582 x17 443861162 x19 + + + O@xD21 638512875 10854718875 1856156927625

SeriesCoefficient@s, 19D 443861162 1856156927625 SeriesCoefficient@s, 20D 0 3) Hallar un polinomio que aproxime la funcin x en el intervalo [-1,1] con un error menor que 10-2 .

Clear@fD f@x_D := E ^ x

pol = Normal@Series@f@xD, 8x, 0, 4<DD x2 x3 x4 1 + x + + + 2 6 24

Chuleta Calculo Infinitesimal.nb

Plot@8f@xD, pol<, 8x, -1, 1<, PlotStyle 8RGBColor@1, 0, 0D, RGBColor@0, 0, 1D<D
2.5 2 1.5 1 0.5

13

-1

-0.5

0.5

Graphics Plot@8Abs@f@xD - polD, 10-2 <, 8x, -1, 1<, PlotStyle 8RGBColor@1, 0, 0D, RGBColor@0, 0, 1D<D
0.01 0.008 0.006 0.004 0.002

-1

-0.5

0.5

Graphics

Integrales
Para el calculo de primitivas tenemos:
In[4]:= Integrate@1 HE ^ x + 1L, xD Out[4]= x - Log@1 + x D Out[5]= x - Log@1 + x D In[6]:= -x
2 2

1 HE ^ x + 1L x

Out[6]= $%%%%%% ErfA E !!!

p 2

x 2

Las funciones como Erf o elliptic son funciones no elementales con las que mathematica puede trabajar Para integrales definidas podemos usar:

Chuleta Calculo Infinitesimal.nb

14

In[4]:= Hx^ 2 - 2 x - 3L x
5 1

Out[4]=

In[5]:= Integrate@x ^ 2 - 2 x - 3, 8x, 1, 5<D Out[5]=

16 3

16 3

Para integrales mas complicadas debemos recurrir a la orden NIntegrate

In[6]:=
3 2

Out[6]= $Aborted

In[7]:= NIntegrateA , 8x, 2, 3<E Out[7]= 0.108361

1 + Cos@xD x !!!!!!!!!!!!!!!! !!!!!!! Log@xD + 1 + Sin@xD

1 + Cos@xD !!!!!!!!!!!!!!!!!!!!!! ! Log@xD + 1 + Sin@xD

Uso de areas con integrales

In[8]:= g@x_D := x ^ 2 + 2

f@x_D := 2 x + 5

Vamos a usar la orden FilledPlot para la que es necesario cargar un paquete adicional a mathematica.
In[10]:= << Graphics`FilledPlot` In[11]:= FilledPlot@8f@xD, g@xD<, 8x, 0, 6<, PlotStyle 8RGBColor@1, 0, 0D, RGBColor@0, 0, 1D<D 35 30 25 20 15 10 5 1 Out[11]= Graphics In[12]:= Abs@f@xD - g@xDD x
6 0

Out[12]= 36

A veces mathematica NO sabe calcular la integral de valores absolutos por lo que debemos de buscar el punto de corte ...
In[14]:= Clear@fD

x2 f@x_D := d $%%%%%%%%%%%%%%% 1 - c2

Chuleta Calculo Infinitesimal.nb

In[16]:= Integrate@2 f@xD, 8x, -c, c<, Assumptions c > 0D Out[16]= c d p

15

La orden de integrate Assumptionsc>0 nos dice que asumimos c mayor que 0

Volumenes y superficies de revolucion

In[17]:= f@x_D := Sec@xD In[32]:= Plot@8f@xD, g@xD<, 8x, -1, 1<, PlotRange 8-0.1, 2<, 2

g@x_D := 1 2

PlotStyle 8RGBColor@0, 0, 1D, RGBColor@0, 1, 0D<, Epilog 88RGBColor@1, 0, 0D, Line@88-1, 1 2<, 8-1, f@-1D<<D<, 8RGBColor@1, 0, 0D , Line@881, 1 2<, 81, f@1D<<D<<D
1.5

0.5

-1

-0.5

0.5

Out[32]= Graphics

Podemos ver a parte las funciones adicionales de epilog. Para ver la superficie generada usaremos:
In[33]:= << Graphics`SurfaceOfRevolution` In[34]:= t1 = SurfaceOfRevolution@f@xD, 8x, -1, 1<, RevolutionAxis 81, 0, 0<D; t2 =

SurfaceOfRevolution@g@xD, 8x, -1, 1<, RevolutionAxis 81, 0, 0<D;

Chuleta Calculo Infinitesimal.nb

16

In[35]:= Show@t1, t2D 1 0 -1

-1

-1 -0.5

0.5

Out[35]= Graphics3D In[36]:= Out[36]=

1 -1

In[14]:= a = 3; b = 3; c = 2; In[2]:= << Graphics`InequalityGraphics` In[21]:= InequalityPlot3DA + + 1, 8x, -a, a<, 8y, -b, b<, 8z, -c, c<, PlotPoints 60E

1 H-1 + 4 Tan@1DL 2

Hf@xD2 - g@xD2 L x

x2 a2

y2 b2

z2 c2

0 -2 2 1 0 -1 -2 -2 0 2 Out[21]= Graphics3D

Chuleta Calculo Infinitesimal.nb

17

Integrales Impropias
In[23]:= Clear@a, bD In[24]:= Out[24]=
a

1 x x^2

1 a
b a

In[25]:= LimitA Out[25]=

1 x, b InfinityE x^2

1 a

In[26]:= Out[26]=

x32 Integrate ::idiv : Integral of does not converge on 80, <. 1 + x2

0

x ^ H3 2L x 1 + x^2

x32 x 1 + x2
b 0

In[27]:= LimitA Out[27]=

In[29]:= PlotA1 7 6 5 4 3 2 1

!!! ! x , 8x, 0, 10<E

x ^ H3 2L x, b E 1 + x^2

2 Out[29]= Graphics In[28]:=

b 0

10

Out[28]= IfAb > 0, 2 In[30]:= LimitA Out[30]= 2

1 x !!!! x
b e

!!! b

1 x, e 0E !!!! x

1 !!! b , xE !!! x 0
b

Chuleta Calculo Infinitesimal.nb

In[33]:= Plot@Gamma@xD, 8x, 0, 5<D 30 25 20 15 10 5 1 Out[33]= Graphics In[34]:= Beta@1, PiD Out[34]= 2 3 4 5

18

1 p