13. Funciones básicas 1
Función Exponencial Sea z = x+iy, definimos la función exponencial como: ¿Por qué? (1) ez se reduce a ex cuando z es real (cuando y = 0). (2) ez es una función entera (es analítica en todo punto). (3) Su derivada coincide con la función misma, como en el caso de la exponencial real. 2
(2) Veamos que ez es una función entera, es decir analítica para todo z: Tenemos: u(x, y) = ex cos y ; v(x, y) = ex sin y cuyas derivadas parciales son continuas para todo (x, y) y ux = ex cos y = vy uy = -ex sin y = -vx es decir, cumplen las ECR, para todo (x, y). (3) Su derivada es: 3
Podríamos haber abordado la definición de la siguiente manera: Recordando que la función exponencial real se determina por la ecuación diferencial f'(x) = f(x) con f(0)=1, nos preguntamos si existe una solución analítica a: f'(z) = f(z) con f(z)=1. Si la solución existe, coincidirá con ex cuando z = x. Supongamos como soluciones (separación de variables): 4
Derivemos ambas ecuaciones respecto a y y apliquemos CR: Todas las soluciones son de la forma: con A y B constantes. Como: 5
O bien podríamos haber alcanzado la definición a través de series. . . 6
Propiedades de la función exponencial (1) 7
(2) Resolvamos ez = 1: Igualando la parte imaginaria: ex sin y = 0 y = n (n = 0, 1, 2. . . ). Igualando la parte real: 1 = ex cos y = ex cos ( 2 n ) = ex x=0. z = 2 n i (n = 0, 1, 2. . . ). En particular e 0 = 1. (3) (ez)-1 = e-z Observemos que 1 = e 0 = ez-z = ez e-z. (4) (ez)n = enz , con n entero. Para n=0, 1 la igualdad es cierta por definición. Para n > 1, aplicamos ez+w = ez ew e inducción. Para n < -1, (ez)n = [(ez)-1] –n = (e-z) –n = enz. 8
9
(5) Observemos que ez 0 z. El rango de la función exponencial es todo el plano w, excepto 0, C - {0}. (6) arg ez = y 2 n (n = 0, 1, 2. . . ). (7) De modo que ez es periódica con periodo 2 i y ez+ 2 i = ez z v 3 Así que podemos dividir el plano z en bandas periódicas infinitas de ancho 2. De modo que la imagen de cada banda llena la totalidad del plano w (excepto w = 0). La banda - < y se denomina región fundamental o principal de ez. x u - -3 10
Las líneas y = c e y = d se transforman en los rayos respectivamente (a excepción del origen). Las línea x = a y x = b se transforma en los círculos de radio R = a, b respectivamente. Combinando ambos hechos, observa como se transforma el rectángulo. 11
f(z) = exp(z) = ex (cos y + i sen y) Esquema de color dependiente del valor real Dominio Rango 12
f(z) = exp(z) = ex (cos y + i sen y) Esquema de color dependiente del valor imaginario Dominio http: //winnie. fit. edu/~gabdo/function. html Rango 13
The complex exponential maps the infinite open strip bounded by the horizontal lines through ±πi one-toone onto the plane minus the negative real axis. The lines of constant real part are mapped to circles, and lines of constant imaginary part to rays from the origin. In the animation we view a rectangle in the strip rather than the entire strip, so the region covered is an annulus minus the negative real axis. The inner boundary of the annulus is so close to the origin as to be barely visible. We also make the strip a bit thinner than 2π, so that the annulus does not quite close up. 14
ez = ex (cos y + i sen y) (1. 1) 15
16
17
18
19
20
21
22
(8) Fórmula de Euler Cuando z es imaginario puro (x = 0): 23
¿Cómo llegó Euler a esta fórmula? (Series de potencias. . . ) 24
(9) “The most remarkable fórmula in math” (Richard Feynman) Observa que para la fórmula de Euler, nos proporciona la siguiente identidad: 25
From Gianluca Gorni's web site 26
(10) |eiy| = |cos y + i sin y| = (cos 2 y + sin 2 y) = 1 (11) |ez| = |ex+iy|= |ex| |eiy|= |ex|= ex > 0 Ejercicio: Hallar todas las soluciones de ez = 3+4 i Solución: Igualando módulos |ez| = ex = 5 x = ln(5) = 1, 609. Igualando partes real e imaginaria: ex cos y = 3; ex sin y = 4 cos y = 0, 6; sin y = 0, 8 y = 0, 927 2 n z = 1, 609 + (0, 927 2 n ) i (n = 0, 1, 2. . . ) 27
(12) Las formas exponencial y trigonométrica Recuerda que la forma polar para un número complejo es La fórmula de Euler nos dice que Forma exponencial de un número complejo 28
(13) La función exponencial y el conjugado ¿Qué números complejos satisfacen la expresión ? El módulo es 1 y puede tomar cualquier valor, de modo que satisfacen la expresión todos los números complejos sobre el círculo unidad. ¿Qué números complejos satisfacen la expresión ? Todos los números complejos sobre un círculo de radio 2, centrado en z 0=1 29
(14) Producto y división en forma exponencial Es sencillo multiplicar y dividir en forma exponencial. Por ejemplo, dividamos: En general: 30
31
Aplicación: Fasores Muchas señales pueden ser representadas como senoides: 32
Representación de un número complejo en forma de fasor 33
Cambio de Fase 34
Corriente Alterna Circuitos Resistencia R La tensión está en fase con la corriente La tensión se retrasa respecto a la corriente en Inductancia L La tensión adelanta a la corriente en 35
36
Definimos la impedancia compleja Z como Resistencia Capacitancia Inductancia Cada una de esas fórmulas pueden ser escritas como Si definimos la tensión compleja como V = IZ podemos escribirlo en la forma 37
Funciones trigonométricas A partir de la fórmula de Euler: Podemos escribir: 38
(Un paréntesis) Whittaker & Watson, A Course of Modern Analysis, Fourth edition 1927 39
Observa que los autores suponen que el lector está familiarizado con la siguiente identidad trigonométrica: que es equivalente a: 40
2 sin ( k /n ) Esta identidad trigonométrica es equivalente al siguiente teorema geométrico: Si equiespaciamos n+1 puntos alrededor del círculo unidad y trazamos un conjuntos de cuerdas paralelas, entonces el producto de las longitudes dobladas de las n-1 cuerdas es n.
2 sin ( k /n ) 2 si n ( k /n ) Reordenando las cuerdas, introduciendo números complejos y usando la idea de que el valor absoluto y la suma de números complejos corresponde a la adición de vectores. La longitud de la k-ésima cuerda será: Y el producto de la longitud de las n-1 cuerdas será:
2 si n ( k /n ) Introduzcamos un número complejo arbitrario z y definamos la función: Evaluemos: Para ello observemos que en los factores aparecen los n números: , que son las raíces enésimas de la unidad.
2 si n ( k /n ) Las n raíces de la unidad son solución de la ecuación: Por el teorema fundamental del álgebra, la ecuación polinómica tiene exactamente n raíces, que son: Así el polinomio puede factorizarse únicamente como: Como, además: Así: Longitud del producto de las n-1 cuerdas y Finalmente tenemos:
Teorema de Cotes (1716) Roger Cotes (1682 – 1716) Si es un n-ógono regular inscrito en un círculo de radio unidad centrado en O y P el punto sobre a distancia x de O, entonces Nota: Cotes no publicó una prueba de este teorema, quizás porque el uso de los números complejos no eran todavía considerado una manera respetable de probar un teorema en geometría. 45
Funciones trigonométricas de variable compleja A partir de la observación anterior, resulta natural definir las funciones seno y coseno de una variable compleja z por medio de las siguientes expresiones: Observa que en Con estas definiciones: variable compleja las funciones trigonométricas y exponencial están íntimamente relacionadas, cosa que no ocurre en variable real. (1) cos z (sin z) se reduce a cos x (sin x) cuando z es real. (2) cos z y sin z son funciones enteras (analíticas en todo punto). (3) Sus derivadas coinciden con sus equivalentes en variable real. 46
Ejemplo: Resolver cos z = 5. Solución: Aplicamos la definición en exponenciales del coseno: cos z = [eiz + e-iz]/2 = 5 eiz + e-iz – 10 = 0; multiplicando la ecuación por eiz ei 2 z – 10 eiz + 1 = 0; Haciendo el cambio de variable t = eiz = 5 (25 -1) = 9. 899 o 0. 101 e-y = 9. 899 ó 0. 101 y = 2. 292 eix = 1 x = 2 n (n=0, 1, 2. . ) z = 2 n 2. 292 i (n=0, 1, 2. . ) 47
Two-to-one coverings of a disk by the complex cosine restricted to a rectangle of width 2π and height 2 centered at the origin. 48
Two-to-one coverings of a disk by the complex sine restricted to a rectangle of width 2π and height 2 centered at the origin. 49
El resto de funciones trigonométricas se definen en relación a las funciones seno y coseno mediante las relaciones conocidas: Observa por ejemplo que: tan z y sec z (cot z y csc z) no son enteras, ya que no son analíticas en los puntos donde cos z (sin z) es 0. Las fórmulas usuales para las funciones trigonométricas de variable real siguen siendo válidas para las correspondientes de variable compleja: 50
51
Funciones hiperbólicas de variable real (recordatorio) Las funciones hiperbólicas reales se definen por analogía a las definiciones de seno, coseno y tangente en variable compleja: 52
Representación gráfica de las funciones reales hiperbólicas Nota: La ecuación de una cuerda suspendida de dos puntos a la misma altura es æ xö = a cosh ç ÷. y èaø La curva se conoce como catenaria. 53
Interpretación de las funciones hiperbólicas reales Así como las funciones circulares (trigonométricas) aparecen en problemas que involucran integrales con (1 -x 2)1/2, las hiperbólicas aparecen con (1+x 2)1/2. 54
Derivadas de las funciones hiperbólicas reales Demostración: • • • 55
56
Escribamos las funciones trigonométricas complejas en forma binómica: De la misma manera para la función seno tenemos: 57
Si particularizamos en las definiciones de las funciones trigonométricas complejas para z = ix tendremos: 58
Estos resultados nos dan una regla general para convertir identidades trigonométricas en identidades hiperbólicas: Cualquier identidad trigonométrica seguirá siendo válida si reemplazamos sin(), cos(), tan() por sinh(), cosh(), tanh() respectivamente. Teniendo en cuenta, además, que si hay un producto de dos sin() ó tan(), cambia el signo del término sustituido. Por ejemplo: 59
(1) Resolver cos z = 0 cos z = cos x cosh y – i sin x sinh y = 0 Parte real: cos x cosh y = 0 cos x = 0; x = (2 n+1) /2 (n = 0, 1, 2. . . ) Parte imaginaria: sin x sinh y = 0; y = 0 z = (2 n+1) /2 (n = 0, 1, 2. . ) (2) Resolver sin z = 0 sin z = sin x cosh y + i cos x sinh y = 0 Parte real: sin x cosh y = 0 sin x = 0; x = n (n = 0, 1, 2. . . ) Parte imaginaria: cos x sinh y = 0; y = 0 z = n (n = 0, 1, 2. . ) Los ceros de cos z y sin z son los mismos que los de sus análogas funciones cos x y sin x reales. 60
Funciones hiperbólicas complejas Hemos definido las funciones hiperbólicas de una variable real como: Parece natural definir las funciones hiperbólicas de variable compleja mediante las expresiones: (1) Estas funciones son enteras y con derivadas: (cosh z)’ = sinh z ; (sinh z)’ = cosh z (2) Otras funciones hiperbólicas se definen como: tanh z = sinh z / cosh z ; coth z = cosh z / sinh z sech = 1/cosh z ; csech z = 1/sinh z que son analíticas excepto en los puntos en que el denominador se anula. 61
Escribamos las funciones hiperbólicas complejas en forma binómica: De la misma manera podemostrar que: 62
Ejemplo: Veamos que |cos z|2 = cos 2 x + sinh 2 y |cos z|2 = cos 2 x cosh 2 y + sin 2 x sinh 2 y Como cosh 2 y – sinh 2 y = [½(ey + e-y)]2 -[½(ey - e-y)]2 = 1 |cos z|2 = cos 2 x (1 + sinh 2 y) + sin 2 x sinh 2 y = cos 2 x + sinh 2 y Ejercicio: Demostrar que : cosh (iz) = cos z y sinh (iz) = sin z Ejercicio: Demostrar la identidad de Moivre para funciones hiperbólicas: 63
64
65
Ejercicio: Hallar todas las soluciones de la ecuación . . Hacemos , y la ecuación resulta: , cuyas soluciones son: , de donde , y también con k un número entero. Despejando z se obtiene la solución: , con k un nº entero. 66
f(z) = sen z Esquema de color dependiente del valor imaginario Dominio Rango 67
68
69
70
Pescando Biomorfos Algunas veces me considero un pescador. Los programas de ordenador y las ideas son mis herramientas, cañas y redes. Los gráficos que aparecen en mi pantalla son trofeos y deliciosas mieles. Clifford A. Pickover, Computers, Pattern, Chaos and Beauty http: //sprott. physics. wisc. edu/pickover/home. htm 71
Partimos de una función iterada: : Escogemos una región del plano complejo y tomamos cada punto de esta región como semilla inicial z 0 para iterar. Tomemos uno de ellos. Lo iteramos, por ejemplo, 150 veces. Conocido el valor final de z, pintamos en función del valor absoluto de su parte real e imaginaria: (1) Si alguna de ellas excede o es igual a 100 (por ejemplo), pintamos z 0 como un punto blanco, (2) En caso contrario lo pintamos en negro. Biomorfos 72
Función logarítmica Definimos el logaritmo de un número complejo z como (|z| > 0, no continua en z = 0). Definido de esta manera, observemos que: El logaritmo complejo es multivaluado, una correspondencia multívoca, no una biyección. Debido a la multivaluación de la función arg z, a cada z corresponden un número infinito de valores. 73
Por ejemplo, calculemos el valor de Para cada valor de n obtenemos un posible valor de la función logaritmo. Podemos construirnos una función unívoca tomando el argumento principal Arg z, en vez de arg z. 74
Valor principal del logaritmo Tenemos: El valor principal de ln z se define como el valor correspondiente al valor principal del argumento de z: valor principal Usamos la letra mayúscula L para designar al valor principal: 75
76
(1) Esta es una relación familiar para los logaritmos naturales Sea z 1 = z 2 = e i = -1, entonces si tomamos ln z 1 = lnz 2 = i observa que ln(z 1 z 2) = ln(z 1) + ln(z 2) = 2 i = ln(1) PERO: ¡no se cumple para el valor principal! Ln(z 1 z 2) = Ln(1) = 0 ln(ez) = ln(ex+iy) = ln(ex) + i y 2 n i = z 2 n i 77
78
Resumen repetición 79
80
81
82
83
Esquema de color dependiente del argumento Dominio Rango 84
85
86
87
Derivada del ln(z) Sea ln z = u(x, y) + i v(x, y). Entonces: u(x, y) = ln|z| = ½ln(x 2+y 2) v(x, y) = arg z = tan-1(y/x) + 2 n ; n=0, 1, . . . ux = x/(x 2+y 2) vy = y/(x 2+y 2) (ln z)/ = ux + i vx= x/(x 2+y 2) – i y/(x 2+y 2) = (x - i y)/(x 2+y 2) = 1/z Ejercicio: Repetir los cálculos anteriores en polares. 88
Analiticidad de Ln z Como no existe ln 0, Ln z no está definido en z = 0. Como el argumento principal Arg z toma valores , el logaritmo experimenta un “salto” al cruzar el eje real negativo. 89
De modo que podemos tomar como dominio de analiticidad: D = plano z –{R- U 0} Analítica en todo punto excepto aquí El logaritmo no es analítico en z = 0 ni a lo largo del eje real negativo ¿Existen y son continuas las derivadas parciales y se cumplen las ECR en el dominio D? ux = x/(x 2+y 2) = vy = [1/(1+(y/x)2)](1/x) Se satisfacen ECR 2+y 2) = -v = -[1/(1+(y/x)2)](-y/x) uy = y/(x x 90
91
92
93
Repetimos: tomaremos como dominio de analiticidad D = Z -{R- U 0}, o en polares los z's tq. r > 0 y -π < ө π. Veamos sin son continuas las derivadas parciales y se cumplen las ecuaciones de CR en el dominio D en polares: 94
![Ejemplo: determinar el mayor dominio de analiticidad de la función f(z) = Ln[z-(3+4 i)].](https://present5.com/presentation/c4f74bfcb28092ddd163cc566d5834c2/image-95.jpg "Ejemplo: determinar el mayor dominio de analiticidad de la función f(z) = Ln[z-(3+4 i)].")
Ejemplo: determinar el mayor dominio de analiticidad de la función f(z) = Ln[z-(3+4 i)]. El Ln() es analítico para todo punto del plano z excepto la recta semi-infinita negativa y el cero. Descartaremos los valores de z que hacen que el argumento de f() sea negativo o cero: z-(3+4 i) = x+iy-3 -4 i = (x-3)+i(y-4). Es decir: y-4 = 0, x-3 0 y = 4 3+4 i x 3 4 3 95
a) Determinar la región del plano complejo en la que la función es analítica. Considérese la determinación del logaritmo correspondiente al ángulo Im(w) Re(w) determinación Examen JUNIO 04/05: P-1 96
97
b) Determinar la región del plano en la que la función es analítica. Respuesta. Determinación principal no analítica en: w 1 = 0; Re(w 1) < 0; Im(w 1) = 0 1) π/z no analítica en z = 0. 98
99
n=0, ± 1, ± 2. . . 100
k=0, ± 1, ± 2. . . 101
Obtener los puntos del plano complejo donde la función es analítica. Considerar la determinación principal. 102
Zonas de no analiticidad – plano w Zonas de no analiticidad – plano z Im(z) Im(w) Re(w)<0 Im(w)=0 -1 1 Re(z) (Re(z)<-1) y (Re(z)>1) Im(z)=0 103
![Sol. : u(x, y) = 1/2 Log [x 2 + (y-3)2] v(x, y) =](https://present5.com/presentation/c4f74bfcb28092ddd163cc566d5834c2/image-104.jpg "Sol. : u(x, y) = 1/2 Log [x 2 + (y-3)2] v(x, y) =")
Sol. : u(x, y) = 1/2 Log [x 2 + (y-3)2] v(x, y) = Arg (z-3 i) + 4π f(z) = Log |z - 3 i| + 4πi 104
105
106
Funciones trigonométricas e hiperbólicas inversas Determinemos la inversa del seno a partir de Demostrar: Todas ellas son multiformes. . . 107
108
109
110
111
El valor principal de la arcotangente será: 112
113
114
Demostrar la expresión y calcular todos los valores posibles de . Examen JUNIO 02/03: P-1115
P 1. Junio 2007 1. Obtener la forma binómica de Respuesta. 116
a) Solución con signo negativo de la raíz cuadrada: 117
b) Solución con signo positivo de la raíz cuadrada: 118
119
Potencias Podemos expresar potencias de números complejos en forma de funciones exponenciales/logarítmicas cuando el exponente es real. Por ejemplo, En general, para k real: Definamos ahora donde c = a+bi es complejo como: El valor principal de zc será ec. Ln(z) Observa que si z = e entonces zc = ec proporciona un único valor: ec = ea(cos b + i sin b). Para cualquier otra base, dado que ln(z) es multivaluado, zc lo será también. El número de valores es infinito excepto cuando c es racional. 120
Es decir: · Si c = n = 1, 2, . . entonces zn es univaluado e idéntico a la potencia enésima habitual de z · Si c = n = -1, -2, . . la situación es similar. · Si c = 1/n = 2, 3, . . entonces zc = n z = e(1/n)ln z (z 0) el exponente se determina en función de los múltiplos de 2 i/n y obtenemos distintos valores de la raíz nth · Si c = p/q, siendo el cociente de dos enteros positivos, zc tiene un número finito de valores distintos. · Si c es irracional o complejo entonces zc es infinitamente multivaluado. 121
Ejemplo: Calcular ii ¡Infinitos valores reales! Valor principal real Ejercicio: Calcular la derivada de 122
123
124
125
126
127
128
129
Recuerda que una función es analítica en una región R si es diferenciable en todos los puntos de R. Los términos función holomorfa, función diferenciable, función compleja diferenciable o función regular se usan a menudo de forma intercambiable para referirse a función analítica. Muchos matemáticos prefieren el término “función holomorfa”, mientras que “función analítica” es más usado por físicos e ingenieros. Recuerda que una función analítica en todos los puntos del plano complejo se llama entera. Como hemos visto una función analítica puede no serlo en uno o más puntos singulares o a lo largo de los cortes de ramas. Para acabar, una función univaluada que es analítica en todo punto de su domino a excepción de un conjunto discreto de singularidades (polos y singularidades no esenciales), se denomina función meromorfa. 130
M. C. Escher 131
The Mathematical Structure of Escher’s Print Gallery B. de Smit and H. W. Lenstra Jr. Notices of the AMS, vol. 50, N. 4 (April 2003) ¿Qué efecto quiere conseguir Escher en esta litografía? ¿Por qué aparece una mancha blanca en el centro del cuadro? Prentententoonstelling (Galería de grabados) 132 M. C. Escher 1956
“Lo que yo traté de representar era solamente una superficie que se hincha, de forma anular, sin principio ni fin. ” El espejo mágico de M. C. Escher (Bruno Ernst, ed. Taschen) 133
Mundo “real” Transformación Mundo “curvo” 134
Cualquier camino simple cerrado alrededor del origen del mundo “curvo” se antitransforma en un camino no cerrado en el mundo “real”. Por ejemplo el camino ABCD. Anti-transformación Transformación 135
136
Rectificación de la litografía 137
El efecto Droste En Alemania la marca de chocolate Droste es famosa por el efecto visual de una de sus cajas de cacao. En ella la imagen se contiene a sí misma en pequeña escala. 138
Escher and the Droste effect http: //escherdroste. math. leidenuniv. nl/ Tras un zoom de 28 = 256 volvemos a la imagen original. 139
140
Reconstrucción 141
142
143
144
145
146
Una rotación en sentido horario de 157. 6255960832. . . grados y un zoom de 22. 5836845286. . nos devuelve a la imagen original. M. C. Escher: More Mathematics Than Meets the Eye, Sara Robinson. SIAM News, Vol. 35, N. 8, Ocober 2002. 147
Скачать презентацию 13 Funciones básicas 1 Función Exponencial Sea
c4f74bfcb28092ddd163cc566d5834c2.ppt