Itô's Formula on a bounded Domain Let $U$ be a connected and bounded Domain, w.l.o.g. we choose $[0,1]^2$ and let $f \in \mathcal{C}^2((0,1)^2)$ with $\Delta f(x)=0$ for $x \in (0,1)^2$ and having normal derivative of $0$ almost everywhere on the boundary with respect to the surface measure. Furthermore define $X_t$ to be a process which behaves like the standard Brownian Motion in $(0,1)^2$ and has normal reflection on the boundary (the classical reflected brownian motion) 
 A: I might eb misunderstanding the problem, but it looks like you have "Neumann boundary conditions" for the Laplacian.
What if you extend the function to all of the plane by reflecting in each face of the square and repeating (so $f$ extends to a periodic function with period 2 in both variables)?  And replace the Brownian motion by the usual Brownian motion that sees no walls.
A: Hi I think that I might have found the solution:
I could extend the derivatives to continuous fuctions on $[0,1]^2$ by defining them via the one sided derivativs along the normal vector.
Now the classical proof of Itô's Lemma (one shows that the result holds true for any polynomial function by using integration by parts formula and kunita-watanabe) should still work, for kunita Watanabe works for continuous functions. Thus Itô's Lemma would be applicable and the problem would be solved.

Could somebody be so kind to give me feedback on this idea (please) :)

Hmm... I might get problems with the 4 corner points - those evil things :(
