Tag Archives: 수학

데코수학/ 부분벡터공간

개념

  • (V, +', \cdot ') : V.S over \mathbb{F} 일때, (W, +', \cdot ') : sub V.S of (V, +', \cdot ') (V.S = Vector Space)
    • \Leftrightarrow
      • W \subseteq V
      • +', \cdot ' W 위에서 그대로 잘 정의되어,  (W, +', \cdot ') : V.S over \mathbb{F}
  • Sub V.S 예시
    • \mathbb{Q}^{n} (over \mathbb{Q} ) : sub V.S of \mathbb{R}^{n} (over \mathbb{Q} )
    • V : sub V.S of V
    • \{ \vec{0}_{V} \} : sub V.S of V
    •  
  • W : sub V.S of V
    • \Leftrightarrow
      • \vec{0}_{V} \in W
      • a, b \in W \Rightarrow a + b \in W
      • \alpha \in \mathbb{F}, a \in W \Rightarrow \alpha \cdot a \in W
  • Sub V.S 특징
    • W : sub V.S of V , U : sub V.S of W \Rightarrow U : sub V.S of V
    • W_{\alpha} : sub V.S of V  \Rightarrow \cap W_{\alpha} : sub V.S of V
    • W_{1}, W_{2} : sub V.S of V 
      • \Rightarrow
        • W_{1} \cup W_{2} : sub V.S of V  \Leftrightarrow W_{1} \subseteq W_{2} \lor W_{2} \subseteq W_{1}
    • W_{1}, W_{2} : sub V.S of V 
      • \Rightarrow
        • W_{1} + W_{2} : sub V.S of V
        • W_{1}, W_{2} : sub V.S of W_{1} + W_{2}
        • U : sub V.S of V, W_{1} \subseteq U, W_{2} \subseteq U \Rightarrow W_{1} + W_{2} \subseteq U
    • W : sub V.S of V
      • \Leftrightarrow
        • W \neq \emptyset (c \in \mathbb{F}, a, b \in W \Rightarrow c \cdot a \in W, a + b \in W)
        • 0_{v} \in W (\alpha \in \mathbb{F}, a, b \in W \Rightarrow \alpha \cdot a + b \in W)
  • (V_{1}, +_{1}, \cdot_{1}), (V_{2}, +_{2}, \cdot_{2}) : V.S over \mathbb{F} 일때, 곱집합 
  • 벡터 공간의 External Direct Sum
    • V_{1} \times V_{2} = \{ (a, b) | a \in V_{1}, b \in V_{2}  \} 에 다음 연산을 정의한다.
      • (a, b) +_{E} (c, d) = (a +_{1} c, b +_{2} d)
      • \alpha \cdot_{E} (a, b) = (\alpha \cdot_{1} a, \alpha \cdot_{2} b)
    • 그러면 (V_{1} \times V_{2}, +_{E}, \cdot_{E}) 는 V.S over \mathbb{F} 가 된다.
    • 이 벡터공간을 V_{1} \oplus_{E} V_{2} 이라 한다.
  • 벡터 공간의 Internal Direct Sum
    • (Z, +, \cdot) : V.S over \mathbb{F} , (X, +, \cdot), (Y, +, \cdot) : sub V.S of (Z, +, \cdot) 일 때
      • Z = X \oplus_{I} Y
        • \Leftrightarrow
          • \forall z \in Z, \exists x \in X, y \in Y, z = x + y
          • X \cap Y = {\vec{0}}
  • (Z = X \oplus_{I} Y) \approx X \oplus_{E} Y
    • External, Internal Direct Sum이 Isomorphic 하기 때문에 특별히 구분 하지 않고 X \oplus Y 라 쓴다.
  • 벡터 공간의 Direct Sum의 예
    • \mathbb{R} \oplus \mathbb{R} \approx \mathbb{R}^{2}
      • \{ (a, 0) | a \in  \mathbb{F} \} \oplus \{ (0, b) | b \in  \mathbb{F} \} \approx \mathbb{F}^{2}
    • \mathbb{F} \oplus (\mathbb{F} \oplus \mathbb{F}) \approx \mathbb{F}^{3}
    • \mathbb{F}^{2} \oplus \mathbb{F}^{3}  \approx \mathbb{F}^{5}
    • \mathbb{R} \oplus_{I} \mathbb{R}_{i} = \mathbb{C} \approx \mathbb{R} \oplus_{E} \mathbb{R} = \mathbb{R}^{2}
  • Direct Sum of Many V.S 에 대해서도 정의 가능. 유한한 경우와 무한한 경우 정의가 다른데 생략.

