Assumption in Itô-Tanaka formula

106 Views Asked by At

The Itô-Tanaka formula usually require that $f$ is the difference of two convex functions. But I do see this condition is used in the proof. I think the proof only needs the fact that $f$ is convex and use the integral representation of a convex function. Why is the reason of this setting?

1

There are 1 best solutions below

2
On BEST ANSWER

The condition that $f$ is the difference of two convex functions is more general than the condition $f$ is convex. You only need to prove it for the case that $f$ is convex, though, because then the result follows from linearity. So you prove the formula for when $f$ is convex, then immediately conclude the more general case for when $f$ is the difference of two convex functions.