Abstract:The starting point is a gradient Dirichlet form with respect to $\varrho\lambda^d$ on $L^2({\mathbb{R}}^d, \varrho\mu)$. Here $\lambda^d$ is the Lebesgue measure on ${\mathbb R}^d$, $\varrho$ a strictly positive density and $\mu$ puts weight on a set $A\subset {\mathbb R}^d$ with Lebesgue measure zero. We show that the Dirichlet form admits an associated stochastic process $X$.
We derive an explicit representation of the corresponding generator if $A$ is a Lipschitz boundary. This representation together with the Fukushima decomposition identifies $X$ as a distorted Brownian motion with drift given by the logarithmic derivative of $\varrho$ in ${\mathbb R}^d \setminus A$. Furthermore, we prove $X$ to be irreducible and recurrent. Finally, via ergodicity we prove positive séjour time of $X$ on $A$. Hence we obtain a stochastic process $X$ with permeable sticky behaviour on $A$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a Brownian motion with permeable and viscous behaviors on a specific set \(A\). Specifically, the author aims to:
1. **Construct a diffusion process**: In a \(d\)-dimensional space, construct an infinite - lifetime diffusion process \(X_t\) that exhibits viscous behavior on a given set \(A\) with Lebesgue measure zero.
2. **Derive an explicit representation of the generator**: For some specific choices of \(A\), give an explicit representation of the generator associated with the diffusion process. For example, when \(d = 1\), \(A=\{0\}\), and when \(d\geq2\), \(A = \partial U\), where \(U\) is a bounded open set with a Lipschitz boundary.
3. **Prove the existence of a weak solution**: Through Fukushima decomposition and the structure of the generator, prove that the constructed process is a weak solution to the given stochastic differential equation and identify this process as a distorted Brownian motion.
4. **Verify the permeability of set \(A\)**: By proving the ergodicity of the diffusion process, show that set \(A\) is permeable to this process and that the process has a positive sojourn time on \(A\).
### Specific problem description
- **Construction of the diffusion process**: The author starts from a gradient Dirichlet form, defines a symmetric, regular, and strongly local Dirichlet form \((E_{\rho}, D(E_{\rho}))\), and proves the existence of the diffusion process \(M_{\rho}\) corresponding to this form.
- **Explicit representation of the generator**: For specific \(A\), such as a singleton when \(d = 1\) or a Lipschitz boundary when \(d\geq2\), the author gives a specific expression for the generator. For example, when \(d = 1\):
\[
L_{\rho}f=/_{BD}\mathbb{R}\setminus A\cdot\left(f'' + f'(\ln(\rho))'\right)+/_{BD}A\cdot\left((f')_r-(f')_l\right)
\]
When \(d\geq2\):
\[
L_{\rho}f=/_{BD}\mathbb{R}^d\setminus\partial U\cdot\left(\Delta f+(\nabla f,\nabla\ln(\rho))_{euc}\right)+/_{BD}\partial U\cdot\left((\partial_{\nu_U}f)_U^C - (\partial_{\nu_U}f)_U\right)
\]
- **Existence of a weak solution**: Through Fukushima decomposition, the author proves that the constructed process \(X_t\) is a weak solution to the given stochastic differential equation and can be identified as a distorted Brownian motion.
- **Permeability of set \(A\)**: By proving the ergodicity of the diffusion process, the author shows that set \(A\) is permeable to this process and that the process has a positive sojourn time on \(A\).
### Conclusion
Through the above steps, the author successfully constructs a diffusion process with permeable and viscous behaviors on a set \(A\) with Lebesgue measure zero and conducts a detailed analysis of its properties. This not only extends the existing theory but also provides new tools for studying stochastic processes under complex boundary conditions.