데코수학/ 벡터 공간

개념

  • (V, +, \cdot) : 스칼라 \mathbb{F} 에 대한 벡터 공간 (+ : V \times V \to V, \cdot : \mathbb{F}\times V \to V )
    • \Leftrightarrow
      • \forall u, v \in V, u + v = v + u
      • \forall u, v, w \in V, u + (v + w) = (u + v) + w
      • \exists \vec{0} \in V, \forall \in V, u + \vec{0} = \vec{0} + u
      • \forall u \in V, \exists (-u) \in V, u + (-u) = (-u) + u = \vec{0}
      • \forall u \in V, 1 \cdot u = u
      • \forall \alpha, \beta \in \mathbb{F}, \forall u \in V, \alpha \cdot (\beta \cdot u) = (\alpha \cdot \beta) \cdot u
      • \forall \alpha \in \mathbb{F}, \forall u, v \in V, \alpha \cdot (u + v) = \alpha \cdot u + \alpha \cdot v
      • \forall \alpha, \beta \in \mathbb{F}, \forall u \in V, (\alpha + \beta) \cdot u = \alpha \cdot u + \beta \cdot u
    • 용어
      • \mathbb{F} 의 원소는 스칼라
      • V 의 원소는 벡터
      • + 는 벡터합
      • \cdot 는 스칼라곱
      • (V, +, \cdot) \mathbb{F} 에 대한 벡터공간
  • 벡터공간의 예
    • (\mathbb{F}^{n}, +_{c}, \cdot_{c}) : \mathbb{F} 에 대한 벡터공간
      • 스칼라의 카테시안도 벡터공간이 된다. 위 8가지 조건을 만족함.
    • (M_{m \times n}(\mathbb{F}), +_{c}, \cdot_{c}) : \mathbb{F} 에 대한 벡터공간
      • 행렬도 벡터공간이 된다. 위 8가지 조건을 만족함.
    • (\mathbb{F}^{S}, +', \cdot ') : \mathbb{F} 에 대한 벡터공간
      • 함수들도 벡터공간이 된다. 위 8가지 조건을 만족함.
    • (\mathbb{F}^{\mathbb{N}}, +', \cdot ') : \mathbb{F} 에 대한 벡터공간
      • 수열공간도 벡터공간이 된다. 위 8가지 조건을 만족함.
    • 미지수 x 에 대하여, \mathbb{F}[x] = \{a_{0} + a_{1} x + a_{2} x^{2} + ... + a_{n} x^{n} | n \in \mathbb{N}, a_{i} \in \mathbb{F} \} \ , +' 는 다항식의 덧셈, \cdot ' 는 다항식에 스칼라곱이라 같이 정의하면
      • (\mathbb{F}[x], +', \cdot ') : \mathbb{F} 에 대한 벡터공간
    • V 를 “합동이면 같은 것으로 보는 유향 선분의 집합”, +' 는 “평행사변형식 덧셈”, 
    • \cdot ' 는 “길이만 스칼라배 늘리기”로 정의하면
      • (V, +', \cdot ') : \mathbb{R} 에 대한 벡터공간
  • 벡터공간이라면 다음이 성립한다.
    • \forall u, v, w \in V, u + w = v + w \Leftrightarrow u = v
    • \vec{0} 는 유일하다.
    • u 마다, (-u) 가 유일하다.
    • 0 u = \vec{0}
    • (- \alpha) u = \alpha (-u)
    • \alpha \vec{0} = \vec{0}
    • \alpha u = \vec{0} \Rightarrow \alpha = 0 \lor u = \vec{0}
    • \alpha x = \beta x (x \neq \vec{0}) \Rightarrow \alpha = \beta
    • \alpha x = \alpha y (\alpha \neq 0) \Rightarrow x = y
  • 벡터공간으로써 구조가 같다.
    • (V, +_{1}, \cdot_{1}), (W, +_{2}, \cdot_{2}) : Vector-space Isomorphic (over \mathbb{F} )
    • \Leftrightarrow
      • \exists \phi : V \to W : 전단사,
        • \phi (a +_{1} b) = \phi (a) +_{2} \phi (b)  
        • \phi(\alpha \cdot_{1} a) = \alpha \cdot_{2} \phi (a)  
    • 이때 \phi 를 VS isomorphism 이라 부른다.
      • \phi : V \approx W
    • \mathbb{F} \approx \mathbb{F}^{1} \approx M_{1 \times 1} (\mathbb{F})
    • \mathbb{F}^{n} \approx M_{n \times 1} (\mathbb{F}) \approx M_{1 \times n} (\mathbb{F})

