본문으로 건너뛰기
269 / DIFFERENTIAL EQUATIONS LAB
먼저 알아두면 좋아요 · 연결된 선수 단원의 미적분·선형대수·수치 해법 기초
단원 목록 (600) · PDE 유형·Principal Symbol·회전
이해하는 속도로 읽으세요.개념도이론실험확인 문제
BUILD YOUR INTUITION

먼저 그림으로 이해하기

한 번에 한 단계씩 살펴보세요.

이차 미분 행렬의 부호와 좌표 회전 불변성을 계산합니다.

Classification: elliptic. Codes: elliptic 0, hyperbolic 1, rank-one parabolic 2, zero principal part 3. Constant two-variable principal part A u_xx+2B u_xy+C u_yy. Classify its symmetric matrix Q=[[A,B],[B,C]], keeping the factor-two convention explicit. Blue evaluates n^T Q n; orange evaluates the rotated matrix on the same physical normal in rotated coordinates. Zero Q has no second-order principal part, not a rank-one parabolic operator. Heat-equation classification also involves its first time derivative and is a separate evolutionary setting.

-3.3933.3931.04-0.04
가로 물리 normal 각 · 파랑 원래 principal symbol · 주황 회전 좌표에서 같은 normal의 값
coefficientsAB in 2BC
original101
rotated101

principal class code = 0

고정 기준 예제의 그림과 수치입니다. 각 단계에서 같은 그림의 의미를 차례로 살펴보세요. 고정된 기준 예제이며 아래 실험의 설정과 독립적입니다.
1 / 4

관례

혼합항을 2B로 썼는지 먼저 확인합니다.

Q=[[A,B],[B,C]]

실험에서 확인하기 →
이 단원 목차

유형을 부르기 전에 Principal Part를 읽는다

두 독립 변수의 상수계수 이차 PDE를 A u_xx+2B u_xy+C u_yy로 씁니다. 낮은 차수 항은 해에 영향을 주지만 principal quadratic form은 바꾸지 않습니다. 혼합항의 2가 중요합니다. 식에 b u_xy라고 적혀 있으면 행렬의 비대각 원소는 b/2입니다.

이 단원은 두 변수의 이차 principal part를 분류합니다. Heat equation의 parabolic이라는 말은 일차 시간·이차 공간 미분이 함께 있는 진화형 분류입니다. 공간 Laplacian만 분류하는 것과 같은 질문은 아닙니다. 독립 변수와 미분 차수를 명시하세요.

Symbol은 방향에 따른 이차형식이다

단위 normal n=(cos(phi),sin(phi))에 대해 다음을 정의합니다.

Q=(ABBC),p(n)=nTQn,D=B2−AC.Q=\begin{pmatrix}A&B\\B&C\end{pmatrix},\qquad p(n)=n^TQn, \qquad D=B^2-AC.

D<0이면 Q가 정부호 또는 음의 정부호여서 elliptic입니다. D>0이면 부정부호인 hyperbolic입니다. D=0이면서 Q가 0이 아니면 rank-one parabolic principal part입니다. 계수가 모두 0이면 이차 principal part 자체가 없으며 rank-one으로 부르면 안 됩니다.

파랑은 normal 각도별 p(n)입니다. Elliptic은 모든 방향에서 같은 비영 부호, hyperbolic은 방향에 따라 부호가 바뀌고 characteristic normal에서 0입니다. Rank-one은 빠진 방향에서 0에 닿습니다. 퇴화 근처에서는 class code만 보지 말고 계수의 정확도와 반올림도 확인해야 합니다.

행렬과 Normal을 함께 회전한다

회전 행렬 R로 좌표를 바꾸면 다음과 같습니다.

Q′=RTQR,n′=RTn,(n′)TQ′n′=nTQn.Q'=R^TQR,\qquad n'=R^Tn,\qquad (n')^TQ'n'=n^TQn.

주황은 같은 물리 normal을 회전 좌표의 각 phi-theta로 바꾸어 계산한 값입니다. Q만 돌리고 normal 성분을 그대로 두면 다른 물리 방향을 비교하게 됩니다. Trace·determinant는 회전 불변이지만 부동소수점 재계산에는 작은 차이가 남을 수 있습니다.

세 가지 형태를 손으로 비교하기

u_xx+u_yy에서는 Q=I라 모든 방향 값이 1입니다. u_xx-u_yy는 cos(2phi)여서 대각 normal에서 0이 됩니다. u_xx만 있으면 cos²(phi)인 비음수 rank-one입니다. 이 방향들은 입자의 시간 궤적이 아니라 미분의 방향입니다.

직접 풀기: 혼합항 관례

u_xx+u_xy+u_yy에서는 B=1/2, D=-3/4이므로 elliptic입니다. Phi=pi/4에서 값은 1.5입니다. 잘못 B=1을 입력하면 rank-one으로 다른 식을 만든 셈입니다. 올바른 계수를 pi/2만큼 돌려 같은 물리 normal의 값이 유지되는지 검산하세요. 식 전체에 -1을 곱해도 elliptic 유형이 바뀌지 않는 이유도 설명하세요.

더 읽기: MIT PDE 입문.

CHECK YOUR UNDERSTANDING

설명할 수 있나요?

실험 설정과 무관한 기준 예제를 묻습니다. 답을 고르고 설명을 확인해보세요.

1. 혼합항이 B u_xy인 식에도 같은 행렬을 그대로 쓰나요?
2. Q=0도 rank-one parabolic인가요?

선택한 답과 학습 표시는 이 브라우저에 저장됩니다. 다시 풀거나 표시를 해제할 수 있습니다.