自由空間の Coulomb 定数を k c = ( 4 π ϵ 0 ) − 1 k_{\mathrm c}=(4\pi\epsilon_0)^{-1} k c = ( 4 π ϵ 0 ) − 1 とすると、式(2.1 )の source が作る電位と電場は
ϕ ( x ) = k c ∑ i = 1 N q i A i ∫ T i 1 ∥ x − y ∥ d S y , E s ( x ) = k c ∑ i = 1 N q i A i ∫ T i x − y ∥ x − y ∥ 3 d S y . \begin{align*}
\phi(\bm{x})&=k_{\mathrm c}\sum_{i=1}^{N}\frac{q_i}{A_i}
\int_{T_i}\frac{1}{\lVert\bm{x}-\bm{y}\rVert}\mathop{}\!\mathrm{d}S_{\bm{y}},\tag{3.1}\\
\bm{E}_{\mathrm s}(\bm{x})&=k_{\mathrm c}\sum_{i=1}^{N}\frac{q_i}{A_i}
\int_{T_i}\frac{\bm{x}-\bm{y}}
{\lVert\bm{x}-\bm{y}\rVert^3}\mathop{}\!\mathrm{d}S_{\bm{y}}.\tag{3.2}
\end{align*} ϕ ( x ) E s ( x ) = k c i = 1 ∑ N A i q i ∫ T i ∥ x − y ∥ 1 d S y , = k c i = 1 ∑ N A i q i ∫ T i ∥ x − y ∥ 3 x − y d S y . ( 3.1 ) ( 3.2 )
要素電荷は粒子の吸収・放出から蓄積量として決まるため、絶縁体では、境界電位から全 q i q_i q i を逆算する連立方程式は解かない。浮遊導体の等電位化(第7 章)だけが、追加の境界条件を連立方程式として課す。
P0 は要素ごとの一定密度近似であり、真の表面電荷密度の連続性や細部を完全には表さない。面の積分を正確に評価しても、三角形形状と密度の離散化誤差は残る。
一つの三角形について解析積分の構造を示す[20 ]。評価点 x \bm{x} x の面からの符号付き高さを d = ( x − a 1 ) ⋅ n d=(\bm{x}-\bm{a}_1)\cdot\bm{n} d = ( x − a 1 ) ⋅ n 、平面への投影を x ∥ \bm{x}_\parallel x ∥ 、辺 e e e の面内外向き単位法線を ν e \bm{\nu}_e ν e 、辺 e e e 上の一点を a e \bm{a}_e a e とする。辺の長さを ℓ e \ell_e ℓ e 、評価点から両端までの距離を r e , 1 , r e , 2 r_{e,1},r_{e,2} r e , 1 , r e , 2 とおくと、
L e = log r e , 1 + r e , 2 + ℓ e r e , 1 + r e , 2 − ℓ e , d e = ( a e − x ∥ ) ⋅ ν e \begin{equation*}
L_e=\log\frac{r_{e,1}+r_{e,2}+\ell_e}
{r_{e,1}+r_{e,2}-\ell_e},\qquad
d_e=(\bm{a}_e-\bm{x}_\parallel)\cdot\bm{\nu}_e\tag{3.3}
\end{equation*} L e = log r e , 1 + r e , 2 − ℓ e r e , 1 + r e , 2 + ℓ e , d e = ( a e − x ∥ ) ⋅ ν e ( 3.3 )
を用いて
I ϕ = ∑ e d e L e − d Ω , I E = ∑ e ν e L e + n Ω , ϕ i = k c q i A i I ϕ , E i = k c q i A i I E \begin{align*}
I_\phi&=\sum_e d_eL_e-d\,\Omega,\tag{3.4}\\
\bm{I}_E&=\sum_e\bm{\nu}_eL_e+\bm{n}\Omega,\tag{3.5}\\
\phi_i&=k_{\mathrm c}\frac{q_i}{A_i}I_\phi,\qquad
\bm{E}_i=k_{\mathrm c}\frac{q_i}{A_i}\bm{I}_E\tag{3.6}
\end{align*} I ϕ I E ϕ i = e ∑ d e L e − d Ω , = e ∑ ν e L e + n Ω , = k c A i q i I ϕ , E i = k c A i q i I E ( 3.4 ) ( 3.5 ) ( 3.6 )
となる。Ω \Omega Ω は評価点が法線 n \bm{n} n の側にあるとき正となる符号付き立体角であり、頂点への相対ベクトル r k = a k − x \bm{r}_k=\bm{a}_k-\bm{x} r k = a k − x (r k = ∥ r k ∥ r_k=\lVert\bm{r}_k\rVert r k = ∥ r k ∥ )から
Ω = − 2 atan2 ( r 1 ⋅ ( r 2 × r 3 ) , r 1 r 2 r 3 + ( r 1 ⋅ r 2 ) r 3 + ( r 2 ⋅ r 3 ) r 1 + ( r 3 ⋅ r 1 ) r 2 ) \begin{equation*}
\Omega=-2\operatorname{atan2}\Bigl(\bm{r}_1\cdot(\bm{r}_2\times\bm{r}_3),\;
r_1r_2r_3+(\bm{r}_1\cdot\bm{r}_2)r_3+(\bm{r}_2\cdot\bm{r}_3)r_1+(\bm{r}_3\cdot\bm{r}_1)r_2\Bigr)\tag{3.7}
\end{equation*} Ω = − 2 atan2 ( r 1 ⋅ ( r 2 × r 3 ) , r 1 r 2 r 3 + ( r 1 ⋅ r 2 ) r 3 + ( r 2 ⋅ r 3 ) r 1 + ( r 3 ⋅ r 1 ) r 2 ) ( 3.7 )
で計算する[18 ]。評価点が面上にあるときは、次節の自己項と片側極限を用いる。
重心に点電荷を置く近似と異なり、三角形の広がりを近傍でも保持する。特異性を経験的な softening 長で置き換えることはしない。
要素内の評価点では、面上の電位は連続であり、面積を持つ三角形の自己電位も有限である。法線電場は表面電荷によって跳ぶ。
E i ± = E i P V ± σ i 2 ϵ 0 n i , n i ⋅ ( E i + − E i − ) = σ i ϵ 0 . \begin{equation*}
\bm{E}_i^{\pm}
=\bm{E}_i^{\mathrm{PV}}\pm\frac{\sigma_i}{2\epsilon_0}\bm{n}_i,
\qquad
\bm{n}_i\cdot(\bm{E}_i^+-\bm{E}_i^-)=\frac{\sigma_i}{\epsilon_0}.\tag{3.8}
\end{equation*} E i ± = E i PV ± 2 ϵ 0 σ i n i , n i ⋅ ( E i + − E i − ) = ϵ 0 σ i . ( 3.8 )
P V \mathrm{PV} PV は両側極限の平均としての principal value である。面上の電場には、粒子が存在する側の片側極限を用いる。閉じた物体では外向き法線の側をとる。衝突は面の両側から検出する(第5 章)ので、衝突の表裏と電場の片側極限の選択は独立である。図3.1 は、有限三角形の幾何と面を横切る電場の跳びを並べて示す。
図 3.1 P0 三角形の評価幾何と電場の跳び。左の破線は面への投影、点線は頂点への視線を示す。右は要素内部の点での局所的な断面模式図であり、P V \mathrm{PV} PV は両側極限の平均である。有限 panel の主値には接線成分もあり得るため、電場全体を法線方向の矢印で置き換えていない。