Quasi-analytic class and closure of \t^n\ in the intervall (-, ).
Sei \(1\leqq p\leqq 2\). Für \(0\leqq t < \infty\) sei \(P(t)\) differenzierbar und \(tP'(t)\to\infty\). Unter \(C = C(f)\) werde die Klasse derjenigen Funktionen \(f(x)\) verstanden, die zu \(L_p\) gehöreil beliebig oft differenzierbar sind, und für deren \textit{Fourier}transformierte \(F(x)\) fast überall gilt \[ |F(x)| < A e^{-P(x)}, \] mit konstantem \(A\). Dann ist die Divergenz von \(\int\limits_1^\infty\dfrac{P(x)}{x^2}\, dx\) notwendig und hinreichend dafür, daß \(C\) quasi-analytisch ist. Unter den gleichen Annahmen über \(P(x)\) folgt für eine der Bedingung \[ |f(x)| < Ae^{-P(x)} \] genügende Funktion \(f(x)\), daß \[ \int\limits_{-\infty}^\infty f(x)x^n\, dx = 0 \;\text{ für } \;n=0,1,2,\ldots \] fast überall \(f(x) = 0\) nach sich zieht, dann und nur dann, wenn \(\int\limits_1^\infty\dfrac{P(x)}{x^2}\, dx\) divergiert. Weiter sei \(q(t)\) für \(0\leqq t < \infty\) positiv, \(q(t)\to 0\) für \(t\to\infty\) und \[ q(t)\geqq\dfrac{A}{1+t^\varepsilon} \;\text{ für } \;t>0 \] mit positivem \(A\) und \(\varepsilon\). Wenn \(|f(t)| < Ae^{-tq(t)}\) ist, so ist die Divergenz von \(\int\limits_1^\infty\dfrac{q(t)}{t}\, dt\) notwendig und hinreichend dafür, daß \[ \int\limits_{-\infty}^\infty f(t)t^n\, dt = 0 \;\text{ für } \;n=0,1,2,\ldots \] fast überall \(f(x) =0\) im Gefolge hat. Die Beweise folgen aus Sätzen von \textit{Carleman}, \textit{Wiener} und \textit{Paley}.
This page was built for publication: Quasi-analytic class and closure of \(\{t^n\}\) in the intervall \((-\infty, \infty)\).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2602240)
