Universidad Tecnolgica de Panam

Transformada de Schwarz-Christoffel para facilitar la solucin de diversos problemas de valor en la frontera. Christian Alfredo Acevedo Herrera. Panam, 2013.

Introduccin
El problema de geometras complejas en ingeniera. En ingeniera, el modelado matemtico suele ser una herramienta inicial de gran ayuda, en caso de no tenerse a mano la posibilidad de experimentacin, o para reducir los costos de la misma. Sin embargo, la geometra de los problemas suele ser causa de gran dificultad en el clculo de los resultados de diversos fenmenos al realizar un enfoque matemtico. Estos suelen deberse a la naturaleza de las ecuaciones implicadas. Para deshacernos de la mayora de los clculos a mano, solemos basarnos en el clculo computacional con herramientas diseadas para ello, que utilizan aproximaciones integro-diferenciales de los diversos problemas. Una herramienta mostrada, que ayuda a simplificar geometras al momento de trabajar, es utilizando el mtodo de elementos finitos, al dividir el dominio D en diversos sub-dominios de geometras sencillas, conocidas, que pueden trabajarse con ecuaciones ya conocidas, al manipular correctamente los valores en las fronteras. Justificacin Empero, existen otras alternativas, en algunas ocasiones como se presentar a continuacin, ms vlidas para ciertas situaciones que los elementos finitos. Algunas de ellas ya son conocidas de cursos de matemtica superior para ingeniera, como lo son las transformadas integrales. Una transformada pretende llevar un dominio S de alguna naturaleza, a otro dominio S con una naturaleza diferente1, que simplifica nuestro problema. Tal es el caso de la transformada de Laplace o de Fourier, por ejemplo. Usualmente, estas transformaciones de dominios suelen usar en todos los casos, variables complejas. En teora de variables complejas, el dominio S es un subconjunto de puntos que se representan en el espacio bidimensional como la suma de una parte real y una imaginaria. Al aplicar una funcin de variable compleja f(z), el rango o imagen S es tambin un conjunto de puntos que se representan en el espacio bidimensional. Esto trae la particularidad de que no pueden graficarse funciones complejas2, pero es ste fenmeno el que se aprovechar a la hora
1

Zill, Dennis G; Shanahan, Patrick D. Introduccin al anlisis complejo con aplicaciones , Segunda Edicin, 2011, Mjico, p. 53
2

Zill, Dennis G; Shanahan, Patrick D. Introduccin al anlisis complejo con aplicaciones , Segunda Edicin, 2011, Mjico, p. 54

de crear una transformacin de este dominio. Como cada punto del dominio se coloca en el rango, se habla que la imagen es un mapa que viene del dominio, y a las funciones complejas se les suele denominar mapeos. Por lo anterior, conociendo que para un dominio S tenemos un mapeo que lo lleva a S, podemos transformar geometras a modo de facilitar nuestro trabajo matemtico, o los tiempos de clculo para problemas sencillos. En varias situaciones, se tienen problemas que slo requieren revisin de las fronteras, para obtener resultados en el interior de las mismas (problemas de Dirichlet o de Von Neumman) sin necesidad de fraccionar el dominio en subconjuntos para analizarlos. Es decir, podra ser ms til evaluar estos problemas sin utilizar elementos finitos. Se mostrar, al final de todo esto, la solucin de algunos problemas clsicos de ingeniera que, en vez de darles el enfoque usual, se resolvern usando mapeos conformes, poniendo en especial evidencia el uso de la transformada de Schwarz-Christoffel. Se usar como herramienta para la evaluacin numrica de estos mapeos numricos la herramienta MATLAB, junto al paquete de programas creados por Tobin Driscoll3 en 2002. Se aadir al final de este anteproyecto un apndice, con la gua de usuario de Driscoll para el uso de las herramientas en SC Toolbox Objetivos especficos y preguntas de investigacin El uso del mtodo de la transformada de Schwarz-Christoffel como herramienta para, luego de transformar un contorno suave en un polgono, mapearlo en un contorno sencillo y eliminar problemas de geometras complejas, trasladando igualmente todas las condiciones de frontera de un dominio al otro. Luego de resolver el problema en el plano imagen, regresar todas las respuestas al plano dominio. Determinar qu tan plausible es el uso de este mtodo para resolver problemas de valor en la frontera, frente a otros mtodos vistos, cuando las geometras se vuelven bastante complicadas. Limitaciones de esta investigacin Esta investigacin es con fines tericos, solamente para mostrar usos diversos de la transformada de Schwarz-Christoffel para aligerar la carga geomtrica de diversos problemas de ingeniera. Se harn, para demostrar aplicabilidad, la solucin de algunos problemas clsicos y no tan clsicos, utilizando esta herramienta.