데코수학/ 연립 1차 방정식 푸는법

개념

  • 연립 1차 방정식
    • 다음과 같은 방정식에 대하여
    • a_{11} x_{1} + a_{12} x_{2} + ... +  a_{1n} x_{n} = b_{1} \\ a_{21} x_{1} + a_{22} x_{2} + ... +  a_{2n} x_{n} = b_{2} \\ ... \\ a_{m1} x_{1} + a_{m2} x_{2} + ... +  a_{mn} x_{n} = b_{m}
    • X = \left( \begin{array}{rrrr} x_{1} \\ x_{2} \\ ... \\ x_{n}  \end{array} \right), B = \left( \begin{array}{rrrr} b_{1} \\ b_{2} \\ ... \\ b_{m}  \end{array} \right) 이라 두면
    • 방정식을 다음과 같은 형태로 쓸 수 있다.
    • \left( \begin{array}{rrrr} a_{11} & a_{12} & ... & a_{1n} \\ a_{21} & a_{22} & ... & a_{2n} \\ ... \\ a_{m1} & a_{m2} & ... & a_{mn} \end{array} \right) \left( \begin{array}{rrrr} x_{1} \\ x_{2} \\ ... \\ x_{n}  \end{array} \right) = \left( \begin{array}{rrrr} b_{1} \\ b_{2} \\ ... \\ b_{m}  \end{array} \right)
    • 즉, 방정식을 AX = B 형태로 쓸 수 있다.
    • 이때 B = 0 이면 homogeneous라 하고, B \neq 0 이면 non-homogeneous라 한다.
  • 연립 방정식과 행렬
    • 연립 방정식에 다음 행위를 유한번 해도 해는 바뀌지 않는다.
      1. 두 식의 순서 바꾸기
      2. i번째 식에 0이 아닌 스칼라 곱하기
      3. i번째 식에 j번째 식 더하기
    • 위 과정으로 방정식을 간단한 형태로 바꾸면 된다.
    • 위 방법을 AX = B 에 대한 행렬의 언어로 쓰면 다음과 같다.
    • 행렬 (A|B) 에 다음 행위를 유한번 해도 X 는 바뀌지 않는다.
      1. 두 행의 순서 바꾸기
      2. i번째 행에 0이 아닌 스칼라 곱하기
      3. i번째 행에 j번째 행 더하기
    • 위 과정으로 (A|B) 를 ‘간단한 형태’로 만들면 된다.
    • (A|B) A B 를 이어붙여 만든 행렬을 말한다. (argumented matrix)
    • 위 1, 2, 3의 과정을 기본행 연산이라 부르고, A가 기본행연산으로 B가 된다면 A \sim_{R}B 라 쓰고 행동치라 부른다.
    • ‘간단한 형태’란 RRE form을 말한다.
  • A : Row Echelon form
    1. 모든 성분이 0인 행은 아래에 위치한다.
    2. 0이 아닌 성분이 있는 행에 대하여 가장 앞에 있는 것을 pivot 이라 부를 때, pivot이 더 앞에 있는 행일 수록 더 위에 위치한다.
  • A : Reduced Row Echelon form
    1. A: Row Echelon form
    2. pivot 들이 전부 1이고, pivot이 있는 열은 piovt 외엔 전부 0이다.
  • 모든 행렬은 유한번의 기본행연산으로 RRE form으로 만들 수 있고 유일하다.
    • 그렇게 변환시킨 RRE form으로 연립방정식을 쉽게 풀 수 있다.
  • 연립일차방정식 AX = 0 의 해 X_{1}, X_{2} 에 대하여 cX, X_{1} + X_{2} 도 해가 될 수 있다.
    • 이를 선형성이라 한다.
  • 연립일차방정식 AX = 0 에서 A m \times n (n > m) 행렬이면, 자명하지 않은 해를 가진다.
  • 기본행연산을 행렬곱으로 정의
    • A의 i번째 행과 j번째 행을 바꾸기
      • \Leftrightarrow I_{[i] \leftrightarrow [j]} \cdot A
    • A의 i번째 행에 0이 아닌 스칼라 C 곱하기
      • \Leftrightarrow I_{c [i]} \cdot A
    • A의 i번째 행에 j번째 행 더하기
      • \Leftrightarrow I_{[i] \leftarrow + [j]} \cdot A
    • 단위행렬에 적절한 변환을 준 후 행렬에 곱하면 기본행 연산이 된다. 위와 같이 변환된 단위행렬을 기본행렬이라 한다.
  • 기본행렬은 가역이고, 역행렬들도 기본행렬이다.
  • 가역인 RRE from은 I 뿐이다.
  • A : 가역
    • \Leftrightarrow A \sim_{R} I
    • \Leftrightarrow A = E_{1} E_{2} ... E_{k} (\exists E_{i} : 기본행렬)
    • \Leftrightarrow AX = 0 의 자명해는 X = 0 뿐이다.
    • \Leftrightarrow AX = B 는 유일해를 가진다.

