Abstract:Starting with a transient irreducible diffusion process $X^0$ on a locally compact separable metric space $(D, d)$, one can construct a canonical symmetric reflected diffusion process $\bar X$ on a completion $D^*$ of $(D, d)$ through the theory of reflected Dirichlet spaces. The boundary trace process $\check X$ of $X$ on the boundary $\partial D:=D^*\setminus D$ is the reflected diffusion process $\bar X$ time-changed by a smooth measure $\nu$ having full quasi-support on $\partial D$. The Dirichlet form of the trace process $\check X$ is called the trace Dirichlet form. In the first part of the paper, we give a Besov space type characterization of the domain of the trace Dirichlet form for any good smooth measure $\nu$ on the boundary $\partial D$. In the second part of this paper, we study properties of the harmonic measure of $\bar X$ on the boundary $\partial D$. In particular, we provide a condition equivalent to the doubling property of the harmonic measure. Finally, we characterize and provide estimates of the jump kernel of the trace Dirichlet form under the doubling condition of the harmonic measure on $\partial D$.

What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper aims to study the boundary trace theorem of symmetric reflected diffusion processes and their related properties, especially the applications in general metric measure spaces (not just Euclidean spaces). Specifically, the paper mainly focuses on the following aspects: 1. **Characterization of the boundary trace Dirichlet space**: - Give a Besov - space - type characterization of the boundary trace Dirichlet form for any nice smooth measure ν with full quasi - support on the boundary. - Provide a specific description of the boundary trace Dirichlet space by introducing Beppo - Levi - type spaces and Besov - type spaces. 2. **Study of the properties of harmonic measures**: - Study the properties of the harmonic measure of the reflected diffusion process on the boundary, especially provide a condition equivalent to the doubling property of the harmonic measure. - Explore the doubling property of the renormalized harmonic measure ω and give a characterization of its relative boundary capacity doubling property. 3. **Estimation of jump kernels and killing measures**: - Under the condition of the doubling of the harmonic measure, give upper and lower bound estimates of the jump kernel J(dx, dy) and the killing measure κ(dx) of the boundary trace Dirichlet form. - Derive two - sided heat kernel estimates for the mixed stable - like trace process. 4. **Extension and restriction theorems**: - Establish an embedding theorem (restriction theorem) from the boundary trace Dirichlet space to the Beppo - Levi - type space. - Prove that under the condition of satisfying the Poincaré inequality and the upper bound condition of capacity, give an extension theorem indicating the relationships between certain function spaces. 5. **Application of specific examples**: - Illustrate the application scope of the main results through specific examples (such as the resistance convergence problem on the Sierpinski carpet). ### Representation of mathematical formulas - Definition of harmonic measure: \[ \omega_0(dz) = \int_D \omega_x(dz) \varphi(x) m(dx) \] where $\omega_x(A)=\bar{P}_x(\bar{X}_{\sigma_{\partial D}}\in A; \sigma_{\partial D}<\infty)$, and $\sigma_{\partial D}:=\inf\{t > 0:\bar{X}_t\in\partial D\}$. - Estimation of jump kernels and killing measures: \[ J(dx, dy)\asymp\frac{\omega(dx)\omega(dy)}{\omega(B(x, d(x, y)))\Theta_\Psi, \omega(x, d(x, y))} \] \[ \kappa(dx)\asymp\omega(dx)\quad\text{when}\ \partial D\ \text{is bounded and}\ (\bar{E}, \bar{F})\ \text{is transient} \] These formulas and conclusions provide a theoretical basis for understanding the boundary behavior of symmetric reflected diffusion processes and tools for further research.

Boundary trace theorems for symmetric reflected diffusions

Heat kernel estimates for boundary traces of reflected diffusions on uniform domains

A Dirichlet process characterization of a class of reflected diffusions

Harmonic extension technique: probabilistic and analytic perspectives

Besov spaces and random walks on a hyperbolic group: boundary traces and reflecting extensions of Dirichlet forms

Brownian motion with asymptotically normal reflection in unbounded domains: from transience to stability

Weak equals strong L2 regularity for partial tangential traces on Lipschitz domains

Large deviations of a tracer in the symmetric exclusion process

Diffraction as a unitary representation and the orthogonality of measures with respect to the reflected Eberlein convolution

Dirichlet form approach to diffusions with discontinuous scale

Boundary Approximation for Sticky Jump-Reflected Processes on the Half-Line

Parameter Estimation for Generalized Diffusion Processes with Reflected Boundary

Heat kernel for reflected diffusion and extension property on uniform domains

On symmetric one-dimensional diffusions

A boundary theory approach to de Finetti's theorem

On time-dependent boundary crossing probabilities of diffusion processes as differentiable functionals of the boundary

Normal traces and applications to continuity equations on bounded domains

Boundary Traces of Holomorphic Functions on the Unit Ball in

The trace formula for quantum graphs with general self adjoint boundary conditions

Boundary Harnack Principle and Gradient Estimates for Fractional Laplacian Perturbed by Non-Local Operators