fauboca
- 157
- 0
How do I find the power series for [itex]z^7[/itex]?
I can't remember.
I can't remember.
The discussion revolves around finding the power series for the function \( z^7 \), with participants exploring different aspects of power series expansions, particularly around the point \( z=0 \) and other points such as \( z=1 \). The conversation includes attempts to clarify the nature of power series and their coefficients.
The discussion is ongoing, with participants providing insights into the nature of power series and their conditions for validity. There is recognition of the need for analytic functions in the context of power series, and some participants express confusion about the relationship between different functions and their series representations.
Some participants mention constraints regarding the use of Laurent series and the conditions under which certain functions can be represented as power series. The conversation reflects a mix of understanding and uncertainty about the application of these concepts.
fauboca said:How do I find the power series for [itex]z^7[/itex]?
I can't remember.
Dick said:If you mean the power series expansion around a point that's not 0, say around z=1, then write z^7=((z-1)+1)^7 and expand that.
fauboca said:Around zero. I have been looking through Rudin and Rosenlicht but I don't see an example of what I am looking for.
Dick said:Then what are you looking for? z^7 IS the power series for the function f(z)=z^7 around z=0.
fauboca said:$$
f(z) = \frac{1}{2\pi i}\sum_{n = 0}^{\infty}\left[\int_0^{2\pi}\frac{u^7}{u^{n + 1}}du z^n\right] = z^7.
$$
I want to show the above equality. I know since u^7 is analytic in the unit disk, g will be the same as f. But is there a way to show that without stating this?
Dick said:Well, the integral is zero unless n=7, isn't it? The integral of u^k is zero unless k=(-1).
fauboca said:For all z inside of C (C the unit circle oriented counterclockwise),
[tex] f(z) = \frac{1}{2\pi i}\int_C \frac{g(u)}{u-z} du[/tex]
where [itex]g(u) = \bar{u}[/itex] is a continuous function and [itex]f[/itex] is analytic in C. Describe [itex]f[/itex]in C in terms of a power series.
[itex]\displaystyle f(z) = \frac{1}{2\pi i}\int_C \frac{\bar{u}}{u-z} du[/itex] I am confused with what I am supposed to do. I know it says describe [itex]f[/itex] in terms of a power series.
Dick said:[itex]\int_C \frac{u^7}{u^{n + 1}}du=\int_C u^{7 - n - 1}du[/itex]. That's zero unless the exponent is -1 which happens when n=7.
fauboca said:Ok so if the function was 1/u, we would have u^{-n-2}. This one would always be 0 then?
Dick said:Sure, but f(u)=1/u doesn't have a power series expansion around 0 with only positive powers. You'd need a Laurent series instead of a power series to represent it.
fauboca said:If we haven't done Laurent Series yet, how should I handle it then?
Dick said:You don't. f(z)=1/z doesn't have a power series expansion around z=0. f(z) has to be analytic at z=0 to have a power series expansion. 1/z isn't analytic at z=0.
fauboca said:Evaluating the sum and the integral for it yields f(z) = 0. Is that correct to put down after evaluating f(z) since all the terms are 0?
Dick said:All of the terms in your series are zero, yes. But that still doesn't make f(z)=1/z=0. I'm not sure you are paying attention here.
fauboca said:I understand what you are saying but I am trying to solve for
$$
f(z) = \frac{1}{2\pi i}\sum_{n = 0}^{\infty}\left[\int_0^{2\pi}\frac{\frac{1}{u}}{u^{n + 1}}du z^n\right].
$$
Since Laurent series are out and all the terms are 0, what else could f(z) be?
Dick said:I am trying to tell you that the series you are quoting is NOT valid for all functions f(z). f(z) has to be analytic at z=0 to apply that. f(z)=1/z is NOT analytic at z=0. I've already told you this.
fauboca said:By the integral transform theorem, if you put a continuous function g(u) into f(z), you get out an analytic function. If g is analytic, you get the same function. So f(z) has to equal something.
Dick said:I'm not quite sure why this is so difficult. 1/u is continuous on the contour. And yes, you get an analytic function out. It's f(z)=0. Now you say "If g is analytic, you get the same function.". g(u)=1/u ISN'T analytic at u=0. So the function you get out f(z)=0, ISN'T the same as the function you put in f(z)=1/z.
fauboca said:I understand that. I was verifying that f(z) = 0 is correct. You kept saying you don't understand what I telling you.
Dick said:Apologies if I'm misunderstanding. But I'm just saying 0 isn't the power series representation of 1/z because it doesn't have one. And f(z)=1/z is not equal to 0. That's all. So, ok. Yes f(z)=0. I somehow thought you were trying to represent 1/z as a power series. Sorry.
fauboca said:No problem. I know f(z) = 1/z\neq 0 but when I said f(z) I meant,
$$
f(z) = \frac{1}{2\pi i}\sum_{n = 0}^{\infty}\left[\int_0^{2\pi}\frac{\frac{1}{u}}{u^{n + 1}}du z^n\right].
$$