Part 1 상미분방정식
Ch.1 미분방정식의 소개
1.1 정의와 용어
1st week_1
미분방정식의 정의
정의 1.1.1 미분방정식 (Differential Equation)
(한 개 또는 그 이상의 독립변수에 대해 미분한 도함수를 포함하는 방정식) 미분방정식(D.E.)
-2-
유형에 의한 분류
1. 상미분 방정식 (ODE; Ordinary differential equation)
dy
e x ( y '+6 y = e )
+ 6y =
x an ODE can contain more
dx than one dependent variable
↓ ↓
• •
d 2 y dy dx dy
+ 0 ( y ' '+ y '−12 y = 0)
− 12 y = + = 3x + 2 y ( x+ y = 3 x + 2 y)
dx 2
dx dt dt
(Leibniz notation) (prime notation) (Newton’s dot notation)
- 보통 독립변수가 시간 t
2. 편미분 방정식 (PDE; Partial differential equation)
∂ 2u ∂ 2u ∂ 2u ∂ 2u ∂u ∂u ∂v
+ =
0, = − and =
−
∂x 2 ∂y 2 ∂x 2 ∂t 2 ∂t ∂y ∂x
u xx + u yy = 0, u xx = utt − ut , u y = −v x (subscript notation)
-3-
계수에 의한 분류
Highest Order Highest Order
↓ ↓
∂ 4u ∂ 2u
3
d2y dy
+ 5 − 4 y =
e x
2 4 + 2 = 0
dx 2 dx ∂x ∂t
F ( x, y, y ′, , y ( n ) ) = 0 n계 상미분방정식의 일반형 (general form)
dny
n
= f ( x , y , y ′, , y ( n −1)
) n계 상미분방정식의 정규형 (normal form)
dx
dy d2y
Ex.) f=
( x, y ) and f ( x, y, y′) 1계 및 2계 상미분방정식의 정규형
dx dx 2
-4-
선형성에 의한 분류
F ( x, y, y′, , y ( n ) ) = 0 가 y, y′, , y ( n ) 에 대해 선형인 경우 선형미분방정식
dny d n −1 y dy
an ( x) n + an −1 ( x) n −1 + + a1 ( x) + a0 ( x) y =
g ( x) n-계 선형 상미분방정식
dx dx dx
• 종속변수 y와 그 도함수는 모두 1차식
• 각 계수는 독립변수만의 함수
d3y dy
Ex1.) = 0, y′′ − 2 y′ + =
( y − x) dx + 4 x dy y 0, + 3 x − 5 =
y e x
dx 3 dx
Nonlinear term; Nonlinear term; Nonlinear term;
coefficient depends on y
nonlinear function of y
power not 1
d2y d4y
Ex1.) (1 − y ) y′ + 2 y = e x, + sin y =
0, + y2 =
0
dx 2 dx 4
-5-
미분방정식의 해
I
정의 1.1.2 상미분방정식의 해 (Solution of an ODE)
함수 φ ( x)를 주어진 미분방정식에 대입하여 그 방정식을 만족시키는 경우 해
■ 정의구간: 함수와 함수의 도함수가 정의되는 구간
정의 구간 (Interval of definition)
존재 구간 (Interval of existence)
유효 구간 (Interval of validity)
해의 정의역 (Domain of the solution) 등의 이름으로 불림
개구간 (a, b), 폐구간 [a, b], 무한구간 (-∞, ∞) 등으로 표현 가능.
Ex.) dy / dx = xy1/ 2, y = x 4 /16
cf.) 자명해(trivial solution) y=0
-6-
해곡선(solution curve)
I
Ex.) xy′ + y =0 y = 1/ x
해의 구간 (Interval): x = 0 을 포함하지 않은 모든 구간
예: (−3, −1), (1/ 2,10), (−∞, 0), (0, ∞)
-7-
양함수해(explicit sol)와 음함수해(implicit sol)
I
해의 표현 형태에 따라,
• 양함수해 y = φ ( x)
• 음함수해 G ( x, y ) = 0
dy x
Ex.) = − 음함수해 x2 + y 2 =
25
dx y
양함수해 y =
+ 25 − x 2 y=
− 25 − x 2
cf.) 일반해 x2 + y 2 − c =0
-8-
일반해(general sol)와 특수해(particular sol)
I
Ex1.) xy′ − y =x 2 sin x =
y cx − x cos x
c = 0 인 경우의 해, 즉 parameter를 포함하지
않는 해 특수해 (Particular Solution)
Ex2.) x′′ + 16 x =
0 x = c1 cos 4t, x = c2 sin 4t
=
일반해: 선형조합 x c1 cos 4t + c2 sin 4t
Ex3.) xy′ − 4 y =
0 y = cx 4
구간별로 정의된 함수
− x 4 , x < 0
y= 4 도 특수해가 될 수 있음.
x , x ≥ 0
-9-
특이해(singular sol)
일반해의 매개변수를 변화시켜도 얻을 수 없는 해 특이해
Ex.) y′ = xy1/ 2 =
일반해 y ( x / 4 + c)
2 2
특수해 y = x /16 for c = 0
4
특이해 y = 0 ∵ c의 변화로는 얻어지지 않음.
- 10 -
연립 미분방정식(system of D.E.)
dx
= f (t , x, y )
dt
dy
= g (t , x, y )
dt
두 개 이상의 종속변수가 있는 두 개 이상의 미분방정식으로 구성
연립미분방정식의=
해: x φ=
1 (t ) y φ2 (t )
- 11 -
다음 시간에는 …
1.2 초기값 문제
1.3 수학적 모형으로서의 미분방정식
- 12 -