Presentacin

La presente recopilacin de temas ha sido producto de cerca de tres aos de trabajo informal con estudiantes de pregrado, quienes guiados por su curiosidad solicitaban ampliacin de algunos tpicos en horario

extracurricular. Su aparente desorden obedece al inters del momento, no conserva un orden lgico, histrico ni mucho menos epistemolgico.

Este material no pretende ser un texto gua ni se propone el remplazar alguno de ellos, por el contrario se encuentra lejos de llevar a cabo un desarrollo sistemtico de los contenidos. Debe considerarse que cada una de las secciones que lo componen son, en esencia, producto de trabajo informal, en ocasiones mediado por algunas bebidas fuera de clase, y como tales su nico objetivo es ampliar algunas posiciones frente a algunos tpicos sin pretender sentar ctedra al respecto.

1. Una visita por el mundo de los vectores

El presente captulo aborda algunas ideas fundamentales del anlisis vectorial elemental desde un punto de vista esencialmente algebraico y no pretende, desde ningn punto de vista, ser un tratado exhaustivo de los vectores; por el contrario, es ms un recuento de algunos temas que se supone que el estudiante ha visto en algn curso previo.

1.1 Nocin de vector

Los vectores son cantidades que se caracterizan por tener magnitud, direccin y sentido, segn dicen muchos textos de nivel introductorio.

Magnitud: es el escalar que caracteriza el tamao o la intensidad del vector. Se define como positiva porque est asociada con la nocin de distancia entre los dos puntos que determinan el vector.

Direccin: es la recta sobre la cual yace el vector. Esta se caracteriza por su pendiente, pues los vectores pueden trasladarse de una recta a otra paralela sin afectar su naturaleza. 2

Sentido: una vez que se fija un punto sobre la recta y se conviene que all comienza el vector, el sentido consiste en definir hacia adonde debe avanzarse sobre la recta con el fin de localizar el otro extremo del vector. Segn la convencin establecida, el sentido ser positivo o negativo. En un sistema de coordenadas cartesianas tomaremos en el sentido positivo de cada eje un vector unitario, de la siguiente manera:
z

k
j
y

i j k

1,0,0 0,10 0,0,1

i
x

Con esta convencin, podremos escribir un vector indicando cunto se avanza en cada eje para ubicar las coordenadas del punto donde culmina y sobreentenderemos que comienza en el origen del sistema de

coordenadas, as:
y

v vy
v

v x i vy j

v x ,v y

vx

Ntese que la magnitud de v , que llamaremos norma de v y escribiremos

v , es igual a la raz cuadrada de la suma de los cuadrados de las

componentes v x y v y ; tambin podemos observar que cada componente es la proyeccin de v en la direccin de cada eje, de tal suerte que podemos escribir:

vx

Comp i v

vy

Comp j v

Si denotamos por eje x , y por tendremos:

y

el ngulo que forma el vector con la parte positiva del

el ngulo formado por el vector y la parte positiva del eje y

vxi

vy j Comp j v j v cos cos

y y

Comp i v i v cos v v cos

x x

Como

sabemos

que
x

vx
y

vy

cos 2

cos 2

podemos

concluir que cos 2

cos 2

1 , lo que nos dice que la suma de los

cuadrados de los cosenos directores de un vector es igual a uno.

1.2 Suma de vectores

Con base en las definiciones de magnitud, direccin y sentido podemos concebir los vectores como indicaciones de rutas a seguir a la hora de hacer desplazamientos, teniendo en cuenta que el vector comienza en el punto de partida y termina en el punto de llegada.

Entendido as un vector, la suma de dos o ms de ellos consistir en hacer recorridos sobre ellos cuando se disponen convenientemente para poderlos recorrer consecutivamente.

Si pretendemos sumar u y v :
u

Debemos

reubicarlos

de

tal

forma

que

se

puedan

recorrer

consecutivamente, veamos:

En el plano cartesiano trasladaremos alguno de los dos vectores a sumar, con el fin de hacer posible el recorrido sobre ellos. Es claro que podemos trasladar cualquiera de los dos, as:
y y

v
u

En trminos de sus componentes tendremos:

y

vy

uy

v
u

vy
x

vx

vx

ux

Como:

v u
entonces:

v x i vy j u x i uy j

vx

ux i

vy

uy j
6

que, de acuerdo con la grfica, se puede escribir como:

v cos

u cos

v cos

u cos

donde

denotan los ngulos formados por v y u con el eje y,

respectivamente. Adicionalmente, es claro que los dos ngulos que cada vector forma con los ejes son complementarios y por identidades trigonomtricas fundamentales sabemos que sin escribir:
cos 90

podemos

cos

sin

por lo que la identidad sin2

cos 2

1 se transforma en:

cos 2

cos 2

y la identidad cos

cos

sin

sin

cos

se transforma en:

cos

cos

cos

cos

cos

expresiones que nos permiten afirmar que:

v cos

u cos

2 x

v cos

u cos

2 y

Lo que equivale a tener:

v cos 2 v cos
2 2

x y

2 v u cos 2 v u cos

x y

cos cos

x y

u cos 2 u cos
2 2

x y

ahora extraemos los factores comunes:

2 2

cos 2
2

x x

cos 2 cos
2

y y

2 v u cos

cos

cos

cos

u cos

y, remplazando nuestras identidades trigonomtricas, tenemos:

2 v u cos

que, en trminos del ngulo suplementario, podemos escribir como:

2 v u cos 180

expresin conocida como teorema del coseno para tringulos. Vemoslo grficamente:

1.3 Producto escalar de vectores

Como vimos al final de la Seccin 1.1 el vector v escribir como v

v x i v y j se puede

Comp i v i

Comp j v j . Con al nimo de simplificar la

escritura, introduciremos la notacin:

Comp i v

v i

Comp j v

v j

lo que permite expresar nuestro vector como:

v ii

v jj

Ahora debemos observar que:

i j Comp j i

180

x x x

j i i i
x x

Comp i j 0 Comp i i 1

j j Comp j j 1
x

Expresiones que nos permiten definir la operacin u v , que llamaremos producto punto o escalar de dos vectores.

Si u

u x i uy j y v

v x i v y j , entonces u v ser:

u v

u x i uy j v x i v y j

ahora desarrollamos el producto de la forma convencional:

u v

ux i v x i u xv x i i

u x i v y j uy j v x i u x v y i j u yv x j i

uy j v y j u yv y j j

hacemos uso de nuestra tabla de multiplicar vectores unitarios y obtenemos:

u v

u xv x

u yv y

que ser nuestra definicin de producto punto de vectores en que en el caso particular u
v , tendremos:

. Ntese

u u

uxux ux
2 2

uy uy uy
2

u u

10

Anlogamente, para vectores en el espacio tridimensional basta analizar las proyecciones de cada vector unitario consigo mismo y con los otros dos para obtener:

i i 1 i j 0 i k 0

j i 0 j j 1 j k 0

k i 0 k j 0 k k 1

igualdades que nos permiten definir, despus de un tratamiento algebraico semejante al realizado para vectores en dos dimensiones, el producto punto de vectores en tres dimensiones como:

u v

u xv x

u yv y

u zv z

y la norma por medio de la expresin:

ux

uy

uz

Ahora recordemos que:

ux

u cos

uy

u cos

uz

u cos

11

por lo que:

u u

2 2

u cos
2

2 x x

u cos cos 2
y

2 y

u cos
z

2 z

u cos 2

cos 2

de donde obtenemos que:

cos 2

cos 2

cos 2

que no es otra cosa que decir que la suma de los cuadrados de los cosenos directores es igual a uno.

Por

ltimo,

retomaremos

el

producto

punto

de

vectores

en

dos

dimensiones para extraer una interpretacin geomtrica que nos permita hacer aplicaciones, posteriormente, a diversas situaciones fsicas.

Como u v

u xv x

u yv y , podemos escribir:

u v

u cos u v cos

x x x

v cos cos cos

x x

u cos u v cos cos

y

y y

v cos
y

cos
y

u v cos

cos

12

y, si recordamos las identidades trigonomtricas de la Seccin 1.2, tenemos:

u v

u v cos

lo que permite interpretar u v como la proyeccin de v en la direccin de

u multiplicada por la norma de u :

v
u

Comp. de v en la direccin de u

Como u v

u v cos , donde

es el ngulo comprendido entre los dos

vectores cuando se disponen partiendo del mismo punto, es claro que si

0 y v

0 entonces u v

0 implica que u

v . No obstante, hay que v , pues podra

tener precaucin al afirmar que si u v ocurrir que u

0 entonces u

0 que v

0.

Debe tenerse presente, tambin, que el mximo valor de u v se alcanza cuando el ngulo que forman es cero, es decir, cuando son paralelos.

13

1.4 Producto cruz o vectorial de vectores

Es comn, en las aplicaciones tcnicas, hallar razones de sobra para definir algn tipo de operacin que permita describir el comportamiento o la interaccin de dos elementos de un conjunto; este es el caso de los vectores y la definicin del producto cruz o vectorial de vectores.

Analizaremos la situacin ligada al giro de un destornillador y la consecuencia inmediata en el avance del tornillo. Supondremos que, como en la mayora de los casos, al girar el destornillador en el sentido de las manecillas del reloj el tornillo se aprieta, y viceversa. Ntese que el giro del destornillador se produce en un plano perpendicular a la direccin en la que el tornillo avanza (penetra o sale de un material), de tal suerte que se hace necesario disponer de tres dimensiones para poder maniobrarlo. Asumiremos que ese espacio tridimensional est descrito por medio de un sistema de coordenadas cartesianas, as:
z

k
j
y

i
x

14

Si se dispone el destornillador en el sentido positivo k y se gira de i a j , el tornillo avanzar en el sentido de k ; si se gira en sentido contrario, de j hacia i , el tornillo avanzar en sentido situaciones por medio de las

k . Describiremos estas dos

i j k

expresiones

j i

k ,

respectivamente.

Si se dispone el destornillador en el sentido positivo j y se gira de k a i , el tornillo avanzar en el sentido de j ; si se gira en sentido contrario, de i hacia k , el tornillo avanzar en sentido situaciones por medio de las
j . Describiremos estas dos k i j

