Cap tulo 7

Transformaciones complejas
Objetivos
Conocer las propiedades de las transformaciones complejas elementales. Emplear las transformaciones complejas para construir aplicaciones entre recintos del plano.

7.1.

Transformaciones complejas elementales

Las funciones de variable compleja son complicadas de representar como grcas, ya que habr de visualizarse como funciones de dos variables reales a an con dos componentes, es decir, como supercies en un espacio de cuatro dimensiones, lo cual es inviable. Por ello es ms frecuente interpretar las funciones a de variable compleja como aplicaciones del plano en s mismo, es decir, como transformaciones del plano. Denotaremos f (z) = f (x, y) = (u, v) = w, donde u, v son, respectivamente, la parte real e imaginaria de f (z). En particular, hemos visto ya que las funciones holomorfas proporcionan representaciones conformes del plano, ya que son transformaciones que preservan los ngulos. Esta propiedad es de gran importancia para problemas f a sicos en el plano relacionados con la ecuacin de Laplace. o Para ello, recordemos que las funciones armnicas son partes reales e imagio narias de funciones holomorfas. Y como la composicin de dos funciones holoo morfas es una funcin holomorfa, tenemos que las transformaciones holomorfas o llevan soluciones de la ecuacin de Laplace a soluciones de la ecuacin de Lao o place. Por ello, nos interesa estudiar funciones complejas que transformen subconjuntos del plano en subconjuntos sencillos, por ejemplo, el disco de radio unidad. Estudiando el comportamiento de las funciones sencillas, podremos obtener, por composicin, el comportamiento de transformaciones ms complicadas. o a Recordemos que entre los subconjuntos ms sencillos del plano real, podemos a describir por la ecuacin impl o cita cuadrtica, a a(x2 + y 2 ) + bx + cy + d = 0 , 1 (7.1)

circunferencias, si a = 0, o rectas, si a = 0. Si d = 0, pasan por el origen. Si d = 0, no. En forma cannica esta ecuacin se reduce, para circunferencias, a o o (x x0 )2 + (y y0 )2 = R2 , x0 = b c (b2 + c2 ) d , y0 = , R2 = . 2a 2a 4a2 a

Esta ecuacin se puede reescribir en notacin compleja como o o Az z + Bz + B z + D = 0 , con A = a, B = (b ic)/2, D = d. En forma cannica, o (z z0 )(z z0 ) = R2 . Decimos que dos puntos z1 , z2 alineados con el centro de una circunferencia son inversos respecto a ella si verican a(x1 x1 +y1 y2 )+ b(x1 + x2 ) + c(y1 + y2 ) +d = 0 Az1 z2 +Bz1 + B z2 +D = 0 . 2 (7.2)

La interpretacin geomtrica es sencilla en la forma cannica, o e o R2 = (z1 z0 )(z2 z0 ) = (x1 x0 )(x2 x0 ) + (y1 y0 )(y2 y0 ) = z0 z1 , z0 z2 , ya que indica que el producto de las longitudes de los vectores z0 z1 y z0 z2 es R2 . En el caso de rectas, circunferencias degeneradas, los pares de puntos inversos son simtricos respecto a la recta en cuestin. e o

7.2.

Transformaciones anes

Las transformaciones anes del dominio complejo, muchas veces llamadas lineales, son de la forma f (z) = az + b, donde a, b C. Si a = 1, la transformacin es una traslacin de vector b = (b1 , b2 ), o o u = x + b1 , v = y + b2 .

Si b = 0, podemos descomponer la transformacin f (z) = az en dos partes. o Como a = |a|ei , f = hg es el resultado de componer una homotecia de razn o |a|, g(z) = |a|z, con una rotacin, h, de ngulo : si z = rei , h(z) = rei(+) . o a Una construccin t o pica de la geometr af es la razn simple de tres a n o puntos, que denotaremos por [z1 , z2 , z3 ] := z3 z 1 z1 z3 = , z3 z2 z2 z 3

