The addition theorem for the Legendre functions of the second kind. (Q1450644)

Verf. beweist durch Auswertung eines Kurvenintegrals die Gleichung \[ Q_n(z) = Q_n(x) P_n(x^\prime) + 2 \sum_{m=1}^\infty Q_n^m(x) P_n^{-m}(x^\prime) \cos m \varphi, \tag{1} \] wobei \[ z = x x^\prime - \sqrt{(1-x^2)(1 - x^{\prime 2})} \cos \varphi, \] \[ \mathfrak R(x) \geqq 0, \quad \mathfrak R(x^\prime) \geqq 0, \quad \left|\frac{x^\prime - 1}{x^\prime + 1}\right| < \left| \frac{x-1}{x+1}\right| \] und \(n\) nicht negativ ganz. Für positive ganze Werte von \(n\) hatte diese Entwicklung \textit{C. Neumann} erhalten (1886; F. d. M. 18, 426 (JFM 18.0426.*)-429). Ferner wird eine Methode zur Herleitung von (1) aus der entsprechenden Formel für \textit{Legendre}sche Funktionen erster Art angegeben.