Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Consider classical statement of Ito's formula: Let $X$ be a continuous semimartingale and $F \in C^2(\mathbb{R}^d, \mathbb{R})$; then $F(X)$ is a continuous semimartingale and $$F(X_t) = F(X_0) + \sum_i \int_0^t {\partial_i F} dX_s^i + \frac 1 2 \sum_{i,j} {\partial^2_{ij} F} d \langle X^i, X^j \rangle_s.$$ In the above Ito formula, how much does function $F$ extendable in a Sobolev space? For example, is Ito formula true if $F\in W^{2,p}$ for some $p>1$? Note that, if we use Ito-Tanaka formula, then there exists some extra term from local time, and we wish to find Sobolev regularity to make sure this term being zero.

share|improve this question
add comment

2 Answers 2

up vote 1 down vote accepted

One can also use the Alexandrov-Bakelman-Pucci-Krylov-Tso estimates from parabolic PDE to show that Ito's Lemma holds for functions in $W^{2,p}$ when $X$ is a diffusion with uniformly positive definite covariance and $p$ is large enough. This result be found, for example, in Krylov's "Controlled Diffusion Processes" Ch 2 Section 10.

share|improve this answer
    
Thank you. I also actually found that from that book. –  kenneth Sep 26 '12 at 5:32
add comment

See the paper

H. F\"ollmer and Ph. Protter, On Itô's formula for multidimensional Brownian motion. Probab. Theory Relat. Fields 116, No.1, 1-20 (2000)

and its Zentralblatt review with further references:

http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0955.60077&format=complete

share|improve this answer
    
Very helpful comments, thanks. –  kenneth Sep 28 '11 at 9:43
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.