Über das System \(\int\limits_{-\infty}^{+\infty}\varphi(x,y)dx=p(y)\), \(\int\limits_{-\infty}^{+\infty}\varphi(x,y)dy=q(x)\). (Q2591500)

Zur Lösung des Gleichungssystems \[ \int\limits_{-\infty}^{+\infty}\varphi(x,y)dx=p(y), \quad \int\limits_{-\infty}^{+\infty}\varphi(x,y)dy=q(x) \tag{1} \] bei gegebenen \(p(y)\), \(q(x)\) genügt die Ermittlung einer Partikularlösung \(\varphi_0(x, y)\), aus der die allgemeinste Lösung durch Addition von \[ \psi(x,y)+\lambda(x)\lambda(y) \int\limits_{-\infty}^{+\infty}dx \int\limits_{-\infty}^{+\infty} \psi(x,y)dy-\lambda(x) \int\limits_{-\infty}^{+\infty} \psi(x,y)dx-\lambda(y) \int\limits_{-\infty}^{+\infty}\psi(x,y)dy \] hervorgeht, worin \(\psi(x,y)\) die allgemeinste Funktion ist, für die die Vertauschbarkeit \[ \int\limits_{-\infty}^{+\infty} dx \int\limits_{-\infty}^{+\infty}\psi(x,y)dy= \int\limits_{-\infty}^{+\infty} dy \int\limits_{-\infty}^{+\infty} \psi(x,y)dx \] gilt, und \(\lambda(x)\) eine beliebige Funktion mit \[ \int\limits_{-\infty}^{+\infty} \lambda(x)dx=1 \] bezeichnet. Gilt nun \[ \int\limits_{-\infty}^{+\infty} p(y)dy= \int\limits_{-\infty}^{+\infty} q(x)dx=M,\qquad (M \;\text{endlich}) \tag{2} \] so ist etwa \[ \varphi_0(x,y)=\frac{p(y)q(x)}{M} \] zu setzen. Schwierig wird die Lösung, wenn (2) nicht erfüllt ist. Verf. findet aber \(\varphi_0(x, y)\) immer, wenn \(q(x)\), \(p(y)\) beliebige Polynome sind; es lassen sich nämlich zu jedem \(n\) die Konstanten \(a_0, \ldots, a_n\) so bestimmen, daß die Funktion \[ \overline\varphi(x,y)=\frac1{\sqrt\pi}e^{-(x+y)^2}\cdot \sum_{\nu=0}^n a_\nu x^\nu y^{n-\nu} \] den Gleichungen \[ \int\limits_{-\infty}^{+\infty} \overline\varphi(x,y)dx=y^n,\qquad \int\limits_{-\infty}^{+\infty} \overline\varphi(x,y)dy=x^n \] genügt, woraus das Weitere durch lineare Kombination folgt.