Autor |
Mensaje |
drakoko
Nivel 9
Edad: 29
Registrado: 19 Jul 2007
Mensajes: 2528
Ubicación: caballito
Carrera: Mecánica
|
|
gente a ver si me ayudan con estas afirmaciones V o F. y por q?
1) f(z) = z conjugado es una función homográfica
2) si el residuo de f(z) en z=z_0 es cero, entonces f es holomorfa en z_0
3) si f(z) admite un desarrollo de Laurent en entorno de z_0 donde coeficientes de parte principal son nulos => F(z) es holomorfa.
4) si f(z) es holomorfa en z distinto de cero y f(z) = f(-z), entonces los coeficientes de las potencias de indice impar de la serie de Laurent en un entorno de cero son nulos.
|
|
|
|
_________________
|
|
|
|
|
Jackson666
Nivel 9
Edad: 37
Registrado: 01 Feb 2009
Mensajes: 1980
Ubicación: Martínez
Carrera: Electricista
|
|
1) Me parece que sí. Una función homográfica es de la forma , con y como es una homografía, el conjugado seguramente también lo sea.
2) Falsa. Contraejemplo: casi cualquier función con una singularidad en y que tenga una potencia par involucrada. Por ejemplo en .
3) Falsa. En realidad, la función o bien es holomorfa o bien tiene una singularidad evitable en ese punto. La demostración es que si esos coeficientes son nulos, entonces la serie es de Taylor. O sea, .
Otra manera de verlo es mediante el teorema de módulo máximo. Fijate que si definís a una función en un abierto , necesariamente existe una constante positiva tal que . No puede ser igual, porque el máximo siempre se alcanza en un punto del borde si la función no es constante. Los coeficientes , están acotados por esa constante según la desigualdad de Cauchy (adaptada), esto es . Dado que es el radio de la circunferencia, arbitrario, puede tomarse lo suficientemente chico y esa desigualdad te dice que en el límite .
4) Me parece que sí, pero no logro verlo ahora.
Saludos.
EDIT: Corregido.
|
|
|
|
Última edición por Jackson666 el Lun Ago 01, 2011 9:52 pm, editado 1 vez
|
|
|
|
|
Jackson666
Nivel 9
Edad: 37
Registrado: 01 Feb 2009
Mensajes: 1980
Ubicación: Martínez
Carrera: Electricista
|
|
Después de comer es otra cosa che
1) Toda función lineal es una homografía siempre que .
4) No me di cuenta que la serie de Taylor (por ser holomorfa) va centrada en 0.
O sea, si se tiene que y , en vista de que se tiene . Es evidente que para n par se satisface y, para n impar, ocurre que , como entonces .
Saludos!
|
|
|
|
|
|
|
|
|
drakoko
Nivel 9
Edad: 29
Registrado: 19 Jul 2007
Mensajes: 2528
Ubicación: caballito
Carrera: Mecánica
|
|
Jackson666 escribió:
|
1) Me parece que sí. Una función homográfica es de la forma , con y como es una homografía, el conjugado seguramente también lo sea.
2) Falsa. Contraejemplo: casi cualquier función con una singularidad en y que tenga una potencia par involucrada. Por ejemplo en .
3) Verdadera. En realidad, la función o bien es holomorfa o bien tiene una singularidad evitable en ese punto. La demostración es que si esos coeficientes son nulos, entonces la serie es de Taylor. O sea, .
Otra manera de verlo es mediante el teorema de módulo máximo. Fijate que si definís a una función en un abierto , necesariamente existe una constante positiva tal que . No puede ser igual, porque el máximo siempre se alcanza en un punto del borde si la función no es constante. Los coeficientes , están acotados por esa constante según la desigualdad de Cauchy (adaptada), esto es . Dado que es el radio de la circunferencia, arbitrario, puede tomarse lo suficientemente chico y esa desigualdad te dice que en el límite .
4) Me parece que sí, pero no logro verlo ahora.
Saludos.
|
2) sirve tambièn? o esa sì es holomorfa
el 3) no entendì nada jajaj
|
|
|
|
_________________
|
|
|
|
|
Jackson666
Nivel 9
Edad: 37
Registrado: 01 Feb 2009
Mensajes: 1980
Ubicación: Martínez
Carrera: Electricista
|
|
drakoko escribió:
|
2) sirve tambièn? o esa sì es holomorfa
|
Si, sirve también.
Es holomorfa en todo el plano complejo, excepto en el origen. Pero por tener potencia par (ya está en "forma" de serie centrada en 0) su residuo en es 0 y no es holomorfa ahí. ¿Se entiende?.
drakoko escribió:
|
el 3) no entendì nada jajaj
|
Antes que nada, te pido disculpas porque mi "verdadero" está mal. En realidad la afirmación a priori es falsa. Se basa en el hecho de que si una función tiene una singularidad evitable en un punto, entonces puede re definirse fácilmente para que sea holomorfa en éste, pero ya ahí se estaría modificando la función.
Tal vez no me haya explicado bien. Ahí va de nuevo.
Si f tiene un desarrollo de Laurent en una corona centrada en , eso es , entonces . Si por hipótesis , el DSL se puede reescribir en términos de las potencias positivas como (serie de Taylor) o, lo que es lo mismo . El número existe aún si la función tiene una singularidad evitable en el punto .
Por ejemplo, la función como puede verse, no está definida en 0. Pero al evaluar la serie en 0, queda sólo el 1 que es el término . Definiendo nuevamente la función se tiene una función holomorfa.
¿Se entendió un poco mejor?
|
|
|
|
|
|
|
|
|
drakoko
Nivel 9
Edad: 29
Registrado: 19 Jul 2007
Mensajes: 2528
Ubicación: caballito
Carrera: Mecánica
|
|
1) para esta se me ocurre que no es homográfica porque no lo puedo escribir de la forma .
Otra que me dijeron es que como z conjudado no es holomorfa => no es homográfica. Pero para mí z conjugado sí es holomorfa.
2) creo que no solo potencia par, todo función de la forma con n mayorigual que 2 no son holomorfa en cero y tiene residuo igual a cero
3) o sea, vos me habías dicho que es falso y me estás dando el contraejemplo de que es una función que tiene una singularidad evitable en 0 y un desarrolo en serie de Laurent con sólo término positivos. Sin emabrgo no es holomorfa?
Yo había pensado que aplicando cauchy, la integral cerrada de una función holomorfa en un recinto simplemente conexo es cero. Al no tener polo este sería el caso. Pero no sé si aplica el caso inverso (o sea no es un si solo si).
el 4) lo entendí perfecto
gracias por contestar
|
|
|
|
_________________
|
|
|
|
|
df
Nivel 9
Edad: 33
Registrado: 15 May 2010
Mensajes: 2298
Carrera: Civil
|
|
1)z conjugado no es holomorfa, en ningún punto, fijate que no se cumplen las ECR para ningún z.
3)si f(z) tiene una singularidad en z_0 entonces no es holomorfa en z_0, esa es la definición de singularidad.
|
|
|
|
_________________
|
|
|
|
|
Jackson666
Nivel 9
Edad: 37
Registrado: 01 Feb 2009
Mensajes: 1980
Ubicación: Martínez
Carrera: Electricista
|
|
drakoko escribió:
|
1) para esta se me ocurre que no es homográfica porque no lo puedo escribir de la forma .
Otra que me dijeron es que como z conjudado no es holomorfa => no es homográfica. Pero para mí z conjugado sí es holomorfa.
|
Ahora que lo pienso, ¿que sea una homografía implica que sea holomorfa?. Porque sino si sería una homografía.
Como te dijo ya df, no es holomorfa por no cumplir Cauchy-Riemann en ningún punto.
drakoko escribió:
|
2) creo que no solo potencia par, todo función de la forma con n mayorigual que 2 no son holomorfa en cero y tiene residuo igual a cero
|
Si, tal cual. Yo había mencionado "casi cualquier función".
drakoko escribió:
|
3) o sea, vos me habías dicho que es falso y me estás dando el contraejemplo de que es una función que tiene una singularidad evitable en 0 y un desarrolo en serie de Laurent con sólo término positivos. Sin emabrgo no es holomorfa?
Yo había pensado que aplicando cauchy, la integral cerrada de una función holomorfa en un recinto simplemente conexo es cero. Al no tener polo este sería el caso. Pero no sé si aplica el caso inverso (o sea no es un si solo si).
|
Claro, te digo que es falso y te muestro un contraejemplo. Esa función no es holomorfa en 0, porque tiene una singularidad ahí (evitable, pero singularidad al fin).
Respecto a Cauchy (imagino que será el teorema de Cauchy-Goursat), está bien lo que decís. La integral de una función holomorfa sobre una curva que no encierra singularidades (región simplemente conexa) es cero. Pero este no es el caso (lo que no quiere decir que no pueda dar cero la integral), porque la región no es simplemente conexa porque se le está sacando el cero. ¿Se entiende eso?.
No entiendo bien qué queres decir con "al no tener polo este sería el caso". Es verdad que no tiene un polo, tiene una singularidad evitable, pero no por eso podes decir que es holomorfa en 0 (hay que redefinirla para que lo sea).
Saludos.
|
|
|
|
|
|
|
|
|
Yankey
Nivel 5
Edad: 33
Registrado: 02 Abr 2010
Mensajes: 181
Carrera: Electricista
|
|
drakoko escribió:
|
1) f(z) = z conjugado es una función homográfica
|
Un modo es saber que la transformación debida a la conjugada de una función holomorfa con una derivada no nula se suele decir que es una aplicación indirectamente conforme.
OBS: Esto no es lo mismo que "isogonal" pues evidentemente en nuestro caso se preserva el tamaño pero se invierte el ángulo.
También es falsa debido a que es condición necesaria y suficiente para que f sea aplicación conforme en Zo (o como algunos la llaman: "aplicación biholomorfa" pues la homografía no es más que una transformación de Möbius extendida como aplicación conforme y biyectiva de la esfera de Riemann -por ende del plano complejo ampliado- definiendo adecuadamente lo que sucede en z=infinito, y en z=-c/d - de ahi el nombre "biholomorfa" muy sugestiva por cierto) es que la función f tenga derivadas primeras continuas no nulas y sea holomorfa. Y ya sabés que sucede cuando conjugas una función holomorfa por lo que te conte antes. (Demostración de esto al final)
Esa es la explicación que no te van a pedir () pero quizás resuelva alguna duda
Jackson666 escribió:
|
Ahora que lo pienso, ¿que sea una homografía implica que sea holomorfa?. Porque sino si sería una homografía.
.
|
Si, de hecho la implicación es doble, pues si es una transformación homográfica es conforme. Y las aplicaciones conformes en Zo son funciones holomorfas en Zo con su derivada primera no nula en Zo.
Dem:
Para demostrar esto basta mirar la matriz jacobiana de f, y recordar que para que la aplicación lineal tangente conserve los ángulos orientados debe ser entonces un operador unitario.
Por consiguiente la matriz jacobiana será de la forma:
J(f, Zo)=(a -b; b a) con jacobiano no nulo. (para que este asociada a un iosomorfismo, i.e. para que sea inversible)
Como por definición vas a tener en la jacobiana a
J(f, Zo)= (Ux Uy; Vx Vy)
estableces las igualdades y te quedan las condiciones de Cauchy Riemann y lo del jacobiano no nulo implica las derivadas primeras continuas.
La reversibilidad de la demostración prueba la doble implicación.
Saludos!!
PD: Falta LATEX en mi cerebro
|
|
|
|
|
|
|
|
|
Jackson666
Nivel 9
Edad: 37
Registrado: 01 Feb 2009
Mensajes: 1980
Ubicación: Martínez
Carrera: Electricista
|
|
Yankey escribió:
|
Si, de hecho la implicación es doble, pues si es una transformación homográfica es conforme. Y las aplicaciones conformes en Zo son funciones holomorfas en Zo con su derivada primera no nula en Zo.
Dem:
Para demostrar esto basta mirar la matriz jacobiana de f, y recordar que para que la aplicación lineal tangente conserve los ángulos orientados debe ser entonces un operador unitario.
Por consiguiente la matriz jacobiana será de la forma:
J(f, Zo)=(a -b; b a) con jacobiano no nulo. (para que este asociada a un iosomorfismo, i.e. para que sea inversible)
Como por definición vas a tener en la jacobiana a
J(f, Zo)= (Ux Uy; Vx Vy)
estableces las igualdades y te quedan las condiciones de Cauchy Riemann y lo del jacobiano no nulo implica las derivadas primeras continuas.
La reversibilidad de la demostración prueba la doble implicación.
Saludos!!
PD: Falta LATEX en mi cerebro
|
Buenísima onda chabón! Gracias
|
|
|
|
|
|
|
|
|
drakoko
Nivel 9
Edad: 29
Registrado: 19 Jul 2007
Mensajes: 2528
Ubicación: caballito
Carrera: Mecánica
|
|
jaja no entiendo nadaaaaaa.
puedo decir que como no es holomorfa no puede ser homográfica?
con eso soy feliz
|
|
|
|
_________________
|
|
|
|
|
Yankey
Nivel 5
Edad: 33
Registrado: 02 Abr 2010
Mensajes: 181
Carrera: Electricista
|
|
drakoko escribió:
|
jaja no entiendo nadaaaaaa.
puedo decir que como no es holomorfa no puede ser homográfica?
con eso soy feliz
|
Jajaja, sisi podes decir algo así Al fin y al cabo es condición necesaria y suficiente que la función sea holomorfa y de derivada primera no nula para que f sea una aplicación conforme. Así que si negamos alguna proposición, la aplicación no es conforme, y entonces no va a ser una homografía tampoco.
Lo que obviamente no estaría bien sería la vuelta digamos, el que no sea una transformación homográfica NO implica que la función no sea holomorfa. Podrían fallar otras cuestiones como que tenga derivada primera nula o que suceda p.e que f(z)=cte, o sea ad-bc=0.
Por otro lado.Disculpá si confunde todo lo que te tiré antes pero siento que ya que estamos está bueno hacer las cosas de modo que no se puedan plantear dudas al respecto por incompletitud. Además de repente es interesante ver que pasa en los casos que no son conformes -que ciertamente no nos interesan en lo que respecta a la materia jeje-.
Saludos!!
|
|
|
|
|
|
|
|
|
drakoko
Nivel 9
Edad: 29
Registrado: 19 Jul 2007
Mensajes: 2528
Ubicación: caballito
Carrera: Mecánica
|
|
genio, te doy 10 puntines
|
|
|
|
_________________
|
|
|
|
|
|
|
Ver tema siguiente
Ver tema anterior
Podés publicar nuevos temas en este foro No podés responder a temas en este foro No podés editar tus mensajes en este foro No podés borrar tus mensajes en este foro No podés votar en encuestas en este foro No Podéspostear archivos en este foro No Podés bajar archivos de este foro
|
Todas las horas son ART, ARST (GMT - 3, GMT - 2 Horas)
Protected by CBACK CrackerTracker365 Attacks blocked.
|