Función de partición para ruido blanco gaussiano

Problema

Estoy tratando de comprender, motivar o derivar de los primeros principios, la función de partición para el ruido blanco gaussiano, a saber

Z = D η ( t ) Exp [ 1 2 D d t η ( t ) 2 ] .

Pensé que podría resolver los pasos, pero no puedo pasar al límite continuo desde el caso discreto.

Mi intento

Supuse que, para el ruido blanco gaussiano en una red (puntos discretos en el tiempo), la probabilidad de un ruido de cualquier amplitud η ( t i ) = η i es dado por

PAGS ( η i ) = 1 2 π D Exp ( η i 2 2 D ) .
Estoy atascado tratando de pasar al límite continuo desde aquí. Si intenta calcular la función de partición a partir de esto, obtiene
Z = ? ( 1 2 π D ) norte / 2 i norte d η i Exp ( i norte η i 2 2 D ) .
Pero lo ideal sería tener un épsilon en el exponente para poder hacer

ϵ i η i 2 d t η ( t ) 2 .

¿Podría alguien ayudarme a guiarme en la dirección correcta? Gracias por cualquier ayuda.

Para mayor claridad, le sugiero que explique su notación, es decir. Que es η Y lo que es D ¿en este caso?
D η ( t ) es la medida integral de trayectoria, y el factor de 1 / 2 D es la normalización convencional para la función de correlación, de modo que η ( t ) η ( t ) = 2 D d ( t t ) . Avísame si tienes más preguntas.
¿Qué significa la función de partición para un ruido particular? ¿Es esta la función de partición asociada a la probabilidad para cada trayectoria del proceso estocástico?
@DanielSank sí. En el sentido de que la función de partición es la suma de todas las probabilidades pags i , dónde i indexa un estado particular. Creo que podría haber sido más claro sobre lo que quise decir, pero todavía no estoy totalmente familiarizado con la terminología. "La suma de todas las probabilidades donde cada probabilidad está asociada con una trayectoria de un proceso estocástico" parece ser lo que estoy buscando, pero es un poco complicado.
Gracias por explicar eso. Me interesan los procesos estocásticos, pero no soy un experto. Quería asegurarme de haber entendido esta pregunta para poder aprender de ella.
Crítica de la notación - la función de partición no es funcional de η , η es una variable ficticia en la integración del lado derecho. Es, por lo que puedo ver, sólo una función de D . Cuando se escribe como un funcional, generalmente es un funcional de la función fuente, j ( t ) :
Z ( D ) [ j ] = D η Exp ( [ η ( t ) 2 2 D + j ( t ) η ( t ) ] d t ) .
@SeanLake Eso es exactamente correcto. Actualizada la pregunta.

Respuestas (1)

El ruido blanco se caracteriza por la función de autocorrelación

η ( t ) η ( t ) = D d ( t t ) ,
(Aquí estoy asumiendo que η es adimensional por lo que [ D ] = [ t ] ). Esto significa que (1) el ruido no debe estar correlacionado consigo mismo en diferentes momentos, pero también que (2) la varianza de η ( t ) debe ser infinito . La condición (2) es el ingrediente esencial que falta aquí.

Antes de mostrar cómo incorporar (2) en un modelo discreto del ruido, primero motivemos por qué necesitamos η ( t ) tener varianza infinita. Esto es necesario para que la señal integrada, definida por

W ( τ ) = 0 τ d t η ( t ) ,
ser distinto de cero. Efectivamente eso lo tenemos
W ( τ ) 2 = 0 τ d t 0 τ d t η ( t ) η ( t ) = D τ ,
es decir, la varianza de la señal integrada crece linealmente con el tiempo, con "constante de difusión" D , como una caminata aleatoria continua donde la posición del caminante en función del tiempo está dada por W ( τ ) . Esto no es casualidad: la variable aleatoria W ( τ ) describe el proceso de Wiener , que es fundamental para la definición de ruido blanco. En particular, si d W ( t ) = W ( t + d t ) W ( t ) , entonces la variable η ( t ) en realidad se define como
d W ( t ) = η ( t ) d t .

Tenga en cuenta que si la varianza de η ( t ) eran finitos, W ( τ ) desaparecería de forma idéntica. Supongamos que en su lugar η ( t ) η ( t ) = F ( t t ) , dónde F ( 0 ) es finito y F ( t ) = 0 por t 0 . Por lo tanto, se sigue que W ( τ ) 2 = W ( τ ) = 0 . Esto implica que la señal integrada W ( τ ) = 0 con probabilidad uno. En otras palabras, las fluctuaciones instantáneas finitas de η ( t ) combinado con su tiempo de correlación cero, hace que el efecto integrado de la señal de ruido se cancele a cero durante cualquier tiempo finito.

Para definir la señal de ruido como el límite continuo de un proceso discreto, partimos de un paseo aleatorio discreto (imparcial). En cada incremento de tiempo d t = t i + 1 t i el andador se desplaza la cantidad d W i = η i d t (cf. d W ( t ) = η ( t ) d t ), dónde d W i = 0 . Hacer que cada tamaño de paso sea proporcional a d t asegura que el tamaño del paso tiende a cero en el límite continuo d t 0 , de modo que W ( t ) describe una función continua (en ninguna parte diferenciable). Además, cada uno de estos pasos debe ser estadísticamente independiente para recuperar el tiempo de correlación cero (ruido blanco) en el límite continuo. Suponemos también que el conjunto de pasos d W i se distribuyen idénticamente. Ahora, la varianza de la posición del andador después de norte pasos, correspondientes a un tiempo τ = norte d t , es dado por