que no es ms que la proporcin existente entre los dos segmentos en los que a o divide el punto z3 al segmento z1 z2 en la recta compleja. Si es un n mero real, u estarn alineados en el plano. a Se puede demostrar que las transformaciones anes conservan la razn simple o de tres puntos, [f (z1 ), f (z2 ), f (z3 )] = f (z3 ) f (z1 ) z3 z 1 = = [z1 , z2 , z3 ] . 2 f (z2 ) f (z3 ) z2 z 3 2

7.3.

Transformaciones proyectivas
x , x2 + y 2 y . x2 + y 2

Otra transformacin importante es la denida por f (z) = 1/z, o u= v=

Obviamente, est denida para todo n mero complejo, excepto el cero. Aunque a u tambin podemos entender que est denida en el dominio complejo ampliado e a con el punto del innito. As f (0) = , f () = 0. , Como podemos expresar la transformacin como o f (z) = z , |z|2

podemos separarla, f = h g, en una inversin respecto a la circunferencia de o radio unidad, z g(z) = 2 , |z| y la conjugacin, h(z) = z . o Esta ultima es fcil de interpretar, ya que transforma (x, y) en (x, y). Es a decir, es una reexin respecto al eje real. o Las propiedades de la inversin son sencillas de visualizar. Obviamente, o transforma la circunferencia unidad en s misma. Son sus puntos jos. Y cual quier punto de la forma rei se transforma en ei /r. Es decir, se ha invertido su mdulo. o Por tanto, el interior de la circunferencia, |z| < 1, se intercambia con el exterior, |z| > 1. La funcin rec o proca es una involucin, f f (z) = z. o Otra propiedad es que las circunferencias y rectas de ecuacin ?? se transo forman en circunferencias y rectas de ecuacin, o d(u2 + v 2 ) + bu cv + a = 0 A + Bw + B w + Dww . Por tanto, f transforma: Circunferencias que no pasan por el origen, d = 0 = a, en circunferencias que no pasan por el origen. Rectas que no pasan por el origen, a = 0, d = 0, en circunferencias que pasan por el origen. Circunferencias que pasan por el origen, d = 0 = a, en rectas que no pasan por el origen. Rectas que pasan por el origen, d = 0 = a, en rectas que pasan por el origen. Una propiedad interesante de la inversin y de la funcin rec o o proca es que transforman puntos inversos respecto a una circunferencia en puntos inversos respecto a la circunferencia imagen, Az1 z2 + Bz1 + B z2 + D = 0 A + B w1 + Bw2 + Dw1 w2 = 0 . 3

Esta propiedad tambin la cumplen las transformaciones anes trivialmente e y, por tanto, las transformaciones proyectivas que denimos a continuacin. o Si combinamos esta transformacin con las transformaciones anes, obteneo mos la familia ms general de transformaciones proyectivas, tambin llaa e madas transformaciones de Mbius o transformaciones especiales conformes o o transformaciones racionales lineales, f (z) = az + b , cz + d ad bc = 0 . (7.3)

El determinante adbc tiene que ser no nulo. En caso contrario, a/c = b/d y la funcin ser constante y no ser por tanto, una transformacin del plano. o a a, o Obsrvese que si multiplicamos los coecientes a, b, c, d de la transformacin e o por un mismo n mero complejo, la transformacin sigue siendo la misma. u o La funcin no est denida en z = d/c, pero podemos extender la denicin o a o al punto del innito, de modo que f (d/c) = , f () = a/c. Como casos particulares, si c = 0, recuperamos las transformaciones anes. Y si d = 0, obtenemos una funcin rec o proca compuesta con una traslacin. o De hecho, observamos que una transformacin proyectiva f es la composicin o o de una transformacin af g, la transformacin rec o n o proca y otra transformacin o af h, n g(z) = cz + d , h(w) = a bc ad + w, c c f (z) = h 1 g(z) .

Por tanto, las transformaciones proyectivas transforman rectas y circunferencias en rectas y circunferencias, ya que esto es lo que hacen las transformaciones anes y la transformacin rec o proca. Una propiedad algebraica importante es que las transformaciones proyectivas forman grupo. Es decir, la composicin de transformaciones proyectivas es una o transformacin proyectiva, o w = f (z) = az + b , cz + d g(w) = Aw + B , Cw + D

h(z) = g f (z) =

(Aa + Bc)z + Ab + Bd , (Ca + Dc)z + Cb + Dd