Departamento de Matemticas Aplicadas, Universidad de Colorado, Boulder, CO 80309-0526 ( driscoll@nanet.ornl.gov).

Marco Terico La ingeniera cada vez est ms slidamente ligada al modelado matemtico y a las computadoras. Entre los motivos que nos llevan a esta unin estn, por ejemplo, la disminucin de variables de experimentacin a la hora de generar prototipos. En general, las matemticas no estaban directamente ligadas a la ingeniera, hasta que Newton propuso su clculo diferencial para modelar el modo en que se comporta nuestro entorno. Desde aquel entonces, el modelar nuestro entorno ha generado problemas matemticos, que usualmente los matemticos han resueltos por adelantado antes de volverse un problema propiamente dicho. Igualmente, los matemticos han propuesto soluciones de problemas cuyo planteamiento es relativamente sencillo, mas su solucin no es para nada trivial. Un caso clsico es el problema de la cerca: Cmo encerrar la mayor rea posible con una cerca? o tambin el del ratn que corre en crculos alrededor de un gato, y saber si el gato podr atrapar al ratn 4. Estos utilizan a su vez otras herramientas matemticas en la solucin provista en el libro mostrado al pie de pgina que ponen a prueba el uso de herramientas analticas poderosas que, luego, pudieron ayudar a resolver problemas relacionados a la ingeniera. Toda la matemtica construida desde secundaria, hasta iniciada la universidad, se basa en el trabajo en el reino de los nmeros reales, denominados con el smbolo como el conjunto de los nmeros reales, representables todos bajo la recta numrica. El clculo de variables reales se basada en utilizar las llamadas funciones, que daban a cada elementos del conjunto dominio (una recta, usualmente horizontal en el plano cartesiano) un elemento y slo uno en el conjunto codominio o rango o imagen. De estas, surgieron entonces las llamadas funciones elementales (exponencial, logartmica, lineal, cuadrtica, trigonomtricas, etc); relaciones entre derivadas, razones de cambios y pendientes; e integrales con reas entre
4

Dos problemas interesantes, recopilados del libro del profesor Paul J. Nahin Dr. Eulers fabulous formula: Cures many mathematical ills 2006, pp. 84-88 y 181-187. El autor es un ingeniero elctrico.

curvas y promedios y ms adelante, las series de potencia como un modo de representar funciones como la suma infinita de funciones potenciales. Sin embargo, aun con el desarrollo de este nuevo clculo en la poca de Newton, que rpidamente se esparci por toda Europa y el mundo, an en el plano de los nmeros reales haba problemas de fcil planteamiento, pero aparentemente sin respuesta. Uno de ellos vena del teorema fundamental del lgebra, que deca que para una ecuacin de orden n, haba n races diferentes. Para poder entender races para ecuaciones tan simples como se tuvo que crean un conjunto de nmeros tales que ayudaran a resolver ecuaciones tales que donde al valor se le puso la

variable i por el trmino imaginario. De esto surgi el llamado reino de los nmeros complejos, que no son sino la suma de una parte real y una parte imaginaria, que se denominan con el smbolo . No fue sino hasta que Jean Robert Argand pudo demostrar, unos 200 aos despus, el teorema fundamental del lgebra, para polinomios con coeficientes puramente reales o complejos, que el problema mostrado en el prrafo anterior tena dos soluciones. Para representar un nmero complejos, como consta de una parte real y una imaginaria, se debe utilizar un plano en dos dimensiones para representar un nmero, como propuso Argand5. La idea era representar a la variable imaginaria i como una rotacin a 90 de la recta numrica real, y localizar los nmeros complejos como puntos en este espacio. Finalmente, podamos localizar estos nmeros en el espacio geomtricamente. Otro gran aporte al entendimiento de los nmeros complejos provino de la llamada identidad de Euler. La misma, segn dedujo el mismo Leonhard Euler, se verificaba como segua: al expandir la expresin de potencias, se obtiene que6: utilizando series

