Abstract:The primary aim of this article is to investigate the domination relationship between two $L^2$-semigroups using probabilistic methods. According to Ouhabaz's domination criterion, the domination of semigroups can be transformed into relationships involving the corresponding Dirichlet forms. Our principal result establishes the equivalence between the domination of Dirichlet forms and the killing transformation of the associated Markov processes, which generalizes and completes the results in \cite{Y962} and \cite{Y96}. Based on this equivalence, we provide a representation of the dominated Dirichlet form using the bivariate Revuz measure associated with the killing transformation and further characterize the sandwiched Dirichlet form within the broader Dirichlet form framework. In particular, our findings apply to the characterization of operators sandwiched between the Dirichlet Laplacian and the Neumann Laplacian. For the local boundary case, we eliminate all technical conditions identified in the literature \cite{AW03} and deliver a complete representation of all sandwiched operators governed by a Robin boundary condition determined by a specific quasi-admissible measure. Additionally, our results offer a comprehensive characterization of related operators in the non-local Robin boundary case, specifically resolving an open problem posed in the literature \cite{OA21}.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
The main purpose of this paper is to study the use of probabilistic methods to explore the domination relationship between two \(L^2\)-semigroups. According to Ouhabaz's domination criterion, the domination of semigroups can be transformed into certain relationships related to the corresponding Dirichlet forms. The main results of the authors are to establish the equivalence between the domination of Dirichlet forms and the killing transformation of the related Markov processes, which generalizes and improves the results in references [37] and [38].
Specifically, the authors have solved the following key problems:
1. **Equivalence between domination and killing transformation**:
- It is proved that each dominated Dirichlet form can be obtained through two consecutive killing transformations. The first is to terminate when the Markov process leaves a finely open set, which defines the actual state space of the subprocess; the second is an additional killing transformation determined by another multiplicative functional within the finely open set, without changing the state space of the subprocess.
- These two - step killing transformations correspond to the analytical decomposition of domination described in Theorem 2.4: each domination can be expressed as a combination of a Silverstein extension and strong subordination.
2. **Characterization of non - symmetric Dirichlet forms**:
- A method for representing dominated Dirichlet forms with binary Revuz measures is provided, which is applicable to any (non - symmetric) Dirichlet forms \((a_1, D(a_1))\) and \((a_2, D(a_2))\) that satisfy the domination condition.
- The specific formula is:
\[
D(a_1)=D(a_2)\cap L^2(\Omega,\bar{\sigma}),\quad a_1(u, v)=a_2(u, v)+\sigma(u\otimes v),\quad u, v\in D(a_1),
\]
where \(\bar{\sigma}\) represents the marginal measure of \(\sigma\).
3. **Application to the Laplacian operator under Robin boundary conditions**:
- The characterization of semigroups sandwiched between the Dirichlet Laplacian and the Neumann Laplacian in Arendt and Warma [4] is re - examined, all assumptions are removed, and it is proved that each semigroup \((T_t)_{t\geq0}\) satisfying condition (1.1) is determined by the Robin Laplacian determined by some quasi - admissible measure \(\mu\).
- In particular, the open problem about non - local Robin boundaries proposed in reference [25] is solved.
Through these works, the authors not only theoretically establish the connection between domination and killing transformation, but also provide specific mathematical tools and frameworks to deal with a wider range of problems, including problems related to the Laplacian under non - local boundary conditions.
### Summary
The core problem of this paper is to establish and prove the equivalence between the domination relationship of \(L^2\)-semigroups and the killing transformation of Markov processes by probabilistic methods, and apply it to the study of specific Dirichlet forms and Laplacian operators under boundary conditions.