Beruflich Dokumente
Kultur Dokumente
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:
es un polo de orden
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
de
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
tenemos 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:
con
de .
(sino
es
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:
. Planteamos la divisin en
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:
es un polo doble (de orden 2) de . Veamos cmo sera la resolucin de este problema
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:
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:
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):
polo
polo
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
Ahora, solo queda hacer la divisin segun las potencias crecientes hasta el trmino en
coeficiente en
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
Haces, como antes, la divisin segn las potencias crecientes y encuentras el resultado.