y toda transformacin proyectiva tiene su inversa, o w = f (z) = az + b , cz + d z = f 1 (w) = dw b . cw a

El grupo de transformaciones proyectivas del dominio complejo incluye, pues, a las transformaciones anes y a la transformacin rec o proca. Claramente, las aplicaciones proyectivas no respetan la razn simple. Sean o z1 , z2 , z3 tres n meros complejos, u [f (z1 ), f (z2 ), f (z3 )] = f (z3 ) f (z1 ) cz2 + d = [z1 , z2 , z3 ] , f (z2 ) f (z3 ) cz1 + d

las razones simples coinciden para toda terna si y slo si c = 0, es decir, si la o aplicacin es realmente af o n. 4

Sin embargo, dado que la expresin anterior no depende de z3 , vemos que el o cociente de dos razones simples s es conservado, [z1 , z2 , z4 ] [f (z1 ), f (z2 ), f (z4 )] = . [f (z1 ), f (z2 ), f (z3 )] [z1 , z2 , z3 ] (7.4)

De hecho, se puede demostrar que las aplicaciones proyectivas son las unicas que conservan este cociente, que, por ser razn de dos razones simples, denomio naremos razn doble de los puntos z1 , z2 , z3 , z4 , o z4 z 1 z2 z 3 [z1 , z2 , z4 ] = . [z1 , z2 , z3 ] z2 z 4 z3 z 1

[z1 , z2 , z3 , z4 ] :=

(7.5)

Finalmente, una propiedad interesante es que una transformacin proyectiva o queda un vocamente determinada por la imagen de tres puntos distintos. Esto es trivial si tenemos en cuenta la propiedad de conservacin de la razn o o doble. Si sabemos que f (z1 ) = w1 , f (z2 ) = w2 , f (z3 ) = w3 , podemos despejar w = f (z) a partir de la igualdad de las razones dobles, w w 1 w2 w 3 z z 1 z2 z 3 = [f (z1 ), f (z2 ), f (z3 ), f (z)] = [z1 , z2 , z3 , z] = . w2 w w3 w 1 z2 z z3 z 1 En particular, si w1 = 0, w2 = , w3 = 1, f (z) = [z1 , z2 , z3 , z] = z z 1 z2 z 3 . z2 z z3 z 1

Veamos algunos ejemplos de como las transformaciones proyectivas pueden emplearse para aplicar subconjuntos del plano sobre otros: Ejemplo 7.3.1 Transformaciones proyectivas que aplican el semiplano (z) > 0 en el disco abierto de radio unidad, |z| < 1, y el eje real sobre la circunferencia de radio unidad. En primer lugar, buscaremos transformaciones que lleven el eje real a la circunferencia de radio unidad, f (x) = ax + b , cx + d |f (x)| = 1 .

En particular, de f (0) = b/d deducimos que |b| = |d|. Y de f () = a/c deducimos que |a| = |c|. Es decir, denotando a = cei , z0 = b/a, z1 = d/c, f (z) = ei z z0 , z z1 |z0 | = |z1 | .

Para acabar de determinar la expresin, sobre el eje real, o |x z0 | = |x z1 | , es decir, el eje real equidista de z0 y z1 . Por tanto, es la mediana del segmento z0 z1 , de donde se deduce que z1 = z0 . 5

As pues, la expresin ms general de una transformacin proyectiva que o a o aplique el eje real sobre la circunferencia unidad es f (z) = ei z z0 . z z0

Slo resta ver si aplica el semiplano superior sobre el disco unidad. Para ello, o es preciso que z0 pertenezca al semiplano superior, es decir, (z0 ) > 0, ya que |z z0 |2 = (x x0 )2 + (y y0 )2 < (x x0 )2 + (y + y0 )2 = |z z0 |2 , si y, y0 > 0. Por tanto, |f (z)| = |z z0 |/|z z0 | < 1. 2 Ejemplo 7.3.2 Transformaciones proyectivas que aplican el semiplano superior sobre el semiplano superior y el eje real sobre el eje real. Intuitivamente, las transformaciones que dejan invariante el eje real deber an ser las que tienen coecientes reales. Lo comprobamos: f (x) = c ax + b ax + b cx + d ax2 + (ad + b)x + bd c = = |c|2 x2 + (cd + d)x + |d|2 , cx + d cx + d cx + d c xR.