expresiones

i k

j ,

respectivamente.

Si se dispone el destornillador en el sentido positivo i y se gira de j a k , el tornillo avanzar en el sentido de i ; si se gira en sentido contrario, de k hacia j , el tornillo avanzar en sentido situaciones por medio de las

i . Describiremos estas dos

j k i

expresiones

i ,

respectivamente.

Adems, independientemente del sentido hacia donde pongamos el destornillador, si no lo giramos el tornillo no avanzar; este hecho lo escribimos como: i i

0, j j

0, k k

0.
15

Ahora recopilemos los resultados obtenidos:

i i i j i k

0 k j

j i j j j k

k 0 i

k i k j k k

j i 0

Estas tablas de multiplicar nos permiten realizar u v de la siguiente manera:

u v

u x i uy j u z k

v x i vy j vz k

multiplicamos como de costumbre

u v

ux i uy j uz k

vxi vxi vxi

ux i uy j uz k

vy j vy j vy j

ux i uy j uz k

vzk vzk vzk

al realizar los productos en cada trmino tenemos:

u v

u xv x i i u yv x j i u zv x k i

u xv y i u yv y j u zv y k

j j j

u xv z i k u yv z j k u zv z k k

16

ahora aplicamos las tablas de multiplicar obtenidas y simplificamos

u v

i u yv z

u zv y

j u zv x

u xv z

k u xv y

u yv x

expresin que define el producto cruz o vectorial de vectores.

A continuacin nos debe ocupar el estudio del vector que hemos obtenido, es decir, debemos analizar su direccin, su sentido y su norma.

Para determinar su direccin podemos calcular u v u y u v v , pues es plausible que u v sea normal a u y a v , gracias a la definicin del producto cruz entre los vectores unitarios. Veamos:

u v u u v u

u yv z u x u yv z 0

u zv y u x u x u zv y

u zv x

u xv z u y u y u xv z

u xv y

u yv x u z u z u yv x

u y u zv x

u z u xv y

entonces u v

u pues u v

0 y u

0.

u v v u v v

u yv z v x u yv z 0

u zv y v x v x u zv y

u zv x

u xv z v y v y u xv z

u xv y

u yv x v z v z u yv x

v y u zv x

v z u xv y

entonces u v

v pues u v

0 y v

0.
17

Lo que permite concluir que u v es normal a u y a v , hecho que determina su direccin.

El sentido de u v estar definido, como es de esperarse, por el sentido del producto cruz entre los vectores unitarios, es decir, debe cumplir la regla de los tornillos, tambin conocida como regla de la mano derecha.

Ahora slo nos falta conocer la norma de u v , para lo cual calcularemos

u v , veamos:
2

u v

u yv z

u zv y

u zv x

u xv z

u xv y

u yv x

calculamos los cuadrados que estn indicados:

u v

uy v z
2 2

2 2 2

2u yv z u z v y 2u z v x u x v z 2u x v y u yv x

uz vy
2 2

2 2 2

uz v x ux vy

ux vz uy v x

sumamos y restamos u x v x , u y v y y u z v z :

18

u v

uy v z
2 2

2 2 2

2u yv z u z v y 2u z v x u x v z 2u x v y u yv x

uz vy
2 2

2 2 2

ux v x
2 2

2 2 2

ux v x
2 2

2 2 2

uz v x ux vy

ux vz uy v x

uy v y uz v z

uy v y uz v z

ahora agrupamos los trminos de acuerdo con su signo,

u v

ux v x
2

2 2

ux vy
2

2 2 2

ux vz
2 2

2 2

uy v x uz v z
2

2 2

uy v y uy v y
2

uy v z

uz v x

uz vy

2u yv z u z v y

ux v x

2u z v x u x v z

2u x v y u yv x

uz v z

ahora extraemos factor comn por agrupacin en los trminos positivos y reagrupamos los negativos, para obtener:

u v

ux v x

vy
2

2 2

vz

uy v x

vy

vz
2

2 2

uz v x

vy

vz

2 2 2

2 u yv y u z v z

ux v x

2 u zv z u xv x

uy v y

2 u x v x u yv y

uz v z

aplicamos la definicin de norma en los trminos positivos y factorizamos un trinomio al cuadrado en el trmino negativo

u v

ux v

uy v

uz v

u xv x

u yv y

u zv z

de nuevo factorizamos los trminos positivos, y aplicamos la definicin de producto punto en el interior del parntesis 19

u v

ux

uy

uz

u v

aplicamos la definicin de norma y la de producto punto en funcin del ngulo comprendido entre los vectores:

u v

u v

u v cos

que equivale a:

u v

u v

u v cos 2

de nuevo extraemos factor comn:

u v

u v 1 cos 2

aplicamos identidades trigonomtricas y extraemos raz cuadrada:

u v

u v sin

lo que nos permite pensar en una representacin geomtrica de u v as:

20

v
v sin
u

donde se ve que u v es el rea del paralelogramo definido por los vectores u y v .

Ntese que como u v

u v sin

, si u v

0 entonces u

0, v

u v.

1.5 Triple producto escalar

Se conoce con este nombre al producto de tres vectores que arroja como resultado un escalar. Este debe ser, desde luego, la combinacin del producto punto y el producto cruz.

w u v

w x u yv z w x u yv z

u zv y w x u zv y

wy u zv x wy u zv x

u xv z

w z u xv y

u yv x w z u yv x

wy u xv z

wz u xv y

ahora extraemos como factores comunes las componentes de v : 21

w u v

v x wy u z

wz u y

v y wz u x

wx u z

v z wx uy

wy u x

por la definicin de producto punto tenemos:

w u v

v x i vy j vz k

wy u z

wz u y i

wz u x

wx u z j

wx uy

wy u x k

que, por la definicin de producto cruz, se puede escribir como:

w u v

v w u

Ahora retomemos la expresin

w u v

w x u yv z

wx u zv y

wy u z v x

wy u x v z

wz u xv y

w z u yv x

y factoricemos las componentes de u :

w u v

u x wzv y

wyv z

u y w xv z

wzv x

u z wyv x

w xv y

apliquemos la conmutativa a los productos de las componentes de w y v

w u v

u x v y wz

v z wy

uy v z wx

v x wz

u z v x wy

v y wx
22

que escribimos como la combinacin de un producto punto y uno cruz:

w u v

u v w

por ltimo, recojamos nuestros dos anteriores resultados:

w u v

v w u

u v w

lo que nos permite ver el orden en que se pueden ir rotando los vectores sin que el producto se altere.

1.6 Triple producto vectorial

Es el producto de tres vectores que debe arrojar como resultado otro vector. Naturalmente, estar definido con base en el producto cruz o vectorial.

u v

w x i wy j w z k

i u yv z

u zv y

j u zv x

u xv z

k u xv y

u yv x

efectuamos el producto cruz indicado: 23

u v

i wy u xv y j w z u yv z k w x u zv x

u yv x u zv y u xv z

wz u zv x w x u xv y w y u yv z

u xv z u yv x u zv y

realizamos las multiplicaciones en cada componente:

u v

i wy u xv y j w z u yv z k w x u zv x

w y u yv x wz u zv y w x u xv z

wz u zv x w x u xv y w y u yv z

wz u xv z w x u yv x wy u zv y

ahora sumamos y restamos, con el fin de factorizar hasta conseguir productos punto, wx u x v x i , w y u yv y j , wz u z v z k , as:

u v

i wy u xv y j w z u yv z k w x u zv x

w y u yv x wz u zv y w x u xv z

wz u zv x w x u xv y w y u yv z

wz u xv z w x u yv x wy u zv y

w x u xv x i w x u xv x i w y u yv y j w y u yv y j wz u zv z k wz u zv z k

ahora extraemos factor comn de los trminos positivos y de todos los negativos en cada componente:

u v

i u x w xv x j u y w xv x k u z w xv x

w yv y w yv y w yv y

wzv z wzv z wzv z

v x wx u x v y wx u x v z wx u x

wy u y wy u y wy u y

wz u z wz u z wz u z

24

ahora recurrimos a la definicin de producto punto:

u v

ux i w v

vxi w u

uy j w v

vy j w u

uz k w v

vzk w u

de nuevo factorizamos:

u v

u x i uy j u z k w v

v x i vy j vz k w u

y, finalmente, podemos escribir:

uw v

w uv

identidad de gran aplicacin en electromagnetismo.

25

2. Un recorrido por algunas ideas del clculo

El captulo comienza con un hecho conocido del lgebra elemental y, poco a poco, va aumentando su grado de complejidad hasta terminar en una seccin que, si bien es cierto que no arroja ningn resultado nuevo, constituye el primero de varios resultados a los que tengo especial afecto porque de una u otra manera los he obtenido trabajando de manera obstinada y por el simple placer de conseguirlos, sin importar su trascendencia. Como el anterior, y los futuros captulos, ste no pretende abarcar una enorme extensin de temas ni tratarlos con gran profundidad.

2.1 Binomio de Newton

Nos ocuparemos de buscar una expresin general que nos permita calcular cualquier potencia entera de un binomio. Para tal fin ser necesario asumir que la multiplicacin es conmutativa, lo que limita nuestros resultados, pues no sern utilizables para hacer potencias de una suma de matrices, por citar un caso.

Por definicin tendremos que: 26

A A

B B

0 1

1 A B

Ahora calcularemos las potencias sucesivas:

A A2

B A AB

B BA B2

de donde

A2

2AB

B2

de manera semejante haremos las siguientes:

A A A3

B A B A2 2A 2 B 3A 2 B

2AB AB 2 3AB 2

B2 A 2B B3 2AB 2 B3

A3

A A

B B

A A A4

B A B A3 4A 3 B

3A 2 B 6A 2 B 2

3AB 2 4AB 3

B3 B4

27

A A

B B

A A A5

B A B A4

4A 3 B

6A 2 B 2

4AB 3

B4 B5

5A 4 B 10A 3 B 2

10A 2 B 3

5AB 4

A A

B B

A A A6

B A B A5

5A 4 B 10A 3 B 2

10A 2 B 3

5AB 4

B5 B6

6A 5 B 15A 4 B 2

20A 3 B 3

