3-33-2. Anders Lindstedt an H. Poincaré

Dorpat den 20 August 1883

Sehr geehrter Herr Professor!

Für Ihren Brief vom 14 Aug. bin ich Ihnen besonders dankbar. Es kann einem Anfänger, wie ich es bin, nur höchst angenehm sein, dass ein so distinguirter Mathematiker wie Sie, seine Methoden wenigstens der Beachtung werth finden.

Indessen ist eine Passage in meiner Abhandlung, und zwar, wie mir scheint, eine sehr wichtige, der Sie ihre Zustimmung versagen.

Bei der Behandlung der Diff. Gleichung

d2xdt2+{n2-2βcosλt}.x=0\frac{d^{2}x}{dt^{2}}+\{n^{2}-2\beta\cos\lambda t\}.x=0 (1)

habe ich behauptet, dass sekulare Glieder auch dann nicht zum Vorschein kommen, wenn λ\lambda einen solchen Werth haben würde, dass das Integral nur ein Argument enthalte, und nicht, wie im allgemeinen Falle, zwei solche. Ich habe behauptet, dass wenn λ\lambda gleich einem Vielfachen von mm gesetzt wird, dass auch dann keine sekularen Glieder auftreten. Sie meinen, dass es nicht so ist, sondern dass, im Gegentheil, gerade in diesem Falle und nur hier solche Glieder entstehen können und müssen.

Ich will Ihnen darin beipflichten, dass ich diese Frage in der Abhandlung zum Theil falsch beantwortet habe, aber ich glaube doch, dass ich im Wesentlichen Recht habe.11endnote: 1 Lindstedt comprend l’objection de Poincaré comme concernant le cas où λ\lambda est un multiple de mm (voir Poincaré à Lindstedt, 14.08.1883, § 3-33-1). Lindstedt explique donc dans ce cas particulier sa méthode générale. Il inverse la condition énoncée par Poincaré dans la lettre précédente. Dans la première partie de cette lettre, il traite du cas λ=km\lambda=km alors que l’objection de Poincaré concerne le cas m=kλm=k\lambda.

Nehmen wir nähmlich, um den besprochenen Fall zu haben,

λ=k.m\lambda=k.m

wo kk eine ganze Zahl bedeutet, so wird das Problem darin bestehen, in der Diff.Gleichung

d2xdt2+{n2-2βcosk.mt}.x=0\frac{d^{2}x}{dt^{2}}+\{n^{2}-2\beta\cos k.mt\}.x=0 (2)

die Constante mm so zu bestimmen, dass das Integral eine trigonometrische Reihe mit dem einzigen Argumente mtmt wird.

Der Gleichung (5) in meiner Abhandlung entsprechend, hat man für xx den Werth

x=-+iμicos{mt+π+i.kmt}x=\sum_{-\infty}^{+\infty}i\;\mu_{i}\cos\{mt+\pi+i.kmt\}

anzunehmen. Durch Substitution in (2) erhält man zur Berechnung der Unbekannten mm und μi\mu_{i} die Gleichungen

μi{n2-(1+ik)2m2}=β{μi+1+μi-1}\mu_{i}\{n^{2}-(1+ik)^{2}m^{2}\}=\beta\{\mu_{i+1}+\mu_{i-1}\}

die leicht aufzulösen sind. In einer ersten Annäherung hat man z.B.

μ1\displaystyle\mu_{1} =-β(k2+2k)n2μ0\displaystyle=-\frac{\beta}{(k^{2}+2k)n^{2}}\cdot\mu_{0}
μ-1\displaystyle\mu_{-1} =-β(k2-2k)n2μ0\displaystyle=-\frac{\beta}{(k^{2}-2k)n^{2}}\cdot\mu_{0}
m2\displaystyle m^{2} =n2+2k2β2n2(k4-4k)\displaystyle=n^{2}+\frac{2k^{2}\beta^{2}}{n^{2}(k^{4}-4k)}

Man hat also im Allgemeinen ein Integral mit zwei Integrationskonstanten — μ0\mu_{0} und π\pi — und mit nur einem Argument.22endnote: 2 Ces formules sont exactement celles obtenues par Lindstedt dans son mémoire sur l’intégration des équations différentielles de la théorie de la perturbation (Lindstedt 1883, 11–12).

Wenn man das Problem in ähnlicher Weise wie Heine — Handb. der Kugelfunktionen Th. I pag. 404 u. folg. — eine verwandte Aufgabe löst, so sieht [man], dass es unendlich viele Werthe von mm giebt, welche das Problem lösen.33endnote: 3 Lindstedt fait déjà allusion à ce passage du traité de Heine (1878) dans son mémoire sur l’intégration des équations différentielles de la théorie des perturbations pour signaler qu’il étudie le cas où les solutions peuvent s’exprimer sous la forme d’une série trigonométrique en λt\lambda t (Lindstedt 1883) : “Man hat sie vor Gyldén weder direkt noch durch Annäherungen in befriedigender Weise integriren können. Nur unter der speciellen Annahme, dass xx sich durch eine trigonometrische Reihe mit dem Argumente λt\lambda t ausdrücken lasse, hat man die Integration durch Substitution einer solchen Reihe mit unbestimmten Coefficienten vollziehen können.” Jedem einzelnen Werth entspricht ein vollständiges Integral. Auch die Coefficienten lassen sich in der Heine’schen Weise diskutieren.