Lo public en 1806 en su Essai sur une manire de reprsenter les quantits imaginaires dans les constructions gomtriques 6 Una prueba escrita por Richard Feynman en su adolescencia, en 1933 (a sus 15 aos) que hoy da reposa en los archivos del California Institute of Technologies, se provee en la primera pgina del libro de Paul J. Nahin Dr. Eulers fabulous formula: Cures many mathematical ills 2006,.

Identidad que ha sido de un amplio uso en el estudio de las variables complejas. Su forma ms famosa es cuando a la variable x se le da el valor de es decir, con la forma , declarada usualmente como una de las

frmulas matemticas ms bellas de la historia. Primero, como el mundo de los nmeros complejos no es una recta, sino un plano, deben introducirse algunos conceptos y redefinirse otros, usando algunos conceptos de la teora de conjuntos. Cuando hablamos de nmeros complejos, debemos recordar que estos estn contenidos dentro del conjunto que . , de nmeros complejos. Esto se escribe como

Si elegimos un subconjuntos de estos nmeros que no estn en todo usualmente decimos que es un subconjunto , usualmente lo escribimos como . Imaginar ahora algn conjunto de puntos en por alguna curva , tal que est separado de

. Se llama la vecindad de un punto z dentro de a todos

los puntos alrededor de z en algn crculo de radio r, centrado en z. Se denomina puntos interiores de a todos aquellos puntos cuya vecindad tenga puntos que estn contenidos dentro de la frontera sealada por .

Igualmente, se denominan puntos lmites a aquellos puntos que no se puede elegir un radio r lo suficientemente pequeo, alrededor de un punto, sin que este encierre puntos de la frontera .

Con esto, denominamos a un conjuntos de puntos como abierto sin contiene solamente puntos interiores. En caso de contener puntos en la frontera, lo denominamos un conjunto cerrado.

Adems,

hablamos

de tales

un

conjunto que

desconectado

cuando

existen

subconjuntos

. Esto significa que, si

puedo partir el conjunto en dos subconjuntos, tales que no haya elementos en comn entre ellos, se habla de un conjunto desconectado. Cuando existe una interseccin distinta del conjunto vaco entre cualesquiera dos subconjuntos en que se pueda dividir dicho conjunto, hablamos de un conjunto conectado. Finalmente, definimos un dominio como un conjunto abierto y conectado 7. Usualmente, a los dominios se les denomina con una letra mayscula, como la letra D. Con este nuevo concepto de dominio en el plano complejo, la pregunta de cmo tratar una curva o un contorno en dicho plano complejo, o cmo describirlo o dibujarlo, pues el mismo sera una funcin o mapeo de varias variables en el dominio dado. En variables complejas, las funciones mapean un dominio entero en dos dimensiones, dgase D, en un conjunto imagen llamado D. Entonces Qu puede ser una curva en un diagrama de Argand? En un dominio D, la definicin de una curva no es sino un conjunto de nmeros complejos unidos entre s. Es decir, no obedecen las reglas de funciones, por lo que pueden tener formas tan simples o no simples como se desee. Un modo comn de trabajar con estas curvas, es utilizar la recta horizontal como la variable x y la recta vertical como la variable y, y utilizar una especie de funcin de varias variables que mapea alguna forma dada en el dominio D, segn algn parmetro real t. A este proceso se le llama parametrizacin. Un ejemplo clsico de parametrizacin es la de un crculo. Considerar la parametrizacin (lo cual se lee como alfa es una

parametrizacin que mapea el parmetro t desde cero hasta dos pi, en la curva gamma) que mapea un crculo. El crculo puede escribirse como donde, al variar el parmetro t desde cero hasta dos pi, se demarca un crculo de radio r en el dominio D tal que crece desde el eje x en direccin contraria de las manecillas del reloj, hasta volver al mismo punto.

Las definiciones vistas de conjunto abierto, cerrado, conectado y desconectado se obtuvieron del primer captulo del texto de Francis J. Flanigan Complex Variables: Harmonic and Analytic Functions.