15A 2 B 4

6AB 5

Ahora recopilemos los resultados obtenidos:

A A A A A A A

B B B B B B B

1 A A2 A3 A4 A5 A6 B 2AB 3A 2 B 4A 3 B B2 3AB 2 6A 2 B 2 B3 4AB 3 B4 5AB 4 B5 6AB 5 B6

5A 4 B 10A 3 B 2 6A 5 B 15A 4 B 2

10A 2 B 3 20A 3 B 3

15A 2 B 4

Observaciones:

1. En todas las potencias el exponente de A desciende de uno en uno comenzando por el exponente del binomio y terminando en cero,

28

mientras que los exponentes de B aumentan consecutivamente, comenzando en cero y llegando hasta el exponente del binomio. 2. El primer coeficiente de todos los desarrollos es uno. 3. El segundo coeficiente de todos los desarrollos es el exponente del binomio o el exponente de A en el primer trmino. 4. El tercer coeficiente es el producto del segundo coeficiente por el exponente de A en el segundo trmino, dividido entre dos. 5. El cuarto coeficiente es el producto del tercer coeficiente por el exponente de A en el tercer trmino, dividido entre tres.

Hechas las anteriores observaciones, podemos escribir cada potencia como:

1A 1B 0

1 0 1 A B 1

1A 2 B 0

2 1 1 A B 1

2 1 0 2 A B 2

1A 3 B 0

3 2 1 A B 1

3 2 1 2 A B 1 2

3 2 1 0 3 A B 1 2 3

29

1A 4 B 0

4 3 1 A B 1

4 3 2 2 A B 1 2

4 3 2 1 3 A B 1 2 3

4 3 2 1 0 4 A B 1 2 3 4

1A 5 B 0

5 4 1 5 4 3 2 5 4 3 2 3 A B A B A B 1 1 2 1 2 3 5 4 3 2 1 4 5 4 3 2 1 0 5 A B A B 1 2 3 4 1 2 3 4 5

1A 6 B 0

6 5 1 6 5 4 2 A B A B 1 1 2 6 5 4 3 2 1 5 6 5 4 3 A B 1 2 3 4 5 1 2 3 4

6 5 4 3 3 A B 1 2 3 2 1 0 6 A B 5 6

6 5 4 3 2 4 A B 1 2 3 4

Ahora introduzcamos la notacin factorial, recordando que 0! 1 , 1! 1 y que n! n n 1

n 2 n 3 ... 3 2 1 .

Escribamos, entonces:

1A 1B 0

1 0 1 A B 1!

1A 2 B 0

2 1 1 A B 1!

2 1 0 2 A B 2!

30

1A 3 B 0

3 2 1 A B 1!

3 2 1 2 A B 2!

3 2 1 0 3 A B 3!

1A 4 B 0

4 3 1 A B 1!

4 3 2 2 A B 2!

4 3 2 1 3 A B 3!

4 3 2 1 0 4 A B 4!

1A 5 B 0

5 4 1 5 4 3 2 5 4 3 2 3 A B A B A B 1! 2! 3! 5 4 3 2 1 4 5 4 3 2 1 0 5 A B A B 4! 5!

1A 6 B 0

6 5 1 6 5 4 2 6 5 4 3 3 A B A B A B 1! 2! 3! 6 5 4 3 2 1 5 6 5 4 3 2 1 0 6 A B A B 5! 6!

6 5 4 3 2 4 A B 4!

Para poder escribir los numeradores de una forma un poco ms compacta recurrimos a las siguientes relaciones:

3! 3!

3! 2!

3 2

3! 1!

3 2 1

3! 0!

de manera semejante:

4! 4!

4! 3!

4 3

4! 2!

4 3 2

4! 1!

4 3 2 1

4! 0!

31

y as se contina con los dems numeradores. Las anteriores son expresiones que permiten escribir:

A
A

B
B

1
1! 1 0 A B 1!0! 2! 2 0 A B 2!0! 3! 3 0 A B 3!0! 4! 4 0 A B 4!0! 5! 5 0 A B 5!0! 1! 0 1 A B 0!1! 2! 1 1 A B 1!1! 3! 2 1 A B 2!1! 4! 3 1 A B 3!1! 5! 4 1 A B 4!1! 2! 0 2 A B 0!2! 3! 1 2 A B 1!2! 4! 2 2 A B 2!2! 5! 3 2 A B 3!2! 3! 0 3 A B 0!3! 4! 1 3 A B 1!3! 5! 2 3 A B 2!3! 4! 0 4 A B 0!4! 5! 1 4 A B 1!4! 5! 0 5 A B 0!5!

6! 6 0 A B 6!0! 6! 1 5 A B 1!5!

6! 5 1 A B 5!1! 6! 0 6 A B 0!6!

6! 4 2 A B 4!2!

6! 3 3 A B 3!3!

6! 2 4 A B 2!4!

Con el fin de compactar, an ms, nuestra escritura, introduzcamos la notacin combinatoria, definida de la siguiente manera:

n k

n! n k !k !

lo que permite escribir:

32

A
A

B
B

1
1 0 A 1B 0 1 1 2 1 3 1 4 1 5 1 A 0B 1 2 2 3 2 4 2 5 2

2 0

A 2B 0

A 1B 1

A 0B 2 3 3 4 3 5 3

3 0

A 3B 0

A 2B 1

A 1B 2

A 0B 3 4 4 5 4

4 0

A 4B 0

A 3B 1

A 2B 2

A 1B 3

A 0B 4 5 5

5 0

A 5B 0

A 4B 1

A 3B 2

A 2B 3

A 1B 4

A 0B 5

6 6 0 A B 0 6 1 5 A B 5

6 5 1 A B 1 6 0 6 A B 6

6 4 2 A B 2

6 3 3 A B 3

6 2 4 A B 4

Expresiones que permiten escribir, empleando la notacin sumatoria:

0 k 0 2

0 0k k A B k 2 2k k A B k

1 k 0 3

1 1k k A B k 3 3k k A B k

2 k 0

3 k 0

33

4 k 0

4 4k k A B k
6

5 k 0

5 5k k A B k

6 k 0

6 6k k A B k

Podemos inferir que A

n k 0

n n k k A B , resultado conocido como k

Binomio de Newton. La demostracin de su validez para todo valor natural de n se puede hacer empleando induccin matemtica, cosa que no haremos por no ser ese nuestro propsito.

Una forma de muchsima utilidad a la hora de obtener los coeficientes de una expansin binomial, cuando el exponente es relativamente pequeo, consiste en emplear el Tringulo de Pascal, veamos:

0 1 2 3 4 5 6

1 1 1 1 1 1 1 6 5 15 4 10 20 3 6 10 15 2 3 4 5 6 1 1 1 1 1 1

A B A B A B A B A A B B

34

Ntese que cada rengln del tringulo se calcula a partir del anterior. Comienza por 1 y los siguientes trminos se obtienen sumando dos a dos los trminos del rengln precedente, al final de cada rengln aparece un 1.

2.2 Serie de Taylor

En la presente seccin asumiremos que trabajamos con funciones con tantas derivadas continuas como la situacin las requiera.

Sea f x una funcin continuamente diferenciable en un intervalo a , b y sea x 0 , x

a,b , entonces:

x x0

f ' x dx

f x

f x0

A continuacin despejamos f x con el fin de conseguir una forma de aproximarse a su valor, as:

f x

f x0

x x0

f ' x dx

35

Lo que nos permite decir que f x en torno a x 0 es igual a f x 0 ms un remanente dado por
x x0

f ' x dx .

Ahora trataremos de hallar expresiones que nos permitan aproximar la funcin con algo ms que un punto, veamos:

x x0

f ' ' x dx

f' x

f ' x0

de donde obtenemos:

f' x

f ' x0

x x0

f ' ' x dx

y, como se trata de conseguir una expresin para f x , debemos volver a integrar en ambos lados de la igualdad con respecto a x , as:

x x0

f ' x dx

x x0

f ' x 0 dx

x x0

x x0

f ' ' x dx dx

resolvemos las dos primeras integrales y despejamos f x :

f x

f x0

f ' x0 x

x0

x x0

x x0

f ' ' x dx dx

36

Expresin que nos da la posibilidad de aproximar f x por medio de la recta f x

f x0

f ' x0 x
x x0 x x0

x 0 , en una vecindad de x 0 , ms un
f ' ' x dx dx . Es claro que para que esta

remanente dado por

aproximacin se posible se requiere que la funcin tenga, al menos, segunda derivada continua y que para que la aproximacin sea buena se necesita que
x x0 x x0

f ' ' x dx dx tienda a cero.

De nuevo, buscaremos un polinomio de mayor grado que permita aproximar la funcin en un entorno del valor deseado x 0 . Partamos, entonces, de una derivada de mayor orden, en este caso cuarto:

x x0

x dx

x0

despejamos

x0

x x0

x dx

integramos

37

x x0

x dx

x x0

x 0 dx

x x0

x x0

x dx dx

resolvemos

x0

x0 x

x0

x x0

x x0

x dx dx

de nuevo integramos

x x0

x dx

x0

x0

dx

x0

x x0

x 0 dx

x x0

x x0

x x0

x dx dx dx

resolvemos las integrales:

x0

x0 x

x0

x0

x0 2

x x0

x x0

x x0

x dx dx dx

de nuevo integramos:

x x0

x dx

x0
x x0

x0 x

dx
x x0

f f

x0

x x0

x 0 dx

x0

1 2

x x0

x 0 dx

x x0

x0

x dx dx dx dx

resolvemos las integrales: 38

f x

f x0
x x0 x x0

f
x

x0 x
x x0

x0

x0

x0 2

x0

x0 2 3

x0

x dx dx dx dx

ahora hagamos

x x0

x x0

x x0

x x0

x dx dx dx dx y escribamos:

f x

f x0

x0 x

x0

x0

x0 2!

x0

x0 3!

3 4

Si comenzamos el proceso partiendo de una derivada de orden mayor, obtendramos una expresin del tipo:

f x

f x0 f
4

f x0

x0 x x0 4!
4

x0 f
5

f x0

x0 x

x
5

x0 2! f

f
6

x0 x

x
6

