Dgdrxrt

Identify plant with long narrow paired leaves and reddish stems

Sci-Fi book where patients in a coma ward all live in a subconscious world linked together

Is there a (better) way to access $wpdb results?

Short Story with Cinderella as a Voo-doo Witch

How does debian/ubuntu knows a package has a updated version

What does "fit" mean in this sentence?

Withdrew £2800, but only £2000 shows as withdrawn on online banking; what are my obligations?

What does an IRS interview request entail when called in to verify expenses for a sole proprietor small business?

How to react to hostile behavior from a senior developer?

ListPlot join points by nearest neighbor rather than order

Storing hydrofluoric acid before the invention of plastics

What is the meaning of the new sigil in Game of Thrones Season 8 intro?

How to answer "Have you ever been terminated?"

What exactly is a "Meth" in Altered Carbon?

Resolving to minmaj7

Dating a Former Employee

English words in a non-english sci-fi novel

Overriding an object in memory with placement new

What LEGO pieces have "real-world" functionality?

Why didn't this character "real die" when they blew their stack out in Altered Carbon?

How to find all the available tools in mac terminal?

What is a non-alternating simple group with big order, but relatively few conjugacy classes?

If a contract sometimes uses the wrong name, is it still valid?

Identifying polygons that intersect with another layer using QGIS?

How to represent $sumlimits_n=0^infty a_knz^kn$ in terms of $f(z) = sumlimits_n=0^infty a_nz^n$

3

$begingroup$

Given a power series $f(z) = sumlimits_n=0^infty a_nz^n$ where $zin mathbbC$ and radius of convergence $R.$ Then my goal is to find,
$$sum_n=0^infty a_knz^kn$$
for $|z|<R$ and $kin mathbbN.$

So I tried two examples and I think there is a connection with roots of unity.
beginalign*
sum_n=0^infty a_2nz^2n &=frac12(f(z)+f(i^2z))\
sum_n=0^infty a_3nz^3n &=frac12(f(z)+f(iz) + f(i^2z))
endalign*
My guess is that
$$sum_n=0^infty a_knz^kn =frac12(f(z)+f(iz) + f(i^2z)+ cdots + f(i^k-1z))$$
if $k$ is odd. For $k$ even I am not sure. Any generalizations of this fact or proof ideas will be much appreciated.

complex-analysis power-series

share|cite|improve this question

edited Apr 1 at 7:47

Martin R

31k33561

asked Apr 1 at 7:15

model_checkermodel_checker

4,45521931

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  What is $n$? An integer? A number ranging from $-infty$ up to $infty$? Or just starting by $0$ up to $infty$?
  $endgroup$
  – mrtaurho
  Apr 1 at 7:18
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Starting from $0$ and upto infinity.
  $endgroup$
  – model_checker
  Apr 1 at 7:18
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Your formula for $sum a_3n z^3n$ is not correct.
  $endgroup$
  – Kavi Rama Murthy
  Apr 1 at 7:24
  
  

  
  
  
  

add a comment | 

3

$begingroup$

Given a power series $f(z) = sumlimits_n=0^infty a_nz^n$ where $zin mathbbC$ and radius of convergence $R.$ Then my goal is to find,
$$sum_n=0^infty a_knz^kn$$
for $|z|<R$ and $kin mathbbN.$

So I tried two examples and I think there is a connection with roots of unity.
beginalign*
sum_n=0^infty a_2nz^2n &=frac12(f(z)+f(i^2z))\
sum_n=0^infty a_3nz^3n &=frac12(f(z)+f(iz) + f(i^2z))
endalign*
My guess is that
$$sum_n=0^infty a_knz^kn =frac12(f(z)+f(iz) + f(i^2z)+ cdots + f(i^k-1z))$$
if $k$ is odd. For $k$ even I am not sure. Any generalizations of this fact or proof ideas will be much appreciated.

complex-analysis power-series

share|cite|improve this question

edited Apr 1 at 7:47

Martin R

31k33561

asked Apr 1 at 7:15

model_checkermodel_checker

4,45521931

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  What is $n$? An integer? A number ranging from $-infty$ up to $infty$? Or just starting by $0$ up to $infty$?
  $endgroup$
  – mrtaurho
  Apr 1 at 7:18
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Starting from $0$ and upto infinity.
  $endgroup$
  – model_checker
  Apr 1 at 7:18
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Your formula for $sum a_3n z^3n$ is not correct.
  $endgroup$
  – Kavi Rama Murthy
  Apr 1 at 7:24
  
  

  
  
  
  

add a comment | 

$begingroup$

Given a power series $f(z) = sumlimits_n=0^infty a_nz^n$ where $zin mathbbC$ and radius of convergence $R.$ Then my goal is to find,
$$sum_n=0^infty a_knz^kn$$
for $|z|<R$ and $kin mathbbN.$

So I tried two examples and I think there is a connection with roots of unity.
beginalign*
sum_n=0^infty a_2nz^2n &=frac12(f(z)+f(i^2z))\
sum_n=0^infty a_3nz^3n &=frac12(f(z)+f(iz) + f(i^2z))
endalign*
My guess is that
$$sum_n=0^infty a_knz^kn =frac12(f(z)+f(iz) + f(i^2z)+ cdots + f(i^k-1z))$$
if $k$ is odd. For $k$ even I am not sure. Any generalizations of this fact or proof ideas will be much appreciated.

complex-analysis power-series

share|cite|improve this question

edited Apr 1 at 7:47

Martin R

31k33561

asked Apr 1 at 7:15

model_checkermodel_checker

4,45521931

$endgroup$

share|cite|improve this question

edited Apr 1 at 7:47

Martin R

31k33561

asked Apr 1 at 7:15

model_checkermodel_checker

4,45521931

share|cite|improve this question

edited Apr 1 at 7:47

Martin R

31k33561

asked Apr 1 at 7:15

model_checkermodel_checker

4,45521931

edited Apr 1 at 7:47

Martin R

31k33561

edited Apr 1 at 7:47

Martin R

31k33561

asked Apr 1 at 7:15

model_checkermodel_checker

4,45521931

asked Apr 1 at 7:15

model_checkermodel_checker

4,45521931

1 Answer
1

active

oldest

votes

3

$begingroup$

Let $omega ne 1$ be a $k$-th root of unity: $omega^k = 1$. Then
$$
sum_j=0^k-1 omega^nj = begincases
k & text if $n$ is a multiple of $k$, \
0 & text otherwise.
endcases
$$
Consequently,
$$
frac 1k sum_j=0^k-1 f(omega^j z ) = sum_n=0^infty a_knz^kn
$$

For $k=2$ this gives your result
$$
sum_n=0^infty a_2nz^2n =frac12(f(z)+f(-z))\
$$
For $k=3$ the correct result is
$$
sum_n=0^infty a_3nz^3n =frac13(f(z)+f(omega z) + f(omega^2 z))
$$
with $omega = - frac 12 pm fracsqrt 32$.

share|cite|improve this answer

edited Apr 1 at 7:33

answered Apr 1 at 7:28

Martin RMartin R

31k33561

$endgroup$

add a comment | 

Your Answer

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3170302%2fhow-to-represent-sum-limits-n-0-infty-a-knzkn-in-terms-of-fz-su%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

3

$begingroup$

Let $omega ne 1$ be a $k$-th root of unity: $omega^k = 1$. Then
$$
sum_j=0^k-1 omega^nj = begincases
k & text if $n$ is a multiple of $k$, \
0 & text otherwise.
endcases
$$
Consequently,
$$
frac 1k sum_j=0^k-1 f(omega^j z ) = sum_n=0^infty a_knz^kn
$$

For $k=2$ this gives your result
$$
sum_n=0^infty a_2nz^2n =frac12(f(z)+f(-z))\
$$
For $k=3$ the correct result is
$$
sum_n=0^infty a_3nz^3n =frac13(f(z)+f(omega z) + f(omega^2 z))
$$
with $omega = - frac 12 pm fracsqrt 32$.

share|cite|improve this answer

edited Apr 1 at 7:33

answered Apr 1 at 7:28

Martin RMartin R

31k33561

$endgroup$

add a comment | 

3

$begingroup$

Let $omega ne 1$ be a $k$-th root of unity: $omega^k = 1$. Then
$$
sum_j=0^k-1 omega^nj = begincases
k & text if $n$ is a multiple of $k$, \
0 & text otherwise.
endcases
$$
Consequently,
$$
frac 1k sum_j=0^k-1 f(omega^j z ) = sum_n=0^infty a_knz^kn
$$

For $k=2$ this gives your result
$$
sum_n=0^infty a_2nz^2n =frac12(f(z)+f(-z))\
$$
For $k=3$ the correct result is
$$
sum_n=0^infty a_3nz^3n =frac13(f(z)+f(omega z) + f(omega^2 z))
$$
with $omega = - frac 12 pm fracsqrt 32$.

share|cite|improve this answer

edited Apr 1 at 7:33

answered Apr 1 at 7:28

Martin RMartin R

31k33561

$endgroup$

add a comment | 

$begingroup$

Let $omega ne 1$ be a $k$-th root of unity: $omega^k = 1$. Then
$$
sum_j=0^k-1 omega^nj = begincases
k & text if $n$ is a multiple of $k$, \
0 & text otherwise.
endcases
$$
Consequently,
$$
frac 1k sum_j=0^k-1 f(omega^j z ) = sum_n=0^infty a_knz^kn
$$

For $k=2$ this gives your result
$$
sum_n=0^infty a_2nz^2n =frac12(f(z)+f(-z))\
$$
For $k=3$ the correct result is
$$
sum_n=0^infty a_3nz^3n =frac13(f(z)+f(omega z) + f(omega^2 z))
$$
with $omega = - frac 12 pm fracsqrt 32$.

share|cite|improve this answer

edited Apr 1 at 7:33

answered Apr 1 at 7:28

Martin RMartin R

31k33561

$endgroup$

share|cite|improve this answer

edited Apr 1 at 7:33

answered Apr 1 at 7:28

Martin RMartin R

31k33561

answered Apr 1 at 7:28

Martin RMartin R

31k33561

answered Apr 1 at 7:28

Martin RMartin R

31k33561