Sur l'approximation en moyenne par les polynomes trigonométriques. (Q2596153)

Es sei \(R^n\) der \(n\)-dimensionale Raum und \(\mu\) ein in diesem Raum definiertes positives Radonsches Maß, das jeder beschränkten meßbaren Menge ein endliches Maß zuordnet. Ist dann \(E\) eine beschränkte meßbare Menge aus \(R^n\), so wird für \(p \geqq 1\) mit \(L^p (E, \mu)\) der Raum der in \(E\) definierten komplexwertigen Funktionen \(f\) bezeichnet, für die \[ \|f\| = \left(\int\limits_E |f|^p\, d\mu \right)^{\tfrac 1p} < + \infty \] gilt. Man weiß, daß die in einer \(E\) enthaltenden, abgeschlossenen Menge stetigen Funktionen und die Polynome von \(n\) Variablen eine in \(L^p (E,\mu )\) überall dichte Mengen bilden, in dem Sinne, daß es zu jedem \(f\) aus \(L^p (E, \mu)\) bei vorgegebenem \(\varepsilon > 0\) in den genannten Mengen je eine Funktion \(\varphi\) mit \(\| f - \varphi \| < \varepsilon\) gibt. Verf. untersucht die Frage, unter welchen Bedingungen auch die Menge der trigonometrischen Polynome von \(n\) Veränderlichen \(x_1, x_2, \dots, x_n\) \[ \sum A e^{2\pi i(m_1x_1 + m_2x_2 + \cdots + m_nx_n)} \qquad (m_k \text{ ganz}) \] in \(L^p\) \((E, \mu)\) überall dicht ist. Notwendig und hinreichend dafür ist, daß \(E\) die Form \[ E = E_1 + E_2 \] hat, wo \(E_1\) eine Menge bedeutet, die bezüglich der Perioden 1 keine kongruenten Punkte enthält, während \(\mu E_2 = 0\) ist. Schließlich wird noch gezeigt, wie man sich von der Voraussetzung der Beschränktheit von \(E\) freimachen kann.