x0 3!

x0 5!

x0

x0 6!

...

donde n indica el orden de la derivada de la que se ha partido para hacer las integraciones iteradas.

De forma general podemos decir que la funcin f x en torno a x 0 es igual a:

39

f x
k 0

x0

x0 k!

Expresin conocida como Serie de Taylor.

Conviniendo que f

x0

f x 0 y que

0 cuando n

Ntese que para poder hacer la representacin de la funcin por medio de una serie de Taylor se debe cumplir que sea continuamente diferenciable hasta, al menos, un orden mayor que el grado del polinomio con el que se desea aproximar, es decir:

1. Para hacer aproximaciones de primer grado, es decir por medio de

f x

f x0

f ' x0 x

x 0 , se requiere derivada de segundo orden

continua.

2. Para aproximaciones de segundo grado, con parbolas de la forma

f x

f x0

f ' x0 x

x0

f '' x 0

x0 2

, se exige derivada de

tercer orden continua, y as sucesivamente.

Como la grfica de la funcin est constituida por el conjunto de puntos

x , f x , es claro que x 0 , f x 0

es un punto de ella y, por lo tanto, 40

f x

f x0

f ' x0 x

x0

ser la ecuacin de la recta tangente a la

grfica de la funcin en el punto x 0 , f x 0 .

f x

f x

f x0

f ' x0 x

x0

f x0 x0
x

2.3 Serie de Maclaurin

Un caso singular, de muchsimas importancia y sencillez, es el desarrollo de las series de Taylor en torno a x 0

0 , pues, como se ver ms

adelante, se simplifican la escritura y los clculos sin perder generalidad.

Como f x

f x0

x0 x

x0

x0

x0 2!

x0

x0 3!

... ...

al evaluarla en x 0

0 tendremos:
41

f x

f 0

0x

x2 2!

x3 3!

x4 4!

... ...

que puede ser escrita como:

f x
k 0

xk 0 k!

2.4 Series de Taylor por partes

La presente seccin muestra otra forma, un poco ms rigurosa, de obtener las series de Taylor para funciones de una variable. Naturalmente, no obtendremos resultados desconocidos, pero s aplicaremos la tcnica de integracin por partes con algunas sustituciones poco evidentes, cosa que agrega un valor que consideramos importante.

De la derivacin de un producto de funciones sabemos que:

que puede escribirse como: 42

que implica:

expresin sobre la cual se soporta la tcnica de integracin por partes.

Adicionalmente, de la integracin definida sabemos que:

cosa que nos permite escribir:

Ahora, si consideramos que:

como nuestra variable de derivacin, observamos

43

que no es otra cosa que:

A partir de aqu retomaremos continuamente la expresin obtenida para , sustituyamos en ella el valor de , as:

desarrollamos la integral por partes, haciendo , lo que arroja:

evaluamos el lado derecho de la igualdad:

Sustituimos en la ltima expresin para

y obtenemos:

44

extraemos del signo de agrupacin

de nuevo debemos realizar la integral indicada y para tal fin aplicamos partes como antes:

lo que se reduce, despus evaluar y simplificar, a:

de nuevo remplazamos en la ltima expresin obtenida para presente que :

, teniendo

45

desarrollamos la integral:

sustituimos en la ltima expresin para

de nuevo integramos

que despus de sustituir en

se transforma en:

46

situacin que permite inferir que si continuamos iterando el proceso y empleamos la notacin factorial, podemos escribir:

El polinomio:

se denomina polinomio de Taylor y la funcin:

47

se denomina trmino residual en la forma integral.

La serie:

se llama Serie de Taylor de la funcin

en el punto

2.5 Taylor en

La presente seccin nos adentra en las expansiones, bastante engorrosas por cierto, de funciones de varias variables en series de Taylor y Maclaurin. Inicialmente proponemos una forma de deduccin

aparentemente natural que, ms adelante, descartamos por tediosa para dar paso a una construccin menos evidente pero ms expedita para alcanzar los resultados deseados. No olvide tener a mano papel, lpiz, una superficie dura para apoyar y mucha paciencia.

Recordemos que si:

48

entonces:

y que si:

entonces:

A partir de lo que podemos inferir que si

49

entonces:

Adicionalmente, la expansin en Maclaurin de

es:

donde derivada de

indica, como de costumbre para nosotros, la evaluada en , lo que nos permite escribir como:

50

Ahora, para alcanzar nuestra meta, slo falta hallar una expresin que permita calcular si .

Sean

, , desplazamiento desde hasta .

el

vector

Consideremos fija la direccin del vector

, slo contemplaremos la

posibilidad de que vare su norma; en este estado de cosas podemos escribir:

donde

son los cosenos directores del vector

Con esta nueva notacin obtenemos:

51

expresin que da origen a las siguientes igualdades:

que, sin duda, nos permiten calcular:

como el propsito es calcular

52

que se reduce a:

Para la segunda derivada tendremos:

distribuimos el operador diferencial teniendo en cuenta que los cosenos son constantes:

que puede escribirse como:

53

como indicadas:

slo falta calcular las derivadas

54

Sustituimos el equivalente de los corchetes para expresar

as:

cos

2+cos

+cos

cos

+cos

+cos

2.

efectuamos los productos y reducimos trminos semejantes:

Ahora debemos calcular

con el propsito de inferir

55

calculamos cada una de las derivadas indicadas en los corchetes:

56

Sustituimos las expresiones equivalentes de los corchetes anteriores en los corchetes de la expresin propuesta para y simplificamos:

57

cos

3+cos
cos cos

3 3 3

2 +cos2 2 +cos

cos

3 3 3

2+cos 2+cos 2+2cos 3

2+cos +2cos
cos

3
cos

3+2cos
cos

3 3

2 +cos 2 +cos

+cos 3 2.

cos

+cos

que luego de ser simplificado arroja:

Por ltimo, es necesario hallar una expresin general que permita calcular . Confiamos en que a estas alturas de nuestras cuentas ya est claro por qu en la mayora de textos de matemticas no se encuentra el

58

desarrollo de Taylor para funciones de tres variables ni mucho menos una expansin ms all del segundo orden. No pierda de vista que hasta ahora lo nico que hemos conseguido son tres coeficientes para ser sustituidos en la serie de Maclaurin, pero ni siquiera obtuvimos una forma general de ellos.

Las siguientes lneas estarn dedicadas a la memoria de todos aquellos que, presas del tedio y la desazn, sucumbieron en medio de un marasmo de garabatos tratando de hallar una forma compacta de escribir una serie de Taylor para funciones de varias variables.

Replanteemos nuestro problema

Queremos hallar una expresin para:

si sabemos que

59

Procedemos a calcular las derivadas:

Y comienza la modificacin en el mtodo! Factoricemos para que el operador entre parntesis no quede hambriento:

a la derecha

Para la segunda derivada tendremos:

60

como el operador del parntesis no depende de , la derivada slo afecta la funcin

como

podemos escribir:

que es lo mismo que:

Para la tercera derivada tendremos:

61

que se reduce a:

Ahora s podemos inferir fcilmente que la expresin general de la derivada ser:

Ahora sustituimos en la serie de Maclaurin:

62

como

es constante con respecto a las variables de derivacin podemos

escribir:

pero las igualdades

si omitimos la escribir:

en cada variable, nicamente por comodidad, podemos

63

Expresin conocida como serie de Taylor para una funcin de tres variables. Haciendo uso de la notacin vectorial podemos expresarla como:

Si hacemos

tenemos la serie de Maclaurin:

Resultados obtenidos con gran facilidad y ligereza. Que nos dispensen la falta de rigor!

En particular, para dos variables tendremos:

64

65

2.6 Aplicaciones del desarrollo en series

Analizaremos, a continuacin, algunos desarrollos especficos de gran utilidad: e x , sin x , cos x .

1. Sea f x

e x , entonces:

f f f f f f

1 2 3 4 5

x x x x x x

ex ex ex ex ex ex

f f f f f f

1 2 3 4 5

0 0 0 0 0 0

1 1 1 1 1 1

entonces, como f x

f 0

0x

x2 2!

x3 3!

x4 4!

... :

ex

1 x

x2 2!

x3 3!

x4 4!

x5 5!

x6 6!

x7 7!

x8 8!

x9 9!

...

2. Sea f x

sin x , entonces:

66

f 1 x f 2 x f x 4 f x
3

cos x sin x cos x sin x cos x sin x

f f f f f f

1 2 3 4 5 6

0 0 0 0 0 0

1 0 1 0 1 0

f 5 x f 6 x

donde notamos que las derivadas de orden par arrojan cero y las impares

1 y 1 alternados, partiendo de f
Maclaurin es f x
f 0 f
1

0
0 x2 2!

1 . Entonces, como la serie de

f
3

0x

x3 3!

x4 4!

... :

sin x

x3 3!

x5 5!

x7 7!

x9 9!

x 11 11!

x 13 13!

...

3. Sea f x

cos x , entonces:

f f f f f f

1 2 3 4 5 6

x x x x x x

sin x cos x sin x cos x sin x cos x

f 1 0 f 2 0 f f f f
3 4 5 6

0 1 0 1 0 1

0 0 0 0

y por anlisis semejantes a los de la funcin seno, tenemos:

67

cos x

x2 2!

x4 4!

x6 6!

x8 8!

x 10 10!

x 12 12!

...

2.7 Punto fijo del operador diferencial

Un divertimento! La presente seccin no arrojar absolutamente ningn resultado novedoso, por el contrario, es ms del estilo de las perogrulladas. Nos daremos a la tarea de buscar una funcin g x tal que su derivada sea ella misma, i. e.,
dg x dx g x .

Es obvio que est pensando que ya conoce esta funcin, si est seguro de eso suprima la lectura de esta seccin. Llegaremos al novedossimo resultado de que g x

e x , qu es lo que usted ya sabe! Igual, si no lo

saba, ya lo sabe, as que no hay porqu seguir leyendo esta seccin.

Queremos

hallar

una

funcin

gx

tal

que

dg x dx

g x

lo

que

necesariamente implica que g x tiene infinitas derivadas continuas y, como si fuera poco, en todo !

68