W ( τ ) 2 = ( i = 1 norte d W i ) 2 = ( d t ) 2 ( i = 1 norte η i 2 + i j η i η j ) = ( d t ) 2 i = 1 norte η i 2 ,
donde la tercera igualdad se sigue de la independencia estadística de los pasos: η i η j = 0 por i j .

Ahora bien, para recuperar el escalado correcto W ( τ ) 2 = D τ , Debemos tener

η i 2 = D / d t .
La varianza de la variable de ruido blanco discretizada η i por lo tanto, tiende a infinito en el límite del continuo, según se requiera. Dado que también requerimos que las estadísticas de ruido sean gaussianas de media cero (es decir, el único cumulante distinto de cero es la varianza), se deduce que la función de distribución de probabilidad única es
PAGS ( η i ) Exp ( η i 2 d t 2 D ) ,
hasta una constante de normalización no especificada. El resultado correcto para la función de partición sigue después de escribir la integral de trayectoria y tomar el límite continuo d t i d t .

Gracias. Se me ocurrió poner en el ϵ (o d t ) a mano, como lo ha hecho aquí. ¿Le importa explicar por qué la señal no lleva energía si no hay d t ?
Además, tengo algunos problemas para encontrar la conexión entre el d t que aparece en su respuesta y el espaciado de celosía real d t .
@oscarafone Bueno, no creo que el d t se pone realmente a mano, porque es necesario para mantener la coherencia con la definición formal de ruido blanco en términos del proceso de Wiener (ver mi edición). Sobre la potencia: supongamos que la función de autocorrelación viene dada por una función F ( t t ) , dónde F ( t ) = 0 por t 0 y F ( 0 ) es finito Entonces cualquier integral que involucre F ( t ) desaparece, como la densidad espectral de potencia . no entiendo tu comentario sobre d t . no es t 2 t 1 etc. el espaciado de la red?
Gracias por la edición, estoy tratando de entender. Entonces, cada punto de la red tiene una distribución de probabilidad pags ( η ) = Exp ( η i 2 / 2 σ 2 ) . Suponga que ahora corta el espacio de la red a la mitad. creo que estas diciendo eso σ cambios. ¿A qué se debe que la distribución de probabilidad de η en un punto de la red debería cambiar cuando cambia el espaciado de la red? [Un razonamiento como el suyo me llevó a una idea similar cuando traté de resolver esto por mi cuenta, pero no pude justificar por qué el espaciado de la red debería tener un efecto en pags ( η ) .]
El razonamiento depende de qué definición de ruido blanco desee tomar como "fundamental". Si toma la definición a través de la función de autocorrelación como fundamental, entonces la varianza tiene que ser como 1 / d t para reproducir la función delta en el límite. Si toma la definición de caminata aleatoria como fundamental, entonces necesita que sus pasos infinitesimalmente pequeños tengan una varianza infinita 1 / d t en el límite, de modo que el camino de la caminata aleatoria (proceso de Wiener) W ( t ) = d t η ( t ) no es cero, pero sigue siendo una función continua (¡pero no diferenciable en ninguna parte!).
Adivina tu declaración [ D ] = [ t ] 1 es un error tipográfico Las dimensiones de un delta de Dirac son las inversas del argumento. Por lo tanto, para obtener una expresión adimensional D debe tener las mismas dimensiones que el argumento del delta de Dirac. En el resto de su respuesta, parece estar usándolo con las dimensiones correctas.
No entiendo por qué dices la varianza de η debe ser infinito. La potencia es energía por unidad de tiempo. Si calculo la energía durante una duración finita de la señal de ruido con una varianza finita, obtendré una energía finita. Por lo tanto, la señal de ruido tendría entonces una potencia finita. ¿Qué me estoy perdiendo?
@flippiefanus Gracias por el error tipográfico y los comentarios. Creo que quizás no debería haber discutido las cosas en términos de poder. Lo importante es que la señal integrada no sea cero, lo que solo es posible para el ruido correlacionado con cero si su varianza instantánea es infinita. He editado significativamente la respuesta para enfatizar la importancia de la señal integrada (es decir, el proceso de Wiener) para la definición de ruido blanco. Esperemos que la respuesta ahora sea clara.
Voté a favor y otorgué la recompensa: la respuesta es buena, clara y útil para los demás. Pero todavía me resulta un poco desconcertante que la definición de la función de partición para el ruido requiera que uno considere un paseo aleatorio por el campo. No esperaría tener que considerar la dinámica en una red de Ising para derivar su función de partición, por ejemplo.
@MarkMitchison Supongo que la intuición es que, dado que todas estas patadas ocurren en un intervalo de tiempo infinitamente corto, las "patadas" que provienen del campo tienen que generar una "fuerza infinita" para producir un impulso finito. Esto puede haber sido lo que quiso decir cuando hablaba de poder.
@oscarafone ¡Gracias por la generosidad! Su segundo comentario es acertado, esa es exactamente la intuición que tengo sobre la necesidad de que la varianza sea infinita. Aunque no entiendo muy bien tu primer comentario. La función de partición de un modelo de Ising está determinada por su hamiltoniano, que contiene toda la información sobre la dinámica del sistema. Pero esta función de partición térmica involucra variables dependientes de la temperatura , no las variables dependientes del tiempo que está considerando aquí. Así que no sorprende que la evolución temporal juegue un papel más importante en este problema.
Estoy de acuerdo en que la importancia del proceso de Wiener en particular para la definición de ruido blanco es bastante sorprendente al principio. Supongo que, en última instancia, esto solo refleja el hecho de que las propiedades matemáticas de este tipo de ruido modelan con precisión muchas situaciones físicas que surgen en la práctica. No sé si hay una justificación más profunda que esta.