Since the above ๏ฌeld is derived from the general form given by Eq. (10), it is guaranteed that the ๏ฌeld is divergence-free. In case of any doubt, let us directly verify this. Write B as
| (359) |
where ๐ฅ is the Jacobian of (r,๐,ฯ) coordinates; B(1), B(2), and B(3) are given by
| (360) |
| (361) |
| (362) |
Use Bp given by (356), then B(1), B(2), and B(3) are written as
| (363) |
| (364) |
and
| (365) |
respectively. Then, by using the divergence formula in (r,๐,ฯ) coordinates, โโ B is written as