In the complex plane, set $z=x+iy$. How to prove that the function $xy(x^2-y^2)$ cannot have local maximum or minimum in $|z|<1$? I suspect that the maximum modulus principle plays a role but don't know how to make use of this idea
Prove that the function $xy(x^2-y^2)$ cannot have absolute extrema...
0
$\begingroup$
complex-analysis
-
3Not exactly a modulus (this is not even nonnegative), but you can see it as the imaginary part of some simple holomorphic function, and as such it is harmonic. – 2011-12-09
-
0@ D.Thomine Yes, I see this, it is the imaginary part of $z^4/4$ or something, but now how is the fact that it is harmonic going to help me? – 2011-12-09
-
1Because harmonic functions also satisfy a maximum principle (http://en.wikipedia.org/wiki/Harmonic_function). By the way, yes, $z^4/4$ works. – 2011-12-09
-
0and I believe this could be done by the usual, pedestrian way (find critical points, etc) – 2011-12-09
2 Answers
1
You don’t need complex functions at all. Just convert to polar coordinates:
$$xy(x^2-y^2)=r^4\cos\theta\sin\theta(\cos^2\theta-\sin^2\theta)=\frac12r^4\sin(2\theta)\cos(2\theta)=\frac14r^4\sin(4\theta)\,,$$ which obviously has neither a maximum nor a minimum in the open unit disk centred at the origin. Along $\theta=\frac12\pi$ it increases towards $1$ as you move away from the origin, and along $\theta=-\frac12\pi$ it decreases towards $-1$, and it’s along those rays (among others) that it attains its maximum and minimum on circles centred at the origin.
0
Two parts:
It is the imaginary part of $\frac{z^4}{4}$.
This means that it is a harmonic function, and harmonic functions have a max/min principle.
-
0Oh - I see that while I was typing this up, the same answer came up in the comments. D. Thomine said the same thing. – 2011-12-09