3
$\begingroup$

I am broadly working on a dynamic process where we want to see how a field $\rho(r)$ changes in space in time with thermal noise. The system is biased around a thermodynamic saddle point dictated by $H[\rho]$, and $\nabla^2$ is the typical Laplacian operator that introduces diffusion.

$\frac{\partial \rho(r)}{\partial t} = \nabla \cdot \left[ \rho(r)\nabla \left( \frac{\partial H[\rho(r)]}{\partial \rho} \right)\right]+\eta(t,r)$

In this case, $\eta(t,r)$ is not white Gaussian noise.

$\left<\eta(t,r)\right> = 0$

$\left<\eta(t,r) \eta(t',r')\right> = -2 \delta(t,t')\nabla\cdot \left[ \rho(r)\nabla \delta(r,r')\right]$

I've left out factors of $\Delta V$ related to discretization. Typically, we adopt an it$\hat{\text{o}}$ interpretation when we numerically integrate the system given above. We typically end up with the Euler–Maruyama scheme:

$\rho_{n+1}(r) = \rho_{n}(r)+\Delta t \nabla^2 \left( \frac{\partial H[\rho(r)]}{\partial \rho} \right)+R_n(r)$

I've only discretized in time. Where $R_n$ is just a random number computed using the construction above. The main struggle with this stochastic partial differential equation is that $\rho$ describes a physical quantity ie. density, and cannot be negative. From my understanding, it is a strong order problem. Thus I would like to make an approximation to the noise:

$\left<\eta(t,r) \eta(t',r')\right> = -2 \rho(r)\delta(t,t')\nabla^2 \delta(r,r')$.

$\rho(r) \left<\gamma(t,r) \gamma(t',r')\right> = -2 \delta(t,t')\nabla^2 \delta(r,r')$.

Given this form, it appears to be a multiplicative colored noise process. So writing down a Milstein scheme may be straightforward.

$\rho_{n+1}(r) = \rho_{n}(r)+\Delta t \nabla^2 \left( \frac{\partial H[\rho(r)]}{\partial \rho} \right)+\rho^{1/2}_n(r)R_n(r)+\frac{1}{2}(R_n(r)^2-\Delta t)$

I've implemented the scheme, but there's something incorrect regarding the it$\hat{o}$ term. I'm wondering two things:

Is there a better way for me to derive the $\Delta t$ correction term in the Milstein?

Is this a case where switching to the Stratonovich form may be advantageous because I no longer have to deal with the correction term?

$\endgroup$
4
  • $\begingroup$ what exactly do you mean that there is something incorrect regarding the Ito term? Are you looking for some particular convergence rate in the numerics? $\endgroup$ Commented Jun 3, 2023 at 4:40
  • $\begingroup$ Also, for the particular H you are working with, do you already have existence of continuous mild solutions eg. as mentioned in Pratto, J. Zabczyk, Stochastic equations in infinite dimensions? $\endgroup$ Commented Jun 3, 2023 at 4:43
  • $\begingroup$ Regarding the first question, the Milstein scheme (Fourth term $1/2 (R_n(r)^2-\Delta t)$ ) has the noise and a term associated with the covariance of the noise. I am not convinced that I have derived the covariance term correctly. I say incorrectly; due to the numerically, it seems to have lost some of the strong order (evidenced by negative values) $\endgroup$
    – Yhtomit
    Commented Jun 4, 2023 at 5:12
  • $\begingroup$ Regarding the second question, I am not too familiar with the conditions. From my rudimentary understanding, I expect $H$ (Some Hamiltonian) to have Lipschitz Continuity and Linear Growth Conditions. I am unsure about the Measurability due to the noise treatment. $\endgroup$
    – Yhtomit
    Commented Jun 4, 2023 at 5:16

0

You must log in to answer this question.