데코수학/ 행렬 – 2

 

개념

  • 전치행렬
    • A = (a_{ij}) 일 때,
      • A^{T} = (a_{ji})
  • 대각합
    • A = (a_{ij}) \in m_{n, n} 일 때,
      • tr(A) = \sum_{x=1}^{n} a_{xx}
  • 가역행렬
    • 가역행렬이란 역행렬을 가지는 행렬
    • A : 가역 
      • \Leftrightarrow \exists B, BA = AB = I
      • 이때 B를 A의 역행렬이라 부른다.
  • 역행렬
    • A 의 역행렬은 A^{-1} 로 표기
    • A 의 역행렬은 유일하다.
    • A = \left( \begin{array}{rr} a & b \\ c & d  \end{array} \right) 일 때,
      • A^{-1} = {1 \over ad - bc} \left( \begin{array}{rr} d & -b \\ -c & a  \end{array} \right)
  • 가역행렬과 역행렬은 정사각행렬에서만 정의 가능.
  • AB = 0 이어도 BA = 0 이 안 될 수 있다.
    • A = \left( \begin{array}{rr} 1 & 0 \\ 0 & 0  \end{array} \right), B = \left( \begin{array}{rr} 0 & 0 \\ 1 & 0  \end{array} \right) 일 때 성립 안 함.
  • O(n) = \{ A \in M_{n, n}(\mathbb{R}) | A^{-1} = A^{T} \} 일 때, (역행렬과 전치행렬이 같은 행렬들의 집합. 직교행렬이라고도 한다)
    • I_{n} = O(n)
    • A, B \in O(n) \Rightarrow AB \in O(n)
    • A \in O(n) \Rightarrow A^{-1} \in O(n)
    • A \in O(n) \Rightarrow A^{T} \in O(n)