Para que esta expresin sea real, como el denominador ya es real, tendr que o a ser real el polinomio del numerador. Y esto es posible slo si sus tres coecientes o son reales, a R a = z0 , c = z0 , c bd R b = z1 , d = z1 , , R , , R , z0 C z1 C

c ad + b = z0 z1 + z1 z0 .

Para que esta ultima expresin sea tambin real, caben dos posibilidades: o e O bien = , para que la expresin sea esencialmente la parte real de o z0 z1 . Pero en este caso, ad bc = z0 z1 z0 z1 = 0 , la transformacin proyectiva no est denida. o a O bien z0 z1 es real, con lo cual z0 , z1 son m ltiplos reales entre s z0 = z1 , u , con , R, y todos los coecientes, a, b, c, d, de la transformacin son m ltiplos o u reales de un mismo n mero complejo, que podemos simplicar en la expresin. u o Por tanto, todos los coecientes son reales. Es decir, las unicas transformaciones proyectivas que dejan invariante el eje real son las que tienen coecientes reales. Queda ver cules aplican el semiplano superior sobre el semiplano superior. a Lo averiguamos con el punto z = i, f (i) = ai + b ai + b d ci ac + bd + i(ad bc) = = , ci + d ci + d d ci |c|2 + |d|2

cuya imagen deber estar en el semiplano superior, para lo cual, su parte imaa ginaria, el determinante de la transformacin, ad bc, tendr que ser positivo. o a 2 6

Ejemplo 7.3.3 Transformaciones proyectivas que aplican el disco abierto de radio unidad, |z| < 1, sobre el disco abierto de radio unidad, y la circunferencia de radio unidad, |z| = 1, sobre la circunferencia de radio unidad. Haremos uso de la propiedad de las transformaciones proyectivas de llevar parejas de puntos inversos respecto a una circunferencia a parejas de puntos inversos respecto a la circunferencia imagen. Los puntos cuyas imgenes son cero e innito son inversos. Por tanto, existe a a C tal que f (a) = 0, f (1 ) = , con |a| < 1 para que el disco unidad se a aplique sobre el disco unidad. Por tanto, la transformacin proyectiva ser de o a la forma, f (z) = k y slo queda por determinar k. Como, o |za|2 = |z|2 +|a|2 za = |a|2 +1za = |a|2 |z|2 +1za = |z1|2 , a z a z a z a tenemos que |k| = 1. Por tanto, las transformaciones proyectivas que buscamos son de la forma f (z) = ei za , az 1 R.2 za , az 1

7.4.

Potencias y ra ces

Como primer ejemplo de transformacin elemental no proyectiva, estudiareo mos la transformacin cuadrtica, w = f (z) = z 2 . En coordenadas cartesianas, o a u = x2 y 2 , v = 2xy ,

aunque la interpretacin geomtrica ms clara se obtiene en coordenadas polao e a res, f (z) = r2 ei2 . Es decir, el mdulo queda elevado al cuadrado, mientras que o el argumento se ve multiplicado por dos. Por tanto, esta transformacin lleva la circunferencia de radio R centrada o en el origen sobre la circunferencia de radio R2 . Las rectas de ngulo 0 que pasan por el origen se transforman en semirrectas a de ngulo 20 . a Esta transformacin no es biyectiva, a diferencia de lo que suced con las o a transformaciones proyectivas. Si consideramos argumentos en el plano comprendidos en el intervalo [0, 2], en la imagen los argumentos recorren [0, 4], es decir, el plano es recorrido dos veces. Para conseguir una aplicacin biyectiva, tenemos que restringir el dominio o a un semiplano abierto. La imagen ser el plano cortado, es decir, salvo un a semieje. Si consideramos el semiplano abierto limitado por la recta de ngulo a 0 /2, 0 0 < 2, la imagen es el plano cortado por la semirrecta de ngulo a 0 . En particular, la imagen del semiplano superior es el plano cortado por la semirrecta real positiva. Una propiedad importante de las curvas u = const. y v = const. es que son familias de hiprbolas equilteras ortogonales. La imagen de cada rama de la e a 7

