A stochastic variant of the heat equation modulo $2\pi$ has weird unstable particle-antiparticle solutions. Does this equation have a name?

53 Views Asked by At

I implemented a discretization of a weird 2D heat equation "mod $2\pi$",

$$\dot{f}(\mathbf{x},t)=\Delta^*f(\mathbf{x},t)$$

where (WARNING: handwavy, I'm not sure I understand it) $\Delta^*=\nabla^*\cdot\nabla^*$ where $\nabla^*$ is the gradient reduced into the interval $[-\pi,\pi]$.

Starting with a 2D random noise array and using periodic boundary conditions, I calculated the time-evolution of the array $A(t)$ and plotted the evolution as a complex phase plot, ie, I plotted $e^{iA(t)}$ using an argument-to-hue colormap. The results were pretty fascinating:

https://www.youtube.com/watch?v=oMp7OLojuTw

Here's some of the still frames, in the event you can't access YouTube:

enter image description here

enter image description here

enter image description here

enter image description here

enter image description here

enter image description here

enter image description here

enter image description here

enter image description here

enter image description here

Of note is that the noise smooths out into pairs of "particle-antiparticle pairs", which gradually attract and annihilate each other, eventually resulting in a constant solution. The "particles" are point discontinuities with clockwise hue and locally look like the complex function $f(z)=z$, and the "antiparticles" have counterclockwise hue and locally look like $f(z)=\bar{z}$.

I have run a bunch of simulations, and it appears that every particle has a corresponding antiparticle, and so given enough time, all pairs annihilate, resulting in a constant solution. I have not yet observed any stable nonconstant solutions.

I have two questions:

  • Is there a name for this equation or an equation with similar qualitative behavior, and if so, has it been studied?

  • Is it possible to prove that there is a pairing between particles and antiparticles? On a related note, are there any nonconstant equilibrium solutions?

I suspect there might be a topological reason why there appears to be a 1-to-1 correspondence between particles and antiparticles, but I'm too dumb to figure it out. At some point I may compute the time-evolution on a Klein bottle and see if any interesting solutions arise.

Implementation Details

The discretization used was similar to the traditional explicit discretization of the heat equation,

$$A_{i,j}^{k+1}=A_{i,j}^{k} + \alpha\left(A_{i-1,j}^{k}+A_{i+1,j}^{k}+A_{i,j-1}^{k}+A_{i,j+1}^{k}-4A_{i,j}^{k}\right)$$

but used a series of modifications. First, I ended up increasing the "radius" of the difference, ie, I used the stencil

$$A_{i,j}^{k+1}=A_{i,j}^{k} + \alpha\left(A_{i-r,j}^{k}+A_{i+r,j}^{k}+A_{i,j-r}^{k}+A_{i,j+r}^{k}-4A_{i,j}^{k}\right)$$

where $r>1$ because using $r=1$ gave "uninteresting" results. To insert the "mod $2\pi$" behavior of $\nabla^*$, I converted the above to the following:

$$A_{i,j}^{k+1}=A_{i,j}^{k} + \alpha\left[\text{mod}\left(A_{i-r,j}^{k}-A_{i,j}^{k},2\pi,\pi\right) + \text{mod}\left(A_{i+r,j}^{k}-A_{i,j}^{k},2\pi,\pi\right) + \text{mod}\left(A_{i,j-r}^{k}-A_{i,j}^{k},2\pi,\pi\right) + \text{mod}\left(A_{i,j+r}^{k}-A_{i,j}^{k},2\pi,\pi\right)\right]$$

where $\text{mod}(a,b,c)$ is $a$ reduced into the interval $[-c,b-c]$. Finally, I made the above time-evolution "stochastic" by computing only one difference at a time using a point within radius $r$ of the center:

$$A_{i,j}^{k+1}=A_{i,j}^{k} + \alpha\text{mod}\left(A_{i-a,j-b}^{k}-A_{i,j}^{k},2\pi,\pi\right)$$

where $a,b$ are randomly-chosen integers satisfying $a^2+b^2\leq r^2$. This was my final discretization, with $r\approx 7$ and $\alpha\approx 0.1$.