Description of a certain class of analytic functionals (Q1814074): Difference between revisions

Es sei \(B\subset R^ n\) ein nichtbeschränktes konvexes Gebiet, \(0\in B\). Mit \(d_ B(x)\) ist der Abstand des Punktes \(x\in B\) von der Begrenzung des Gebietes \(B\) bezeichnet, ferner werden für \(k=1,2,\ldots\) die Funktionen \[ \tilde\varphi_ k(x) \overset{\text{def}}{=} \tilde h_ k(-\ln d_ B(x)+\tilde\psi_ k(|x|) \] eingeführt; hier bedeuten \(\tilde h_ k(t)\), \(\tilde\psi_ k(t)\), \(t=1,2,\ldots,\) bestimmte konvexe Funktionen. Mit Hilfe der normierten Räume \[ {\mathcal E}_{m,l}=\left\{f\in C^ m(B): \| f\|_{m,l} = \sup_{\underset {|\alpha| \leq {m}} {x\in B}} | f^{(\alpha)}(x)|\cdot\exp(- \tilde\varphi_l(x))<\infty\right\} \] wird der Raum \({\mathcal E}_{\tilde\varphi(B)}=\lim\hbox{ proj}_{m,l\to\infty}{\mathcal E}_{m,l}\) konstruiert, \({\mathcal E}_{\tilde\varphi(B)}'\) bedeutet den zu \({\mathcal E}_{\tilde\varphi(B)}\) stark adjungierten Raum. Mit \(P_{\tilde\varphi}\) ist ferner der induktive Limes der normierten Räume \[ P_{k,l}=\left\{\Phi\in H(\mathbb{C}^ n): \|\Phi\|_{k,l}=\sup_{\lambda\in\mathbb{C}^ n}|\Phi(\lambda)|\cdot\exp(- \tilde\varphi^*_l(\operatorname{Im}\lambda)-\hbox{kln}(1+|\lambda|))<\infty\right\} \] bezeichnet; \(H(\mathbb{C}^ n)\) bedeutet die Menge der in \(R^ n\) analytischen Funktionen, \(\operatorname{Im}\lambda= (\operatorname{Im}\lambda_ 1,\dots,\operatorname{Im}\lambda_ n)\), und \(\tilde\varphi^*_l(\operatorname{Im}\lambda)\) ist die zur konvexen Funktion \({\tilde\varphi}_l(x)\) adjungierte Funktion. Dann gilt folgender Satz. Die Fourier-Transformation bewirkt einen Epimorphismus zwischen den Räumen \({\mathcal E}_{\tilde\varphi(B)}'\) und \(P_{\tilde\varphi}\). Im Abschluß wird ein ähnlicher Satz, der auf die Laplace-Transformation gerichtet ist, bewiesen (topologischer Isomorphismus zwischen zwei bestimmten Räumen).