hiprbola de ecuacin x2 y 2 = k es la recta vertical u = k. Y la imagen de e o cada rama de la hiprbola de ecuacin 2xy = k es la recta horizontal v = k . e o Esta propiedad permite transformar la regin comprendida entre dos ramas o de hiprbolas en una franja horizontal o vertical del plano. e De igual manera se pueden estudiar potencias ms generales, f (z) = z n = a n in r e , que asimismo transforman circunferencias de radio R en circunferencias de radio Rn y semirrectas de ngulo 0 en semirrectas de ngulo n0 . a a Tampoco son biyectivas, aunque aplican un sector abierto de ngulo 2/n a en el plano cortado. Por ejemplo, el sector comprendido en 0 < < 2/n se aplica en plano cortado por el semieje real positivo. o z Finalmente estudiaremos la transformacin ra cuadrada, f (z) = ( z) = rei/2 , en una determinacin , 2 < < . o Esta transformacin est denida en el plano cortado por la semirrecta = o a y su imagen es el semiplano abierto limitado por la recta = /2. En particular, si la determinacin es la principal, = , la imagen del plano cortado por el o semieje real negativo en el semiplano derecho. Y si la determinacin es = 2, o la imagen del plano cortado por el semieje real positivo es el semiplano superior. Esta transformacin aplica circunferencias de radio R centradas en el origen, o salvo un punto, en semicircunferencias abiertas de radio R. Y semirrectas de ngulo 0 , en semirrectas de ngulo 0 /2. a a La expresin de la transformacin en coordenadas cartesianas la podemos o o obtener teniendo en cuenta que es la inversa de la transformacin cuadrtica, o a x = u2 v 2 , y = 2uv ,

simplemente intercambiando (x, y) por (u, v). Eliminando parmetros, a y 2 = 4u2 (u2 x) , y 2 = 4v 2 (v 2 + x) .

Aqu observamos que las parbolas de ecuacin y 2 = 4k 2 (k 2 x) se trans a o forman en rectas verticales de ecuacin u = k. Y las parbolas de ecuacin o a o y 2 = 4k 2 (k 2 + x) se transforman en rectas horizontales de ecuacin v = k . o Por tanto, la ra transforma regiones comprendidas entre dos parbolas en z a franjas. a ces n-simas, f (z) = e Consideraciones anlogas pueden hacerse para las ra ( n z) = n rei /n . La imagen del plano cortado bajo esta transformacin es un sector abierto o de ngulo 2/n. a Las circunferencias centradas en el origen de radio R, salvo un punto, se a transforman en arcos de circunferencia de radio n R y ngulo 2/n y las semirrectas de ngulo 0 , en semirrectas de ngulo 0 /n. a a Obviamente, combinando todas estas transformaciones podemos aplicar semiplanos, sectores, c rculos. . . entre s .

7.5.

Transformaciones trascendentes

Dentro de las transformaciones denidas por funciones trascendentes, es especialmente interesante la transformacin exponencial, f (z) = ez = sei , o s = ex , 8 =y.

Observamos que una franja comprendida entre las rectas horizontales y = y 1 , y = y2 , se transforma en un sector innito comprendido entre las semirrectas = y1 , = y2 , siempre que la franja no tenga un ancho superior a 2. Por ejemplo, la transformacin es inyectiva si nos restringimos a una franja o delimitada por y = y1 , y = y1 + 2. La imagen es el plano cortado por la semirrecta = y1 . Una franja de anchura tiene por imagen un semiplano. Limitando la coordenada x controlamos el radio del sector en la imagen. As , un rectngulo limitado por y = y1 , y = y2 , x = x1 , x = x2 se transforma en a un sector de corona circular comprendido entre los radios s = ex1 , s = ex2 y los ngulos = y1 , = y2 . Si el rectngulo se extiende a una franja semiinnita, a a y1 < y < y2 , x < x1 , la imagen es un sector circular de radio ex1 , comprendido entre los ngulos = y1 , = y2 . a Las transformaciones inversas son los logaritmos, f (z) = (ln z) = log r + i, 2 < < , en una determinacin . o La actuacin de esta transformacin es, obviamente, la inversa. Transforma o o el plano cortado por la semirrecta = en la franja horizontal 2 < v < . Las circunferencias, salvo un punto, de radio R se transforman en segmentos de rectas verticales u = log R y las semirrectas de ngulo se transforman en a rectas horizontales v = . Acabamos esta revisin de las transformaciones trascendentes elementales o con la transformacin seno, f (z) = sin z, o u = sin x cosh y , v = cos x sinh y .

