Sull' approssimazione per polinomi delle funzioni definite in campi illimitati. (Q565583)

Es handelt sich darum, eine im Grundgebiete \((-\infty,+\infty )\) erklärte Funktion \(f(x)\) durch Polynome \(P(x)\) anzunähern in folgendem Sinne: \(\theta (x)\) sei eine dort gegebene überall positive Funktion, und es konvergiere \[ \int \limits _{-\infty }^{+\infty }\theta (x)| f(x)| ^pdx \qquad (p>1). \] Dann bewirke man durch passende Wahl von \(P(x)\), daß\^^M \[ I=\int \limits _{-\infty }^{+\infty }\theta (x) | f(x)-P(x)| ^pdx<\varepsilon \] wird. Die Aufgabe ist lösbar, wenn \[ \int \limits _{1}^{\infty }(\mu (\alpha ))^{-\tfrac {1}{\alpha }}d\alpha \qquad \text{oder} \quad \sum \limits _{n}^{1,\infty }\dfrac {1}{\root {2n}\of {c_{2n}}} \] divergieren, wo \[ \mu (\alpha )=\int \limits _{-\infty }^{+\infty }\theta (x) | x| ^{\alpha }dx \quad \text{bzw. } \quad c_n=\int \limits _{-\infty }^{+\infty }\theta (x)x^ndx. \] \(P(x)\) wird schrittweise gefunden: Zum \(N\)-ten Schritte gehört das einzige Polynom \(N\)-ten Grades, mit dem \(I\) den kleinsten Wert erhält. -Ähnliches Ergebnis für das Grundgebiet \((0,\infty )\). Verf. dehnt die Untersuchung auf zwei Veränderliche aus. \(f(x,y)\) sei eine in der ganzen \((x,y)\)-Ebene \(E\) erklärte Funktion der Art, daß\ das über \(E\) erstreckte Integral des Produktes von \(| f| ^p\) mit einer in \(E\) durchweg positiven Funktion \(\theta (x)\) \[ \iint \limits _{E}\theta (x,y)| f(x,y)| ^pdxdy \qquad (p>1) \] konvergiere. Dann soll man durch passende Wahl des Polynoms \(P(x,y)\) \[ \iint \limits _{E} \theta (x,y)| f(x,y)-P(x,y)| ^pdxdy <\varepsilon \] machen. Verf. behandelt besonders den Fall \[ p=2, \quad \theta (x,y)=e^{-\tfrac 12\varphi (x,y)}, \quad \varphi (x,y)=ax^2+2bxy+cy^2, \quad a>0, \quad ac-b^2>0 \] mit festen \(a,b,c\). \(\psi (x,y)\) sei die zu \(\varphi \) adjungierte Form, und \(H_{lm},G_{lm}\) seien die von \textit{Hermite} entdeckten Polynome \[ \begin{gathered} \begin{gathered} H_{lm}(x,y)=(-1)^{l+m}e^{\tfrac 12\varphi (x,y)} \frac {\partial ^{l+m}}{\partial x^l\partial y^m} \left ( e^{-\tfrac 12\varphi (x,y)}\right ),\\ G_{lm}(x,y)=(-1)^{l+m}e^{\tfrac 12\psi (x,y)} \frac {\partial ^{l+m}}{\partial x^l\partial y^m} \left (e^{-\tfrac 12\psi (x,y)}\right ). \end{gathered} \quad (l,m=0, 1, 2,\cdots ) \end{gathered} \] Sie sind auf \(E\) bezüglich des Faktors \(e^{-\tfrac 12\varphi (x,y)}\) biortogonal; daher kann man der Funktion \(f\) in der \textit{Fourier}schen Weise Reihen zuordnen mit der \(N\)-ten Teilsumme \[ {\mathfrak H}_N=\sum \limits _{n}^{0,N}\sum \limits _{l+m=n}a_{lm}H_{lm}(x,y), \quad {\mathfrak G}_N=\sum \limits _{n}^{0,N}\sum \limits _{l+m=n}b_{lm}G_{lm}(x,y). \] Die \({\mathfrak H}_N, {\mathfrak G}_N \quad (N=0, 1, 2,\cdots )\) sin Polynome \(P(x,y)\) der gewünschten Art.