Lo anterior implica que g x se puede expandir en series de Maclaurin de la siguiente manera:

gx

g0

0x

x2 2!

x3 3!

x4 4!

...

y como la condicin es

dg x dx

g x

entonces

dng x dx n

gx

y, en

particular, tenemos que

g x ser:

dng 0 dx n

g 0 , de tal suerte que la expansin de

gx

g0

g0x

g0

x2 2!

g0

x3 3!

g0

x4 4!

...

ahora extraemos factor comn g 0 :

gx

g0 1 x

x2 2!

x3 3!

x4 4!

x5 5!

...

en este punto es conveniente definir la funcin G x siguiente expresin:

por medio de la

69

G x

1 x

x2 2!

x3 3!

x4 4!

x5 5!

...

lo que permite escribir g x entonces:

g 0G x

y como

dg x dx

gx

g0

dG x dx

g0

dG x dx

g 0 G x lo que permite concluir que la funcin ms sencilla

que satisface nuestra exigencia de ser igual a su derivada es la funcin

G x 1 x x2 2! x3 3! x4 4! x5 5! ... .

Este hecho no tiene nada novedoso, pues coincide, como era de esperarse, con la serie de la funcin exponencial. Lo que s es sumamente interesante es tratar de averiguar las propiedades del producto de dos de estas funciones de diferentes variables, calculemos G x G y .

Procederemos a multiplicar como si se tratara de polinomios, cosa que es bastante legtima siempre y cuando se tenga la precaucin de no ir a argumentar sobre la convergencia de las series o a eliminar trminos.

Como:

70

G x

1 x

x2 2! y2 2!

x3 3! y3 3!

x4 4! y4 4!

x5 5! y5 5!

...

Gy

1 y

...

entonces:

G xGy

y x

y2 2! 1 x y1 1! 1! x2 2!

y3 3! 1 x y2 1! 2! x 2 y1 2! 1! x3 3!

y4 4! 1 x y3 1! 3! x2 y2 2! 2! x 3 y1 3! 1! x4 4!

y5 5! 1 x y4 1! 4! x2 y3 2! 3! x3 y2 3! 2! x 4 y1 4! 1! x5 5!

... ... ... ... ... ...

donde hemos aplicado minuciosamente la propiedad distributiva con cada trmino de G x y se han dispuesto, para facilitar la suma, trminos del mismo grado, unos debajo de otros. A continuacin procedemos a sumar verticalmente, pero escribiremos horizontalmente:

71

G xGy

1 x y0 1! 0! x2 y0 2! 0! x3 y0 3! 0! x4 y0 4! 0! x5 y0 5! 0!
1

x0 0! x1 1! x2 2! x3 3! x4 4!

y1 1! y1 1! y1 1! y1 1! y1 1!

x0 0! x1 1! x2 2! x3 3!

y2 2! y2 2! y2 2! y2 2!

x0 0! x1 1! x2 2!

y3 3! y3 3! y3 3!

x0 0! x1 1!

y4 4! y4 4!

x 0 y5 0! 5!

Ahora multiplicamos y dividimos los trminos de cada rengln por el mayor factorial presente en l para obtener:

G xGy

1 1 1! 1 0 x y 1! 1!0! 1 2! 2 0 x y 2! 2!0! 1 3! 3 0 x y 3! 3!0! 1 4! 4 0 x y 4! 4!0! 1 5! 5 0 x y 5! 5!0! 1! 0 1 x y 0!1! 2! 1 1 x y 1!1! 3! 2 1 x y 2!1! 4! 3 1 x y 3!1! 5! 4 1 x y 4!1! 2! 0 2 x y 0!2! 3! 1 2 x y 1!2! 4! 2 2 x y 2!2! 5! 3 2 x y 3!2! 3! 0 3 x y 0!3! 4! 1 3 x y 1!3! 5! 2 3 x y 2!3! 4! 0 4 x y 0!4! 5! 1 4 x y 1!4! 5! 0 5 x y 0!5!

Expresiones que gracias al Binomio de Newton y volvindolas a escribir horizontalmente arrojan:

72

G xGy

y 1!

y 2!

y 3!

y 4!

y 5!

y 6!

...

lo que permite concluir que:

G xGy

G x

Resultado que posibilita valiosos anlisis, veamos:

Si x

y entonces G x G x

G x

x que equivale a afirmar que:

G x

G 2x

Y, anlogamente:

G x

G nx

Como nx particular n

xn , entonces G x

G nx

G xn

Gn

y en el caso

1 , obtenemos:

G x

G1

73

Ya sabemos que para poder calcular G x elevarlo a la x . Por definicin de G x tenemos:

basta con calcular G 1 y

G x

1 x

x2 2!

x3 3!

x4 4!

x5 5!

...

por lo que

G1

1 1

1 2!

1 3!

1 4!

1 5!

1 6!

1 7!

1 8!

1 ... 9!

y, como usted tiene calculadora, despus de hacer los clculos obtenemos:

G1

2.7182...

y finalmente, como es ms cmodo escribir una cosa que varias, declaramos que el nmero 2.7182... se llamar e y escribiremos:

Gx

ex

Que es lo que se quera deducir!

74

Lo peor de todo es que ah no para la cosa. En caso de que uno no est en el mejor de sus das y quiera hacer esta deduccin, pero no se le ocurra emplear las series de Maclaurin o no lo quiera hacer porque le parece que son demasiado locales por estar desarrolladas en torno al cero, puede trabajar con una hiptesis un poco ms general y bastante impresionante:

Asumamos que g x tiene una expresin en series de potencias de la siguiente forma:

gx
k 0

ak x k

a0

a1 x

a2x 2

a3x 3

a4x 4

... a n x n

...

La condicin

dg x dx

g x implica que:

a1

2a 2 x 1

3a 3 x 2

4a 4 x 3

... na n x n

... a 0

a1 x 1 a 2 x 2

a3x 3

... a n x n

...

ahora igualamos los coeficientes de los trminos de igual grado en los dos lados de la igualdad y conseguimos:

75

a1 2a 2 3a 3 ak

a0 a1 a2 a0 k! a2 a3 a0 2 a0 3!

por lo que g x

a0

a0x

a0

x2 2!

a0

x3 3!

a0

x4 4!

a0

x5 5!

... y, despus de

factorizar y sustituir G x , conseguimos g x

a 0G x . Ya sabe qu hacer!

2.8 Una construccin de la funcin exponencial

Dada la ecuacin

df x dx

f x

1 supongamos una solucin en series

de potencias de la forma:

f x
k 0

ak x k

Si asumimos f x solucin de 1 , es claro que debemos derivar f x y proceder a remplazarla en 1 para verificar que las condiciones se cumplan:

76

df x dx

ka k x k
k 0

Pero, por propiedades de la sumatoria, podemos desarrollar parcialmente la suma as:

df x dx

0 a0x

1 k 1

ka k x k

1 k 1

ka k x k

Ahora, es necesario recordar que la variable de sumacin puede desplazarse sumndole una cantidad si se hace lo contrario en el lmite de la suma. En nuestro caso, vamos a sumar uno a la k y vamos a restar uno del lmite de suma, para obtener:
df x dx

k 1 a k 1x k
k 0

Como puede observarse, las dos sumas expresadas en 2 y 3 coinciden tanto en los lmites como en el grado de las potencias obtenidas para x , lo que permite escribir:
df x dx

f x

Como:
df x dx

k 1 a k 1x k
k 0 k 0

ak x k

f x

Que no es otra cosa que decir:

77

k 1 a k 1x k
k 0 k 0

ak x k

Ahora podemos escribir:

k 1 a k 1x k
k 0 k 0

ak x k

Que por la linealidad de la sumatoria se puede escribir:

k 1 ak
k 0

ak

xk

Lo que necesariamente implica que todos los coeficientes del corchete deben ser nulos, ya que suponemos x

0 . Ntese que si x

0 tenemos la

solucin trivial de la ecuacin, pero no presenta ningn inters. Es claro que si los coeficientes son nulos, tenemos la igualdad:

k 1 ak

ak

Que equivale a tener la frmula de recurrencia:

ak k 1

ak

Ahora

procedemos

asignar

valores

para

determinar

el

comportamiento de los coeficientes de la serie: Si k

0 , a1

a0

78

Si k Si k Si k

1, a2 2 , a3

a1 2 a2 3

2
3

a0 a0

3!
4

3 , a4

a3 4

4!

a0

Donde en cada expresin se ha remplazado la anterior por su equivalente en trminos de a 0 . Es fcil inferir que el k forma:
k

simo trmino ser de la

ak

k!

a0

La anterior recurrencia permite escribir la serie 2 de la siguiente manera:

f x
k 0

ak x k
k 0

k!

a0x k

Que puede rescribirse:

k

f x

a0
k 0

x k!

Por lo cual podemos suponer, debido al denominador que la funcin es tal que la variable x se ha visto afectada por el factor hacemos ; de tal forma que si

1 no perdemos generalidad. Adicionalmente, la constante a 0

afecta toda la funcin, por lo cual podemos tambin asumir que a 0 ninguna prdida de generalidad.

1 sin

79

Entonces diremos que la ecuacin 1 se ha transformado en la ecuacin:

dg x dx

gx

Con la funcin g x definida de la siguiente manera:

gx
k

xk 0 k!

ii

Ejercicio: verifique que la funcin g x ecuacin diferencial planteada en i .

definida en

ii

satisface la

Propiedades de la funcin g x

Dada la funcin g x
k

xk procederemos a determinar algunas de sus 0 k!

propiedades para conocer algo acerca de su comportamiento: Comencemos por calcular g 0 :

Ntese que g x obtenemos:

1 x
k

xk , de tal forma que al remplazar x 2 k!

g0

1
80

Ahora analicemos lo que ocurre al hacer un producto, es decir centremos nuestro inters en hallar una expresin que permita calcular:

gx gy
Tomemos la expansin correspondiente a cada una de las funciones:

gx gy

1 x

x2 2!

x3 3!

x4 4!

...

1 y

y2 2!

y3 3!

y4 4!

...