Como se puede imaginar, existe una amplia gama de parametrizaciones posibles, hasta para una misma figura. Usualmente se habla de ciertas parametrizaciones especiales, aplicadas exclusivamente a las denominadas curvas suaves, como sigue: una curva es considerada suave cuando las derivadas de sus respectivas parametrizaciones existen, son continuas y distintas al vector parmetro. Se define una curva suave cerrada, aquella donde, dado el parmetro t definido en el intrvalo cumple con que , es tal que dada la parametrizacin . Sino es el caso, se habla de una curva suave . La . Visto desde para todos los nmeros dentro del intervalo del

abierta. Adems, definimos una curva simple a aquella donde curva es no simple cuando pero

otro punto de vista, la curva es simple cuando no se cruza sobre s misma, o que no vale lo mismo para dos parmetros distintos de t. Si no es el caso, entonces se habla de curva no simple. Se habla de un convenio en particular, llamado curva de Jordan a aquella curva tal que el complemento , consiste en dos conjuntos disjuntos, uno

acotado (interior), y otro no acotado (exterior). Las curvas de Jordan tienen direccionalidad: si un punto viaja a travs de la curva de modo tal, que el dominio acotado est a mano izquierda del punto, se dice que la curva est orientada positivamente; en caso contrario, hablamos de una curva orientada negativamente.

El uso de curvas de Jordan, en general, hace mucho ms simple muchos anlisis en el plano complejos. En general, durante el desarrollo de los problemas vistos ac, se usarn curvas de Jordan para modelado de los problemas. Los operadores binarios bsicos en el plano complejo (suma, resta, multiplicacin y divisin) entre dos nmeros complejos, siempre genera otro nmero complejo. Qu hay del clculo diferencial? Hay varios conceptos de variable real que no pueden ser aplicados a la variable compleja, que son visibles en el diagrama de Argand

geomtricamente, empero pueden deducirse varios de variable real desde los de variables complejas. Algunos de ellos se citan a continuacin 8:

Los nmeros complejos no tienen orden: en general, en nmeros que pertenecen a , el orden se determina por su pertenencia a la recta

numrica propiamente dicha; es decir, se deca que un nmero era mayor cuando era ms positivo que otro, y similar con el concepto de nmero menor. Sin embargo, el concepto de orden no aplica para nmero elementos de , pues estos se encuentran en un espacio

bidimensional, y no hay manera de hablar de nmeros ms o menos negativos.

El concepto de infinito: as, igualmente, el infinito del clculo en implicaba que era una tendencia de un nmero a crecer sin lmite, o a no tener una cota definida; en algunos casos, a ser un nmero muy grande. En variable compleja, al no haber orden, no puede hablarse de un nmero complejo infinito.

El concepto de mdulo para un nmero complejos: para eliminar el problema de los dos conceptos anteriores, se cre el concepto de mdulo de un nmero complejo. Este consiste en su distancia al origen del diagrama de Argand, el cual se obtiene con el conocido teorema de Pitgoras. Con este, es posible determinar un cierto orden entre nmeros complejos, sin olvidar que este orden no existe, sino que es determinado por la distancia al mismo hacia el origen de coordenadas. Debe destacarse que, igualmente, puede emplearse un mdulo respecto a otro punto cualquiera. Dado esto, un nmero complejo puede definirse fcilmente en coordenadas polares, usando el mdulo y la identidad de Euler. El concepto de lmite: en clculo de variable real, el concepto de lmite ha sido utilizado para definir cuando nos acercamos o alejamos de un punto dado. Como existe el concepto de orden, nos podemos acercar al mismo desde la izquierda o desde la derecha, y analizar cualquier funcin para determinar su lmite, su derivada y dems. Sin embargo, en clculo de variable compleja, nos podemos acercar a punto desde un nmero infinito de direcciones, lo cual hace que, aunque el

Obtenidos todos de los captulos 1 y 2 de Introduccin al Anlisis Complejos con aplicaciones de Zill y Shanahan.

