[Physics] Is the electromagnetic field strength tensor a tensor

Question

The electromagnetic field strength tensor is given by:
$$\Bbb{F}^{\mu \nu}=\begin{pmatrix} 0 & E_x/c, & E_y/c & E_z /c \\ -E_x/c & 0 & B_z & -B_y \\ -E_y /c & -B_z & 0 & B_x \\ -E_z/c & B_y & -B_x &0 \end{pmatrix}$$
I know that this is a Lorentz tensor meaning (in accordance with the definition of such a tensor) that:
$$\Bbb{F}^{\mu \nu}=\Lambda^\mu _\alpha \Lambda^\nu_\beta \Bbb{F}^{\alpha \beta}$$
for a Lorentz transform $\Lambda$. But is it actually a fully fledged tensor, such that for any coordinate transformation we have:
$$\Bbb{F}^{\mu \nu}= \frac{\partial x'^\mu }{\partial x^\alpha} \frac{\partial x'^\mu}{\partial x^\beta }\Bbb{F}^{\alpha\beta}$$
Either way can it be easily proved and if not why do we call it the 'field strength tensor'?

Answer 1

Yes, it is.

First argument: Look at the Lorentz force law.

The electromagnetic field strength tensor is the one for which $$m\frac{d^2x^\mu}{d\tau^2}=q F^{\mu}_{\ \ \ \nu}\frac{d x^\nu}{d\tau}$$

so that $q F^{\mu}_{\ \ \ \nu}\frac{d x^\nu}{d\tau}$ must be a vector for all possible velocities you plug in. This tells you how the $\mu$ index transforms. We already know how $\frac{d}{d\tau}x^\nu$ transforms (it's also a vector), and so we can conclude how the lower $\nu$ index transforms.

This is nice and easy, because it relies on the fact that $\frac{d x^\nu}{d\tau}$ is a nice, geometric object - it is normalized tangent to a path in Minkowski space. It's a vector and it so it transforms as a vector. Likewise with $\frac{d^2 x^\mu}{d\tau^2}$. Those two transformation laws and the Lorentz force law force $F$ to transform like a tensor, period.

Second argument: It's defined that way.

I think the confusion here is that you have the mathematical formulation of the general coordinate invariance of tensors, but you don't have the physical formulation of electrodynamics in general coordinates. That would make the problem very difficult to think about!

Maxwell's equations are:

$$F^{\alpha\beta}_{\ \ \ \ \ \ ,\alpha} = \mu_{0} J^{\beta}$$

$$(\frac{1}{2}\epsilon^{\alpha\beta\gamma\delta}F_{\gamma\delta})_{,\alpha} = 0$$

where the subscript comma denotes differentiation with respect to that coordinate. i.e., $\phi_{,\alpha}=\frac{\partial}{\partial x^\alpha}\phi$. There is nothing going on here besides new notation - this is exactly what Maxwell did, and there is no difference!

Note also that $J^\beta$ is obviously a clear, true, physical vector. It points in the direction of real moving charges.

To work in general coordinates, even in flat spacetime, things get messy. There is a very sophisticated and difficult technique to dealing with the mess: Replace every comma "," (the derivative) with a semicolon ";" (the covariant derivative). OK, it's not that difficult. The semicolon hides all the extra terms which are added when you do a coordinate transformation. (What do I mean by this? The Laplacian of a scalar $\phi$ is equal to $\phi_{,\alpha\beta} g^{\alpha\beta}$, if $g$ is the three-dimensional (1,1,1) metric. If you do a coordinate transformation, the metric components change, and now the Laplacian is equal to $\phi_{\ ;\alpha\beta} g^{\alpha\beta}$. This hides all of the first derivative terms and what-not. Evidently THE Laplacian in arbitrary coordinates is $\phi_{\ ;\alpha\beta} g^{\alpha\beta}$, and $\phi_{,\alpha\beta} g^{\alpha\beta}$ is the Laplacian only in Cartesian coordinates.)

The theory of electrodynamics is now defined as the theory of a tensor field $F^{\mu \nu}$ together with the equations:

$$F^{\alpha\beta}_{\ \ \ \ \ \ ;\alpha} = \mu_{0} J^{\beta}$$

$$(\frac{1}{2}\epsilon^{\alpha\beta\gamma\delta}F_{\gamma\delta})_{;\alpha} = 0$$

This is now a true statement which is valid for all coordinate systems, even weird/bad/arbitrary ones: Cylindrical coordinates, spherical ones, parabolic coordinates, whatever you please!

There is no new physics in what I've said so far. This is just the differential geometry of weird coordinate systems, and Maxwell electrodynamics in weird coordinate systems. But the previous two equations hold just as well in curved spacetime, with no modifications, and that's nice.