행렬식

  • (A^{T})^{T} = A
  • (A + B)^{T} = A^{T} + B^{T}
  • (cA)^{T} = cA^{T}
  • (AB)^{T} = B^{T}A^{T}
  • tr(A+B) = tr(A) + tr(B)
  • tr(cA) = c \cdot tr(A)
  • tr(A^{T}) = tr(A)
  • tr(AB) = tr(BA)
  • I^{-1} = I
  • (cA)^{-1} = {1 \over c} A^{-1}
  • (AB)^{-1} = B^{-1}A^{-1}
  • (A^{-1})^{-1} = A
  • (A^{T})^{-1} = (A^{-1})^{T}
  • (A^{-1})^{n} = (A^{n})^{-1}
  • (A^{n})^{T} = (A^{T})^{n}
    • 위 3가지 경우에 의해 n(거듭제곱), -1(역행렬), T(전치행렬)은 순서를 바꿔도 무방하다.

데코수학/ 행렬 – 1

개념

  • 행렬의 정의
    • 행렬이란 벡터공간 위에 있는 선형 함수
    • 행렬이란 숫자들의 2차원 배열
    • i = 1, 2, ... , m, j = 1, 2, ... , n, a_{ij} \in \mathbb{F} 일 때
      • A = \left( \begin{array}{rrrr} a_{11} & a_{12} & ... & a_{1n} \\ a_{21} & a_{22} & ... & a_{2n} \\ ... \\ a_{m1}  & a_{m2} & ... & a_{mn} \end{array} \right) \mathbb{F} 위의 m \times n 행렬이라 한다.
  • 행렬 표기법
    • A = a_{ij}
    • M_{m, n}(\mathbb{F}) : \mathbb{F} 위의 모든 m \times n 행렬의 집합
    • [A]_{i} : A의 i번째 행 (1 \times n 벡터)
    • [A]^{j} : A의 j번째 열 (m \times 1 벡터)
  • A = (a_{ij}), B = (b_{ij}) \in M_{m, n}(\mathbb{F}) 일 때
    • A = B \Leftrightarrow \forall_{i,j}, a_{ij} = b_{ij}
    • A + B := (a_{ij} + b_{ij})
    • c A := (c \cdot a_{ij})
  • A = (a_{ij}) \in M_{m, n}, B = (b_{ij}) \in M_{n, l} 일 때
    • AB := (\sum_{x=1}^{n} a_{ix} b_{xj}) \in M_{m, l}
      • ab_{ij} = [A]_{i} \cdot [B]^{j}
  • 0_{m, n} = (0)
  • I_{n} = (\delta_{ij})
    • \delta_{ij} \Rightarrow 1 (i = j), 0 (i \neq j) 
  • A = \left( \begin{array}{rr} a & b \\ c & d \end{array} \right)
    • \Rightarrow A^{2} - (a + d) A + (ad -bc) I = 0

행렬식

  • A, B 행렬, r, s \in \mathbb{F}
    • A + B = B + A
    • A + (B + C) = (A + B) + C
    • A + 0 = A
    • A + (-A) = 0
    • (r + s)A = rA + sA
    • r(A + B) = rA + rB
    • r(sA) = (rs)A
    • (AB)C = A(BC)
    • AI = IA = A
    • (A + B)C = AC + BC
    • r(A)B = r(AB) = A(rB)
    • A^{n} := A \cdot A^{n-1}
    • A^{0} = I

데코수학/ 헬름홀츠 분해정리

