Gauss 법칙과 균일 대전 구

측정 구면이 커질 때 장이 더 강해지는 이유

전하가 부피 전체에 균일하게 고정된 공을 생각합시다. 중심에서 보이지 않는 구형 측정 면을 조금씩 키웁니다. 공 안에서는 측정 면이 커질수록 더 많은 전하를 포함합니다. 면적은 반지름의 제곱으로 늘지만 포함 전하는 세제곱으로 늘므로 전기장은 반지름에 비례하여 커집니다.

대전된 공 밖에서는 새 전하가 더 포함되지 않습니다. 면적만 계속 커지므로 장은 거리의 제곱에 반비례하여 줄어듭니다. 수치 cutoff로 서로 다른 법칙을 붙인 것이 아니라 하나의 연속된 장의 두 영역입니다.

원천과 관측 기하를 선언한다

원천은 반지름 $a>0$, 총전하 $Q$인 지정된 비도체 실구입니다. 내부 부피 전하 밀도는 균일하고 외부에서는0입니다. 이 분포를 유지하는 역학을 푸는 대신 원천을 고정합니다.

초과 전하가 표면에 놓이는 정전 평형 도체 구와 다릅니다. 수학적 점전하와도 다릅니다. 원천에 실제 부피를 주는 것은 모델을 바꾸는 것이지 점원 특이점을 숨기는 단순한 표시 기법이 아닙니다.

물리량	의미	SI 단위
$a$	원천 반지름	m
$r=\|\mathbf x\|$	중심으로부터 관측 거리	m
$\rho$	부피 전하 밀도	C/m³
$\mathbf E$	전기장	N/C
$\Phi_E$	닫힌 면을 통과하는 전기선속	N m²/C
$V$	전위	V

교육용 계수는 앞에서 선언한 반올림 값 $k=9\times10^9\,\mathrm{N\,m^2/C^2}$입니다. 이 교육 모델 안에서는 $4\pi k=1/\varepsilon_0$를 일관되게 사용합니다. 정규화한 독립 기준에서는 $k$를 분리하며 반올림 값을 정확한 물리 상수로 취급하지 않습니다.

Gauss 법칙은 먼저 적분 관계다

부피를 둘러싸는 닫힌 면 $S$의 법선을 바깥으로 정하면

$$\Phi_E=\iint_S\mathbf E\cdot\mathbf n\,dA =4\pi kQ_{\mathrm{enc}}.$$

측정 면은 가상의 기하입니다. 전하를 밀어내거나 새 물리적 경계를 만드는 면이 아닙니다. 바깥 법선을 기준으로 들어오는 순흐름이면 부호 있는 선속은 음수입니다.

Gauss 법칙 자체가 구대칭을 요구하지는 않습니다. 구대칭은 이 스칼라 적분 조건에서 점별 장의 공식을 얻을 수 있게 해 주는 추가 정보입니다. 전체 선속 하나만 알아서는 일반적으로 면 위에 장이 어떻게 분포하는지 알 수 없습니다.

내부·외부 원천 장을 유도한다

균일 부피 밀도와 포함 전하는

$$\rho_0=\frac{3Q}{4\pi a^3},\qquad Q_{\mathrm{enc}}(r)= \begin{cases} Q(r/a)^3,&0\le r<a,\\ Q,&r\ge a. \end{cases}$$

고립된 구대칭 원천은 장이 반지름 방향이며 동심 구면에서 부호 있는 반지름 성분이 일정합니다. $r>0$에서

$$4\pi r^2E_r(r)=4\pi kQ_{\mathrm{enc}}(r),\qquad E_r(r)= \begin{cases} kQr/a^3,&0<r<a,\\ kQ/a^2,&r=a,\\ kQ/r^2,&r>a. \end{cases}$$

$Q$가 양수면 바깥, 음수면 안쪽으로 향합니다. $E_r$는 부호 있는 성분이며 장의 크기는 $|E_r|$입니다. 진짜 구대칭 원천 밖에서는 점전하 식이 멀리서만 성립하는 근사가 아니라 외부 전체에서 정확히 성립합니다.

영벡터라고 발산까지0인 것은 아니다

원점에는 유일한 $\widehat{\mathbf r}$ 방향이 없습니다. 그곳에서 $E_r\widehat{\mathbf r}$로 계산하면0에 미정 좌표 기저를 곱하게 됩니다. 대신 규칙적인 Cartesian 내부 식을 사용합니다.