La imagen de las rectas horizontales y = y1 son elipses oblatas de semiejes cosh y1 , | sinh y1 |, u cosh y1
2

v sinh y1

=1,

que degeneran al segmento horizontal (1, 1) cuando y1 = 0. Por tanto, para que la transformacin sea biyectiva debemos restringirnos a o media franja vertical x1 < x < x1 + 2, y > 0. La imagen ser el plano cortado a por la semirrecta horizontal v = 0, x > 1. Por contra, las rectas verticales x = x1 se transforman en ramas de hiprboe las de semiejes | sin x1 |, cos x1 , u sin x1
2

v cos x1

=1.

Si sin x1 es positivo se trata de la rama derecha y, si es negativo, de la izquierda. Son casos degenerados x1 = n, que se transforman en el eje vertical, y x1 = (2n + 1)/2, que se transforman en semiejes horizontales: el positivo si n es par y el negativo, para n impar. Por tanto los rectngulos en coordenadas cartesianas se transforman en cuaa drilteros curvos limitados por elipses e hiprbolas. a e

7.6.

Transformacin de Schwarz-Christoel o

Acabamos esta revisin de las principales transformaciones complejas con o una transformacin que permite aplicar el semiplano superior sobre el interior o 9

de cualquier pol gono. Para ello, vamos a aplicar el eje real sobre el contorno del pol gono. Consideremos n puntos sobre el eje real, x1 < < xn . Queremos que sus imgenes, w1 = f (x1 ), . . . , wn = f (xn ), bajo una funcin holomorfa f sean a o los vrtices de un pol e gono de n lados. Adems, f debe aplicar cada segmento a xi xi+1 sobre el segmento wi wi+1 . La imagen del eje real es la curva parametrizada por w = f (t), con vector tangente f (t) en cada punto, que forma un ngulo arg f (t) con el semieje real a positivo. Por tanto, debemos buscar funciones cuya derivada presente argumento constante en cada uno de los intervalos [xi , xi+1 ] y slo cambie de argumento, o por no ser holomorfa, en los puntos xi . Una funcin que verica estas propiedades es la que tiene por derivada o f (z) = A(z x1 )k1 (z xn )kn , AC, k 1 , . . . , kn R , (7.6)

como se comprueba fcilmente tomando argumentos, a arg f (z) = arg A k1 arg(z x1 ) kn arg(z xn ) . Si x (, x1 ), todas las diferencias x xi son negativas, con lo cual, arg f (x) = arg A (k1 + + kn ) , el argumento es constante y denota que la imagen de este intervalo es un segmento del plano. Del mismo modo, si x (x1 , x2 ), slo x x1 es positivo, o arg f (x) = arg A (k2 + + kn ) . Por tanto, al cambiar de intervalo el argumento sufre un salto de valor k1 . Repitiendo el argumento, llegamos a la conclusin de que las imagnes de los o e intervalos [xi , xi+1 ] son segmentos del plano y que en los puntos xi el argumento sufre un incremento de valor ki . Por tanto, los valores de ki debern estar a comprendidos en (1, 1). As pues, la imagen del eje real es una l nea poligonal de vrtices w1 , . . . , wn e y ki es el ngulo formado por los lados wi1 wi y wi wi+1 . a Obviamente, debemos evitar que los lados del pol gono imagen se corten. Adems, exigiremos que la poligonal sea cerrada, lo cual se consigue si la suma a de los ngulos es 2, es decir, si k1 + + kn = 2. a Si el punto xn se lleva a innito, el trmino (z xn )kn desaparece de la e expresin de f (z). o El problema se reduce a encontrar la primitiva f y, en general, ser coma plicado encontrarla como combinacin de funciones elementales. Habr que deo a mostrar, en cualquier caso, que dicha primitiva existe. Para comenzar, las potencias reales no son holomorfas en alguna semirrecta, con lo cual hay que escoger determinaciones que permitan que f sea holomorfa en el semiplano superior. Por ejemplo, = 3/2 permite denir f como
z z

