Is $(B_t,B_t)$ a Brownian motion on the line ${(x,x)mid xinmathbb R}$?

I saw today that $$(B_t^1,B_t^2)$$ is a brownian motion on $$mathbb R^2$$ iff $$B_t^i$$ a independent Brownian motion on $$mathbb R$$. So, if for example, $$(B_t,B_t)$$ won’t be a Brownian motion on $$mathbb R^2$$ if $$(B_t)$$ is a Brownian motion on $$mathbb R$$. This make sense, because it won’t be normal distributed on $$mathbb R^2$$. Nevertheless, I was wondering : does $$(B_t,B_t)$$ will be a Brownian motion on $${(x,x)mid xinmathbb R}$$ ? Or, does $$(cos(B_t),sin(B_t))$$ will be a Brownian motion on the circle ?

I think it could be yes for both, however, what it mean to be normal distributed on $${(x,x)mid xinmathbb R}$$ or on the circle.

Mathematics Asked on November 21, 2021

Welcome to the world of stochastic differential geometry. You are, of course, spot on that, in order to make sense of a Brownian Motion on some subspace of $$mathbb{R}^2$$, you need to find some feature of the usual definition (in $$mathbb{R}^d$$) that you can generalise.

So how do we usually define Brownian Motion? Well, we usually define it as a process with independent, jointly normal increments. This already looks slightly bad, because we would have to make sense of the normal distribution on some arbitrary space (which you would likely end up characterising through Fourier theory, which requires you to be in a group setting). However, it is also just true that you can characterise Brownian Motion as a process $$W_t$$ with continuous sample paths and independent, stationary increments, that is $$W_t-W_s$$ has the same law as $$W_{t-s}-W_0$$ and for any partition $$s_0, we have that $$(W_{t_j}-W_{s_j})_{0leq jleq n}$$ is independent.

Hence, if you have some notion of subtraction, i.e. you're in the setting of a (topological) group (such as the diagonal under addition or the circle under complex multiplication), you can generalise this to say that a (left-)Brownian Motion is a continuous process $$W_t$$ such that $$W_s^{-1}W_t$$ is identical in law to $$W_{t-s}$$ and for any partition $$(W_{s_j}^{-1} W_{t_j})_{0leq jleq n}$$ is independent.

It's clear that $$(B_t,B_t)$$ fits this definition and could therefore be considered Brownian Motion on the diagonal (indeed, for an arbitrary finite dimensional vector space $$V$$, pick an isomorphism $$varphi: mathbb{R}^{dim(V)} to V$$ and then if $$B_t$$ is Brownian Motion in $$mathbb{R}^{dim(V)}$$, then $$varphi(B_t)$$ would fit the above definition of Brownian Motion in $$V$$).

Now what about $$(sin(B_t),cos(B_t))=e^{iB_t}$$ (it's easier to work in complex form)? Well, $$(e^{iB_s})^{-1} e^{i B_t}=e^{i(B_t-B_s)}$$ so independence and stationarity for the increments of this process simply follows from those properties of Brownian Motion in $$mathbb{R}$$.

Indeed, we could play this game over and over for any (topological) group $$G$$ and some group homomorphism $$varphi:mathbb{R}^nto G$$. It is perhaps most natural in the setting where $$varphi$$ is surjective and in some sense minimal.

There is a more general notion still of Brownian Motion on manifolds, but that's rather involved. You can find material on it in Elton Hsu's Stochastic Differential Geometry, which has basic stochastic calculus as a prerequisite. One would probably also be best off having read Stroock & Varadhan's Multi-dimensional Diffusion Processes first, since Hsu refers to them and mimics their proofs a lot.

Answered by WoolierThanThou on November 21, 2021

Related Questions

Functions that satisfy $f(n) = sum_{d|n, dneq n} f(d)$ and $f(1) = 1$

1  Asked on January 4, 2021 by matt-frank

Condition for separability of $L^2_C(Z,nu)$ in Dixmier Von Neumann Algebras proof

1  Asked on January 4, 2021 by jeff-rubin

About the conformal map $f$ of a slit disc onto a unit disc with the condition $f(i/2)=0$

1  Asked on January 4, 2021 by qwerty

Improper integration and boundedness of function

1  Asked on January 4, 2021

vertices on a path

1  Asked on January 4, 2021 by fred-jefferson

Finding $d(sin(3x))/dx$ with the definition of derivative.

1  Asked on January 4, 2021

Why and how are perturbations related to derivative?

0  Asked on January 4, 2021 by karim

Let $2^x=3x$. Show that the equation has a solution in the range $(0, 1).$

1  Asked on January 3, 2021 by daniel-li

Recover $f$ if we know that $frac{d}{dx} log f(x)$ and $f(x) to 0$ as $x to infty$

1  Asked on January 3, 2021 by boby

Constructing $pi_1$ actions on higher homotopy groups.

2  Asked on January 3, 2021 by james-cameron

Finding $lim_{n to infty} int_1^a frac{n}{1+x^n} , dx$

3  Asked on January 3, 2021 by karlis-olte

Chromatic graph with disjoints subgraphs

0  Asked on January 3, 2021

How can I prove that $mathbb S^n$ is deformation retract to $mathbb S^{n+1}setminus {N,S}$?

1  Asked on January 3, 2021 by greekcorpse

A question on a proof that every sequence has a monotone subsequence

2  Asked on January 3, 2021 by mathman

To show that Möbius transformation is holomorphic on $Bbb C_{infty}$

1  Asked on January 3, 2021

Necessary and Sufficient Conditions for the Solution of Neumann Problem

1  Asked on January 3, 2021 by xingying-li

Is this the Tucker-Gergonne-Nagel cubic ? or some other one

2  Asked on January 3, 2021

Playing chess until one party wins or ties 5 times

1  Asked on January 2, 2021 by daisy-otaku

Understanding the hint of a question to show that $G$ is Abelian.

0  Asked on January 2, 2021