Suyeong Park - 지성을 추구하는 삶
/
[배우기]
/
데코수학/ 벡터미적분학
/
데코수학/ 벡터미적분학/ 헬름홀츠 분해정리
Search
Duplicate
데코수학/ 벡터미적분학/ 헬름홀츠 분해정리
(유튜브 동영상인데 현재는 삭제되어서 내용만 남김)
개념
•
F
⃗
:
R
3
→
R
3
\vec{F} : \mathbb{R}^{3} \to \mathbb{R}^{3}
F
:
R
3
→
R
3
: 커얼로 써지는 벡터장
◦
⇔
∃
A
⃗
:
R
3
→
R
3
,
F
⃗
=
∇
×
A
⃗
\Leftrightarrow \exists \vec{A} : \mathbb{R}^{3} \to \mathbb{R}^{3}, \vec{F} = \nabla \times \vec{A}
⇔
∃
A
:
R
3
→
R
3
,
F
=
∇
×
A
◦
이때
A
⃗
\vec{A}
A
를 벡터포텐셜이라 부른다.
•
F
⃗
\vec{F}
F
: 커얼로 써지는 벡터장
⇒
F
⃗
\Rightarrow \vec{F}
⇒
F
: 발산하지 않음
◦
F
⃗
=
∇
×
A
⃗
⇒
∇
⋅
F
⃗
=
∇
⋅
(
∇
×
A
⃗
)
=
0
\vec{F} = \nabla \times \vec{A} \Rightarrow \nabla \cdot \vec{F} = \nabla \cdot (\nabla \times \vec{A}) = 0
F
=
∇
×
A
⇒
∇
⋅
F
=
∇
⋅
(
∇
×
A
)
=
0
•
헬름홀츠 분해정리 (벡터미적분학의 기본 정리)
◦
F
⃗
:
Ω
(
⊆
R
3
,
유계
)
→
R
3
:
C
2
⇒
F
⃗
=
G
⃗
+
H
⃗
\vec{F} : \Omega (\subseteq \mathbb{R}^{3}, \text{유계} ) \to \mathbb{R}^{3} : C^{2} \Rightarrow \vec{F} = \vec{G} + \vec{H}
F
:
Ω
(
⊆
R
3
,
유계
)
→
R
3
:
C
2
⇒
F
=
G
+
H
▪
G
⃗
\vec{G}
G
: 보존적 벡터장
▪
H
⃗
\vec{H}
H
: 커얼로 써지는 벡터장
•
헬름홀츠 분해정리 (정의역이
R
3
\mathbb{R}^{3}
R
3
전체인 버전)
◦
F
⃗
:
R
3
→
R
3
:
C
2
,
lim
∥
x
⃗
∥
→
∞
∥
∣
x
⃗
∥
2
∥
F
⃗
(
x
⃗
)
∥
=
0
\vec{F} : \mathbb{R}^{3} \to \mathbb{R}^{3} : C^{2}, \lim_{\|\vec{x}\| \to \infty} \||\vec{x}\|^{2} \|\vec{F}(\vec{x})\| = 0
F
:
R
3
→
R
3
:
C
2
,
lim
∥
x
∥
→
∞
∥∣
x
∥
2
∥
F
(
x
)
∥
=
0
▪
⇒
F
⃗
=
G
⃗
+
H
⃗
\Rightarrow \vec{F} = \vec{G} + \vec{H}
⇒
F
=
G
+
H
•
헬름홀츠 분해정리의 따름 정리
◦
F
⃗
:
R
3
→
R
3
:
C
2
,
lim
∥
x
⃗
∥
→
∞
∥
∣
x
⃗
∥
2
∥
F
⃗
(
x
⃗
)
∥
=
0
\vec{F} : \mathbb{R}^{3} \to \mathbb{R}^{3} : C^{2}, \lim_{\|\vec{x}\| \to \infty} \||\vec{x}\|^{2} \|\vec{F}(\vec{x})\| = 0
F
:
R
3
→
R
3
:
C
2
,
lim
∥
x
∥
→
∞
∥∣
x
∥
2
∥
F
(
x
)
∥
=
0
인 경우
▪
∇
×
F
⃗
=
0
⃗
⇔
F
⃗
=
−
∇
Φ
\nabla \times \vec{F} = \vec{0} \Leftrightarrow \vec{F} = - \nabla \Phi
∇
×
F
=
0
⇔
F
=
−
∇Φ
▪
∇
⋅
F
⃗
=
0
⇔
F
⃗
=
∇
×
A
⃗
\nabla \cdot \vec{F} = 0 \Leftrightarrow \vec{F} = \nabla \times \vec{A}
∇
⋅
F
=
0
⇔
F
=
∇
×
A