Parabolic BMO and global integrability of supersolutions to doubly nonlinear parabolic equations (Q346660)

The author defines a BMO space suitable for the study of parabolic nonlinear partial differential equations like the so-called Trudinger equation NEWLINE\[NEWLINE{\partial\over\partial t}(|u|^{p-2} u)= \nabla(|\nabla u|^{p-2}\nabla u),NEWLINE\]NEWLINE where \(u= u(x,t)\) belongs to \(L^p_{\text{loc}}(0,T; W^{1,p}_{\text{loc}}(\Omega))\), \(\Omega\subset\mathbb R^N\). A problem is whether nonnegative solutions are globally summable to some power \(\sigma>0\), i.e. \(u\in L^\sigma(\Omega\times (0,T))\). The author solves this problem, under some mild assumptions on \(\partial\Omega\). In the literature, there are several competing definitions for time dependent BMO spaces, generalizations of the original definition of John and Nirenberg, but they suffer from defects.NEWLINENEWLINE The BMO space in the present paper has the following expedient properties:NEWLINENEWLINE 1) exponential summability (a John-Nirenberg inequality);NEWLINENEWLINE 2) the local space is a global one (a counterpart to a theorem of Reimann-Rychener);NEWLINENEWLINE 3) the logarithm of a nonnegative solution belongs to this space.NEWLINENEWLINE Some elaborate technicalities of the demanding proof for property 2) are included in a chain lemma.