1.8: Funciones complejas como asignaciones
( \newcommand{\kernel}{\mathrm{null}\,}\)
Una función complejaw=f(z) es difícil de graficar porque toma 4 dimensiones: 2 paraz y 2 paraw. Entonces, para visualizarlos pensaremos en funciones complejas como mapeos. Es decir, pensaremos en tomar un punto en elz plano complejo y mapearlo (enviarlo) a un punto en elw plano complejo.w=f(z)
Utilizaremos los siguientes términos y símbolos para discutir las asignaciones.
- Una función también sew=f(z) llamará mapeo dez aw.
- Alternativamente escribiremosz↦w oz↦f(z). Esto se lee como "zmapas aw”.
- Diremos que "wes la imagen dez debajo del mapeo” o más simplemente "wes la imagen dez”.
- Si tenemos un conjunto de puntos en elz -plano hablaremos de la imagen de ese conjunto bajo el mapeo.
Por ejemplo, bajo el mapeoz↦iz la imagen delz eje imaginario es elw eje real.
La imagen del eje imaginario bajoz↦iz
El mapeow=z2. Visualizamos esto poniendo elz -plano a la izquierda y elw -plano a la derecha. Luego dibujamos diversas curvas y regiones en elz plano -y la imagen correspondiente debajoz2 en elw plano -plano.
En la primera figura mostramos que los rayos del origen son mapeados porz2 a los rayos del origen. Vemos que
- El rayoL2 enπ/4 radianes se mapea al rayof(L2) enπ/2 radianes.
- Los rayosL2 y ambosL6 están mapeados al mismo rayo. Esto es cierto para cada par de rayos diametralmente opuestos.
- Un rayo en ánguloθ se mapea al rayo en ángulo2θ.
f(z)=z2mapea los rayos desde el origen a los rayos del origen.
La siguiente figura da otra vista del mapeo. Aquí vemos franjas verticales en el primer cuadrante que se mapean a franjas parabólicas que viven en el primer y segundo cuadrantes.
z2=(x2−y2)+i2xymapea líneas verticales a parábolas orientadas a la izquierda.
La siguiente cifra es similar a la anterior, salvo que en esta figura observamos franjas verticales tanto en el primer como en el segundo cuadrantes. Vemos que mapean a franjas parabólicas que viven en los cuatro cuadrantes.
f(z)=z2mapea los dos primeros cuadrantes a todo el plano.
En la siguiente figura se muestra el mapeo de franjas en el primer y cuarto cuadrantes. El mapa de la imagen es idéntico a la figura anterior. Esto se debe a que el cuarto cuadrante es menos el segundo cuadrante, peroz2=(−z)2
Las franjas verticales en el cuadrante 4 se mapean de manera idéntica a las franjas verticales en el cuadrante 2.
Vista simplificada del primer cuadrante mapeado a los dos primeros cuadrantes.
Vista simplificada de los dos primeros cuadrantes mapeados a todo el plano.
El mapeow=ez. Aquí presentamos una serie de gráficas que muestran cómo se mapea la función exponencialz aw.
Observe que las líneas verticales se mapean a círculos y las líneas horizontales a los rayos desde el origen.
Las siguientes cuatro figuras muestran esencialmente lo mismo: la función exponencial mapea franjas horizontales a sectores circulares. Cualquier franja horizontal de ancho2π se mapea a todo el plano menos el origen,
Debido a que el plano menos el origen aparece frecuentemente le damos un nombre:
El plano perforado es el plano complejo menos el origen. En símbolos podemos escribirlo comoC - {0} oC/{0}.
La tira horizontal0≤y<2π se mapea al plano perforado
La tira horizontal−π<y≤π se mapea al plano perforado
Vista simplificada que muestraez mapas de la franja horizontal0≤y<2π al plano perforado.
Vista simplificada que muestraez mapas de la franja horizontal−π<y≤π al plano perforado.