Mathematics Asked by tchappy ha on December 8, 2020

I am reading "Lectures on Complex Function Theory" by Takaaki Nomura.

In this book, the author wrote like this:

Let $f(z) = sum_{n=1}^infty a_n z^n$.

Let $g(w) = sum_{n=0}^infty b_n w^n$.

Because $f(0) = 0$, when $|z|$ is sufficiently small, $f(z)$ is inside the circle of convergence of $g(w)$.

So, $g(f(z))$ is defined on a set.

$$g(f(z)) = b_0 + b_1 (a_1 z + a_2 z^2 + cdots) + b_2 (a_1 z + a_2 z^2 + cdots)^2 + b_3 (a_1 z + a_2 z^2 + cdots)^3 \= b_0 + b_1 a_1 z + (b_1 a_2 + b_2 a_1^2) z^2 + (b_1 a_3 + 2 b_2 a_1 a_2 + b_3 a_1^3) z^3 + cdots.$$

The author didn’t explain why the second equality holds.

Is the second equality obvious?

If not obvious, please give me a proof.

All “inner” series $(a_1 z + a_2 z^2 + cdots)^k$ are expanded, and then the coefficients for each $z^n$ are collected. This can be justified strictly because only *finitely many* terms contribute to each $z^n$ term.

To keep is simple, I'll demonstrate it for the first three terms. Start with $f(z) = a_1 z + a_2 z^2 + O(z^3)$ for $z to 0$.

Then $g(w) = b_0 + b_1 w + b_2 w^2 + O(w^3)$ for $w to 0$. Substituting $w = f(z)$ gives $$ g(f(z)) = b_0 + b_1 f(z) + b_2 f(z)^2 + O(f(z)^3) \ = b_0 + b_1 f(z) + b_2 f(z)^2 + O(z^3) $$ because $f(z) = O(z)$ for $z to 0$. It follows that $$ g(f(z)) = b_0 + b_1(a_1 z + a_2 z^2 + O(z^3))z + b_2 (a_1 z+ a_2 z^2 + O(z^3))^2 + O(z^3) \ = b_0 + b_1 a_1 z + (b_1 a_2 + b_2 a_1^2)z^2 + O(z^3) $$ for $z to 0$. All these rearrangements are valid because they operate only on only finitely many terms.

On the other hand, $g(f(z))$ is holomorphic in a neighborhood of the origin and can therefore be developed into a power series. The above calculation shows that the first three terms of the power series are $$ b_0 + b_1 a_1 z + (b_1 a_2 + b_2 a_1^2)z^2 , . $$

Answered by Martin R on December 8, 2020

Get help from others!

Recent Answers

- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP