Expansion of series and possible induction

Click For Summary

Homework Help Overview

The discussion revolves around the infinite series representation of the function $$\frac{x}{e^x - 1}$$ and the determination of coefficients $$A_n$$ in its Taylor expansion. Participants are exploring the relationships between these coefficients and considering the use of mathematical induction to establish further properties.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Some participants discuss the initial conditions for the coefficients and the implications of using induction on the series. There is a focus on understanding the base case for the induction and the meaning of the notation used for the coefficients.

Discussion Status

Participants are actively engaging with the problem, questioning the assumptions made about the coefficients and the induction process. Some have offered insights into the relationships between the coefficients, while others are clarifying their understanding of the notation and the implications of their findings.

Contextual Notes

There is a mention of the constraints of the problem, particularly regarding the integer nature of $$n$$ and the specific relationships that need to be established among the coefficients. Participants are also considering the implications of neglecting certain cases in their reasoning.

CAF123
Gold Member
Messages
2,918
Reaction score
87

Homework Statement


Consider the infinite series $$\frac{x}{e^x - 1} = A_o + A_1 x + \frac{A_2}{2!}x^2 + ... + \frac{A_n}{n!}x^n + ...$$ Determine that ##1 = A_o,\,\,\,\,\,0 = A_o/2! + A_1,\,\,\,\,\,0 = A_o/3! + A_1/2! + A_2/2!##.
Show that for ##n > 1##, one can write the relations as $$(A+1)^n - A^n,$$ where ##A^n \rightarrow A_n##.

2. Homework Equations

Taylor expansions and induction

The Attempt at a Solution


First part is fine. I thought about using induction on the second part since ##n## is confined to an integer. I understand ##A^n \rightarrow A_n## as meaning the powers of the series converge to the actual terms in the series, which is why I thought ##n## was an integer, labeling the terms in the series. However, I can't seem to make sense of the base case (n=2). It is $$(A+1)^2 - A^2 = 2A + 1$$ What is ##A##?

thanks
 
Physics news on Phys.org
Anyone any comments or help? thanks.
 
CAF123 said:

Homework Statement


Consider the infinite series $$\frac{x}{e^x - 1} = A_o + A_1 x + \frac{A_2}{2!}x^2 + ... + \frac{A_n}{n!}x^n + ...$$ Determine that ##1 = A_o,\,\,\,\,\,0 = A_o/2! + A_1,\,\,\,\,\,0 = A_o/3! + A_1/2! + A_2/2!##.
Show that for ##n > 1##, one can write the relations as $$(A+1)^n - A^n,$$ where ##A^n \rightarrow A_n##.

2. Homework Equations

Taylor expansions and induction

The Attempt at a Solution


First part is fine. I thought about using induction on the second part since ##n## is confined to an integer. I understand ##A^n \rightarrow A_n## as meaning the powers of the series converge to the actual terms in the series, which is why I thought ##n## was an integer, labeling the terms in the series. However, I can't seem to make sense of the base case (n=2). It is $$(A+1)^2 - A^2 = 2A + 1$$ What is ##A##?

thanks

What this is saying (I think) is that you can expand the left hand side of [itex](A + 1)^n - A^n = 0[/itex], and if you then replace [itex]A^k[/itex] with [itex]A_k[/itex] where [itex]0 \leq k < n[/itex], you can find [itex]A_{n-1}[/itex] in terms of [itex]A_0, \dots, A_{n-2}[/itex].

Thus: [itex](A + 1)^2 - A^2 = 2A + 1[/itex] and indeed [itex]2A_1 + A_0 = 0[/itex].
 
pasmith said:
What this is saying (I think) is that you can expand the left hand side of [itex](A + 1)^n - A^n = 0[/itex], and if you then replace [itex]A^k[/itex] with [itex]A_k[/itex] where [itex]0 \leq k < n[/itex], you can find [itex]A_{n-1}[/itex] in terms of [itex]A_0, \dots, A_{n-2}[/itex].
I see, is there a reason why you neglected the case where ##k=n##?
Thus: [itex](A + 1)^2 - A^2 = 2A + 1[/itex] and indeed [itex]2A_1 + A_0 = 0[/itex].
I nearly see what you did there except how did you get that ##A=A_1##? Is this just a notation ##A = A^1 = A_1##?

Would you say induction is the way to go? I can try further given I now understand what the base case means, thanks.
 
CAF123 said:
I see, is there a reason why you neglected the case where ##k=n##?

The [itex]A^n[/itex] terms cancel.

I nearly see what you did there except how did you get that ##A=A_1##? Is this just a notation ##A = A^1 = A_1##?

[itex]x^1 = x[/itex] for every [itex]x[/itex].

Would you say induction is the way to go?

It is the obvious method.
 
CAF123 said:
I nearly see what you did there except how did you get that ##A=A_1##? Is this just a notation ##A = A^1 = A_1##?
It's not that ##A^1 = A_1##, but that it represents it in the analogy between the two sets of equations.
 
I tried the induction argument, but seemed to run into a mistake. Assume ##P(n) = (A + 1)^n - A^n = 0 ## is true for ##n##. Then $$(A+1)^{n+1} - A^{n+1} = (A+1)^n (A+1) - A^n A $$$$= ((A+1)^n - A^n)A + (A+1)^n = A^n \neq 0$$ The ##A^n## are just numbers so I am not sure where the mistake is.
 
I think you want to be using induction to establish that [tex] \sum_{k=0}^{n-1} \binom{n}{k} A_k = 0[/tex] since [tex] (A+ 1)^n - A^n = \sum_{k=0}^{n-1} \binom{n}{k} A^k.[/tex]
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
8
Views
3K
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K