The nonspectral Birkhoff-regular differential operators determined by \(- D^ 2\) (Q810849)

In mehreren vorangehenden Arbeiten haben der Verf. und ein Mitautor (Patrick Lang) die Differentialoperatoren L mit \[ Lu=-u'',\quad D(L)=\{u\in H^ 2[0,1];\quad B_ iu=0,\quad i=1,2\} \] untersucht, wobei \(H^ 2[0,1]\) der Sobolev-Raum aller \(u\in C^ 1[0,1]\) ist, für die \(u'\) absolut stetig und \(u''\) quadratisch integrabel ist. Die Randbedingungen \[ B_ i(u)=a_{i1}u'(0)+a_{i2}u'(1)+a_{i3}u(0)+a_{i4}u(1)=0\quad (i=1,2) \] seien linear unabhängig. Mit den Koeffizienten werden die 6 Determinanten \[ A_{jk}=\left| \begin{matrix} a_{1j}\quad a_{1k}\\ a_{2j}\quad a_{2k}\end{matrix} \right| \quad (1\leq j<k\leq 4) \] gebildet und nachgewiesen, daß sich dabei 13 wesentlich verschiedene Fälle ergeben. [Diese Fälle sind auf Seite 554 der Arbeit von \textit{P. Lang} und \textit{J. Locker}, J. Math. Anal. Appl. 141, No. 2, 538-558 (1989; Zbl 0707.34015) tabellarisch zusammengestellt.] In der vorliegenden Arbeit wird der Fall VIII, beschrieben durch \[ A_{12}=0,\quad A_{14}+A_{23}\neq 0,\quad A_{14}+A_{23}=\pm (A_{13}+A_{24}),\quad A_{34}\neq 0,\quad A_{13}\neq A_{24} \] genauer untersucht. (Ein Beispiel hierfür sind die Randbedingungen \(u'(1)+u(1)=0\), \(u(0)-u(1)=0.)\) Auch in diesem Fall liegen bereits viele Ergebnisse aus den früheren Arbeiten vor: die Eigenwerte lassen sich in drei Familien zusammenfassen: \[ \lambda_ k=\rho^ 2_ k\text{ mit }\rho_ k=2k\pi \text{ bzw. }\rho_ k=(2k-1)\pi \quad (k=k_ 0,k_ 0+1,...), \] \[ \lambda'_ k=\rho_ {k'}^ 2\text{ mit }| \rho'_ k-\rho_ k| \leq const/k\quad (k=k_ 0,k_ 0+1,...) \] und endlich viele Eigenwerte \(\lambda_{0,k}\) \((k=1,...,m)\). Bezeichnen \(P_ k\), \(P'_ k\), \(P_{0k}\) die verallgemeinerten Projektionen von \(L^ 2[0,1]\) in die betreffenden verallgemeinerten Eigenräume, so wurde bereits \(\| P_ k\| \to \infty\) für \(k\to \infty\) gezeigt, was schon zeigt, daß L in diesem Fall kein Spektraloperator sein kann. In der vorliegenden Arbeit werden jetzt auch die Projektionen \(P'_ k\) sorgfältig untersucht und damit u.a. der merkwürdige Sachverhalt bewiesen, daß einerseits \[ \sum^{m}_{k=1}P_{0k}u+\sum^{\infty}_{k=k_ 0}P_ ku+\sum^{\infty}_{k=k_ 0}P'_ ku \] für gewisse \(u\in L^ 2[0,1]\) divergiert, während andererseits die Darstellung \[ u=\sum^{m}_{k=1}P_{0k}u+\sum^{\infty}_{k=k_ 0}(P_ k+P'_ k)u \] für alle \(u\in L^ 2[0,1]\) besteht, die zuletzt angegebene Reihe also insbesondere stets konvergiert. - Naturgemäß werden für diese Vertiefungen zahlreiche Resultate aus den früheren Arbeiten herangezogen.