Math 2.0

Approximations and expansions Definition

Favard constant

Definition

For an integer r≥0r \ge 0, the Favard constant KrK_r is the number Kr=4π∑k=0∞((−1)k2k+1)r+1.K_r = \frac{4}{\pi} \sum_{k=0}^{\infty} \left(\frac{(-1)^k}{2k + 1}\right)^{r + 1}.

Remarks

The series converges for every r≥0r \ge 0: for r=0r = 0 it is an alternating series, and for r≥1r \ge 1 it converges absolutely.

Example: K0=4π(1−13+15−⋯ )=4π⋅π4=1K_0 = \frac{4}{\pi} \left(1 - \frac{1}{3} + \frac{1}{5} - \cdots\right) = \frac{4}{\pi} \cdot \frac{\pi}{4} = 1. Likewise K1=4π∑k≥01(2k+1)2=4π⋅π28=π2K_1 = \frac{4}{\pi} \sum_{k \ge 0} \frac{1}{(2k+1)^2} = \frac{4}{\pi} \cdot \frac{\pi^2}{8} = \frac{\pi}{2}. Further values are K2=π2/8K_2 = \pi^2/8 and K3=π3/24K_3 = \pi^3/24.

Non-example: 4π∑k≥012k+1\frac{4}{\pi} \sum_{k \ge 0} \frac{1}{2k + 1} is not a Favard constant; it lacks the signs of the case r=0r = 0 and the series diverges.

The even-indexed constants increase and the odd-indexed constants decrease, and both tend to 4/π4/\pi. So 1=K0<K2<K4<⋯<4π<⋯<K3<K1=π21 = K_0 < K_2 < K_4 < \cdots < \frac{4}{\pi} < \cdots < K_3 < K_1 = \frac{\pi}{2}.

Further reading

  1. Web https://en.wikipedia.org/wiki/Favard_constant
About this page
TagDCJTJXN3SR
URIm2://DCJTJXN3SR
Kinddefinition
WritingW0 stub
MSC41A44, 42A10, 41A17
DefinesFavard constant

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.