When was Euler's log-sine integral first computed by real methods?

J.G. 08/16/2018. 1 answers, 188 views
discoveries calculus

In Sec. 2.4 of Inside Interesting Integrals (2015), Paul J Nahin says of $$I:=\int_0^{\pi/2}\ln (a\sin x)dx=\int_0^{\pi/2}\ln (a\cos x)dx$$that:

For many years it was commonly claimed in textbooks that these are quite difficult integrals to do, best tackled with the powerful techniques of contour integration. As you’ll see with the following analysis, however, that is simply not the case.

The real method is$$2I=\int_0^{\pi/2}\ln(\frac{a^2}{2}\sin 2x)dx=\frac{\pi}{2}\ln\frac{a}{2}+\frac{1}{2}\int_0^\pi\ln(a\sin y) dy=\frac{\pi}{2}\ln\frac{a}{2}+I,$$so $I=\frac{\pi}{2}\ln\frac{a}{2}$. Presumably Euler's calculation, which Nahin says he did for $a=1$ in 1769, didn't use the above method, or else textbooks would never have claimed the need for contour integration. So when did the above proof first surface? And when did textbooks first claim the need for complex methods?

1 Answers

Francois Ziegler 08/20/2018.

To the title question: In E393 (1770, p. 167) and again E499 (1780, §§6, 7, 10) — reprinted in vol. 4 of his Integral Calculus (1794) — Euler integrated the Fourier series$$ \cot\varphi =2\bigl(\sin2\varphi+\sin4\varphi+\sin6\varphi+\sin8\varphi+\text{etc.}\bigr) $$ term by term twice to obtain $$ \log(\sin\varphi)=-\log2 - \cos2\varphi - \tfrac12\cos4\varphi - \tfrac13\cos6\varphi - \tfrac14\cos8\varphi - \text{etc.} $$ and \begin{align} \int_0^{\pi/2}\log(\sin\varphi)\,d\varphi &= \Bigl[-\varphi\log2 - \tfrac12\sin2\varphi - \tfrac18\sin4\varphi - \tfrac1{18}\sin6\varphi - \tfrac1{32}\sin8\varphi-\text{etc.}\Bigr]_0^{\pi/2}\\ &=\tfrac\pi2\log\tfrac12. \end{align} Koyama and Kurokawa (2005) call this “not tricky contrary to the usual explanation.” E393 has a second proof that I haven’t deciphered. Later proofs by real methods:

  • Poisson (1823, p. 489): derive $\int_0^{\pi/2}\cos^a x\cos ax\,dx=\frac{\pi}{2^{a+1}}$ with respect to $a$ at $a=0$.
  • Ellis (1841): recognize the log of $\prod_{k=1}^n\sin^2\bigl(\frac{k}{n}\frac{\pi}2\bigr)=\frac{n}{4^{n-1}}$ in a Riemann sum for the integral.
  • Goodwin (1843): your proof, also found in Grunert (1844), Todhunter (1857), Bierens de Haan (1858, 1862), etc.

Nahin’s assertion that any book “claimed the need for complex methods” sounds like a straw man. E.g. I see no such claim near the contour integration proofs of Cauchy (1825, 1826) (he attributes the formula to Euler), Lindelöf (1905), Ahlfors (1979),...

HighResolutionMusic.com - Download Hi-Res Songs


Birthday Party flac

AJR. 2019. Writer: Adam Met;Jack Met;Ryan Met;Peter Ivers;David Lynch.
2 Loote

Your Side Of The Bed flac

Loote. 2018. Writer: ​Jesse Saint John;Jackson Foote;Emma Lov Block.

100 Bad Days flac

AJR. 2019. Writer: Jack Met;Adam Met;Ryan Met.
4 Joe Jonas

Longer Than I Thought flac

Joe Jonas. 2018. Writer: Patrick Nissley;Jackson Foote;Dave Katz.
5 Loote

Out Of My Head flac

Loote. 2018. Writer: Emma Lov Block;Michael Pollack;Jeremy Dussolliet;Jackson Foote.
6 Iselin Solheim

Anyone Out There flac

Iselin Solheim. 2019. Writer: Iselin Solheim;Max Grahn.
7 Loote

Wish I Never Met You flac

Loote. 2018. Writer: Jackson Foote;Alex Peter Koste;Jeremy Dussolliet;Emma Lov Block.
8 Kim Petras

Heart To Break flac

Kim Petras. 2018. Writer: Cirkut;Aaron Joseph;Dr. Luke;Jacob Kasher;Kim Petras.
9 A L E X

Out On The Trampoline At Night flac

A L E X. 2018. Writer: A L E X.
10 A L E X

I Want To Hold Your Hand flac

A L E X. 2018. Writer: A L E X.
11 A L E X

Field flac

A L E X. 2018. Writer: A L E X.
12 A L E X

Save Me flac

A L E X. 2018. Writer: A L E X.
13 Devin

Summer Lover flac

Devin. 2019. Writer: Tommy Lee James;Stuart Crichton;Oliver Heldens;Nile Rodgers;Devin Guisande.
14 A L E X

9 To 5 flac

A L E X. 2018. Writer: A L E X.
15 A L E X

Skirt flac

A L E X. 2018. Writer: A L E X.
16 Florian Picasso

Midnight Sun (Extended Version) flac

Florian Picasso. 2019.
17 Florian Picasso

Midnight Sun flac

Florian Picasso. 2019.
18 21 Savage

Enzo flac

21 Savage. 2019. Writer: YungLunchBox;Sheck Wes;Offset;Gucci Mane;21 Savage;DJ Snake.
19 Tales Of Ratatösk

Battle Of The Doomed Gods 320kbps

Tales Of Ratatösk. 2019.
20 Tales Of Ratatösk

Andro 320kbps

Tales Of Ratatösk. 2019.

Related questions

Hot questions


Popular Tags