Вы находитесь на странице: 1из 15

1 Anlisis matemtico para Ingeniera. M. MOLERO; A. SALVADOR; T. MENARGUEZ; L.

GARMENDIA

VARIABLE COMPLEJA

La teora de las funciones de variable compleja se puede considerar,
como se observa al analizar su azarosa historia, uno de los milagros de la
Matemtica. La derivabilidad de una funcin real en un abierto slo implica, en
general, que sta tenga derivada en los puntos del abierto. Sin embargo en el
campo complejo basta que una funcin sea derivable en un conjunto abierto
para que sea infinitamente derivable en dicho conjunto. La condicin de
derivabilidad es ms fuerte en el campo complejo puesto que deben cumplirse
las condiciones de Cauchy-Riemann, pero entonces se verifican otras muchas
relaciones: las funciones como transformaciones son conformes, sus funciones
componentes son armnicas ya que verifican la relacin de Laplace, son
desarrollables en serie de potencias, tienen funcin primitiva, la integral a lo
largo de un camino cerrado es nula, etc.
Comienza el apartado de Variable Compleja con una introduccin
histrica que permite comprender las dificultades que los matemticos han ido
encontrando y resolviendo hasta que la variable compleja se ha convertido en
lo que hoy es. Esta introduccin requiere distintas lecturas, quizs, una al
principio, pero al ir avanzando en el estudio de la variable compleja se aconseja
volver de nuevo a leerlo, pues entonces se estar en condiciones de
comprender el inters y la importancia de algunos resultados.

2 Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
HISTORIA DE LA VARIABLE COMPLEJA
El desarrollo de las Matemticas est ntimamente relacionado con la
historia del nmero. Como el producto de un nmero real por s mismo es
siempre positivo es claro que se necesita ampliar el campo numrico para dar
solucin a determinadas ecuaciones. Stillwell
1
1
dice que los nmeros complejos
son uno de los milagros de la Matemtica: La resolucin de la paradoja de
fue muy poderosa, inesperada y bella por lo que nicamente la palabra
milagro parece adecuada para describirla. Al principio de su historia los
nmeros complejos fueron considerados como nmeros imposibles tolerados
nicamente en un limitado dominio algebraico porque parecan tiles para
resolver ecuaciones cbicas. Cobraron significado cuando se interpretaron
geomtricamente y no obstante la variable compleja ha servido para la
unificacin de las funciones algebraicas con las transformaciones conformes,
teora del potencial y otros imposibles campos como las geometras no
eucldeas.

Los nmeros compl ej os
Los nmeros complejos se empiezan a utilizar para obtener soluciones de
ecuaciones algebraicas y culminan, en este sentido, cuando se demuestra el
teorema fundamental del lgebra.
B. Riemann dijo, en su Discurso inaugural de 1 851 que la introduccin
de magnitudes complejas en las Matemticas tiene su origen y finalidad

1
Stillwell, J .: Mathematics and its history. Springer. 1989. Pgina 188.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Historia de la variable compleja 3
inmediata en la teora de leyes de dependencia simple de magnitudes
variables, leyes expresadas por operaciones entre las magnitudes. En efecto si
se les aplican estas leyes de dependencia en un campo ms extenso,
atribuyendo valores complejos a las magnitudes variables a las que se refieren
estas leyes, se presenta entonces una armona y una regularidad que sin esto
quedan escondidas.
Usualmente se dice que los nmeros complejos nacen de la necesidad de
resolver la ecuacin cuadrtica x
2
63
+1 =0, con la dificultad de que carece de
sentido geomtrico el que un cuadrado tenga un rea negativa. Sin embargo
esto no es enteramente cierto. Muchas ecuaciones cuadrticas, como crculos
o parbolas, estn ya implcitas en la geometra de los griegos y entonces se
analiz si tenan o no solucin real, por ejemplo, la interseccin de una recta
con dichas figuras. Los babilonios, alrededor del ao 2000 antes de Cristo,
conocan esencialmente el mtodo para resolver ecuaciones cuadrticas, y
Hern de Alejandra (100 a. C.) utiliz , aunque algebraicamente, sin
preguntarse por su significado, pues por aquellos tiempos no se especulaba
acerca de la naturaleza de las races imaginarias.
Sin embargo cuando en 1 545 Girolamo Cardano escribi
2
( ( ) 15 5 ) 15 5 40 + =


