4 votos

Análisis complejo

He aquí un problema estoy luchando, sobre todo la segunda pregunta.

Deje $f$ ser un holomorphic de la función en $\mathbb{D}$, decir $f(z) = \sum a_n z^n$. Supongamos que $f$ satisface la siguiente condición :

$$\sum_{n = 2}^{+ \infty} n|a_n| < |a_1| $$

  1. Demostrar que $f$ tarda exactamente una vez el valor de $a_0$.

  2. Demostrar que $f$ es inyectiva.

La primera pregunta es simplemente una aplicación del teorema de Rouché a$f - a_0$$a_1 z$. No puedo encontrar la respuesta para la segunda.

Lo he intentado y conseguido hasta ahora :

  • Deje $f_n(z) = a_0 + ... + a_n z^n$. De verificar que la misma suposición como $f$, por lo que el valor de $a_0$ sólo una vez en $\mathbb{D}$. Convergen en $\mathcal{H}(\mathbb{D})$$f$, así que si podemos demostrar que es inyectiva, teorema de Hurwitz iba a aplicar de inmediato. No tuve éxito en probar la inyectividad de $f_n$.

  • $f$ $f_n$ tiene un nonvanishing derivados. Esto puede ser visto simplemente el uso de la asunción, que yelds $|f'(z) - a_1| < |a_1|$ por cada $z \in \mathbb{D}$.

Cualquier ayuda es bienvenida ! HQ

5voto

kobe Puntos 25876

Para ver que$f$ es inyectivo, suponga que$f(z_1) = f(z_2)$, para$z_1,z_2\in \Bbb D$%. Entonces

PS

Dividiendo por$$0 = f(z_2) - f(z_1) = \sum_{n = 1}^\infty a_n(z_2^n - z_1^n).$, tenemos

PS

Es decir,

PS

De ahí, por la desigualdad del triángulo,

PS

contradiciendo la desigualdad para$z_2 - z_1$.

0voto

Ted Shifrin Puntos 33487

SUGERENCIA : aplique el principio de argumento para mostrar que el número de veces (contando multiplicidades) que$f$ toma un valor$w$ es localmente constante.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X