Take the 2-minute tour ×
Quantitative Finance Stack Exchange is a question and answer site for finance professionals and academics. It's 100% free, no registration required.

Somehow I can't find the explicit definition of when two processes are supposed to be orthogonal or independent anywhere. I think orthogonality and independence should mean the same thing in this context.

Up to now I always assumed independence/orthogonality of two wiener processes meant $ dW_i(t) dW_j(t) = \delta_{ij} dt $ Or in a different notation $[W_i,W_j]_t=\delta_{ij}t$. Unfortunately this is just a consequence of independence not the actual definition.

Thus the questions:

  • are independence and orthogonality equivalent for a stochastic process?
  • what are the metric and the space used to define orthogonality of stochastic processes ?
share|improve this question
4  
As usual with Gaussianity; since you have in mind Gaussian processes, yes: correlations=0 is equivalent to independence. –  lehalle Mar 23 at 21:02

1 Answer 1

up vote 4 down vote accepted

Orthogonality and independence are different concepts. The concepts are the same for Wiener processes because in the context of normal random variables, independence is equivalent to orthogonality (i.e. uncorrelatedness)

Independence is the standard definition for probability. Let $\mathcal{F}, \mathcal{G}$ be the sigma algebras generated by two processes, $X_\cdot, Y_\cdot$. Then $X$ and $Y$ are independent if $\mathcal{F}, \mathcal{G}$ are.

For orthogonality, the condition is actually only defined for things similar to continuous square-integrable martingales. By similar, I mean that things can be extended to processes which are locally square integrable, locally martingales, have discontinuities, semimartingales. But, for $X$ and $Y$ continuous square integrable martingales, then $X$ is orthogonal to $Y$ if $XY$ is a martingale.

A good reference for this topic is Protter's book. Can look up the exact section if you're interested.

edit, in response to Probilitator's questions:

Independence for random vectors: Let $\Omega, \mathcal{H}, \mu$ be a probability space, on which $(X_i)$ and $(Y_i)$ are all defined. $X_i$ is a measurable map from $\Omega$ to $\mathbb{R}$, so it induces a subsigma algebra $\mathcal{F}_i \subset \mathcal{H}$. You can then take $\mathcal{F}$ as the sigma algebra generated by the $\mathcal{F}_i$. You can similarly get $\mathcal{G}$ from the $Y_i$.

You can also start from the point of view of a mapping into $\mathbb{R}^n$.

As sigma algebras, $\mathcal{F} \perp \mathcal{G}$ if for any $A \in \mathcal{F}, B \in \mathcal{G}$, $\mu(A \cap B) = \mu(A) \cdot \mu(B)$.

Next, for the statement about normal random variables, if $X,Y$ are jointly normal and uncorrelated, you calculate the function $f(s,t) = E \left[ \exp(sX + tY) \right]$. You can evaluate this exactly using a bare hands Riemann integral of the normal density. Then you show that $f$ can be factored into functions of $s$ and $t$, which is the equivalent characterization of independence.

share|improve this answer
    
I also found the following defintion of independence math.stackexchange.com/questions/22360/… - do you know haw the independence of two random vectors is defined exactly ? - perhaps you can also edit it into you answer - to make it more comprehensive - cheers :) –  Probilitator Mar 23 at 22:08
    
Which process-generated-sigma-Algebra do you mean exactly? Do you mean the terminal one $\mathcal{F}_{\infty}=\lim \mathcal{F}_i$ ? –  Probilitator Mar 23 at 22:16
    
Yeah if you had the filtration defined already you would do that. –  quasi Mar 23 at 22:42
    
this answer was written to be accepted :) - much obliged –  Probilitator Mar 23 at 22:47
    
where did you find this definitions ? google was not really helpful and my favourite prob book wasn't much help –  Probilitator Mar 23 at 22:56

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.