MHB A complex exp-series and related trig-integral

  • Thread starter Thread starter DreamWeaver
  • Start date Start date
  • Tags Tags
    Complex
Click For Summary
The discussion centers around an intriguing series involving complex exponentials and their relation to trigonometric integrals. Participants are encouraged to explore the series defined as $$\sum_{k=0}^{\infty}\frac{e^{2\pi ik/p}}{(2k+1)^{j+1}}$$ and to contribute their findings. A key insight is the connection to the polylogarithm function, particularly through the expression $$\text{Li}_j(e^{\frac{\pi i}{p}})$$ and its manipulation using properties of even and odd terms. One participant expresses a desire for verification of their results, while another humorously acknowledges their impaired state due to alcohol. Overall, the thread fosters collaborative exploration of mathematical concepts for enjoyment.
DreamWeaver
Messages
297
Reaction score
0
This is not a tutorial... Just for a bit of fun. All contributions welcome! (Handshake)Here's an interesting series to explore. Let $$j\in\mathbb{N}\cup \{0\}$$, and $$p\in\mathbb{N}\ge 2$$, then consider the following series:$$\sum_{k=0}^{\infty}\frac{e^{2\pi ik/p}}{(2k+1)^{j+1}}$$As I say, it's just for fun. I'll post some results soon, but by all means, do help yourselves in the mean-time. Oh, go on! You know you want too... (Tmi)Relevance:

This complex-exponential series is essential for evaluating the following trigonometric integral, with $$m\in\mathbb{N}$$:$$\int_0^{\pi/p}\frac{x^m}{\sin x}\, dx$$
Series hint:

Split the series into real and imaginary parts, then express as Polygamma/Hurwitz Zeta functions.
 
Physics news on Phys.org
Consider

$$\text{Li}_j(e^{\frac{\pi i}{p}})=\sum_{k\geq 1}\frac{e^{\frac{k\pi i}{p}}}{k^j}$$

By splitting into even and odd we have

$$e^{\frac{\pi i}{p}}\sum_{k\geq 0}\frac{e^{\frac{2k\pi i}{p}}}{(2k+1)^j}=\text{Li}_j(e^{\frac{\pi i}{p}})-2^{-j}\text{Li}_j(e^{\frac{2\pi i}{p}})$$

This Can be further sumplified using

$$Li_j(x)+Li_j(-x)=2^{1-j}Li_j(x^2)$$
 
Last edited:
Hey DW , I hope you can verify my results. I don't have the resources to do so.
 
ZaidAlyafey said:
Hey DW , I hope you can verify my results. I don't have the resources to do so.

Looks good to me, Zaid! But I have had mucho beer tonight, so I'll take a proper look tomorrow, when I find my brain again. I'm sure it's here somewhere... (Bandit)
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K