f (z) =
z0

f (s) ds + B = A
z0

(s x1 )k1 (s xn )kn ds + B ,

siendo z0 un punto del semiplano superior y B, una constante. 10

Observemos que la constante B simplemente sirve para trasladar el pol gono y la constante A = |A|ei sirve para modicar el tama o y girar el pol n gono. Podemos tomar A = 1 y B = 0 para obtener un pol gono de la forma adecuada y modicarlo por semejanza a posteriori. Adems, sabemos que en los puntos de ramicacin x1 , . . . , xn f no es hoa o lomorfa, pero habr que exigir que por lo menos la integral est bien denida: a e Consideremos el punto x1 . La funcin g(z) = A(z x2 )k2 (z xn )kn es o holomorfa en una bola centrada en x1 de radio x2 x1 y tiene, por tanto, una serie de Taylor, g(z) = a0 + a1 (z x1 ) + O (z x1 )2 . Por tanto, podemos descomponer f en dicha bola, f (z) = a0 (z x1 )k1 + (z x1 )1k1 h(z) , donde h es una funcin holomorfa. El segundo trmino es una funcin continua, o e o ya que el exponente (1 k1 ) es positivo, por lo que la integral de dicho trmino e est bien denida en las proximidades de x1 . a Por su parte, la integral del primer trmino tambin est bien denida, e e a
z z0

(s x1 )k1 ds =

(z x1 )1k1 (z0 x1 )1k1 , 1 k1 1 k1

por lo que, repitiendo el argumento para el resto de puntos de ramicacin, la o primitiva de f es una funcin continua en el semiplano cerrado (z) 0. o Tambin tendremos que ver si la funcin est bien denida para grandes e o a valores de |z|. El mdulo de la derivada, o |f (z)| = |A| |z x1 |k1 |z xn |kn , se comporta para grandes valores de |z| como |z|k1 kn = |z|2 , lo cual nos asegura la integrabilidad de f . Si xn = , |f (z)| se comporta como |z|kn 2 y como kn 2 < 1, tambin en este caso tenemos la integrabilidad garantizada. e Con este razonamiento garantizamos que el eje real se aplica sobre el pol gono de vrtices w1 , . . . , wn , pero queda la duda de si aplica el semiplano superior e sobre el interior o el exterior del pol gono. Como los puntos del semiplano superior quedan a la izquierda del eje real, recorrido en sentido positivo, por la propiedad de la representacin conforme, los puntos imagen estn tambin a la o a e izquierda de los lados del pol gono y, por tanto, en su interior. Cunta libertad nos queda para denir f ? Fijados A = 1, B = 0, podea mos tomar z0 = 0, ya que slo afecta en una traslacin. Los exponentes ki o o quedan determinados por los ngulos del pol a gono. Para determinar el pol gono precisamos n 3 proporciones entre sus lados. Para conseguirlo, podemos variar los valores de los n puntos de ramicacin, xi , con lo cual nos quedan tres o parmetros libres para jugar. a Esto no nos debe extra ar, ya que siempre podemos realizar transformacion nes de Mbius de la recta, que tienen tres parmetros libres precisamente, y el o a problema no se ve afectado. A la hora de calcular la transformacin de Schwarz-Christoel nos encono tramos con dos problemas. Uno ya ha sido mencionado, es dif hallar f cocil mo combinacin de funciones elementales sencillas en la mayor de los casos. o a 11