$$\mathbf E_{\mathrm{source}}(\mathbf x)=\frac{kQ}{a^3}\mathbf x \quad (r<a),\qquad \mathbf E_{\mathrm{source}}(\mathbf 0)=\mathbf 0.$$

장 벡터는 잘 정의되지만 크기0인 벡터의 방향은 미정입니다. 발산은 이웃한 위치의 값을 사용합니다.

$$\nabla\cdot\mathbf E_{\mathrm{source}} =3\frac{kQ}{a^3}=4\pi k\rho_0 \quad (r<a).$$

$Q\ne0$이면 중심에서도 발산은0이 아닙니다. 발산은 장의 크기가 아니며 $dE_r/dr$ 하나도 아닙니다. 원점 밖의 구좌표 식은 $\nabla\cdot\mathbf E=E_r'+2E_r/r$이므로 기하에서 온 두 항도 기여합니다.

서로 다른 반지름 곡선을 함께 읽는다

$Q>0$에서 $E_a=kQ/a^2$라 두면 원천만의 곡선은 다음과 같습니다.

관측 반지름	$Q_{\mathrm{enc}}/Q$	$E_r/E_a$	$\Phi_E/(4\pi kQ)$	$V/(kQ/a)$
$0$	$0$	$0$	붕괴한 면의 극한으로 $0$	$1.5$
$a/2$	$1/8$	$1/2$	$1/8$	$1.375$
$a$	$1$	$1$	$1$	$1$
$2a$	$1$	$1/4$	$1$	$1/2$

장·포함 전하·선속·전위는 단위가 다른 관측량입니다. 위 비율은0이 아닌 원천 양으로 나누므로 $Q=0$이면 $0/0$을 만들지 말고 실제 영원천 값을 사용합니다. 평면에 그린 원천이나 측정 구면도 삼차원 부피와 면을 나타냅니다.

물리 단위를 포함한 계산 예제

$a=1$ m, $Q=1$ nC로 정합니다. $r=0.5$ m의 포함 전하는 $0.125$ nC, 원천 장은 $4.5$ N/C, 측정 면적은 $\pi$ m²입니다. 따라서

$$\Phi_E=4.5\pi\approx14.137167\ \mathrm{N\,m^2/C}.$$

원천 경계의 장은 $9$ N/C, $r=2$ m에서는 $2.25$ N/C입니다. 이 두 측정 면은 모두 전체 전하를 포함하므로 선속이 $36\pi\,\mathrm{N\,m^2/C}$로 같습니다.

중심 장은0이지만 원천 밀도는 약 $2.387324\times10^{-10}$ C/m³이고 발산은 $27\,\mathrm{N/(C\,m)}$입니다. 중심의 화살표 하나만 읽으면 공간 변화에 들어 있는 비영 전하 밀도를 놓칩니다.

전위는 별도의 일치 검사를 제공한다

고립 원천의 전위를 무한대에서0으로 정하고 장을 적분하면

$$V_{\mathrm{source}}(r)= \begin{cases} \dfrac{kQ}{2a}\left(3-\dfrac{r^2}{a^2}\right),&0\le r\le a,\\ \dfrac{kQ}{r},&r>a. \end{cases}$$

예제에서는 $V(0)=13.5$ V, $V(0.5)=12.375$ V, $V(1)=9$ V, $V(2)=4.5$ V입니다. 중심 전위는 유한하고 그 기울기는0입니다. 전위가 크다고 전기장도 큰 것은 아닙니다.

$\mathbf E=-\nabla V$는 별도의 수치 경로를 줍니다. 독립 생성기는 구껍질들의 Coulomb 전위를 수치 적분한 뒤 미분합니다. 제품 장과 같은 분기 공식을 그대로 다시 계산한 검사가 아닙니다.

경계의 장은 연속이지만 공통 기울기는 없다

$Q\ne0$이면 $r=a$ 양쪽 장의 극한은 같지만 미분은

$$E_r'(a^-)=\frac{kQ}{a^3},\qquad E_r'(a^+)=-\frac{2kQ}{a^3}.$$

경계에는 고전적인 공통 반지름 미분이 없습니다. 발산의 한쪽 극한은 각각 $3kQ/a^3$과0입니다. 부피 밀도 모델은 정확한 경계점의 대표 값을 따로 지정하지 않습니다. 부피가0인 집합에 어떤 대표 값을 주어도 포함 전하 적분은 바뀌지 않습니다.