Ahora multipliquemos cada trmino del primer parntesis por todos los del segundo parntesis. Por asuntos que van un poco ms all de las limitaciones de papel escribiremos cada producto en un rengln diferente: Desarrollemos el producto trmino a trmino y escribamos cada resultado en un rengln, as:
y1 1! x y2 y3 y4 y5 yk ... ... 2! 3! 4! 5! k! x 1y 1 x 1y 2 x 1y 3 x 1y 4 x 1y 5 1! 1! 1! 2! 1! 3! 1! 4! 1! 5! x2 2! x 2y 1 2! 1! x3 3! xr r! x r y1 r ! 1! xry2 r ! 2! xry3 r ! 3! xry4 r ! 4! xry5 r ! 5! xryk r ... ... r! k r ! x 2y 2 2! 2! x 3y 1 3! 1! x 2y 3 2! 3! x 3y 2 3! 2! x 2y 4 2! 4! x 3y 3 3! 3!

g x gy

...

x 1y k 1 ... 1! k 1 ! ... x 2y k 2 ... 2! k 2 ! ... x 3y k 3 ... 3! k 3 !

x 2y 5 2! 5! x 3y 4 3! 4!

x 3y 5 3! 5!

81

A continuacin agrupamos los trminos que tienen el mismo grado, entendindose por ste la suma del grado de las variables que intervengan en el producto, es decir, construiremos polinomios de la siguiente manera:

g x gy

1 x1 1! x2 2! x3 3! x4 4! xk k! x k 1y 1 k 1 ! 1! x k 2y 2 k 2 ! 2! x k 3y 3 ... k 3 ! 3! xk ryr ... k r !r! y1 1! x 1y 1 1! 1! x 2y 1 2! 1! x 3y 1 3! 1!

y2 2! x 1y 2 1! 2! x 2y 2 2! 2!

y3 3! x 1y 3 1! 3!

y4 4!

Ahora procedemos a multiplicar y dividir los polinomios de cada rengln por el mayor factorial presente en l, cosa que evidentemente coincide con el factorial del grado del polinomio:

82

g x gy

1 1 1! 1 2! 1 3! 1 4! 1 k! k! x k k! k ! x k 1y 1 k 1 ! 1! k ! x k 2y 2 k 2 ! 2! k! x k 3y 3 k 3 ! 3! ... k! x k r y r k r !r! ... 1! x 1 1! 2! x 2 2! 3! x 3 3! 4! x 4 4! 1! y 1 1! 2! x 1y 1 1! 1! 3! x 2 y 1 2! 1! 4! x 3 y 1 3! 1! 2! y 2 2! 3! x 1y 2 1! 2! 4! x 2 y 2 2! 2! 3! y 3 3! 4! x 1y 3 1! 3! 4! y 4 4!

Ntese la relacin existente entre los coeficientes y los exponentes de las variables en cada polinomio. Rescribiremos algunos de ellos con el propsito de evidenciar las recurrencias presentes:

g x gy

1 1 1! 1 2! 1 3! 1 4! 1 k! k! x k y 0 k 0 ! 0! k ! x k 1y 1 k 1 ! 1! k ! x k 2y 2 k 2 ! 2! k! x k 3y 3 k 3 ! 3! k! x k r y r ... k r !r ! ... 1! x 1y 0 1 0 ! 0! 2! x 2 y 0 2 0 ! 0! 3! x 3 y 0 3 0 ! 0! 4! x 4 y 0 4 0 ! 0! 1! x 0 y 1 1 1 ! 1! 2! x 1y 1 2 1 ! 1! 3! x 2 y 1 3 1 ! 1! 4! x 3 y 1 4 1 ! 1! 2! x 0 y 2 2 2 ! 2! 3! x 1y 2 3 2 ! 2! 4! x 2 y 2 4 2 ! 2! 3! x 0 y 3 3 3 ! 3! 4! x 1y 3 4 3 ! 3! 4! y 4 4 4 ! 4!

83

Si asumimos la notacin combinatoria podemos escribir la suma de los polinomios de la forma:

g x gy 1 1 1! 1 2! 1 3! 1 4! 1 k! k k 0 0 x y 0 k k1 1 x y 1 k k 2 2 x y 2 ... k k r r x y r ... k k k k x y k 1 0 x 1 0y 0 1 1 x 1 1y 1 2 22 2 x y 2 3 32 2 x y 2 4 2 x 4 2y 2 3 33 3 x y 3 4 3 x 4 3y 3 4 4 x 4 4y 4

2 20 0 x y 0 3 30 0 x y 0 4 0 x 4 0y 0

2 21 1 x y 1 3 31 1 x y 1 4 1 x 4 1y 1

Ahora recurramos a la notacin de sumatoria para escribir:

g x

gy

1 1 1! 1 2! 1 3! 1 4! 1 k!
k i 0 1 i 0 2 i 0 3 i 0 4 i 0

1 1i i x y i 2 2i i x y i 3 3i i x y i 4 2i i x y i k k i i x y i

84

Ahora podemos identificar en cada rengln un binomio de Newton, lo que nos permite escribir, de nuevo horizontalmente, lo siguiente:
1 2 3 k

gx gy

y 1!

y 2!

y 3!

...

y k!

... ...

Si escribimos el primer trmino como 1 suma va hasta infinito tenemos que:

y 0!

y recordamos que la

g x gy
k 0

y k!

Si retomamos la definicin de la funcin, tenemos que g x

k

xk , lo que 0 k!

nos permite decir que g x g y

k 0

y k!

g x

y .

Podemos, entonces, extraer como conclusin que:

gx gy
Ahora supongamos y

gx

0 y remplacemos en la anterior igualdad:

gx g0

gx

gx

De donde podemos obtener que g 0

1 , que era una propiedad que ya

habamos establecido. Por lo pronto se observa consistencia en los resultados!

85

Ahora supongamos y

x para obtener:

gx gx

gx

Por lgebra elemental tenemos entonces que:

2

gx

g 2x

Ahora podemos aplicar la relacin obtenida para el producto y hacer:

2 2

g 2x g 2x

gx

gx

Simplificamos a los dos lados aplicando al lado derecho la relacin para el producto y al lado izquierdo las propiedades de la potenciacin:
4

g 4x

gx

El anterior resultado nos invita a pensar que g nx este resultado podemos aplicar induccin: Es claro que para n para k 1 :
k

gx

. Para verificar

1yn

2 la relacin se cumple. Ahora supongamos

que para k se cumple y procedamos a demostrar que tambin se cumple

Hiptesis de induccin: g kx

gx

Para k 1 se debe cumplir que g k 1 x

gx

k 1

Por hiptesis de induccin tenemos que: 86

g kx g x

gx

gx

Por las propiedades del producto de g y las de la potenciacin tenemos que:

k 1

g kx

gx

Por ltimo, extraemos factor comn x en el parmetro de la izquierda, para obtener:

k 1

g k 1x

gx

Que es lo que se quera demostrar. Concluimos entonces que:

k x

g kx

gx

gk

El tercer trmino de la igualdad se justifica por la conmutatividad de kx ya que son reales. Por ltimo, si suponemos k

1 podemos escribir:
1 x

gx

gx

g1

Este resultado es de vital importancia, puesto que nos dice que para evaluar la funcin g en cualquier valor basta conocer el valor g 1 para elevarlo a la correspondiente potencia; veamos: 87

g2
g1 .

g1

, g 35

g1

35

, lo cual nos evidencia la necesidad de conocer

Para poder determinar el valor buscado debemos recurrir a la definicin de la funcin en su serie de potencias y sustituir x

1 , veamos:
x6 6! x7 7!

gx
k

xk 0 k!

1 x

x2 2!

x3 3!

x4 4!

x5 5!

...

Que en el caso x

1 arroja:

g1
k

1 0 k!

1 1

1 2!

1 3!

1 4!

1 5!

1 6!

1 ... 7!

Que al calcularse arroja:

1 2 1 6 1 24 1 120 1 720 1 5040 1 40320

g1

1 1

...

Que se puede probar que converge a un nmero irracional bastante cercano a 2,7182... conocido como e , en honor de Euler.

Si retomamos nuestra notacin, podemos escribir:

g1 e , lo cual establece, por propiedades de la funcin g :

gx

g1

ex

Que es la conocida funcin exponencial. 88

Ejercicio: verifique las propiedades obtenidas para g x remplazndola por su nueva definicin g x

ex.

2.9 Binomio de Newton

A continuacin presentamos una forma alternativa de obtener el Binomio de Newton partiendo, no del proceso de iteracin de potencias como se hizo en pginas anteriores, sino que abordamos el tema aplicando series de Maclaurin. Por supuesto, no obtendremos resultados novedosos.

Si

es continuamente diferenciable tiene una representacin en series

de Maclaurin dada por:

Ahora consideremos la funcin

y analicemos su expansin. y luego

Naturalmente primero hallaremos una expresin para procederemos a evaluar en .

89

Observando detenidamente los coeficientes de

en cada expresin

notamos que, de acuerdo con el orden de derivacin, estos se generan multiplicando el exponente por todos los nmeros anteriores hasta uno

anterior al orden que indica la derivada. Esta idea de multiplicar un nmero por sus antecesores consecutivos nos evoca los factoriales, que podremos emplear as:

90

Notacin que posibilita escribir la derivada de orden manera:

de la siguiente

Ntese que al remplazar

obtenemos

Que al simplificarse arroja

Que, finalmente, es

pues

; resultado que son nulas, por lo cual

implica que las derivadas de orden superior a nuestra serie se reduce al polinomio:

91

Para legitimar el uso de la expresin verificar su validez para

slo resta

(Lo que est lejos de ser induccin!):

Que se reduce a estudio.

, cosa que coincide con la funcin sujeta a

Ahora slo falta evaluar en

las derivadas obtenidas:

Por ltimo sustituimos en nuestro polinomio de Maclaurin:

Que al reacomodarse queda como:

92

Un retoque ms para expresarlo ms compacto, considerando que y que :

Resultado que reconocemos como el Binomio de Newton.

2.10 Regla de Leibniz

A continuacin haremos una deduccin

de la regla de Leibnitz para

derivar productos de funciones. La conexin que existe entre este resultado y los precedentes radica, como veremos ms adelante, en el surgimiento de un conjunto de coeficientes que obedecen la distribucin del Binomio de Newton, veamos:

