Sur une équation intégrale à noyau analytique. (Q5908869)

{Von der Bemerkung ausgehend, daß die Anzahl der Integralgleichungen, die eine effektiv angebbare Lösung haben, noch sehr klein ist, sucht der Verf. diese Anzahl zu vermehren durch Untersuchung von Integralgleichungen, die durch das Dirichletsche Problem gegeben werden. \let\bar=\overline Er geht von einer rationalen Funktion \(\varPhi(s)\) der Ordnung \(n\) aus, die die obere Halbebene der \(s\)-Ebene konform auf ein beschränktes Gebiet \(D\) abbildet. Die Integralgleichung des Dirichletschen Problems für das Gebiet \(D\) lautet \[ \varphi(t)+\lambda\int_{-\infty}^\infty f(t,s)\varphi(s)\,ds=\alpha(t), \] wobei \[ f(t,s)=\frac1{2\pi i}\frac\partial{\partial s}\log\frac{\varPhi(s)-\varPhi(t)} {\bar\varPhi(s)-\bar\varPhi(t)} \] bedeutet. Sind \(u=s\), \(\psi_1(s),\psi_2(s),\dots,\psi_{n-1}(s)\) die \(n\) Lösungen der Gleichung \(\varPhi(u)=\varPhi(s)\) und wird gesetzt \[ \begin{aligned} \varOmega_\nu(s,t)&=\sum_{i_1,\dots,i_\nu}\frac1{s-\psi_{i_1}\bar\psi_{i_2}\psi_{i_2}\dots(t)}\\ \bar\varOmega_\nu(s,t)&=\sum_{i_1,\dots,i_\nu}\frac1{s-\bar\psi_{i_1}\psi_{i_2}\bar\psi_{i_3}\dots(t)}, \end{aligned} \] wobei \(i_1,\dots,i_\nu\) unabhängig voneinander die Werte \(1,2,\dots,n-1\) durchlaufen, so sind die iterierten Kerne \(f_r(s,t)\) durch \[ \begin{multlined} 2\pi if_r(t,s)=\bar\varOmega_r(t,s)-\varOmega_r(t,s)\\ +\sum_{\nu=0}^{r-1} [\bar\varOmega_\nu(\bar a,s)-\varOmega_\nu(a,s)] -\sum_{\nu=1}^r[\bar\varOmega_\nu(a,s)-\varOmega_\nu(\bar a,s)], \end{multlined} \] für gerades \(r\) und durch \[ \begin{multlined} 2\pi if_r(t,s)=-\bar\varOmega_r(t,s)+\varOmega_r(t,s)\\ +\sum_{\nu=0}^r [\bar\varOmega_\nu(\bar a,s)-\varOmega_\nu(a,s)] -\sum_{\nu=1}^{r-1}[\bar\varOmega_\nu(a,s)-\varOmega_\nu(\bar a,s)], \end{multlined} \] für ungerades \(r\) gegeben. \(a\) ist dabei ein eindeutig bestimmter Pol von \(\varPhi(s)\). Die iterierten Kerne sind also rationale Funktionen von \(s\), \(t\). Ist \(\omega(s)\) die Lösung der homogenen Gleichung \[ \omega(s)=\int_{-\infty}^\infty f(s,t)\omega(s)\,ds \] und wird \(\omega\) durch \[ \int_{-\infty}^\infty\omega(s)\,ds=1 \] normiert, so stellt \(\omega(s)\) die Dichte der elektrostatischen Verteilung auf einem unendlichen Zylinder dar, der \(D\) als Normalschnitt besitzt. Es ist \[ \omega(s)=\lim_{r=\infty}f_r(t,s). \] Die Komponenten der elektrischen Kraft sind Real- und Imaginärteil der analytischen Funktion \[ K(z)=\int_{-\infty}^\infty\frac{\omega(s)}{z-\varPhi(s)}\,ds. \] Man findet \[ K(z)=\frac1{z-\varPhi(\bar a)}+ \sum_{\nu=1}^\infty\sum_{(\xi_\nu)}\left(\frac1{z-\varPhi(\xi_\nu(\bar a))} -\frac1{z-\varPhi(\xi_\nu(a))}\right), \] wobei für \(\nu\) gerade \[ \xi_\nu=\bar\psi_{i_1}\psi_{i_2}\bar\psi_{i_3}\dots\psi_{i_\nu} \] und für \(\nu\) ungerade \[ \xi_\nu=\bar\psi_{i_1}\psi_{i_2}\bar\psi_{i_3}\dots\bar\psi_{i_\nu} \] Diese Formel für \(K(z)\) stellt eine Verallgemeinerung der Kelvinschen Methode der elektrischen Bilder dar. \(K(z)\) ist die logarithmische Ableitung einer Funktion \(F(z)\), die die konforme Abbildung des Äußeren des Gebiets \(D\) auf das Innere eines Kreises leistet. Daraus folgt, daß die Funktion \(F(\varPhi(z))\) invariant bleibt bei allen Transformationen der durch die Funktionen \(\psi_1\), \(\ldots\), \(\psi_{n-1}\), \(\bar\psi_1\), \(\ldots\), \(\bar\psi_{n-1}\) erzeugten unendlichen Gruppe.}