planteamiento del concepto de lmite sea el mismo, geomtricamente es mucho ms complejo de definir. El concepto de continuidad en el plano complejo se mantiene intacto, es decir, una funcin compleja es continua en un punto, si est definida en dicho punto, el lmite desde cualquier direccin a se punto es el mismo sin importar la direccin, y dicho lmite es igual al valor de la funcin en se punto. El problema es, justamente, evaluar dicho lmite, pues podemos acercarnos al punto en cuestin desde absolutamente cualquier direccin y forma posible. Para poder evaluar ms claramente el concepto de lmite de una funcin, se introducen un cierto tipo de funciones complejas: las funciones analticas. Se llaman funciones analticas a aquellas funciones complejas que son derivables en un punto y en una vecindad dada de este punto. Es decir, el decirle a una funcin analtica en un dominio, significa que la funcin es derivable en todos los puntos en dicho intervalo. Adems, el decir que una funcin es analtica en un dominio, indica que la misma tiene derivadas continuas en el mismo, lo cual es condicin suficiente para demostrar continuidad. Es decir, el concepto de funcin analtica representar por s la continuidad de dicha funcin en todo el intervalo. Cuando una funcin es analtica en todo el plano complejo se le denomina funcin entera. Las funciones que son analticas tienen ciertas particularidades, que nos permiten trabajar con ellas de diversas formas, tales como las ecuaciones de Cauchy-Riemann, que permiten demostrar la analiticidad de las funciones que cumplan con la ecuacin de Laplace, llamadas harmnicas. Es decir, todas las funciones armnicas, tambin son consideradas continuas. De aqu que las funciones complejas son transformadoras de dominios enteros, o de curvas entre dominios. Podemos regresar a las curvas o a los dominios originales, dado un dominio ya mapeado? Pues s se puede, s y slo s la funcin es llamada unvoca (donde un punto en el dominio D, nos permite llegar al rango D) mientras que si es multvoca una funcin, decimos que esta no tiene inversa. En general, puede transformarse una funcin multvoca en unvoca con escoger un rango de valores apropiados. Entonces, de entre las funciones especiales, o mapeos, que se pueden utilizar en matemtica de nmeros complejos, podemos hablar especialmente de unos mapeos llamados conformes. Se le denomina as a los mapeos que no

modifican los ngulos de interseccin entre dos curvas del dominio, a las curvas del rango. Segn el teorema de mapeo de Riemann determina que toda curva en un dominio, con tal que el dominio no sea todo el plano C, tiene un mapeo que la represente de manera conforme en el rango dado. El inconveniente est en que dicho teorema no me dice cul es dicho mapeo, lo cual suele convertirse en el dolor de cabeza a la hora de resolver problemas. Cul es ste mapeo? Pues en el caso particular nuestro, nos basamos en la frmula de Schwarz-Christofel9, cuyo principio fundamental es el siguiente: se puede mapear un dominio D dado, seleccionando unos puntos en el eje real de dicho dominio, y transformar o hasta encerrar todo el dominio dentro de un polgono de n lados. A continuacin se explica ms a fondo el asunto del polgono. Suponga una variable compleja z tal que z = x + yi. Adems, suponga una relacin lineal entre las partes real e imaginaria de z, es decir, y = mx + b. Esta ecuacin me permite conocer, solamente con el valor de x, el valor de todo el nmero complejo z. Ahora, suponga que se resta al nmero complejo z algn valor x1. Esto significa que, si la lnea recta antes cortaba al eje real en el punto z = x0 + 0i, ahora cortar en el punto z = (x o x1) + 0i. Es decir, la curva se traslada del punto xo al punto xo x1. Esto quiere decir que, restar un nmero real, me mueve la lnea recta de un punto a otro. Ahora, Qu hace elevar esta funcin compleja a un nmero real / ?. Recordando que el nmero complejo puede representarse en forma polar como un mdulo y un ngulo, tales que z = x + yi = re i, donde es el ngulo que dicha distribucin lineal har con la vertical. Al elevar a se obtiene, entonces, una rotacin de dicha lnea recta de un ngulo a un ngulo / . En general, una traslacin lineal y un cambio en el ngulo se haran al aplicar el siguiente mapeo:

Este mapeo moviliza lneas hacia el punto x 0, y rota las lneas en un ngulo (/). Podemos sugerir que este mapeo tiene una particularidad: las pendientes en el plano w sern constantes en la medida en que nos movemos hacia el punto x 0. Qu tanto cambia w cuando variamos z con este mapeo?
9

