On the direct product of closed operators. (Q2594545)

Als Verallgemeinerung des Kroneckerschen Produktes zweier linearer Transformationen in endlich-dimensionalen Vektorräumen haben \textit{F. J. Murray} und \textit{J. v. Neumann} (Ann. Math., Princeton, (2) 37 (1936), 116-229 (JFM 62.0449.*), insb. S. 127-133 und 141-143) das direkte Produkt \(A_1\times A_2\) zweier beschränkter linearer Transformationen der Hilbertschen Räume \(\mathfrak H_1\) und \(\mathfrak H_2\) definiert; dieses ist eine beschränkte lineare Transformation des (ebenfalls Hilbertschen) Produktraumes \(\mathfrak H_1\times\mathfrak H_2\). -- Verf. betrachtet jetzt beliebige (also auch unbeschränkte) lineare abgeschlossene Transformationen \(A_1\), \(A_2\), deren Definitionsbereiche \(\mathfrak D_1\) und \(\mathfrak D_2\) in \(\mathfrak H_1\) bzw. \(\mathfrak H_2\) dicht sind, und definiert \(A_1\times A_2\) als die Abschließung der linearen Transformation \[ \sum\limits_1^r \alpha_k(f_k\times g_k) \to \sum\limits_1^r \alpha_k(A_1f_k\times A_2g_k)\qquad (f_k\in\mathfrak D_1,\;g_k\in\mathfrak D_2). \] Sind \(A_1 = W_1H_1\), \(A_2 = W_2H_2\), \(A_1\times A_2 = WH\) die betreffenden kanonischen Zerlegungen (als Produkt einer partiell isometrischen Transformation und einer positiven selbstadjungierten Transformation), so gilt: \(W = W_1\times W_2\) und \(H = H_1 \times H_2\). -- Sind \(A_1\) und \(A_2\) symmetrisch, so ist \(A_1\times A_2\) es auch. Ist keine von ihnen selbstadjungiert, so hat \(A_1\times A_2\) die Defektindizes \((\infty, \infty)\). Ist \(A_1\) symmetrisch mit den Defektindizes (\(m_1, n_1\)), und ist \(A_2\) selbstadjungiert mit der Spektralschar \(\{E_2(\lambda)\}\), so hat \(A_1\times A_2\) die Defektindizes \[ m = m_1p^+_2 + n_1p^-_2,\quad n = m_1p^-_2 + n_1p^+_2; \] dabei bedeutet \(p_2^+\) bzw. \(p_2^-\) die Dimension des Unterraumes \[ (I-E_2(+0))\mathfrak H_2\quad \text{bzw.}\quad E_2(-0)\mathfrak H_2. \] Sind \(A_1\), \(A_2\) beide selbstadjungiert mit den Spektralscharen \(\{E_1(\lambda)\}, \{E_2(\lambda)\}\), so ist \(A_1 \times A_2\) auch selbstadjungiert; für die zugehörige Spektralschar \(\{F(\lambda)\}\) gilt \[ F(\lambda)= \iint\limits_{\mu\nu\leqq\lambda}d\big(E_1(\mu)\times E_2(\nu)\big). \] Als Beispiel wird \(\mathfrak H_1 = L^2[0 \leqq x\leqq 1]\), \(\mathfrak H_2 = L^2[0 \leqq y\leqq 1]\) und \[ A_1=i\dfrac{d}{dx},\quad A_2=i\dfrac{d}{dy} \] betrachtet; dann ist \(\mathfrak H_1\times\mathfrak H_2= L^2[0 \leqq x \leqq 1,\;0 \leqq y \leqq 1]\), und \(A_1\times A_2\) ist die Abschließung von \(-\dfrac{\partial^2}{\partial x\partial y}\). Der Begriff des direkten Produktes kann also in der Theorie der partiellen Differentialoperatoren angewendet werden.