Скачать презентацию 4 Funciones básicas 1 Función Exponencial Sea Скачать презентацию 4 Funciones básicas 1 Función Exponencial Sea

5337cdf5a918d58ce756928662346995.ppt

  • Количество слайдов: 147

4. Funciones básicas 1 4. Funciones básicas 1

Función Exponencial Sea z = x+iy, definimos la función exponencial como: ¿Por qué? (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: (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 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 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 O bien podríamos haber alcanzado la definición a través de series. . . 6

Propiedades de la función exponencial (1) 7 Propiedades de la función exponencial (1) 7

(2) Resolvamos ez = 1: Igualando la parte imaginaria: ex sin y = 0 (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 9

(5) Observemos que ez 0 z. El rango de la función exponencial es todo (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 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 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 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 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 ez = ex (cos y + i sen y) (1. 1) 15

16 16

17 17

18 18

19 19

20 20

21 21

22 22

(8) Fórmula de Euler Cuando z es imaginario puro (x = 0): 23 (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 ¿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 (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 From Gianluca Gorni's web site 26

(10) |eiy| = |cos y + i sin y| = (cos 2 y + (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 (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 ? (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 (14) Producto y división en forma exponencial Es sencillo multiplicar y dividir en forma exponencial. Por ejemplo, dividamos: En general: 30

31 31

Aplicación: Fasores Muchas señales pueden ser representadas como senoides: 32 Aplicación: Fasores Muchas señales pueden ser representadas como senoides: 32

Representación de un número complejo en forma de fasor 33 Representación de un número complejo en forma de fasor 33

Cambio de Fase 34 Cambio de Fase 34

Corriente Alterna Circuitos Resistencia R La tensión está en fase con la corriente La 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 36

Definimos la impedancia compleja Z como Resistencia Capacitancia Inductancia Cada una de esas fórmulas 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 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 (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 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 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 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 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 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 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 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: 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 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 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 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 51

Funciones hiperbólicas de variable real (recordatorio) Las funciones hiperbólicas reales se definen por analogía 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 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 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 Derivadas de las funciones hiperbólicas reales Demostración: • • • 55

56 56

Escribamos las funciones trigonométricas complejas en forma binómica: De la misma manera para la 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 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: 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 – (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 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: 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 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 64

65 65

Ejercicio: Hallar todas las soluciones de la ecuación . . Hacemos , y la 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 f(z) = sen z Esquema de color dependiente del valor imaginario Dominio Rango 67

68 68

69 69

70 70

Pescando Biomorfos Algunas veces me considero un pescador. Los programas de ordenador y las 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 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, 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 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 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 76

(1) Esta es una relación familiar para los logaritmos naturales Sea z 1 = (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 78

Resumen repetición 79 Resumen repetición 79

80 80

81 81

82 82

83 83

Esquema de color dependiente del argumento Dominio Rango 84 Esquema de color dependiente del argumento Dominio Rango 84

85 85

86 86

87 87

Derivada del ln(z) Sea ln z = u(x, y) + i v(x, y). Entonces: 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 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- 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 91

92 92

93 93

Repetimos: tomaremos como dominio de analiticidad D = Z -{R- U 0}, o en 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)]. 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. 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 97

b) Determinar la región del plano en la que la función es analítica. Respuesta. 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 99

n=0, ± 1, ± 2. . . 100 n=0, ± 1, ± 2. . . 100

k=0, ± 1, ± 2. . . 101 k=0, ± 1, ± 2. . . 101

Obtener los puntos del plano complejo donde la función es analítica. Considerar la determinación 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 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) = 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 105

106 106

Funciones trigonométricas e hiperbólicas inversas Determinemos la inversa del seno a partir de Demostrar: Funciones trigonométricas e hiperbólicas inversas Determinemos la inversa del seno a partir de Demostrar: Todas ellas son multiformes. . . 107

108 108

109 109

110 110

111 111

El valor principal de la arcotangente será: 112 El valor principal de la arcotangente será: 112

113 113

114 114

Demostrar la expresión y calcular todos los valores posibles de . Examen JUNIO 02/03: 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 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 a) Solución con signo negativo de la raíz cuadrada: 117

b) Solución con signo positivo de la raíz cuadrada: 118 b) Solución con signo positivo de la raíz cuadrada: 118

119 119

Potencias Podemos expresar potencias de números complejos en forma de funciones exponenciales/logarítmicas cuando el 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 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 Ejemplo: Calcular ii ¡Infinitos valores reales! Valor principal real Ejercicio: Calcular la derivada de 122

123 123

124 124

125 125

126 126

127 127

128 128

129 129

Recuerda que una función es analítica en una región R si es diferenciable en 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 M. C. Escher 131

The Mathematical Structure of Escher’s Print Gallery B. de Smit and H. W. Lenstra 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 “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 Mundo “real” Transformación Mundo “curvo” 134

Cualquier camino simple cerrado alrededor del origen del mundo “curvo” se antitransforma en un 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 136

Rectificación de la litografía 137 Rectificación de la litografía 137

El efecto Droste En Alemania la marca de chocolate Droste es famosa por el 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 Escher and the Droste effect http: //escherdroste. math. leidenuniv. nl/ Tras un zoom de 28 = 256 volvemos a la imagen original. 139

140 140

Reconstrucción 141 Reconstrucción 141

142 142

143 143

144 144

145 145

146 146

Una rotación en sentido horario de 157. 6255960832. . . grados y un zoom 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