estos nmeros fueron considerados sin sentido y se les aplic el trmino de
imaginarios.
Incluso cuando aparecen las ecuaciones cuadrticas, con Diofanto o los
rabes, no hay razn para admitir que no tengan solucin. Se comienza a

2
Bell, E. T. (1985): Historia de las Matemticas. (2 ed.). Edic. Fondo de Cultura
Econmica.
4 Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
necesitar cuando Ferro, Tartaglia y Cardano intentan resolver la ecuacin
cbica x
3
=px +q en cuya frmula de solucin aparecen nmeros complejos
(cuando (q/2)
2
(p/3)
2
Al final del siglo XVIII ya se tena una gran maestra en la manipulacin de
los nmeros complejos y sin embargo no se tena la nocin de un nmero
complejo como un par de nmeros reales formado por su parte real y su parte
imaginaria. C. Wessel, en 1 799, en el artculo Sur la reprsentation analytique
dune direction asoci todo nmero complejo con un vector del plano con
origen en O, y reinterpret con estos vectores las operaciones elementales de
los nmeros complejos. R. Argand en 1 806 en Essai sur une manire de
reprsenter les quantits imaginaires interpret geomtricamente los nmeros
complejos. El nmero i, por ejemplo, lo represent como una rotacin de un
ngulo recto alrededor del origen. A partir de dicha interpretacin ya
<0) y sin embargo tiene siempre una solucin real.
Bombelli en 1 572 trabaj formalmente con el lgebra de los nmeros
complejos e implcitamente introdujo las funciones complejas, aunque a pesar
de ello los nmeros complejos todava eran considerados como imposibles. A.
Girard enunci en Linvention nouvelle en algbre en 1 629 el principio de
permanencia segn el cual se puede aplicar a los nmeros complejos todas
las identidades obtenidas en el campo real, y a lo largo del siglo XVIII se sigue
utilizando frecuentemente dicho principio usando la frase: recurso de las
razones extradas de la generalidad del lgebra. Estos argumentos son
criticados por Cauchy en su Cours dAnalyse (1 821) donde dice: las razones
de este tipo ... no pueden ser consideradas, a mi parecer, ms que como
inducciones propias para presentir alguna vez la verdad, pero estn poco de
acuerdo con la exactitud tan alabada de las ciencias matemticas.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Historia de la variable compleja 5
empezaron a usarse sin dificultades dichos nmeros.

Funciones de variable compleja
La teora moderna de las funciones de variable compleja ha tenido cuatro
fundadores: Carl Friedrich Gauss (1 777 1 855), Augustin-Louis Cauchy
(1789 1 857), Bernhard Riemann (1 826 1 866) y Karl Weierstrass (1 815
1 897).

