9. Let be a bounded open subset of C, and y: → a holomorphic function. Prove that if there exists a point zo EN such that (20) = 20 and y' (zo) = 1 then 4 is linear. [Hint: Why can one assume that zo = 0? Write y(z) = z+anz" +O(zn+¹) near 0, and prove that if k = o... (where appears k times), then Ök(z) = z+kanz" +0(zn+¹). Apply the Cauchy inequalities and let k→ ∞ to conclude the proof. Here we use the standard O notation, where f(z) = O(g(z)) as z → 0 means that |ƒ(z)| ≤ C|g(z)| for some constant C as [z] → 0.]

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question
**Problem 9:**

Let \(\Omega\) be a bounded open subset of \(\mathbb{C}\), and \(\varphi : \Omega \to \Omega\) a holomorphic function. Prove that if there exists a point \(z_0 \in \Omega\) such that

\[
\varphi(z_0) = z_0 \quad \text{and} \quad \varphi'(z_0) = 1
\]

then \(\varphi\) is linear.

**Hint:** Why can one assume that \(z_0 = 0\)? Write \(\varphi(z) = z + a_n z^n + O(z^{n+1})\) near 0, and prove that if \(\varphi_k = \varphi \circ \cdots \circ \varphi\) (where \(\varphi\) appears \(k\) times), then \(\varphi_k(z) = z + k a_n z^n + O(z^{n+1})\). Apply the Cauchy inequalities and let \(k \to \infty\) to conclude the proof. Here we use the standard \(O\) notation, where \(f(z) = O(g(z))\) as \(z \to 0\) means that \(|f(z)| \leq C|g(z)|\) for some constant \(C\) as \(|z| \to 0\).
Transcribed Image Text:**Problem 9:** Let \(\Omega\) be a bounded open subset of \(\mathbb{C}\), and \(\varphi : \Omega \to \Omega\) a holomorphic function. Prove that if there exists a point \(z_0 \in \Omega\) such that \[ \varphi(z_0) = z_0 \quad \text{and} \quad \varphi'(z_0) = 1 \] then \(\varphi\) is linear. **Hint:** Why can one assume that \(z_0 = 0\)? Write \(\varphi(z) = z + a_n z^n + O(z^{n+1})\) near 0, and prove that if \(\varphi_k = \varphi \circ \cdots \circ \varphi\) (where \(\varphi\) appears \(k\) times), then \(\varphi_k(z) = z + k a_n z^n + O(z^{n+1})\). Apply the Cauchy inequalities and let \(k \to \infty\) to conclude the proof. Here we use the standard \(O\) notation, where \(f(z) = O(g(z))\) as \(z \to 0\) means that \(|f(z)| \leq C|g(z)|\) for some constant \(C\) as \(|z| \to 0\).
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,