14.1 Is the above B divergence-free?

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

B = B (1)๐’ฅโˆ‡ ๐œƒร— โˆ‡ ฯ•+ B (2)๐’ฅโˆ‡ ฯ•ร— โˆ‡r + B (3)๐’ฅโˆ‡r ร— โˆ‡ ๐œƒ,
(359)

where ๐’ฅ is the Jacobian of (r,๐œƒ,ฯ•) coordinates; B(1), B(2), and B(3) are given by

B(1) = B โ‹…โˆ‡r
(360)

B(2) = B โ‹…โˆ‡๐œƒ
(361)

B(3) = B โ‹…โˆ‡ฯ•
(362)

Use Bp given by (356), then B(1), B(2), and B(3) are written as

 (1)
B   = 0,
(363)

B (2) = โˆ’ 1-1--โˆ˜--g0r--,
        ๐’ฅ q(r)  R20 โˆ’ r2
(364)

and

B(3) = B-ฯ•,
       R
(365)

respectively. Then, by using the divergence formula in (r,๐œƒ,ฯ•) coordinates, โˆ‡โ‹… B is written as

         (    (1)       (2)       (3)  )
โˆ‡ โ‹…B = 1-  โˆ‚B---๐’ฅ-+ โˆ‚B---๐’ฅ-+ โˆ‚B---๐’ฅ-
       ๐’ฅ     โˆ‚r       โˆ‚๐œƒ       โˆ‚ฯ•
       1 (    โˆ‚B (2)๐’ฅ    )
     = ๐’ฅ-  0+ --โˆ‚๐œƒ---+ 0
            (              )
     = 1--โˆ‚- โˆ’ -1--โˆ˜--g0r----
       ๐’ฅ โˆ‚๐œƒ    q(r)  R20 โˆ’ r2
     = 0                                              (366)
i.e., B in this case is indeed divergence-free.