So (\mathbfV_f) is (solenoidal) — it has a stream function.
Equivalently, if (f = u+iv), then (\mathbfV_f = (u, -v)). The Pólya vector field is the conjugate of the complex velocity field (\overlinef(z)). Indeed, (\overlinef(z) = u - i v), which as a vector in (\mathbbR^2) is ((u, -v)). polya vector field
Indeed, the stream function (\psi) such that (\mathbfV_f = ( \psi_y, -\psi_x )) can be taken as (\psi = -v). Check: [ \psi_y = -v_y = -(-u_x) = u_x? \text Wait carefully. ] Better: Let (\psi = -v). Then (\nabla^\perp \psi = (\psi_y, -\psi_x) = (-v_y, v_x)). But by Cauchy–Riemann, (v_x = u_y), (v_y = -u_x), so ((-v_y, v_x) = (u_x, u_y)) — that’s (\nabla u), not (\mathbfV_f). So that’s not correct. Let's derive cleanly: So (\mathbfV_f) is (solenoidal) — it has a stream function