1: \begin{proof}%[Proof of Proposition \ref{proposition_harmonic}]

2: %\blue{[focus on the alternative proof because the original proof may be wrong.]}

3: Define $f(x) := \E^x \left[ e^{-q \tau_A} g(X_{\tau_A})\right]$.

4: Then for all $x > A$, we have by the strong Markov property,

5: \begin{align*}

6: \E^x \left[ e^{-q \tau_A} g(X_{\tau_A}) | \mathcal{F}_{t \wedge \tau_A}\right] = e^{-q(t \wedge \tau_A)} f(X_{t \wedge \tau_A}).

7: \end{align*}

8: Taking expectation on both sides we obtain $f(x) = \E^x \left[ e^{-q \tau_A} g(X_{\tau_A}) \right] = \E^x \left[ e^{-q(t \wedge \tau_A)} f(X_{t \wedge \tau_A}) \right]$.

9: Hence $\left\{e^{-q(t \wedge \tau_A)} f(X_{t \wedge \tau_A}); t \geq 0 \right\}$ is a martingale and therefore $(\mathcal{L}-q) f(x) = (\mathcal{L}-q) (\Gamma_1(x;A) + \Gamma_2(x;A))  = 0$ on $(A,\infty)$; see also the appendix of \cite{Biffis_Kyprianou_2010} for a more rigorous proof.

10: %Using the fact that $(\mathcal{L}-q) Z^{(q)}(x) = (\mathcal{L}-q) W^{(q)}(x) = 0$ on $(0,\infty)$, we have

11: %\begin{multline*}

12: %(\mathcal{L} - q)\widetilde{\Gamma}_1(x;A) = - \frac {g(A) } q \int_0^\infty \Pi (\diff u) \left( (\mathcal{L}-q) Z^{(q)}(x-A-u)\right) \\

13: %= - \frac {g(A)} q   \int_{x-A}^\infty \Pi (\diff u) \left( (\mathcal{L}-q) 1 \right) = g(A) \Pi(x-A,\infty).

14: %\end{multline*}

15: %Similarly, we have

16: %\begin{multline*}

17: %(\mathcal{L} - q) \Gamma_2(x;A) = - \int_0^\infty \Pi (\diff u)

18: %(\mathcal{L} - q) \int_0^u W^{(q)} (x-z-A) g(z+A-u) \diff z \\

19: %= -\int_0^\infty \Pi (\diff u) g(x-u) 1_{\{u > x-A\}}\diff z = -\int_{x-A}^\infty \Pi (\diff u) g(x-u)

20: %\end{multline*}

21: %where the second equality holds b

22:  On the other hand, Lemma \ref{lemma_w_h} and \eqref{w_generator_zero} give

23: \begin{align*}

24: (\mathcal{L} - q) \Gamma_3(x;A) = - (\mathcal{L} - q) \left[ \int_A^x

25: W^{(q)} (x-y) h(y) \diff y \right] = -h(x). %\label{harmonic_gamma_3}

26: \end{align*}

27: Summing up these, we have the claim.

28: \end{proof}