Is Gauss' law valid for time-dependent electric fields?

You need to watch what you mean by the ambiguous term "derive", which can mean either "was derived historically" (i.e. was motivated by or is a derivative of, in the non-mathematical sense) or "is derived logically/mathematically".

Historically, I think you are correct that $\boldsymbol{\nabla}\cdot \textbf{E}(\textbf{r},t)=\frac{\rho(\textbf{r},t)}{\epsilon_0}$ was "derived" by Maxwell from the electrostatic version $\boldsymbol{\nabla}\cdot \textbf{E}(\textbf{r})=\frac{\rho(\textbf{r})}{\epsilon_0}$, which in turn was "derived" from Coulomb's law.

Logically, it's the other way around. $\boldsymbol{\nabla}\cdot \textbf{E}(\textbf{r},t)=\frac{\rho(\textbf{r},t)}{\epsilon_0}$ is a fundamental law of the universe (at least it is in classical electromagnetism; in reality it is "derived" from quantum electrodynamics). The electrostatic version of it can be "derived" mathematically from this law as a special case. The same is true of Coulomb's law.


No we cannot prove it; Maxwell postulated that it would hold dynamically because it made the most sense for it to do so as he pondered the displacement current problem. As you likely know, Maxwell pondered the inconsistency between Ampère's law for magnetostatics and the charge continuity equation. Ampère's law for magnetostatics reads $\nabla\times \vec{H}=\vec{J}$; when we take the divergence of both sides of this equation we get $0=\nabla\cdot\vec{J}$ for any magnetic field with continuous second derivatives. This violates the charge continuity equation; we need $0=\nabla\cdot\vec{J} + \partial_t\,\rho$. So we need to add a term to the right of Ampère's law in the dynamic case whose divergence is the charge density $\rho$. The easiest solution is to assume that Gauss's electrostatics law holds in the dynamical case: then we add the electric displacement to the RHS of Ampère's and it has the right divergence to make everything properly in keeping with the continuity equation. Note that we can also add an arbitrary vector of the form $\nabla\times \vec{N}$ to the electric displacement for this to work, but this degree of freedom doesn't affect Gauss's law.


Maxwell derived his equations from 1) charge conservation law; 2) Coulomb's law; 3) Bio--Savart--Laplace law; 4) Faraday's law of induction. The equation $\boldsymbol{\nabla}\cdot \textbf{E}(\textbf{r})=\frac{\rho(\textbf{r})}{\epsilon_0}$ was indeed derived from Coulomb's law and in its differential form is written using Gauss--Ostrogradskiy theorem. Maxwell made one step further and suggested (postulated) that the same law is true when $\mathbf{E}$ and $\mathbf{\rho}$ are functions of space AND time. It turned out to be a correct guess and it doesn't contradict the other equations. Indeed, from Bio--Savart--Laplace law Maxwell derived $\nabla\times \vec{H}=\vec{J}$. If you take the divergence of both sides of this equation it contradicts the charge conservation law, so an additional term must be added to this equation (the so-called displacement current). And then, the resultant equation will not contradict the equation we get after differentiating $\boldsymbol{\nabla}\cdot \textbf{E}(\textbf{r},t)=\frac{\rho(\textbf{r},t)}{\epsilon_0}$ with respect to time and, in fact, the comparison of these two equations enables us to find the displacement current.