Itô’s formula for Walsh’s Brownian motion and applications

We prove an Itô’s formula for Walsh’s Brownian motion in the plane with angles according to a probability measure μμ on [0,2π[[0,2π[. This extends Freidlin–Sheu formula which corresponds to the case where μμ has finite support. We also give some applications.