La mayora de la informacin sobre esta transformada se obtuvo de Introduccin al Anlisis Complejo con aplicaciones de Dennis G. Zill y Patrick D. Shanahan y Conformal Mapping de Zeev Nehari

Como este mapeo traslada las lneas slo sobre el de Re{z}, veremos qu ocurre cuando hacemos a z = t la parametrizacin de este mapeo, tal que . Analizando el argumento de esta derivada, obtenemos:

Analizando esto, veremos que el argumento de esta funcin variar en funcin de t, y como el primer trmino es el argumento de un nmero puramente real, sabemos que es 0. Si t es infinitamente grande y negativo, sabemos que . Si seguimos avanzando, como este argumento es de un nmero puramente real, el mismo seguir siendo mientras t<x0. Cuando

, se transforma en 0. Esto contina as hasta que t tiende a infinito. Qu hay en el caso de una derivada, pero con dos mapeos multiplicados entre s?

Entonces, viendo nuevamente los argumentos:

Donde aqu, x0 < x1 y z = t, donde

.Trasladando t en el intervalo

obtendremos un ngulos mltiplo de , ms especficamente, sera trasladndonos en el intervalo entre x0 y x1, obtendremos para el intervalo que hace falta, donde nos da 0. . Luego,

, y similar

El motivo por el cul solemos utilizar este mapeo en su forma integral, es justamente para forzar esta condicin de argumento constante entre intervalos. Esta condicin de argumentos constantes entre intervalos permite, justamente, obtener formas poligonales en el rango del mapeo. Los ngulos mostrados anteriormente, obtenibles con la derivada de w respecto a z, nos dan los ngulos interiores de un polgono, que puede o no estar acotado completamente. En todo caso, si definimos el ngulo exterior de un polgono como su suplemento, y lo denominamos como , obtenemos que . Definiendo este ngulo, podemos ver que el argumento obtenido por la derivada, no ser sino la suma de los ngulos externos de los polgonos. Por un teorema de geometra bsica, conocemos que la suma de todos los ngulos externos de un polgono siempre debe sumar 360 o 2 . El problema de Schwarz-Christofel es el siguiente: dado una figura en un dominio, podemos transformar todo dicho dominio en un polgono cerrado? De todo lo anterior, trataremos de buscar dicho mapeo. Definiremos que dicho mapeo en cuestin, al solamente basarse en rotaciones y traslaciones, podra tener una forma lineal como sigue: , donde

Donde A y B son dos constantes complejas. El objetivo ideal de esta transformacin, es encontrar el valor de la funcin f 1(z) para poder obtener este mapeo. Podemos definir que, por la forma en cuestin:

Podemos entonces obtener la til relacin:

Si queremos estudiar qu ocurre con los puntos singulares, vistos anteriormente, donde el ngulo cambia de un punto a otro, se analizar una

pequea funcin h(z) que tratar de evaluar la diferencia entre una funcin f(z) y una funcin f(x0), donde x0 es un punto singular.

Donde, con esta funcin, llegaramos al mismo resultado visto arriba con los argumentos. De aqu que, despejando para f(z) obtenemos:

Donde, si reemplazamos dicho ngulos con su complemento y el ngulo mostrado obtenemos:

Donde, por lo visto anteriormente, h(x 0) = 0. Sin embargo, claramente para dicha funcin. Adems, por lo visto con los argumentos, este pequeo cambio debe poder escribirse en una lnea recta que salga del punto x0. Entonces, es posible asumir que la forma de h(z) puede escribirse como:

Donde se ve claramente que h(z) vale 0 en el punto x 0, y solamente asumimos que la funcin h1(z) no tiene derivada igual a cero en dicho punto. Reescribiendo entonces la ecuacin previa se obtiene:

De aqu, y al buscar la razn entre la segunda y la primera derivada se obtiene que:

Entonces:

Si prestamos cuidadosa atencin vemos que:

Entonces:

Adems:

Entonces:

De aqu deducimos que:

Donde el ltimo reemplazo se hizo con el siguiente propsito: observar las derivadas que forman la funcin k(z). Se mencion que la funcin h(z) tiene singularidades en z = x0. Esto, sumado al hecho de que la funcin funcin , nos permite conocer que la