장이 연속이므로 표면 전하층처럼 장 자체가 점프하지는 않습니다. 경계를 가로지르는 적분 법칙은 여전히 의미가 있습니다. 전위와 일차 미분은 연속이지만 이차 미분에는 공통 값이 없습니다. $Q=0$이면 원천이 사라져 이 미분 점프도 사라집니다.

고차 유한 차분의 수렴 차수가 떨어지는 이유

전위의5점 미분 공식도 주변이 충분히 매끄러워야 고차 정확도를 가집니다. 경계를 가로지르면 서로 다른 이차 미분을 표본화하므로 매끄러운 한 영역 안의 stencil과 같은 수렴을 기대하면 안 됩니다.

정규화한 $k=Q=a=1$에서 경계 $r=1$을 간격 $h=0.01$로 독립 미분하면 $-V'$가 정확한1 대신 약 $0.995000647$입니다. 간격을 절반으로 줄이면 약 $0.997500082$입니다. 오차는16분의1이 아니라 대략 절반이 됩니다.

이는 매끄럽지 않은 경계에서 선택한 수치 미분의 성질입니다. 연속 장에 임의의 평균 기울기가 존재한다는 뜻이 아닙니다. 장의 연속성, 한쪽 미분, 적분 보존을 따로 검증하고 어려운 경계를 다른 원천 모델로 조용히 바꾸지 않습니다.

균일 배경장으로 선속만의 한계를 검사한다

일정한 외부 전기장 $\mathbf E_0$를 더하면

$$\mathbf E_{\mathrm{total}}=\mathbf E_{\mathrm{source}}+\mathbf E_0,\qquad \iint_S\mathbf E_0\cdot\mathbf n\,dA=0.$$

같은 포함 전하·닫힌 선속에 서로 다른 국소 장이 대응합니다. 예제에 $\mathbf E_0=(3,0,0)$ N/C를 더하면 $(0.5,0,0)$ m의 전체 장은 $+x$ 방향 $7.5$ N/C이지만, 선속을 구면적으로 나눈 값은 여전히 $4.5$ N/C입니다. 이 비율은 법선 성분의 면 평균이지 그 점의 전체 장이 아닙니다.

원천 기여는 구대칭을 유지하지만 전체 장은 그렇지 않습니다. Gauss 법칙은 성립하고, 대칭을 이용한 점별 단축 공식은 전체 장에 적용되지 않습니다. 원천 데이터와 적분 조건만으로 경계 조건을 대신할 수 없습니다.

배경장 변화는 전위 gauge 이동이 아니다

모델은 원점에서0인 $V_{\mathrm{background}}=-\mathbf E_0\cdot\mathbf x$를 사용합니다. 이를 더하면 장이 바뀝니다. 전위에 상수만 더해 장이 유지되는 조작과 다릅니다.

고립 원천 기여에는 무한대 기준을 사용합니다. 0이 아닌 균일 배경장을 더한 전체 전위는 무한대의 모든 방향에서0으로 갈 수 없습니다. 모델은 선언한 두 기준으로 합을 보고하며 불가능한 전체 경계 조건을 주장하지 않습니다.

이상적인 균일장은 지정한 근처 전극으로 만든 유한 에너지 장치가 아니라 국소·정적 비교 모델입니다. 경계 정보가 없을 때 같은 원천에 여러 장이 대응할 수 있음을 구체적으로 보여 줍니다.

수치 범위와 물리적0을 구분한다

내부 포함 전하는 $r^3$, 장은 $r$에 비례합니다. 형식적으로 매우 작은 반지름에서는 포함 전하가 부동소수점 underflow해도 장은 표현 가능할 수 있습니다. 포함 전하를 먼저0으로 반올림한 뒤 면적으로 나누면 가짜 영장이 생깁니다.

구현은 규칙적인 Cartesian 원천 장을 직접 계산하고 밀도·포함 전하·선속·정규화 관측의 가용성을 따로 추적합니다. 이런 극단 입력은 고전 연속체 공식의 수치 스트레스 검사이지 임의로 작은 길이를 물리적으로 관측할 수 있다는 주장이 아닙니다.

$r=0$에서는 측정 면이 붕괴하므로 보통의 Gaussian 구면이 아닙니다. 면적과 극한 선속은0이지만 그 비율은 미정입니다. 실제 원천 장은 규칙적인 Cartesian 식에서 알고 있습니다. 좌표 특이점이나 미정 정규화를 물리적인 점전하 특이점으로 혼동하지 않습니다.

