Skip to content

Appendix A Problems

← Back to chapter　|　View solutions

Table of Contents

Basic

Medium

Advanced

Basic

B-1. Component Calculation of the Cross Product

Hint

The \(i\)-th component is \((\boldsymbol{a} \times \boldsymbol{b})_i = a_j b_k - a_k b_j\) (indices are cyclic). You may also expand the formal determinant by cofactors along the first row.

→ View solution

B-2. Orthogonality of the Cross Product

Hint

You only need to substitute into the definition of the dot product \(\boldsymbol{u} \cdot \boldsymbol{v} = u_1 v_1 + u_2 v_2 + u_3 v_3\).

→ View solution

B-3. Scalar Triple Product

Hint

Evaluate \(\boldsymbol{a} \cdot (\boldsymbol{b} \times \boldsymbol{c}) = \begin{vmatrix} a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ c_1 & c_2 & c_3 \end{vmatrix}\) using Sarrus' rule or cofactor expansion.

→ View solution

B-4. Gradient of a Scalar Field

Hint

Find each component of \(\nabla\varphi = \left(\frac{\partial\varphi}{\partial x},\; \frac{\partial\varphi}{\partial y},\; \frac{\partial\varphi}{\partial z}\right)\) by taking partial derivatives.

→ View solution

B-5. Divergence of a Vector Field

Reference figure: Figure A.1: Cross Product (Appendix A)

Hint

Substitute into \(\operatorname{div}\boldsymbol{F} = \frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}\).

→ View solution

B-6. Curl of a Vector Field

Reference figure: Figure A.1: Geometry of the cross product (Appendix A)

Hint

Compute each component using "subtraction" as in \((\nabla \times \boldsymbol{F})_x = \frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z}\).

→ View solution

B-7. Laplacian of a Scalar Field

Hint

Compute \(\Delta\varphi = \frac{\partial^2\varphi}{\partial x^2} + \frac{\partial^2\varphi}{\partial y^2} + \frac{\partial^2\varphi}{\partial z^2}\) term by term.

→ View solution

B-8. Verification of the Lagrange Identity

Hint

First find \(|\boldsymbol{a}|^2\), \(|\boldsymbol{b}|^2\), and \(\boldsymbol{a} \cdot \boldsymbol{b}\), then find the sum of squares of each component of \(\boldsymbol{a} \times \boldsymbol{b}\) and compare.

→ View solution

B-9. Verification of the BAC-CAB Formula

Hint

First find \(\boldsymbol{b} \times \boldsymbol{c}\), then compute \(\boldsymbol{a} \times (\boldsymbol{b} \times \boldsymbol{c})\). For the right-hand side, first calculate the scalars \(\boldsymbol{a} \cdot \boldsymbol{c}\) and \(\boldsymbol{a} \cdot \boldsymbol{b}\).

→ View solution

B-10. Verifying rot(grad) = 0

Reference: The curl identity \(\nabla \times (\nabla\varphi) = 0\) is explained in section A.5 of Appendix A.

Hint

First compute \(\nabla\varphi\), then treat it as a vector field and calculate each component of \(\nabla \times (\nabla\varphi)\). Pay attention to the interchangeability of the order of partial derivatives.

→ View solution

Medium

M-1. Proof of the BAC-CAB Formula

Prove that $$\boldsymbol{a} \times (\boldsymbol{b} \times \boldsymbol{c}) = \boldsymbol{b}(\boldsymbol{a} \cdot \boldsymbol{c}) - \boldsymbol{c}(\boldsymbol{a} \cdot \boldsymbol{b}) $$ by expanding the \(x\)-components of both sides in terms of the general components \(a_i, b_i, c_i\) and comparing them. Explain (using a symmetry argument) why the same identity holds for the \(y\) and \(z\) components as well.

Hint

Write out the components of \(\boldsymbol{b} \times \boldsymbol{c}\), then obtain the \(x\)-component of \(\boldsymbol{a} \times (\boldsymbol{b} \times \boldsymbol{c})\) from the definition of the cross product. Expand the \(x\)-component of the right-hand side, \(b_1(\boldsymbol{a} \cdot \boldsymbol{c}) - c_1(\boldsymbol{a} \cdot \boldsymbol{b})\), and compare.

