Derivado de la maliavina

En matemáticas , la derivada de Malliavin es una noción de derivada en el cálculo de Malliavin . Intuitivamente, es la noción de derivada apropiada para las trayectorias en el espacio de Wiener clásico , que "normalmente" no son diferenciables en el sentido habitual. [ cita requerida ]

Definición

Sea el espacio de Cameron-Martin y denotemos el espacio clásico de Wiener : yo {\estilo de visualización H} do 0 {\estilo de visualización C_{0}}

yo := { F Yo 1 , 2 ( [ 0 , yo ] ; R norte ) | F ( 0 ) = 0 } := { caminos que comienzan en 0 con primera derivada en  yo 2 } {\displaystyle H:=\{f\in W^{1,2}([0,T];\mathbb {R} ^{n})\;|\;f(0)=0\}:=\{{\text{caminos que comienzan en 0 con primera derivada en }}L^{2}\}} ;
do 0 := do 0 ( [ 0 , yo ] ; R norte ) := { caminos continuos que comienzan en 0 } ; {\displaystyle C_{0}:=C_{0}([0,T];\mathbb {R} ^{n}):=\{{\text{caminos continuos que comienzan en 0}}\};}

Por el teorema de incrustación de Sobolev , . Sea yo do 0 {\displaystyle H\subset C_{0}}

i : yo do 0 {\displaystyle i:H\to C_{0}}

denota el mapa de inclusión .

Supongamos que es diferenciable de Fréchet . Entonces la derivada de Fréchet es una función F : do 0 R {\displaystyle F:C_{0}\to \mathbb {R} }

D F : do 0 yo i norte ( do 0 ; R ) ; {\displaystyle \mathrm {D} F:C_{0}\to \mathrm {Lin} (C_{0};\mathbb {R} );}

es decir, para los caminos , es un elemento de , el espacio dual a . Denote por la función lineal continua definida por σ do 0 {\displaystyle \sigma \en C_{0}} D F ( σ ) {\displaystyle \mathrm {D} F(\sigma )\;} do 0 Estilo de visualización C_{0}^{*}} do 0 {\estilo de visualización C_{0}\;} D yo F ( σ ) {\displaystyle \mathrm {D}_{H}F(\sigma )\;} yo R {\displaystyle H\to \mathbb {R}}

D yo F ( σ ) := D F ( σ ) i : yo R , {\displaystyle \mathrm {D} _{H}F(\sigma ):=\mathrm {D} F(\sigma )\circ i:H\to \mathbb {R} ,}

A veces se la conoce como derivada H. Ahora definamos que es el adjunto de en el sentido de que yo F : do 0 yo {\displaystyle \nabla _{H}F:C_{0}\to H} D yo F {\displaystyle \mathrm {D} _ {H}F\;}

0 yo ( a yo F ( σ ) ) a yo := yo F ( σ ) , yo yo = ( D yo F ) ( σ ) ( yo ) = límite a 0 F ( σ + a i ( yo ) ) F ( σ ) a . {\displaystyle \int _{0}^{T}\left(\partial _{t}\nabla _{H}F(\sigma )\right)\cdot \partial _{t}h:=\langle \ nabla _{H}F(\sigma ),h\rangle _{H}=\left(\mathrm {D} _{H}F\right)(\sigma )(h)=\lim _{t\to 0}{\frac {F(\sigma +ti(h))-F(\sigma )}{t}}.}

Entonces el derivado de Malliavin se define por D a {\displaystyle \mathrm {D}_{t}}

( D a F ) ( σ ) := a ( ( yo F ) ( σ ) ) . {\displaystyle \left(\mathrm {D} _{t}F\right)(\sigma ):={\frac {\parcial }{\parcial t}}\left(\left(\nabla _{H}F\right)(\sigma )\right).}

El dominio de es el conjunto de todas las funciones reales diferenciables de Fréchet en ; el codominio es . D a {\displaystyle \mathrm {D}_{t}} F {\displaystyle \mathbf {F}} do 0 {\estilo de visualización C_{0}\;} yo 2 ( [ 0 , yo ] ; R norte ) {\displaystyle L^{2}([0,T];\mathbb {R} ^{n})}

La integral de Skorokhod se define como el adjunto de la derivada de Malliavin: del {\estilo de visualización \delta \;}

del := ( D a ) : imagen ( D a ) yo 2 ( [ 0 , yo ] ; R norte ) F = yo i norte ( F ; R ) . {\displaystyle \delta :=\left(\mathrm {D} _{t}\right)^{*}:\operatorname {imagen} \left(\mathrm {D} _{t}\right)\subseteq L ^{2}([0,T];\mathbb {R} ^{n})\to \mathbf {F} ^{*}=\mathrm {Lin} (\mathbf {F} ;\mathbb {R} ).}

Véase también

Referencias

Obtenido de "https://es.wikipedia.org/w/index.php?title=Derivado_de_malliavina&oldid=1182356093"