Fórmula de Cameron–Martin

Em matemática, a fórmula de Cameron–Martin ou teorema de Cameron–Martin é um teorema de teoria da medida que descreve como medidas abstratas de Wiener mudam sob translação por certos elementos do espaço de Cameron–Martin ou espaço de Hilbert com núcleo reprodutor. Recebe este nome em homenagem aos matemáticos norte-americanos Robert Horton Cameron e William Theodore Martin.^[1]

Motivação

A medida de Gauss padrão $\gamma ^{n}$ em um espaço euclidiano Rⁿ de $n$ dimensões não é invariante por translação. Na verdade, há uma única medida de Radon invariante por translação à escala segundo o teorema de Haar: a medida de Lebesgue de $n$ dimensões, denotada aqui como $dx$ . Em vez disso, um subconjunto mensurável $A$ tem a medida de Gauss

\gamma _{n}(A)={\frac {1}{(2\pi )^{n/2}}}\int _{A}\exp \left(-{\tfrac {1}{2}}\langle x,x\rangle _{\mathbf {R} ^{n}}\right)\,dx.

Aqui, $\langle x,x\rangle _{\mathbf {R} ^{n}}$ se refere ao produto escalar euclidiano em Rⁿ. A medida de Gauss da translação de $A$ por um vetor $h\in$ Rⁿ é

{\begin{aligned}\gamma _{n}(A-h)&={\frac {1}{(2\pi )^{n/2}}}\int _{A}\exp \left(-{\tfrac {1}{2}}\langle x-h,x-h\rangle _{\mathbf {R} ^{n}}\right)\,dx\\&={\frac {1}{(2\pi )^{n/2}}}\int _{A}\exp \left({\frac {2\langle x,h\rangle _{\mathbf {R} ^{n}}-\langle h,h\rangle _{\mathbf {R} ^{n}}}{2}}\right)\exp \left(-{\tfrac {1}{2}}\langle x,x\rangle _{\mathbf {R} ^{n}}\right)\,dx.\end{aligned}}

Então, sob translação por $h$ , a medida de Gauss escala pela função de distribuição que aparece na última exposição:

\exp \left({\frac {2\langle x,h\rangle _{\mathbf {R} ^{n}}-\langle h,h\rangle _{\mathbf {R} ^{n}}}{2}}\right)=\exp \left(\langle x,h\rangle _{\mathbf {R} ^{n}}-{\tfrac {1}{2}}\|h\|_{\mathbf {R} ^{n}}^{2}\right).

A medida que associa ao conjunto $A$ o número $\gamma _{n}(A-h)$ é a medida imagem, denotada como $(T_{h})_{*}(\gamma _{n})$ . Aqui, $T_{h}:$ Rⁿ $\rightarrow$ Rⁿ se refere ao mapa da translação: $T_{h}(x)=x+h$ . O cálculo acima mostra que a derivada de Radon-Nikodym da medida imagem referente à medida de Gauss original é dada por

{\frac {\mathrm {d} (T_{h})_{*}(\gamma ^{n})}{\mathrm {d} \gamma ^{n}}}(x)=\exp \left(\left\langle h,x\right\rangle _{\mathbf {R} ^{n}}-{\tfrac {1}{2}}\|h\|_{\mathbf {R} ^{n}}^{2}\right).

A medida de Wiener abstrata $\gamma$ em um espaço de Banach separável $E$ , em que $i:H\rightarrow E$ é um espaço de Wiener abstrato, é também uma "medida de Gauss" no sentido adequado.^[2] Quanto à mudança sob translação, uma fórmula semelhante àquela acima se aplica se considerarmos apenas translações por elementos no subespaço denso $i(H)\subseteq E$ .

Afirmação

Considere $i:H\rightarrow E$ um espaço de Wiener abstrato com medida de Wiener abstrata $\gamma :E(Borel)\rightarrow [0,1]$ . Para $h\in H$ , define-se $T_{h}:E\rightarrow E$ por $T_{h}(x)=x+i(h)$ . Então, $(T_{h})_{*}(\gamma )$ é equivalente a $\gamma$ com derivada de Radon–Nikodym

{\frac {\mathrm {d} (T_{h})_{*}(\gamma )}{\mathrm {d} \gamma }}(x)=\exp \left(\langle h,x\rangle ^{\sim }-{\tfrac {1}{2}}\|h\|_{H}^{2}\right),

em que

\langle h,x\rangle ^{\sim }=I(h)(x)

denota a integral de Paley–Wiener.

A fórmula de Cameron–Martin é válida apenas para translações por elementos do subespaço denso $i(H)\subseteq E$ , chamado de espaço de Cameron–Martin, e não por elementos arbitrários de $E$ . Se a fórmula de Cameron–Martin se aplicasse a translações arbitrárias, contradiria o seguinte resultado:

Se

E

for um espaço de Banach separável e

\mu

uma medida de Borel em

E

equivalente a sua própria imagem sob qualquer translação, então, ou

E

tem dimensão finita ou

\mu

é a medida trivial.

De fato, $\gamma$ é uma medida quase-invariante sob translação por um elemento $v$ se e somente se $v\in i(H)$ .^[3] Vetores em $i(H)$ são às vezes chamados de direções de Cameron-Martin.

Integração por partes

A fórmula de Cameron–Martin dá origem a uma fórmula de integração por partes em $E$ .^[4] Se $E\rightarrow$ R tiver uma derivada de Fréchet limitada $\operatorname {D} F:E\rightarrow \operatorname {Lin} (E;$ R $)=E^{*}$ , a integração da fórmula de Cameron–Martin em relação à medida de Wiener em ambos os lados dá

\int _{E}F(x+ti(h))\,\mathrm {d} \gamma (x)=\int _{E}F(x)\exp \left(t\langle h,x\rangle ^{\sim }-{\tfrac {1}{2}}t^{2}\|h\|_{H}^{2}\right)\,\mathrm {d} \gamma (x)

para qualquer $t\in$ R. A diferenciação formal em relação a $t$ e a avaliação em $t=0$ dá a fórmula de integração por partes

\int _{E}\mathrm {D} F(x)(i(h))\,\mathrm {d} \gamma (x)=\int _{E}F(x)\langle h,x\rangle ^{\sim }\,\mathrm {d} \gamma (x).

A comparação com o teorema da divergência do cálculo vetorial sugere

\mathop {\mathrm {div} } [V_{h}](x)=-\langle h,x\rangle ^{\sim },

em que $V_{h}:E\rightarrow E$ é o "campo vetorial" $V_{h}(x)=i(h)$ para todo $x\in E$ . A intenção de considerar campos vetoriais mais gerais e pensar integrais estocásticas como "divergências" leva ao estudo dos processos estocásticos e do cálculo de Malliavin e, em particular, o teorema de Clark–Ocone e sua fórmula associada de integração por partes.

Aplicação

Pelo teorema de Cameron–Martin, é possível estabelecer que, para uma matriz definitiva, não negativa, simétrica e q x q $H(t)$ , cujos elementos $H_{j,k}(t)$ são contínuos e satisfazem à condição