Polar boundary sets for superdiffusions and removable lateral singularities for nonlinear parabolic PDEs (Q4389917)

Let \(Q=\mathbb{R}_+ \times D\) be a smooth cylinder, and let \(\Gamma \subset \partial Q=\mathbb{R}_+ \times \partial D\) be a set on the lateral boundary of \(Q\). It is called \(G\)-polar if it is not hit by the graph \(G_Q\) of a superdiffusion in \(Q\). It is called a removable lateral singularity if the boundary value problem \(\dot u+Lu= u^\alpha\) in \(Q\), \(u=0\) on \(\partial Q \setminus \Gamma\) and on \(\{\infty\} \times D\) has the only nonnegative solution \(u=0\). The Poisson capacity is defined by the formula \[ \text{Cap}_L (\Gamma) =\sup \left\{\nu (\Gamma): \int_Q \rho (x)dsdx \Bigl[\int_\Gamma k_L (s,x;t,y) \nu(dt,dy) \Bigr]^\alpha\leq 1\right\} \] where \(\rho(x)\) is the distance to the boundary, and \(k_L(s,x;t,y)\) (with \(s<t\), \(x\in D\), \(y\in \partial D)\) is the corresponding Poisson kernel. The author proves that the following three properties are equivalent: 1) \(\Gamma\) is \(G\)-polar; 2) the Poisson capacity of \(\Gamma\) is equal to 0; 3) \(\Gamma\) is a removable lateral singularity for the equation \(\dot u+Lu=u^\alpha\) in \(Q\).