계의 경계와 질량 수지

보존을 말하려면 계산 경계가 필요하다

한 용기 안의 질량이 줄어도 질량 보존은 정확히 성립할 수 있습니다. 줄어든 양이 선택한 경계를 넘어갔을 수 있기 때문입니다. 물리 법칙이 틀렸다고 판단하기 전에 무엇을 계 안에 포함하고 무엇을 외부로 두었는지, 어떤 이동이 그 사이를 가로지르는지 명시해야 합니다.

이 단원은 A, B, 추적하는 환경 E의 질량을 kg으로 나타냅니다. 그림은 개념도이며 거리나 화살표 폭이 실제 길이 또는 질량을 표현하지 않습니다. 같은 물리적 변화를 유지한 채 계산 영역만 A, A+B, A+B+E 중에서 선택합니다.

여기서 닫힘은 이 모형의 질량 횡단에 관한 말입니다. 열적 고립이나 에너지 교환의 부재를 뜻하지 않습니다. 그러한 주장을 하려면 추가 물리량과 에너지 전달을 모형에 포함해야 합니다.

불명확한 수치 해법 대신 이산 물리 연산을 선언하기

매분 기존 A와 B 질량의 비율 p를 동시에 교환합니다. 그다음 새로 섞인 B 질량의 비율 ℓ을 E로 보냅니다. 순서는 다음과 같이 고정합니다.

$$A_{n+1}=(1-p)A_n+pB_n,\qquad \widetilde B_n=pA_n+(1-p)B_n,$$ $$B_{n+1}=(1-\ell)\widetilde B_n,\qquad E_{n+1}=E_n+\ell\widetilde B_n.$$

두 비율은 0 이상 1 이하이고 초기 E는 0입니다. 누출을 먼저 하면 다른 연산이며 일반적으로 다른 값을 얻습니다. 실습은 교환 뒤 누출이라는 순서를 명시적으로 구현합니다.

이것은 1분마다 연산하는 배치 이동 모형입니다. 연속 확산 방정식의 정확 해나 시간 간격만 줄이면 되는 수치 적분법이라고 주장하지 않습니다. 누출이 없고 p=1이면 두 질량이 매분 서로 바뀔 수 있습니다. 선언한 연산에서는 유효하지만 이를 보통의 대칭 연속 확산과 자동으로 같다고 보면 안 됩니다.

비음성과 확장된 총량 보존 증명하기

업데이트한 각 질량은 0 이상인 기존 질량에 0 이상인 비율을 곱한 항들의 합입니다. 따라서 초기 질량이 비음수이면 이후에도 비음수입니다. 세 식을 더하면 다음 결과를 얻습니다.

$$A_{n+1}+B_{n+1}+E_{n+1}=A_n+B_n+E_n.$$

누출 항을 없애 버리지 않고 추적하는 환경으로 옮깁니다. 같은 유한 모형을 열 확률 행렬로 볼 수도 있습니다. 각 열은 이전 질량 1단위를 가능한 목적지에 분배하며 열의 합이 1입니다.

이 논증은 선언한 모형 안에서 보존을 증명합니다. 실제 장치에 적용하려면 구획과 이동 법칙이 적절한지 확인해야 합니다. 올바른 수지 항등식만으로 관련된 모든 물리 과정이 포함되었다고 알 수는 없습니다.

A 경계의 수지를 유도하기

A만 포함하면 한 번의 연산에서 유입은 기존 B의 p배, 유출은 기존 A의 p배입니다.

$$A_{n+1}-A_n=pB_n-pA_n.$$

섞인 B에서 환경으로 가는 누출은 이 A 경계를 직접 넘는 항이 아닙니다. B가 달라져 미래 유입에는 영향을 주지만 같은 수지에서 A의 유출로 다시 빼면 다른 경계의 이동을 중복 계산합니다. 이동 경로를 따라 어떤 경계를 넘는지 확인해야 합니다.

각 구간의 수지를 더하면 누적 관계가 됩니다.

$$M_n-M_0=I_{0:n}-O_{0:n}.$$

0분에는 누적 이동이 0이지만 마지막 구간이 아직 존재하지 않습니다. 실습은 마지막 구간 값을 미정으로 표시합니다. 발생하지 않은 구간의 측정 유량을 0이라고 만들어 내지 않습니다.

물리 궤적을 유지하며 경계를 확장하기

A+B를 포함하면 두 저장소 사이의 교환은 내부 이동입니다. 그 항들이 상쇄되고 환경으로 가는 유출만 남습니다.

$$(A_{n+1}+B_{n+1})-(A_n+B_n)=-\ell\widetilde B_n.$$

A+B+E에서는 그 이동도 내부 항이므로 순 경계 횡단은 0입니다. 환경 질량을 상태와 장부에 계속 남겨 둡니다. 경계를 확장한다고 이전 이동을 지우는 것이 아니라 외부 항의 분류가 바뀌는 것입니다.