→ View solution

M-2. Proof that div(curl) = 0

Reference: The divergence identity \(\nabla \cdot (\nabla \times \mathbf{F}) = 0\) is discussed in Section A.5 of Appendix A. $$\operatorname{div}(\operatorname{rot}\boldsymbol{F}) = 0 $\(Prove that this holds using component representation. Also, briefly explain how this identity is related to the physical fact that "magnetic monopoles do not exist" (\)\operatorname{div}\boldsymbol{B} = 0$ and \(\boldsymbol{B} = \operatorname{rot}\boldsymbol{A}\)).

Hint

Write out each component of \(\operatorname{rot}\boldsymbol{F}\), then take the \(\operatorname{div}\). Show that the terms \(\frac{\partial^2 F_i}{\partial x_j \partial x_k}\) and \(\frac{\partial^2 F_i}{\partial x_k \partial x_j}\) pair up and cancel.

→ View solution

M-3. Inner Product of Two Cross Products Formula

By substituting \(\boldsymbol{c} = \boldsymbol{a}\) and \(\boldsymbol{d} = \boldsymbol{b}\) into $$(\boldsymbol{a} \times \boldsymbol{b}) \cdot (\boldsymbol{c} \times \boldsymbol{d}) = (\boldsymbol{a} \cdot \boldsymbol{c})(\boldsymbol{b} \cdot \boldsymbol{d}) - (\boldsymbol{a} \cdot \boldsymbol{d})(\boldsymbol{b} \cdot \boldsymbol{c}), $$derive the Lagrange identity $$|\boldsymbol{a} \times \boldsymbol{b}|^2 = |\boldsymbol{a}|^2|\boldsymbol{b}|^2 - (\boldsymbol{a} \cdot \boldsymbol{b})^2. $$Furthermore, using this result, show that \(|\boldsymbol{a} \times \boldsymbol{b}| = |\boldsymbol{a}||\boldsymbol{b}|\sin\theta\) (where \(\theta\) is the angle between \(\boldsymbol{a}\) and \(\boldsymbol{b}\)).

Hint

Substitute \(\boldsymbol{a} \cdot \boldsymbol{b} = |\boldsymbol{a}||\boldsymbol{b}|\cos\theta\) and use \(1 - \cos^2\theta = \sin^2\theta\).

→ View solution

M-4. Product Rule for Divergence

Reference: For product rule identities, see the list of identities in A.5 of Appendix A.

Prove the following identity using component notation: $$\operatorname{div}(\varphi\,\boldsymbol{F}) = (\nabla\varphi) \cdot \boldsymbol{F} + \varphi\,(\operatorname{div}\boldsymbol{F}) $$

Hint

Expand \(\operatorname{div}(\varphi\,\boldsymbol{F}) = \frac{\partial(\varphi F_x)}{\partial x} + \cdots\) using the product rule for differentiation (Leibniz rule).

→ View solution

M-5. Gauss's Theorem and the Coulomb Field

Hint

Apply Gauss's theorem to the region between an arbitrary closed surface containing the origin and a small sphere centered at the origin. Using \(\operatorname{div}\boldsymbol{E} = 0\), show that the surface integral equals the value on the sphere. On the sphere, \(\boldsymbol{E}\) and \(d\boldsymbol{S}\) are parallel and the magnitude is constant.

→ View solution

Advanced

A-1. Identities Using the Levi-Civita Symbol

