Sum over Integers of Sine of n + alpha of theta over n + alpha
Jump to navigation
Jump to search
This page has a problem that needs the help of a knowledgeable authority, as follows:
can't seem to get anything to work
If you are particularly knowledgeable in this area, then you can help ProofWiki by resolving the issues.
Theorem
For $0 < \theta < 2 \pi$:
- $\ds \sum_{n \mathop \in \Z} \dfrac {\map \sin {n + \alpha} \theta} {n + \alpha} = \pi$
Proof
First we establish the following, as they will be needed later.
| \(\ds \) | \(\) | \(\ds \map \sin {\alpha + n} \theta + \map \sin {\alpha - n} \theta\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds 2 \map \sin {\dfrac {\paren {\alpha + n} \theta + \paren {\alpha - n} \theta} 2} \map \cos {\dfrac {\paren {\alpha + n} \theta - \paren {\alpha - n} \theta} 2}\) | Prosthaphaeresis Formula for Sine plus Sine | |||||||||||
| \(\text {(1)}: \quad\) | \(\ds \) | \(=\) | \(\ds 2 \sin \alpha \theta \cos n \theta\) | simplification |
| \(\ds \) | \(\) | \(\ds \map \sin {\alpha + n} \theta - \map \sin {\alpha - n} \theta\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds 2 \map \cos {\dfrac {\paren {\alpha + n} \theta + \paren {\alpha - n} \theta} 2} \map \sin {\dfrac {\paren {\alpha + n} \theta - \paren {\alpha - n} \theta} 2}\) | Prosthaphaeresis Formula for Sine minus Sine | |||||||||||
| \(\text {(2)}: \quad\) | \(\ds \) | \(=\) | \(\ds 2 \cos \alpha \theta \sin n \theta\) | simplification |
| \(\ds \) | \(\) | \(\ds \sum_{n \mathop = -m}^m \dfrac {\map \sin {n + \alpha} \theta} {n + \alpha}\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \dfrac {\map \sin {0 + \alpha} \theta} {0 + \alpha} + \sum_{n \mathop = 1}^m \dfrac {\map \sin {n + \alpha} \theta} {n + \alpha} + \sum_{n \mathop = -m}^{-1} \dfrac {\map \sin {n + \alpha} \theta} {n + \alpha}\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \dfrac {\sin \alpha \theta} \alpha + \sum_{n \mathop = 1}^m \dfrac {\map \sin {n + \alpha} \theta} {n + \alpha} + \sum_{n \mathop = 1}^m \dfrac {\map \sin {-n + \alpha} \theta} {-n + \alpha}\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \dfrac {\sin \alpha \theta} \alpha + \sum_{n \mathop = 1}^m \paren {\dfrac {\map \sin {\alpha + n} \theta} {\alpha + n} + \dfrac {\map \sin {\alpha - n} \theta} {\alpha - n} }\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \dfrac {\sin \alpha \theta} \alpha + \sum_{n \mathop = 1}^m \paren {\dfrac {\paren {\alpha - n} \map \sin {\alpha + n} \theta + \paren {\alpha + n} \map \sin {\alpha - n} \theta} {\alpha^2 - n^2} }\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \dfrac {\sin \alpha \theta} \alpha + \sum_{n \mathop = 1}^m \paren {\dfrac {\alpha \map \sin {\alpha + n} \theta - n \map \sin {\alpha + n} \theta + \alpha \map \sin {\alpha - n} \theta - n \map \sin {\alpha - n} \theta} {\alpha^2 - n^2} }\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \dfrac {\sin \alpha \theta} \alpha + \sum_{n \mathop = 1}^m \paren {\dfrac {\alpha \paren {\map \sin {\alpha + n} \theta + \map \sin {\alpha - n} \theta} - n \paren {\map \sin {\alpha + n} \theta - \map \sin {\alpha - n} \theta} } {\alpha^2 - n^2} }\) | ||||||||||||
| \(\ds \) | \(=\) | \(\ds \dfrac {\sin \alpha \theta} \alpha + \sum_{n \mathop = 1}^m \paren {\dfrac {2 \alpha \sin \alpha \theta \cos n \theta - 2 n \cos \alpha \theta \sin n \theta} {\alpha^2 - n^2} }\) | from $(1)$ and $(2)$ |
From Half-Range Fourier Cosine Series for $\cos \alpha x$ over $\openint 0 \pi$:
- $\ds \cos \alpha \theta \sim \frac {2 \alpha \sin \alpha \pi} \pi \paren {\frac 1 {2 \alpha^2} + \sum_{n \mathop = 1}^\infty \paren {-1}^n \frac {\cos n \theta} {\alpha^2 - n^2} }$
From Half-Range Fourier Sine Series for $\sin \alpha x$ over $\openint 0 \pi$:
- $\ds \sin \alpha \theta \sim \frac {2 \sin \alpha \pi} \pi \paren {\sum_{n \mathop = 1}^\infty \paren {-1}^n \frac {n \sin n \theta} {\alpha^2 - n^2} }$
can't seem to get anything to work
If you are particularly knowledgeable in this area, then you can help ProofWiki by resolving the issues.
To discuss this page in more detail, feel free to use the talk page.
If you are able to do so, then when you have finished you can remove this instance of {{Help}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Sources
- 1961: I.N. Sneddon: Fourier Series ... (previous) ... (next): Exercises on Chapter $\text {II}$: $1$.