Geometric series algebra / exponential/ 2 summations

Click For Summary
SUMMARY

The discussion centers on proving the identity ## \sum\limits_{n=1}^{\infty} \log(1-q^n) = -\sum\limits_{n=1}^{\infty}\sum\limits_{m=1}^{\infty} \frac{q^{n.m}}{m} ##, where ## q^n = e^{2\pi i n t} ## and ## t ## is a complex number in the upper plane. The user attempts to manipulate the series using the exponential series expansion ## e^{x} = \sum\limits_{m=0}^{\infty} \frac{x^{m}}{m!} ## but struggles to derive the necessary terms involving ## q^{n.m} ##. Additionally, they seek to show that ## \sum\limits_{n=1}^{\infty} n \frac{q^{n}}{(1-q^n)} = \sum\limits_{n=1}^{\infty} n \sum\limits_{m=1}^{\infty} q^{m.n} ##, indicating a potential gap in understanding Taylor expansions of logarithmic functions.

PREREQUISITES
  • Understanding of infinite series and convergence
  • Familiarity with logarithmic functions and their properties
  • Knowledge of Taylor series expansions
  • Basic concepts of complex analysis, particularly regarding complex numbers in the upper plane
NEXT STEPS
  • Study Taylor series expansions of logarithmic functions, specifically ## \log(1-x) ##
  • Explore the properties of infinite series and convergence tests
  • Learn about the relationship between exponential functions and series expansions
  • Investigate advanced topics in complex analysis, focusing on series involving complex variables
USEFUL FOR

Mathematics students, particularly those studying series and complex analysis, as well as educators seeking to clarify concepts related to logarithmic identities and series manipulations.

binbagsss
Messages
1,291
Reaction score
12
Homework Statement

I want to show that ## \sum\limits_{n=1}^{\infty} log (1-q^n) = -\sum\limits_{n=1}^{\infty}\sum\limits_{m=1}^{\infty} \frac{q^{n.m}}{m} ##, where ##q^{n}=e^{2\pi i n t} ## , ##t## [1] a complex number in the upper plane.

Homework Equations



Only that ## e^{x} = \sum\limits_{m=0}^{\infty} \frac{x^{m}}{m!}## [2]

The Attempt at a Solution



I can see that both series start from ##n,m=1## in the RHS of [1] , so if I use [2] starting from ##m=1## will result in the '1' cancelling as needed i.e. I have ## \sum\limits_{n=1}^{\infty} log (1-q^n) = \sum\limits_{n=1}^{\infty} log (\sum\limits_{m=1}^{\infty} \frac{(2\pi int)^{m}}{m!})##

I don't really no where to go now, I don't see how you can get another expansion in terms of ##q^{m}## from this to give the required ##q^{n.m}##, I can see there's a minus sign too but I'm struggling to use this as a clue as well.

Many thanks in advance.
 
Physics news on Phys.org
I am also struggling to show that ## \sum\limits_{n=1}^{\infty} n \frac{q^{n}}{(1-q^n)} = \sum\limits_{n=1}^{\infty} n \sum\limits_{m=1}^{\infty} q^{m.n} ##

I'm guessing it's the same things I'm missing in both cases...many thanks in advance.
 
Unless I'm missing something, isn't this just a matter of Taylor expanding ##\log(1-q^{n})##?
 
  • Like
Likes   Reactions: binbagsss

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
6
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K