세 안내 예제는 초기 질량과 두 비율을 고정하고 경계만 바꿉니다. 서로 다른 물리계를 비교하는 실수를 피하면서 같은 변화의 세 수지를 읽을 수 있습니다.

첫 분의 예제를 손으로 계산하기

초기 A=8kg, B=2kg, p=0.2, ℓ=0.1로 둡니다. 교환 뒤 A는 6.8kg이고 섞인 B는 3.2kg입니다. 0.32kg이 E로 이동하여 B는 2.88kg이 됩니다.

A의 변화 −1.2kg는 유입 0.4kg에서 유출 1.6kg를 뺀 값과 같습니다. A+B의 저장량은 9.68kg, 변화는 −0.32kg이며 환경 유출로 설명됩니다. A+B+E는 10kg 그대로이고 변화는 0입니다. 세 수지가 동시에 올바릅니다.

파란 이력은 선택 경계 안의 저장량, 주황은 초기 저장량에 누적 순유입을 더해 복원한 값입니다. 초록은 환경까지 포함한 총량입니다. 앞의 두 선은 수지 항등식 때문에 겹치며 초록 선은 작은 영역에서 나간 질량이 어디에 있는지 보여줍니다.

구조적 폐쇄와 순유량 0을 구분하기

구조적으로 닫힌 경계에는 정한 모형의 0이 아닌 연결을 통한 가능한 질량 횡단이 없습니다. 한 궤적에서 저장량이 일정하다는 사실만으로 그 성질을 증명하지는 못합니다.

A=B=5kg, p=0.2이고 누출이 없으면 A는 첫 연산에서 1kg을 받고 1kg을 보냅니다. 질량은 같지만 경계는 교환에 열려 있습니다. 총 유입과 유출은 각각 양수이고 그 차이만 0입니다.

누출 연결이 있어도 현재 상태가 그 연결에 질량을 공급하지 않을 수 있습니다. p=0이고 초기 B가 비어 있으면 누출 비율이 양수여도 E로 나가는 질량은 없습니다. 실현된 유량 0이 모형의 가능한 연결을 제거하지는 않습니다. 폐쇄 표시는 매개변수로 정한 이동 그래프의 성질이고 유량 표는 조회한 이력의 값입니다.

지원 조작 범위에서 정확한 산술 유지하기

입력은 정수 kg와 정수 백분율 코드입니다. 한 연산마다 공통 분모에 10000을 곱하는 정수 질량 가중치로 표현할 수 있습니다. n단계의 분모는 10000의 n제곱입니다.

구현은 저장량 변화와 누적 경계 이동을 각각 계산한 뒤 정수로 잔차를 비교합니다. 표시한 0~20단계의 비음성과 확장 총량도 검사합니다. 소수와 그림 위치는 수치 근사입니다. 선이 겹쳐 보인다는 시각적 결과를 정확한 수지의 증거로 쓰지 않습니다.

독립 검사는 유리수 행렬 거듭제곱과 별도로 누적한 횡단량을 사용합니다. 질량 0, 이동 0, 전부 교환, 전부 누출, 긴 이력을 포함합니다. 이 검사는 유한 이동 구현을 점검하며 임의의 물리 시뮬레이터 전체를 인증하지 않습니다.

풀이가 있는 연습 문제

1. 문제: 누출을 A 경계의 수지에서 직접 빼면 왜 안 되나요? 해설: 누출 연결은 B와 E를 잇습니다. A는 자신의 교환을 이미 계산했으므로 다른 경계의 유출을 다시 빼면 중복입니다.
2. 문제: 예제에서 A+B에 없는 0.32kg는 어디 있나요? 해설: E에 있습니다. E를 더하면 확장 총량 10kg를 복구합니다.
3. 문제: 질량 변화 0과 유입 1kg·유출 1kg가 양립하나요? 해설: 저장량 변화는 차이이므로 가능합니다. 구조적으로 닫혔다는 뜻은 아닙니다.
4. 문제: 초기 8kg,2kg에서 전부 교환하고 전부 누출하면? 해설: 첫 단계는 A=2,B=0,E=8이고 둘째 단계 뒤에는 E=10,A=B=0입니다.
5. 문제: 질량 수지가 닫히면 열 교환도 없나요? 해설: 질량 폐쇄와 열적 고립은 다릅니다. 열·일 등의 추가 전달을 모형화해야 합니다.
6. 문제: 총량 보존 조건만으로 교환 비율을 결정할 수 있나요? 해설: 누출이 없으면 허용한 모든 교환 비율이 총량을 보존합니다. 내부 동역학의 유일성을 얻으려면 추가 정보가 필요합니다.

출처와 연구 연결

MIT의 제어 체적 질량 수지 설명은 저장량 변화와 경계 횡단의 구분을 다룹니다. 세 저장소의 이산 모형과 정확 산술은 이 단원에서 직접 유도했습니다. 물리 기반 AI의 보존 벌점을 설계할 때도 상태 정의와 경계 항이 대상 물리계와 맞아야 합니다. 불완전한 장부의 작은 잔차가 올바른 학습 모형의 증거가 되지는 않습니다.