An explanation on why the naive averaging of velocity works for point vortex simulation on a discrete triangle mesh.
Point Vortex Dynamics
For our point vortex case, we have:
−Δψ=ω⟹ψ=−Δ−1ω
Where ω=∑k=1NΓkδk where δk is a delta function at the position of the kth point vortex. And as Δ is a linear operator, we have:
ψ1=−Δ−1δk1,ψ2=−Δ−1δk2,…∴ψ=k=1∑Nψk
That means on a small circular patch around point vortex k1 we can write the global stream function as:
ψ=ψ1+k=2∑Nψk
ψ1 is singular and blows up at the center of point vortex. But h=∑k=2Nψk is a smooth harmonic scalar function on this small patch.
∴ψ=ψ1+h⟹h=ψ−ψs(1)
where ψs is the singular stream function part of a point vortex inside the patch Br centered at a (position of the point vortex).
In the classical term, Eq. (2) can be interpreted as h is the actual stream function value obtained as a combination of Robin’s function and pairwise interaction of Green’s function (excluding the self interaction).
So for correct Advection, we want to get rid of the ψs part and then have the velocity at the point vortex (point a) as:
u(a)=J∇h(a)
For this we need the ∇h(a).
Mean Value Property of the Harmonic Function
For a harmonic, function h the value at a point x0 is given as:
h(x0)=∣Br∣1∫Br(x0)h(x)dx
where Br is a ball of radius r around the point x0. Similarly this holds for the boundary of the ball as well.
h(x0)=∣∂Br∣1∫∂Br(x0)hdS
In this case we are integrating over a sphere or a circle.
For 2D case, integral over the circle:
h(x0)=2π1∫02πh(x0+r(cosθ,sinθ))dθ
Consequently, we can take gradient of h in terms of x as:
∇h(x0)=2π1∫02π∇h(x0+r(cosθ,sinθ))dθ
Equivalently,
∇h(a)=∣∂Br∣1∮∂Br∇h(x)dx(2)
where Br is a small circular patch around point a with radius r.
One important thing about ψs we know is that it’s radially symmetrical around a point a. For a small enough patch, in continuum case it’s equal to ψs=−2πΓlog∣x−a∣.
Given that Br is a circular patch with center a, ψs is constant over ∂Br i.e. it’s a contour line, and ψs(r) is constant for any value of r≤R where R is the radius of patch Br. Therefore, magnitude of ∇ψs is constant over ∂Br and direction is pointing radially outwards in the direction of normal n. Therefore,