Displacement
includes
ElectrostaticPotential
includes
PoissonParameters
constant
electric_displacement
Show Notations
Languages
Arguments
Rendering
0
D
[
x
:
Ω
]
(
multiplication
(
uminus
ε_s
)
(
(
der
(
[
z
:
ℝ
]
(
domain_prop
z
)
)
ψ
)
x
)
)
http://cds.omdoc.org/urtheories?LambdaPi?lambda
x
http://mathhub.info/MitM/Models/device?DeviceGeometry?domain
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?multiplication
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/numberfields?realarith?uminus
http://mathhub.info/MitM/Models/poisson?PoissonParameters?dielectric_permitivity
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/Models?Base?der
http://cds.omdoc.org/urtheories?LambdaPi?lambda
z
http://mathhub.info/MitM/numberfields?realnumbers?Realnumbers
http://cds.omdoc.org/urtheories?LambdaPi?apply
http://mathhub.info/MitM/Models/device?DeviceGeometry?domain_prop
z
http://mathhub.info/MitM/Models/densities?ElectrostaticPotential?electrostatic_potential
x