Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have a polynomial $p$ of degree $n$ satisfying $\lvert p(z) \lvert \leq c\ \ \forall z\in\partial B_1(0)$. (Isn't this true for any polynomial?) Show $\lvert p(z)\lvert \leq c \lvert z\lvert^n \ \ \forall z\in \mathbb{C}\backslash B_1(0)$.

The obvious attempt would be $|p(z)|=|p(\lvert z\lvert\frac{z}{\lvert z\lvert})|=|\sum_{i=0}^n a_i |z|^i (\frac{z}{\lvert z\lvert})^i|\leq |z|^n \sum_{i=0}^n |a_i (\frac{z}{\lvert z\lvert})^i|$ which doesn't lead anywhere.

I guess I have to apply some maximum principle but don't know how.

share|improve this question
    
Yes, use the maximum modulus principle. Note that $|p(z)|$ equals $|p(z)/z^n|$ on the boundary of the unit disk. –  hardmath Jun 5 '12 at 15:36

1 Answer 1

up vote 1 down vote accepted

Let $\Omega:=\{z\in\Bbb C, |z|<1\}$. It's a domain. Define $g(z):=z^np\left(\frac 1z\right)$: it's a holomorphic function, and by maximum modulus principle the modulus is reached at the boundary, and is $\leq c$. Now, for $|z|>1$, work with $\frac 1z$ in the previous argument.

share|improve this answer
1  
$\Omega$ is unbounded and the maximum modulus principle does not apply. Otherwise the argument in your first paragraph would apply to a function like $e^z$. –  Julián Aguirre Jun 5 '12 at 15:45
    
Indeed, it's a bit more complicated than that. I guess we can work with open $\Omega_R$ where $\Omega_R:=\{z,1<|z|<R\}$. I will try whether I can salvage this attempt. Thanks anyway! –  Davide Giraudo Jun 5 '12 at 15:49
    
Although $\Omega$ is unbounded, it (plus the point at infinity) is the image of $B_1$ under the Moebius mapping $z \rightarrow 1/z$. So apply the maximum modulus principle to the right polynomial on $B_1$ in $y = 1/z$. –  hardmath Jun 5 '12 at 19:35

Your Answer

 
discard

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.