No label defined (Q4496191)

In this note the authors discuss some open problems for elliptic and parabolic measure arising from the Dirichlet problem for parabolic operators with singular drift term. Consider the space \(\mathbb{R}^n\) with scalar product \(\langle\cdot,\cdot\rangle\), \(x= (x_1,\dots, x_{n-1})\), \(X= (x_0,x)\in \mathbb{R}^n\), \(U= \{X\in \mathbb{R}^n; x_0> 0\}\), \(n\times n\) matrix \(A= (A_{ij}(X))\), \(1\times n\) matrix \(B= (B_i(X))\), \(\nabla u\) the gradient of \(u\) written as \(n\times 1\) matrix. We say that \(u\) is a weak solution to \[ Lu= \nabla\cdot(A\nabla u)+ B\nabla u= 0\tag{1} \] in \(U\), if \(u\) has square integrable distributional derivatives locally in \(U\) with \(\int_U(\langle A\nabla u,\nabla\phi\rangle- B\nabla u\phi) dx= 0\) whenever \(\phi\) is infinitely differentiable with compact support in \(U\). Suppose \(A\) is Lebesgue measurable satisfying \[ \langle A(X)\xi, \xi\rangle\geq\gamma|\xi|^2\tag{2} \] for some \(\gamma> 0\), almost every \(X\in U\), and all \(n\times 1\) matrices \(\xi\in\mathbb{R}^n\). Denote by \(B_\rho(X)= \{Y\in\mathbb{R}^n; |Y-X|< \rho\}\), \(\Delta_\rho(x)= \{(0,y)\in\partial U;|y-x|< \rho\}\). Assume that \[ \Biggl(\sum^{n-1}_{i=0} x_0|B_i|+ \sum^{n-1}_{i,j= 0}|A_{ij}|\Biggr)(X)< M<+\infty\tag{3} \] for almost all \(X\in U\) and, for some large \(\rho> 0\), that \[ A\text{ is a constant matrix in }U\setminus B_\rho(0).\tag{4} \] The authors state the continuous Dirichlet problem for \(U\): given \(g:\mathbb{R}^n\to \mathbb{R}\) continuous and bounded, find \(u\) a bounded weak solution to (1) in \(U\) with \(u\) continuous on \(\overline U\) and \(u=g\) on \(\partial U\). Assuming that the Dirichlet problem for given \(A\), \(B\), \(g\) has a unique solution, define elliptic measure \(\omega\) at \(X\in U\) of the Borel measurable set \(E\subset\partial U\) by \(\omega(X,E)= \inf\{v(X): v\in{\mathcal F}\}\), where \({\mathcal F}\) denotes the set of nonnegative solutions to the Dirichlet problem in \(U\) with \(v=1\) on \(E\). The authors define also the Green's function for (1) assuming it exists. The authors state the following problems: what additional assumptions on \(A\), \(B\) besides (2)--(4) insure that, for example: (i) the continuous Dirichlet problem corresponding to \(A\), \(B\) always has a unique solution, (ii) the Green's function exists for (1) with the above properties. The authors give some examples and then consider parabolic analogues of the results in the elliptic case. For the entire collection see [Zbl 0936.00055].