On regularity of a boundary point for higher-order parabolic equations: towards Petrovskii-type criterion by blow-up approach (Q1039558)

In the noncylindrical domain \(Q_0 = \{(t,x)\in \mathbb R^2:|x|\leq R(t)\), \(-1<t<0\}\), where \(R(t)>0\) is a smooth function on \([-1,0)\) and \(R(t)\to 0^+\) as \(t\to 0^-\), there is considered the following initial-boundary problem: \[ u_t+u_{xxxx}=0\quad\text{in}\;Q_0, \] \[ u=u_x=0\quad \text{at}\;x=\pm R(t),\quad -1<t<0, \] \[ u(x,-1)=u_0(x). \] The boundary point \((0,0)\) is called regular (in Wiener's sense) if \(u(0,0^-)=0\) for any initial data \(u_0\) and irregular otherwise. Using the asymptotic analysis proposed by the author, the following properties are shown: {\parindent=5,5mm \begin{itemize}\item[1)] If \(R(t)\) is backward fundamental parabola, e.a. \(R(t)=l(-t)^{1/4}\), then the boundary point \((0,0)\) is regular for \(l=4\) and irregular for \(l=5\). \item[2)] If \(R(t)=(-t)^{1/4} \varphi (-\ln(-t))\) with \(\varphi(\tau)\to +\infty\) as \(\tau\to \infty\), then regularity/irregularity of the point \((0,0)\) is expressed in terms of an Wiener-Petrovskii (Osgood-Dini) like criterion. \end{itemize}} In particular, the function \(\varphi(\tau)= l(\ln \tau)^{\frac34}\) with \(l=l_0=3^{-\frac32}2^{\frac{11}{4}}\) generates the regular case, while with \(l=l_0+\varepsilon\) generates the irregular case for arbitrary \(\varepsilon>0\).