Figura 1: Carl Friedrich Gauss (1 777 1 855)
El primero no ejerci influencia en su tiempo por no haber publicado nada,
y haberse encontrado sus manuscritos mucho tiempo despus de su muerte.
Cada uno de los otros tres matemticos sigui un camino diferente. Cauchy
impuso algunas condiciones restrictivas para que dichas funciones tengan
derivadas continuas. Su teora reposa sobre un teorema muy importante
relativo a las integrales complejas y sobre la nocin de residuo. Esta teora
contiene en germen los planteamientos geomtricos de Riemann y los
6 Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
aritmticos de Weierstrass. La imagen geomtrica jug un papel predominante
en Riemann. Una funcin compleja era para Riemann una ley por medio de la
cual las superficies se pueden transformar y su objetivo fue el de representar
estas transformaciones y analizarlas. Weierstrass se preocup por el desarrollo
en series de potencias de la funcin dentro de su crculo de convergencia, que
se puede prolongar mediante la prolongacin analtica. Todo resultaba para l
como una consecuencia de la teora de series y esta teora estaba establecida
sobre bases slidas.
Los primeros desarrollos en serie de las funciones elementales
aparecieron en el siglo XVII. Taylor utiliz las frmulas de interpolacin de
Gregory-Newton para tener en 1 712 la frmula que lleva su nombre y obtener
el desarrollo en serie de potencias de una funcin, cuyas propiedades se
probaron por procedimientos algebraicos; se pueden utilizar las tcnicas de
derivacin e integracin de manera formal en el anillo de las series
consideradas, todava, sin preocupaciones de convergencia. Los analistas se
habituaron as, a lo largo del siglo XVIII a manipular indiferentemente
argumentos reales y complejos no slo en expresiones racionales sino incluso
en la funcin exponencial o en las funciones trigonomtricas. De Moivre, a
principios del siglo, gracias a una utilizacin sistemtica de las frmulas de la
trigonometra, resalt la relacin entre las races de un nmero complejo y la
divisin de la circunferencia en partes iguales. En la primera mitad del siglo se
utilizaron frmulas notables entre las funciones elementales.
La funcin logaritmo
La extensin del campo complejo a la funcin logaritmo hace aparecer un
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Historia de la variable compleja 7
problema que no tena lugar con las funciones reales: las funciones
multiformes. En virtud del principio de permanencia no existi duda, a principios
del siglo XVIII, sobre la existencia de una funcin, y por tanto unvoca, log z,
definida por: z e
z log
= , y que verifica la ecuacin diferencial:
z
dz
) z (log d = . En
este contexto la determinacin de los logaritmos de 1 y de i condujo a
contradicciones indisolubles dando lugar a la clebre controversia entre
Gottfried Wilhelm Leibniz (1 646 1 716) y J ean Bernoulli de 1 700 a 1 716.
Bernoulli en 1 702 observ la descomposicin de la integral de
2
1 z
dz
+
en
dos fracciones y lleg a la conclusin de que los logaritmos imaginarios
expresan sectores circulares reales, lo que dicho en lenguaje actual equivale a
decir que

=
z i
z i
log
i
z arctg
2
1
. Sin embargo persistentemente sostena que
log(x) =log(x), y en particular que log(1) =0, pues d(log(x)) =1/x =d(log x).
Leibniz en cambio afirmaba que los logaritmos de los nmeros negativos,
y por una razn ms fuerte los de los nmeros imaginarios, eran imaginarios.
Utilizaba en su razonamiento el principio de permanencia, y por l, la
inyectividad del logaritmo complejo. Este desacuerdo entre dos grandes de las
Matemticas hizo que existiera una fuerte controversia y produjo en aquella
poca un profundo malestar.
Leonhard Euler
3

3
Euler, L: Letter to John Bernoulli. 10-XII-1728. Bibli. Math. ser. 3, 4, 352-354.
(1 707 1 783) expres con claridad la necesidad de
abandonar el principio de permanencia, rompiendo con los principios de
Leibniz, y con una claridad genial afirm que se deba abandonar la unicidad de
la funcin logaritmo afirmando que todo nmero real positivo tiene una infinidad
8 Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
de logaritmos complejos de los cuales slo uno es real. Los logaritmos
complejos son funciones infinitamente valoradas.
La memoria de Euler no convenci a sus contemporneos, en especial a
DAlembert (1 717 1 783) quien volvi a utilizar las ideas de Bernoulli,
apoyadas con las suyas propias, para mostrar que los logaritmos de las
cantidades negativas se podan suponer indiferentemente reales o imaginarios
dependiendo del sistema de logaritmos que se eligiese.
Diversas frmulas obtenidas por Leonhard Euler mostraron que a menudo
es posible reunir dos igualdades reales en una sola igualdad compleja, efectuar
en ella los clculos y separando parte real e imaginaria obtener nuevas
expresiones de inters, que son difciles de conseguir directamente. Al mismo
tiempo Ctes (1 714) descubri la relacin entre los logaritmos complejos y las
funciones circulares: log(cos x +isen x) =ix, reconociendo la importancia de
este resultado en el trabajo titulado Harmonia Mensurarum. Se usaron
medidas de las funciones logaritmo y arco tangente, relacionadas con las
integrales

+ x
dx
1
y

+
2
1 x
dx
, aunque no se comprendi porqu eran necesarias
esas extraas medidas. Despus de Bernoulli sta fue la primera vez en que
se empez a sospechar que el problema de determinar el dominio de la funcin
logaritmo compleja y de las inversas de las funciones circulares era
esencialmente el mismo.
Integracin
En una serie de memorias de publicacin pstuma, escritas a partir de
1776, Euler utiliz los nmeros complejos para obtener, a partir de integrales
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Historia de la variable compleja 9
reales ya conocidas, otras integrales. Y en su obra De integrationibus maxima
memorabilis ex calculo imaginariorum oriundis lleg a escribir las ecuaciones
que tradicionalmente se conocen con el nombre de Cauchy-Riemann.
DAlembert en su ensayo Essai sur une nouvelle thorie de la rsistence des
fluides hizo la primera descripcin sobre las funciones armnicas conjugadas
que Riemann tomar como punto de partida de su teora sobre las funciones de
variable compleja en su discurso inaugural de 1 851. J oseph-Louis Lagrange
(1736 1 813) lo utilizar en la mecnica de fluidos.
Euler y Laplace, hacia la misma poca, pero de forma independiente,
utilizaron frmulas de clculo bastante parecidas para el tratamiento de
integrales definidas, aunque ninguno de ellos las consideraba suficientemente
rigurosas. En Memoire sur les intgrales dfinies Poisson seal que la
integral


b
a
dx ) x ( f puede no ser la misma segn que la variable pase de a a b
por una sucesin de valores reales o por valores imaginarios, llegando a
expresar que la integral depende del camino recorrido, base del concepto de
integral curvilnea.
La idea de Gauss sobre la futura teora de variable compleja era ya
notablemente clara en 1 811. Por entonces Gauss ya tena la representacin
geomtrica de los nmeros complejos y la nocin de integral curvilnea, el
teorema integral de Cauchy e incluso las primeras nociones sobre los periodos
de las integrales. Pero no expuso sus ideas pblicamente hasta 1 831.
Cauchy y la variable compleja
Cauchy no utiliz la representacin geomtrica hasta 1 825 y en su
10 Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
Cours dAnalyse continu representando a los nmeros complejos como
expresiones simblicas que pueden ser sometidas a las diversas operaciones
del lgebra.

Figura 2: Augustin-Louis Cauchy (1 789 - 1 857).
Cauchy est muy relacionado con los ms importantes resultados de la
poca. Estudi con precisin la convergencia de una serie de potencias
resaltando la existencia del radio de convergencia, y tambin el problema
recproco, la posibilidad de desarrollar localmente en serie de potencias una
funcin holomorfa, siendo el radio de convergencia la distancia del centro a la
singularidad ms prxima. Escribi Mmorie sur les intgrales dfinies prises
entre des limites imaginaires, autntico punto de partida de las integrales
curvilneas, donde aparece el concepto de variacin continua de las curvas que
hoy se conoce por homotopa y el caso en el que la funcin se vuelve infinita
en puntos de un rectngulo de lados paralelos a los ejes. Hasta 1 850 Cauchy
no consider otras singularidades que los polos. Introdujo la nocin de residuo
en Sur un nouveau genre de calcul analogue au calcul infinitsimal dando en
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Historia de la variable compleja 11
una nota posterior la frmula de los residuos para un rectngulo.
En Turn en 1 831 public una memoria sobre la mecnica celeste donde
desarroll un mtodo para el estudio de la convergencia de series y acotacin
de errores al sustituir la serie por la suma de un nmero finito de trminos.
Estableci la frmula integral que lleva el nombre de teorema integral de
Cauchy y las desigualdades de Cauchy de las que se sigue de forma
inmediata el teorema de Liouville, esencial en el estudio de las funciones
enteras.
Una extensin importante de estos resultados se debe a P. M. H. Laurent
(1 813 1 854) quien consider funciones holomorfas definidas sobre coronas
circulares y lleg al desarrollo conocido con su nombre, que es el punto de
partida del estudio de las singularidades esenciales.
Como ya se ha indicado, Cauchy no present jams una visin general de
su teora, que fue elaborada en distintas memorias e innumerables notas
publicadas en Comtes Rendues. Hacia 1 844 J . Liouville (1 809 1 882) en sus
clases impartidas en el Collge de France dedicadas a funciones peridicas
intent establecer una exposicin sistemtica de las funciones de variable
compleja, pero dichas lecciones no fueron publicadas, aunque dieron lugar a
una querella entre Cauchy y Liouville sobre la prioridad del teorema que hoy se
conoce como de Liouville. Las lecciones de Cauchy son el origen de la primera
presentacin de la teora de funciones realizada por Briot y Bouquet en
Recherches sur la thorie des fonctions (J ournal de lEcole Polytechnique,
1856). Las demostraciones estn incompletas en muchas ocasiones y se
utilizaron nociones intuitivas de topologa por lo que es necesario esperar a
Weierstrass para una construccin precisa.
12 Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
Riemann y la variable compleja

Figura 3: Bernhard Riemann (1 826 1 866)

La primera publicacin de Riemann fue su discurso inaugural Principios
fundamentales para una teora general de las funciones de una variable
compleja (Gttingen, 1 851). l mismo indic que sus demostraciones eran a
menudo incompletas, y nicamente con la construccin de nuevas teoras y
entes matemticos podran ser posteriormente rellenadas las lagunas. La
primera presentacin completa de estos trabajos de Riemann se debe a H.
Weyl que utiliz nociones como variedad analtica, homologa y formas
armnicas. Riemann descubri nuevas geometras que con una axiomatizacin
conveniente han llegado a ser el cuadro geomtrico de la Fsica y la
Matemtica contempornea.
Riemann se situ en un marco geomtrico y represent los nmeros
complejos como puntos de un plano. Escribi por ejemplo: Cuando a todo
valor de z le corresponde un valor determinado w, variando de forma continua
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Historia de la variable compleja 13
con z, ..., entonces a todo punto del plano A corresponde un punto del plano B,
a toda lnea, de forma general, una lnea, a toda porcin conexa de superficie,
una porcin de superficie igualmente conexa. En consecuencia se puede
considerar esta dependencia de la magnitud w de z como una representacin
del plano A sobre el plano B. As nos mostraba Riemann que w es una funcin
de z, derivable en sentido complejo si entre dos tringulos infinitesimales que
se corresponden hay similitud.
La idea fundamental de Riemann para estudiar una funcin multiforme fue
recuperar la uniformidad de la funcin desdoblando, tantas veces como fuera
necesario, los valores de la variable. Dijo entonces: la funcin multiforme
admite en cada punto de una superficie que representa as el modo de
ramificacin, un nico valor determinado, y puede ser vista como una funcin
perfectamente determinada sobre esa superficie. Explic cmo las familias de
funciones algebraicas y los perodos de sus integrales estn caracterizados por
un nico invariante topolgico de sus superficies de Riemann, el orden de
conexin, definido a partir de sistemas de curvas. Riemann obtuvo, en su
memoria, teoremas de prolongacin para funciones armnicas, el principio del
mdulo mximo y el principio de prolongacin analtica. Termin con una
magistral aplicacin del principio de Dirichlet, que dice que: Dos superficies de
Riemann simplemente conexas pueden siempre ser representadas
conformemente una sobre la otra.
Weierstrass y la variable compleja
La motivacin principal de Weierstrass fue el estudio de las funciones
elpticas y abelianas, y desde este punto de vista profundiz en la teora de las
14 Variable Compleja M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
funciones de variable compleja.
Hizo una presentacin rigurosa de la teora, independiente de toda
referencia a la intuicin geomtrica. Sus primeros trabajos, que datan de 1 840
a 1 842, se publicaron por primera vez en 1 894, por lo que fueron ignorados
por sus contemporneos.

Figura 4: Karl Weierstrass (1 815 1 897)
Conoci el desarrollo en serie de Laurent; introdujo la nocin de
convergencia uniforme y demostr, utilizando el mtodo de los mayorantes, el
teorema sobre las soluciones analticas de un sistema de ecuaciones
diferenciales mediante el desarrollo en serie; esboz la teora de la
prolongacin analtica y el estudio de los puntos singulares. Weierstrass se hizo
clebre cuando en 1 854 publica su memoria Sobre la teora de funciones
abelianas. Entre 1 857 y 1 887 elabor cuidadosamente su edificio
matemtico, donde partiendo de una construccin correcta de los nmeros
reales desemboc en una teora general de las funciones analticas, y en la
teora de las funciones elpticas y abelianas.
El punto de partida de Weierstrass fue el concepto de funcin analtica. La
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA Historia de la variable compleja 15
representacin local de una funcin analtica como serie de potencias hizo ver
que una funcin de este tipo posee numerosas propiedades anlogas a las de
un polinomio. Esto permiti hablar del orden de un cero, y partiendo del hecho
de que los ceros son aislados se lleg al principio de prolongacin analtica.
En su memoria Teora de las funciones analticas Weierstrass demostr
que si una funcin tiene una singularidad esencial en un punto, z
0

, el conjunto
de imgenes de los puntos de un disco cualquiera centrado en dicho punto y
sin su centro (disco pinchado) es denso en el plano complejo. Este resultado
fue completado por E. Picard (1 856 1 941), en 1 879, demostrando que este
conjunto de valores omite, a lo sumo, un punto del plano complejo.

Вам также может понравиться