We can write $$(\boldsymbol{a} \times \boldsymbol{b})i = \sum\, a_j\, b_k $$Answer the following questions.} \varepsilon_{ijk

(a) Accepting the contraction formula $$\sum_k \varepsilon_{ijk}\,\varepsilon_{lmk} = \delta_{il}\delta_{jm} - \delta_{im}\delta_{jl} $$derive the dot product formula for two cross products $$(\boldsymbol{a} \times \boldsymbol{b}) \cdot (\boldsymbol{c} \times \boldsymbol{d}) = (\boldsymbol{a} \cdot \boldsymbol{c})(\boldsymbol{b} \cdot \boldsymbol{d}) - (\boldsymbol{a} \cdot \boldsymbol{d})(\boldsymbol{b} \cdot \boldsymbol{c}) $$using only index calculations.

(b) Using the same contraction formula, derive the BAC-CAB formula \(\boldsymbol{a} \times (\boldsymbol{b} \times \boldsymbol{c}) = \boldsymbol{b}(\boldsymbol{a} \cdot \boldsymbol{c}) - \boldsymbol{c}(\boldsymbol{a} \cdot \boldsymbol{b})\).

(c) With the correspondence to the 4-dimensional Levi-Civita tensor \(\varepsilon^{\mu\nu\rho\sigma}\) introduced in the main text in mind, write down the \(i\)-th component of \(\operatorname{rot}\boldsymbol{F}\) using the 3-dimensional \(\varepsilon_{ijk}\), and re-prove the identity \(\operatorname{div}(\operatorname{rot}\boldsymbol{F}) = 0\) through index calculations.

Hint

(a) Write \((\boldsymbol{a} \times \boldsymbol{b}) \cdot (\boldsymbol{c} \times \boldsymbol{d}) = \sum_i (\sum_{j,k}\varepsilon_{ijk} a_j b_k)(\sum_{l,m}\varepsilon_{ilm} c_l d_m)\) and apply the contraction formula to \(\sum_i \varepsilon_{ijk}\varepsilon_{ilm}\). (b) Expand \([\boldsymbol{a} \times (\boldsymbol{b} \times \boldsymbol{c})]_i = \sum_{j,k}\varepsilon_{ijk} a_j (\boldsymbol{b} \times \boldsymbol{c})_k\) further and contract the product of \(\varepsilon\)'s. (c) In \(\operatorname{div}(\operatorname{rot}\boldsymbol{F}) = \sum_i \partial_i (\sum_{j,k}\varepsilon_{ijk}\partial_j F_k)\), contrast the antisymmetry of \(\varepsilon_{ijk}\) with the symmetry of \(\partial_i \partial_j\).

→ View solution

A-2. Applications of Stokes' Theorem

Reference: Stokes' theorem is explained in A.6 of Appendix A. Using $$\oint_C \boldsymbol{F} \cdot d\boldsymbol{r} = \int_S (\nabla \times \boldsymbol{F}) \cdot d\boldsymbol{S} $$discuss the following.

(a) When a vector field \(\boldsymbol{F}\) can be written as \(\boldsymbol{F} = \nabla\varphi\) (the gradient of some scalar field \(\varphi\)), show that the line integral along any closed curve \(C\) satisfies \(\oint_C \boldsymbol{F} \cdot d\boldsymbol{r} = 0\), using Stokes' theorem and the identity \(\nabla \times (\nabla\varphi) = \boldsymbol{0}\).

(b) Conversely, if \(\nabla \times \boldsymbol{F} = \boldsymbol{0}\) holds in a simply connected region, prove that there exists a scalar field \(\varphi\) such that \(\boldsymbol{F} = \nabla\varphi\), by showing a construction of \(\varphi\) using line integrals.

(c) In the context of general relativity treated in the main text, "the deviation of a vector after parallel transport along a closed curve" is described by the curvature tensor. Discuss qualitatively the relationship between Stokes' theorem and curvature, from the viewpoint that \(\operatorname{rot}\boldsymbol{F}\) represents "the circulation per infinitesimal closed curve" (no quantitative calculation is required).

Hint

(a) simply substitute the identity into the right-hand side of Stokes' theorem. (b) Show that the line integral \(\varphi(\boldsymbol{r}) = \int_{\boldsymbol{r}_0}^{\boldsymbol{r}} \boldsymbol{F} \cdot d\boldsymbol{r}'\) from a fixed point \(\boldsymbol{r}_0\) to \(\boldsymbol{r}\) is path-independent, and verify that \(\nabla\varphi = \boldsymbol{F}\). (c) State the analogy between the fact that in Stokes' theorem the integrand of the surface integral represents "circulation per area element," and the fact that the curvature tensor describes "the deviation from parallel transport along an infinitesimal parallelogram."

→ View solution