Does any formula or expansion exist that gives $\ln \pi$ ?
The expansion should not just be any formula of $\pi$ with a $\ln$ before it. For example $\ln \pi$ = k + $\sum f(x)$ or something of this type.
Does any formula or expansion exist that gives $\ln \pi$ ?
The expansion should not just be any formula of $\pi$ with a $\ln$ before it. For example $\ln \pi$ = k + $\sum f(x)$ or something of this type.
On
Let the matrix $A$ be the lower triangular matrix defined as:
$$A=\text{If } n \bmod k=0 \text{ then } \frac{1}{n^c} \text{ else } 0$$
and let the matrix $B$ be the upper triangular matrix defined as:
$$B=\text{If } k \bmod n=0 \text{ then } \frac{n \cdot \mu (n)}{k^s} \text{ else } 0$$
where $\mu(n)$ is the Möbius function.
Then the matrix product of the matrices $A$ and $B$ is the symmetric matrix $T$ starting:
$$T=A.B = \left( \begin{array}{ccccccc} +1&+1&+1&+1&+1&+1&+1&\cdots \\ +1&-1&+1&-1&+1&-1&+1 \\ +1&+1&-2&+1&+1&-2&+1 \\ +1&-1&+1&-1&+1&-1&+1 \\ +1&+1&+1&+1&-4&+1&+1 \\ +1&-1&-2&-1&+1&+2&+1 \\ +1&+1&+1&+1&+1&+1&-6 \\ \vdots&&&&&&&\ddots \end{array} \right)$$
which by analytic continuation has the Dirichlet generating function:
$$\sum\limits_{k=1}^{\infty}\sum\limits_{n=1}^{\infty} \frac{T(n,k)}{n^c \cdot k^s} = \sum\limits_{n=1}^{\infty} \frac{\lim\limits_{z \rightarrow s} \zeta(s)\sum\limits_{d|n} \frac{\mu(d)}{d^{(z-1)}}}{n^c} = \frac{\zeta(s) \cdot \zeta(c)}{\zeta(c + s - 1)}$$
Then take the limit:
$$\frac{\zeta '(s)}{\zeta (s)}=\lim_{c\to 1} \, \left(\zeta (c)-\frac{\zeta (c) \zeta (s)}{\zeta (c+s-1)}\right)$$
which is equivalent to subtracting the first column in the matrix $T$.
Evaluate at $s=0$ $$\frac{\zeta '(0)}{\zeta (0)}=\log(2\pi)$$
subtract with $\log(2)$
$$\frac{\zeta '(0)}{\zeta (0)}-\log(2) = \log(\pi)$$
So by analytic continuation:
$$\log(\pi)=\sum\limits_{k=1}^{\infty}\sum\limits_{n=1}^{\infty} \frac{T_1(n,k)}{n^1 \cdot k^0}-\log(2)$$
where
$$T_1 = \left( \begin{array}{ccccccc} +0&+1&+1&+1&+1&+1&+1&\cdots \\ +0&-1&+1&-1&+1&-1&+1 \\ +0&+1&-2&+1&+1&-2&+1 \\ +0&-1&+1&-1&+1&-1&+1 \\ +0&+1&+1&+1&-4&+1&+1 \\ +0&-1&-2&-1&+1&+2&+1 \\ +0&+1&+1&+1&+1&+1&-6 \\ \vdots&&&&&&&\ddots \end{array} \right)$$
$\log(2)$ can be subtracted from the matrix as a sum from the second column:
So again by analytic continuation (not numerically directly):
$$\log(\pi)=\sum\limits_{k=1}^{\infty}\sum\limits_{n=1}^{\infty} \frac{T_2(n,k)}{n^1 \cdot k^0}$$
where
$$T_2 = \left( \begin{array}{ccccccc} +0&+0&+1&+1&+1&+1&+1&\cdots \\ +0&-0&+1&-1&+1&-1&+1 \\ +0&+0&-2&+1&+1&-2&+1 \\ +0&-0&+1&-1&+1&-1&+1 \\ +0&+0&+1&+1&-4&+1&+1 \\ +0&-0&-2&-1&+1&+2&+1 \\ +0&+0&+1&+1&+1&+1&-6 \\ \vdots&&&&&&&\ddots \end{array} \right)$$
Hope this helps.
On
The $ \sin $ function has the beautiful representation as a product \begin{eqnarray*} \frac{\sin(x)}{x} = \prod_{n=1}^{\infty} \left(1- \frac{x^{2}}{n^2 \pi^2 }\right) . \end{eqnarray*} Let $x= \frac{\pi}{2}$ and we have the Wallis product formulae for $\frac{\pi}{2}$ \begin{eqnarray*} \frac{\pi}{2} = \prod_{n=1}^{\infty} \frac{2n}{2n-1} \frac{2n}{2n+1} . \end{eqnarray*} Taking logarithms of this will give \begin{eqnarray*} \ln \pi = \ln(2)+ \sum_{n=1}^{\infty} \left(2\ln(2n) -\ln(2n-1) -\ln(2n+1) \right) . \end{eqnarray*}
On
One has $\zeta'(0)=\log{\sqrt{2\pi}}$, and there are plenty of different ways of expressing this: for example, $$ \lim_{s \downarrow 0} \sum_{n=1}^{\infty} \frac{(-1)^n}{n^s}\log{n} = \log{\sqrt{2/\pi}}. $$
The series $\sum_{n=1}^{\infty} (-1)^n\log{n} $ does not converge by itself, but can be regularised in various ways: for example, if $S_m=\sum_{n=1}^{m} (-1)^n\log{n}$ we have $$ S_{2m}+S_{2m+1} = 2\sum_{n=1}^{2m} (-1)^n\log{n}-\log{(2m+1)}, $$ which can be written in closed form as $$ \log{(\pi/2)} + \log{\frac{m!}{\Gamma(m+3/2)\Gamma(m+1/2)}} $$ Stirling's formula implies that the second term converges to $0$, so $$ \log{\pi} = \log{2} + \lim_{m \to \infty} 2\sum_{n=1}^{2m} (-1)^n\log{n}-\log{(2m+1)}. $$
On
In this answer, it is shown that $$ \sum_{n=1}^\infty\frac{\zeta(2n)-1}{n+1}=\frac32-\log(\pi) $$
One could use this formula to get
$$\ln(\pi)=\gamma+\sum_{n=1}^\infty\left[2\ln(n)-2\ln(n-0.5)-\frac1n\right]$$
Using the Euler product of the Riemann zeta function,
$$2\ln(\pi)=\ln(6)-\sum_{p\in\mathbb P}\ln(1-p^{-2})$$
where $p$ is prime.
Another interesting series:
$$\ln(\pi)=\ln(2)+2\lim_{x\to-1^+}\sum_{n=2}^\infty x^n\ln(n)$$