Wiener-type tests from a two-sided Gaussian bound (Q509574)

Consider the following operator \[ \mathcal{H}=\sum_{i,j=1}^Nq_{ij}(x,t)\partial^2_{x_ix_j}+\sum_{k=1}^Nq_{k}(x,t)\partial_{x_k}- \partial_t \] with smooth coefficients \(q_{ij}=q_{ji}\) and \(q_k\), defined in \(S\doteq \mathbb R^N\times (T_1,T_2)\). The characterisctic form associated to \(\mathcal H\) is supposed to be nonnegative definite and not totally degenerate. It is assumed that \(\mathcal{H}\) has a fundamental solution and that both \(\mathcal{H}\) and its adjoint \(\mathcal{H}^*\) are hypoelliptic. The main result of this paper concerns about the \(\mathcal{H}\)-regularity of boundary points of a domain \(\Omega\Subset S\), that is, if \(\lim_{z\rightarrow z_0} H^\Omega_\varphi(z)=\varphi(z_0)\) holds, where \(z_0=(x_0,t_0)\in \partial \Omega\) and \(H^\Omega_\varphi\) is a generalized solution of the Dirichlet problem \[ \begin{cases} \mathcal{H}u=0 \text{ in } \Omega\\ \\ u|_{\partial \Omega}=\varphi\in C(\partial \Omega)\end{cases}. \] The authors prove that this is the case when a Wiener-type test is satisfied. The proof is technical and relies on Gaussian bounds of the fundamental solution of \(\mathcal H\) with respect to a distance in \(\mathbb R^N\) that induces the Euclidean topology, satisfies a doubling condition with respect to the Lebesgue measure, and the segment property.