Integral inequalities connected with differential operators. (Q2596551): Difference between revisions

Verf. führen die Arbeit von \textit{Halperin} (Ann. Math., Princeton, (2) 38 (1937), 880-919; F.~d.~M. 63\(_{\text{I}}\), 363) weiter. Es bezeichne \(D\) den Raum der Funktionen \(f(x)\), die im Intervall \(\langle a,b \rangle\) zur Klasse \(L^p\) gehören, mit der Eigenschaft, daß die durch \[ f_0(x)=q_0(x)\, f(x), \] \[ f_{r+1}(x)=f_r^{\prime}(x)+q_{r+1}(x) f(x) \qquad (r=0,1, \ldots \!,n-1), \] wobei \[ q_0(x) \geqq \varepsilon > 0, \quad |\,q_r(x)\,| \leqq c \quad (r=0,1, \ldots \!,n) \] ist, erklärten Funktionen \(f_r(x)\) für \(r=1,2, \ldots \!,n-1\) absolut stetig sind und für \(r = n\) zu \(L^p\) gehören. \(D_0\) sei die Teilmenge von \(D\), für welche \(f_r(a)=f_r(b)=0\) gilt. Auf \(D\) wird der Quasi-Differential-Operator \(T\) durch \[ Tf(x)=\sum_{r=0}^{n} p_r(x)\,f_r(x)+c(x)\, f(x) \] mit \[ |\,p_n(x)\,| \geqq \varepsilon > 0, \quad |\,p_r(x)\,| \leqq C \quad (r=0,1,2, \ldots \!,n), \quad |\,c(x)\,| \leqq C \] erklärt. \(T\) liegt in \(L^p\). Entsprechend ist \(T_0\) auf \(D_0\) erklärt. Verf. zeigen, daß \(D_0\) dicht in \(L^p\) ist. Weiter wird der adjungierte Operator \(T^*\) (bzw. \(T_0^*\)) zu \(T\) (bzw. \(T_0\)) konstruiert. Hierzu wird der Raum \(D^*\) der Funktionen \(g(x)\) wie folgt gebildet: Sei \(\dfrac{1}{p}+\dfrac{1}{p'}=1\) und \(q_r^*(x)=(-1)^r\overline{p_{n-r}}(x)\) \((r=0,1, \ldots \!,n)\). \(D^*\) besteht aus den Funktionen \(g(x)\) in \(L^{p'}\) \((a \leqq x \leqq b)\), für welche die durch \[ g_*(x)=q_0^*(x)\, g(x), \] \[ g_{r+1}^*(x)=g_r^{*\prime}(x)+q_{r+1}^*(x)\,g(x) \qquad (r=0,1, \ldots \!,n-1) \] erklärten Funktionen \(g_r^*(x)\) absolut stetig sind für \(r=0,1, \ldots \!,n-1\) und für \(r = n\) zu \(L^{p'}\) gehören. Für \(D_0^*\) gelte überdies \(g_r^*(a)=g_r^*(b)=0\). Der adjungierte Operator \(T^*\) (bzw. \(T_0^*\)) ist nun auf \(D^*\) (bzw. \(D_0^*\)) gegeben durch \[ T^*g(x)=\sum_{r=0}^{n} (-1)^r g_{n-r}\overline{(x)}+\overline{c}(x)g(x). \] D. h. also, es ist \[ \int\limits_{a}^{b} Tf(x)\overline{g}(x)\,dx = \int\limits_{a}^{b} f(x) \overline{T^*g(x)}\,dx \] für alle \(f\) in \(D\) (bzw. \(D_0\)). Weiter ist \(D_0^*\) dicht in \(L^{p'}\). \(T\) und \(T_0\) sind abgeschlossene Operatoren. Die Beweise stützen sich auf Ungleichungen für Integrale der Form \[ \left[ \int\limits_{a}^{b} |f(x)|^p\,dx \right]^{\frac{1}{p}}, \; \left[ \int\limits_{a}^{b} |Tf(x)|^p\,dx \right]^{\frac{1}{p}}. \]