I am struggling in this question:
Let $P(t,T)$ denote the price of a zero-coupon bond (with marturity at time $T$) at time $t \in [0,T]$.
As usual, at time $t$ for maturity $T$, the forward rate is defined by
$$f(t,T)= - \frac{\partial}{\partial T} \log P(t,T)$$.
Consider a short interest rate process $(r_t)$ satisfying the following dynamics: \begin{equation} dr_t = a(r_t) \,dt + b(r_t) \, dW_t \end{equation} for two smooth functions $a$ and $b$.
Let the function $G: [0,T] \times \mathbb{R} \rightarrow \mathbb{R}$ satisfy the following integral-differential equation: \begin{equation} \frac{\partial G}{\partial t} (t,r) = a(r) \frac{\partial G}{\partial r} (t,r) + \frac{ b(r)^2}{2} \frac{{\partial}^2 G}{\partial r^2} (t,r) - b(r)^2 \frac{\partial G}{\partial r} (t,r) \int_0^t \frac{\partial G}{\partial r} (s,r) \,ds, \end{equation} with initial condition $G(0,r)=r$.
We want to show that there is no arbitrage if the forward rate function is defined by $f(t,T) = G(T-t, r_t)$.
The main problem I encounter is the fact that $ \frac{1}{G(t,r)} b(r)^2 \frac{\partial G}{\partial r} (t,r) \int_0^t \frac{\partial G}{\partial r} (s,r)\,ds $ isn't a function of $r$ only. Therefore, I don't know how to apply Feynman-Kac in this situation.
Any suggestions on how to transform this to Feynman-Kac?