8
$\begingroup$

As I'm advancing my study in Electromagnetism I'm getting introduced to more mathematical operators which are exclusively used in Electromagnetism and Fluid Dynamics only.

Let me try to explain myself through an example: Electric flux is defined as $$ \int\limits_S \mathbf{E} \cdot \hat n~~ dS $$ and now by the Gauss's Law $$ \int\limits_S \mathbf{E} \cdot \hat n~~ dS = \int\limits_V \nabla \cdot \mathbf{E} ~~dV$$ and now if we take such a surface such that $\hat n$ and $\mathbf{E}$ are parallel (let's say a sphere with a positive charge density $\rho$ and total charge q at center) and then we will have $$ \frac {1}{4\pi\epsilon_0} \frac{q}{r^2} \times 4\pi r^2= \int\limits_V \nabla \cdot \mathbf{E} dV$$ $$ \frac{d}{dV} \left[ \frac{q}{\epsilon_0} \right] = \nabla \cdot \mathbf{E}$$ $$ \nabla \cdot\mathbf{E} = \frac{\rho}{\epsilon_0}$$ and we call that last equation the first of Maxwell's Equations . I respect those great physicists and mathematicians , I really do and my question is not to doubt them but rather to ask.

Why did we care about that divergence notation and started giving intuitive explanation like how much a thing is coming out or going in?

I mean if it was just for notational easiness or something else. There are a lot of videos explaining the intuitive sense of operators of curl and divergence but as you have seen it's really a mathematical consequence of the way we define those two operators. So, my question is

Why there was a need to define divergence and curl?

When I was studying line integrals from Stewart's Calculus there it was written clearly that line integrals were invented to solve the problems of fluid flow. I think that the concept of surface integral was also invented only for defining flux.

$\endgroup$

1 Answer 1

10
$\begingroup$

These operations arose from the study of quaternions see e.g. Thomson and Tait's Treatise on Natural Philosophy, that should probably have information on the sort of math. Stokes's theorem originated with Thomson (Lord Kelvin) around 1850 and in there the expression for curl appears. The history of quaternions is certainly interesting, starting with Hamilton in 1843. Evidently, the significance of a sum and difference of partial derivatives was recognized for its utility.

PLAUSIBLE INTUITION

There is very good reason to use these operators, strictly from an analytical perspective. The question of how to define a derivative in multivariate calculus motivates us to consider first a two-dimensional vector field case. In such a case, the change in direction can be described by taking derivatives of the $x-y$ components of the field with respect to various directions.

Let $\mathbf{A}$ be the vector field with two components, $A_x$ and $A_y$, each functions of the position $(x,y)$. Then the total change can first be considered by the change in $A_x$ with $x$ and the change in $A_y$ with $y$, derivatives in the direction of the components, and second by the change in $A_x$ with $y$ and $A_y$ with $x$. It is relatively straightforward to show that we should sum the first two to maintain their useful properties, $\frac{\partial A_x}{\partial x} + \frac{\partial A_y}{\partial y}$, and we should take the difference of the cross derivatives for their useful properties, $\frac{\partial A_y}{\partial x} - \frac{\partial A_x}{\partial y}$. These become our two most useful derivatives, which are the divergence and curl respectively.

Extending this to three dimensions, we can readily adapt the divergence derivative by simply adding another partial derivative term. The cross derivative terms, however, require careful handling, as there are now two cross derivatives for each component, for a total of 9 partial derivatives. To extend the curl derivative, we consider the 2D curl derivatives in a given plane, for the three principle planes ($xy$, $xz$, and $yz$), and we allow each curl in a plane to be a component in a vector. Thus we lose no information. The vector component we should use would be the component normal to the plane.

In the language of vectors, this curl operator would be: $$ \left (\frac{\partial A_z}{\partial y} - \frac{\partial A_y}{\partial z}\right )\mathbf{i} + \left (\frac{\partial A_x}{\partial z} - \frac{\partial A_z}{\partial x}\right )\mathbf{j} + \left (\frac{\partial A_y}{\partial x} - \frac{\partial A_x}{\partial y}\right )\mathbf{k} $$

