PhysLean Documentation

PhysLean.Electromagnetism.Electrostatics.Basic

Electrostatics #

In this file we define the static electric field as a distribution on Space d.

@[reducible, inline]

The type of static electric fields (i.e. time-independent electric fields), defined as distributions from Space d to EuclideanSpace ℝ (Fin d).

Equations
Instances For
    @[reducible, inline]

    The type of charge distributions. Mathematically this is equivalent to the type of distributions from Space d to .

    Equations
    Instances For
      @[reducible, inline]

      The type of static electric potentials. Mathematically defined as distributions from Space d to .

      Equations
      Instances For

        The static electric field associated with a static electric potential.

        Equations
        Instances For

          Gauss's law for static electric fields.

          Equations
          Instances For

            Faraday's law in 3d for static electric fields.

            Equations
            Instances For

              If the electric field is of the form -∇φ then Faraday's law holds.