Adems, los parmetros que denen la transformacin son los puntos xi del eje, a a o no los vrtices wi del pol e gono, con lo cual hace falta mucha intuicin para dar o con la transformacin adecuada. o Este segundo problema desaparece cuando el pol gono es un tringulo, ya a que queda denido, salvo semejanza, por los ngulos k1 , k2 , k3 , y como tenemos a tres parmetros libres, podemos escoger arbitrariamente los valores de x 1 , x2 , x3 . a Ejemplo 7.6.1 Transformacin de Schwarz-Christoel que aplica el semiplano o superior sobre un tringulo equiltero. a a Como el tringulo es equiltero, los tres coecientes angulares son iguales, a a k1 = k2 = k3 = 2/3. Para simplicar la expresin, tomamos x3 = y, por o simetr de la expresin, x1 = 1, x2 = 1. Tomamos z0 = 1 para conocer al a o menos de antemano un vrtice del tringulo, w2 = f (x2 ) = 0. Con toda esta e a informacin, o
z

f (z) =
1

(s 1)2/3 (s + 1)2/3 ds .

Tratemos de obtener los otros vrtices del tringulo. Para w1 = f (x1 ), tenee a mos que integrar a lo largo del eje real, entre 1 y 1. En este segmento x + 1 es positivo y tiene argumento nulo. Pero x 1 es negativo y tiene argumento . Por tanto, podemos reducir la integral de l nea a una integral real,
1

w1 = ei2/3
1

(1 x)2/3 (x + 1)2/3 dx = ei/3

1 0

2 dx . (1 x2 )2/3

As pues, el primer vrtice est en w = lei/3 , siendo l la longitud del lado, e a

1

l=
0

tomando x = t, en funcin de la funcin beta de Euler. o o Lgicamente, el tercer vrtice est en w3 = l. Lo comprobamos expl o e a citamente, dx w3 = , (x2 1)2/3 1 que tambin podemos obtener integrando a lo largo del semieje real negativo, e
1

2 dx = (1 x2 )2/3

1 0

t1/2 (1 t)2/3 dt = B

1 1 , 2 3

1 2 1 2

1 3 1 3

w3

=
1

(s 1)2/3 (s + 1)2/3 ds +
i/3 1

(s 1)2/3 (s + 1)2/3 ds

= w1 + e

dx = lei/3 + ei/3 w3 , (x2 1)2/3

de donde despejamos w3 = l. 2 Ejemplo 7.6.2 Transformacin de Schwarz-Christoel que aplica el semiplano o superior sobre un rectngulo. a Como ya se ha indicado, no conocemos a priori los valores de los puntos x1 , x2 , x3 , x4 que corresponden a un rectngulo dado. Pero sabemos que los a ngulos son iguales, k1 = k2 = k3 = k4 = 1/2 y, por simetr tomamos x1 = a, a a, 12

x2 = 1, x3 = 1, x4 = a > 1, y origen en z0 = 0. Tomando A = 1, para evitar signos negativos, y B = 0, la expresin de la transformacin de Schwarzo o Christoel es
z

f (z) =

(z + a)1/2 (z + 1)1/2 (z 1)1/2 (z a)1/2 dz .

Calculamos los vrtices del rectngulo, e a

1

w3

=
1

(z + a)1/2 (z + 1)1/2 (z 1)1/2 (z a)1/2 dz

=
0 1

(x + a)1/2 (x + 1)1/2 (1 x)1/2 (a x)1/2 dx K(a1 ) dx = , 2 x2 a 1 a x2

1

=
0

en trminos de integrales el e pticas, K(k) =

0

x2

dx . 1 k 2 x2

Luego w3 = b/2 est sobre el eje real y, por simetr de la integral, w2 = a a b/2, con lo cual b = 2K(a1 )/a es la longitud de un lado del rectngulo. a Finalmente, podemos calcular otro vrtice del rectngulo, e a w4 = = =
a b (z + a)1/2 (z + 1)1/2 (z 1)1/2 (z a)1/2 dz 2 1 a b +i (x + a)1/2 (x + 1)1/2 (x 1)1/2 (a x)1/2 dx 2 1

1 b dx dy = +i 2 1 a2 x2 2 (a2 1)y 2 1 y 2 2 x a 1 0 2 1/a) K( a b + ic , c = , = 2 a a, tomando y = a2 x2 / a2 1. Por simetr w1 = b/2 + ic, con lo cual las longitudes de los lados del rectngulo son b, c. 2 a El cuadrado se obtiene cuando b = c, que corresponde a a 5,828427, aunque este no es el procedimiento ms eciente para conseguirlo. a

b +i 2

13