Poisson 경계 조건·해의 존재·상수 자유도

정적 문제는 처음 시각 대신 무엇을 묻나

정상 상태의 공간 함수에는 시작 시각이 없습니다. 대신 경계 데이터가 어떤 공간 분포를 허용하는지 정합니다. 길이 L=1m에서 −u″=f라는 일정 원천 문제를 사용하면 유일한 해, 임의 상수만큼 다른 해들, 요청한 데이터를 만족하는 해가 없음이라는 세 경우를 모두 볼 수 있습니다.

예시 물리량 u는 기준에서의 온도 차 K이고 원천 f는 K/m²입니다. 실제 정상 열전도 모형이라면 전도율과 열 발생량을 연결하는 추가 물성이 필요합니다. 이 실습은 명시한 미분 문제의 해와 경계 추적을 다루며 재료 실험의 모든 요소를 자동으로 추정하지 않습니다.

내부의 전체 해를 두 번 적분

두 번 연속 미분 가능한 함수에서 다음이 성립합니다.

$$-u''(x)=f\quad\Longrightarrow\quad u(x)=-\frac{f}{2}x^2+ax+b.$$

일정한 2차 미분을 두 번 적분하면 상수 두 개가 생기므로 이것이 내부의 전체 C² 해 함수족입니다. 반대로 모든 이차식을 두 번 미분하면 원래 법칙을 확인할 수 있습니다. a의 단위는 K/m, b는 K입니다. 전체 함수족이라는 논증이 있으므로 이후의 경계 분류가 완전합니다. 몇 개 곡선만 그린 것으로 전체 해를 찾았다고 할 수는 없습니다.

그림에는 선택한 한 멤버를 표시합니다. 경계 조건이 모순될 때도 실패한 항을 볼 수 있도록 내부 후보를 그리지만, 이를 경계값 문제의 해라고 인증하지 않습니다. 내부 법칙을 만족하는 것과 전체 문제의 해인 것은 다릅니다.

양 끝의 값을 지정하면

Dirichlet 데이터 u(0)=g₀,u(L)=g₁을 넣으면 다음과 같습니다.

$$b=g_0,\qquad a=\frac{g_1-g_0}{L}+\frac{fL}{2}.$$

두 계수가 유일하게 정해집니다. L=1의 수치 좌표에서는 a=g₁−g₀+f/2입니다. 평균이나 임의 상수 입력은 이 모드에서 해를 바꾸지 않습니다. 해당 입력의 의미는 Neumann 모드에서만 활성이라고 명시합니다.

첫 안내에서 f=2,양 끝 값 0이면 u=x−x²이며 a=1,b=0입니다. 양 끝 좌표 미분은 1,−1K/m이고 평균 온도 차는 1/6K입니다. 이 미분 값은 해에서 나온 결과이지 별도로 더 지정한 데이터가 아닙니다.

왼쪽 값과 오른쪽 미분을 섞으면

혼합 조건은 u(0)=g₀,u′(L)=q₁을 지정합니다. u′(x)=−fx+a이므로 다음과 같습니다.

$$b=g_0,\qquad a=q_1+fL.$$

여기서도 두 계수가 유일합니다. 왼쪽 입력은 온도 단위 K, 오른쪽은 기울기 단위 K/m입니다. 경계 선택은 그림의 모양만 바꾸는 옵션이 아니라 입력의 수학적 의미와 단위를 바꿉니다.

예를 들어 f=2,g₀=0,q₁=0이면 u=−x²+2x입니다. 오른쪽 값은 1K이지 0이 아닙니다. 같은 숫자 0을 오른쪽 값으로 잘못 읽으면 첫 안내의 다른 문제를 풀게 됩니다.

Neumann 조건의 양립식을 유도

이제 u′(0)=q₀,u′(L)=q₁처럼 두 좌표 미분을 지정합니다. 왼쪽 조건은 a=q₀를 정합니다. 방정식을 구간 전체에서 적분하면 다음이 필요합니다.

$$q_1-q_0=-fL,\qquad q_1-q_0+fL=0.$$

이것은 해의 존재 조건입니다. 실패하면 b를 바꾸어도 고칠 수 없습니다. 상수는 미분에 나타나지 않기 때문입니다. 평균 조건도 수직 위치만 바꾸므로 미분 차이의 모순을 고치지 못합니다.

두 번째 안내는 f=2,q₀=q₁=0입니다. 요청한 미분 차이는 0인데 법칙은 −2를 요구하므로 이 데이터의 C² 정적 해는 없습니다. 주황 후보는 내부 법칙과 왼쪽 미분을 만족하지만 오른쪽 미분이 요구한 0 대신 −2입니다. 적분 양립 잔차는 2로 표시됩니다.

정적 해가 없다는 말은 관련 시간 의존 열 문제에도 해가 없다는 뜻이 아닙니다. 단열 끝에서 계속 원천이 공급되면 정상 상태로 멈추는 대신 온도가 계속 변하는 과도 해가 가능할 수 있습니다. 정적 존재와 과도 존재는 다른 질문입니다.

양립하면 상수족 전체를 남기기