Diese Schlüsse lassen sich ohne Weiteres auf den Fall übertragen, dass man als Coefficient für xx in (2) nicht bloss ein einzelnes Glied

2βcoskmt2\beta\cos kmt

sondern eine — konvergente — Reihe solcher Glieder hat.

Indessen giebt es zwei Fälle, wo das Integral nur eine Integrationskonstante bekommt, und also ein partikuläres Integral wird, nähmlich wenn man in (2)

k=1oderk=2k=1\quad\text{oder}\quad k=2

setzt.44endnote: 4 Lindstedt étudie à partir de ce moment les cas particuliers qui peuvent apparaître avec sa théorie générale. Ces cas font partie de ceux évoqués par Poincaré puisque lorsque k=1k=1 ou k=2k=2, mm est un multiple de λ/2\lambda/2. En effet, Poincaré traite de l’équation d2xdt2=x(βcosλt-n2)\frac{d^{2}x}{dt^{2}}=x(\beta\cos\lambda t-n^{2}) et comme l’affirme Poincaré dans sa lettre du 14.08.1883 (§ 3-33-1), des termes séculaires apparaissent lorsque mm est un multiple de λ\lambda. Lindstedt traite de l’équation d2xdt2=x(2βcosλt-n2).\frac{d^{2}x}{dt^{2}}=x(2\beta\cos\lambda t-n^{2}). Dans ce cas, les termes séculaires apparaissent lorsque mm est un multiple de λ/2\lambda/2. Voir la lettre de Lindstedt du 21.08.1883 (§ 3-33-3) et celle de Poincaré du 25.08.1883 (§ 3-33-4).

Diese beiden Fälle, d.h. die Diff.Gleichungen

d2xdt2+{n2-2βcosmt}x\displaystyle\frac{d^{2}x}{dt^{2}}+\{n^{2}-2\beta\cos mt\}x =0\displaystyle=0
d2xdt2+{n2-2βcos2mt}x\displaystyle\frac{d^{2}x}{dt^{2}}+\{n^{2}-2\beta\cos 2mt\}x =0\displaystyle=0

hatte ich bei der Verfassung der Abhandlung übersehen. Wenn man z.B. die zweite in der angegebenen Weise zu integrieren sucht, so findet man

μ0(n2-m2)=β(μ-1+μ+1)μ1(n2-9m2)=β(μ0+μ2)μ2(n2-25m2)=β(μ1+μ3)μ-1(n2-m2)=β(μ0+μ-2)μ-2(n2-9m2)=β(μ-1+μ-3)\begin{matrix}\mu_{0}(n^{2}-m^{2})&=&\beta(\mu_{-1}+\mu_{+1})\\ \mu_{1}(n^{2}-9m^{2})&=&\beta(\mu_{0}+\mu_{2})\\ \mu_{2}(n^{2}-25m^{2})&=&\beta(\mu_{1}+\mu_{3})\\ \ldots\\ \mu_{-1}(n^{2}-m^{2})&=&\beta(\mu_{0}+\mu_{-2})\\ \mu_{-2}(n^{2}-9m^{2})&=&\beta(\mu_{-1}+\mu_{-3})\\ \ldots\end{matrix}

so dass, wenn man

μ1=βfμ0\mu_{1}=\beta f\mu_{0}

setzt, so ist auch

μ-2=βfμ-1\mu_{-2}=\beta f\mu_{-1}

wo ff folgende Bedeutung hat:

f=1n2-9m2-β2n2-25m2-β2n-49m2-f=\cfrac{1}{n^{2}-9m^{2}-\cfrac{\beta^{2}}{n^{2}-25m^{2}-\cfrac{\beta^{2}}{n-4% 9m^{2}-\cdots}}}

Zur Bestimmung von mm hat man demnach die Gleichung[en]

μ0{n2-m2-β2f}\displaystyle\mu_{0}\{n^{2}-m^{2}-\beta^{2}f\} =βμ-1\displaystyle=\beta\mu_{-1}
μ-1{n2-m2-β2f}\displaystyle\mu_{-1}\{n^{2}-m^{2}-\beta^{2}f\} =βμ0\displaystyle=\beta\mu_{0}
woraus
{n2-m2-β2f}2\displaystyle\{n^{2}-m^{2}-\beta^{2}f\}^{2} =β2\displaystyle=\beta^{2}
und
μ-1\displaystyle\mu_{-1} =±μ0\displaystyle=\pm\mu_{0}
und also auch
μ-i-1\displaystyle\mu_{-i-1} =±μi\displaystyle=\pm\mu_{i}

Demzufolge schwindet aus dem Integral die Integrationskonstante π\pi, und man erhält nur ein partikuläres Integral, dass entweder aus lauter Cosinus- oder lauter Sinus-Glieder[n] besteht, jenachdem μ-1=+μ0\mu_{-1}=+\mu_{0} oder μ-1=-μ0\mu_{-1}=-\mu_{0} genommen wird.