개념

  • \vec{F} : \mathbb{R}^{3} \to \mathbb{R}^{3} : 커얼로 써지는 벡터장
    • \Leftrightarrow \exists \vec{A} : \mathbb{R}^{3} \to \mathbb{R}^{3}, \vec{F} = \nabla \times \vec{A}
    • 이때 \vec{A} 를 벡터포텐셜이라 부른다.
  • \vec{F} : 커얼로 써지는 벡터장 \Rightarrow \vec{F} : 발산하지 않음
    • \vec{F} = \nabla \times \vec{A} \Rightarrow \nabla \cdot \vec{F} = \nabla \cdot (\nabla \times \vec{A}) = 0
  • 헬름홀츠 분해정리 (벡터미적분학의 기본 정리)
    • \vec{F} : \Omega (\subseteq \mathbb{R}^{3}, 유계 ) \to \mathbb{R}^{3} : C^{2} \Rightarrow \vec{F} = \vec{G} + \vec{H}
      • \vec{G} : 보존적 벡터장
      • \vec{H} : 커얼로 써지는 벡터장
  • 헬름홀츠 분해정리 (정의역이 \mathbb{R}^{3}, 전체인 버전)
    • \vec{F} : \mathbb{R}^{3} \to \mathbb{R}^{3} : C^{2}, \lim_{\|\vec{x}\| \to \infty} \||\vec{x}\|^{2} \|\vec{F}(\vec{x})\| = 0
      • \Rightarrow \vec{F} = \vec{G} + \vec{H}
  • 헬름홀츠 분해정리의 따름 정리
    • \vec{F} : \mathbb{R}^{3} \to \mathbb{R}^{3} : C^{2}, \lim_{\|\vec{x}\| \to \infty} \||\vec{x}\|^{2} \|\vec{F}(\vec{x})\| = 0 인 경우
      • \nabla \times \vec{F} = \vec{0} \Leftrightarrow \vec{F} = - \nabla \Phi
      • \nabla \cdot \vec{F} = 0 \Leftrightarrow \vec{F} = \nabla \times \vec{A}

데코수학/ 급수전개법

개념

  • f(x) : p에서 해석적 (Analytic, C^{\omega} )
    • \Leftrightarrow (x = p 근처에서) f(x) = \sum_{k=0}^{\infty} a_{k} (x-p){k}
  • f(x) : 해석적
    • \Leftrightarrow 정의역에 있는 임의의 x = p에 대하여, p에서 해석적이다.
  • 해석함수의 특징, 종류
    • f(x) : C^{\omega} \Rightarrow f(x) : C^{\infty}
    • sin x, cos x, e^{x}, 3x^{2} + 2x + 7 : C^{\omega}
    • 초등함수는 C^{\omega}
    • erf(x) = {2 \over \sqrt{\pi}} \int_{0}^{x} e^{-t^{2}} dt : C^{\omega}
  • e^{xi} = i sin x + cos x
    • 위 식의 x 자리에 \pi 를 넣으면 e^{\pi i} = i sin \pi + cos \pi = 0 - 1 = -1 이 된다. (오일러의 공식)
  • 급수전개법
    • 테일러 급수전개 – 무한차 다항식
    • 로랑 급수전개 – 해석적인 항 + 해석적이지 않은 항
    • 푸리에 급수전개 – 주기함수
    • 다중극전개 – 물리학에서 사용

데코수학/ 원통좌표계 , 구면좌표계

