The density of the (α,β)-superprocess and singular solutions to a fractional non-linear PDE
We consider the density Xt(x) of the critical (α,β)-superprocess in Rd with α∈(0,2) and β<dα. A recent result from PDE implies a dichotomy for the density: for fixed x, Xt(x)>0 a.s. on {Xt=0} if and only if β≤β∗(α)=d+αα. We strengthen this and show that in the continuous density regime, β<β∗(α) implies that the density function is strictly positive a.s. on {Xt=0}. We then give close to sharp conditions on a measure μ such that μ(Xt):=∫Xt(x)μ(dx)>0 a.s. on {Xt=0}. Our characterization is based on the size of supp(μ), in the sense of Hausdorff measure and dimension. For s∈[0,d], if β≤β∗(α,s)=d−s+αα and supp(μ) has positive xs-Hausdorff measure, then μ(Xt)>0 a.s. on {Xt=0}; and when β>β∗(α,s), if μ satisfies a uniform lower density condition which implies dim(supp(μ))<s, then P(μ(Xt)=0∣Xt=0)>0. We also give new result for the fractional PDE ∂tu(t,x)=−(−Δ)α/2u(t,x)−u(t,x)1+β with domain (t,x)∈(0,∞)×Rd. The initial trace of a solution ut(x) is a pair (S,ν), where the singular set S is a closed set around which local integrals of ut(x) diverge as t→0, and ν is a Radon measure which gives the limiting behaviour of ut(x) on Sc as t→0. We characterize the existence of solutions with initial trace (S,0) in terms of a parameter called the saturation dimension, dsat=d+α(1−β−1). For S=Rd with dim(S)>dsat (and in some cases dim(S)=dsat) we prove that no such solution exists. When dim(S)<dsat and S is the compact support of a measure satisfying a uniform lower density condition, we prove that a solution exists.
