Clculo de resduos para polos de orden mayor a la unidad.

Hola a todos.
Recuerdo que, cuando estudi anlisis de la variable compleja, enunciamos un teorema fantstico y poderoso: El teorema
de los resduos. Me pareca increible que el valor de una integral, a lo largo de un camino cerrado homotpico a un punto,
slo dependiera de las contribuciones de las singularidades del integrando (los resduos) abarcadas por el camino. No
obstante, as es y as se demuestra. No entrar en el detalle de la demostracin de este teorema (hay mucha informacin
en la web) ni en sus diversas aplicaciones. Lo que me interesa desarrollar a continuacin es un mtodo de clculo de los
resduos de una funcin en un caso concreto de singularidades. En efecto, dichas singularidades pueden ser asladas o no
(la singularidad de una funcin no es necesariamente un punto pero puede ser un segmento lo que no impide tener un
resduo), y en el caso de que sean aisladas pueden ser evitables, esenciales o ser polos. Nos centraremos, en todo lo que
sigue, en las singularidades aisladas. Adems, descartaremos las singularidades evitables ya que tienen resduo nulo (el
desarrollo en serie da Laurent no tiene potencias negativas). Tambin, dejaremos de lado a las singularidades esenciales
que precisan hallar explcitamente el desarrollo de Laurent para obtener el resduo. As pues, nos ceiremos al estudio de
los resduos de funciones que presentan polos. Para ello, recordemos rigurosamente lo que es un polo y un resduo:

Polo de orden n: Consideremos el desarrollo de Laurent de una funcin en :

es un polo de orden

de f si los coeficientes del desarrollo de Laurent cumplen que:

y
si

Es decir que el desarrollo de Laurent tiene potencias negativas en un nmero finito (sino la singularidad sera esencial) y el
orden del polo viene dado por el mnimo entero tal que
.

Resduo de f en una singularidad aislada: En el desarrollo de Laurent que hemos considerado, llamamos
al coeficiente
el resduo de en
Ahora bien, consideremos una funcin compleja de la forma:

con

analticas. El conjunto de singularidades

de

es, por lo tanto, el conjunto de los ceros de . Esto es:

es por lo tanto un conjunto de puntos aislados y son los polos de la funcin . Para este tipo de singularidades, existe
una frmula con la cual podemos siempre calcular los resduos:

(1)
donde es el orden del polo. Veamos, pues, cual es la mejor opcin para calcular resduos segn el orden del polo
considerado

Polo simple (n=1) Cuando

(polo simple), esta frmula suele ser til porqu es simple. En efecto, se
tiene que:

Adems, en nuestro caso particular

tenemos que:

Pero, nos fijamos en que

para obtener que:

Polos de orden superior a uno: En este caso, la frmula (1) no es, en general, muy til. En efecto, en primer lugar se tendra
que encontrar la derivada (no trivial en general)

que da una indeterminacin, y luego calcular el lmite (Hpital, desarrollos limitados...). Parece pues que sta no es la
manera ms inteligente de calcular el resduo. Creo, en mi opinin, que, en la mayora de los textos, es un error pedaggico
colocar esta frmula como "remedio milagro" para la bsqueda de resduos correspondientes a polos. En efecto, el
estudiante la memoriza (o la anota en su formulario) pensando que le servir siempre (por ser completamente general) y se
olvida entender realmente la esencia de lo que esta haciendo. Luego, si en el exmen le sale un polo de orden 4, por
ejemplo, se encuentra con unos clculos tediosos para los cuales no est preparado y, por ende, pierde un tiempo valioso
con muchas probabilidades de equivocarse o rendirse delante la complejidad. Por ello, la esencia de mi artculo toma todo
su sentido en este preciso instante. Intentar proporcionaros un mtodo fiable, rpido e intutivo de como encontrar los
resduos de una funcin en polos de orden mayores a la unidad.
La verdad es que, a los que teneis que usar el teorema de los resduos, os recomiendo encarecidamente que cojais lapiz y
papel y os apuntis lo que sigue (no es complicado pero no basta con leerlo). No os preocupis si, al principio, os cuesta un
poco entenderlo. No deja de ser un mtodo as que requiere un poco de prctica. Adems, el tiempo que invertis en
practicar estar, de sobra, compensado por la rpidez con la cual seris capaces de hallar los resduos de un funcin que
presenta polos (que, en general, son la mayora en las clases de variable compleja). nimo y a estudiar jejeje.
Nuestro propsito es el de calcular
siendo
un polo de orden de . Entonces, esto quiere decir que
un cero de orden (multiplicidad) de . Al ser, analtica, le corresponde un desarrollo en serie como sigue:

Pero todos los trminos hasta el rango

con
de .

(sino

es

son nulos, por lo que podemos escribir que:

sera un cero de orden

de ) y donde hemos introducido

Esta funcin reducida de es analtica en un disco centrado en

la funcin reducida de como:

que llamaremos funcin reducida

y no se anula en dicho punto, por lo que podemos definir

Est claro, pues, que

es analtica en el disco de analiticidad de
centrado en . Porqu hemos intoducido estas
funciones reducidas? Pues porqu, ahora, podemos hallar la serie de Laurent de obteniendo la serie entera (de Taylor
con potencias positivas exclusivamente) de , y,como consecuencia, podremos hallar el resduo que buscamos, que
corresponde al coeficiente del trmino en

de la serie de Laurent de , a partir del desarrollo en serie de

a qu coeficientes de dicha serie corresponde el resduo? Pues al trmino en

