Displacement
includes ElectrostaticPotential
includes PoissonParameters
constant electric_displacement Show Notations[x:Ω](multiplication(uminusε_s)((der([z:](domain_propz))ψ)x))http://cds.omdoc.org/urtheories?LambdaPi?lambdaxhttp://mathhub.info/MitM/Models/device?DeviceGeometry?domainhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?multiplicationhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/numberfields?realarith?uminushttp://mathhub.info/MitM/Models/poisson?PoissonParameters?dielectric_permitivityhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models?Base?derhttp://cds.omdoc.org/urtheories?LambdaPi?lambdazhttp://mathhub.info/MitM/numberfields?realnumbers?Realnumbershttp://cds.omdoc.org/urtheories?LambdaPi?applyhttp://mathhub.info/MitM/Models/device?DeviceGeometry?domain_propzhttp://mathhub.info/MitM/Models/densities?ElectrostaticPotential?electrostatic_potentialx