Local-time expectation identity for indicator weights
Let Lts,xL_{t}^{s,x}Lts,x be the local time of φ(s)\varphi(s)φ(s) at level xxx. Let (Py)y≥0(\mathcal{P}_{y})_{y\geq0}(Py)y≥0 be the semigroup and let Px+\mathcal{P}^{+}_{x}Px+ and P−x−\mathcal{P}^{-}_{-x}P−x− be the…