Ch. 1 1계 상미분방정식 ( First-Order ODEs)
z 상미분방정식
: 상미분방정식을 유도, 표준화된 방법으로 방정식을 풀고, 주어진 문제의 견지에서 그래 프와 해를 해석
z
내용 : 1계 상미분방정식의 해법
Ch. 1 1계 상미분방정식 1.1 기본 개념. 모델화
z 상미분방정식(Ordinary Differential Equation)
: 독립변수(Independent Variable)가 1개인 미분방정식
편미분방정식(Partial Differential Equation)
: 2개 이상의 독립변수와 이들의 편미분성분이 포함된 미분방정식(12장에서 다룸)
1.1 기본 개념. 모델화(Basic Concepts. Modeling)
z 미분방정식(Differential Equation)
: 미지함수의 도함수(Derivative)를 포함하는 방정식
미분방정식 (Differential Equation)
상미분방정식
(Ordinary Differential Equation)
편미분방정식
(Partial Differential Equation)
(
2)
22 ' '' ' 2 '' 2
, 0 9 '' , cos ' .
Ex y= x y + y= x y y+ exy = x + y
0
.
Ex 2
2 2
2 =
∂ +∂
∂
∂
y u x
u
z 계(Order) : 미분방정식에 포함된 도함수 중 제일 많이 미분된 숫자
( ) ( )
( ) ( ) 계 미분방정식
미분방정식 계
미분방정식 계
3 2 ''
2 ' '' ' 3
2 , 0 9 '' 2
1 , cos ' 1 Ex.
2 2
2
+ = + ⇒
⇒
= +
⇒
=
y x
y e y y x
y y
x y
x
z
1계 상미분방정식(First-order ODE)
(
Implicit Form)
: F(
x,y,y')
=0 형태음함수
(
Explicit Form)
: y'= f( )
x,y 형태• 양함수
•
( )
와 도함수,그리고변수( )
의함수들로만 구성됨( )
1장함수 미지의
: y x
Ch. 1 1계 상미분방정식 1.1 기본 개념. 모델화
z 해
(Solution) : 도함수가 존재하고 미분방정식을 만족시키는 함수해
(Solution)
•일반해(General Solution)
: 미분방정식을 만족하는 해가 임의의 적분상수 c를 포함
•특수해(Particular Solution)
: 적분상수 c가 특정조건에 의하여 특정한 값으로 결정된 경우
•특이해(Singular Solution) : 일반해로 표현불가능한 해
z 초기값 문제
(Initial Value Problems): 주어진 초기조건을 이용하여 일반해로부터 특수해를 구함
( )
, ,( )
0 0' f x y y x y
y = =
Ex.4 다음 방정식의 초기값 문제를 풀어라.
Step 1 일반해를 구함(Ex.3에 의하여) 일반해 :
Step 2 초기조건 적용 : 특수해 :
( )
0 5.7, 3
'= = y y = dx
y dy
( )
x ce xy = 3
( )
0 =ce0 =c=5.7 y( )
x e x y =5.7 3Ch. 1 1계 상미분방정식 1.1 기본 개념. 모델화
z 모델화
(Modeling)
모델화의 전형적인 단계
1단계 물리적 상황(물리적 시스템)에서 수학적 공식(수학적 모델)을 도출 2단계
수학적 방법에 의한 해
3단계
결과의 물리적 해석
Ex. 5 0.5 g(gram)으로 주어진 방사능 물질의 양이 시간이 경과한 후에 얼마나 남아 있겠는가?
물리적 정보. 실험에 의하면 방사능 물질은 매순간에 현재의 양에 비례하는 속도로 분해된다.
Step 1 물리적 과정의 수학적 모델(미분방정식) 설정
Step 2 수학적 해법
Step 3 결과의 해석
주어진 초기 양에서 출발하며 k(비례상수, 물질의 종류에 따라 다름)가 음수이기 때문에 시간에 따라 감소한다.
( )
0 0.5
=
=
⇒
∝
y
dt ky y dy
dt dy
: 초기조건
: 비례 양에 현재 분해속도는
( )
( ) ( )
( )
0 0.5 0.5, 5
. 0 :
5 . 0
5 . 0 0
0 0
=
=
=
=
=
⇒
=
=
=
=
e y
ky dt ke
dy
e t
y c
ce y
ce x y
t k
t k t
k
검토 결과의
: 적용 초기조건의
: 일반해
Ch. 1 1계 상미분방정식 1.2 y` = f ( x , y )의 기하학적 의미. 방향장
1.2 y` = f ( x , y )의 기하학적 의미. 방향장
(Geometric Meaning of y` = f ( x , y ). Direction Fields)
z
방향장(
Direction Fields)
( )
같은 양함수 형태로 표시되는 경우미분방정식이
: y'= f x,y
( )
( ) ( )
있음 수 사용할 판단하는데
형태를 해곡선의
적인
대략 미분방정식에서 않는
존재하지 해가
형태의 양함수
갖거나 해를
복잡한 매우
있음 수 알 모양을 선의
해곡 대략적인 그리면
선을 따라 방향을 선요소들의
표시 상에 그래프
들을 선요소
작은 가진 기울기를 값만큼의
그 구하고 를
좌표의 각
기울기 의
해곡선 좌표에서의
은
⇒
⇒
⇒
⇒
Element Lineal
, ,
0 0 0
0
y x f
y y
x f
1.3 변수분리형 상미분방정식. 모델화(Separable ODEs. Modeling)
z
변수분리형 방정식(Separable Equation)z
변수분리법(Method of Separating Variable)( ) ( ) ( ) ( )
⎟⎠
⎜ ⎞
⎝
⎛ =
=
⇒
= dx
y dy dx
x f dy y g x
f y y
g '
Q
'( ) ( ) ( ) ( )
⎟⎠
⎜ ⎞
⎝
⎛ =
+
=
⇒
= f x
∫
dy∫
f x dx c dxdydx dyy y
g ' g y
Q
변수분리를 할 경우 양변을 적분하여 쉽게 해를 구할 수 있음.
가능 조작 구성되도록 만으로
오른쪽은 ,
왼쪽은 미분방정식의
: y x
나옴 결과가 적분한
로 오른쪽은 ,
왼쪽은 식의
변수분리한 적분하면
로 양변을 미분방정식의
: x y x
Ch. 1 1계 상미분방정식 1.3 변수분리형 상미분방정식. 모델화
Ex. 1 미분방정식y'=1+y2을 풀어라.
(
x c)
y
c x y c
dx y dy
y dx dy y
dx dy y
y
+
=
⇒
+
=
⇒ +
+ =
⇒
+ =
⇒ + =
⇒ + =
∫ ∫
tan
arctan 1
1
1
1 1 /
1 1 '
2
2 2
2 (변수분리형)
(적분)
(정리)
z
모델화(Modeling, 모형화): 물리적인 시스템 등을 수학적인 모델(함수, 방정식, 미분방정식 등)로 표현하는 것
이 절에서는 변수분리형 미분방정식으로 표현되는 시스템을 모델화 해 본다.
Ch. 1 1계 상미분방정식 1.3 변수분리형 상미분방정식. 모델화
Ex. 3 탱크엔 1000갤론의 물이 담겨져 있고 그 안에 100파운드의 소금이 처음에 놓아 있다. 갤런당 5
파운드의 소금이 용해된 소금물이 분당 10갤런씩 탱크 안으로 흘러 들어오고 혼합용액은 잘 휘저어져 일정 하게 유지된다. 그리고 분당 10갤런의 소금물이 흘러나간다. 임의의 시간 t에서 탱크 안에 있는 전체 소금 의 양을 구하라.
Step 1 모델화
▶ 소금의 변화량 = 소금의 유입량 - 소금의 유출량
소금의 유입량 = 10 gal/min × 5 lb/gal = 50 lb/min
소금의 유출량 = 10 gal/min × y/1000 lb/gal = y/100 lb/min
: 소금의 양에 관한 미분방정식
▶ 초기조건 :
Step 2 미분방정식의 일반해를 구함
(변수분리형) (적분)
Step 3 초기조건을 적용하여 특수해를 구함
(특수해)
(
dy/dt =y')
(
y)
y = − y = −
⇒ 5000
100 1 50 100
'
( )
0 =100 yy dt dy
100 1 5000=−
− *
100 5000 1
ln
y− =− t+c
⇒ ⇒ y−5000=ce−100t
( )
0 5000 ce0 5000 c 100 c 4900 y 5000 4900e 100ty = + = + = ⇒ =− = − −
z 확장방법
(Reduction to Separable Form, 변수분리형 형태로 변환):
변수분리를 할 수 없는 미분방정식을 새로운 함수를 도입하여 변수분리가 가능한 형태로 변환함
▶ 와 같은 형태의 미분방정식
Ex.
이 상태로는 변수분리가 되지 않으므로 다음과 같이 새로운 함수 u를 도입한다.
(u
를 도입)
(변수분리형)
⎟⎠
⎜ ⎞
⎝
= ⎛ x f y y'
⎟⎠
⎜ ⎞
⎝
⎟ ⎛
⎠
⎜ ⎞
⎝
⎛
x y x
y , cos
3
( )
ux u x u yux x y
u= y ⇒ = ⇒ '= '= ' +
( ) ( ) ( )
xdx u u f u du
u f x u u
f u x x u
f y
y =
⇒ −
−
=
⇒
= +
⎟ ⇒
⎠
⎜ ⎞
⎝
= ⎛ ' ' '
∫
f( )
u1 −
udu= ∫ 1
xdx+
c (적분)Ch. 1 1계 상미분방정식 1.3 변수분리형 상미분방정식. 모델화
Ex. 6 2xyy'= y2 −x2을 풀어라.
⎟⎟⎠
⎜⎜ ⎞
⎝
⎛ −
=
⇒
−
= y
x x y y
x y
xyy 2
' 1 '
2 2 2
⎟⎠
⎜ ⎞
⎝⎛ −
= +
=
=
=
⇒ y u x u u u
x u y ux
y 1
2 ' 1
' , ,
xdx u du
u u x
u dx du u
u u u
x
u 1
1 2 1 1 2
2 1 1
2
' 1 2 2
2 =−
⇒ +
− + = + ⇒
−
⎟=
⎠
⎜ ⎞
⎝⎛ +
−
=
* 2
2 1 ln ln ,
ln
* ln 1 ln 1 *
1
2 c
e x c
c c c x
x u
c xdx u du
u =− + ⇒ + =− + = + = =
∫
+∫
cx y x x
c x
y x
u c ⎟ + = ⇒ + =
⎠
⎜ ⎞
⎝
⇒ ⎛
=
+ 2 2
2
2 1 1
4 2
2 2
2 c
c y
x ⎟ + =
⎠
⎜ ⎞
⎝⎛ −
(2xy로 나눔)
(변수분리형)
(적분)
(정리)
1.4 완전상미분방정식, 적분인자(Exact ODEs,Integrating Factors)
z
완전미분방정식(Exact Differential Equation
) : M( )
x,
y dx+
N( )
x,
y dy= 0
( ) ( ) ( )
( ) ( )
y y u x x N
y u x M
y dy dx u
x du u y
x u dy
y x N dx y x M
∂
= ∂
∂
= ∂
∂ + ∂
∂
= ∂ +
, , ,
, ,
,
즉,
경우 인 형태
미분의 대하여
에 함수
이
완전미분방정식이라면,
( ) , .
0
u x y c이되어해를 쉽게수할 수 있다du
= ⇒ =
Ch. 1 1계 상미분방정식 1.4 완전상미분방정식. 적분인자
z
완전미분방정식의 필요충분조건⎟⎟⎠
⎜⎜ ⎞
⎝
⎛
∂
= ∂
⎟⎟⎠
⎜⎜ ⎞
⎝
⎛
∂
∂
∂
= ∂
∂
∂
= ∂
⎟⎠
⎜ ⎞
⎝
⎛
∂
∂
∂
= ∂
∂
∂
∂
=∂
∂
∂
x N y
u x y x
u x
u y y M x
N y
M 2
Q
z
완전미분방정식의 해법Case 1) (x에 대하여 적분)
를 구함 를 구함
Case 2) (y에 대하여 적분)
를 구함 를 구함
( )
x y = ∂∂ux ⇒ u( )
x y =∫
M( )
x y dx+k( )
yM , , ,
( ) ( ) ( ) ( )
dy y dk
x y N
y u k dx y x M y
x
u , , = , ⇒
∂
⇒ ∂ +
=
∫
⇒ k( )
y( )
⇒( )
=∫ ( )
+( )
∂
=∂ u x y N x y dy l x y
y u x
N , , ,
( ) ( ) ( ) ( )
dx y dl
x x M
x u l dy y x N y
x
u , , = , ⇒
∂
⇒ ∂ +
=
∫
⇒ l( )
xEx. 1 을 풀어라.
Step 1 완전미분방정식인지 판별
Step 2 미분방정식의 해를 구함
Step 3 검증
( ) (
3 2 cos( ) )
0cos x+y dx+ y2 + y+ x+ y dy=
( ) ( ) (
x y)
y y M
x y
x
M =− +
∂
⇒ ∂ +
=cos sin ,
( ) ( ) (
x y)
x y N
x y
y y x
N =− +
∂
⇒ ∂ +
+ +
=3 2 cos sin
, 2 x
N y M
∂
= ∂
∂
∂ : 완전미분방정식
( )
x y =∫
M( )
x y dx+k( )
y =∫ (
x+y)
dx+k( )
y =(
x+y) ( )
+k yu , , cos sin
( )
y를구하기위하여 k( ) ( )
, 3 2 3 2 *cos 2 y2 y k y3 y2 c
dy y dk
y y x N y y x
u = + = = + ⇒ = + ⇒ = + +
∂
∂
( )
x y(
x y)
y y cu = + + + =
∴ , sin 3 2
( )
cos( )
' 3 ' 2 ' 0 cos( ) (
cos( )
3 2)
' 0cos + + + + 2 + = ⇒ + + + + 2 =
∂ =
∂ x y x y y y y yy x y x y y y y
x u
( ) (
3 2 cos( ) )
0cos
+ + 2+ + + =
⇒ x y dx y y x y dy
Ch. 1 1계 상미분방정식 1.4 완전상미분방정식. 적분인자
z 완전미분방정식 형태로 변환
(Reduction to Exact Form): 완전미분방정식이 아닌 방정식에, 어떤 함수 를 곱하여 완전미분방정식을 만듬
( )
x y F ,z 적분인자
(Integrating Factors): 완전미분방정식을 만드는 함수 F
( )
x,y Ex. 3 −ydx+xdy=0은 완전미분방정식이 아니다.exact not 1
, 1
,
= ⇒
∂
− ∂
∂ =
⇒ ∂
=
−
= x
N y
x M N y Q M
( )
1 01 2 − 2 + dy=
dx x x
y
x 적분인자을 곱하면
양변에 미분방정식의
exact 1
1 ,
1
, 2 2
2 =− ⇒
∂
− ∂
∂ =
⇒ ∂
=
−
= x x
N y x
M N x
x M y
z 적분인자 를 구하는 방법
•
•
( )
x y F ,( )
( ) ( )
x F Q x P
F y F P y P
FQ F FP x
y FQdy FPdx
∂ + ∂
∂
= ∂
∂ + ∂
∂
⇒ ∂
∂
= ∂
∂
⇒ ∂
= +
0 완전미분방정식
( )
를 찾는 것은 매우 어렵다.만드는
완전미분방정식을 F x,y
(
또는)
에만 의존하는 적분인자를 구하는 것이쉽다.변수
하나의 x y
Ch. 1 1계 상미분방정식 1.4 완전상미분방정식. 적분인자
Case 1
)
Case 2)
( )
구하는법적분인자 함수인
만의 F x
x
이다.
함수이므로 만의
가
적분인자
=0∂
= ∂
∂
∂
y F', F x
x F F
( ) ⎟⎟
⎠
⎜⎜ ⎞
⎝
⎛
∂
− ∂
∂
= ∂
⇒ +
=
⇒ +
=
xQ y P Q dx dF FQ F
Q Q F F Q FQ P
Q F
FPy x y x
1 1
'
' 로 나눔
( ) ⎟⎟ = ( ) ⇒ = ∫ ( ) ⇒ ∴ ( ) = ( ∫ ( ) )
⎠
⎜⎜ ⎞
⎝
⎛
∂
− ∂
∂
= ∂
R x F R x dx F x R x dxdx dF F x
Q y P x Q
R
1 ln exp
1 ,
( )
x를 구하는 것과 마찬가지방법으로
F( ) ⎟⎟ ( ) = ( ∫ ( ) )
⎠
⎜⎜ ⎞
⎝
⎛
∂
− ∂
∂
= ∂
F y R y dyy P x Q y P
R
1 , * exp *
*
( ) 구하는 법
적분인자 함수인
만의
F xy
*
Ex. 5 정리 1 또는 2를 이용하여 다음의 미분방정식의 적분인자를 찾고 초기값 문제를 풀어라.
Step 1 완전미분방정식인지 판별
Step 2 적분인자 구하기
검증
(
ex+y + yey) (
dx+ xey −1)
dy=0, y( )
0 =−1( )
x y y ex y ey yeyy ye P
e y x
P = + +
∂
⇒ ∂ +
= + + ,
( )
y eyx xe Q
y x
Q =
∂
⇒ ∂
−
= 1
, x
Q y P
∂
≠ ∂
∂
∂ : 완전미분방정식이 아님
( ) ( )
1 1 1
1
1 + ⇒
= −
− +
− +
⎟⎟=
⎠
⎜⎜ ⎞
⎝
⎛
∂
−∂
∂
= ∂ y x+y y y y y ex+y yey e xe
ye e xe e
x Q y P
R Q 적용불가능
(
y x y y y) ( )
yy y
x e e e ye F y e
ye e
y P x Q
R P + − + − − =− ⇒ = −
= +
⎟⎟⎠
⎜⎜ ⎞
⎝
⎛
∂
−∂
∂
= 1 ∂ 1 1 *
*
( ) ( )
0+ + − =
∴ ex y dx x e−y dy
( ) (
−)
⇒∂
= ∂
=
∂ +
∂ −
1 y
x x e
y x
y e 완전미분방정식
Ch. 1 1계 상미분방정식 1.4 완전상미분방정식. 적분인자
Step 3 일반해 구하기
일반해 :
Step 4 특수해 구하기
특수해 :
( ) ( )
∫
+ = + +=
⇒ +
∂ =
∂ e y u e ydx e xy k y x
u x x x
( )
y x e y k( )
y e y k( )
y e yk y x
u − − −
=
⇒
−
=
⇒
−
= +
∂ =
⇒ ∂ ' '
( )
x y e xy e c u , = x + + −y =( )
0 =−1 ⇒ u(
0,−1)
=e0+0+e=3.72 적용 y초기조건
( )
x,y =ex+xy+e−y =3.72 u1.5 선형상미분방정식. Bernoulli 방정식. 인구 동력학
(Linear ODEs. Bernoulli Eqaution. Population Dynamics)
미분방정식 (ODEs)
선형 미분방정식
(Linear ODEs)
비선형 미분방정식
(Nonlinear ODEs)
제차 선형 미분방정식
(Homogeneous Linear ODEs)
비제차 선형미분방정식
(Nonhomogeneous Linear ODEs)
Ch. 1 1계 상미분방정식 1.5 선형상미분방정식. Bernoulli 방정식. 인구 동력화
z 선형미분방정식(Linear Differential Equation)
Ex.
•
( ) ( )
( ) ( )
:비선형미분방정식선형미분방정식 :
' 2
'
y x r y x p y
x r y x p y
= +
= +
z 제차 (Homogeneous), 비제차 (Nonhomogeneous) 미분방정식
( ) ( ) ( )
( ) ( ) ( ) ( )
y xx r
x r y x p y
:
:
'
Output Input
rm StandardFo
출력 입력
표준형 : + =
( )
( ) ( ) 계 비제차 선형미분방정식
선형미분방정식 제차
계 1 0 '
1 0 '
⇒
≠
= +
⇒
= +
x r y x p y
y x p y
미분방정식 선형인
관계가 도함수의
그의 와 함수 미지의 방정식내에서
:
yz 제차 미분방정식의 해법(변수분리형)
( ) ( ) ( )
( )
( )∫ + ⇒ =
−∫−
=
⇒
−
=
⇒
−
=
⇒
= +
dx x
ce
py c
dx x p y
dx x y p
y dy x dx p
y dy x p y
* ln
0
'
Ch. 1 1계 상미분방정식 1.5 선형상미분방정식. Bernoulli 방정식. 인구 동력화
z 비제차 미분방정식의 해법(완전미분방정식의 해법 응용)
( ) ( ) ( )
∂ ⇒
= ∂
≠
∂ =
⇒ ∂
=
−
=
= +
−
⇒
= +
0
1 ,
0
'
x p Q
y Q P
r py P
dy dx r py x
r y x p y
완전미분방정식이 아님
•적분인자 구하기
=
∫∴
⇒
=
⇒
⎟⎟ =
⎠
⎜⎜ ⎞
⎝
⎛
∂
− ∂
∂
= ∂ p F e
pdxdx dF p F
x Q y
P
R Q 1
1
•적분인자 곱하여 해 구하기
( )
( ) ( ) ( )
( ) ( )
[
re dx c]
e y c
dx re ye
c dx re ye
u c
dx re x
l re
x l
r py e
x l x pye
x u l ye
u y e
u
d e dx r py e
pdx pdx
pdx pdx
pdx pdx
pdx pdx
pdx pdx
pdx pdx
pdx pdx
+
=
∴
⇒ +
=
⇒
=
−
=
⇒ +
−
=
⇒
−
=
⇒
−
= +
∂ =
⇒ ∂ +
=
⇒
∂ =
∂
= +
−
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
∫
−
'
'
0
y
Ex. 1 다음의 선형상미분방정식을 풀어라.
e x
y y'− = 2
[
h] [
x x x]
x[
x]
x xh x
ce e c e e c dx e e e c rdx e e y
x pdx h
e r p
+
= +
= +
= +
=
∴
⇒
−
=
=
=
−
=
∫
∫
∫
−
− 2 2
2
,
, 1
Ch. 1 1계 상미분방정식 1.5 선형상미분방정식. Bernoulli 방정식. 인구 동력화
z Bernoulli Equation :
•
이면 선형
•
이면 비선형
z
비선형 Bernoulli 방정식인 경우 : 선형미분방정식으로 변환가능
( )
x y g( )
x ya py
' + = 1
or
= 0 a
1 and
≠ 0
a( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )( )
( a ) pu ( a ) g u
pu g
a py
g a py
gy y a y
y a u
y u
y x p y x g y y
x g y x p y
a a
a a
a
a a
−
=
− +
⇒
−
−
=
−
−
=
−
−
=
−
=
⇒
=
−
=
⇒
= +
−
−
−
−
1 1
'
1 1
1 ' 1
'
'
'
1
1 로 치환
: u에 관한 선형미분방정식
Ex. 4 논리적 방정식(Logistic Equation)
논리적 방정식(또는 Verhulst 방정식)으로 알려진 Bernoulli 방정식을 풀어라.
' Ay By2
y= −
( )
( )
[ ]
( ) (
방정식의 해)
선형미분방정식 관한
에 치환 로
t 1
1
,
'
' '
2
' '
1 2
2 2
1
2 2
Verhuls
Ax
Ax Ax
Ax h
h
A ce u B
y
A ce B
c Ae
e B c rdx e e u
Ax pdx h
B r A p
u B Au u
B Au B
Ay By
Ay y y y u
y u a
By Ay y By
Ay y
−
−
−
−
−
−
−
−
= +
=
∴
⇒
+
⎥⎦=
⎢⎣ ⎤
⎡ +
= +
=
⇒
=
=
⇒
=
=
= +
⇒
+
−
= +
−
=
−
−
=
−
=
⇒
=
⇒
=
−
=
−
⇒
−
=
∫
∫
Ch. 1 1계 상미분방정식
1.6 직교궤적(Orthogonal Trajectories)
z 직교궤적(Orthogonal Trajectory): 주어진 곡선에 직교하는 곡선
z
곡선 에 수직하게 교차하는 직교궤적 구하기
•
1단계 주어진 곡선을 해곡선으로 하는 미분방정식을 구한다.
•
2단계 직교궤적의 미분방정식은
•
3단계 직교궤적의 미분방정식의 해를 구한다.
( )
x g y=
( )
x y f y'= ,
( )
x y y f, ' = − 1
1.6 직교궤적
1.7 해의 존재성과 유일성(Existence and Uniqueness of Solutions)
z
초기값 문제의 특수해가 항상 존재하는 것도 아니다.
Ex.
•
존재성의 문제
어떤 조건하에서 초기값 문제가 적어도 하나의 해를 갖는가?
•
유일성의 문제
어떤 조건하에서 주어진 초기값 문제가 많아야 한 개의 해를 갖는가?
( ) ( )
( )
y cxy y
xy
x y y
x y
y y
y
+
=
⇒
⇒
=
−
=
+
=
⇒
⇒
=
=
⇒
=
= +
1
1 0 , 1 '
1
1 0 , 2 '
1 0 , 0 '
2
많다.
무수히 해가
만족하는
있다.
하나 해가 만족하는
없다.
해가 만족하는
Ch. 1 1계 상미분방정식 1.7 해의 존재성과 유일성
z 존재정리
•
•
⇒ ∴ 최소한 하나 이상의 해를 갖는다.
( ) ( )
( )
에서점 모든 사각형내의 정의되는
로
에서 문제
초기값
y x b
y y a x x
y x , y x,y f y'
,
, 0
0
0 0
<
−
<
−
=
=
( )
x y 가 연속이고 f ,( )
x,y K(
발산하지않음)
이면f ≤
z
유일성정리초기값 문제 에서
로 정의되는 사각형내의 모든 점 에서
• 가 연속이고
• (발산하지 않음) 이면
⇒ ∴ 최대 하나의 해를 갖는다. 해의 존재성 정리와 연결하여
생각하면 이 초기값 문제는 정확하게 하나의 해를 갖게 된다.
( )
, ,( )
0 0' f x y y x y
y = =
b y y a x
x− 0 < , − 0 <
(
x ,y)
( )
yy f x
f ∂
∂ , ,
y M K f
f ≤
∂
≤ , ∂