Stochastic differential of a particular martingale

AI Thread Summary
The discussion centers on finding the differential form of the function X(t) = (W(t)^{2}-t)^{2} - 4∫(W(s))^{2}ds, where W(t) is a Brownian motion. The original poster, Steve, is struggling with the exercise from Oksendal's book and has attempted various functions without success. A key point raised is that Itô's formula applies only to the first term, while the second term requires the stochastic version of the fundamental law of calculus. The conversation emphasizes the importance of correctly applying these mathematical principles to solve the problem. Overall, the thread provides guidance on approaching the differential form of the given martingale.
steve1985
Messages
1
Reaction score
0
Hello everyone,
I'm studying from Oksendal's book, and I'm stuck at an excercise which asks you to find the differential form of:

X(t) = (W(t)^{2}-t)^{2} - 4\int (W(s))^{2}ds
where W(t) is a Brownian Motion.

I tried several possible functions g(t,W(t)) which could have led to a potential solution (by finding d(g(t,W(t))) with Ito), but none led me any closer to a solution.

Can you please put me in the right direction?

thanks!
Steve

PS. I posted this in the wrong place, it should have been in "Homeworks and coursework questions", but I don't know how to move it...
 
Last edited:
Physics news on Phys.org
Yes Ito's formula only applies to the first term in the sum. For the second term, if the integral is from 0 to t, just apply the stochastic version of the fundamental law of calculus.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top