CurrentElectrons
structure FermiPotentialElectrons
domain?FermiPotentialElectrons
structure DeviceGeometry
domain?DeviceGeometry
structure Device
domain?Device
structure ElectrostaticPotential
domain?ElectrostaticPotential
structure DensityElectrons
domain?DensityElectrons
structure DeviceOperationState
domain?DeviceOperationState
structure PhysicalConstants
domain?PhysicalConstants
structure BandstructureParameters
domain?BandstructureParameters
structure Mobilities
domain?Mobilities
Definition of the electron current in gradient form.
The driving force of the current are the negative gradients of
the quasi-Fermi potential, here denoted by j_n.
constant current_electrons
type{P:bool}(((predP))((predP))((predP)))
definition[P:bool]([f:(predP),g:(predP)]([x:predP]((((-q)μ_n)(n(fx)(gx)))((g'([z:](Pz)))x))))
parsing-notationj_n b c (precedence 0)