AI와 연구 실험

학습한 정적 장을 검증할 때 독립 전위 기울기, 닫힌 선속 적분, 경계 밖의 국소 미분, 경계의 trace를 함께 사용합니다. 원천과 배경 기여를 분리하세요. Gauss 잔차만으로는 원천과 선속이 같은 모든 장을 구분할 수 없습니다.

비교할 때 원천 분포와 관측 기하를 유지합니다. 도체 껍질·균일 부피 구·완화한 점전하는 그림에서 모두 매끄러워 보여도 내부 물리가 다릅니다. 경계 근처에서는 stencil·표본 영역·수렴을 보고하고 작은 스칼라 잔차 하나를 보편 정확도의 보증으로 사용하지 않습니다.

풀이가 있는 연습

연습 1 — 반지름 절반에서

양의 $Q$에서 $r=a/2$의 포함 전하와 경계 대비 장은 각각 얼마인가요?

풀이. 포함 전하는 $Q/8$, 장은 $E_a/2$입니다. 포함 부피는 $r^3$, 측정 면적은 $r^2$로 늘어나므로 비율인 장은 $r$에 비례합니다.

연습 2 — 중심의0과 원천

$\mathbf E(0)=0$이면 $\rho(0)=0$인가요?

풀이. 아닙니다. 내부 장은 $c(x,y,z)$이고 $c=kQ/a^3$입니다. 원점의 벡터는0이지만 발산은 $3c$이므로 비영 부피 밀도를 나타냅니다. 발산은 한 점의 크기가 아니라 공간 미분입니다.

연습 3 — 경계의 미분

물리 단위 예제의 경계 기울기를 $9$와 $-18\,\mathrm{N/(C\,m)}$의 평균으로 채워도 되나요?

풀이. 안 됩니다. 공통 고전 미분이 없습니다. 두 극한을 유지하고 적절한 약한·적분 비교나 한쪽 비교를 수행합니다. 장 자체는 연속 값인 $9$ N/C로 명확합니다.

연습 4 — 원천 크기를 두 배로

총전하를 유지하며 $a$와 관측 좌표를 두 배로 하면 장·전위·밀도·포함 전하는 어떻게 되나요?

풀이. 장은4분의1, 전위는절반, 밀도는8분의1이고 같은 반지름 비율에서 포함 전하는 유지됩니다. 닫힌 선속도 같습니다. 관측 위치를 고정하는 비교는 다른 실험입니다.

연습 5 — 같은 선속과 다른 장

예제의 균일 배경장 $3$ N/C를 더했는데 왜 $(0.5,0,0)$의 장만 $7.5$ N/C로 바뀔 수 있나요?

풀이. 균일 기여를 닫힌 면의 바깥 법선에 대해 적분하면0입니다. 국소 장은 바뀌고 전체 구대칭은 깨집니다. 이는 물리적 배경 변화이며 전위에 상수만 더하는 gauge 이동이 아닙니다.

연습 6 — 경계 검사 설계

예측기는 Gauss 항등식은 잘 맞지만 경계의 중앙 유한 차분과 맞지 않습니다. 무엇을 더 검사할까요?

풀이. 독립 장·전위, 연속성, 한쪽 미분, 원천·기하 가정과 stencil 수렴을 확인합니다. 적분 항등식은 구성상 맞을 수 있고 중앙 stencil은 경계에서 매끄러운 영역의 수렴 차수를 잃습니다. 어느 하나만으로 일반적인 정확도를 증명할 수 없습니다.

출처와 재현 가능한 검사

MIT 8.02 Gauss's Law §4.2·예제4.4에서 적분 법칙과 균일 비도체 구를 확인할 수 있습니다. Cartesian 규칙성, 배경장 대조와 수치 경계 설명은 이 단원에서 직접 유도했습니다.

모델은 learning-electro-magnetostatics.ts입니다. 독립 기준은 SciPy 구껍질 전위 적분과5점 기울기를 사용하며 삼차원 관측과 경계 수렴열을 포함합니다. 전체 벡터 장을 닫힌 구면에서 적분하고 정확한 영입력과 수치 범위 상태도 구분합니다. 반올림한 정적 계수로 후속 전자기파의 정밀도까지 주장하지 않으며 그 단계에서는 일관된 상수와 모델 가정을 선언해야 합니다.