La definicin de la derivada

de la funcin

est dada por:

93

Para derivar la funcin definicin, teniendo en cuenta que

simplemente aplicamos la anterior

Ahora sumamos y restamos

para obtener:

Agrupamos y extraemos factor comn

Ahora separamos como una suma de lmites 94

Separamos el producto de lmites del primer trmino de la derecha y extraemos la constante del segundo trmino, as:

Calculamos los lmites indicados teniendo en cuenta la definicin de derivada

Ya que tenemos una regla para derivar el producto de dos funciones podemos iterar el proceso para averiguar cmo ser la derivada

95

del producto en cuestin. Cambiaremos la comilla que indica la derivada por un nmero 1 como exponente, que nos indicar la primera derivada y as podremos escribir la derivada de como .

Pondremos un cero como indicador de que la funcin no se ha derivado.

Con la nueva notacin podemos escribir

Para el producto sin derivar, y

Para la primera derivada del producto.

Ahora procedamos a iterar el proceso de derivacin:

96

Desarrollamos cada parntesis de acuerdo con la regla obtenida para derivar productos

Ahora reducimos trminos semejantes para obtener:

Para hallar la tercera derivada procedemos de manera semejante:

Que al desarrollar arroja:

97

y al simplificar queda:

Si recopilamos los resultados obtenidos agregando los correspondientes para la cuarta derivada del producto tenemos:

98

Si recordamos los resultados conseguidos para la expansin binomial:

A B

A B

A B

A2

2 AB

B2

A B

A3 3 A2 B 3 AB 2

B3

A B

A4

4 A3 B 6 A2 B 2

4 AB 3

B4

A B

A5 5 A4 B 10 A3 B 2 10 A2 B 3 5 AB 4

B5

A B

A6

6 A5 B 15 A4 B 2

20 A3 B 3 15 A2 B 4

6 AB 5

B6

Y consideramos que nos condujeron a:

A B

99

A B

1 0

A1 B 0

1 1

A0 B1

A B

2 0

A2 B 0

2 1

A1 B1

2 2

A0 B 2

A B

3 0

A3 B 0

3 1

A2 B1

3 2

A1 B 2

3 3

A0 B 3

A B

4 0

A4 B 0

4 1

A3 B1

4 2

A2 B 2

4 3

A1 B 3

4 4

A0 B 4

A B

5 0

A5 B 0

5 1

A 4 B1

5 2

A3 B 2

5 3

A2 B 3

5 4

A1 B 4

5 5

A0 B 5

A B

6 0

A6 B 0

6 1

A5 B1

6 2

A4 B 2

6 3

A3 B 3

6 4

A2 B 4

6 5

A1 B 5

6 6

A0 B 6

Lo que en su momento nos condujo al Binomio de Newton:

A B

n k 0

n nk k A B k

Anlogamente podemos escribir, para la derivada del producto:

100

Obteniendo, finalmente, para la derivada de orden funciones:

de un producto de

101

2.11 Producto de series de Maclaurin

Esta seccin est destinada al estudio del producto de series de Maclaurin; a largo plazo queremos averiguar si un producto de tales series da origen a otra serie de iguales caractersticas. Al final tendremos una sorpresa bastante curiosa.

Sean

funciones expansibles en Maclaurin, tales que

y examinemos cuidadosamente su producto de las expansiones:

como

podemos escribir:

102

Ahora expandimos las sumas:

aplicamos la propiedad distributiva para desarrollar la multiplicacin

103

agrupamos, obsrvese muy bien, de acuerdo con el grado del producto de las variables de cada trmino, as:

104

Ahora

remplazamos

las

expresiones

entre

corchetes

por

su

correspondiente sumatoria:

que es una suma de sumatorias, lo que nos permite escribir:

a continuacin multiplicamos y dividimos por trminos y obtenemos:

, reacomodamos los

105

expresin que se puede compactar an ms empleando la notacin combinatoria, as:

Adicionalmente, consideremos que como ocurre con y

acta exclusivamente sobre

, tal

; condiciones que posibilitan extraer del corchete

las dos funciones para escribir:

Por ltimo, identificamos la expresin en el corchete como un Binomio de Newton, lo que arroja:

106

Resultado de gran simpleza y utilidad para desarrollos posteriores.

2.12 El mtodo de separacin de variables

Un problema que surge frecuentemente al tratar con potenciales, entre otros temas, es el de resolver ecuaciones de Laplace, es decir hallar funciones que satisfagan , naturalmente con condiciones de

frontera especficas; tal vez el mtodo ms difundido y menos justificado entre los estudiantes universitarios consiste en suponer , sustituir en la ecuacin, introducir constantes de separacin de variables y proceder a resolver tres ecuaciones diferenciales ordinarias de segundo orden con condiciones de frontera y listo!

Contrario a lo que parece, esta seccin no se trata de eso. En lo que sigue trataremos de esbozar alguna razn aparentemente satisfactoria para justificar tal supuesto; en sntesis trataremos de convencernos de que es legtimo o plausible, como se dice en matemticas, que si afirmar que llegaremos a nada nuevo. 107 se pueda

. Como de costumbre, aqu no

Recordemos que si

es una funcin expansible en Maclaurin la

podemos representar mediante la serie:

que un poco ms explcitamente es:

Ahora

nuestro

propsito

ser

hacer

que

las

derivadas

parciales

involucradas en la anterior expresin se transformen en derivadas ordinarias para poder resolver .

Si evocamos la definicin de derivada parcial:

108

notamos que las variables que no intervienen en el proceso se tratan como constantes, puesto que no estn sujetas a ninguna variacin. Esto necesariamente implica que al derivar con respecto a , y permanecen

constantes y as sucesivamente; razn por la cual podemos escribir:

se transforma en

pues ,

constantes

se transforma en

pues ,

constantes

se transforma en

pues ,

constantes

Relaciones que podemos escribir de la siguiente manera:

109

y que al ser despejadas, una a una, arrojan:

como la definicin del diferencial total de

es:

110

podemos sumar las tres igualdades y afirmar que:

Ntese que el miembro de la derecha es la derivada de un producto, por lo que:

de donde se infiere que:

que es la hiptesis empleada para resolver las ecuaciones de Laplace.

111

Ahora, si ya le pareci un argumento suficiente puede omitir el resto de la seccin; si no qued satisfecho, probaremos que si se cumple que es expansible en Maclaurin, tambin se debe cumplir que pueda escribirse como el producto de series de Maclaurin de una sola variable cada una. Para nosotros, los autores, esta prueba fue la que nos dej la sensacin de habernos entretenido; no es de esas cosas que uno encuentre en cualquier libro, ya vern la razn!

Por asuntos estticos y de familiaridad con el Binomio de Newton, no con el trinomio, haremos la construccin para dos variables. Si desea ver los desarrollos completos para tres variables, itere. Es dispendioso digitar de tal suerte que cambiaremos variables. ,

Asumamos

y analicemos lo que ocurre si

se transforma en

112

Llegaremos a feliz trmino si logramos escribir esta ltima serie como un producto de series del mismo tipo, es decir si llegamos a que:

Procederemos ahora a desarrollar la potencia del binomio en la expresin del medio

ahora desarrollamos la combinatoria e introducimos

a la sumatoria

interna, ntese que all la variable es , por eso podemos introducir

113

simplificamos

reacomodamos

los

trminos

de

acuerdo

con

los

exponentes y los denominadores:

continuacin

desarrollamos

muy .

ordenadamente

para

valores

consecutivos de , partiendo desde

114

ahora desarrollamos, con muchsimo orden, las sumas a partir de :

115

extraemos factor comn con muchsimo cuidado, teniendo presente que son infinitas sumas:

de nuevo extraemos factor comn:

Si recordamos que segn Maclaurin

116

podemos escribir para

o su equivalente:

que era lo que queramos probar.

117

El hecho de que

, las tres funciones expansibles en

Maclaurin, como acabamos de probarlo, tiene enorme importancia porque garantiza que si es suave, y tambin lo sern.

Hemos llegado pues a que la hiptesis de separacin de variables est soportada por la naturaleza misma de continuamente diferenciable de las funciones involucradas; en sntesis: puede seguir resolviendo ecuaciones de Laplace como hasta ahora lo ha hecho.

118

3. Algunas ideas complejas

Como de costumbre, el propsito no es hacer un tratado exhaustivo de las funciones de variable compleja y, mucho menos, pretender que estas breves notas sustituyan los cursos formales que para tal fin se imparten.

El captulo aborda la nocin de nmero complejo a partir de una ecuacin algebraica muy elemental y va aumentando su grado de profundizacin hasta deducir informalmente hechos poco comunes, tales como la definicin de las funciones hiperblicas por medio de ngulos imaginarios, cosa que se hace en la ltima seccin.

3.1 Unidad imaginaria y nmeros complejos

Por ms que tratemos, hasta ahora no podemos resolver ecuaciones tan elementales como x 2
1 0 , pues el cuadrado de todo nmero real es

positivo y al sumarlo con 1 obtenemos un nmero mayor que l. Se hace entonces necesario definir algn otro nmero, que llamaremos i , con la siguiente caracterstica:

119

i i

i2

as las cosas, la ecuacin x 2

0 tiene solucin:

x2 x x i

1 1

a esta i la llamaremos unidad imaginaria y, como es de esperarse, no podr sumarse con un real, pues sus naturaleza es distinta. Cuando tengamos indicada la suma a

ib diremos que tenemos un nmero

complejo con parte real a y parte imaginaria b . En el Captulo 1 vimos que los vectores en
2

no confunden sus componentes en x con las de y

y, como los complejos tampoco mezclan su parte real con la imaginaria, podemos establecer una asociacin entre ellos y los vectores en
2

, as:

z
b
z

ib

Ahora veamos un paralelo entre el vector u

ai bj y el complejo z

ib

120

y
a,b
u
a

b
z

a,b

ai bj

ib

la norma viene dada por:

por analoga:

a2

b2

a2

b2

que equivale a tener:

que equivale a tener:

aa bb

a2 a2

b2 2 ib

z
u
2

a ib a ib z z z
a ib . Se

ai bj

ai bj