개념

  • 원통좌표계 (R, \theta, z )
    • R : xy 평면상에서 원점부터의 거리
    • \theta : x축에서 y축으로 돌아간 각도 (0 \leq \theta < 2 \pi )
    • z : 높이
  • 직교 좌표계의 단위 벡터 \hat{x}, \hat{y}, \hat{z} 를 원통좌표계의 단위벡터 \hat{R}, \hat{\theta}, \hat{z} 로 고치기
    • \hat{R} = \cos \theta \hat{x} + \sin \theta \hat{y}
    • \hat{\theta} = - \sin \theta \hat{x} + \cos \theta \hat{y}
    • \hat{z} = \hat{z}
    • \hat{x} = \cos \theta \hat{R} - \sin \theta \hat{\theta}
    • \hat{y} = \sin \theta \hat{R} + \cos \theta \hat{\theta}
    • \hat{z} = \hat{z}
  • 미소량 dx, dy, dz, dx \wedge dy, dy \wedge dz... 등을 dR, d\theta, dz 로 고치기
    • dx = \cos \theta dR - R \sin \theta d\theta
    • dy = \sin \theta dR + R \cos \theta d\theta
    • dz = dz
    • dx \wedge dy = R dR \wedge d\theta
    • dx \wedge dy \wedge dz = R dR \wedge d\theta \wedge dz
    • d \vec{l} = dR \hat{R} + R d\theta \hat{\theta} + dz \hat{z}
  • 직교좌표계의 편미분 {\partial f \over \partial x},  {\partial f \over \partial z} {\partial \over \partial R}, {\partial \over \partial \theta} 로 고치기
    • {\partial f \over \partial x} = \cos \theta {\partial f \over \partial R} - {\sin \theta \over R} {\partial f \over \partial \theta}
    • {\partial f \over \partial y} = \sin \theta {\partial f \over \partial R} + {\cos \theta \over R} {\partial f \over \partial \theta}
    • {\partial f \over \partial z} = {\partial f \over \partial z}
  • \nabla f, \nabla \cdot \vec{F}, \nabla \times \vec{F}, \nabla^{2} f 를 원통좌표계 표현법으로 고치기
    • \nabla f = {\partial f \over \partial R} \hat{R} + {1 \over R} {\partial f \over \partial \theta} \hat{\theta} + {\partial f \over \partial z} \hat{z}
    • \nabla \cdot \vec{F} = div(F_{R}\hat{R} + F_{\theta}\hat{\theta} + F_{z}\hat{z})
      • = {1 \over R} {\partial \over \partial R} (R F_{R}) + {1 \over R} {\partial F_{\theta} \over \partial \theta} + {\partial F_{z} \over \partial z}
    • \nabla \times \vec{F} = curl(F_{R}\hat{R} + F_{\theta}\hat{\theta} + F_{z}\hat{z})
      • = ({1 \over R} {\partial F_{z} \over \partial \theta} - {\partial F_{\theta} \over \partial z}) \hat{R} + ({\partial F_{R} \over \partial z} - {\partial F_{R} \over \partial R}) \hat{\theta} + {1 \over R} ({\partial \over \partial R} (R F_{\theta}) - {\partial F_{R} \over \partial \theta}) \hat{z}
    • \nabla^{2} f = div(\nabla f)
      • = {1 \over R} {\partial \over \partial R} (R {\partial f \over \partial R}) + {1 \over R^{2}} {\partial^{2} f \over \partial \theta^{2}} + {\partial^{2} f \over \partial z^{2}})
  • 구면좌표계 (r, \theta, \phi )
    • r : 원점부터의 거리
    • \theta : xy 평면상에서 x축에서 y축으로 돌아간 각도 (0 \leq \theta < 2 \pi )
    • \phi : z축과 r사이의 각도 (z축에서 xy평면으로 내려오는 각도 (0 \leq \phi < \pi )
  • 좌표 변환
    • x = r \sin \phi \cos \theta
    • y = r \sin \phi \sin \theta
    • z = r \cos \phi
    • r = \sqrt{x^{2} + y^{2} + z^{2}}
    • \theta = \arctan {y \over x}
    • \phi = \arctan {\sqrt{x^{2} + y^{2}} \over z}
  • 단위벡터 변환
    • \hat{r} = \sin \phi \cos \theta \hat{x} + \sin \phi \sin \theta \hat{y} + \cos \phi \hat{z}
    • \hat{\theta} = - \sin \theta \hat{x} + \cos \theta \hat{y}
    • \phi = \hat{\theta} \times \hat{r} = \cos \theta \cos \phi \hat{x} + \sin \theta \cos \phi \hat{y} + \sin \phi \hat{z}
    • \hat{x} = \cos \theta \sin \phi \hat{r} - \sin \theta \hat{\theta} + \cos \theta \cos \phi \hat{\phi}
    • \hat{y} =  \sin \theta \sin \phi \hat{r} + \cos \theta \hat{\theta} + \sin \theta \cos \phi \hat{\phi}
    • \hat{z} = \cos \phi \hat{r} - \sin \phi \hat{\phi}
  • 미소량 표현
    • dx, dy, dz \leftrightarrow dr, d\theta, d\phi
    • dx \wedge dy \wedge dz = r^{2} \sin \phi dr \wedge d\theta \wedge d\phi = dv
    • d\vec{l} = dr\hat{r} + r \sin \phi d\theta \hat{\theta} + r d\phi \hat{\phi}
    • {\partial f \over \partial x} = \cos \theta \sin \phi {\partial f \over \partial r} - {\sin \theta \over r \sin \phi} {\partial f \over \partial \theta} + {\cos \theta \cos \phi \over r} {\partial f \over \partial \phi}
    • {\partial f \over \partial y} = \sin \theta \sin \phi {\partial f \over \partial r} - {\cos \theta \over r \sin \phi} {\partial f \over \partial \theta} + {\sin \theta \cos \phi \over r} {\partial f \over \partial \phi}
    • {\partial f \over \partial z} = \cos \phi {\partial f \over \partial r} - {\sin \phi \over r} {\partial f \over \partial \phi}
  • \nabla f, \nabla \cdot \vec{F}, \nabla \times \vec{F}, \nabla^{2} f 를 구면좌표계 표현법으로 고치기
    • \nabla f = {\partial f \over \partial r} \hat{r} + {1 \over r \sin \phi} {\partial f \over \partial \theta} \hat{\theta} + {1 \over r} {\partial f \over \partial \phi} \hat{\phi}
    • \nabla \cdot \vec{F} = div(F_{r}\hat{r} + F_{\theta}\hat{\theta} + F_{\phi}\hat{\phi})
      • = {1 \over r^{2}} {\partial \over \partial r} (r^{2} F_{r}) + {1 \over r \sin \phi} {\partial F_{\theta} \over \partial \theta} + {1 \over r \sin \phi} {\partial \over \partial \phi} (\sin \phi F_{\phi})
    • \nabla \times \vec{F} = curl(F_{r}\hat{r} + F_{\theta}\hat{\theta} + F_{\phi}\hat{\phi})
      • = {1 \over r \sin \phi} ({\partial \over \partial \phi} (\sin \phi F_{\theta}) - {\partial F_{\theta} \over \partial \theta}) \hat{r} + {1 \over r} ({\partial \over \partial r} (r F_{\phi}) - {\partial F_{r} \over \partial \phi}) \hat{\theta} + {1 \over r} ({1 \over \sin \phi} {\partial F_{r} \over \partial \theta} - {\partial \over \partial r} (r F_{\theta})) \hat{\phi}
    • \nabla^{2} f = div(\nabla f)
      • = {1 \over r^{2}} {\partial \over \partial r} (r^{2} {\partial f \over \partial r}) + {1 \over r^{2} \sin^{2} \phi} {\partial^{2} f \over \partial \theta^{2}} + {1 \over r^{2} \sin \phi} {\partial \over \partial \phi}(\sin \phi {\partial f \over \partial \phi})
  • 좌표계와 무관한 div, curl의 정의
    • div \vec{F} = \lim_{v \to 0} {1 \over v} \int_{\partial v} \vec{F} \cdot d\vec{A}
    • curl \vec{F} = \lim_{v \to 0} {1 \over v} \int_{\partial v} \vec{F} \times d\vec{A}

데코수학/ 곡면적분

개념

  • 곡면을 나타내는 법
    • 매개곡면 \vec{\alpha} (t_{1}, t_{2}): \mathbb{R}^{2} \to \mathbb{R}^{n} 로 나타내는 법
      • 곡면 위에 각 점의 위치: \vec{\alpha} (t_{1}, t_{2})
      • (미분 가능한 곡면의 경우엔) 곡면 위의 각 점에서 단위법선벡터: \hat{({\partial \vec{\alpha} \over \partial t_{1}} \times {\partial vector-alpha \over \partial t_{2}})} (vector-alpha는 \vec{\alpha} 인데, Latex 에러로 표기가 안되서 대체 표기)
      • 곡면 위 각 점에서 넓이 조각: \|{\partial \vec{\alpha} \over \partial t_{1}} \times  {\partial \vec{\alpha} \over \partial t_{2}} \| dt_{1} \land dt_{2}
    • \mathbb{R}^{3} 에서 F(x, y, z) = 0 이나 z = f(x, y) 로 나타내는 법
      • 곡면 F(x, y, z) = 0 에 대하여 곡면상의 점 (x, y, z) 에서
        • 법선: \nabla F
        • 면적조각: d A