静電場を求める際に使った積分を Maxima-Jupyter で確認する
一様な線電荷による電場で使った積分
\frac{1}{\left(x^2 + y^2 + (z-z’)^2\right)^{3/2}} dz’ = \frac{2}{x^2 + y^2}$$および
$$\int_{-\infty}^{\infty}
\frac{z – z’}{\left(x^2 + y^2 + (z-z’)^2\right)^{3/2}} dz’ =0$$
の確認。
/* 分母がゼロにならないように仮定します。*/
assume(x > 0)$
'integrate(1/(x**2 + y**2 + (z-z1)**2)**(3/2), z1, -inf, inf) =
integrate(1/(x**2 + y**2 + (z-z1)**2)**(3/2), z1, -inf, inf);
'integrate( (z-z1)/(x**2 + y**2 + (z-z1)**2)**(3/2) , z1, -inf, inf) =
integrate( (z-z1)/(x**2 + y**2 + (z-z1)**2)**(3/2) , z1, -inf, inf);
軸対称な電荷分布による電場で使った積分の確認
$$\int_0^{2\pi} d\phi’ \frac{x-r’ \cos\phi’}{(x-r’ \cos \phi’)^2 + (y-r’ \sin \phi’)^2} = \frac{2\pi x}{x^2 + y^2} H(\sqrt{x^2 + y^2} – r’)$$
および
$$\int_0^{2\pi} d\phi’ \frac{y-r’ \sin\phi’}{(x-r’ \cos \phi’)^2 + (y-r’ \sin \phi’)^2} = \frac{2\pi y}{x^2 + y^2} H(\sqrt{x^2 + y^2} – r’)$$
の確認。
/* r > r' の場合 */
facts(r1)$
forget(%)$
assume(0 < r1, r1 < sqrt(x**2+y**2))$
'integrate((x-r1*cos(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi)=
integrate((x-r1*cos(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi);
/* r < r' の場合 */
facts(r1)$
forget(%)$
assume(0 < r1, r1 > sqrt(x**2+y**2))$
'integrate((x-r1*cos(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi)=
integrate((x-r1*cos(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi);
/* r > r' の場合 */
facts(r1)$
forget(%)$
assume(0 < r1, r1 < sqrt(x**2+y**2))$
'integrate((y-r1*sin(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi)=
integrate((y-r1*sin(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi);
/* r < r' の場合 */
facts(r1)$
forget(%)$
assume(0 < r1, r1 > sqrt(x**2+y**2))$
'integrate((y-r1*sin(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi)=
integrate((y-r1*sin(phi1))/
(x**2+y**2+r1**2-2*r1*(x*cos(phi1)+y*sin(phi1))), phi1, 0, 2*%pi);
一様な面電荷による電場で使った積分
$$\int_{-\infty}^{\infty} \int_{-\infty}^{\infty}\frac{x }{\left(x^2 + (y-y’)^2 + (z-z’)^2\right)^{3/2}}dy’ dz’ = 2 \pi \frac{x}{|x|}$$
の確認。
/* x > 0 の場合 */
facts(x)$
forget(%)$
/* あらためて x > 0 と仮定します。*/
assume(x > 0)$
'integrate(
'integrate(
x/(x**2 + (y-y1)**2 + (z-z1)**2)**(3/2),
y1, -inf, inf),
z1, -inf, inf) =
integrate(
integrate(
x/(x**2 + (y-y1)**2 + (z-z1)**2)**(3/2),
y1, -inf, inf),
z1, -inf, inf);
/* x < 0 の場合 */
facts(x)$
forget(%)$
/* あらためて x < 0 と仮定します。*/
assume(x < 0)$
'integrate(
'integrate(
x/(x**2 + (y-y1)**2 + (z-z1)**2)**(3/2),
y1, -inf, inf),
z1, -inf, inf) =
integrate(
integrate(
x/(x**2 + (y-y1)**2 + (z-z1)**2)**(3/2),
y1, -inf, inf),
z1, -inf, inf);
球対称な電荷分布による電場で使った積分
\begin{eqnarray}
\int_0^{\pi} \sin\theta’ d\theta’
\frac{(r-r’\cos\theta’)}{\left\{r^2 + (r’)^2 -2 r r’ \cos\theta’\right\}^{3/2}}
&=& \frac{2\pi}{r^2} \left(\frac{r+r’}{|r+r’|}+\frac{r-r’}{|r-r’|} \right)\\
&=& \left\{
\begin{array}{ll}
\frac{4\pi}{r^2} & (r’ < r)\\ \ \\
0 & (r’ > r)
\end{array}
\right.
\end{eqnarray}
の確認。
integrate(
(r-r1*cos(theta1))*sin(theta1)
/(r**2 + r1**2 - 2*r*r1*cos(theta1))**(3/2), theta1, 0, %pi);