적분 조건이 맞으면 두 미분은 a를 정하지만 b는 자유롭습니다.

$$u(x)=-\frac{f}{2}x^2+q_0x+C,\qquad C\in\mathbb R.$$

모든 실수 C가 같은 미분 데이터를 만듭니다. 화면의 상수 슬라이더는 이 가족의 한 멤버만 고릅니다. 슬라이더의 유한 범위가 수학적 상수족의 전체 범위는 아닙니다. 그래서 전체 해는 C∈R이라는 식으로 따로 남깁니다.

이는 미분이 상수를 없애는 영공간의 예입니다. 어떤 최적화 알고리즘이 우연히 C=0을 선택하더라도 그것은 선택 규칙이지 미분 관측이 주는 유일성이 아닙니다. 일반 연결 영역의 Neumann 문제에서도 상수와 양립성을 주의해야 하지만, 여기의 완전한 증명 범위는 1차원 일정 원천 문제입니다.

평균으로 대표 해를 고르기

평균은 적분을 길이로 나누어 정의합니다.

$$\mu=\frac{1}{L}\int_0^L u(x)dx =-\frac{fL^2}{6}+\frac{aL}{2}+b.$$

양립하는 미분 데이터에서 평균까지 지정하면 다음과 같습니다.

$$b=\mu+\frac{fL^2}{6}-\frac{q_0L}{2}.$$

세 번째 안내는 f=2,q₀=1,q₁=−1,μ=2입니다. 양립식은 0이고 b=2+1/3−1/2=11/6K입니다. 선택한 해는 −x²+x+11/6입니다. 평균 제약을 끄면 미분 조건은 그대로이고 임의 상수족이 다시 남습니다.

실습은 원래 미분 문제의 상수 자유도와 평균을 추가한 문제의 유일성을 별도로 표시합니다. 지원 입력의 계수는 분모 6인 정수, 평균은 분모 12인 정수로 나타내며 양립은 정수로 검사합니다. 곡선과 소수는 부동소수점 표시이고, 겉으로 값이 비슷하다는 사실이 존재나 유일성 판정의 근거는 아닙니다.

좌표 미분·바깥 법선·열유속 구분

입력 q₀,q₁은 양쪽 모두 +x 방향입니다. 바깥 법선은 왼쪽에서 −x,오른쪽에서 +x이므로 바깥 미분은 각각 −q₀,q₁입니다. 바깥 법선 미분의 합으로 쓰면 합이 −fL이어야 합니다.

전도 열유속은 온도 기울기에 전도율과 구성 법칙의 음수를 더 포함합니다. 따라서 기울기, 바깥 법선 미분, 바깥 열유속의 부호와 단위를 구분해야 합니다. 두 번째 그림은 좌표 기울기와 초록 미분 목표점을 보여 주며 이를 곧바로 W나 바깥 열유속으로 부르지 않습니다.

학습·역문제의 정보 한계와 연결

미분 관측만 학습한 모델은 온도의 절대 기준을 그 데이터만으로 알아낼 수 없습니다. 수직으로 이동한 여러 함수가 같은 기울기를 만들기 때문입니다. 평균이나 점의 값 같은 기준은 자유도를 없앨 수 있지만 추가 정보 또는 명시한 관례입니다.

또한 여러 해가 있는 문제와 데이터가 모순인 문제를 구분해야 합니다. 양립하지만 기준이 없으면 여러 해가 있고, 양립하지 않으면 이 정적 해 공간에는 해가 없습니다. 두 경우 모두 최적화는 타협 곡선을 만들 수 있습니다. 작은 손실을 존재·유일성 정리로 해석하지 말고 실제 데이터와 적분 수지를 확인해야 합니다.

연습 문제와 해설

1. 문제: −u″=2,양 끝 값 0을 풀어 보세요. 해설: −x²+ax+b에서 왼쪽으로 b=0,오른쪽으로 a=1을 얻습니다.
2. 문제: 오른쪽 조건을 u′(1)=0으로 바꾸면? 해설: a=2,b=0이므로 −x²+2x입니다. 경계 문제 자체가 달라졌습니다.
3. 문제: f=2,q₀=q₁=0을 C=100으로 고칠 수 있나요? 해설: 상수 미분은 0이라 미분 차이의 실패를 고칠 수 없습니다.
4. 문제: f=2,q₀=1에서 양립하는 q₁은? 해설: L=1이면 q₁=q₀−f=−1입니다.
5. 문제: 그 해의 평균을 2로 고정하면? 해설: b=2+2/6−1/2=11/6입니다.
6. 문제: 평균으로 고른 해가 원래 미분 전용 문제의 유일성을 증명하나요? 해설: 아닙니다. 추가 평균을 포함한 문제가 유일하며 원래는 임의 상수족이 남습니다.

출처와 다음 학습

MIT Poisson 방정식 강의는 경계 조건과 Neumann 해의 상수 자유도를 다룹니다. 강의의 Poisson 부호 관례와 여기의 −u″=f를 구분해야 합니다. 구간 공식·양립 판정·평균 대표는 이 단원에서 직접 적분해 유도했습니다.