편미분방정식,partial_differential_equation,PDE

둘 이상의 독립변수에 대한 unknown function의 편미분을 동반한 미분방정식.

두 개 또는 그 이상의 독립변수,independent_variable에 관하여 하나 또는 그 이상의 종속변수,dependent_variable의 편도함수(편미분,partial_derivative)를 포함하는 방정식.

Sub:


1. tmp from Vector Calculus 6e (p185)

Historical Note: 몇 개의 PDE

1.1. The heat equation

$\mathcal{B}\subset\mathbb{R}^3$ : a homogeneous body, represented by some region in 3-space
$T(x,y,z,t)$ : 온도,temperature of the body at the point (x,y,z) at time t
$k$ : conductivity (컨덕티버티,conductivity?? 온도의 것과 전기의 것이 다른데 저기 섹션을 추가하거나 별도의 페이지를 만들어야..)
일 때
$k\left(\frac{\partial^2T}{\partial x^2}+\frac{\partial^2 T}{\partial y^2}+\frac{\partial^2 T}{\partial z^2}\right)=\frac{\partial T}{\partial t}$
(Joseph Fourier)


1.2. The potential equation AKA Laplace's equation

$V$ : gravitational potential of a mass $m$ at a point $(x,y,z)$ caused by a point mass $M$ situated at the origin
$V=-GmM/r$
$r=\sqrt{x^2+y^2+z^2}$

일 때 퍼텐셜 V는 원점을 제외한 점에서 다음 식을 만족.


1.3. Poisson's equation

$(x,y,z)$ 가 attracting body 안에 있으면 V는 다음 식을 만족

$\frac{\partial^2 V}{\partial x^2}+\frac{\partial^2 V}{\partial y^2}+{\partial^2 V \over \partial z^2}=-4\pi\rho$

$\rho$ : mass 밀도,density of the attracting body

1.4. The wave equation

linear wave equation in space:
$\frac{\partial^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}+\frac{\partial^2 f}{\partial z^2}=c^2\frac{\partial^2 f}{\partial t^2}$
1-dimensional wave equation:
$\frac{\partial^2 f}{\partial x^2}=c^2\frac{\partial^2 f}{\partial t^2}$

2. TODO 합칠 내용

2.1. heat eq

열방정식,heat_equation
{
1D: 온도가 제각각인 막대(rod)를 생각
$\frac{\partial T}{\partial t}(x,t)=\alpha\frac{\partial^2T}{\partial x^2}(x,t)$
보면 좌변은 온도가 시간에 따라 어떻게 변하는지, 우변은 온도가 공간에 따라 어떻게 변하는지에 대한 것.
(우변은 공간에 대한 second partial derivative에 비례함을 서술함)

3D:
$\frac{\partial T}{\partial t}=\alpha\left(\frac{\partial^2T}{\partial x^2}+\frac{\partial^2T}{\partial y^2}+\frac{\partial^2T}{\partial z^2}\right)$
$=\alpha\nabla^2T$
여기서 T는 x,y,z,t를 파라미터로 하는 함수임. $T=T(x,y,z,t)$


1D에서 온도 변화에 대해 생각.
from https://youtu.be/ly4S0oi3Yz8?t=496 (3Blue1Brown의 DE 동영상 2: PDE관련)
어떤 점보다 그 주변(neighbor)의 평균 온도가 높다면 온도가 올라가고, 낮다면 온도가 내려갈 것이다.
문제를 간단하게 만들기 위해 (연속적이 아닌) 이산적인 1D 공간을 가정하고, 이웃하는 세 점을 생각하고, 주변은 양쪽 두 곳만 본다.
공간의 점 $x_1,x_2,x_3$ 가 연달아 있고, 그 점에서 온도가 각각 $T_1,T_2,T_3$ 이다.
주변 온도 평균은 $\frac{T_1+T_3}{2}$ 이다.
그래서 $\left(\frac{T_1+T_3}{2}-T_2\right)$ 가 양이면 뜨거워지고(heat up), 음이면 식을 것이다(cool down). 차이,difference가 클수록 빨리.
$\frac{dT_2}{dt}=\alpha\left(\frac{T_1+T_3}{2}-T_2\right)$
$=\frac{\alpha}{2}\left( (T_3-T_2)-(T_2-T_1) \right)$
이렇게 약간의 조작을 가하면 이것이 차의 차(difference of differences)임을 볼 수 있다. 이 식에서
$(\underbrace{T_3-T_2}_{\Delta T_2})-(\underbrace{T_2-T_1}_{\Delta T_1})$
$\underbrace{\Delta T_2-\Delta T_1}_{\Delta\Delta T_1}$
좀 특이하게 보이지만 이렇게 생각하면
$\frac{dT_2}{dt}=\frac{\alpha}{2}\Delta\Delta T_1$


from https://www.youtube.com/watch?v=ToIXSwZ1pJU (3Blue1Brown의 DE 동영상 3: Solving the heat equation)
나중에


}

2.2. Black-Sholes equations

$\frac{\partial V}{\partial t}+\frac12\sigma^2S^2\frac{\partial^2 V}{\partial S^2}+rS\frac{\partial V}{\partial S}-rV=0$


3. 수치적 근사적 해법

유한요소법,finite_element_method,FEM
{
WpKo:유한요소법
WpEn:Finite_element_method
}
유한차분법,finite_difference_method,FDM
{
미분방정식을 차분방정식으로 근사시켜 컴퓨터로 풀어냄.
공간에서 연속인 지배방정식을 컴퓨터로 풀기 위해서는, 공간을 차분화( 이산화,discretization WpKo:이산화 WpEn:Discretization )하는 과정이 필요하다.
WpEn:Finite_difference_method
PDE뿐만 아니라 ODE에도 쓰인다고 함... 이 내용 relocate... TODO
}