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\) .