HISTORICAL DEVELOPMENT

A modern explanation with vectors is one thing, but historical development is of most concern for us here. One could arguably draw a connection directly from Stokes's theorem to the introduction of curl. From (Katz 1979), there were some hints of Stokes's theorem leading to its appearance in the Smith's Prize Exam, but the curl operation is made quite clear looking at the problem itself.

If X,Y,Z be functions of the rectangular coordinates $x,y,z$, $dS$ an element of any limited surface, $l,m,n$ the cosines of the inclinations of the normal at $dS$ to the axes, $ds$ an element of the boundary line, shew that $$\iint l \left (\frac{\partial Z}{\partial y} - \frac{\partial Y}{\partial z}\right ) + m\left (\frac{\partial X}{\partial z} - \frac{\partial Z}{\partial x}\right ) + n \left (\frac{\partial Y}{\partial x} - \frac{\partial X}{\partial y}\right ) dS = \int \left (X \frac{dx}{ds} + Y \frac{dy}{ds} + Z \frac{dz}{ds} \right )$$ ... the single integral being taken all around the perimeter of the surface.

Apparently, the left hand side had already appeared in a few earlier works of Stokes, although I'm not aware of any earlier history of the expression. As for the introduction of divergence, I'm sure the sum of derivatives often appeared in the calculus of quaternions, so it might take more work to track the origin of this expression.

In general, a complete differential is a differential form which is the differential of some scalar function. Today, we would say the differential is exact. This idea comes very naturally from potential theory, developed by Green, Hamilton, Gauss, and others. It was known that the condition for e.g. a quaternion differential, $$ \mathbf{A} = A_x dx + A_y dy + A_z dz $$ to be complete is that $$ \left (\frac{\partial A_y}{\partial z} - \frac{\partial A_z}{\partial y}\right ) = \left (\frac{\partial A_x}{\partial z} - \frac{\partial A_z}{\partial x}\right ) = \left (\frac{\partial A_x}{\partial y} - \frac{\partial A_y}{\partial x}\right ) = 0$$ And so we are left to wonder about the behavior of quaternion fields for which this is not true, and we ask whether there is sufficient information to uniquely characterize a quaternion field using both the differential form and the cross derivatives above.

This leads us to an idea introduced in 1858 by Helmholtz that quaternion fields can be decomposed into their curl and divergence expressions which we have given above. Helmholtz's work On Integrals of the Hydrodynamical Equations, which Express Vortex-Motion (1858) presents similar quantities to divergence and curl in the context of fluid dynamics and vortices.

As for the notations and notions of divergence and curl, the introduction of the symbol $\nabla$ certainly brought something to the issue. This was, in fact, introduced by Hamilton, and was used greatly by Maxwell and Tait among others. Maxwell in particular was one to attach physical meaning to divergence and curl, though his conventions were slightly different from ours today. He used the convergence which is the negative divergence, and he called curl the rotation. These are plainly laid out in sec. 25 (p.30) of Volume 1 of his treatise.


Selected References

Katz, Victor J. The History of Stokes' Theorem. 1979.

Helmholtz, H. On Integrals of the Hydrodynamical Equations, which Express Vortex-Motion. 1858.

Maxwell, James C. Treatise on Electricity and Magnetism, volume 1. 1873.

Tait. On Green's Theorem. 1872.

Thomson and Tait. Treatise on Natural Philosophy. 1879.

Further Reading

Crowe, Michael J. A History of Vector Analysis. 1967.


P.S. I am not very familiar with quaternions, so some of the stuff above where I say "quaternion field" etc I'm projecting vector field concepts to quaternions. I'm sure this would be outrageous to someone more familiar, so edits in this way (and others) are welcome.

$\endgroup$
1
  • 1
    $\begingroup$ Wow what a great answer. It really provides me great satisfaction when you wrote the difference of derivatives and subtraction of cross derivatives only made sense , $\endgroup$ Oct 9, 2019 at 3:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.