So z.B. hat man

m2=n2-β+β28m2-\begin{matrix}m^{2}=n^{2}-\beta+\frac{\beta^{2}}{8m^{2}}-\ldots\end{matrix}

und

μ1=μ-2=-β8m2-9β264m4μ2=μ-3=β2192m4-\begin{matrix}\displaystyle\mu_{1}&=&\mu_{-2}&=&-\frac{\beta}{8m^{2}}-\frac{9% \beta^{2}}{64m^{4}}\\[5.69054pt] \displaystyle\mu_{2}&=&\mu_{-3}&=&\frac{\beta^{2}}{192m^{4}}-\ldots\\ \ldots\end{matrix}

wenn man schreibt

x=μ0{cosmt+μ1cos3mt+μ2cos5mt+}.x=\mu_{0}\{\cos mt+\mu_{1}\cos 3mt+\mu_{2}\cos 5mt+\ldots\}.

Ob in diesem Falle sekuläre Glieder überhaupt auftreten, wage ich nicht zu entscheiden, ebensowenig wie ich glaube, dass meine Methode sie zu ermitteln erlaubt. So würde mir desshalb sehr willkommen sein, wenn Sie mir mittheilen wollten, wie Sie dieselben gefunden haben.55endnote: 5 Lindstedt affirme qu’il ne peut y avoir des termes séculaires que dans le cas m±n=kλm\pm n=k\lambda, sans conclure sur leur présence effective. La thèse de Poincaré est qu’il n’apparaît effectivement des termes séculaires que dans le cas m=kλm=k\lambda.

Mit der ausgezeichnetsten Hochachtung

Ihr And. Lindstedt

ALSX 7p. Collection particulière, Paris 75017.

Time-stamp: "1.11.2020 16:26"

Notes

  • 1 Lindstedt comprend l’objection de Poincaré comme concernant le cas où λ\lambda est un multiple de mm (voir Poincaré à Lindstedt, 14.08.1883, § 3-33-1). Lindstedt explique donc dans ce cas particulier sa méthode générale. Il inverse la condition énoncée par Poincaré dans la lettre précédente. Dans la première partie de cette lettre, il traite du cas λ=km\lambda=km alors que l’objection de Poincaré concerne le cas m=kλm=k\lambda.
  • 2 Ces formules sont exactement celles obtenues par Lindstedt dans son mémoire sur l’intégration des équations différentielles de la théorie de la perturbation (Lindstedt 1883, 11–12).
  • 3 Lindstedt fait déjà allusion à ce passage du traité de Heine (1878) dans son mémoire sur l’intégration des équations différentielles de la théorie des perturbations pour signaler qu’il étudie le cas où les solutions peuvent s’exprimer sous la forme d’une série trigonométrique en λt\lambda t (Lindstedt 1883) : “Man hat sie vor Gyldén weder direkt noch durch Annäherungen in befriedigender Weise integriren können. Nur unter der speciellen Annahme, dass xx sich durch eine trigonometrische Reihe mit dem Argumente λt\lambda t ausdrücken lasse, hat man die Integration durch Substitution einer solchen Reihe mit unbestimmten Coefficienten vollziehen können.”
  • 4 Lindstedt étudie à partir de ce moment les cas particuliers qui peuvent apparaître avec sa théorie générale. Ces cas font partie de ceux évoqués par Poincaré puisque lorsque k=1k=1 ou k=2k=2, mm est un multiple de λ/2\lambda/2. En effet, Poincaré traite de l’équation d2xdt2=x(βcosλt-n2)\frac{d^{2}x}{dt^{2}}=x(\beta\cos\lambda t-n^{2}) et comme l’affirme Poincaré dans sa lettre du 14.08.1883 (§ 3-33-1), des termes séculaires apparaissent lorsque mm est un multiple de λ\lambda. Lindstedt traite de l’équation d2xdt2=x(2βcosλt-n2).\frac{d^{2}x}{dt^{2}}=x(2\beta\cos\lambda t-n^{2}). Dans ce cas, les termes séculaires apparaissent lorsque mm est un multiple de λ/2\lambda/2. Voir la lettre de Lindstedt du 21.08.1883 (§ 3-33-3) et celle de Poincaré du 25.08.1883 (§ 3-33-4).
  • 5 Lindstedt affirme qu’il ne peut y avoir des termes séculaires que dans le cas m±n=kλm\pm n=k\lambda, sans conclure sur leur présence effective. La thèse de Poincaré est qu’il n’apparaît effectivement des termes séculaires que dans le cas m=kλm=k\lambda.

Literatur

  • E. Heine (1878) Handbuch der Kugelfunctionen, Theorie und Anwendungen, Volume 1: Theorie der Kugelfunctionen und der verwandten Functionen. G. Reimer, Berlin. Cited by: endnote 3.
  • A. Lindstedt (1883) Beitrag zur Integration der Differentialgleichungen der Störungstheorie. Mémoires de l’Académie impériale des sciences de St-Pétersbourg 31 (4), pp. 1–20. Cited by: endnote 2, endnote 3.