Blow-up at the boundary for degenerate semilinear parabolic equations (Q810262): Difference between revisions

Consider the semilinear problem: \(xu_ t=u_{xx}+u^ p\) in \(\Omega\times (0,\infty)\), \(u(0,t)=u(1,t)=0\) for \(t>0\), \(u(x,0)=u_ 0(x)\geq 0\) for \(x\in \Omega\) where \(\Omega\) is the unit interval (0,1), \(p>1\) and the initial function \(u_ 0\in C^ 1({\bar \Omega})\) with \(u_ 0(0)=u_ 0(1)=0\). The author proves the theorems: (i) Suppose that \(1<p\leq 2\) and the solution u blows up at \(t=T\). If \((\partial /\partial x)(u_ 0(x)/x)\leq 0\) for \(x\in (0,1)\), then \(S=\{0\}\), where S is the set of blow-up points. (ii) Suppose that \(1<p\leq 2\), \((\partial /\partial x)(u_ 0(x)/x)\leq 0\) and u blows up at \(t=T.\) Then given \(\delta >0\), there exists a \(C_ 2>0\) such that \(s_ 2(t)\leq C_ 2(T-t)^{1/3+\delta}\). Under the additional assumption \(u_ 0''+u_ 0^ p\geq 0\), there exists a \(C_ 1>0\) such that \(s_ 1(t)\geq C_ 1(T-t)^{1/3}\) for all \(t\in (0,T)\), where s(t) be any point such that \(u(s(t),t)=\sup_{x\in \Omega}u(x,t)\), and \(s_ 1(t)\) is the infimum and \(s_ 2(t)\) the supremum over all such s.