donde z
u u

a ib y z

dice que z es el conjugado de z y se consigue cambiando el signo de la parte imaginaria de z

ib .

121

Es importante notar que otra forma de escribir un nmero complejo ser recurriendo al ngulo que forma con el eje real, tal como se hizo con los vectores:

y
a,b
u
a

b
z

a,b

En las grficas se observa que para los vectores:

para los complejos tenemos:

z z cos z cos i z sin i sin

u cos i u cos i

u sin j sin j

Expresin conocida como representacin polar de un complejo.

3.2 Suma de complejos

De nuevo, procederemos por analoga con los vectores en dos dimensiones para definir la suma de nmeros complejos. Representemos grficamente unos y otros en sus correspondientes planos:

122

y
u
u
1

v v
2

z1
x

z2
z1
1

z2
2

Sean u entonces:

u x i uy j y v

v x i vy j ,

Sean z 1 entonces:

a1

ib1 y z 2

a2

ib2 ,

ux

vx i

uy

vy j

z1

z2

a1 a 2

i b1 b2

Lo que nos indica que los vectores se suman componente a componente.

Que nos indica que los complejos se suman parte real e imaginaria, respectivamente.

Ahora calculemos el cuadrado de la norma de la suma:

Ahora calculemos el cuadrado de la magnitud de la suma:

ux

vx

uy

vy
2

2 2 2

z1

z2

a1

a2

b1

b2

2 2 2 2 2

u cos u sin

1 1

v cos v sin

z 1 cos z 1 sin

1 1

z 2 cos z 2 sin

por lo que:

por lo que:

2 u v cos

z1

z2

z1

z2

2 z 1 z 2 cos

123

Resultados que coinciden con el teorema del coseno, como era de esperarse.

3.3 Producto de complejos

Sean z 1

a1

ib1 y z 2

a2

ib2 . Para desarrollar su producto basta con

multiplicar los dos binomios acorde con las reglas del lgebra elemental, teniendo en cuenta la definicin de i , veamos:

z 1z 2

a1

ib1 a 2

ib2

donde se aplica ib1ib2

b1b2 y se obtiene:

z 1z 2

a1a 2

b1b2

i a1b2

a 2b1

Ahora analicemos el producto de complejos en forma polar; como

z1 a1 ib1 y z 2

a2

ib2 forman ngulos

respectivamente con el

eje real, podemos escribir:

124

z 1z 2

z 1 cos

i sin
1

z 2 cos
1

2 2

i sin i sin

2 2

z 1 z 2 cos

i sin

cos

ahora aplicamos los resultados obtenidos para el producto y obtenemos:

z 1z 2

z1 z 2 cos

cos

sin

sin

i sin

cos

sin

cos

Expresin que puede simplificarse haciendo uso de las identidades trigonomtricas par suma de ngulos, as:

z 1z 2

z1 z 2 cos

i sin

Lo que nos dice que el producto de complejos consiste en multiplicar sus magnitudes y sumar los ngulos que forman con el eje real.

3.4 Potencia de un complejo

Como si z 1

a1

ib1 y z 2

a2
a

ib2 : z1z 2

z1 z 2 cos

i sin

podemos concluir que si z

ib su cuadrado z 2 ser:

125

z2

z z cos z
2

i sin i sin 2

cos 2

Es fcil probar por induccin, cosa que debe realizar el lector, que
zn z
n

cos n

i sinn

. Expresin conocida como frmula de Moivre.

3.5 Inverso multiplicativo de un complejo

Dado z como z
1

a ib

z cos

i sin

, podemos definir su inverso multiplicativo

1 ; por lo cual: z

1 a ib z cos

1 i sin

ahora multiplicamos por z denominador presente que z de las

a ib

z cos

i sin

en el numerador y el donde tenemos

expresiones

correspondientes,

z , para obtener:

1 a

a ib a

ib ib

1 z cos i sin

z cos z cos

i sin i sin

126

ahora separemos las igualdades:

1 a

a ib a

ib ib

1 z cos i sin

z cos z cos

i sin i sin

Haciendo un poco de lgebra:

Haciendo un poco de lgebra:

a ib a2 b2

z z
2

z cos z
2

i sin

z z
2

127

Resultados que coinciden, no importa cmo se escriban los complejos, y que permiten hacer anlisis ulteriores si revisamos un poco ms a fondo la expresin obtenida en forma polar, veamos:

z cos z
2

i sin

z z
2

Ntese que z

cos z

i sin

lo que podemos escribir, haciendo uso de

las identidades trigonomtricas para ngulos negativos, como:

cos z

i sin

que podemos escribir como:

cos

i sin

que equivale a aplicar la frmula de Moivre, z n

cos n

i sinn

, con

1.

68

3.6 Divisin de complejos

Sean z 1

a1

ib1

z1 cos

i sin

y z2

a2

ib2

z 2 cos

i sin

queremos estudiar el cociente empleadas para cada complejo:

z1 . Analicemos las dos notaciones z2

z1 z2

a1 a2

ib1 ib2

z1 z2

a1

ib1 a 2

ib2

y por los resultados obtenidos para el inverso de un complejo tenemos:

z1 z2

a1

ib1

a2 a2
2

ib2 b2
2

que equivale a tener:

z1 z2

z 1z 2 z2
2

Ahora, para la notacin polar tenemos: 69

z1 z2

z 1 cos z 2 cos

1 2

i sin i sin

1 2

z1 z2

z 1 cos

i sin

z 2 cos

i sin

1 2

y por los resultados obtenidos para el inverso de un complejo tenemos:

z1 z2

z 1 cos

i sin

z 2 cos
1

i sin
2

z2

que equivale a tener:

z1 z2

z1 z 2

cos

i sin

Resultados que coinciden con los obtenidos si se aplica la frmula de Moivre para el inverso multiplicativo de z 2 y se procede a multiplicar los complejos.

70

3.7 Complejos en forma exponencial

En la Seccin 2.4 obtuvimos las expansiones en series de Maclaurin para las funciones e x , sin x y cos x as:

ex

1 x

x2 2!

x3 3!

x4 4!

x5 5!

x6 6!

x7 7!

x8 8!

x9 9!

...

sin x

x3 3!

x5 5!

x7 7!

x9 9!

x 11 11!

x 13 13!

...

cos x

x2 2!

x4 4!

x6 6!

x8 8!

x 10 10!

x 12 12!

...

Ahora, teniendo en cuenta que i 2

1 , i3

i , i4

1 , i5

i , etc.

procederemos a evaluar e i por medio de la serie de Maclaurin:

ei

i 2!

i 3!

i 4!

i 5!

i 6!

i 7!

i 8!

i 9!

...

remplazando los valores para las potencias de i tenemos:

ei

1 i

2!

3!

4!

5!

6!

7!

8!

9!

...

71

ahora separamos las partes real e imaginaria de la expresin anterior:

ei

10

11

2!

4!

6!

8!

10!

...

3!

5!

7!

9!

11!

...

y como las series de los parntesis coinciden con las obtenidas para coseno y seno, respectivamente, podemos escribir:

ei

cos

i sin

Expresin atribuida a Euler, donde como caso particular se tiene que

ei 1 , elegante relacin entre tres de los nmeros irracionales de ms

uso.

Para ponderar un poco la utilidad de la anterior expresin retomemos el producto y la potenciacin de complejos:

Sean z 1

a1

ib1

z1 cos

i sin

y z2

a2

ib2

z 2 cos

i sin
2

es claro que ahora podemos escribir z 1 producto ser:

z1 e i 1 y z 2

z2 ei

y su

72

z 1z 2

z1 z 2 e i

que arroja z 1z 2 Seccin 3.3.

z1 z 2 cos

i sin

, resultado obtenido en la

Anlogamente, para el cociente tendremos:

z1 z2

z1 z 2

ei

y para la potencia tendremos:

zn

z e in

3.8 Miscelnea de resultados interesantes

Definicin alternativa de cos recordar que cos

e
i

y sin

: antes de proceder debemos

sin , por lo cual la relacin
e
i

cos

y que sin

cos

i sin

se verifica sin dificultad. Ahora hagamos e i

73

ei e ei
i

cos

i sin

cos i sin i e 2 cos

de donde obtenemos:

cos

ei

e 2

anlogamente, al calcular e i

, obtenemos:

sin

ei

e 2i

Expresiones que nos permiten considerar la posibilidad de evaluar las funciones trigonomtricas para ngulos complejos, veamos.

Una definicin alterna de las funciones hiperblicas: si sustituimos

en la expresin cos

ei

e 2

tendremos:

cos i

e 2

74

lo que coincide con la definicin de cosh , entonces:

cos i

cosh

Si sustituimos

en la expresin sin

ei

e 2i

tendremos:

sin i

e 2i

multiplicamos por

i el numerador y el denominador para obtener:

sin i

e 2

donde la expresin del parntesis coincide con la definicin de sinh , por lo cual:

sin i

i sinh

adicionalmente, como cos 2

sin2

1 para todo valor de

, entonces:

cos 2 i

sin2 i

75

y por nuestras nuevas definiciones tendremos:

cosh2

sinh2

Derivada de una exponencial compleja: es frecuente, al momento de hacer aplicaciones fsicas, encontrar funciones de la forma f t

ke iwt

donde k y w son constantes; tal es el caso de la teora de oscilaciones.

Como es habitual al momento de describir el movimiento de un cuerpo, ser necesario observar el comportamiento de su velocidad y su aceleracin, para lo cual nos valemos de la primera y la segunda derivadas de la funcin con respecto a t . Centrmonos entonces en calcular sendas derivadas de la funcin f t

ke iwt :

df t dt

iw ke iwt

lo que equivale a tener:

df t dt

iw f t

76

Para la segunda derivada tendremos:

d df t dt dt

iw k

d iwt e dt

por lo que:

d2 f t dt 2

iw ke iwt

que equivale a tener:

d2 f t dt 2

iw f t

Si continuamos iterando el proceso de derivacin podremos escribir

dn f t dt n iw f t , expresin que permite afirmar que derivar la funcin
n

f t

ke iwt con respecto a t equivale multiplicar por iw tantas veces como

el orden de la derivada lo indique.

77