Consider $$ Au:=\operatorname{div}\left(y^{\beta}\nabla u\right) \text{ for } (x,y)\in \mathbb{H} $$ and $u|_{\mathbb{R}}(x,0)=\phi(x)$ and some $\beta\in (0,1)$. For $\phi\in L^{2}(\mathbb{R},dx)$ (in fact less is required) we have a unique solution with $$\int_{0}^{\infty}\|\nabla_{(x,y)}u\|^{2}y dy<\infty$$ (see Boundary value problems for degenerate elliptic equations and systems ).

I am interested to know if there is a corresponding diffusion $X_{t}=(X_{1,t},X_{2,t})$ s.t. $$u(z)=E_{z}[\phi(X_{\tau_{\partial \mathbb{H}}})].$$

Q: Is my following approach correct? If not or there is a simpler approach, please only provide hints to help me learn.

  1. The corresponding process is $(B_{t}, R_{t}(\beta))=(\mbox{Brownian motion}, \mbox{Bessel}(\beta))$ because it has the same generator $$\Delta_{(x,y)}u(x,y)+\frac{\beta}{y}u_{y}=0.$$
  2. In "On the martingale problem for degenerate", they show that for the degenerate pde $$y\Delta_{(x,y)}u(x,y)+\beta u_{y}=0,$$
    there is a corresponding unique-in-law process that solves the martingale problee. Up to a time change, we get the above process.
  3. Since the semi-elliptic $Au=0$ has a unique solution, we get that $u(z)=E_{z}[\phi(X_{\tau_{\partial \mathbb{H}}})]$ solves because it solves the martingale problem and taking expectation of Dynkin's formula (see Oksendal pg. 181 "stochastic Dirichlet problem" ).

Q2: The main issue here is whether the L2-boundary data causes any issues with uniqueness.

The Bessel diffusion is not an Ito diffusion but it is equal in law to an Ito diffusion process (see Oksendal on Bessel processes). So the most uniqueness we can hope for is in law.

  • $\begingroup$ This was established in the (now-famous among the probability crowd) paper by Molchanov and Ostrowski from 1968. In the PDE language, I believe a similar problem was studied already by Muckenhaupt and Stein. $\endgroup$ – Mateusz Kwa?nicki Mar 8 at 11:25
  • $\begingroup$ Regarding your item 3: uniqueness is an issue (one needs to impose appropriate bounds on $u$ "at infinity"), and for this reason taking expectation in Dynkin's formula is somewhat problematic (the exit time need not have finite mean, $u$ is not in the Feller generator of the diffusion, etc.). $\endgroup$ – Mateusz Kwa?nicki Mar 8 at 11:27
  • $\begingroup$ The main issue here is the L2-boundary data and obtaining the corresponding Feynman-Kac formula, which is not handled there. $\endgroup$ – Thomas Kojar Mar 9 at 4:03
  • $\begingroup$ @Mateusz Kwa?nicki So is my approach the standard way or is there a simpler way? The steps are a)Show unique solution for the BVP b) Show unique solution for its martingale problem c)show the FK formula of the process satisfies the BVP by taking expectation for the Dynkin formula (as in the stochastic Dirichlet problem". $\endgroup$ – Thomas Kojar Mar 9 at 5:29

This is just an extended comment, not an actual answer. In fact, I am not sure if I understand your question. Apparently what you are attempting to do is quite standard and rather general.

  1. Given any Hunt process $X(t)$, any non-negative or bounded Borel function $\phi$ and any open (or even Borel) set $D$, the function $u(x) = \mathbb{E}^x \phi(X(\tau_D))$ is $X(t)$-harmonic in $D$; that is, for any pre-compact $U$ with closure contained in $D$ one has $u(x) = \mathbb{E}^x u(X(\tau_U))$. Here $\tau_U$ stands for the first exit time of $U$. The same holds true whenever $u$ is well-defined (in the sense that the expectation converges absolutely). This is a simple consequence of the strong Markov property of $X(t)$ (plus loads of technicalities, such as measurability issues), and any textbook on Hunt processes or probabilistic potential theory should be a good reference (I did not check it, but I am virtually sure that both Blumenthal–Getoor and Bliedtner–Hansen contain this statement).

  2. If $X(t)$ is actually a "nice" diffusion process, then harmonicity with respect to $X(t)$ is equivalent to harmonicity in the PDE sense, with respect to the differential generator of $X(t)$. This is discussed in a systematic way in a lovely two-volume book Markov processes by Dynkin. Alternatively, one can refer to the theory of It?'s diffusions.

  3. Existence of a diffusion corresponding to the operator $A$ in your question is quite clear: as you point out, one can simply take a pair of independent processes: the Bessel process and the Brownian motion. No need to employ more advanced tools, such as $A_2$ weights.

  4. For the above process $X(t)$ and $D$ the interior of the half-space, the distribution of $X(\tau_D)$ is known explicitly: if I am not mistaken, for the starting point is $(x, y)$ the hitting position has density $c(\beta) y^{2\beta} / (y^2 + (x - z)^2)^{d + 2 \beta}$ with respect to the Lebesgue measure $dz$ on the boundary. This is certainly proved by Caffarelli–Silvestre in their famous paper; I am not sure if earlier references also mention this. Hence, $L^2$ (or $L^1 + L^\infty$, or even yet more general) boundary data are perfectly OK.

  5. The only non-obvious problem here is continuity of $u$ up to the boundary. In the general case, this is a very delicate question. Here, however, $u$ is given by a convolution of the boundary data $\phi$ with a kernel that is an approximate identity with respect to the $y$ variable. Therefore, $u(\cdot, y)$ converges to $\phi$ in $L^2$ as $y \to 0^+$.


Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.