11
$\begingroup$

How can we prove the following?

If $\frac{dP_{n}}{dz}|_{z=z_{0}}=0$ then $|P_{n}(z_{0})|<2$ for all $n>1$, where $P_{n}(z)\equiv P_{n-1}^{2}+z$ and $P_{1}\equiv z$

$z$ is in the complex plane.

It appears that $\lim{}_{n\rightarrow\infty}\max\{|P_{n}(z_{0})|:P_{n}'(z_{0})=0\}=2 $, but all I really need is a proof that it's always <2 not that it approaches 2.

Both are easy to demonstrate with the Mathematica code below, but I can't figure out a proof.

p[n_, z_] := If[n > 1, p[n - 1, z]^2 + z, z];
Do[Print[Max[Abs[p[n, z] /. Solve[D[p[n, z], z] == 0, z]] // N]], {n, 2, 8}]

Output:

0.25

1.15268

1.76235

1.94118

1.98545

1.99638

1.9991

$\endgroup$
  • $\begingroup$ I apologize, but there is something that I do not understand: the recurrence gives $P_1 = z, P_2 = z^2 + z, P_3 = z^4 + 2z^3 + z^2 + z, \dots$, so the corresponding derivatives in $z_0$ are $1, 2 z_0 + 1, 4 z_0 ^3 + 6 z_0 ^2 + 2 z_0 + 1, \dots$; how can these all be $0$ in $z_0$? $\endgroup$ – Alex M. Nov 13 '15 at 5:38
  • $\begingroup$ @AlexM. Each $P_n$ will have a different set of $z_0$'s. Note in the Mathematica code that the $z_0$'s are recalculated for each value of n. $\endgroup$ – Jerry Guern Nov 13 '15 at 6:22
  • $\begingroup$ I must ask REALLY hard questions, because this is the third time I've posted a bounty no one won. $\endgroup$ – Jerry Guern Nov 20 '15 at 3:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.