Proving Geometric definition of divergence of vector field as given by Tristan Needham

236 Views Asked by At

In page-479 of Visual Complex Analysis, Tirstan Needham derives the flux of a vector field in Geometric form:

enter image description here Here $z$ is the point to which the shaded region $R$ will ultimately be collapsed in order to find the divergence there, $S$ and $P$ are the streamline and orthogonal trajectory through $z$ , and $s$ and $p$ are arclength along $S$ and $P$, the direction of increasing $p$ being choosen to make a positive right angle with $X$

$$ \nabla \cdot X = \partial_s |X| + \kappa_p |X|$$

The $\partial_S$ is a derivative along streamlines of the vector field $X$ and $\kappa_S$ is the curvature of the streamline at the point we are taking divergence at.

In the derivation of the formula using inifinitesimals, the following identity is used:

$$ \delta ( dp)= \kappa_p ds dp= \kappa_p dA$$

I am trying to derive it.


My attempt:

$$ dp = r_p d \theta$$

Where $r_p$ is radius of osculating circle at $p$ of the orthogonal trajectory of $S$ and $d \theta$ is the angle in common with circle circle and arclength of the orthogonal trajectory.

Assuming that the $d \theta$ doesn't change from the labelled dp to the red marked edge , we have:

$$ \delta dp = dr_p d \theta \tag{1}$$

But we can consider the shaded region as a differential area of a circle:

$$ dA= d(r^2) \frac{ d \theta}{2} = r_p dr_p d \theta$$

Rerranging $$ \frac{dA}{r_p} = \kappa_p dA = dr_p d \theta$$. Plugging that into (1) we have:

$$ \delta (dp) = \kappa_p dA$$

Does my derivation look like what was intended?