A backward Harnack inequality and Fatou theorem for nonnegative solutions of parabolic equations (Q579500)

Im \((n+1)\)-dimensionalen Gebiet \(D\times (0,\infty)\), wobei man für das offene Gebiet \(D\subset R^ n\) eine Lipschitz Regularität voraussetzt, werden positive Lösungen u(x,t), \(x\in D\), \(t\in (0,\infty)\) der homogenen, parabolischen Gleichung \[ \sum^{n}_{i,j=1}D_{x_ i}(a_{ij}(x,t)D_{x_ j}u(x,t))-D_ tu(x,t)=0 \] betrachtet, wo \((a_{ij}(x,t))\) eine beschränkte, meßbare, symmetrische, gleichmäßig positive Matrix bedeutet. Zweck der Arbeit ist es, Eigenschaften solcher u(x,t) eines im analogen Fall der elliptischen Gleichungen bekannten Typus zu untersuchen. Man beweist z. B., daß man, wenn D beschränkt ist und u(x,t) auf \(\partial D\times (0,\infty)\) gleichmäßig identisch verschwindet, für jede kompakte Menge \(K\subset D\times (0,\infty)\) eine Konstante \(C_ K\) angeben kann, für welche \(\sup_{K} u\leq c_ K\inf_{K} u\). Man beweist auch genauere Vergleichssätze, welche Paare von positiven, auf \(\partial D\times (0,\infty)\) verschwindenden Lösungen, betreffen. Solche Lösungen werden im zweiten Teil der Arbeit eingehender studiert, indem man aber annimmt, daß die Koeffizienten \(a_{ij}\) nur von x, nicht mehr auch von t abhängen. Unter den Hauptresultaten sind zu erwähnen das sogenannte ''Boundary Backward Harnack'' Prinzip, das man auf eine ''Verdoppelungsbedingung'' zurückführt, und die Existenz einer dem Differentialoperator und dem Gebiet D entsprechenden ''Kernfunktion'', durch welche man beweisen kann, daß positive Lösungen u(x,t) in \(D\times (0,T)\) fast überall, nach einer gewissen Maßfunktion, gegen ihre Randwerte konvergieren, sofern man aus dem Inneren zum Rand nicht nur tangentiell strebt.