Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to see if the function:

$$z \mapsto z^n+\exp(ia) \cdot nz$$

is an injective function at the open unit circle.
Please help.

share|cite|improve this question
What does the '*' mean? – copper.hat Nov 24 '12 at 14:57
I'm guessing it means multiplication, @copper.hat . – DonAntonio Nov 24 '12 at 14:59
It means multiplication :) – Ran Kashtan Nov 24 '12 at 15:00
@DonAntonio: Thanks, I would have thought so, but then I would have expected $i*a$ and $n*z$ as well? – copper.hat Nov 24 '12 at 15:00
The function satisfies the necessary condition from De Branges' Theorem. – Hans Engler Nov 24 '12 at 15:04
up vote 2 down vote accepted

$$z^n+nze^{ia}=w^n+nwe^{ia}\Longrightarrow (z-w)(z^{n-1}+z^{n-2}w+...+zw^{n-2}+w^{n-1})=-ne^{ia}(z-w)$$

If $\,z\neq w\,$ then $\,z^{n-1}+z^{n-2}w+...+zw^{n-2}+w^{n-1}=-ne^{ia}$

But, assuming $\,a\in\Bbb R\,$, we get that the RHS's module is $\,n\,$, whereas the LHS's module is $\,|z^{n-1}+z^{n-2}w+...+zw^{n-2}+w^{n-1}|<1+1+...+1 = n$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.