efecto, tenemos que:

Finalmente, bastar con hallar el desarrollo en serie entera de

hasta el orden

del desarrollo de

para hallar

.Y

. En

Ahora, nos podemos fijar en que, a partir de este resultado, volvemos a encontrar la frmula (1). En efecto, el coeficiente
del desarrollo de Taylor de
correspondiente a la potencia
-sima es, por definicin:

Pero,
. Entonces, este coeficiente (que es el resduo) se puede encontrar mediante el lmite de la
frmula (1). No obstante, a la prctica, ser mucho ms rpido y eficiente hallar el desarrollo en serie de Taylor de
en
mediante la divisin de potencias crecientes de la serie de respecto de . Esto es, tenemos los siguientes desarrollos en
serie:

donde los
son los coeficientes del desarrollo de
potencias crecientes:

y donde hemos hecho

. Planteamos la divisin en

Cuando lleguemos a la potencia

, tendremos el resduo deseado. El proceso de la divisin en potencias crecientes
parece ser engorroso, no obstante, a la prctica, lo es muchsimo menos que el clculo de la derivada y del lmite planteado
en la frmula (1) .


Ejemplo de aplicacin
Sea la integral impropia:

Para resolverla gracias al teorema de los resduos, extendemos la funcin integrando al plano complejo, definiendo as:

En este artculo, mi intencin no es la de resolver esta integral (quien tenga dudas de cmo se hace o simplemente quiera
saberlo, no dudeis en preguntar) sino que quera contextualizar el clculo que sigue. Efectivamente, el teorema de los
resduos nos lleva a calcular el resduo de en el polo
. Esto es:

Ante todo, es fcil ver que

es un polo doble (de orden 2) de . Veamos cmo sera la resolucin de este problema

con la frmula general. En primer lugar, tendremos que calcular la derivada de

lleva algo de clculo en el cual hay que estar atento para no equivocarse:

Ahora, ya que en este caso

, falta coger el lmite

que, de por s,

Podeis ver que este clculo no es ni muy largo ni muy difcil (luego pondr algunos ms complicados) pero el mtodo que
os propuse en mi artculo es mucho ms rpido y eficaz. Usar exactamente las mismas notaciones. En este caso, tenemos
que:

EL primer paso es el de desarrollar estas dos funciones analticas en un disco centrado en

en serie de potencias.
Adems, sabemos que, del resultado de la divisin segn las potencias crecientes de estas dos funciones, slo
necestiremos el coeficiente del termino en
(ya que
trminos de los desarrollos (obviamente pondremos todos los de

es el orden del polo), as que no necesitamos muchos

por ser un polinomio de desarrollo finito):

Finalmente, procedemos a la divisin segn potencias crecientes (que no es ms que una divisin eucldea de polinomios
con dichos polinomios ordenados de potencias menores a mayores) parndonos en el coeficiente del trmino en (slo
tenemos que hacer 2 pasos de la divisin!!!!) obteniendo:

De donde, multiplicando por el factor

que nos hemos dejado para hacer la divisin, obtenemos el resultado deseado:

Por lo tanto, hay bastante menos clculo con ste mtodo que con la frmula general. Adems, cuando tengis prctica, lo
que acabo de hacer se vuelve muy fcil.
Hola. Cuando tienes funciones racionales, lo primero es simplificarlas lo ms posible. En efecto, podras pensar
que
es un polo de orden 3 pero no es as. En efecto, tu funcin se puede escribir como (uso las notaciones del blog
para que puedas tener una referencia):

Entonces, en este caso, tenemos que:

Entonces, los polos de son

de orden 2 y
de orden 3. Siempre tienes que tener cuidado en que los ceros
de y de no coincidan (sino al hacer el lmite el cero del denominador que es la causa de la singularidad se cancela con
el cero del numerador y y no hay singularidad). En tu caso, 1 sigue siendo un polo pero su orden es menor que el que
pareca al principio. Esto es muy importante! Tambin quiere decir que el desarrollo de Laurent en una corona centrada en 1
slo tendr dos potencias negativas y no tres! El clculo del resduo sera pues errneo si no consideras el verdadero orden
del polo. Cuando tengas algo de prctica vers que mtodo usar en cada caso. En este caso, la frmula general es un poco
ms largo pero tampoco tanto. Veamos como sera:

polo

Al ser un polo doble , el resduo vendr dado por:

El clculo de la derivada lleva algo de clculo pero tampoco tanto.

polo

Al ser un polo de orden 3, el resduo vendr dado por:

Otra vez, hay que tener cuidado al derivar dos veces pero nada ms.
Veamos ahora como sera con el mtodo que he expuesto en el blog (ya vers que diferencia!!):

polo

El polo es de orden 2 as que la funcin reducida queda:

Ahora solo hay que desarrollar y
alrededor de
en un disco centrado en 1). Para hacerlo es muy fcil:

(recuerda que sern desarrollos de Taylor porque son analticas

Ahora, solo queda hacer la divisin segun las potencias crecientes hasta el trmino en
coeficiente en

(recuerda que necesitamos el

con n el orden del polo):

Entonces,

como caba esperar. Adems slo te ha costado desarrollar un cubo y hacer parte de una divisin de polinomios (yo al
menos lo veo mucho ms corto y con menos errores posibles de clculo).

polo

El polo es de orden 3 as que la funcin reducida es:

Como antes, desarrollas en serie de potencias alrededor de 4:

Haces, como antes, la divisin segn las potencias crecientes y encuentras el resultado.