Professional Documents
Culture Documents
KREYSZIG 공업수학, 개정 10판
KREYSZIG 공업수학, 개정 10판
문제풀이 해설
편 집 부
[ ]
저작권법 제136조의 5(권리의 침해죄)에 따라 지적재
산권을 침해한 자는 5년 이하의 징역 또는 5천만원 이
하의 벌금에 처하거나 이를 병과할 수 있습니다.
발간사
2011년 12월
편집부
iii
차례
Part A 상미분방정식
제 1 장 1계 상미분방정식 …………………………………………………………………… 1
제 2장 2계 선형상미분방정식 …………………………………………………………… 23
제 3장 고계 선형상미분방정식 ………………………………………………………… 49
제 4장 연립상미분방정식. 위상평면. 정성법 ………………………………………… 57
제 5장 상미분방정식의 급수해. 특수함수 ……………………………………………… 75
제 6장 Laplace 변환 ……………………………………………………………………… 95
Part D 복소해석
제 13 장 복소수와 복소함수. 복소미분 ………………………………………………… 259
제 14 장 복소적분 …………………………………………………………………………… 275
제 15 장 멱급수, Taylor 급수……………………………………………………………… 287
제 16 장 Laurent 급수. 유수적분 ………………………………………………………… 299
제 17 장 등각사상 …………………………………………………………………………… 307
제 18 장 복소해석과 퍼텐셜 이론 ………………………………………………………… 313
v
CHAPTER 1
1계 상미분방정식
1.1 Basic Concepts. Modeling
1. ′ sin 을 적분하면
3. 이므로 이다.
4. 이므로 이다.
11. (a) ′ 이므로
5.
cos cos sin 이다. 는 주어진 방정식의 해이다.
6. sin cos , cos sin 이므로
(b) 이므로 특이해는 이다.
(c)
sin sin , cos cos 이다.
따라서 sin cos 이다.
7. cosh
sinh 이다.
′
이다.
따라서 해는
12. (a) 식 을 정리하면
이다.
′ 이므로
이다. 는 주어진 방정식의 해이다.
(b) 이므로 이다.
9. (a) ′ 이므로
따라서 특이해는 이다.
는 주어진 방정식의 해이다.
(c)
(b) 이므로 이다.
따라서 특이해는 이다.
(c)
13. (a) ′
10. (a) ′ 이므로 이므로 는 주어진 방정식의 해이다.
는 주어진 방정식의 해이다.
(b) 이므로 이다.
(b) 이므로 특이해는
이다.
(c)
따라서 이고 특이해는 이다.
(c)
이므로 도 해이다.
17. 예제 5에서 주어진 방정식의 해는
(여기서 ∙ sec )이다.
처음에 주어진 양의 반을 구하면 이다.
반감기를 구하기 위하여 이 양을 위 식에 대입하면 3
이다.
(b) 이므로 이다.
이다. 즉, ln 이다.
따라서 이고 특이해는 sin 이다. 따라서 방정식의 일반해는 이다.
(c)
(a) , 이므로 이다.
(b) 이므로 이다.
19. 모델링하면 방정식 ″ 과 초기조건 ,
′ 을 얻는다.
위 식을 적분하면 ′ 이고 ′ 이다.
즉, ′ 이다. 이 식을 다시 적분하면
이고 이다.
따라서 이다.
15. 상수인 해를 찾기 위하여 라 하면 ′ 이다.
20. 물리적 정보에 의하여 모델링하면 방정식 ′
이를 주어진 방정식에 대입하면 이다.
과 초기조건 을 얻는다. 이 방정식의 해는
이 이차방정식을 풀면 또는 이므로
상수인 해는 또는 이다. 이다. 여기서 이므로
16. ′ 를 주어진 방정식에 대입하면,
에서 압력이 반으로 줄었음을 알 수 있다.
′ ′
약 2배인 에서 압력은 로 줄어든다고
이다. 따라서 은 일반해이다.
′ 을 주어진 방정식에 대입하면, 예측할 수 있으므로 이다.
′ ′
4
제1 장 1계 상미분방정식
4. 9. ′ cos 를 적분하면, sin 이다.
5.
10. ′ 의 일반해는
이다.
6.
7.
(d) ′
sin 이면
17.
15. 미분방정식은 이다.
0 0.0 1.000 1.000 0.000
이므로 이다. 1 0.1 1.100 1.105 0.005
2 0.2 1.120 1.221 0.011
3 0.3 1.331 1.350 0.019
4 0.4 1.464 1.492 0.028
5 0.5 1.611 1.649 0.038
6 0.6 1.772 1.822 0.051
7 0.7 1.949 2.014 0.065
8 0.8 2.144 2.226 0.082
9 0.9 2.358 2.460 0.102
10 1.0 2.594 2.718 0.125
임계속도에서 이므로
.
16. (a) ′ , ≤ ≤ ≤ ≤
6
제1 장 1계 상미분방정식
18.
20.
0 0.00 1.000 1.000 0.000
1 0.01 1.010 1.010 0.000 0 0.0 1.000 1.000 0.000
2 0.02 1.020 1.020 0.000 1 0.2 1.000 0.402 0.598
3 0.03 1.030 1.030 0.000 2 0.4 0.998 0.186 0.812
4 0.04 1.041 1.041 0.000 3 0.6 0.973 0.095 0.878
5 0.05 1.051 1.051 0.000 4 0.8 0.850 0.053 0.797
6 0.06 1.062 1.062 0.000 5 1.0 0.554 0.031 0.523
7 0.07 1.072 1.073 0.000 6 1.2 0.247 0.019 0.228
8 0.08 1.083 1.083 0.000 7 1.4 0.120 0.013 0.108
9 0.09 1.094 1.094 0.000 8 1.6 0.065 0.008 0.056
10 0.10 1.105 1.105 0.001 9 1.8 0.037 0.006 0.031
10 2.0 0.023 0.004 0.019
19.
0 0.0 0.000 0.000 0.000
1 0.1 0.000 0.000 0.000
2 0.2 0.001 0.003 0.002
3 0.3 0.005 0.009 0.004
4 0.4 0.014 0.020 0.006
5 0.5 0.029 0.038 0.009
6 0.6 0.051 0.063 0.012
7 0.7 0.081 0.096 0.015
8 0.8 0.119 0.136 0.017
9 0.9 0.166 0.184 0.018
10 1.0 0.220 0.238 0.019
1시간은 60분이므로
이다.
이다. 25. 모델링하면 방정식 와 초기조건
19. 박테리아의 증가율이 현재 박테리아의 양에 비례
, 조건 를 얻는다.
하므로 시간 에서의 효모의 양을 라 하면,
′ 이다. 따라서 이다. 이 방정식을 정리하면 이다.
조건에서 이므로 ln , 이 식을 적분하면 ln
, 이
ln ln
이다. 이고 다. 따라서 일반해는 이다.
ln 이므로 2주 후는 4배, 4주 초기조건에 의하여 이므로
후는 16배이다. 이고, 조건 이므로
20. (a) 생성 객체수를 , 소멸 객체수를 , 현존
ln 이다.
객체수를 라 하자. 조건에 의하여
(여기서, 는 상수)이다. 따라서 해는 이다.
모델링하면, 방정식 이면 ≒sec이다.
′ 을 얻을 수 있다. 26. Gompertz 모델인 방정식 ′ ln 을 정리하면
따라서 일반해는 이다. 이다. 이 식을 적분하면,
ln
lnln
, ln ,
이다.
(b) lim
→ ∞
∞ 따라서 일반해는
이다.
21. 예제 4에 의하여 이다. 27. 습기의 양을 라 하고 모델링하면 방정식 ′
≒ 이므로 이다. 을 얻는다. 이 방정식의 일반해는 이다.
22. 가속도는 × msec 이다. 습기의 반을 잃는데 10분이 걸리므로 ,
시간 초 동안에 입자가 이동거리를 라 하면 ln 이다.
속도는 ′ , 가속도는 ′ ″ 이다.
따라서 해는 이다.
주어진 문제를 모델링하면 방정식은 ″ 이다.
ln
초기속도 와 초기조건 을 만족한다. 을 풀면 ≒min
방정식 ″ 을 풀면 ′ 이다.
이다.
여기서 이므로 ′ 이다.
28. 10분 후 습기의 양은 처음 습기의 양의 가
된다. 다시 10분 후, 즉 20분 후 습기의 양은 ,
이다. 문제에서 ≥ 이므로
30분 후 습기의 양은 , 40분 후 습기의 양은
, 50분 후 습기의 양은 , 60분 후 ≥ ≒ 이고 약 8회이다.
습기의 양은 이고 70분 후 습기의 양은 34. (a) 중심이 원점이고 반지름이 인 원의 방정식은
이다. 문제 27번에서 의 습기를 이다. 음함수의 미분법을 이용하여 이
잃었으므로 처음 습기의 가 되는 시간을 구하면 식을 미분하면 ′ 이다. 9
60분과 70분 사이가 된다.
따라서 ′ 이다.
32. 중력가속도 의 경사면을 따르는 방향성분은 이다.
sin이고, 법선방향성분은 cos이며, 마찰계수가
(a)
이므로 가속도는 sin cos
(b) ≒sec≒min
이다. 초기속도가 0이므로 방정식을 적분하면
이다. 따라서 이동거리는 이다.
전체 움직인 거리가 이므로
이다. 즉 속도는 × msec 이다.
33. 그림 13과 비례상수 에 의해 ∆ ∆ 를 ≒sec≒min
얻는다. ∆→ 으로 하면, ,
10 sin cos cos cos 에서
sin ′ sin 이므로 이다.
cos sin ′ cos sin 이므로 이다. 따라서 일반해는 cos 이다.
제1 장 1계 상미분방정식
9. 방정식을 정리하면 cos sin 이다.
따라서 일반해는 cos cos 이다.
4. 주어진 방정식을 정리하면 이다. cos sin sin 이므로
주어진 방정식은 완전미분방정식이다.
이므로 완전미분이다.
cos cos 에서
에서
sin ′ sin 이므로
′ 이므로 이다.
이다. 따라서 일반해는 cos 이다.
따라서 일반해는 이다. 초기조건 에 의하여 이므로 특수해는
5. 이므로 완전미분 cos 이다.
10. 양변에 cos 를 곱하면 주어진 방정식은
방정식이 아니다. 적분인자를 구하면
cos cos sin
exp
ln 으로 정리된다.
이 된다.
에서 sinh sin ′ sinh sin 이므로
tan tan 에서
이다.
따라서 일반해는 sinh cos 이다.
sec ′ sec 이므로 이다.
12. 방정식을 정리하면 이다.
따라서 일반해는 tan 이다.
이므로 완전미분이다.
′ 이므로 이다.
이다. 에서
′ sec 이므로 tan 이다.
따라서 일반해는 이다.
15. 이므로 일 때
′ 이다. 로 치환하면,
완전미분방정식이 된다. ′ ′ 이므로 ′ 이다.
이다.
′ 이므로 이다.
따라서 일반해는 이다.
따라서 일반해는
이다.
(d)
16. (a) sinh cosh
< 정리 1 또는 2를 이용 >
< 완전미분방정식의 방법 적용 >
exp ln
sinh sinh cosh 이므로
exp
′ 이므로 이다. 특수해는 이다.
cos ∓
따라서 일반해는 cos 이다.
이다.
3.
8. ln cos ln cos
cos
4. cos
cos
초기조건에 의하여 이므
5.
로 특수해는 cos 이다.
6.
cos 에서
cos cos
sin
cos sin
cos
이므로
cos cos sin 이다.
7. 주어진 방정식을 정리하면 ′ 이므로
일반해는
10. 주어진 방정식을 정리하면 ′ sec sec 이다.
(b) cos 이므로 일반해는
따라서 일반해는
tan tan
sec
ln cos ∙ ln
tan tan tan
cos
이다. 초기조건에 의하여 ,
sin sin
13
sin sin
이므로
′ 이고
이다. 만약 초기조건이 이면 이다.
이다.
26. 주어진 방정식을 정리하면 cot 이므로
22. Bernoulli 방정식이므로 로 치환하면, lnsin ln 이다.
따라서 일반해는 sin 이다.
′ ′ , ′ 이다. 즉 이므로
초기조건에 의하여 , 이므로 특수해는
sin 이다.
14 일반해는 이다.
제1 장 1계 상미분방정식
초기조건에 의하여 이므로
특수해는 이다.
이 된다.
이므로 일반해는 이다.
에서
대입하면,
이므로 일반해는
이다.
′
′
이다. Y가 Riccati 방정식의 해이므로,
25. Bernoulli 방정식이므로 로 치환하면, ′ 이다.
′
′ , ′ 이다. 즉 ′
따라서
,
이므로 ′ , ′ 이다.
즉, 로 치환하므로 항이 소거되고
일반해는 이다.
Riccati 방정식은 Bernoulli 방정식으로 변형된다.
따라서 일반해는
다음 로 치환하면 Bernoulli 방정식을 선형
ODE로 변형시킨다.
cos sin
(b) ′ ′ 을 방정식에 대입하면, 이다.
′ 33. 미분방정식이 ′ 이므로
15
이므로 주어진 방정식의 해이다. 이다.
이므로
≤ ≤
≤ ≤
≤ ≤
이다.
17
′
5. ′ 이므로
′ 를 풀면
9. ′ 이므로
′ 를 풀면
이다.
ln 이다.
6. ′ ′ 이므로
′ 를 풀면
10. ,
이다. ′ ′
′ 이므로
′ 을 정리하면
′
(Bernoulli 방정식)이다.
라 치환하면
′ ′ , ′ 이다.
따라서 이고
이다.
따라서
이다.
13. 를 미분하면 ′ ,
′ 이다. ′ 로 치환하면
18
′ 이므로 ,
이다.
제1 장 1계 상미분방정식
≤ 이다. ≤ 이므로
등을 얻는다. 주어진 방정식을 정리하면,
정리의 조건을 만족하는 최적의 는 이다.
′ 이므로 일반해는
8. 가 ≤ 에서 연속이므로 ≤ 에서
이다.
≤ 이다. 이므로
초기조건에 의하여 이므로
≤ 이다.
이고 이다.
따라서 Lipschitz 조건을 만족한다.
(c) 이므로 9. 두 개의 해가 의 한 점 에서 만나면, 두
개의 해는 초기조건 을 만족한다. 따라서
유일성에 위반되므로 두 개의 해는 교점을 가질 수
없다.
10. ln ln 이므로
이다. ≠ 또는 ≠ 이면
해가 존재하지 않는다. 또는 이면
무수히 많은 해를 갖는다. 임의의 에 대하여,
≠ 그리고 ≠ 이면 정확히 한 개의
등을 얻는다. 주어진 방정식을 정리하면,
해를 갖는다.
이므로 이고 일반해는
15.
cos
cos sin
cos sin
12. 주어진 식을 정리하면 이다.
식
을 위 식에 적용하여
적분하면 ln ln 이다.
따라서 일반해는 , 이다.
16.
0 0.0 0.200 0.200 0.000
1 0.1 0.216 0.216 0.000
2 0.2 0.233 0.234 0.001
3 0.3 0.251 0.252 0.002
4 0.4 0.270 0.272 0.002
5 0.5 0.289 0.292 0.003
6 0.6 0.310 0.313 0.003
7 0.7 0.331 0.335 0.004
8 0.8 0.353 0.357 0.004
9 0.9 0.376 0.381 0.005
13. 주어진 식을 정리하면 이다. 10 1.0 0.400 0.405 0.005
식 을 위 식에 적용하여
적분하면 ln ln 이다.
특수해는 sin 이다.
24. Bernoulli 방정식이므로 로 치환하면,
′ ′ , ′ 이다. 이 식을 풀면
이므로 일반해는 이다. 21
cos
(a) cot ≠ 이므로 일차독립이다. (a) ≠ 이므로 일차독립이다.
sin
′ sin ′ cos 이고
′ ′ 이고
″ cos ″ sin 이므로
는 주어진 방정식의 해이다. ″ ″ 이므로
즉, 는 주어진 방정식의 해의 기저이다. 는 주어진 방정식의 해이다.
(b) 일반해는 cos sin 이다. 즉, 는 주어진 방정식의 해의 기저이다.
초기조건에 의하여 , ′ (b) 일반해는 이다.
초기조건에 의하여 ,
이므로 이고 특수해는
′ 이므로
cos sin 이다.
이고 특수해는 이다.
일반해는 이다.
3. 특성방정식 을 풀면, ±
15. 특성방정식 을 풀면,
이므로
이다.
±
이므로
일반해는 cos
sin
이다.
4. 특성방정식 을 풀면, ±
16. 주어진 기저에 대응하는 특성방정식은
이므로 일반해는 cos sin 이다.
이므로
5. 특성방정식 을 풀면, (중근)
대응하는 미분방정식은 ″ ′ 이다.
이므로 일반해는 이다. 17. 주어진 기저에 대응하는 특성방정식은
6. 특성방정식 을 풀면,
이므로 대응하는
(중근)이므로 일반해는 이다. 미분방정식은 ″
′ 이다.
7. 특성방정식 을 풀면, 18. 주어진 기저에 대응하는 특성방정식은
11. 을 풀면, 이므로 일반해는 cos sin 이다.
따라서 이다.
하면 cos sin 이다. 8. 를 평형상태에서 추가로 더 내려간 깊이라고
하면 힘 평형 관계식에 의해 ″ 이
성립한다. 여기서 는 추가로
더 잠긴 부분의 부피를 나타낸다.
″ ″ 이므로
이다.
따라서 이고 주기
이므로 이다.
은 정수)일 때 ± 을 값에
상관없이 지나게 된다. 따라서 무게는 ∙ 이다.
2. Hook의 법칙에 의하여 이므로 용수철 9. 문제의 조건을 모델링하면
상수는 이다. ″ , ″ 이다.
이고 ∙ ∙
질량은 이고
이므로 ″ 이다. 따라서 ,
이므로 이다.
이므로 이다.
3. 라 하자.
10. (a) 이므로
이다.
(ⅰ)
따라서 1분 동안 번이다.
(b) 라 하자.
(ⅱ)
질량이 커지면 진동수는 감소한다.
이므로
4. 단진자 운동에서 운동체의 진동수(또는 1/주기)는 이다. 따라서 cos sin 이다.
또는
로 구할 수 있다.
초기조건으로부터 ′
이므로 이고
5. 이므로
sin 이다.
(c) ′ 라 하자.
(ⅰ)
cos sin 이므로
(ⅱ)
초기조건으로부터 , ′
(ⅲ) 이므로
이므로 이고
cos sin 이다.
6. 이므로 이다.
11. 에 초기조건을
적용하면 ,
′ 이다. 따라서
arctan .
따라서 극값이 마다 존재하므로 극대값은
,
마다 존재한다.
이다.
30 12. 과감쇄 운동방정식의 일반해는
17. sin 이므로 ′ cos sin 이다.
이므로 이면 ′ 일 때 tan 이므로
제2장 2계 선형상미분방정식
⋯ 이다.
이어서 이 되는 시각은
⋯ 일 때 극소이며
일 때 유일하게 한번 존재하고 ≥ 일 때는 ⋯ 일 때 극대이다.
존재하지 않는다.
13. 식 (8)에서 이고, 식 (8)을 미분하면
′ 이므로
이다. 따라서 이다.
≈
이다. 따라서 진폭비의 자연대수값
예제 2번에서
∆ 이다.
이므로 이다.
∙ ∙
″ ′ 에서
이항정리에 의한 근사식 계산값이 실제 계산값
특성방정식이 을 풀면 ±
에 거의 근접한다.
16. cos sin sin , 이다. 즉, 이므로 ∆ 이다.
arctan 이므로 19. 극대치 주기가 이므로 은 에
′ cos sin 이다. 해당한다. 따라서
이므로
′ 일 때 tan , ln ln
이고 × × 이다.
arctan ,
′ ln 이고
′
ln
16. 을 풀면 (중근)이므로
13. 을 풀면 이므로 일반해는 ln 이다.
일반해는 이다. 초기조건에 의하여 ,
초기조건에 의하여 , ′ 이므로 이다.
′ 이므로 따라서 특수해는 ln 이다.
이다. 따라서 특수해는 이다.
32
제2장 2계 선형상미분방정식
″ ′ ′
이다. 이므로
′
′
,
이다.
따라서
이다.
(c) ln 라 하자.
′ ln ,
″ ln
이므로
″ ′
ln
이다. 따라서 ln 는 Euler-Cauchy
방정식의 해이다.
19. 을 풀면 이므로 (d) 으로 치환하면, 이고
일반해는 이다. 초기조건에 의하여
′
, ′ 이므로
이다. ″
따라서 특수해는 이다.
이므로
(e) 특성방정식이 중근 를 가질 때 두 번째
″ ′
기저는 이다. ln 이므로
ln ln ln 이다.
′ 이다.
(b) coscos sin sin ≠
sinln cosln sinln 따라서 특수해는 ln 이다.
13. (a) 이므로 이다.
cosln 따라서 미분방정식은 ″ ′ 이다.
cotln≠ 이므로 일차독립이다.
sinln (b) ≠
이므로 일차독립이다. 과 는 일차종속이다. 이는 과 가
(c) 초기조건에 의하여 , 기저를 구성한다는 사실에 모순이 된다.
따라서 기저인 두개의 해는 같은 점에서 최대값
′ 이므로 이다.
또는 최소값을 가질 수 없다.
′ ′
34
따라서 특수해는 이다.
(d)
′
이다.
만약 이고 이면 인
≡ 이고, 과 는 일차종속이다. 이는 과
문제 6번에서 cos sin 을 해로 갖는
가 기저를 구성한다는 사실에 모순이 된다. 방정식이 ″ ′ 이므로
따라서 기저인 두개의 해는 같은 점에서 이 될
수 없다.
이다. exp
이다.
따라서
이므로 일반해는 ′ sin cos , ″ cos sin 이므로
이다. 따라서
cos sin 이므로 일반해는
″ 이므로
cos sin 이다.
3. 특성방정식 을 풀면, 이다. 따라서 이므로
이므로 이다. 미정계수법에
일반해는 이다.
의하여 라 하자. ′ ,
35
″ 이므로 이다. 8. 특성방정식 을 풀면, ± 이므로
cos sin 이다. 미정계수법에 의하여
′ cos
cos sin 이다.
″
cos 라 하자. ′ ,
sin
″ 이므로 이다.
이므로 이다. 특수해는 이다.
따라서 cosh sinh 이므로 일반해는 17. 을 풀면, ± 이므로
cos sin 이다.
따라서 cos sin
sin 이다.
cos sin 라 하자.
14. 특성방정식이 이므로 ± 이고
′ sin cos ,
cos sin 이다.
″ cos sin 이므로 , cos sin 라 하자.
′ cos sin ,
이고 cos sin 이다. 즉,
′ cos sin 이므로
cos sin cos sin
이고 cos sin 이다. 따라서
초기조건에 의하여 , ′
이므로 이고 특수해는 18. 특성방정식이 이므로 ± 이고
cos sin 이다.
cos sin sin 이다.
cos sin 라 하자.
′ sin cos ,
″ cos sin 이므로
이고 cos sin 이다. 즉,
cos sin cos sin
이다. 초기조건에 의하여 ,
′ 이므로 이고
cos sin cos sin
이다.
초기조건에 의하여 ,
′ 이므로 이고
cos cos 이다.
23. (a)
39
(b) 의 값에서
이므로 대입하면
이다. 따라서 ≤
cos sin 이다.
이고 특수해는
′ 이므로
이
sin
cos
cos sin
이다.
고
cos sin 이다. 따라서
이므로 ± 이고
하면 ′ 이고 이다.
2. -회로에서 sin 일 때 모델링하면
cos sin 이다.
sin 이고 미분하면
cos sin 를 방정식에 대입하면,
′ cos 이다. 따라서 이고 cos 이다.
cos 따라서 cos
sin cos
cos cos
이다. ′
sin
이므로 이고
여기서 arctan 이다.
cos cos
이다. 이고
3. -회로를 모델링하면 ′ 이므로
일 때, cos cos 이다.
이다.
따라서 cos sin 이다.
9. 이면 ′ 이므로 모델링을 하면
cos sin
″ ′ 이다. 따라서 이다.
이다. 의 값들에서 이므로 →∞ 이면 41
10. sin 이면 ′ cos 이므로 모델링을
→ 이다. 일반해는 이므로 →∞ 이면
초기조건에 의하여 ,
17. cos sin 이면 이고
′ 이므로
′ sin cos 이므로 모델링을 하면
″ ′ sin cos 이고 ′
이고 해는
이다. 특성방정식이 이므로
± 이고 cos sin 이다. cos sin
cos sin 라 하자. 이다.
′ sin cos , ″ cos sin 이므로
이고 cos sin
이다. 따라서
cos sin cos sin
이다. 초기조건에 의하여 ,
′ 이므로 ,
이고 해는
20.
″ ′
cos sin
이라 하면 ′ , ″
이고 주어진 방정식은
cos sin
이다.
으로 변형된다.
여기서 이다. 따라서
18. cos 이면 이고 ′ sin cos sin
이므로 모델링을 하면 ″ ′ sin
cos sin cos sin
이고 ′ 이다.
특성방정식이 이므로 sin cos
이므로 이다.
이고
이다.
이다.
3. 을 풀면, 이므로 ∙
이다.
이므로
따라서 일반해는
따라서 일반해는
이다.
이다.
8. 특성방정식 을 풀면, ± 이므로
4. 특성방정식 을 풀면, ± 이므로 cos sin 이다.
cos sin 이다. coscos sin sin 이므로
cos sin cos
sin cosh
sin cos sin
cos
cos cosh
이므로 sin cosh
sin csc
cos
따라서 일반해는
cos csc cos sin cosh 이다.
sin
cos sin lnsin 9. 특성방정식 을 풀면, (중근)
따라서 일반해는 이므로 이다.
cos sin cos sin lnsin 이므로
이다.
∙
5. 특성방정식 을 풀면, ± 이므로
∙
cos sin 이다.
coscos sin sin 이므로
따라서 일반해는 이다.
cos sincos sin
10. 특성방정식 을 풀면, ±
sin coscos sin
이므로 cos sin 이다.
cos sin cos sin
cos sin cos
sin cos sin
따라서 일반해는
이므로
cos sin cos
sin cos sin
이다.
sin ∙ sec 하자. ′ sin cos ,
cos
″ cos sin 이므로
cos ∙ sec
sin
이고 cos sin 이다.
매개변수변환법에 의하여
sin tan
따라서 일반해는 이므로
44
cos sin sin tan 이다. ∙cos
제2장 2계 선형상미분방정식
이다.
∙
이므로
∙ ∙
이다.
에 대하여 미정계수법을 적용하면
라 하자. ′ ,
따라서 일반해는 이다.
14. (a) 특성방정식 이므로 ″ 이므로 이고
이고
이다. 이다.
이므로 이고 일반해는
이다. 45
16. 특성방정식 을 풀면, ±
″ sin cos 이므로 이므로 이다.
cos sin 라 하자.
이다. 따라서 cos 이므로
′ sin cos , ″ cos sin 이므로
일반해는 cos sin cos 이다.
이다. 따라서 cos sin 이므로
17. 특성방정식 을 풀면, (중근)
일반해는 cos sin 이다.
이므로 이다. 초기조건에 의하여 ,
라 하자. ′
,
′ 이므로
″ 이므로
이고 특수해는 cos sin 이다.
이다. 따라서 이므로
일반해는 이다.
″ ′
18. 주어진 방정식을 정리하면 이다. 이 식을
′
적분하면 ln′ ln 이다. 즉, ′ 이다.
′
다시 정리하면 이고 적분하면 ln
이다. 따라서 이다.
19. 특성방정식 을 풀면, ± 이므로
cos sin 이다. 21. 을 풀면 ± 이므로
″ cos sin 이고, 특성방정식이
± 이므로 cos sin
이다. cos sin 라 하면,
이므로 cos sin 이다. 따라서 일반해는
23. sin 이면 ′ cos 이므로
cos sin cos sin 이다.
모델링을 하면 ″ ′ cos
이다. 특성방정식 을 풀면
′ 이므로
±
이다.
cos sin 라 하자. 이고
′ sin cos ,
cos sin cos sin 이다.
″ cos sin 이므로
, 공진주파수는 이므로 이다.
이다. 따라서 29. 주어진 조건을 모델링하면,
″ cos ′ 이다.
cos sin 이다.
특성방정식이 이므로 ± 이고
24. ± 이므로 cos sin 이다. cos sin
cos sin
이다. 라 하면 이므로 cos 이다.
25. sin 이면 ′ cos 이므로 모델링을 따라서 cos sin cos 이다.
하면 ″ ′ cos 이다. 특성방정식 ′ 이므로
±
이고 cos cos 이므로
을 풀면 이다.
cos sin 라 하자. , 이므로
′ sin cos , 두 주파수 역시 미소한 차이를 보이므로 맥놀이
현상이 발생한다.
″ cos sin 이므로 ,
30. 주어진 조건을 모델링하면 ″ ′ sin
이다. 따라서 이다. 이를 최대진폭조건 에 적용
cos sin 이다. 하면 m ax 이다. 이때의 최대진폭을 구하면
47
1. 라 하자.
′ ′ ′
′ ″ ″′ ,
″ ″ ″
′ ″ ″′ ,
50
′ ″ ″′ ,
′ ″ ″′
제3장 고계 선형상미분방정식
이므로 는 일차독립이다.
이므로 주어진 방정식의 해이다.
5. cos sin 라 하자.
′ ″ ″′
이므로 는
′ cos sin
″ cos sin
일차독립이다. ″′ cos sin
2. 라 하자. ′ sin cos
′ ″ ″′ ,
″ sin cos
′ ″ ″′ , ″′ sin cos
이므로 주어진 방정식의 해이다. ′ ′ ′
″ ″ ″
cos sin
cos sin sin cos
cos sin sin cos
이므로 는 일차독립이다.
이므로 는 일차독립이다. 6. 라 하자.
′ sin ″ cos ″′ sin cos , ′ ″ ″′ 이므로 주어진
′ cos sin ″ sin cos
이므로 는
″′ cos sin sin cos
′ sin cos ″ cos sin
일차독립이다.
″′ sin cos cos sin
7. 상수계수 미분방정식이라면 특성방정식이 모두
이므로 주어진 방정식의 해이다. 일차식과 이차식의 곱으로 인수분해 되므로 2차와
다를 것이 없다.(단, 5차 이상에서는 근의 공식이
′ ′ ′ ′
존재하지 않는다.)
″ ″ ″ ″
″′ ″′ ″′ ″′
8. ∙ ∙ ∙ 이므로 일차종속이다.
cos sin cos sin
sin cos cos sin sin cos
sin
cos
cos
sin
9.
tan
sec
cot
csc
sec tan csc cot
sec csc
이므로 는 일차독립이다. 이므로 일차독립이다.
4. 라 하자.
′ ″ ″′ 10.
′ ″
이므로 일차독립이다.
″′
cos sin
′ 11. cos sin sin cos
″ sin cos
″′ 이므로 일차독립이다.
이므로 주어진 방정식의 해이다. 12. sin cos cos 이므로 일차종속이다.
sin cos sin
13.
cos sin cos sin
sin cos sin 예를 들어, 과 는 양수 구간에서는
일차종속이지만, 실수 전체에서는
일차독립이다.
이므로 일차독립이다.
(4) 일차종속일 수도 있다.
14. ∙cos ∙sin ∙ 이므로
위의 문제(문제20. (a)(3))의 예와 같은 예이다.
일차종속이다.
(5) 일차독립이다. 51
15. ∙cosh ∙sinh ∙ 이므로
위의 문제(문제20. (a)(2))의 예와 같은 예이다.
일차종속이다.
ln
ln 미정계수법에 의하여 cos sin 라 하자.
이므로 sin 이고 일반해는
ln
ln ln
cos sin cos sin sin 이다.
ln
초기조건에 의하여 ,
ln
′ , ″ ,
′″ 이므로
이므로
ln
이고 특수해는 cos sin 이다.
10. 을 풀면, (삼중근)
ln
이므로 ln ln 이다.
미정계수법에 의하여 라 하자.
이다. 따라서 일반해는 이므로 이고 일반해는
ln ln 이다.
ln 이다.
초기조건에 의하여 ,
6. 특성방정식 을 풀면, ± 이므로
′ , ″ 이므로
cos sin 이다.
미정계수법에 의하여 cos sin 라 하면 이고 특수해는
이다. 따라서 cos 이고
ln ln 이다.
12. 을 풀면, 이므로
일반해는 cos sin cos 이다.
이다.
7. 을 풀면, (삼중근)이므로
미정계수법에 의하여 라 하자.
이다.
미정계수법에 의하여 cos sin 라 하면 이므로 이고 일반해는
이다. 따라서 cos sin 이고
이다.
일반해는 cos sin 이다.
초기조건에 의하여 ,
8. 을 풀면, ± ± 이므로
이다. ′ ,
미정계수법에 의하여 라 하자.
″ 이므로
이므로 이고 일반해는
이고
이다. 특수해는 이다.
13. 을 풀면, ± 이므로
초기조건에 의하여 ,
이다.
미정계수법에 의하여 cos sin 라 하자.
′ ,
이므로 cos sin 이고
일반해는 cos sin 이다. 이를 풀면 이므로
초기조건에 의하여 , 이다.
″ 이므로
이고 특수해는 cos sin 이다.
54
14. 방정식 ″′ ″ ′ 에 대한
제3장 고계 선형상미분방정식
이다.
미정계수법에 의하여 cos sin 라 하면
이다. 따라서 cos sin 이고
17. 을 풀면, , ±
이므로 cos sin 이다. 일반해는 cos sin
이다.
det
에서
이며 이에 대응하는 고유벡터는
일반해는 탱크의 크기나 유동률 만의 값이 아닌 둘
사이의 비율 에 관하여 표현되었으며 값이 커 와 이다. 그러므로
지면 정상상태 도달시간이 짧아진다. 이다.
5. 주어진 조건을 모델링하면
′ ′ 따라서 이다.
det
cos sin
에서 이며 대응하는 고유벡터는
cos sin
, 와 이다.
따라서 일반해는
그러므로
이다.
cos sin cos
sin
cos sin cos
sin
따라서 이다.
이다.
(b) 을 풀면, (c) mode 해석
이므로 일반해는 이다. 일 때는 과 가 초기에 같은
13. (a) ′ 로 두면 ′ ′ 방향으로 움직이면 물체의 조화운동에서 두 개의
′ 스프링이 동시에 수축 또는 팽창되는 것을 의미
이므로 이다.
′ 한다.
det
일 때는 과 가 초기에 다른
방향으로 움직이면 물체의 조화운동 역시 하나의
에서 이며 이에 대응하는 고유벡터는
스프링이 압축될 때 다른 스프링은 인장되는
와 이다. 그러므로 것을 의미한다.
이다.
60
det
에서 , 이다.
고유치는 이고 고유벡터는 , ′
제4장 연립상미분방정식. 위상평면. 정성법
이다. 따라서 일반해는 9. ′
′
, 이다.
6.
′
′
det
이므로
이다.
det
에서
따라서 고유치는 이고 고유벡터는
고유치는 ± 이다.
, , 이다.
일 때 고유벡터는 이고,
일반해는 ,
일 때 고유벡터는 이다. 일반해는
,
cos sin 이다.
′
10.
cos sin ′
det 초기조건으로부터
, 이므로
이므로 ±
이다.
이고 특수해는
일 때 고유벡터는 ,
일 때
, 이다.
고유벡터는
이고,
일 때
고유벡터는
이다. 11.
′
′
일반해는
det
cos sin
,
에서 고유치는 이고 고유벡터는
cos sin
, 이다.
cos sin
그러므로 일반해는 ,
이다. 이다. 초기조건으로부터
′
8. , 이므로
′
이고 특수해는
det
에서
고유치는 (중근)이고, 고유벡터는 , 이다.
이므로 첫 번째 기저는 이다.
12.
′
′
두 번째 독립인 기저를
라 하고 주어진 방정식에 대입하면, det 에서
고유치는 이고 고유벡터는 , 이다. 즉, ′ ″ ′ 이다.
위 두 식에 의하여 ″ ′ ′ 이다.
이다.
일반해는 , 이다. 따라서 ″ ′ 이다.
초기조건으로부터 , 특성방정식이 이므로 (중근)
이므로 이고 이다. 일반해는
61
특수해는 , 이다. , ′
det
′
′
에서 고유치는 ± 이다. 일 때
고유벡터는 이고, 일 때
det
에서 고유치
det
에서
을 대입한 후 정리하면
고유치는 이고 고유벡터는 ,
′
이다.
′
일반해는 , 이다.
초기조건으로부터 ,
이므로 이고
det 에서 고유치는
특수해는 , 이다.
16. 항을 소거하면, ′ ′ 이다. 이고 고유벡터는 ,
즉, ′ ′ 이다. 이다. 일반해는 ,
첫 번째 식을 에 대하여 미분하면, ″ ′ ′ 이다.
고유치는 이고 고유벡터는 ,
′
3. 이다. 그러므로 일반해는
′
∆ 이므로 안정한 중심점(stable 이다.
center)이다. ′
8.
′
det
에서 고유치는
∆ 이므로 불안정한 안장점
이고 고유벡터는 , (unstable saddle point)이다.
이다. 그러므로 일반해는
cos sin ,
det 에서
det
에서 det
에서
고유치는 이고 고유벡터는 , 고유치는 이고 고유벡터는 ,
이다. 그러므로 일반해는 이다. 그러므로 일반해는
이다 , 이다.
′
5. 10.
′
′ ′
∆ 이므로 안정한 나선점(stable ∆ 이므로 안정한 나선점(stable
spiral point)이다. spiral point)이다.
det
det
에서
∆ 이므로 안정한 중심(stable 로 바꾸면
center)이다. ,
′
13. (10) ∆ 이다.
′
(a) 안장점 : 따라서
∆ 이므로 불안정한 마디점이다.
′
(11) (b) 안정한 흡인적 마디점 :
′ ∆ ≥
∆ 이므로 불안정한 안장점이다.
따라서 ≤
′
(12)
′ (c) 안정한 흡인적 나선점 :
∆ 이므로 안정한 중심이다. ∆
′ 따라서
(13)
′ (d) 불안정한 나선점 :
∆ 이므로 안정한 나선점이다. 또는 ∆
14. 라 치환하면 이다. 따라서
(e) 불안정한 마디점 :
′ ′ 이므로 변환된 연립방정식은
∆ ≥
이 곱해진 형태이다. 따라서 는 로 변하지 따라서 ≤
만, 와 ∆ 는 변하지 않는다. 가 로 변하므로
∆ 이다. 따라서 안장점(saddle point)이다. 이고 ∆ 이다.
5. ′ ′ 을 풀면 임계점은 따라서 안장점(saddle point)이다.
이다. 임계점 에서
로 두면 주어진
″′ ′ ″ ′ ′ ″ ′ ,
이다. 두 식을 곱하면 ′ ′ ,
1. 가 제차방정식 ′ 의 해이고 가
식 (1)의 특수해이므로
′
이고
det 에서 고유치는
이고 이다. 따라서 일반해는
이므로 는 제차방정식 ′ 의 해이다.
따라서 이다.
′ cos , 이다.
2.
′ sin
′ cosh
4.
det 에서
′ cosh sinh
이므로
이다. 일반해는
이고 ,
이다. 따라서 일반해는
이다.
′
10.
, ′
det 에서
det
에서
± 이고 고유벡터는 , 이다.
고유치는 이고 고유벡터는 ,
그러므로 이다.
이다. 그러므로
이다. 미정계수법에 의하여 라 하자.
미정계수법에 의하여 라
하자. 이므로
, 이므로
이고 이다. 일반해는
이다.
,
이다.
det 에서 고유치는
det
에서
미정계수법에 의하여 라 하자.
고유치는 이고 고유벡터는 ,
이므로
이다.
이고
그러므로 이다.
이다. 따라서 일반해는
미정계수법에 의하여
라
하자. cos sin
cos sin
이다. 초기조건에 의하여
이므로 ,
,
이므로 이다.
이므로
이다.
초기조건에 의하여
cos
sin 이다. 일반해는
69
, 이므로
′ ′ ′ ′
이므로 ′ 이므로
이다. det
에서
고유치는 ±
이고 고유벡터는 이다.
20. 주어진 조건을 Kirchhoff의 전압법칙을 이용하여
,
이다. 그러므로
모델링하면
′
이다.
이다.
18. 주어진 조건을 Kirchhoff의 전압법칙에 의해
이므로
이다.
모델링하면 따라서 일반해는
′ sin ′ ′ ′
이므로
′
sin
이다.
하자. 이를
′
에 대입하면
′
det
에서
임계점 에서
로 두면 주어진 방정식은
′ cos
cos
sin
≈
,
′
로 변형되므로 이고
∆ 이다. 따라서 중심(center)이다.
임계점 에서
로 두면 주어진 방정식은
′ cos
cos
sin
≈
,
′
로 변형되므로 이고 ∆
이다. 따라서 안장점(saddle point)이다.
29. ′ ′ sin 을 풀면 임계점은
정수 이다.
임계점 에서
로 두면
주어진 방정식은
′
,
′ sin
sin
≈
로 변형되므로 이고
∆ 이다. 따라서 중심(center)이다.
임계점
에서
로
두면 주어진 방정식은
′
,
′ sin
sin
sin
≈
로 변형되므로 이고
∆ 이다. 따라서 안장점(saddle point)이다.
30. ′ ′ 을 풀면 임계점은
이다.
임계점 에서 ′ ≈ 이므로
이고 ∆ 이다.
따라서 중심(center)이다.
CHAPTER 5
상미분방정식의 급수해.
특수함수
5.1 Power Series Method
2. → 이므로 이다.
8. ⋯
′ ⋯
3. 로 치환하면, 변수 의 계수는 ′ ⋯
76 ′
⋯
제5장 상미분방정식의 급수해. 특수함수
이고, 이다.
′ 이므로 , , , ,
즉, 이고 멱급수는 에서 수렴한다. , 이다. 따라서 이다.
에서 수렴하므로 수렴반지름은
이다. 9. ⋯
4. 주어진 멱급수를 정리하면
′ ⋯
∞
∞
″ ⋯
이다. 로 치환하면, 변수 의 계수는 ″ 이므로 , ,
이고,
, ,
→
이다. 따라서
이다. 따라서 ∞ 이다.
⋯ ⋯
cos sin
5. 로 치환하면, 변수 의 계수는
이다.
∞
10.
이라 하자.
이고,
이다. 즉, 이고
∞ ∞
′
, ″
수렴하므로 수렴반지름은
이다.
∞
6. ⋯
으로 변형된다. 즉,
′ ⋯ ∞
∞
, 이다.
∞ ∞
따라서 이다.
7. ⋯
⋯ ∞
′ ⋯
이다. 즉, ,
′ 이므로 , , ,
⋯
, ,
이다. 따라서 이다. ,
⋯ 이다.
,
∞ ∞
,
∞
, ⋯
∞ ∞
⋯
77
⋯ ∞ ∞
∞
∞ ∞
′
, ″
∞
∞
이므로 주어진 방정식은 ∞
∞
∞
∞
이다. 즉, ⋯ 이다.
이다.
으로 변형된다. 즉,
∞ 즉, , ,
∞ ∞
, , , ⋯
이므로 일반해는
∞
∞
∞
⋯ 이다.
∞
13.
이라 하자.
∞ ∞
∞
′
, ″
∞ ∞
,
∞
, ⋯
이므로 일반해는 ∞ ∞
⋯
⋯
∞
, , 이다. 따라서
,
이고 이다.
⋯ 19. ⋯
5.2 Legendre’
ln ⋯ 을 만족함을 증명하겠다.
이므로
∗
따라서 해의 기저는 와 ln
에서 함수 의 점화식을 구하겠다.
이다. 정리하면
∞ ∞ ∞
3. 를 예로 들면, 이므로
∞ ∞
cos
∙
양변에 을 곱하면
이므로 이다.
∞
cos
cos
이다.
코사인 제2법칙에 의하여 cos
이고 이다.
cos
(c) 이면 식 (12)에 의하여
∞
80
이다.
∞ ∙ ∙ ∙
이므로 이다.
이다.
이면 식 (12)에 의하여
14. 식 (12)을 에 대하여 미분하면,
∞
이다.
∙
∞
∞
이다.
이므로 이고
∞ ∞
,
⋯
∞
∙ ∙ ⋯
∞
이다.
이다. 의 계수를 정리하면
11. 으로 치환하면, , 이므로
′ 이고 ″ 이다. 따라서 주어진
이므로
방정식을 정리하면, Legender 방정식 이다.
15. 이므로
이 된다.
해의 기저는 이다.
⋯ 이므로
⋯
이고
이다.
⋯
이므로
⋯ 이다.
이므로 일반해는 이다.
′
, ″ 이므로
12.
은 차
0이 된다. 즉, 미분할 때 ≥ , ≥ 인
에 대하여 합을 계산하면 된다. 이다.
′
, ″ 이므로
″ ′
이다.
′ , ″ 이므로
″ ′
이다.
′ , ″ 이므로
81
이다.
″ ′
따라서 는 식 (16)을 만족한다.
∞ ∞
2. 로 치환하면 , ′ , ″
,
,
, 이므로
∞ ∞
∞
결정방정식은 이다.
따라서 이다.
∞ 이다. 즉. ,
인 경우에
이라 하자. 주어진
⋯ 이다.
방정식은
∞ ∞
⋯ , ,
∞
, ,
∙ ∙
으로 변형된다. 즉, , ⋯ 이므로
∙
∞ ∞
,
, ⋯ 이다.
이다. 즉. 는 임의의 실수이고, ∞
sin
⋯ 이다. 따라서 이다. 따라서
이다.
ln ln
차수축소법에 의하여, ′ , ln 차수축소법에 의하여, ′ csc ,
sin
이므로 ln 이다. sin cos
cot 이므로 cot ∙ 이다.
그러므로 ln 이다.
3. 주어진 방정식을 정리하면 ″ ′ 이므로 4. 주어진 방정식을 정리하면 ″ 이므로
결정방정식은 이다. 결정방정식은 이다. 따라서 이다.
∞
따라서 이다.
∞
인 경우에
이라 하자. 주어진
인 경우에
이라 하자. ∞ ∞
∞
∞
방정식은
′
, ″
으로 변형된다. 즉,
∞
이므로 주어진 방정식은
∞ ∞
이다. 즉,
⋯ 이므로
∞
, , , ⋯
으로 변형된다. 즉,
따라서 이다.
이다. 따라서 ⋯이다.
∞
공식에 의하여
인 경우에
이라 하자. 주어진
ln ⋯ 라 방정식은
하자. 으로 선택하면, , ∞ ∞
82
, ⋯이다. ∞
제5장 상미분방정식의 급수해. 특수함수
따라서 ln ⋯ 이다.
으로 변형된다. 즉,
∞ ∞
5. 주어진 방정식을 정리하면
″ ′ ∞
이므로 이다.
즉, 이므로 결정방정식은
∞
이다.
따라서 (중근)이다.
∞ 이다. 즉, , ,
인 경우에
이라 하자. 주어진
방정식은 ⋯ 이다.
∞ ∞
, ,
∞
⋯
이다. 따라서
으로 변형된다. 즉,
∞ ∞ ⋯
이다. 공식에 의하여
∞
ln ⋯
라 하자. , 으로 선택하면,
이다. 즉, ⋯
, , , ⋯이다. 따라서
이므로
⋯
, , ,
이다.
, ⋯
7. 이다. 즉,
이다. 따라서
이므로 결정방정식은 이다.
⋯ 따라서 이다.
∞
이다. 공식에 의하여 인 경우에
이라 하자. 주어진
ln ⋯
방정식은
라 하자. ∞ ∞
, , , ⋯이다.
으로 변형된다. 즉,
따라서
ln ⋯
∞
이다.
6. 주어진 방정식을 정리하면 ″ ′ 이다. 즉, , ,
이므로 이다. 즉,
⋯ 이므로
이므로 결정방정식은 이다.
이므로 결정방정식은
, ,
, ⋯
이다.
따라서 이다.
이다. 따라서
∞
⋯
인 경우에
이라 하자. 주어진 83
라 하자. 으로 선택하면, ,
∞ ∞
, , , ⋯이다.
으로 변형된다. 즉,
따라서 ⋯ 이다. ∞
∞ ∞
,
∞ ∞
∞
으로 변형된다. 즉,
∞ ∞
이다.
즉, , ⋯ 이다.
∞
⋯ , ,
이다. 즉, ⋯
, , ⋯
이므로 ⋯ 이다.
이다.
따라서
이다.
따라서 ⋯이다.
10. 주어진 방정식을 정리하면 ″ ′
공식에 의하여
∞
이다. 즉,
으로 변형된다. 즉,
차수축소법에 의하여, 이므로
∞ ∞
,
′ ln , 이다.
∞
그러므로 이다.
84 이다. 즉, ,
12. 주어진 방정식을 정리하면 ″ ′
⋯ 이다.
제5장 상미분방정식의 급수해. 특수함수
차수축소법에 의하여, 이므로
∞
ln
′ , cot 이다.
sin sin 으로 변형된다. 즉,
sin cos ∞ ∞
그러므로 cot ∙ 이다.
,
11. 주어진 방정식을 정리하면 ∞
″ ′ 이므로
이다. 즉, ,
이다. 즉,
이므로 결정방정식은 이다. ⋯ 이므로
따라서 이다. ∞
인 경우에
∞
이라 하자. 주어진
∞
sin
방정식은
∞ ∞
이다. 차수축소법에 의하여,
ln
∞ ′ csc , cot 이므로
sin
sin cos
으로 변형된다. 즉, cot ∙ 이다.
∞ ∞
13. 주어진 방정식을 정리하면
∞
″ ′ 이므로
이다. 즉, 이므로
∞ 결정방정식은 이다.
따라서 (중근)이다.
∞
이다. 즉, ,
인 경우에
이라 하자.
∞
,
으로 변형된다. 즉,
이다. 따라서
⋯ 이다.
∞ ∞ ⋯
따라서 식 (16)의 결과를 얻는다.
∞
(b) 나 가 음의 정수이면 은 언젠가부터는
∞
이 된다. → 이다.
따라서 이다. 85
(c)
′ ln , ln 이다.
그러므로 ln 이다.
∞ ⋯
⋯
14. (a)
이라 하자.
∞
′
,
⋯
∞
″
이므로 이므로
주어진 방정식은
∞ ⋯
∞
∞
이다.
으로 변형된다. 즉,
∞
⋯
∞
⋯
이다. 따라서 결정방정식은 이므로
이므로
이다.
일 때,
⋯
∞ arctan
이다.
∞
∞
⋯
이다.
⋯
따라서 이다.
이므로
16. 이므로
⋯
이다. 따라서
ln
(d) 일 때,
∞
∞ 이다.
17. 주어진 방정식을 정리하면 ″ ′
∞
이므로 이므로
∞
이다. 따라서
이다. 즉
⋯
이므로 ,
이다.
18. 주어진 방정식을 정리하면
이다.
⋯
이므로
따라서
⋯
이다.
라 치환하면 해는
이다.
(e) 이라 치환하면 이고
이다.
, 이다.
라 치환하면 해는
이므로
이다.
라 치환하면 해는
이다.
이므로
20. 주어진 방정식을 정리하면
87
이다.
5.4 Bessel’
이다.
이므로
→ →∞
방정식은 ″ ′ 으로 변형된다.
이므로 ∞ 이다. 따라서 모든 에 대하여
로 치환하면, 이므로
수렴한다.
2. 주어진 방정식은 Bessel 방정식이므로 일반해는
′ ,
이다.
3.
로 치환하면,
″
이다.
이다.
으로 변형된다.
따라서
이다. 7. 로 치환하면, 이므로 ′ ,
4. 로 치환하면,
″ 이다. 주어진 방정식은 Bessel 방정식
, 이므로 ′ ,
″
으로 변형된다.
따라서 일반해는
이다. 주어진 방정식은 Bessel 방정식
으로 변형된다.
이다.
따라서 일반해는 8. 로 치환하면, 이므로 ′ ,
이다.
″ 이다. 주어진 방정식은 Bessel 방정식
5. 로 치환하면, 이므로 ′ ,
으로 변형된다.
″ 이다. 주어진 방정식은 Bessel 방정식 과 은 일차종속이므로
이다.
으로 변형된다. 따라서
9. 로 치환하면, ′ ′ ,
일반해는 ″ ′ ″ 이므로
이다.( 가 정수가 아닐 때) 주어진 방정식은 Bessel 방정식
″ ′ 으로 변형된다. 따라서
6.
로 치환하면, ′ ′ ,
이므로 일반해는
이다.( 가 정수가 아닐
때) 존재한다.
10. 로 치환하면, ′ ′ , 다음 마찬가지로 (24a)에 의해 ′ 이고
⇔ 이므로 ( 임) 의
″ ′ ″ 이므로
주어진 방정식은 Bessel 방정식 연속된 영점 사이에는 인 점이 존재한다.
″ ′ 으로 변형된다. 이고 는 의 연속된 영점 사이의
88 로 치환하면, 이므로 점이므로 이 아니다. 그러므로 이점에서
이다.
제5장 상미분방정식의 급수해. 특수함수
′ ,
즉, 의 연속된 영점 사이에는 의 영점이
″
적어도 하나 존재한다.
따라서 의 영점 사이에는 의 영점이 정확히
이다. 주어진 방정식은 Bessel 방정식
하나 존재한다.
으로 변형된다. 따라서 16. 이면 ′ ′ ′ 이고 ″ ″ ′′ ″
이므로 이면
이다. exp
일반해는 이다.( 가
′ exp ,
정수가 아닐 때)
11.
″ ′ 이다. 즉,
12.
13. 가 양수이면 과 ± 은
′ ′ ′ ,
동치이다. 의 영점 사이에는 Rolle의 정리에
″ ″ ′ ′
의해 ′ 인 점이 존재한다. (24b)에 의해
″ ′ ′
′ 이므로 인 점이
8.63938 8.65373 0.01390
11.78097 11.79153 0.01056 ″
′
의 영점 ′
근사치 참값 오차
3.92699 3.83171 -0.09528
″ 으로 변형된다.
7.06858 7.01559 -0.05299
10.21018 10.17347 -0.03671 18. ± 이면 식 (27)은 ″ , ″
13.35177 13.32359 -0.02818
으로 변형된다. 특성방정식이 이므로
위의 영점 분석 및 근사치 계산에 의한 오차분석은 ± 이고 cos sin 이다.
Bessel 함수의 공학적 접근에서 매우 유용하다.
각 단계별 근사방정식의 오차해석은 이러한 따라서 cos sin 이다.
근사방정식에 대한 신뢰도를 보장한다.
15. 의 영점 사이에는 Rolle의 정리에 의해 ′ 인
일 때, 이므로 식 (27)
점이 존재한다. (24b)에 의해 ′ 이므로 의 첫 번째 항을 구하면
의 영점 사이에는 의 영점이 적어도 하나
첫 번째 식에 대입하면,
이다. ′′
′ ′ ″
″ ′
sin 의 급수는 1차부터 시작하고 계수가 이므로
이다.
이고 sin 이다.
21. 식 (21)의 (a)를 적분하여 89
이다.
′
24. (문제 22번)
이다.
25. 이므로
20. (21b)에서 일 때,
′
.
(21a)에 의해
′ ′
이다.
Bessel 방정식
으로
이므로 일반해는
이다.
이므로 ′ ,
이므로
90
″
이다. 9. 로 치환하면,
′ ′ , ″ ′ ″ 이므로 주어진
주어진 방정식은 Bessel 방정식
방정식은 Bessel 방정식 ″ ′
제5장 상미분방정식의 급수해. 특수함수
으로 변형된다. 따라서 으로 변형된다. 따라서 이므로
이다. 이다.
10.
6.
로 치환하면, ,
11. 과 이 일차독립임을 보이면 된다.
이므로 ′ ,
″
이다.
이라 하자. 와 가 일차독립이므로,
이고 이다. 즉 이고 이다.
주어진 방정식은 Bessel 방정식
따라서 과 이 일차독립이다.
으로 변형된다. 따라서
12. 이면, ′ ′ ,
3. Frobenius method에서
≠ 을
cos sin
주어진 미분방정식에 대입하여 얻은 최저차 항의
이다.
계수가 0인 방정식을 결정방정식이라 한다.
12. 주어진 방정식을 정리하면
4. 결정방정식에 의한 3가지 경우
(1) 정수차이가 아닌 두 근을 가질 때 ″ ′ 이므로
(2) 정수차이인 두 근을 가질 때
이다. 즉, 이므로
(3) 중근을 가질 때
결정방정식은 이다.
5. Legendre 방정식, Bessel 방정식
따라서 (중근)이다.
6. 거듭제곱 해는 다항식으로 단순화 될 수 있다.
∞
Legendre 다항식이 대표적인 예이다. 인 경우에
이라 하자. 주어진
7. 초기하방정식(hypergeometric equation)은
″ ′ 이다. 방정식은
∞ ∞
특정한 값들을 선택함으로써 방정식의 해로서 많은
도입하였다.
∞
10. 차수 ± ± ± ⋯일 때의 Bessel 함수
는 초등함수이다. 이다. 즉, ,
∞
11.
이라 하자. 주어진 방정식은
⋯ 이다.
∞
따라서 ⋯ 이므로
∞
∞
이다.
∞
차수축소법에 의하여, ′ ln ,
92
으로 변형된다. 즉,
⋯ 이다. 따라서 이다.
13. 로 치환하면 , ′ , ″
∞
이다. 주어진 방정식을 정리하면 인 경우에
이라 하자.
, 이므로 주어진 방정식은
∞
이다.
즉, 이므로 결정방정식은
∞
이다.
따라서 이다.
∞
인 경우에
∞
이라 하자. 주어진
으로 변형된다. 즉,
이다. 즉, 는 임의의 실수이고,
방정식은
∞ ∞ ⋯ 이다. 따라서 이다.
그러므로
이다.
∞
15. 주어진 방정식은 Bessel 방정식이므로 일반해는
∞
이다.
으로 변형된다. 즉,
이다.
16. 주어진 방정식을 정리하면 ″ ′
즉, 는 임의의 실수이고, ⋯ 이
이므로 이다. 즉,
다. 따라서 이다.
이므로 결정방정식은
차수축소법에 의하여, ′ , 이므로 이다.
따라서 이다.
∙ 이다. ∞
인 경우에
이라 하자. 주어진
그러므로 이다.
방정식은
∞ ∞
14. 로 치환하면 , ′ , ″
∞
이다. 주어진 방정식을 정리하면 ,
으로 변형된다. 즉,
이므로 이다. ∞ ∞
,
즉, 이므로 결정방정식은 ∞
이다.
이다. 즉, ,
따라서 이다. ⋯ 이다. 즉,
∞
인 경우에
이라 하자. ⋯ , ,
방정식은 ″ ′ 으로 변형된다.
93
따라서 ⋯ 이다.
로 치환하면,
이다. 따라서 이다. 주어진 방정식은 Bessel 방정식
∞
으로 변형된다.
인 경우에
이라 하자. 주어진 방
이다.
∞
20. 주어진 방정식을 정리하면 ″ ′ 이므로
으로 변형된다. 즉,
이다. 즉, 이므로
∞ ∞
, 결정방정식은 이다.
따라서 (중근)이다.
∞
인 경우에
∞
이라 하자.
이다. 즉, ⋯ 이다. 주어진 방정식은
∞ ∞
⋯ 이므로
∞
이다.
으로 변형된다. 즉,
차수축소법에 의하여, ′ ln , ∞ ∞
이므로
,
∞
이다.
18. 로 치환하면,
이다. , ⋯ 이다.
′ ′ ″
′ , ″ 이므로 주어진
⋯ , ,
방정식은 ″ ′ 으로 변형된다.
, ,
로 치환하면, 이므로 ′ ,
, ⋯ 이다. 따라서
″
이다. 주어진 방정식은
이다.
Bessel 방정식
으로
공식에 의하여
변형된다. 따라서 ln ⋯
이므로
라 하자. , , ,
일반해는 이다.
, ⋯
이므로 ln ⋯ 이다.
CHAPTER 6
Laplace 변환
6.1 Laplace Transform. Linearity. First Shifting Theorem (s-Shifting)
1. ℒ
16.
2. ℒ ℒ
96
3. ℒcos
제6 장 Laplace 변환
4. ℒcos ℒ cos
17.
5. ℒ sinh ℒ
cos
6. ℒ sinh ℒ sin
cosh
′ 이므로 는 증가함수이다.
ln
라 하자.
13.
이므로, 이면 이다. 즉, 이면
ln 이고 이다. 따라서 은
조건 (2)를 만족하지 않는다.
14.
21. 이면 Laplace 변환이 존재하지 않는다.
22. 로 치환하면 이다.
∞ ∞
15.
ℒ
∞
23. 로 치환하면 이다.
∞
ℒ
32. ℒ
∞
ℒ ≠
로 정의하면, ℒcos
이므로
ℒ
≠ 97
25. ℒ
cos sin 37. ℒ
26. ℒ
cosh sinh
38. ℒ
27. ℒ
ℒ
39. ℒ
cos
40. ℒ
ℒ
sinh
28. ℒ
41. ℒ
ℒ
ℒ
sinh
42. ℒ
29. ℒ
30. ℒ
cosh sinh
43. ℒ
ℒ
31. ℒ
ℒ
ℒ
cos sin
44. ℒ
cos sin
45. ℒ
ℒ
ℒ
24. ℒ
ℒ ∙
ℒ ∙
21. sinh , ,
′ sinh cosh sinh ,
ℒ ′ ℒ
,
25. ℒ
ℒ ∙
ℒ
sin
cos
22. (a) cos , ,
cos
′ cos sin , ′ ,
′′ sin cos sin , 26. ℒ
ℒ ∙
ℒ ′′ ℒ
ℒ , ℒ
cosh
sinh sinh
ℒ
27. ℒ
ℒ ∙
(b) 이므로
ℒ
ℒ
sin cos cos sin
sin cos
sin cos sin cos
이다.
28. ℒ
ℒ ∙
(c) ℒ
ℒ
sin
ℒ
(d)
이므로
cos sin
ℒ
sin cos
sin
cos
sin cos sin cos
이다.
(e) cosh , ,
29. ℒ
ℒ ∙
′ cosh sinh , ′ ,
ℒ ∙
′′ sinh cosh sinh ,
30. (a) 정리 1과 정리 2는 미분방정식을 대수식으로 이므로
바꾸는 역할을 하고 정리 3은 단순히 Laplace
(b) ℒ′
′
제6 장 Laplace 변환
∞
′ ′
이고 이다.
따라서
∞ ℒ
∞
∞
ℒ′
ℒ (d) Laplace 변환은 미분방정식을 대수적인
방정식으로 바꾼다.
(c)
, ′
이다.
101
13. ℒ
ℒ
ℒ
cos sin cos
15. ℒ
22. 이므로
16. ℒ
ℒ ℒ
이다.
sinh sinh
sinh
24. ,
cos sin
cos sin
102
25. , ′ 라 하자.
제6 장 Laplace 변환
coscos sinsin
cos sin
이므로 이다.
cos
cos sin
이다. 즉, 일반해는
cos
cos sin
cos sin sin
sin
cos
cos sin sin
cos sin sin sin
cos sin
26. 라 치환하면, 이다. 이다.
, ℒ
라 하면, 방정식은 ※ 28번~30번
′ 이므로 ℒ ,
″
′
sin ,
,
ℒ
′ 이다. 이다.
sin
28. sin sin 이므로
sin sin
이므로
ℒ 이다. 이므로
이다. 따라서
이다. 즉,
cos
sin cos sin
cos sin sin
cos sin
cos sin
이다. 즉, 일반해는 이다.
sin cos sin 29.
cos sin cos sin
이다. 이므로 ℒ 이다.
27. 라 치환하면, 이다.
이므로
, ℒ 라 하면, 방정식은
″
,
cos ,
′ sin 이다. 이다. 즉,
이다.
이므로 30.
cos sin
이므로 ℒ
이다.
이므로
이다. 따라서
※ 35번~37번
′ 이므로
ℒ ℒ
ℒ , 이다.
이다. 즉,
35. cos
cos cos 103
, 이다. 즉,
sin sin
이다. 따라서 이다.
sin sin
※ 32번~34번 sin sin
, ′ ′ 이므로 이다.
ℒ
ℒ , 이다.
36.
32. ∙
∙
∙
이므로 ℒ 이고 이다.
따라서
이므로 ℒ
∙ ∙ 이다. 이므로
∙
이다. 즉,
∙
이다. 이다. 즉,
33. 이므로
cos
ℒ
이고 이다.
cos sin
따라서 이다.
37. sin
이다.
sin sin
즉, 이다. 이므로 ℒ 이다.
34. 이므로
이므로
ℒ 이고 이다.
따라서
이다. 즉,
이다. 즉,
cos
cos
cos
cos
이다.
이다. ※ 38번~40번
이므로
′ 이므로
ℒ ,
이다. 즉,
ℒ ℒ
이다. sin sin
104 이다.
38.
40. sin
제6 장 Laplace 변환
3. ,
,
cos sin
cos cos
cos
5. ,
cos cos
,
sin sin
sin
sin sin sin
sin
sin
4. ,
,
sin
cos sin
cos sin
cos
cos sin
6. ,
9. ,
sin
sin
sin
cos sin
sin
11. ,
8. ,
,
,
,
cos sin
lim
→
⋯
이다.
106
14. (a) ℒ
⋯
⋯
제6 장 Laplace 변환
12. ,
⋯
⋯
sin
(b) ℒ sin
sin cos
sin cos
∙
13. (a) 에서 가 단순근(simple
(c) ℒ sin
root)이므로 ≠ 이다.
이므로
lim
→
coth
lim
→
이다. (d)
(b)
ℒ
⋯
에서 가 중근이므로 ≠ 이다.
⋯
이므로 lim 이다.
→
15. 하면,
이다.
⋯
ℒ ℒ
이므로 lim 이다.
일반적으로
→
6.5 Convolution. Integral Equations
1. ∗
(b)
2. ∗sin sin
cos cos
3. ∗
107
10.
,
,
sin
11. , , cosh
18. ℒ
∗
12. ,
,
19. ℒ
cos ∗ sin
13.
,
, sinh
cossin
sin sin
14. , ,
sin cos
cosh
sin cos cos
15. (a) ,
sin
,
20. ℒ ∗
16. (a) 로 치환하면, 이다.
21. ℒ
∗ sinh sinh
24. ℒ
sin ∗ sin
cosh
cosh
sinsin
cos cos
sinh
108
sinh sin sin
sin sin sin sin
제6 장 Laplace 변환
sin sin
22. ℒ ∗
이므로
25. ℒ
cos ∗ sin
ℒ
cossin
sin sin
이다.
sin cos
23. ℒ
∗sinh
sin cos cos
sinh
sin
cosh
cosh
26. ℒ ℒ
ℒ
ℒ
sinh
ℒ
ℒ
cosh
6.6 Differentiation and Integration of Transforms.
ODEs with Variable Coefficients
2. ℒ sinh
9. ℒ cos
3. ℒ
4. ℒ cos
10. ℒ
5. ℒ sin
⋯
6. ℒ sin
11. ℒ sin
14.
,
7. ℒ sinh
ℒ ℒ
sin
8. ℒ sin
15.
,
ℒ ℒ
sinh
∞ sin
16. 이므로
ℒ ℒ
′
이고
19. ln
ln ln 이므로
ℒ ℒ
sin 이다. ′
이고
109
ℒ sin ℒ ′ cos 이다.
이다. 이 식을 정리하면
이다. 이 식을 정리하면
,
이므로
이다. 따라서 일반해는
,
이다. 따라서 일반해는 이다.
이다. 식(11)을 Laplace 변환하면
예제2)의 식을 Laplace 변환하면
,
이다. 이 식을 정리하면
, 이다.
이다. 이 식을 정리하면
따라서 일반해는 이다.
식(12)을 Laplace 변환하면
,
이므로 이다. 이 식을 정리하면
, , 이다.
따라서 일반해는
cos sin sin cos
이다. 따라서 일반해는
이다.
이다. 식(13)을 Laplace 변환하면
(b) 식(8)을 Laplace 변환하면
,
4. 주어진 방정식을 Laplace 변환하여 정리하면
이다. 이 식을 정리하면
, 이다.
110 따라서 일반해는 이다. 이 식을 정리하면
cos sin cos sin
이므로 일반해는 sin cos 이다.
제6 장 Laplace 변환
이다.
5. 주어진 방정식을 Laplace 변환하여 정리하면
(c) 식(3)을 Laplace 변환하면
이다. 이 식을 정리하면 이다. 이 식을 정리하면
이므로
이므로 일반해는
sin sin cos
sin
sin sin cos
cos sin cos
이다.
6. 주어진 방정식을 Laplace 변환하여 정리하면
이다. 이 식을 정리하면
이므로 일반해는 cosh sinh sinh 이다.
이므로 일반해는 12. 주어진 방정식을 Laplace 변환하여 정리하면
이다. 이 식을 정리하면
이다.
8. 주어진 방정식을 Laplace 변환하여 정리하면 111
이므로
이다. 이 식을 정리하면
이다. 이 식을 정리하면
이므로 일반해는 이다.
이므로 일반해는
10. 주어진 방정식을 Laplace 변환하여 정리하면
sin cos
sin cos
이다.
이다. 이 식을 정리하면 14. 주어진 방정식을 Laplace 변환하여 정리하면
이다. 이 식을 정리하면
이므로 일반해는 이다.
이므로 일반해는
15. 주어진 방정식을 Laplace 변환하여 정리하면
cos cos
sin sin
이다.
11. 주어진 방정식을 Laplace 변환하여 정리하면
이다. 이 식을 정리하면
이다. 이 식을 정리하면
이므로 일반해는
이므로 일반해는 이다.
이다.
19. 주어진 조건을 모델링하면 Kirhhoff의 전압법칙에
의하여
′ cos ′
이다.
이다.
112 Laplace 변환 후 정리하면
16. 주어진 조건을 모델링하면
제6 장 Laplace 변환
5. ℒ
cosh
∞ ∞
ℒ ℒ
sinh
이다.
( ⋯ )
∞
cos
ℒ
이고
∞ ∞
( : 양수) ℒℒ
이므로 ℒ≠ℒℒ 이다.
sin
6. 단위계단함수 는 에서 0이고
2. 1단계 : 주어진 미분방정식을 변환하여 에서 크기 1의 도약을 하고 일 때 1이다.
보조방정식을 얻는다.
2단계 : 보조방정식을 대수적으로 풀어 해를
≤ ≤
otherwise
일 때, Dirac delta
∞ ∞
ℒ ℒ
25. ℒ
ℒ
∞
≠
26. ℒ
17. ℒ sin 이므로
ℒcos sin
이다.
18. ℒsin ∗ cos ℒsinℒcos
19. ℒ ∗ ℒℒ
,
cos sin
cos sin
114
cos sin
제6 장 Laplace 변환
이다. 이 식을 정리하면
31. ℒ cos
이므로 일반해는
cos cos 이므로
sin cos
ℒ cos ℒ cos
이다.
35. 주어진 방정식을 Laplace 변환하여 정리하면
이다.
이다. 이 식을 정리하면
이므로 일반해는 이다.
cos sin
32. ,
이다. 이 식을 정리하면
,
cos sin
이므로 일반해는
cosh sinh
cosh sinh
이다
33. ,
이다. 이 식을 정리하면
이므로 일반해는
sin
sin
. 이다.
115
40. 문제 38번과 같은 방법으로 방정식
을 얻는다.
이다. 이 식을 정리하면 41.
이므로
이다. 이 식을 정리하면
이다. 따라서
이므로 일반해는
이다.
42. ′
이다.
38. 오른쪽으로 향하는 것을 양의 방향이라 하자.
가 각각 평형위치에서 의 위치에
이므로 이다.
있을 때, 스프링이 늘어난 길이는 각각
이 식을 정리하면
이다.
Hook의 법칙에 의하여, 에 스프링에 의한 힘
이 음의 방향으로, 스프링에 의한 힘
이 양의 방향으로 작용한다.
즉, 에 작용하는 힘은 이다.
뉴턴의 제 2법칙에 의하여
″
이다. 따라서
이 성립한다.
마찬가지로 에 스프링에 의한 힘 cos sin sin
이 음의 방향으로, 스프링에 의한 힘
cos sin
이 양의 방향으로 작용한다.
cos sin sin
즉, 에 작용하는 힘은 이다.
뉴턴의 제 2법칙에 의하여 cos sin
″
cos sin
이 성립한다.
39. 주어진 조건을 문제 38번에 적용하면 sin cos sin
″ 이고
″
이다. 이 연립방정식을 Laplace 변환하여 정리하면 sin cos
이다.
cos sin cos
43. ′ sin
116
제6 장 Laplace 변환
cos sin cos sin
44. 주어진 조건을 모델링하면
′ ′ ′ 이다.
이 연립방정식을 Laplace 변환하면
이다.
이를 정리하면
,
이다.
따라서 해는 이다.
45. 주어진 조건을 모델링하면
′ ′ ′ ′
이다. 이 연립방정식을 Laplace 변환하여 정리하면
이다. 이를 정리하면
이다. 따라서 해는
이다.
CHAPTER 7
선형대수: 행렬, 벡터,
행렬식, 선형연립방정식
7.1 Matrices, Vectors : Addition and Scalar Multiplication
1. 처음 3개의 행렬은 크기가 × 이고 마지막 2개의
행렬은 크기가 × 이다. 따라서 크기가 다르다. 10. ∙
2.
118
3. 예제 1번의 ×
∙
예제 2번의 ×
제7 장 선형대수: 행렬, 벡터, 행렬식, 선형연립방정식
예제 3번의 와 ×
예제 5번의 ×
4. 예제 1번의 행렬 의 대각선 성분 :
예제 3번의 행렬 의 대각선 성분 :
예제 3번의 행렬 의 대각선 성분 :
5. (a) (b)
6. 이므로 이다.
7. 성분의 개수가 다른 행벡터와 열벡터는 더할 수
11.
없다.
성분의 개수가 같더라도 열벡터와 행벡터는 더할
수 없다.
성분 0의 개수가 다르더라도 전체 성분의 개수가
같은 행벡터는 더할 수 있다.
벡터와 스칼라도 더할 수 없다.
4개의 성분을 갖는 벡터와 × 행렬도 더할 수
없다.
8.
12.
는 정의되지 않는다.
13. ∙
9.
는 정의되지 않는다.
14.
는 정의되지 않는다.
는 정의되지 않는다.
119
제7 장 선형대수: 행렬, 벡터, 행렬식, 선형연립방정식
따라서 이다.
⋯ ⋯
이므로 식 (14)도 대칭행렬이다.
⋯ 이 반대칭행렬이면
⋯ ⋯
⋯
이므로 식 (14)도 반대칭행렬이다.
(d) 와 가 대칭행렬이므로 식 (10d)에 의하여
124
→
추이율 : 의 한 행을 0 아닌 수로 상수 배를
하여 를 얻고 의 한 행을 0 아닌 수로
상수 배를 하여 를 얻었다면 그 과정을
제7 장 선형대수: 행렬, 벡터, 행렬식, 선형연립방정식
에 적용하여 를 얻을 수 있다.
→
17. 주어진 조건을 모델링하면
→
이다.
→
→
이므로 이다.
이므로
14.
→
이다
18. 주어진 조건을 모델링하면
→
→
이다.
→
→ →
→
→
이므로 는 임의의
실수이다. 따라서 해가 무수히 많다.
이므로
15. (a) 행 교환이 동치관계를 만족한다.
동일률(reflexivity) : 교환한 두 행을 다시 이다.
교환하면 원래 행렬이 된다.
19. 주어진 조건을 모델링하면
대칭율(symmetry) : 행렬 의 행을 교환하여
행렬 를 얻었다면, 그 과정을 역으로
이다.
시행하여 에서 를 얻을 수 있다.
추이율(transitivity) : 의 행을 교환하여 를
얻고 의 행을 교환하여 를 얻었다면, →
그 과정을 모두 에 적용하여 를 얻을
수 있다.
(b) 한 행에 다른 행의 상수 배를 더하는 것이 →
동치관계를 만족한다.
동일률 : 한 행에 다른 행의 0 배를 더하면 원래 이므로
행렬이 된다.
대칭율 : 의 한 행에 다른 행의 배를 더하여 이다.
를 얻었다면 의 한 행에 다른 행의
20. 주어진 조건에서 저항 에는 전류가 흐르지
배를 더하면 를 얻는다.
않으므로 이다.
추이률 : 의 한 행에 다른 행의 상수 배를
더하여 를 얻고 의 한행에 다른 행의 따라서 이다.
상수 배를 더하여 를 얻었다면 그 과정을
에 적용하여 를 얻을 수 있다. 21. 각 분기점에서의 값을 계산하면
→
행을 8 배하는 기본 연산이다.
라 하면
→
이다.
125
이므로
이라 하면
22. 주어진 조건에서 이므로
이다.
→
이다.
→ →
이라 하면,
이므로
이다.
23. 주어진 조건을 모델링하면
이다.
→
→
이다.
이를 만족하는 가장 작은 양수는
이다.
24. (a) 가 × 행렬이라 하고, 이 행렬의 행들을
차례대로 하 하자. 즉
이고 ⋯ 는 × 행렬이다.
그러면,
이므로 ≠ 이다.
가 되므로, 각각 두 번째 행과 세
적용하여 얻어지는 기본 행렬 를 에 곱하는
것이 이 행렬에 원래의 기본 연산을 적용하는
≠이면 이다.
→ 이므로 rank는 2이고
행공간 및 열공간의 기저는 이다.
→
이므로 열공간의 기저는
≠ 이면 이다.
이므로 rank는 2이고
행공간 및 열공간의 기저는 이다.
8.
→
≠ ≠ 이면
→ 이다.
→ →
이면 rank는 1이고
행공간 및 열공간의 기저는 이다.
≠ 이면 rank는 2이고
→
행공간 및 열공간의 기저는
이므로 rank는 4이고 행공간의 기저는
이다.
3. → → 이므로 rank는 3이고 이다.
행공간의 기저는 이다.
→
→ → 이므로 열공간의
기저는 이다.
→
→
4. → →
→ 이므로 열공간의 기저는
이므로 rank는 3이고 행공간의 기저는
이다. 이다.
→
이므로 열공간의 기저는 9.
→
→
이다.
5. → →
→
→
이므로 rank는 3이고 행공간의 기저는 이므로 rank는 3이고 행공간의 기저는
이다. 이다.
→ → 이므로 열공간의
→
→
기저는 이다.
6. → → →
→
이므로 rank는 2이고 행공간의 기저는
이므로 열공간의 기저는
이다. 이므로 rank는 1이다.
12. 정리 3에 의하여 와 는 같은 계수를
10.
→
갖는다. 식 (10d)에 의하여 이므로
rank rank 이다.
13. 이라 하면
→
→
이다.
이므로 이고
127
→
15. 가 × 인 정방행렬이라 하면 의 행벡터,
열벡터는 개다. 의 행벡터가 의 열벡터와
같으므로 의 열벡터는 일차독립이다. 정리 3에
이므로 열공간의 기저는
의하여 rank 이다. 따라서 rank 이고
의 일차독립인 열벡터도 개다. 즉 열벡터도
이다.
일차독립이다.
11. (a) 이므로
⋯
⋯ 16. 이라 하면 이고
⋯
⋮ ⋮ ⋮ ⋱ ⋮
⋯ 이다. 이므로
⋯
→
⋮ ⋮
⋯
⋯
⋮ ⋱ ⋮
⋯
이다. 따라서 두 행렬의 곱에 의하여 얻어진
행렬의 rank는 두 행렬의 rank 어느 것보다도 크지
않다.
⋯
⋯
→ ⋯
⋮⋮ ⋮⋱ ⋮
⋯
17. → →
→
이므로 rank는 2이다.
⋯
⋯
⋯
⋮ ⋮ ⋮ ⋱ ⋮
18. →
⋯
⋯
→
⋮ ⋮ ⋮ ⋱ ⋮
⋯
⋯
⋯
⋯
⋯
→ ⋯
→ →
⋮⋮⋮⋱ ⋮
⋯
이므로 rank는 2이다.
(c) 이므로 이므로 rank는 4이고 일차독립이다.
⋯ ⋯
⋯
⋯ → ⋯
⋮ ⋮ ⋮ ⋱ ⋮
⋯
⋮⋮⋮⋱ ⋮
⋯ ⋯
19. → →
이므로 rank는 3이고 일차독립이다.
20.
→
→
→
→
이므로 rank는 2이고 일차종속이다. 이므로 주어진 벡터들은 일차종속이다.
3열과 4열은 0이 아닌 첫 번째 성분을 가지고 있지
128 21.
→
않으므로 3번째와 4번째 벡터를 제거한다.
제7 장 선형대수: 행렬, 벡터, 행렬식, 선형연립방정식
→ →
→
→
이므로 rank는 3이고 일차종속이다. → →
22.
→
이므로 이 세 백터는 일차독립니다.
27. 2차원 벡터공간이며 기저는 이다.
→
28. ≠ 이면 을 포함하지 않으므로 벡터공간이
아니다. 이면 2차원 벡터공간이고 기저는
이므로 rank는 2이고 일차종속이다.
이다.
23. → 29. 가 원소이면 ≤ , ≥ 이므로
이므로 rank는 2이고 일차독립이다. 는 원소가 아니다. 따라서 벡터공간이 아니다.
30. 2차원 벡터공간이며 기저는
24.
→
→
번 성분만 1인 벡터( ≠
인 벡터 ⋯ )와
번 성분만 1인 벡터( ≠ 인 벡터
→
→
⋯ )이다.
31. 성분이 음수인 벡터만 가지므로 은 원소가
이므로 rank는 3이고 일차종속이다. 아니다. 따라서 벡터공간이 아니다.
32. 1차원 벡터공간이며 기저는 이다.
25. → 33. 1차원 벡터공간이며 기저는 이다.
34. ≤ ≤ 인 벡터 ⋯ 은
이므로 rank는 3이고 일차독립이다.
원소이지만 ⋯ 은 원소가 아니므로
26.
→
→
벡터공간이 아니다.
35. 1차원 벡터공간이며 기저는 이다.
이고
이다. 이다. 첫 번째 열에 대해
(d)
이고
이다.
(e) 이다.
세 번째 행에 대해 전개하면
9. cos sin
sin cos
cos sin
∙ ∙
13.
4. 차 확장행렬 계산에 번의 계산이 필요하고 각
계산마다 sec 의 시간이 소요된다고 가정하면
s Rule
표에서의 값들을 얻게 된다.
5. 가 × 행렬이면 이므로
det det 이다.
가 × 행렬일 때, det det
라 가정하자.
14.
⋯
⋯
가 × 행렬이면 이다.
⋮ ⋮ ⋱ ⋮
⋯
를 행과 열을 소거하여 얻은 의 부분행렬
이라 하면, 가정에 의하여 행과 열을 소거하여
15.
얻은 의 부분행렬의 행렬식은 이다.
따라서
det
16. det
det
증명.
수학적 귀납법에 의하여 det det 이다.
일 때 det 이므로
6. 첫 번째 행원소들의 소행렬식은
성립한다.
이고
일 때 성립한다고 가정하면 일 때
여인수는 이다. 행렬의 첫 행을 첫 번째 항을 제외한 모든 항은
이 되도록 만든다. 방법은
세 번째 행원소들의 소행렬식은
이고
⋯
여인수는 이다. 그러면 제 1행의 1열의 값은 이 되고 다른
7. cos sin
sin cos
coscos sinsin cos 항은 모두 이 되므로
8.
det ∙det 이고
∙
이다. 따라서
∙
→ → 이므로 rank는 2이다.
이므로
18. ≠ 이므로 rank는 3이다.
→
→ →
이므로 rank는 3이다.
19. ,
≠ 이므로 rank는 2이다.
이고 이다.
따라서
→
→
이다.
이므로 rank는 2이다. (e) 일반원뿔 곡선 :
∙
20. (a)
이다.
이므로 이고
이다.
21.
(b) 평면의 방정식 : ∙ 이므로
이다.
이므로
→
이고 이므로
이다.
이다.
이므로 이다.
→ 이므로
이다.
이므로 이다.
25.
23.
131
→ →
→ → 따라서
이므로 이다.
이다.
24.
→
→
→
따라서
→ →
이다.
→ 이므로 이다.
→
→
→
→
sin cos
cos sin
이므로 역행렬은
sin cos
이다.
→
3.
→
이므로 역행렬은 이다.
→
8. →
→
→
이므로 역행렬은 존재하지 않는다.
132
→
9.
→
제7 장 선형대수: 행렬, 벡터, 행렬식, 선형연립방정식
→
이므로 역행렬은
이다.
이므로 역행렬은 이다.
4. 정사각행렬이 아니므로 역행렬이 존재하지 않는다.
10.
→
5. →
→
→ →
이므로 역행렬은
이다.
→ →
→ →
6. →
→
→
→
→
→
이므로 역행렬은 이다.
이므로 역행렬은
이다.
11.
이므로 이다.
7.
→
이므로 역행렬은 이다.
이므로
이다. 따라서 이다.
12. 식 (1)에 의하여 이다. 양변의
왼쪽에
을 곱하면
이다. 다시 양변의 왼쪽에 을 이므로 역행렬 도 삼각행렬이다.
곱하면
18. 문제 7번의 주어진 행렬은 평면에 대한
같다. 즉 이다.
19. det
13.
이므로
133
이므로
이다. 따라서 이다.
14. 이다.
이다.
에서 양변의 왼쪽에 를 20. det
곱하면 이다.
15.
에서 양변의 왼쪽에 를
따라서
곱하면 이다.
16. 문제 2번의 행렬은 만큼 회전했을 때 생성되는
행렬이다. 역은 만큼 회전했을 때 생성되므로
문제 2번의 행렬에서 를 로 바꾸므로
역행렬을 구할 수 있다. 이다.
17. 가 인 삼각행렬이라 하자.
5. 덧셈에 대한 역원이 존재하지 않으므로
벡터공간이 아니다.
14.
6. 2차원 벡터공간이며 기저는 cos sin 이다.
7. 2차원 벡터공간이며 기저는 이다.
8. det ≠det det 이므로 벡터공간이
아니다.
9. 3차원 벡터공간이며 기저는
이다.
이다.
10. 4차원 벡터공간이며 기저는
15. ∥ ∥
이다.
이므로 ∥ ∥≤ ∥∥ ∥∥이다.
16. ∥
∥
24.
라 하자.
17. ∥ ∥
이므로 이다.
18. ∥ ∥
134 19. ∥ ∥
∥∥ ,
제7 장 선형대수: 행렬, 벡터, 행렬식, 선형연립방정식
∥∥ 이므로
20. ∥ ∥
∥∥∥∥ 이다.
21. 두 벡터가 직교하기 위하여 을 따라서 ≤ ∥∥∥∥이다.
25. 라 하면
만족하여야 한다. 따라서 이다.
22. 이므로 과 직교하는 ∥∥ , ∥∥
이므로 ∥∥ ∥∥ 이다.
벡터는 이다. 이는 2차원 벡터공간이며
이므로
기저는 이다.
∥ ∥ ,
23. 이라 하자.
이므로
∥ ∥
이다.
즉, ∥ ∥ ∥ ∥ 이다.
∥ ∥
≒ 이다.
따라서
∥∥ ∥∥
≒ ∥ ∥ ∥ ∥ ∥∥ ∥∥ 이다.
16.
26.
→
∙ 이므로 해가 없다.
17. det det det det 27. →
18.
→ →
이므로 이다.
28.
이다.
19.
29. → →
20.
이므로 rank는 2이고
→ →
이므로 rank는 2이다. 따라서 하나의 미지수가
임의의 실수로 남는다.
21. 30. →
이므로 rank는 1이고
→
이므로 rank는 1이다. 따라서 두 개의 미지수가
이다.
임의의 실수로 남는다.
22. → 31. →
→
→
이므로 rank는 2이고
→
→
→
→ →
이므로 rank는 2이다.
따라서 유일한 해가 존재한다.
32. →
이므로 rank는 1이고
→
136
이므로 rank는 2이다. 따라서 해가 없다.
제7 장 선형대수: 행렬, 벡터, 행렬식, 선형연립방정식
이고 고유벡터는 이다.
와 이다.
3. 이므로 10. cos sin 이므로 cos ±sin
고유벡터는 이다.
11. 이므로
4. 이므로 이다.
이면 이므로 이고
이고 이다.
고유벡터는 이다. 이면 이므로
이면 이므로 이고 이고 고유벡터는
고유벡터는 이다. 이다.
5. 이므로 ± 이다.
이면 이므로 12. 이므로
이고 고유벡터는 이다.
이므로
이면 이므로
이다.
이고 고유벡터는 이다. 이면 이므로 고유벡터는
6. 이므로 이다.
이다.
이면 이므로 고유벡터는 이다. 이면 이므로 고유벡터는
이면 이므로 이고
이다.
고유벡터는 이다. 이면 이므로
7. 이므로 (중근)이다. 이므로 이므로 고유벡터는
고유벡터는 이다.
이다.
8. 인 경우
이므로 ±
이다. 13. 이므로
이면
이므로
이므로
이고 고유벡터는
이다. 이므로
이다.
이고 고유벡터는
이면
이므로
이다.
이므로 고유벡터는
이다.
14. 이므로
인 경우
이므로 ±
이다.
이면
이므로
이므로 (중근)
이므로 고유벡터는 이다.
이다.
이면 이므로
이면
이므로
이고 고유벡터는 이다.
이므로 고유벡터는
이면 이므로
이다.
이므로 고유벡터는 이므로 고유벡터는 이다.
이다. 점 가 로 사상된다. 축 위의 점은
그 자신으로, 축 위의 점은 원점으로 사상된다.
15. 이므로
20. 139
이므로
(중근)이다.
(중근)이다.
고유벡터는 이다.
이면 이면 이므로
이므로 이고
고유벡터는 이다.
고유벡터는 이다.
이면 이므로 고유벡터는
이면 이므로 고유벡터는
와 이다. 이다.
평면 위의 점은 그 자신으로, 직선
위의 점은 원점으로 사상된다.
16. 이므로
21. × 행렬의 예
이므로 : 의 특성방정식은
(중근)이다.
이므로 고유치 2의 이다. 2에 대응하는
이면
고유벡터는 이므로 이다.
이므로
따라서 부족지수는 1이다.
이고 고유벡터는 이다.
× 행렬의 예
이면
이므로 :
의 특성방정식은
이고 고유벡터는 이다.
이므로 고유치 9의 이다. 9에 대응하는
이면
고유벡터는 이므로 이다.
이므로 이고
따라서 부족지수는 2이다.
고유벡터는 이다.
22. × 행렬의 예
17.
cos sin
sin
cos
:
× 행렬의 예
의 고유치는 이다.
이므로 ± 이다. 이면
이므로 고유벡터는 이다.
:
의 고유치는
이면 이므로 고유벡터는 이다.
이다. 23. 특성방정식에서 계수들이 실수이므로
특성방정식의 해는 실근을 가지거나 만약 허근을
18.
갖는다면 켤레복소수도 근이다.
이므로 이다.
24. 이 존재한다는 것은 det ≠ 와 동치이다.
이면 이므로 고유벡터는 이다.
⋯ 이 의 고유치이므로
이면 이므로 고유벡터는 이다.
det ⋯
축 위 임의의 점 가 로 사상되므로
이다. det ⋯ 이므로 det ≠ 와 은
이 에 대응하는 고유벡터이다.
의 고유치가 아니라는 사실은 동치이다.
19. ≠ 가 의 고유치라면 이다. 양변에
이므로 이다. 이면 을 곱하면 이므로 이다.
이므로 고유벡터는 이다. 이면
det det 이다.
따라서 은 의 고유치이다.
따라서 의 고유치는 의 고유치와 같다.
25. 를 정방행렬이라 하면 이므로
140 1. 이므로 이다.
이면 이므로 고유벡터는 8.
제8 장 선형대수: 행렬의 고유값 문제
이고 주방향은 이다.
이면 이므로 고유벡터는 9.
이고 주방향은 이다.
3. 이므로 이다.
이면 이므로 고유벡터는
→ → →
이고 주방향은 이다.
이므로 이고
이면
이므로 고유벡터는
이다.
이고 주방향은 이다.
따라서 이다.
4. 이므로 ±
이다. 10. 이므로
이면
이므로
이다. 따라서 성장률은 이다.
고유벡터는
이고 주방향은 11. 이므로 이다.
이다. 따라서 성장률은 이다.
이면
이므로 13. 는 각 회사가 상품을 만드는데 투자된 총비용이
고유벡터는
이고 주방향은 고 얻어지는 수입은 이다.
이다.
5. 이므로 이다.
이면 이므로 고유벡터는
→ → →
이고 주방향은 이다. 이므로 이고
이다.
이면 이므로 고유벡터는
따라서 이다.
이고 주방향은 이다. 14. k회사의 상품이 각 회사에서 소비되는 양을 모두
더하면 k회사의 총생산량과 같아야 한다. 가
6. 이므로 이다.
회사 k의 총생산 가운데 회사 j에서 소비되는
이면 이므로 고유벡터는
비율을 나타내므로
이다.
이고 주방향은 이다.
따라서 소비행렬의 열의 합은 1이다.
이면 이므로 고유벡터는 는 와 같은 고유치를 가지고 의 행의
이고 주방향은 이다. 합은 1이므로 는 고유치 1과 고유벡터 ⋯
17. 의 특성방정식은 20. det
det det 이다.
⋯ 이 의 고유치이므로
≤ ≤ 이다. 가 양수이므로 ≠ 이다.
따라서 ≤ ≤ 이므로 trace 이므로 문제 16번에 의하여 고유치의
⋯ 는 의 고유치이다. 합은 0이다. 따라서 고유치가 모두 실수이면
이면 대칭행렬이다. 이므로
이므로 이다.
이고 이다.
≠ , ≠ , 이면 직교행렬이다.
6. 대칭행렬이다.
이므로 ± 이다.
≠ , ≠ , ≠ 이면 세가지 모두 아니다. 이므로
이므로 ± 이다.
3. 세가지 모두 아니다. 이고
(중근)이다.
이므로 ± 이다.
7. 반대칭행렬이다.
이므로
cos sin
(e)
이고 ± 이다. sin cos
142
8. 직교행렬이다.
13. 예제 1번에서
제8 장 선형대수: 행렬의 고유값 문제
이라 하면
이므로
이므로 이다.
이고
따라서 이므로 직교행렬이다.
(중근)이다.
12. (a) 와 를 직교행렬이라 하자.
이므로 도
14. 이므로 이고
직교행렬이다. 이다.
이므로 도 15. 라 하면 이다. (8.2절 예제 1번)
직교행렬이다.
회전이동의 용어로 두 회전이동의 곱이나 라 하면 이다. (8.2절 예제
회전이동의 역도 회전이동임을 의미한다. 4번)
cos sincos sin ±
(b)
이므로 이다.
sin cos sin cos
cos sin cos sin
sin cos sin cos 따라서 와 의 고유치의 합이 의 고유치는
이므로 직교변환이다. 아니다.
cos sin 16. ≠ 이고 ≠ 라 하자. 가
라 하면
sin cos 대칭행렬이므로 이다.
∙ cos sin 따라서 이다. ≠이므로
∙ cos sin sin cos 이다. 따라서 와 는 직교한다.
∙ sin cos 이므로 정리 3을 17. 가 반대칭행렬이고 라 하자.
cos sin
만족한다. 역변환은 이다.
sin cos
(c) 은 회전이동이다. 이므로 도 반대칭행렬이다.
18. No.
의 고유치는 과 이므로
가 × 반대칭행렬이라 하고 이 홀수라 하자.
→∞ 일 때 발산(원형 궤적을 따라 돈다)한다. det det det det det
이므로 det 이다. 따라서 는 특이행렬
(d) 의 고유치는
과 (singular matrix)이다.
19. No.
이므로 →∞ 이면 0으로 반대칭행렬은 역행렬이 존재하지 않는다.(18번)
수렴한다. 따라서 나선형 궤적을 따라간다.
20. Yes. 예를 들면 이다.
6. (a) 문제 1번에서 trace 이고
2.
고유치의 합은 이다.
문제 3번에서 trace 이고
이다. 이므로
고유치의 합은 이다.
문제 5번에서 trace 이고
± 이다.
고유치의 합은 이다.
이면 이므로 고유벡터는
고유벡터는 이다.
즉 와 가
의 고유벡터이므로
따라서 trace
이다.
라
와 가 의 고유벡터이다.
하면
≤ ≤ 이다. 따라서
3.
trace
이다.
trace
이므로 이다.
이다.
이면 이므로 고유벡터는
(c)
에서 왼쪽에 을, 오른쪽에
이고 이면 이므로
을 각각 곱하면
고유벡터는 이다.
이다.
와 가
의 고유벡터이므로
(d) 고유치의 순서를 바꾸려면 에서 각 고유치에
와 가 의 고유벡터이다. 대응하는 고유벡터의 순서를 바꾸면 된다.
4.
7. × 행렬의 예
: 의 고유벡터는 이므로 ℝ 의
기저가 될 수 없다.
× 행렬의 예
이다. 이므로
이다. 이면 :
의 고유벡터는 이므로
이므로 고유벡터는 이다.
ℝ 의 기저가 될 수 없다.
따라서 가
의 고유벡터이므로
가 의 고유벡터이다. 8.
이라 하면 는 대칭행렬이다.
5.
의 고유치 에 대응하는 고유벡터가 각각
이다. 이므로
이다. 이다.
∙ ∙ ∙ 14. 이므로
이다. 이면 이므로
144
∙ ∙
고유벡터는 이고, 이면
제8 장 선형대수: 행렬의 고유값 문제
이므로 고유벡터는
∙ 이므로 은 정규
이며, 이면 이므로
직교 기저이다.
고유벡터는 이다.
9. 이므로 이다.
이면 이므로 고유벡터는
이므로
이고 이면 이므로 고유벡터는
이다.
이므로
이다.
10. 이므로 ± 이다.
이다.
이면 이므로 고유벡터는
15. 이므로
이고 이면 이므로 고유벡터는
이다. 이면 이므로
이다. 이므 고유벡터는 이고, 이면
이므로 고유벡터는
로 이다.
이며, 이면 이므로
11. 이므로
고유벡터는 이다.
이다. 이면 이므로 고유벡터는
이고 이면 이므로
이므로
고유벡터는 이다.
이므로
이다.
12. 이므로
이다.
이다. 이면 이므로
16. 이므로
고유벡터는 이고 이면
이다. 이면 이므로
이므로 고유벡터는 이다. 고유벡터는 이고, 이면
이므로 고유벡터는
이므로
이며, 이면 이므로
고유벡터는 이다.
이다.
13. 이므로
이므로
이다. 이면 이므로
고유벡터는 이고, 이면
이므로 고유벡터는
이며, 이면 이므로 고유벡터는
이다. 이다.
이므로 17.
이므로 이다.
식 (10)에 의하여 (타원)이다. 식 (10)에 의하여 (쌍곡선)이다.
이면 이므로 고유벡터는 이면 이므로 고유벡터는
이고 이면 이므로 이고 이면 이므로
이다. 이다.
145
따라서 이다. 따라서 이다.
19. 23.
이므로 이다. 이므로
식 (10)에 의하여 이다. 이다. 식 (10)에 의하여
이면 이므로
이고 이면 이므로
따라서 이다.
따라서 이다.
20.
24. 식 (9)에 의하여 를 식 (10)으로 변환한다. 식
이므로 이다. (9)의 역변환 가 존재하므로 ≠ 와 ≠
식 (10)에 의하여 이다. 사이에 일대일 대응이 존재한다. ≠ 에 대한
이면 이므로 고유벡터는 의 값은 식 (10)의 우변과 같으므로 고유값이
모두 양수라는 조건과 라는 조건은
이고 이면
동치이다. 또한 고유치가 모두 음수라는 조건과
라는 조건도 동치이고 고유치가 양수와
이므로 이다.
음수를 모두 갖는다는 조건과 가 양수와
음수를 모두 갖는다는 조건도 동치이다.
따라서 이다. 25. 문제 22번 에서
det 이므로 positive
21. definite이다.
이므로 이다. 문제 23번 에서
det 이므로 indefinite이다.
고유벡터는 과 이다.
이면 이므로 고유벡터는
이고 이면 이므로 고유벡터는
6. 이면
이다.
2.
이면
이므로
이므로 는 skew-Hermitian이다. 는 Hermitian이다.
이므로 이다. 이므로 이다.
이면 이므로 고유벡터는 이면 이므로
이고 이면 고유벡터는 이고
이므로 고유벡터는 이다. 이면
이므로 고유벡터는 이다.
3.
이면
이면
이고 이면 이므로 고유벡터는
이면 이므로 고유벡터는
이다.
이고
이면 이므로 에서 이므로 ± 이다.
unitary이다. 8. 에서
이면 이므로
고유벡터는 이고 이면
이다.
이므로 고유벡터는
이다. 14.
에서
147
이면 이므로 고유벡터는
9. 이므로 둘 다 아니다.
라 하면
10. 이므로
이므로 는 Hermitian이다.
는 skew-Hermitian이다.
이므로 는 skew-Hermitian이다.
11.
이므로
16. 와 를 unitary라 하자.
는 skew-Hermitian이다.
이므로 도 unitary이다.
를 unitary라 하고 라 하자.
이므로 도 unitary이다.
12. 이므로 는 Hermitian이다.
17.
13. 는 Hermitian이고 는 skew-Hermitian이고
이고
는 unitary이므로 이고
18. 가 Hermitian이면 이다.
가 skew-Hermitian이면
이다.
이다.
가 unitary이면 이면 이므로 는 정규행렬
이다. 이다.
이다.
23.
이므로 이므로
이다. 따라서 이다.
이다.
24.
이므로 ± 이다.
따라서 이다.
에서 이므로 25.
이다.
이므로
19. 이므로
이다. 따라서 이다.
이다. 이면 이므로
고유벡터는 이고 이면
이므로 고유벡터는 이다.
이므로
이다.
20. 이므로
이다. 이면 이므로
고유벡터는 이고 이면
이므로 고유벡터는 이다.
이므로
CHAPTER 9
벡터미분.
기울기, 발산, 회전
9.1 Vectors in 2-Space and 3-Space
(4b)
2.
152
3.
(4c)
제9 장 벡터미분. 기울기, 발산, 회전
4.
(4d)
(6a)
5.
6. (6b)
7.
(6c)
8.
(6d) ∙ ∙ ∙
9.
10.
21.
22.
11.
23.
12. 24.
25.
13. , 26. 라 하자.
14. 문제 21번에서
이고 평형조건으로부터
을 얻는다.
15.
따라서 이다.
16. 27. 라 하자.
문제 23번에서
이고 평형조건으로부터 을
얻는다. 따라서 이다.
17. 28.
이다. ,
(g) ⋯ 을 정 각형의 중심에서 각
이므로 이다. 따라서 꼭지점으로 그은 벡터라 하자. 이 벡터들 사이의
각은 이고 정 각형의 한 내각의 크기는
중선은 의 비율로 내분된다.
중선을 긋지 않은 꼭지점과 를 지나는 직선이
⋯
이다.
의 종점에 의 시점을 붙인다.
을 시작으로 다음과 같이 벡터들을 이동한다. 그러면 두 벡터 사이의 각은 이므로
의 종점에 의 시점을, 새로 만들어지는 도형도 정 각형이 된다.
의 종점에 의 시점을, 따라서 ⋯ 이다.
154
9.2 Inner Product(Dot Product)
제9 장 벡터미분. 기울기, 발산, 회전
식 (4) × ×
× ×
∙
×∙
식 (5) ×
× ×
× 4. × 이므로 ×
이다.
∙∙ ∙ × 이다.
× × 따라서 × ∙∙ ∙ 이다.
× sin cos
2. × ×이므로 × × × 이다. cos ∙∙ ∙
따라서 와 는 수직이다. 이므로 × ∙∙ ∙ 이다.
5. 힘 가 로 바뀌면 모멘트의 방향도 바뀐다.
3. × × 즉, 이 으로 바뀌므로 반대방향으로
회전한다.
6. 회전축으로부터 거리가 로 2배가 되면
속력이 2배가 된다.
7.
18. ××
× ×
8. 이므로 이다. 따라서
156 19.
제9 장 벡터미분. 기울기, 발산, 회전
20. ×∙ ×
이다.
9. 은 세 벡터 를 각각 한 변으로 하는
평행육면체의 부피를 의미한다. 즉, 이면
평행육면체의 부피가 0임을 의미한다.
21. ×
11. ×
×
× ∙ ×
22.
12. ×
×
∙ ∙ 23. ×
∙ ∙
× ∙
13. ×
24. (13) × × × ×
× ×
14. × ×
∙ ∙
15. × (14) ×× × ×∙ ×∙
(15) ×∙ × × ∙ × ×
16. ×∙ ∙ ∙ ∙ ∙
∙∙ ∙∙
∙
(16) ∙ × ×∙
∙ × ∙ ×∙ ∙ ×
×∙
∙ ×∙ ∙ ×
∙ × ∙ ×
17. ××
25. 이므로 cos 이다.
× ×
이고
이므로 삼각형의 넓이는
이다.
이다.
26. 이므로 cos
이다.
30. 이라 하자.
이고
이므로
157
법선벡터는
×
이다. 따라서
9.4 Vector and Scalar Functions and Their Fields. Vector Calculus: Derivatives
이다.
27. 평행사변형의 모서리를 구성하는 벡터는 평면의 방정식은
과 이다.
이다.
31. 이라 하자.
× 이므로
이므로
평행사변형의 넓이는 이다. 법선벡터는
×
이다.
28. 사각형 의 각 모서리의 중점은 따라서 평면의 방정식은 이다.
이다.
32. 이므로 평행육면체의
따라서 사각형 의 모서리를 나타내는 벡터는
부피는 이다.
33. 사면체의 모서리를 나타내는 벡터는
이다 마주보는 변을 나타내는 두 벡터씩
평행하므로 사각형 는 평행사변형이다. 이다. 이므로
× 이므로
사면체의 부피는 이다.
넓이는 이다. 34. 사면체의 모서리를 나타내는 벡터는
29. 삼각형의 두변을 나타내는 벡터는
이다. 이므로
이다.
× 사면체의 부피는 이다.
9.4 Vector and Scalar Functions and Their Fields. Vector Calculus : Derivatives
1. 2.
3. 7.
158
제9 장 벡터미분. 기울기, 발산, 회전
4. 8. (a)
5. (b)
6. (c)
159
9.4 Vector and Scalar Functions and Their Fields. Vector Calculus: Derivatives
10. 타원체
11. 타원주
9. 평면
12. 원뿔
(h)
(g)
(f)
(d)
(e)
13. 포물면 17.
160
제9 장 벡터미분. 기울기, 발산, 회전
14. 포물선 기둥
18.
15.
19.
16.
20.
21. (a) (d)
161
162
제9 장 벡터미분. 기울기, 발산, 회전
이다.
따라서 타원기둥 과 평면
이 만나는 타원이다.
10. 이므로 이다.
따라서 쌍곡선이다.
이다.
11. 이므로
따라서 타원기둥 과 평면
cos
sin 이다.
이다.
14. 방향벡터가 이므로
이다.
따라서 이다.
15. 이다.
16. 이므로
8. cosh sinh 이므로
cos sin sin 이다.
이다. 따라서 쌍곡선의 일부
따라서 cos sin sin 이다.
이다.
17.
cos sin sin 이므로
cos sin sin 이다.
18. cos sin 이므로
바뀐다.
22. (a)
(b)
164
제9 장 벡터미분. 기울기, 발산, 회전
(e) 일 때를 도시하면,
(c)
23. ≤ ≤
(d) sin sin 식을 만족해야 하므로 모든 정수
일 때를 도시해 보면,
≤ ≤ sin
≤ ≤
cos sin
165
≤ ≤
cos cos ≤ ≤
≤ ≤ 24. ′
이므로 이고
이다.
166
제9 장 벡터미분. 기울기, 발산, 회전
26. ′ sin cos sin cos
29. ′ sinh ′ ∙′ sinh cosh
cos sin sin cos
이므로 이고
이다.
34. cos sin 이므로
sin sin
일 때, 도시하면
이다.
cos sin
sin cos
sin sin
tan
cos cos
sin sin
cos sin
cos cos
n or m tan
33. 이므로
cos sin
tan
168
cos sin sin cos
제9 장 벡터미분. 기울기, 발산, 회전
n or m tan
sin sin cos cos
cos sin sin
sin
tan
cos
cot sin sin cos cos
n or m tan 43. 지구의 공전 반지름을 이라 하자.
sin
cos
× sec
cos sin
′ sin cos
″ cos sin
48. ′ 라 하자.
″ ′
′ ∙′ 이고 ′ 이므로
″′ ″ ″
′
′
″
′
이고
′ ″
″′
169
′ ″ ″′
sin
cos
″ ′ ′″ ″
′ ′
53. ′ ″ ″′ 이
50. ∙′ ∙ × 므로 ′ ∙′ ″∙″
∙ × ×
′ ∙″ ′ ″ ″′ 이다.
∙ × ∙ ×
′
′ 이므로 ′
′ ″ 이다.
54. ′ 이므로 ′ 이다.
′ 이므로
′ ′ × ×′ × ×
′
′
′ ″
′ ′ × ×′
× × × ×
′
′
′ ′ ″
55. ′ sin cos
″ cos sin
′ ″ ′ ″ ″′ ″′ sin cos
이므로 ′ ∙′ ″∙″ ′ ∙″
이다.
sin cos
51. ′ 라 하자.
′ ″ ″′ cos sin
sin cos
cos sin
′
″
′
,
9.7 Gradient of a Scalar Field. Directional Derivative
1. ∇ 5. ∇
170
제9 장 벡터미분. 기울기, 발산, 회전
3. ∇
7. ∇
∇
8. ∇
∇ ∇
9. ∇
10. ∇
∇ ∇ ∙∇ ∇
11. ∇ ∇
21. cos sin
12. ∇
∇
13. ∇ ∇
14. ∇
171
∇
19. sin cosh cos sinh
25. ∇
∇
20. ∇
∇
26. ∇ ∇ grad grad 을 만족하는 두 점 에서
의 물리적 의미는 에서의 열전달 또는 유수의
입. 출 속도가 에서의 값보다 상대적으로 크다는
것을 의미한다.
30.
∇ ∇
172
제9 장 벡터미분. 기울기, 발산, 회전
(c) cos
∙
div ∙∇
7. ∇ cos cos 이므로
(c) div∇
cos 이다. 따라서 cos 이다.
8. div
(a) 예를들면
∇ ∇ ∙∇
(d) div∇ div∇
(b)
∇ ∇ ∙∇ ∇ ∇ ∙∇
∇ ∇
,
예를 들면 div
9. 라 하자
div ∇ ,
div ∙∇
문제 6번에서
이므로
174 div ∇ 이다.
div div ∙∇
제9 장 벡터미분. 기울기, 발산, 회전
이므로
(d) div
∇ ∇ 이고
∇
∇
div∇
∇ ∇ ∙∇
10. (a) div
(e) div
(b) div
(f) div
(c) div
2. 가 평면에 평행하므로 이다.
4. curl
curl
3. grad 5. curl
curlgrad
6.
curl
curl
divcurl
7. curl
cos sin
sin
따라서 이다.
8. curl 14.
(a) curl
9. div 이므로 비압축적이다.
176
curl
제9 장 벡터미분. 기울기, 발산, 회전
curl curl
이므로 이다.
(b) curl
이므로 이고
이다.
divcurl
10. div sec tan 이고
curl csc cot 이다.
(c) curl
sec csc
sec csc 이므로
cos sin arcsin 이고
ln 이다. 이므로
arcsin ln 이다.
11. div 이므로 비압축적이다.
curl
이므로
이다.
따라서 이다.
12. div 이므로 비압축적이다.
curl curl ∇ ×
curl
(d) grad
이므로
이다.
curlgrad
따라서 이다.
13. div 이므로 압축적이다.
curl 이므로 비회전적이다.
(e) ×
이므로
이고
이다.
16. curl curl ∇ ×
div×
17. curl curl curl ,
curl∙ ∙ curl curl curl curl , 177
18. div× curl∙ ∙ curl
curl , 19. curl curl curl
curl curl ∇ ×
grad grad
15. curl curl curl ,
curl curl curl
20. grad 이므로
divgrad 이다.
× 도함수라 하고 이는 와 grad 의 내적으로 표현된
다.
9. 함수 의 기울기(gradient)는
외적의 크기는 × sin이고 방향은 오른
나사의 진행 방향을 가진다. grad 로 정의된다.
가 미분가능한 벡터함수이고 가 의
성분일 때
내적은 정사영에서, 외적은 오른 나사에 작용하는
힘으로부터, 스칼라 삼중적은 평행육면체의 부피에 div , curl 이다.
서 동기를 찾을 수 있다.
3. 가 오른 나사의 진행 방향을 주면 오른쪽으로 10. curl , × , × ×, ∙ × , × curl ,
편향된 좌표계이고, 왼 나사의 진행 방향을 주면 div , curl 는 의미가 있다.
왼쪽으로 편행된 좌표계이다. 11. ∙ , ∙ ∙
4. 두 벡터 중 어느 하나가 벡터이거나 서로 수직일 ∙ ∙ , ∙
때 내적이 이다. 12. × , × ,
두 벡터 중 어느 하나가 벡터이거나 서로 평행할 × , ×
때 외적이 이다. 13. × , ×
∆ × , ∙
5. ′ lim
∆ → ∆ 14. × 이므로 × ∙ 이다.
운동하는 질점의 속도, 속력, 가속도를 계산하거나 × 이므로 ∙ × 이다.
곡선의 곡률, 곡률 반경을 계산할 때 사용한다.
27. cos 이므로 의 방향의
∙×는 정의되지 않는다. 성분은 cos 이다.
15. × 이므로
28. × 이므로 sin 이다.
× × 이다.
즉, 또는 sin 이다. 따라서 거리나
178 × 이므로
힘이 일 때 또는 힘과 거리가 수직일 때
×× 이다.
제9 장 벡터미분. 기울기, 발산, 회전
모멘트가 이다.
××는 정의되지 않는다.
29. 이므로
16.
× 이다.
30.
이므로 이다.
∙ ∙
,
sin cos
17. , ,
cos sin
cos sin 이므로
sin
tan 이다. 따라서
18.
cos
arctan (타원기둥 위의 나선)이다.
19. × , × 이므로
× × 이다. 31. 사면체의 모서리를 나타내는 벡터는
× 이므로 × ∙ 이다. 이다.
×
이므로 부피는 이다.
20. × × 이므로 × × 가 성립하는 경우는
일 때이다. × sin 이므로 일 때 32. grad grad ,
× 이다. 따라서 와 가 평행할 때 grad
× × 이 성립한다. grad
항상 ∙ ∙ 는 성립한다. 33. div div
21. 라 하자.
이므로
34. curl
이고
이다.
22. 에서
curl
평면에 평행하므로 이고 이다.
2. ≤ ≤
′
∙
180
3. ≤ ≤
제10 장 벡터적분. 적분정리
4. ≤ ≤
′
∙
9.
′
5. cos sin ≤ ≤
≤ ≤ 이면 ∙
이다.
sin cos sin cos
8. ≤ ≤
12. (a) cos sin sin ′ sin cos
cosh sinh ′
∙ cos sin cos sin
∙
cosh sinh
라 치환하면 cos sin
sinh cosh
cossin sin
′ sin cos
∙
cossin cossin
15.
sin cos
라 치환하면 cos sin
cos sin sin
∙
18.
sin cos
(c) lim
→ ∞
∙ lim
→ ∞
≤ ≤ 19.
′
≤ ≤
′
13. ∙′
∙′
≤ ∙′
20.
′
≤ ′
sin sin
sin cos
이므로 sin sin , sin sin 이다.
이고 sin 이다. 따라서 완전하다.
cos ′ cos , 이고 cos cos 이므로
sin 이다. sin sin , 이고
sin sin cos cos 이다.
sin sin ′ sin , 이고
6. cos 이다.
이므로
cos sin sin
cos
9. cosh sinh cosh sinh
이다. 따라서 완전하다. 이므로 cosh
sinh 이다. 따라서 완전하다.
cosh cosh 이므로
이므로 ,
이고 이다. sinh sinh cosh ,
sinh 이고
′ , 이고
cosh sinh 이다.
이다. sinh ′ sinh , 이고
cosh sinh 이다.
cosh sinh cosh sinh
라 하면
7. sinh cosh sinh 이므로
sinh
cosh sinh
cosh sinh
sinh cosh 10. (a) 이므로
sinh 이다. 따라서 완전하다. 이다. ≠ 이므로 평면에서 경로에
sinh cosh 의존한다.
(b) ≤ ≤
이므로 cosh cosh ,
≤ ≤
이고 cosh 이다.
cos 이다. ′ , 이고
cos 이다.
cos sin cos
, 이고
이다. ′ ,
일 때 이다. (b)에서 일 때
이고 이다.
이므로 같은 값을 갖는다.
라 하면 ′ .
17. 이므로
이다.
′
≠ 이므로 적분경로에 의존한다.
18. cos cos sin 이므로
cos cos 이다.
일 때 최대값
≠ 이므로 적분경로에 의존한다.
11. grad arctan
19. cos cos
13. cos sin 이므로 cos 이므로
sin
sin 이다. sin
따라서 적분경로에 무관하다.
sin
cos cos 이므로
이다. 따라서 적분경로에 무관하다.
sin sin , 이고
sin 이므로
cos
sin sin
제10 장 벡터적분. 적분정리
3.
14.
4.
cos
cos
sin
5.
sin
8.
cos
sin
cos sin
sin
9.
sin
16. 반지름을 이라 하면 이다.
10.
11. 극좌표를 이용하는 것이 편리하다.
cos
이다.
cos
sin
12.
sin
17.
18.
185
10.4 Green’
20.
cosh cosh cosh
sinh cosh sinh cosh sinh
7. cos cos sin
3. ∙
cos sin
cos sin sin 이므로
cos sin cos
sinh sinh
sinh
8. ∙ cos sin
cosh cosh
sin sin
sinh cosh 9. ∙ ln
5. ∙
10. ∙
cos sin cos sin ,
∙ cos sin
cos sin
sin
186
curl 이므로
csc ln
cos sin
제10 장 벡터적분. 적분정리
ln
curl∙ 이다.
′ sin cos 이므로
∙′
인 잘 알려진 결과를 얻는다.
cos sin
12. 이라 하자. div 이다.
15. cos cos 이고
′ ′ 이므로 sin cos 이므로
∙ ′ ′ 이고
∇ 이다.
∙
div
라 하자.
16. 이고 이므로
curl
이므로
∇ 이다.
17. , 이므로
curl∙
∇ 이다.
∙ ∙′
div 이므로
div
.
∇∙ ′ ′ ∇∙
20. 이고 이므로 187
이므로
이다.
∇ 이다.
19. sin sin 이고
cos sin 이므로 ∇ 이다.
이므로 cos sin 이다.
sin cos
이다.
2. ( 평면)
이면 (원)
이면 tan (직선)
cos sin sin cos 이므로
cos sin 이다.
sin cos
3.
이면 (원) 5.
cos sin cos sin .
sin cos cos sin cos sin .
sin cos
4.
6. arctan
이면 (타원)
이면 arctan (나선)
이면 tan (직선)
cos sin sin cos ,
cos sin sin cos .
sin cos
188
제10 장 벡터적분. 적분정리
이면 타원
이고
≠ 이다.
이면 (타원)
cos cos
12. 문제 1 : 인 점이 존재하지 않는다.
cos sin cos cos 문제 2 : 원점(표현식 선택)
sin cos sin sin cos 문제 3 : 원점(곡면의 모양)
문제 4 : 인 점이 존재하지 않는다.
cos sin cos cos
문제 5 : 원점(표현식 선택)
sin cos sin sin cos
cos cos cos sin sin cos 문제 6 : 인 점이 존재하지 않는다.
문제 7 : ± (곡면의 모양)
문제 8 : 원점(표현식 선택)
13. 라 하면 이고
이다.
이므로
이다.
14.
이므로
8.
이다.
이면 (쌍곡선)
이면 포물선
cosh sinh sinh cosh ,
cosh sinh .
sinh cosh
cosh sinh
sin cos cos sin
cos sin cos sin
sin cos
189
cos sin cos cos sinh cosh cosh sinh
sin cos sin sin cos
cos cos cos sinsin cos
sin cos cos cos 의 벡터들은 와 의 일차결합으로
cos sin sin sin cos
cos cos sin cos sin cos 표현되므로
이다.
grad
(b) 이고 ∙ 이므로
grad
∙∇ 이다.
(c) 이므로
∇ 이다.
∙∇ 이므로
이다.
10.6 Surface Integrals
1. 이므로 .
∙ sin
∙
sin
190
8. cos sin ≤ ≤ ≤ ≤
제10 장 벡터적분. 적분정리
sin cos 이므로
2. ≤ ≤ ≤ ≤
cos sin .
이므로 .
∙
sin cos cos
sinh sinh
cos 10. cos sin ≤ ≤ ≤ ≤
cos sin sin cos 이므로
4. cos sin ≤ ≤ ≤ ≤ cos sin .
sin cos 이므로 ∙
cos sin .
sin cos sin cos
6. ≤ ≤ ≤ ≤
sin cos
cos sin
21. 임의의 점 에서 직선 까지의
15. ≤ ≤ ≤ ≤
거리를 이라 하면, 이다.
이므로
따라서 관성능률의 정의에 의해, 균일한 밀도의
이고 .
이다.
곡면을 고려하면
이다.
16. cos sin ≤ ≤ ≤ ≤ 22. 에 대한 관성능률식을 정의하면
cos sin sin cos 이므로
sin
cos sin 이고
.
이고 이므로
sin
17. 뫼비우스의 띠는 띠상의 한 점에서 출발하여 진행
할 때 반대면을 통과하여 다시 제자리로 돌아온다.
즉 띠에 표시된 사각형의 개수가 개 이면 제자리 이다.
로 돌아올 때까지 개의 사각형을 지나게 된다. 23. cos sin ≤ ≤ ≤ ≤
cos sin sin cos 이므로
cos sin 이고
이다.
24.
이때 은 질량중심축으로부터의 거리를
20. 관성능률의 정의를 표현하면 회전축에서 cos sin sin sin cos 이므로
따라서 cos
cos
cos
cos
192
26. (a) 이므로 cos
제10 장 벡터적분. 적분정리
(b) 이므로 sin cos
cossin coscos sin
sin cos sin sin cos
1.
3.
2.
4.
계산한다.
윗면 : ,
∙
아랫면 : ,
∙ 193
5. sin cos 앞면 : ,
∙
sin sin
왼쪽 면 : ,
sin cos
∙
sin cos
따라서 ∙ 이다.
7. cos cos sin cos sin 로 치환하면
11. div 이므로
≤ ≤ ≤ ≤ ≤ ≤ 이다.
∙
cos
cos
cos
cos
8. cos cos sin cos sin 로 치환하면
cos
≤ ≤ ≤ ≤ ≤ ≤ 이다.
13. div sin 이므로
cos cos sin cos cos sin
sin cos
sin
cos cos sin sin cos
cos ∙ sin
sin cos
15. div cos 이므로
cos
22. cos sin 로 치환하면
16. div sinh 이므로 ≤ ≤ ≤ ≤ ≤ ≤ 이다.
194
∙ sinh
제10 장 벡터적분. 적분정리
sinh
cosh 23. cos sin 로 치환하면
≤ ≤ ≤ ≤ ≤ ≤ 이다.
17. div 이므로
∙
cos sin 이므로 이다.
sin cos
cos sin
∙
19.
보다 작으므로 당연히 작다. 반대로 ≥ 일 때는
문제 23번의 부피가 상대적으로 크므로 산술적 계
산을 통해서 ≥ 일 때 문제 22번의 Moment
of Inertia의 값이 더 크다.
25. cos sin 로 치환하면 이고
이다. 따라서
20. sin cos cos sin cos 로 치환하면
이고 ≤ ≤ ≤ ≤ 이다.
≤ ≤ ≤ ≤ ≤ ≤ 이다.
sin cos
cos cos sin cos cos sin cos
sin cos cos cos sin sin
문제 20번 :
≤ ≤ 이므로
이므로 cos 이다.
cos 문제 21번 : 이므로
문제 22번 :
이므로
cos
cos
문제 23번 : 이므로
∙∇
cos sin
≤ ≤ ≤ ≤
∙∇
cos sin ≤ ≤ ≤ ≤
sin cos 이므로
cos sin 이다.
따라서 ∇ ∇ ∙∇
이다.
5. ∇ ∇ ∇ ∇
cos sin ∙∇ cos
이므로
cos
3. ∇ ∇ ∇ 이므로
에서 이고 ,
에서 이고
에서 , 에서 이고 ,
에서 이고 ,
에서 , 에서 , 에서 ,
에서 이고 ,
에서 이므로
에서 이고 ,
에서 이고 이므로
따라서 ∇ ∇ ∙∇
이다.
4. ∇ ∇ ∇ 이므로
따라서 ∇ ∇
.
6. ∇ ∇ ∇ ∇
≤ ≤ ≤ ≤
≤ ≤ ≤ ≤
이다.
에서 이고 ,
10. 이라 하면 ∇ ∇
∙ ∇ ∙
에서 , cos 이므로
에서 이고 , ∇ ∙ cos 이다. 따라서
196
에서 , 이고 ,
∇
제10 장 벡터적분. 적분정리
에서 이고 , cos cos
11. cos cos sin cos sin
에서 이고 이므로
≤ ≤ ≤ ≤
sin cos cos cos
cos sin sin sin cos
이므로 cos cos sin cos sin cos 이
고 cos , cos cos sin cos sin 이다.
cos ∙ cos cos sin cos sin
따라서 ∇ ∇
cos
7. div 이다.
cos
이라 하면 div 이다.
∇
div
이라 하면 div 이다. (b) 위에서 이므로
∇ 이다.
div
즉, 에서 ∇ 이다. 따라서 에서 는 상수
함수이다.
(c) 식 (9)에서 와 가 조화함수이므로
8. cos sin ,
≤ ≤ ≤ ≤ 이다.
∇ ∇
10.9 Stokes's Theorem
1. ≤ ≤ ≤ ≤ curl
이므로 .
curl∙
따라서 ± 이다.
197
10.9 Stokes’
따라서 ± 이다. 8. cos sin ≤ ≤ ≤ ≤
cos sin sin cos 이므로
2. ≤ ≤ ≤ ≤
cos sin .
이므로 . curl curl sin cos
s Theorem
curl cosh cos
curl cosh cos
curl∙
cos sin sin
curl∙ cos
따라서 ± 이다.
따라서 ± 이다.
9. ≤ ≤ 이면
3. ≤ ≤ ≤ ≤
′
이므로 .
≤ ≤ 이면
curl cos
′
curl cos
≤ ≤ 이면
curl∙
′
따라서 ± 이다.
4. ≤ ≤ ≤ ≤ ≤ ≤ 이면
이므로 . ′
curl curl
∙ ′
curl∙
10. cos sin ≤ ≤ 이면
′ sin cos sin cos
따라서 ± 이다.
5. ≤ ≤ ≤ ≤ ∙ ′
sin cos
이므로 . 11. cos sin ≤ ≤ 이면
′ sin cos sin cos
curl curl
∙ ′ sin cos
curl∙
198
∙ ′ curl∙
sin cos 이므로
cos sin 이다.
sin cos
curl 이므로
제10 장 벡터적분. 적분정리
∙ ′ curl∙
20. cos sin ≤ ≤ ≤ ≤
sin cos 이므로
17. cos sin ≤ ≤ ≤ ≤ cos sin 이다.
curl sin , curl sin 이므로
sin cos 이므로
cos sin 이다. curl , ∙ ′ curl∙
curl 이므로
sin sin
1. ∙
4. Gauss 발산정리는 공간상의 영역에서 수행되는
삼중적분을 경계면에서의 면적분으로 변환한다.
∙
div ∙
5. 회전의 정의는 curl ∇× 이며
또는
2. 영역에서 선적분의 경로의 독립성이란 끝점이 완전성과 적분경로의 독립성에 대한 판정법에
임의의 경로상에서 주어진 함수의 적분은 영역에 사용된다. 또한 Stokes 정리에도 적용되므로 매우
놓여 있는 같은 끝점을 연결하는 모든 적분경로에 중요하다.
대하여 같은 적분값을 가짐을 의미한다. 경로의 6. 선적분을 응용하는 경우는 가해진 임에 의해
독립성이 가역성을 보장하는 도구이므로 중요하다. 수행된 일을 계산할 때이다.
3. 이중적분은 Green 정리에 의하여 경계선상에서의 면적분을 웅용한 경우는 표면을 지나는 flux를
선적분으로 변환된다. 계산하는 것이다.
7. 곡면의 방향은 두 개의 가능한 단위법선벡터 중의
하나를 연속적으로 선택하여 결정된다. 곡면적분
곡면적분은 Stokes 정리에 의하여 경계선상에서의 ∙ 의 적분값은 단위법선벡터의 선택에
선적분으로 변환된다.
의존하는 유향곡면 위에서의 적분이다. 곡면의 방
curl∙ ∙ ′
향이 바뀌면 단위법선벡터의 방향이 바뀌므로 적분
에 -1을 곱하는 것과 대응된다.
8. Gauss 발산정리는 공간상의 영역에서 수행되는
∙ ′ curl∙
삼중적분을 경계면에서의 면적분으로 변환한다. 16. curl 이므로 적분경로에 의존하다.
∙ curl∙
sinh cosh 이고
cosh 이다.
cos
′ 이므로 cosh
따라서 ± 이다.
∙
22.
200
cos
이다.
제10 장 벡터적분. 적분정리
30. cos cos sin cos sin
cos
≤ ≤ ≤ ≤
sin
sin cos cos cos
cos sin sin sin cos
sin
이므로 cos cos sin cos sin cos .
23.
∙
cos sin cos sin cos
sin cos
31. Gauss의 발산정리에 의하여
div 이므로
∙
32. cos sin
≤ ≤ ≤ ≤
cos sin sin cos 이므로
cos sin .
sin cos
25.
∙
sin cos cos sin
33. ≤ ≤ ≤ ≤
27. Gauss의 발산정리에 의하여
이므로
div 이므로
.
∙
28. 타원체의 매개변수 방정식은
타원체의 제1팔분원의 부피를 계산하면 34. cos sin ≤ ≤ ≤ ≤
sin cos 이므로
sin
cos sin .
이다. cos cos sin
Gauss의 발산정리에 의하여
div 이므로
∙ cos cos sin
∙
35. Gauss의 발산정리에 의하여
div 이므로 ∙
201
4.
제11장 Fourier 해석
이므로 의 주기는 이다. 한편,
이므로 의 주기는 이다.
10.
따라서 함수 cos 의 주기는 이고, 함수 cos 의
주기는 이며, 함수 cos 의 주기는 이다.
5. 상수 함수 는 임의의 에 대하여
를 만족하지만, 이것을 만족하는
가장 작은 수 는 존재하지 않으므로 기본 주기는
없다.
6.
11. 부분적분법
sin
7. cos cos
cos sin cos
cos
sin sin
sin
cos
cos
sin cos
8.
cos
이므로
cos
sin cos
n
이다.
12.
부분적분을 이용하면
cos
cos
홀수
cos
짝수
이고 우함수와 기함수의 곱은 기함수이므로 205
sin
이다. 따라서
cos cos cos ⋯
이다. 14.
부분적분을 2번 적용하면
cos
cos
cos
홀수
짝수
이다. 따라서
13.
cos cos cos ⋯
부분적분을 이용하면 이다.
cos
cos
이다. 따라서
짝수
∴ cos cos cos ⋯
cos cos cos ⋯
sin sin sin ⋯
sin sin sin ⋯
이다.
sin
sin
∴ cos cos cos ⋯
16.
cos
sin
홀수
sin
cos
짝수
∴ sin sin sin ⋯
sin sin sin ⋯
18.
cos
홀수
sin
짝수
∴ sin sin sin ⋯
cos 19.
cos
sin cos
cos cos
sin cos sin cos
cos
cos cos
홀수
짝수 짝수
cos
홀수
sin
sin
cos sin
∴ cos cos cos ⋯
sin
sin sin sin ⋯
sin
∴ sin sin sin sin ⋯
20.
sin
sin
sin
∴ sin sin
sin ⋯ 22. Cas Experiment.
(a) ± 에서 불연속, 이점에서 Gibbs
sin sin sin ⋯
현상이 발생한다. (11.2절에서 다룬다.)
cos
(c) 연속
이다.
24. Cas Experiment.
예를 들어,
sin sin sin sin 이다.
이것은 그림처럼 에서의 직교성을 준다.
208
제11장 Fourier 해석
: 기함수
cot : 우함수
cos
3. 우함수들의 합과 곱은 우함수이다.
cos
4. 기함수들의 합은 기함수이다.
기함수들의 곱은 우함수이다. sin
cos
5. 기함수의 절댓값은 우함수이다.
sin cos
6. 홀수개의 우함수의 곱은 우함수이다.
7.
8.
sin
sin
cos
cos
cos
sin
짝수
cos sin
홀수
sin
∴
cos cos cos ⋯
∴ sin sin sin ⋯
11.
9.
cos cos
cos
sin
cos cos cos ⋯
∴ sin sin sin ⋯
12.
16. 주어진 함수는 기함수이므로
sin
cos
cos sin cos
209
cos
cos cos
13.
sin ⋯
sin sin sin ⋯
17. 주어진 함수는 우함수이므로
cos cos cos
cos
홀수
짝수
∴
cos cos cos ⋯
sin
sin 18.
cos cos
cos cos cos ⋯
cos
sin sin sin sin ⋯
cos
14. cos 따라서
cos cos
cos cos
⋅
cos cos ⋯
⋅ ⋅
이다.
cos sin 19.
cos sin sin
∴ cos cos
⋅ ⋅
cos cos
cos ⋯
⋅
cos cos
cos cos
15. 주어진 함수는 기함수이므로 ≠
sin
sin
cos sin
cos sin
cos cos
cos sin
cos cos cos
sin
cos cos
⋯
cos cos cos
이므로 ⋯ 이다.
22. 문제 17의 함수에 을 곱하고 을 더하면
따라서 cos cos cos 이다. 마찬가지로
문제 8의 함수이다. 따라서 17번에서 구한 Fourier
210
같은 방법으로 하면 sin sin sin 이다. 급수에 을 곱하고 을 더하면 문제 8번의
제11장 Fourier 해석
cos
∴
sin sin
(b) Fourier sine series
cos cos
sin
짝수
cos
cos
홀수
cos cos cos
∴ sin sin sin ⋯
cos cos
cos cos
24.
(a) Fourier cosine series
sin sin
sin sin
cos
sin
≠
cos sin
cos cos cos ⋯
(b) Fourier sine series
cos cos
sin cos cos
cos cos cos cos
cos
cos
cos cos
cos cos
∴ sin sin sin
sin sin sin
cos cos cos cos
sin sin ⋯
cos
25.
cos cos cos
(a) Fourier cosine series
따라서 cos cos cos 이다.
cos
cos
∞
20. 문제 11에서 구한 급수 ∴
cos
cos cos cos ⋯
cos cos cos ⋯
에 을 대입하면 (b) Fourier sine series
sin
sin
sin
∞
∴ sin
sin
sin sin sin ⋯
sin
211
26.
∴ sin sin sin
sin ⋯
28.
(a) Fourier cosine series
cos cos
cos cos
∴ cos cos cos
cos
∞
cos cos cos
∴
cos
cos cos cos ⋯
cos
cos ⋯
(b) Fourier sine series
(b) Fourier sine series
sin sin
sin cos
sin cos
∴
∞
cossin
∞
sin cos
sin
∴ sin sin sin
sin sin sin ⋯
sin sin sin
29. sin
(a) Fourier cosine series
sin ⋯
sin
27.
sin cos
(a) Fourier cosine series
sin sin
cos cos
≠
cos cos
sin cos
sin
cos
cos
∴ cos
∙
∴ cos cos cos
cos cos ⋯
∙ ∙
(b) Fourier sine series
cos cos cos
cos cos cos ⋯
(b) Fourier sine series
sin sin 30. 문제 27의 함수에서 일차함수 를 빼면
cos cos 문제 26의 함수이다. 따라서 27번에서 구한 Fourier
≠ 급수에서 함수 의 Fourier 급수를 빼면
sin
cos 문제 26번의 Fourier 급수를 얻을 수 있다.
212
∴ sin
제11장 Fourier 해석
cos
cos
cos ⋯
213
이다.
이다. 따라서 Fourier 급수는
짝수
상수항 에 대하여 적용하면 특수해는 이다.
홀수
이다. 따라서 Fourier 급수는
의 일반항이 sin 이므로
cos sin 라 하자. 여기서 계수를 sin sin sin ⋯
이다.
계산하면 이므로
의 각 항에 대하여 미정계수법을 적용하자.
sin
이다. 따라서 일반해는 의 일반항이 sin 이므로
cos sin 라 하자. 여기서 계수를
cos sin
계산하면 이므로
sin sin ⋯
sin
이다. 이다. 따라서 일반해는
sin sin
10. sin cos sin ⋯
≠ ⋯에 대하여 Euler 공식을 적용하면
이다.
sin
13. 의 일반항이 cos sin 이므로
sin sin sin ⋯
이다.
cos
cos
sin
sin 이고 해는
cos sin cos sin⋯
sin sin
이다.
이다. 따라서 Fourier 급수는
sin sin sin ⋯
이다.
의 각 항에 대하여 미정계수법을 적용하자.
의 일반항이 sin 이므로
cos sin 라 하자.
여기서 계수를 계산하면
18. ′
이고 우함수이다.
이고 해는
cos
∞
20. cos sin
홀수
19. ′ 는 우함수이다. 짝수
따라서
cos sin cos sin
cos cos sin cos sin ⋯
이다.
sin cos sin
이다. 따라서 Fourier 급수는
′ cos cos cos ⋯
이다.
이다.
′ 의 각 항에 대하여 미정계수법을 적용하자.
′ 의 일반항이 cos 이므로
11.4 Approximation by Trigonometric Polynomials
2. sin sin ⋯ sin
⋯
이다.
이고
이므로
216
⋯ 이다.
1 1.1902
제11장 Fourier 해석
2 1.1902
3 0.6243
1 8.104
4 0.6243
2 4.963
5 0.4206
3 3.567
4 2.781 7. sin sin
5 2.279 sin ⋯ sin
3. cos cos ⋯
cos 이고
이고
이므로
이므로
⋯
⋯
이다. 이다.
1 0.0748
1 674.8
2 0.0748
2 454.7
3 0.0119
3 336.4
4 0.0119
4 265.6
5 0.0037
5 219.0
cos cos cos
4. cos cos ⋯
cos
8. ⋯
이고
이고
이므로
sin 이므로
⋯ 이다.
⋯
이다.
1 4.14
2 1.00 1 0.5951
3 0.38 2 0.5951
4 0.18 3 0.0292
5 0.10 4 0.0292
5 0.0066
5. sin sin ⋯ sin 이고
9. 라 하자.
이므로
≤ 이므로
⋯
에 대한 감소함수이다.
연속
연속 일때 이다. 이 식을 정리하면
문제번의 연속
⋯
이다.
문제번의 연속
11. 11.1절의 예제 1번에서 구한 Fourier 급수 14. cos cos 을 식 (8)에 적용하면
sin sin sin ⋯
cos
를 이용한다. 식 (8)에 이를 적용하면 이다. 이 식을 정리하면
⋯
cos
이다. 이 식을 정리하면 이다.
⋯ 15. cos cos cos 을 식 (8)에
이다. 적용하면
12. 11.1절의 문제 14번에서 구한 Fourier 급수
cos
cos cos cos ⋯
이다. 이 식을 정리하면
를 이용한다. 식 (8)에 이를 적용하면
cos
⋯
이다.
이다. 이 식을 정리하면
9. 일 경우
고유함수는 과 13. 일 경우
cos sin ⋯ 이다. 일반해는 이다.
경계조건으로부터
11. 라 치환하면 이다. ′ 219
이므로 주어진 방정식은
일 경우
일반해는 cos sin 이다.
으로 변형된다. 경계조건으로부터
cos sin
이면 이고 이면 이므로
이므로 sin , ⋯ 이다. 따라서
경계조건은 이고 으로 변형된다.
이고 sin ⋯ 이다.
일 경우
14. (a) arccos 라 하면, cos ≤ ≤ 이다.
일반해는 이다.
cos , cosarccos ,
경계조건으로부터
cosarccos cos cos ,
cosarccos cos
이므로 이고 이므로 고유함수는 없다.
cos cos
일 경우
sin
cos
일반해는 이다. 경계조건으로부터
,
이므로 sin sin cos
,
이고 이므로 고유함수는 없다.
일 경우 sin sin cos cos sin
일반해는 cos sin 이다.
경계조건으로부터
sin sin cos cos sin
cos sin 이므로
sin , ⋯ 이다. 따라서
이고 sin ⋯ 이므로
sinln ⋯ 이다.
arccos 라 치환하면 이므로
12. 일 경우
일반해는 이다.
경계조건으로부터
cosarccos cosarccos
따라서 이다.
이면.
∞ ∞
220
∞
제11장 Fourier 해석
⋯
∞
이다. 여기서
은 상수항이 0인 차
∞
다항식이므로 이고
이다.
이다.
이므로
이다.
∙
이므로
∙
이다.
∙
5. 계수를 구하는 공식은
이다.
따라서 급수는 만 포함한다.
6. 은 우함수이므로 도 우함수이다.
∙
Fourier-Legendre 급수는 만 포함한다.
7. 다항식의 계수가 바뀌면 Fourier-Legendre 급수도
계수만 바뀐다.
8. 이다. 부터의 값은 이전까지의 값에
거의 영향을 미치지 못한다. 그러나 그림과 같이
최종 목적인 유사형태의 다항식 표현은 불가능하
다.
221
⋯
10. ⋯
라 치환하면, 이므로
.
∞
(c)
이고
∞
′ 이므로 ′ 이고
11. ⋯
′
(d) (a)의 점화식에 의해 은 차 다항식이므로
는 다항식들이 증가하는 속도보다 더 빨리
∞
으로 가야 ∞
의 값이 유한하다.
이고 이면
∞
′ ′ ″
(e) ′
″ ′
′ 이므로 따라서 ″ 이다.
″ ′ ′
′ ′
1.
에 식 (4)를 적용한다.
3.
≤
에 식 (11)을 적용한다.
∞
cos
cos
∞
sin
cos sin
sin
sin
∞ 이다. 정리 1에 의하여
sin cos
∞ cos ≤
sin
이므로 Fourier 적분은
∞ cos sin
이다.
이다. 정리 1에 의하여
4.
cos 이 우함수이므로
∞ cos sin
≥
식 (10)을 적용한다.
이다.
cos cos
sin ≤
2.
에 식 (11)을 적용한다.
cos cos
sin sin sin sin
cos cos
cos cos
sin sin sin
cos
이므로 Fourier 적분은
이므로 Fourier 적분은
∞ sinsin
∞
cos cos
이다. 정리 1에 의하여
이다. 정리 1에 의하여
∞ sinsin sin ≤
이다.
∞
∞
cos cos
cos 이다. 따라서
cos이다.
≥ 10.
cos
이다.
sin
cos
sin
5.
에 식 (11)을 적용한다. 223
cos
sin
cos sin cos
sin cos
cos sin
11.
sin cos
이므로 Fourier 적분은
∞ sin cos
sin sin
sin
cos cos
∞ sin cos
sin
∞ cos
∴
cos
cos
∞
이므로 Fourier 적분은
∞
sin 을 얻게 된다.
이다. 정리 1에 의하여 (a2) 식 (10)에서
∞
∞ sin cos
cos
∞
이다.
cos
sin ∞
7.
cos
sin
sin cos sin
(a3) 식 (10)에서
∞
sin sin cos cos
∞
cos
cos
∞
∴
sin cos
∞
cos
cos
9. 식 (13)을 적용하면
이다. 식 (10)에 을 적용하면
∞
∞
cos (d3)
sin
이므로
∞
16.
sin
cos
cos
sin
224
이고 이다.
cos
sin
제11장 Fourier 해석
sin cos
cos sin
이다. 따라서 이므로
∞ sin cos
(a2)으로부터
∴
sin
∞ cos sin
sin
20.
sin
이다.
sin cos
(d) Fourier Sine 적분에 적용하면 다음과 같다.
sin cos
sin
∞
(d1)
∞ ∞ sin cos
(d2)
cos
∴
sin
는 식 (11)과 같다.
ℱ
sin 에 을 대입하면
ℱ
sin
cos
cos
∞
이다. 그러나 ℱ cos 은 이다. Table Ⅱ의 공식 2번에서 ℱ
존재하지 않는다.
8. 주어진 함수는 정적분 (1a)와 (2a)의 극한값이
이므로
이다.
존재하지 않는다.
따라서
이다.
sin
∞
9. ℱ
∞
sin cos
cos sin cos sin
cos sin cos sin cos
cos sin cos sin sin
226 cos sin
2.
제11장 Fourier 해석
sin cos
sin 10.
sin
3.
⋅
sin
sin
이다. 다시 를 대입하면
sin
ℱ
이므로 Table Ⅲ의 공식 7번을 얻는다.
15. Table Ⅲ의 공식 2번에 , 를 대입하면
ℱ
sin
이다. 다시 를 대입하면
ℱ
sin
sin cos
이므로 Table Ⅲ의 공식 1번을 얻는다.
cos
sin ≠
cos
16. (a) ℱ
에서 이다. 9번의 함수는 → ∞일 때 가 으로
ℱ 이다. (a)를 적용하면
얻는다.
17. 문제 9번에서 주어진 함수를 미분하면 문제 11번에
주어진 함수를 얻을 수 있다.
식 (9)의 내용과는 달리
이다.
편리한 점이 있으므로, 개념의 시작을 주기 인
경우부터 하여 임의의 주기 로 확장하였다.
cos sin
가 주기 의 함수라면 는 주기 의
sin cos
228 cos
함수이므로 를 급수 전개한 후에
제11장 Fourier 해석
에 대한 식으로 고치면 된다.
∴ sin sin sin ⋯
12. 11번 문제에서 주어진 함수는 기함수인
4. 불연속인 함수는 Taylor 급수로 전개할 수 없지만
Fourier 급수는 전개할 수 있다.
과 상수함수인 의 합으로 볼
5. 푸리에 급수는 주기함수가 조각적으로 수 있다. 기함수는 sine 함수의 합으로 표현되므로
연속함수이면 가능하다. 그러나 불연속점에서는 주어진 함수는 cosine 함수를 포함하지 않는다.
푸리에 급수가 원래 함수의 좌극한과 우극한의
현상이라 한다.
sin
6. 해가 삼각함수의 합으로 표현했을 때, 가장 큰 cos sin
계수를 가진 삼각함수의 주기가 이 해의 성질을
가장 잘 나타낸다. 즉, 진동 체계의 공명 주파수가
된다. 그러므로 cos sin 의 계수가 가장
∴
cos cos ⋯
크다면 외부의 힘에 배 빠르게 반응한 것이 된다.
7. 주기함수를 삼각함수의 합으로 근사할 때
sin sin sin ⋯
14. 13번 문제에서 계산된 cosine 항은 우함수인
차이의 -노름이 최소가 되려면 삼각함수의
을 나타낸다.
계수가 푸리에 계수이어야 한다.
sine 항은 기함수인 를 나타낸다.
(11.6절 정리 1 참고)
sinh
8. 푸리에 적분은 주기함수에서만 가능한 푸리에 15.
급수의 개념을 일반적인 함수에 확장 시킨 것이다.
푸리에 사인적분은 함수가 기함수일 경우
cos
적용된다.
cos sin
9. 적분변환은 함수를 적분형태로 나타나는 다른
형태의 함수로 표현하는 것으로 상미분, 편미분, cos cos sinhcos
적분방정식 등에 많이 쓰이는 것으로 대표적인
것으로 라플라스 변환과 푸리에 변환이 있다.
푸리에 변환은 푸리에 적분으로 나타내어진다.
sin
함수 대신 함숫값을 이용하는 경우를 discrete
sin cos
Fourier 변환이라 한다.
cos cos
10. ′′ 과 경계조건 ,
을 만족하는 해가 존재하는 와 sinhcos
그 해를 구하는 문제를 Sturm-Liouville 문제라
한다. sinh
∴
특별히 주기적 경계조건이 주어진 경우 푸리에
급수의 형태를 얻게 된다.
sinh
cos
cos ⋯
sinh
sin
sin ⋯
이고 문제 16번에서 얻은 Fourier 급수를 미분하면
cos
cos
cos
′ sin sin sin ⋯
이다.
의 두 번째 적분에서 로 치환하면 19. (a) Fourier 코사인급수
이므로
cos
cos 이다.
229
따라서
cos
cos
cos
sin cos
cos
∴ cos cos ⋯
coshcos
(b) Fourier 사인급수
이다. 즉 cosine 항은 cosh 을 우주기
확장한 형태의 함수를 나타낸다. sin
cos sin
sin
sin
sin
의 두 번째 적분에서 로 치환하면
∴ sin sin sin ⋯
이므로
sin
sin 이다.
20.
따라서
cos
cos
sin
sin
sin cos sin
sin
cos
sinhsin
확장한 형태의 함수를 나타낸다. ∴ cos cos cos ⋯
16.
21. 문제 16번을 이용하면
cos cos cos ⋯
cos
이다.
cos
cos
의 각 항에 대하여 미정계수법을 적용하자.
홀수
상수항 에 대하여 적용하면 특수해는 이다.
짝수
sin 의 일반항이
cos 이므로
∴ cos cos cos ⋯
cos sin 라 하자. 여기서 계수를
17. 문제 11에서 구한 급수 계산하면 이므로
sin sin sin ⋯
cos
이다. 따라서 일반해는
에 을 대입하면
cos sin cos
⋯
cos cos ⋯
이므로 ⋯ 이다.
이다.
18. 문제 16번에서 주어진 함수를 미분하면
22. 문제 20번을 이용하면
′
cos cos cos ⋯
26.
sin
cos sin
이다.
의 각 항에 대하여 미정계수법을 적용하자.
cos sin
상수항 에 대하여 적용하면 특수해는 이다.
230
의 일반항이
cos 이므로 27.
cos
제11장 Fourier 해석
cos sin 라 하자. 여기서 계수를 sin
cos
계산하면
이므로
sin
cos
cos
이다. 따라서 일반해는
sin
cos sin cos cos
sin
cos
cos ⋯
cos
sin
이다.
∞
∴
sin
cos
cos
23. sin sin ⋯ sin
∞
cos
sin sin
이고 이므로
28.
⋯ 이다.
1 0.821
29.
cos
2 0.503
3 0.361
sin
cos
4 0.282
sin
cos sin
cos
5 0.231 ∞
30.
24. 함수 에 배를 하면 대응하는 minimum ∞
이므로
⋯
이다.
1 0.0076
2 0.0076
3 0.0012
4 0.0012
5 0.0004
CHAPTER 12
편미분방정식
12.1 Basic Concepts of PDEs
1. , 를 second-order equation ″
의 해라고 가정하자. 즉, 이다.
″ ′
232
″ ″ ′ ′
″ ′ ″ ′
제12장 편미분방정식
∙ ∙
따라서 도 주어진 방정식의 해이다.
2. 이므로
이다.
233
9. cos 이므로
sin cos
cos
이다. 이를 Heat equation에 대입하면
cos cos 이고
이다. 따라서 일 때 주어진 함수는
Heat equation의 해이다.
11. arctan 이므로
이다. 이를 Laplace equation에 대입하면
이므로 주어진 함수는
Laplace equation의 해이다.
이므로 주어진
함수는 Laplace equation의 해이다.
234
제12장 편미분방정식
특성방정식 을 풀면,
이고 라 하면 해는
236
이다.
이므로 해는 이다. 여기서 와 23. 에 관한 도함수가 없으므로 상미분방정식
제12장 편미분방정식
상미분방정식에 대입하면 이다. 따라서
이고 일반해는
이므로
이다.
cos sin 이다. 이므로 식을 정리하면 이다.
주어진 편미분방정식의 해는 따라서 해는 이다.
25. 방정식 을 풀면
cos sin 이다.
, 이다. 이 해를 에
22. 라 치환하면 이다. 에 관한 도함수가
대하여 두 번 미분하면 ″ ″
없으므로 상미분방정식 의 해를 구한다. 이다. 따라서 이다.
따라서 이다.
변수분리형이므로 이고 이를 적분하면
1. Frequency 이므로 string의 길이가
길수록, 단위길이당 질량이 커질수록 Frequency는
커진다. 장력이 2배가 커지면
배가 커진다.
sin sin
5.
cos cos
≠
cos
sin cos
sin
7.
sin sin
cos
sin
sin
짝수
홀수 ∴
cos sin cos sin
∴
cos sin cos sin
cos sin ⋯
cos sin ⋯
≤ ≤
≤ ≤
sin
8. 10.
sin sin
≤ ≤
이므로
홀수
sin
짝수
sin
sin
∴ cos sin cos sin
cos sin ⋯
sin
sin sin
cos sin cos sin
∴
sin
sin
cos sin ⋯
sin
238
sin sin
∴
cos sin cos sin
제12장 편미분방정식
cos sin ⋯
11.
≤ ≤
≤ ≤
이므로
sin
sin
sin sin cos 13. sin
cos
sin
sin
cos
sin
sin sin sin
cos sin cos sin
cos sin cos sin ⋯
cos sin cos sin
cos sin ⋯
14.
≤ ≤
≤ ≤
≤ ≤
≤ ≤
12. sin sin
≤ ≤
sin
이므로
∞
∴
sin sin sin
15. 로 변수분리하면
, 이므로
이다.
cos
sin cos
sin
위의 방정식을
으로 나누어 정리하면
cos
sin ⋯
(여기서 는 상수)이다. 이다.
18. 현진동(String vibration)
위의 방정식을 두 개의 상미분방정식 239
으로 분리된다. : 번째 mode 의 진동수가 에 비례한다.
,
12.4 D’
빔진동(Beam vibration)
첫 번째 미분방정식의 특성방정식 을
: 번째 mode 의 진동수가 에 비례한다.
풀면 해가 ± ± 이므로 해는
19. 양 끝이 고정되었으므로 이를 정리하면 경계조건
Alembert’
cos sin cosh sinh 이다.
, 을 얻는다.
두 번째 미분방정식의 특성방정식 을
첫 번째 경계조건으로부터 을 얻었고,
풀면 해가 ± 이므로 해는
240
제12장 편미분방정식
9. 이므로
elliptic이다.
특성방정식이 ′ ′ ′ 이므로
이다.
라 치환하면 이다.
6.
이 식을 풀면 이므로 해는
cos cos
cos cos
이다. 여기서 이다.
10. 이므로
hyperbolic이다.
특성방정식이 ′ ′ ′ 이므로
이다.
라 치환하면 이다.
이 식을 풀면 이므로 해는
12.4 D’
hyperbolic이다. 이 식을 풀면 이므로 해는
특성방정식이 ′ ′ ′ ′ 이므로
Alembert’
′
′ 또는 이고 이를 적분하면
이다. 여기서 이다.
이다.
으로 변형된다. 즉, 이므로 라 치환하면 이다.
이 식을 풀면 이므로 해는
이다. 다시 역치환하면 이므로
에 대해서 적분하면 해는 이다.
19. 변수분리 에 의하여 상미분방정식
″ ″ 을 얻었다. 두 번째
이다. 여기서 이다. 방정식의 해를 구하면 sin cos
이다.
15. 이므로
경계조건 을 정리하면 을 얻고,
hyperbolic 이다.
을 정리하면 ′ 을 얻는다.
특성방정식이 ′ ′ ′ ′ 이므로
′ 위의 조건을 적용하면 , 이다.
′ 또는 이고 이를 적분하면
sin , cos sin 이므로
또는 이다. 따라서 이다.
∞
라 치환하면 이다.
cos sin sin 이다.
이다. 다시 역치환하면 이므로 푸리에 사인급수를 이용하면
에 대해서 적분하면 해는
sin 을 얻는다.
20. 이다.
Tricomi 방정식은
이다. 여기서 이다. upper half-plane 에서 이므로
16. 이므로 elliptic이고,
elliptic이다. lower half-plane 에서는 이므로
특성방정식이 ′ ′ ′ 이므로 hyperbolic 이다.
이다. 따라서 Tricomi 방정식은 mixed type이다.
라 치환하면 변수분리 에 의하여 ″ ″
이다. ″ ″
으로 변형되며 으로 정리된다.
이 식을 풀면 이므로 해는
2.
ln 이므로 이다. 이다. 따라서
3. sin sin sin
sin
이 세 개의 eigenfunction의 차이점은 속도의
감소에 있다. 따라서 몇 개의 부분 합에 의해
sin ⋯
이다.
식 (9)의 근사 급수 해를 구할 수 있다.
※ 주어진 조건을 정리하면 8. 이다. 경계조건을 만족하며
인 식 (1)의 해이다.
9. , (여기서 는 경계조건을
이다. 만족한다.)이다. 따라서
∞
sin
,
sin
이다.
10. 문제 8번으로부터 ,
을 얻었다.
따라서
sin
5. 초기조건을 적용하면
sin cos
∞
sin
sin
⋅
6. 초기조건을 적용하면
∞
이다. bar의 중간지점( )에서 정리하면
sin
이므로
⋯
sin sin
이다. 따라서 다음과 같은 근사값을 얻게 된다.
이다. 따라서
sin sin
sin ⋯
11. 방정식 cos sin 을 미분하면
′ sin cos 이다. 경계조건
이다.
을 적용하면 이고
7. 초기조건을 적용하면
∞ sin 이다.
sin
이 식을 정리하면 또는 이고
이므로
방정식은
cos ⋯ 이다.
따라서
∞
cos
으로 변형된다.
이다. 따라서 식 (9), (10) 과 같은 방법으로 해를 구하면
243
※ 주어진 조건을 적용하면 ∞
sin
sin
∞
이다. 따라서 sin sinh 이다.
cos
sinh
20. (a) 식 (17)에 주어진 조건을 적용하면
이므로
∞
,
sin
sinh sin
이다.
cos
sinh sin sin
≠
홀수
cos 이고
짝수
이다. 따라서
sinh sin sin
sinh
cos cos ⋯
sin sinh
이다. 따라서 이다.
sinh
이다.
16. 라 치환하면 주어진 편미분
sin sinh
sinh
sin sinh ⋯
sinh
이다.
23. 주어진 경계조건을 정리하면
244
이다.
제12장 편미분방정식
이므로
이고
sinh
cos 이다.
21. 식 (17)에 주어진 조건을 적용하면 24. 로 변수분리하여 정리하면
∞
cos sin , cosh sinh 이다.
sin
sinh
이 두 식을 미분하면 ′ sin cos 이고
이므로 ′ sinh cosh 이다. 주어진 경계조건을
정리하면 ′ 이고 ′ 이므로 이고
sinh
sin
cosh sinh이다.
홀수 따라서
sinh
sinh
coshcosh sinhsinh cosh 이고
짝수
이다. 따라서 cos cosh 이다.
sin cosh 이므로
sin sinh
sinh
sin coscosh
sin sinh ⋯
sinh
sin
∞ sin
∞
∞
∴ cos
∞
4.
∞
cos
라 치환하면
∞
∞
sin er f
er f 이다.
∞ cos
∴
따라서 기함수이다
5.
cos
sin
sin
13.
∞
∞
∴
∞ sin cos
sin
er f
∞ sin
7.
cos
14. ert
ert ,
∞ sin
∞
sin 15. 식(21)에서
로 치환하면
∴ cos
er f 가 된다.
∞
1. frequency
으로 주어지고 (a), (b)는
배 증가하고, (c)는 배 증가한다.
이므로 장력 가 클수록, 단위면적당 질량
이 작을수록, rectangular의 크기가 작을수록
frequency는 증가한다.
4. sin sin
sin
sin
sin sin
이고 이므로
246
or 짝수 cos
sin sin 이다.
홀수
12.
sin sin sin sin
제12장 편미분방정식
5. sin sin
sin sin
sin sin
sin sin ≠ or ≠
sin sin
짝수
홀수
이고 이므로
짝수 홀수 cos
sin sin 이다.
6.
sin sin
13.
sin sin
sin sin
홀수
짝수
혹은 짝수
7.
sin sin
홀수
sin sin
이므로
∞ ∞
cos
sin sin
8.
sin
sin
이다.
이다. 여기서, 첫 번째 적분에서 라 놓으면,
홀수 sin
sin
10. 프로그램으로부터 다음을 알 수 있다.
⋅ sin
⋅
⋅
이고 이것은 을 Fourier 급수로
⋅
⋅ 전개했을 때의 계수이다. 두 번째 적분식도
⋅ ⋯
비슷하게 라 놓으면,
※ 주어진 조건으로부터
이고 이다.
sin
sin
11.
sin sin sin sin
이고 이것은 을 Fourier 급수로 전개했을
sin sin sin sin
때의 계수이다.
≠ or ≠
16. sin sin cos
17. 이므로
이다.
cos
18. 이다. 을 식 (9)에
sin
대입하고 에 관해 미분하고 0으로 놓으면 247
cos sin cos ′
′
′
이다.
, tan , ,
3. ∇
이다. 가 에 무관하다고 하자. 그러면
≥ cos sin
∞
cos sin
이다.
이다.
두 번째 방정식은 Cauchy-Euler 방정식이다.
특성방정식 을 풀면 ±
cos
이므로 두 번째 방정식의 해는
sin
ln
cos ⋯
cos cos
sin sin
sin
이다. 따라서
sin sin sin ⋯
이다.
6.
cos
∴ sin sin
cos cos
sin sin ⋯
cos cos
cos cos 249
≠
cos sin
이다. 따라서
cos
sin
sin ⋯
이다.
11. 주어진 조건을 정리하면
이므로
7.
cos
cos
cos
sin
sin
sin
∴ cos cos ⋯
이다. 따라서
sin
sin
sin ⋯
이다.
12. (b)
8.
(c) 에 대한 부분합의 근사값은 정확하지
cos 않다.
sin
sin
cos
sin
이 되는 이다. 따라서 인 경우는
에서 발생하고 이면 개의
지점에 Nodal line이 있다.
∞
250
18.
cos sin
이므로
∞
이다.
제12장 편미분방정식
따라서
이다.
19. 변수분리 를 적용하면
이다. 따라서 이다.
이고 양변을
즉,
로 나누어 정리하면
상수
3. cos
cos cos ∆
이다.
cos cos
9. 식 (7)에 을 대입하면 ∇ ″ ′
″ 251
이다. 이 식을 정리하면 이고, 적분하면
′
12.11 Laplace’
ln ′ ln , ′ 이다.
따라서 이다.
exp ln
이다. 따라서 ln 이다.
4. 5.3절의 식(11′)에 의해서, 12. 문제 10의 해에서
ln 이고 ln 이다.
이면 cos 이다.
이 두 식을 연립하면 이다.
cos 이면 cos ln
ln
따라서 이다.
cos cos 이면
ln
″
cos cossin
을 얻는다. 또한 주어진 경계조건을 정리하면
cos cossin
이다.
252
이며 경계조건을 적용하면 , 이므로 이고
제12장 편미분방정식
15.
∞
이고 는 구간 ≤ ≤ 에서 직교하기
※
cos ,
때문에
cos sin ⋯ 이다. 따라서
cos 에 16번을 적용하면
이고
cos cossin
는 구간 ≤ ≤ 에서 직교하기 때문에
⋯ 이다.
이고 는 구간 ≤ ≤ 에서
직교하기 때문에 ⋯ 이다.
따라서 cos 이다.
19. cos cos 이므로 따라서 cos 이다.
19번을 적용하면
cos cossin ∆ ∆ ∆ 이므로 양변을
cos cossin ∆ 로 나누고 ∆→ 으로 보내면
를 얻는다.
(b) 전류의 변화량은
253
이고
∆ ∆ ∆ 로 표현된다.
(e) cos
sin
25. 라 놓고 를 생각하자.
위의 식을 미분하면
이다. 다시
미분하면 이다.
24. (a) 길이 ∆ 의 케이블에서 발생하는 전압강하는
즉,
이다.
∆ 와 ∆ 로 주어지고 그 양은
이것과
를 식 (7)에 대입하고 로
∆ 이다.
나누면 원하는 결과를 얻을 수 있다.
따라서 Kirchoff 법칙에 의해
″ 이고
″ 이므로
이다.
2.
3. 변위함수 sin 이므로 속력은
ℒ
cos 이다.
4. ℒ 라 하면 ℒ
ℒ , ℒ 이다. 을 얻는다. 정리하면, 가
주어진 편미분방정식을 정리하면 보조방정식 된다. 에 관해 적분하면
254
,
을 얻는다.
제12장 편미분방정식
을 얻는다.
을 Laplace 변환하면
에 관하여 1계선형미분방정식이므로 해를 구하면
ℒ ℒ 이다.
이를 위의 해에 적용하면 이다.
이다.
주어진 조건 을 Laplace 변환하면
따라서 이다.
ℒ ℒ
이 보조방정식의 해에 inverse Laplace transform
이고 이를 위에서 구한 해에 적용하면 을 취하면,
이다. 따라서 이므로
이다.
이다.
이 보조방정식의 해에 inverse Laplace transform을 7. 라 하면
취하면 주어진 방정식의 해는 ′ ′
′ ′ 이므로 이다.
이 때 가 식을 만족하므로
′
, ′ 이다.
따라서 이다. 이므로
9. 문제의 열전도 방정식은
이고
∞
∞
초기조건은 이고 경계조건은
이다. 또한 → ∞이면 → 한다.
∞
위의 방정식을 Laplace 변환하면 이고
255
→ ∞이면 → 이다.
즉, 이다. 이 방정식에 대응하는
이다.
특성방정식은 이고 이 방정식의 해는 12. Laplace 변환표(39번)에 의하여
± 이다.
ℒ 이다.
따라서 이다.
→ ∞이면 → 이므로 이다. ℒ 이고 ∗
ℒ 이므로 이다. 이므로 Convolution 정리를 적용하면
따라서 해는 이다.
이다.
10. 와 Convolution 정리로부터
같은 방법을 에 적용하면
∗ℒ 을 얻는다.
임을 안다.
이것과 6장 9절의 식 (39)로부터 해를 구하면 이므로
이 된다. ℒ
이다. Convolution 정리를 적용하면
11.
이므로
이고 이다.
를 얻게 된다.
라 치환하면 이고
16. 특성방정식이 이므로 ±이다. ⋯ 이다.
따라서 cos sin 이다. 해는 cos sin 이다.
17. 특성방정식이 이므로 이다.
따라서 이다.
이므로 라 하면
sin 이므로
∞
24. cos 이다.
cos
cos
cos
※ 이고 이므로 이다. 이다. 해는
∞
cos cos cos
∞
sin 이다.
이다.
∞
25.
sin sin 이므로
31. 라 하면 ∇
∇
⋯ 이다. 이므로 이다.
따라서 해는 sin 이다.
따라서 ∇ 이고 이다.
∞
다시 라 하면
26.
sin 이므로
이다.
sin
이다.
sin
sin
sin 따라서
, 이다.
이다. 따라서 해가 존재하기 위하여 이고 이다.
∞
의 해는 sin 이고
sin sin
이다.
의 해는 sin 이다. 따라서 cos cos 이다.
또한 이고 이다.
따라서 이다.
을 풀면
마지막으로
258 이다. 따라서
∞ ∞
제12장 편미분방정식
sin sin 이다.
32.
sin sin
이다. 따라서 해는
∞ ∞
sin sin
이다.
33.
이므로 이다.
따라서 이다.
34.
35.
36. 넓이가 이므로
이다.
37. 이므로 이고
이다.
38. ,
여기서, 은 구의 중심으로부터의 거리이다.
39. Cylindrical coordinate에서는 ∆
이므로 이다.
이고
이므로 이다.
따라서 이다.
따라서 이다. 또한
, 이므로
260 그리고
,
,
× × ×
× × × × ,
제13장 복소수와 복소함수. 복소미분
이다.
이다.
또한 × × 이다.
, ,
,
13.
(c) 분배법칙 : 14. 261
Re
19. Re Re Re
10. Re
Re Re
Re Re Re
Re Re
12.
1.
cos sin
3. cos sin
cos sin
2.
cos sin
4. cos sin
Arg tan
tan
262
tan
제13장 복소수와 복소함수. 복소미분
5. cos sin
11. Arg
± ±
6. cos sin
12. Arg
7.
cos tan sin tan
tan
8.
cos tan sin tan
14. Arg tan
Arg tan
tan
tan
9. Arg tan
15. cos sin
cos sin cos sin
(b) 항등식
cos sin
cos
cos sin cos
cos sin
263
의 양변에 를 곱하고
sign Re
Im
sign 와 같이 되도록 cos sin 이므로
± sign 이다.
24. cos sin 이고
cos sin 이므로
(c) (b)번 식에 대입하여 얻을 수 있다.
이다.
±
±
cos sin
±
cos sin
cos sin 이고
21.
cos sin
cos sin 이므로
cos sin
이다.
cos
cos
sin
25. cos sin 이고
cos sin 이므로
이다.
22. cos sin tan 이고
cos sin 이므로
cos sin
cos sin
cos sin
cos sin
264
제13장 복소수와 복소함수. 복소미분
±
이다.
29. 근의 공식에 의하여
±
±
26. cos sin 이고
cos sin 이므로 이다. 식 (19)를 적용하면
±
⋯ 이다. 이므로
cos sin ±
±
cos sin
이다.
cos sin
30. ± cos ± sin ± 이므로
cos sin
± ± 이다.
cos sin
두 인수중의 하나는
cos sin
이고
cos sin 다른 하나는
이다.
cos sin
따라서 곱은 이다.
31. 근의 공식에 의하여
±
±
이다.
식 (19)를 적용하면 ± ± 이다.
32.
이므로 ≤ 이다.
33. 좌우가 모두 음이 아닌 실수이므로 양변을 제곱한
것을 증명하여도 된다. 그 제곱에서 같은 부분을
27. cos sin 이고 제외하면 와
의 비교로 문제가
cos sin 이므로 귀착된다. 이 두 수 모두 음이 아닌 실수이므로
이다. 다시 이의 제곱을 비교하면 된다. 네 개의 실수
에 대해 라
cos sin
하면
cos sin
≤
cos sin
이다.
cos sin
34. Re Im 이므로 자명하게
cos sin
≥ Re
≥ Im
이다.
35. ± ± ± ± ± 이다. 이 두식을
± ± ±
이고
이므로 더하면 이다.
2.
6. Re
3. 중심이 이고 반지름이 와 인 열린 원환
경계제외
(annulus)이다.
7. ≤ ∈ℝ이므로, 수직선 에서 왼쪽으로
확장된 닫힌 반평면이다.
경계제외
4. ∞ ∞ 이므로, 크기가 인
열린 수평대이다. 경계포함
경계제외
8. ≥ ≥ 이다.
5. 양의 축과 대칭이고 각의 크기가 이다. 경계포함
즉, 인 영역(angular region)이다.
10.
24. (a) Re Im
를 이용한다.
이므로
(b) lim lim ≠ 라 가정하자.
Re Im → →
이므로
따라서, ≤ ≤
Re Im
에 대하여 다음과 같은 모순을 얻을 수 있다.
이다. 따라서 이다.
≤
(c) 에서 연속이므로, 임의의 에 대해서
12.
일 때 를 만족하는
가 존재한다. 한편, lim 이므로
→ ∞
이므로
충분히 큰 에 대하여 를 만족한다.
Re Im 따라서 이러한 에 대하여 이다.
(d) 증명은 미적분학의 경우와 같다.
이다. 따라서 이다.
우선, ′ 라 놓자. 그러면,
14. → 이면 → 이므로
s Equation
2. 이므로
≠ 이다. 따라서 해석적이 아니다. 이다. 따라서
3. cos sin 이므로
cos sin 이다.
따라서 해석적이다.
4. cos sin 이므로
이다.
cos
cos 이다. 16. cos cosh sin sinh
따라서 해석적이 아니다. sin cosh sin cosh 이므로
5. 이므로 이다. 따라서 조화함수이다.
Re Im 이다.
sin sinh cos cosh 이므로
≠ 이므로 해석적이 아니다.
cos sinh 이다. 따라서
6. ≠ ± ±인 경우는 해석적이다. sin cosh cos sinh
이면
7.
sin cos sin cos
sin cos
cos sin cos sin
sin , cos
이므로 해석적이다.
8. 이므로 sinh
≠ 이다. 따라서 해석적이 아니다. 이다.
17. 이므로
9. ≠ ±인 경우는 해석적이다.
10. ln 이므로 이다. 따라서 조화함수이다.
이므로 이다.
이다.
이다.
따라서 해석적이다.
18.
11. sin cosh cos sinh 이므로
이므로 이다. 따라서 조화함수이다.
cos cosh sin sinh 이다.
이므로 이다.
따라서 해석적이다.
12. 이므로 즉, 이다.
harmonic conjugate이다.
이므로 sin 이다. 29. 가 미분가능이므로 임의의 에 대해
22. sin cosh cos cosh ′ Re ′ Im ′ 이다. 식 (4)에서 Re ′ 을
cos sinh cos cosh 식 (5)에서 Im ′ 을 구하여 ′ 을 구하면
이므로 cos cosh 이다. ′ ′ ′ 가 구해진다.
(c) cos
11.
cos sin
12.
cos sin
13.
이다. cos
15. 이므로
cos sin
cos sin 이다.
cos sin
Re cos Im sin
sin sin
이다.
16. 이므로
cos
∇ 이다. 따라서 조화함수이다.
공액조화함수 는 Cauchy-Riemann
exp
cos
sin
이다. 방정식을 만족하도록 적분하면 된다.
(d) 가정에 의하면 ′
Re exp
cos
이므로 이다. 양변을 적분하면
Im exp
sin
를 얻는다.
첫 번째 Cauchy-Riemann 방정식에 의해서
이다.
′ 를 얻는다. 따라서 ′ 이다.
17. 이므로
두 번째 Cauchy-Riemann 방정식에 의해서
exp cos sin
′ 이다.
이다.
18. (a)
을 얻는다.
cos sin
한편, ′ .
에 대하여 Cauchy-Riemann 방정식
따라서 cos ′ sin 이다.
cos , sin 그러므로 주어진 조건을 만족하는 함수는
을 만족하므로 해석적이다. 같은 방법으로, 유일하다. 즉, cos sin 이다.
는 ≠ 에서 해석적이다. 는 임의의 19. ± 이 성립하면
점 에서 해석적이지 않다. cos sin 는 , ± 이다.
일 때 해석적이다.
따라서 ± ⋯이다.
(b) (i) cos sin 가 실수 이므로,
sin 이어야 한다. 20. tan 이므로
따라서 ±∈ ⋯ 이다.
(ii) 이므로 ln tan ± ⋯ 이다.
∈ℝ이다.
즉, 오른쪽 반평면(right half-plane)이다.
즉, ln tan ±
⋯ 이다.
(iii) cos sin 이므로 21. 해가 존재하지 않는다.
모든 복소평면 ℂ이다. 22. 이므로
ln ± ⋯ 이다. 따라서 ln ± ⋯ 이다.
cosh cos sinh sin cos cos cosh sin sinh
coscosh sinsinh
이고
10. sinh sinhcos coshsin ,
sin cosh coshcos sinhsin
cos sin cos sin
cos sin
sinh cos cosh sin
11. sin sinh , cos sinh
이므로 12. cos cosh , cos sinh
cosh cosh cos sinh sin ,
13. cos cos 이므로
sin sinh cos cosh sin
cos 는 우함수이다.
이다.
sin sin
2. cosh cosh sinh sinh
이므로 sin 는 기함수이다.
14. 식 (7)(a)로부터
cosh
cos cos sinh cos cosh
sinh cosh cosh sinh 를 얻는다.
첫 번째 등식으로 부터 cos ≥ sinh 이고
두 번째 등식으로부터 cos ≤ cosh 이다.
sinh
따라서 sinh ≤ cos ≤ cosh 이다.
같은 방법으로, 식 (7)(b)로부터
3. cosh sinh
sin sin sinh sin cosh
이고 를 얻는다.
cosh sinh 첫 번째 등식으로 부터 sin ≥ sinh 이고
cosh 두 번째 등식으로부터 sin ≤ cosh 이다.
cosh sinh cosh sinh
이므로 cos sin cosh sinh 은 모두 entire
sin sin
함수이다.
5. Im cos sin sinh 이므로 16. sin sin cosh cos sinh 이므로
cos sinh sin sinh
cos sinh ±
sin cosh sin sinh
이다. 따라서 ∇ 이다. cosh ≈ 충분히 큰
Resin cos sin 이므로 이고 ≈ ≈ 이다.
sin sinh cos sinh
cos cosh cos sinh 따라서 ± ±이다.
이다. 따라서 ∇ 이다. 17. cosh cosh cos sinh sin 의 근은
cosh cos sinh sin 의 근이며
6. sin sinh
cosh
이므로 cos , 즉, 이다.
7. cos cosh cosh ,
이 때, sin
이므로 sinh , sin
sin cos
20. tan 이다.
cos cos
즉, 이다. 따라서 정수 이다.
분모 : cos cos cosh sin sinh
18. 문제 1번의 항등식을 이용하자. cos cosh sin sinh
cosh cos 이고 sinh sin 이다. cos sinh sin sinh
cos sinh
sinh sin 이면 또는 ± 이다. 271
분자 : sin cos
cosh cos 이면 , 이다.
sin cosh cos sinh
ln ln ln , 11. Ln Ln ln
12. ln Ln ∈ℤ정수
ln ln ,
13. ln Ln ln
ln ln ln , ln ∈ℤ 정수
ln ln ln 14. ln ln 정수
15. ln Ln
ln ln ln , tan
sin
ln tan
cos
2. ln ln 이다.
16. ln Ln
ln ln
이고
ln tan
ln ln 이므로
ln ln ln 이다.
ln tan ∈ℤ
17. ln ln ,
3. , Arg 라 하면
Ln ln 이다. 즉 ln 이므로
ln
이다.
18. ln 이고 ln ln arg 이므로
따라서 이므로 Ln 는
arg 이다.
해석적이다.
4. , Arg 라 하면 따라서 cos sin 이다.
ln ln 이다. 19. ln 이고 ln ln arg 이므로
라 하면 cos sin 이다. arg 이다.
따라서 arg 이므로
따라서
ln ln arg 이다. cos sin cos sin
5. Ln ln 이다.
20. ln 이고 ln ln arg 이므로
6. Ln ln
arg 이다.
따라서 cos sin 이다.
7. Ln ln
21. ln 이고 ln ln arg 이므로
8. Ln ± ln
± arg 이다.
따라서 cos sin 이다.
9. Ln tan
22. Ln ln ln cos ln
cosln sinln
(b) sin 라 하자.
Ln
23. ln
정의에 의하여 sin 이고
exp ln
ln
를 얻는다. 에 대한
272
cos ln
sin ln
2차방정식의 해는 이므로
24.
Ln ln 로그를 취하면 얻을 수 있다.
제13장 복소수와 복소함수. 복소미분
expln
ln
sin ln
cos ln sin ln
(c) cosh
⇒
Ln
25. ln
⇒
ln ln
⇒ cosh ln
cos ln sin ln
Ln cos sin
(d) sinh
26.
⇒
27. Ln ⇒
⇒ sinh ln
28. exp Ln
sin
(e) tan
cos
exp ln tan
⇒
cos tan sin tan
tan ln ln
29. 는 의 켤레복소수이다.
따라서 sinh
(f) tanh
cosh
cos ln
sin ln
⇒
이다.
tanh ln
30. (a) cos 라 하자.
(g) sin 라 하면
정의에 의하여 cos 이고 sin sincos cossin
sin
를 얻는다. 에 대한 sin sincos cossin sin
2차방정식의 해는
이므로 가 성립하므로, 함수 sin 는 무한히 많은 값을
로그를 취하면 얻을 수 있다. 갖는다.
cos
sin
15.
16. cos sin
cos sin
24.
cos sin
cos sin
17.
이므로 ± 이다.
18.
cos sin tan 이므로
tan
이다.
cos sin tan 이므로
tan 이다.
이므로 ± ±
이므로 이다.
따라서
이다.
26.
22.
cos sin
이므로 이다. 따라서 조화함수이다.
이다.
27. sin sin
cos sin
이므로 이다. 따라서 조화함수이다.
cos sin 이므로
cos 이다. 따라서
cos sin
이다.
28. sin cosh cos cosh
cos sinh cos cosh
이므로 이다. 따라서 조화함수이다.
cos sinh sin cosh 이므로
sin sinh 이다. 따라서
cos cosh sin sinh
cos cos
이다.
29. exp 이면 , 이다.
cos sin
cos sin
cos sin
cos sin
이므로 이다. 따라서 조화함수이다.
cos sin cos sin
이므로 sin 이다. 따라서
cos sin
cos sin
exp
exp
이다.
30. sin sinh cos sinh
cos cosh cos sinh
이므로 이다. 따라서 조화함수이다.
cos cosh sin sinh 이므로
sin cosh 이다. 따라서
sin cosh cos sinh
sin sin
이다.
31. cos coscosh sin sinh
32. Ln ln tan tan
CHAPTER 14
복소적분
14.1 Line Integral in the Complex Plane
1. 시점이 이고 종점이 인 선분.
276
제14장 복소적분
10. 장축이 2이고 단축이 1인 타원 (반시계
6. 중심이 이고 반지름이 1인 -축, -축과 방향).
만나는 1사분면의 원(시계방향).
277
12. ≤ ≤ and ≤ ≤ 17. ≤ ≤
18. ≤ ≤
19. ≤ ≤
20.
cos sin ≤ ≤
cos
cos sin
Im Im Im
sin sin sinh Im Im
25. 피적분함수가 해석적(완전)이기 때문에 첫 번째
방법으로 적분하자.
로 치환하면 이다. 따라서
32.
sinh
이다.
26.
33. , 여기서, ≤ ≤ 이고
sec
sec tan
tan tan
tanh 따라서
이다.
28. 피적분함수가 해석적이지 않기 때문에, 두 번째
방법으로 적분하자. 34. (a) 첫 번째 방법은 단순연결영역에서 해석적인
(b) (i)
(ii)
29. 피적분함수가 해석적이지 않기 때문에, 두 번째
방법으로 적분하자.
-축, -축에서 Im 이므로,
1에서 로 가는 선분에 대해서만 선적분을 하면
된다.
35. Re ≤ 이고
(c) Re
이므로
279
Re
14.2 Cauchy’
14.2 Cauchy's Integral Theorem
1. 아래 그림과 같이 경로 를 쪼갠다.
s Integral Theorem
적분 값이 0이다. 적분해보자.
3. 아래 그림과 같이 곡선 를 쪼갠다.
≤ ≤
≤ ≤
≤ ≤
cos
cos sin
≤ ≤
≤ ≤
cos
cos cos
≤ ≤
≤ ≤ cos cos
sin
즉 해석함수는 경로에 무관하고 양 끝점에만
의존한다.
9. 이므로 은 단위원 안에서
7. (a) 함수 은 원 에서 해석적이므로
수 있으므로 이다.
(b) 함수 은 원 의 내부에 있는 점
280
±에서 해석적이지 않기 때문에 적분 값은 0이
10. tan sec 이므로 tan 은 단위원
아니다. 안에서 해석함수이다. 따라서 Cauchy 적분정리를
제14장 복소적분
14. 내부에 원점을 포함하고 있기 때문에 Cauchy의
⋅ ⋅ 적분 정리를 적용할 수 없다.
(ii)
15. 은 Cauchy-Riemann 방정식을 만족하지 않아
해석함수가 아니므로 Cauchy 적분정리를 적용할
⋅
수 없다.
-2가 단위원 외부에 놓이므로 두 번째 적분은
(c) ,
cos cos sin
cos
sin
Im
,
16. 이므로,
Cauchy의 적분정리를 적용할 수 없다.
,
⋅
Re
17. 은 에서 미분이 불가능하므로 은
단위원 안에서 해석함수가 아니므로 Cauchy
적분정리를 적용할 수 없다.
Im
18. 이므로,
※ 이므로 ≤ ≤ 라 하자. Cauchy의 적분정리를 적용할 수 없다.
⋅
26. tanh 의 근 ± ± ⋯이다.
이 점들이 주어진 원 외부에 있기 때문에 적분은
19. cot cot cosec 이므로 cot 은
0 이다.
단위원 안에서 해석함수이다. Cauchy 적분정리를 27. 원 (시계방향)과 원 (반시계방향)으로
적용할 수 있으므로 cot 이다.
cos
둘러싸인 부분에서(그림 참조) 함수 는
281
20. Ln 의 branch cut이 1보다 큰 양의 실수 해석함수이다. 따라서 영역의 경계가 적분경로인
14.2 Cauchy’
부분으로 평행사변형의 외부에 있으므로 적분 값은 적분은 Cauchy 적분정리에 의해 0이다.
0이다.
21. By path deformation,
≤ ≤
s Integral Theorem
22. 축 위의 직선부분을 , 반시계 방향의
반원부분을 라 하자.
≤ ≤ , ≤ ≤
cos 28. 방정식 의 근 ± ± 와 tan 의
근 ± ± ⋯가 직사각형의 외부에 있으므로
cos sin cos
적분 값은 0이다.
cos
sin
29. 이기 때문에
sin
은 내부에서 해석적이다.
23.
Cauchy 적분정리에 의해 적분은 0이다.
24. 왼쪽과 오른쪽 두 부분으로 나눈 후, 각각에
Cauchy 적분공식을 적용한다. 30. 이다.
왼쪽 :
오른쪽 :
By path deformation,
≤ ≤
따라서
이다.
≤ ≤
≤ ≤
25. 원 (반시계방향)과 원 (시계방향)으로
둘러싸인 부분에서(그림 참조) 는 해석함수이다.
따라서 영역의 경계가 적분경로인 적분은 Cauchy
적분정리에 의해 0이다.
따라서
이다.
14.3 Cauchy's Integral Formula
(b) 부록 A3.1의 식 (12)를 이용하면, 식 (2)는
1.
sin
sin sin
282
sin
제14장 복소적분
2.
sin cos
※
5. cos
cos
cos
15.
cosh
cosh
cosh
6.
16. 방정식 cos 의 근 가 삼각형의
sin cos
외부에 있으므로 함수 tan 는 해석적이다.
7.
tan
tan
tanh
Ln Ln
17.
sin sin
8.
Ln
ln
sin sin
18. 가 두 사각형 사이의 영역 내부에 있고
10. (a) 방정식 (2)를 이용하면 은 외부에 있으므로 Cauchy의 적분 공식을
이용한다.
sin sin
sin
sinh
19. 가 원환(annulus)의 내부에 있고 은
외부에 놓이므로 Cauchy의 적분 공식을 이용한다.
exp
exp
두 번째 적분은 Cauchy 의 적분정리에 의해
0이다. 이것은 예제2의 결과와 같다는 것을 볼
exp
cos sin
수 있다.(피적분함수에 를 곱하면 예제2와 20. (i) 이면 14장 1절의 예제 6에 의해서
같다)
이다.
(ii) ≠ 이면
283
14.4 Derivatives of Analytic Functions
cos
cos sin
2. 라 하면 이다.
cos sin
exp
exp
12. 라 하면 ′ 이다.
exp
exp
3. 라 하면 이다.
5. sinh 라 하면 cosh 이다. Ln
14. 라 하자.
sinh
cosh
cosh
′
Ln
이다.
6. 라 하면 ′ 이다. Ln Ln
Ln
Ln
7. cos 라 하면 cos 이다. 15. 는 경계곡선 로 이루어진 영역 외부에
cos 있으므로 적분 값은 이다.
cos
16. 는 경계곡선 로 이루어진 영역 외부에
8. sin 라 하면 ″ sin 이다. 존재하고, 는 외부원의 안쪽에 내부원의
sin 바깥쪽에 놓인다.
sin
sin
라 하면 ′ 이다.
9. tan 라 하면 ′ sec 이다.
tan
sec
10. 는 경계곡선 로 이루어진 영역 외부에
존재하고, 는 외부원의 안쪽에 내부원의
바깥쪽에 놓인다.
17. 는 경계곡선 로 이루어진 영역 외부에
라 하면 ′ 이다.
있으므로 적분 값은 이다.
18. sinh 라 하면 cosh
sinh
홀수
짝수
이다.
이 홀수면
sinh
cosh
11. cos 면 ′ cos sin 이다.
이고
이 짝수면
충분히 큰 에 대해서 이 된다.
sinh
sinh
이다. 따라서 에 대해서 인 양의
19. 라 하면 ″ 이다. 실수 이 존재하게 된다.
(c) ( 실수 ln 에
284
대해서) 이므로 (a)를 만족하는 가 존재한다.
한편, 모든 실수 에 대하여 이므로,
제14장 복소적분
임의의 순허수 에 대하여 이 된다.
20. (a) 만약 이러한 가 존재하지 않는다면,
따라서 (b)를 만족하는 양의 실수 은 존재하지
모든 에 대하여 ≤ 를 만족해야 한다.
않는다.
즉, 가 유계이고 완전함수(entire function)가
(d) 만약, 임의의 에 대하여, ≠ 이면
되어 Liouville 의 정리에 의해 상수함수가 된다.
이것은 가정에 모순이므로 이러한 가 존재한다. 는 완전(entire)이 된다. 따라서 (a)에 의해
(b) ⋯ 원 의 외부에 있는 에 대하여
를 만족한다. 즉, . 이것은 (b)에
⋯ ≠
모순이다.
라 놓자. 그러면, 그러므로 상수가 아닌 임의의 다항식은 적어도
하나의 근을 갖는다.
⋯ 이고
cosh
cosh sinh
계의 도함수를 갖는다.
15. 일정영역 밖에서 유게인 analytic 함수는 상수함수
뿐이다.
16. 가 단순연결영역 에서 연속이고, 에 있는
23. 라 하면 이다.
모든 닫힌 곡선에 대하여 이면
는 에서 해석적이다.
24. ≤ ≤
17. 가 해석적이지 않은 점을 통과 하지 않는 한
라 놓으면 이므로
26. ≤ ≤ ≤ ≤
Im
이다.
∙
따라서
≠ 이다. 30. cos
cos sin
최대 함숫값이라 하자.
CHAPTER 15
멱급수, Taylor 급수
15.1 Sequences, Series, Convergence Tests
1. 이므로 유계이지만 발산한다. 14. 수열 의 각 항이 이라
2. ⋅⋅ ⋅⋅ ⋅
⋯
⋅⋅⋅ ⋯ 하면 lim 이고 lim 이다.
→ ∞
→ ∞
288
이므로 (유계)이다. 따라서 lim 이다.
제15장 멱급수, Taylor 급수
→ ∞
lim lim
→ ∞ → ∞
cos sin , tan
15. 수열 의 각 항이
이라 하면
∞ ∞
이다.
3.
이므로 유계이다. 이고
∞
lim 이므로 수렴이다. 따라서 이다.
→ ∞
4.
이므로 유계가 아니며 발산한다. 16. 비판정법에 의해서
5.
이므로 유계이다.
홀수
→ ∞
lim lim
→ ∞
짝수 이므로 (절대)수렴한다.
이므로 발산한다.
∞
cosh
17. 이고
ln 이 발산이므로
6. 이므로 유계가 아니며 발산한다.
비교판정법에 의해서 발산한다.
7.
이므로 유계가 아니며 18. 비판정법에 의해서
∞
lim lim
→ ∞ → ∞
cos sin
이 발산하므로 비교판정법에 의해서
임의의 에 대해 이 존재해서
→ ∞ → ∞ 이므로
에 대해
적분 테스트를 적용하면 발산한다.
이다.
max 이라 하면 에 대해
23. → → ∞ 이므로
≤ 이다. ratio test에 의해 수렴한다.
수 없다.
급수 ⋯는 수렴한다.
∞
예를 들면, 조화급수 는
30. ⋯ ⋯ ,
이지만 발산한다.
27. 예제 5에서
라 놓자.
≤ ≤ ⋯
289
그러면, 연속항의 절대 값의 비는 ⋯
따라서 ≤ ⋯ 이다.
⋯
포함하는 가장 작은 원의 반지름을 수렴반지름이라
한다.
의 계수를 이라 할 때
lim 이다.
→∞
이면 수렴하고 ≥ 이면 발산한다.
따라서 수렴반지름이 이다.
3. 이면 중심에서만 수렴한다.
∞
이면 반지름이 인 원의 내부에서 수렴한다. 5. 의 수렴반경이
lim 이라 하면
→ ∞
∞이면 모든 복소수에 대하여 수렴한다.
∞ ∞
4.
∞
∞
발산한다.
6. 중심은 이고 수렴반경은 lim
→ ∞
이다.
7. 중심은 이다.
⋯
→ ∞이면
lim ⋅
→ ∞
lim ∞
→ ∞ → ∞
→ ∞ → ∞ → ∞
이다.
이므로 수렴반경은
이다.
11. 중심이 이고 수렴반경은
18. 중심이 이고 수렴반경은
이다.
lim
→ ∞
이다.
15. 중심이 이고 수렴반경은
lim
→ ∞
lim
→ ∞
lim
→ ∞
∙
(iii) 새로운 급수의 수렴반경은 이 된다.
lim
이다.
→ ∞ lim
→ ∞
→ ∞
lim
16. 중심이 이고 수렴반경은
(c) 예제6번을 참조하시오.
(d) 이기 때문에 정리 1에 의해
이러한 급수는 존재하지 않는다.
∞ ∞ ∞ ∞
2. 의 부분합
과 의
4. (a)
5. (a)
→
∞ ∞
∞
(b) 기하급수
을 두 번 항별 미분하면 적분하면 급수
과 을
∞ 얻는다.
급수
을 얻는다. ∞ ∞
∞
이므로
과 의
의 수렴반경은
이므로
수렴반경은 이다. 따라서
291
이다. 따라서
의 수렴반경도 이다.
의 수렴반경도 이다.
6. (a)
→
9. (a)
→
이므로 수렴반경은 이다.
∞ 이므로 수렴반경도 이다.
(b) 기하급수 를 항별 적분하면
∞
∞ (b) 기하급수
을 세 번 항별 적분하면
급수
을 얻는다.
∞
급수 을 얻는다.
∞
의
, 이므로
∞
수렴반경은 이다. 따라서 이므로
의 수렴반경은 이다.
∞ ∞
을 대입하면 , 이므로
∞
급수
∞
의 수렴반경은
의 수렴반경도 이다.
이다. 따라서
7. (a)
→
∞
이므로 수렴반경은
이다. ∞
∞
(b) 기하급수 을 항별 미분하면
∞ 의 수렴반경도 이다.
급수
을 얻는다.
∞
, 이므로
의 10. (a) →
수렴반경은
이다. 따라서
⋯
∞
∞ (b) 이고 는 고정된
상수이므로 수렴반경에 영향을 미치지 못한다.
의 수렴반경도
이다. ∞
를
기하급수 번 항별 미분하면
8. (a) →
∞
이므로 수렴반경도 이다.
급수
⋯
을 얻는다.
∞
(b) 임을 이용한다.
이므로 의 수렴반경은 2이다.
따라서
∞ ∞
기하급수
과
를 각각 항별
∞
(b) 주어진 급수는 기하급수
를 번 항별
미분에 의해 얻어진다. 따라서 수렴반경은 1이다.
∞
⋯
15. (a)
의 수렴반경도 2이다.
→
292
11. (a)
∞
→
∞
(b) 기하급수
∞
을 두 번 항별 미분하면
이므로
의 수렴반경은
이다.
급수
∞
을 얻는다.
을 대입하면 ,
이므로 급수
∞
이므로
의 수렴반경은 이다. ∞
을 대입하면 , 이므로
∞
급수
의 수렴반경도 이다.
∞
∞
16. 이므로,
의 수렴반경도 이다.
12. (a)
0이어야 한다.
예는 함수 cos 이다.
→ ∞
17. 이므로,
∞
(b) 기하급수 을 두 번 미분하면 급수
를 만족해야 한다. 따라서 의 계수 는
∞ ∞
0이어야 한다.
예는 함수 sin 이다.
을 얻는다.
18.
lim lim
→ ∞ → ∞
lim
→ ∞
∞
를 만족하기 위해서는 이어야
이므로 급수 의 수렴반경도 ∞
한다. 즉, 이다.
∞
이며
의 수렴반경도 ∞ 따라서 우변에 의 계수 는 좌변의 의
이다.
계수인 ⋯
13. (a)
와 같아야 한다.
19. series expansion을 이용한 미분 방정식의 해법에
응용된다.
→
20. (a) 점화식의 양변을 으로 나누면,
(b) 주어진 급수는 기하급수 을
번 항별
적분에 의해 얻어진다. 따라서 수렴반경은 1이다.
를 얻는다.
lim
라
→ ∞
하자. 그러면, 이다.
14. (a) →
∞
따라서 이다.
∞
(b)
를 이번 달의 토끼(한 쌍)의 수라 하고,
(여기서, ).
를 지난달(전달)에 현재의 한 쌍의 토끼가
그리고 정리 2로부터,
낳은 새끼(한 쌍)의 수 293
,
(c) 힌트로부터 다음 식을 얻을 수 있다.
′
∞
를 미분방정식에
⋯
대입하여 계수를 비교한다.
수렴반경은 이다.
5. 기하급수를 이용한다. ⋯
⋅ ⋅⋅ ⋅⋅⋅
⋯
수렴반경은 ∞이다.
⋯
11.
sin sin 이므로 전개식을 구하고
을 이용하여 다시 정적분하여 Maclaurin
수렴반경은 이다.
전개식을 얻는다.
6. 기하급수를 이용한다.
∞
⋯
⋯
cos ⋯
12. C
수렴반경은 이다.
⋯
7. sin cos ⋯
⋯
수렴반경은 ∞이다.
수렴반경은 ∞이다.
8. sin cos
⋯
13.
이므로 전개식을 구하고
er f 을 이용하여 다시 정적분하여 Maclaurin
⋯ ∞
수렴반경은 ∞이다.
전개식을 얻는다.
이므로
∞
9.
exp exp 임을 이용한다.
이다.
exp ⋯ 14. Si
⋯
을 적분하면
exp
⋯이다.
⋯ ∞
수렴반경은 ∞이다.
∞
10. 여러 가지 방법으로 급수표현을 얻을 수 있다. 16.
라 하자.
기하급수를 이용하면 없다.
∞
된다. 18.
따라서 Cauchy Product 를 이용하여 계수를
⋯
비교하면 을 구할 수 있다. ⋯
294 , 수렴반경은 이다.
⇒ ,
19.
제15장 멱급수, Taylor 급수
⇒ ,
⇒ ,
⋯
⋯
⋅
⇒ ,...
⋅
⋯
따라서
수렴반경은 이다.
sin
⋯
20. cos sin
⋅
⋯
⋅
⋯
이다.
이므로
(13장7절의 Team Project. 30을 참조하시오)
17. (a) ′ ⋯
′
cos ⋯
⋯
⋯
′ 수렴반경은 ∞이다.
cos′ ⋯
21. cos cos
⋯ ⋯
수렴반경은 ∞이다.
⋯ sin
′ 22. cosh ⋯
sin ′ ⋯
수렴반경은 ∞이다.
⋯ cos
23.
′
∞ ∞
cosh′
⋯
∞
sinh
⋯
′ ′
∞ ∞
sinh′
cosh 이므로
′
Ln ′ ⋯
⋯이다.
수렴반경은 이다.
⋯
24.
이다.
(b)
⋯
⋯
이므로
⋯
⋯
⋯ cos 이다. 수렴반경은 ∞이다.
(c) ≠ 에 대하여, 급수
sin ∞
∞
25. sinh sinh sinh cosh
이고
는 영항만 갖는다. 따라서 sin 는 0이 될 수
sinh
⋯
cosh
⋯
sinh
⋯
이므로 이다. 수렴반경은 ∞이다.
이므로
2. lim
→∞ ∙
14. ≤ ≤ 이므로
295
3. lim 이므로 이다.
→ ∞
수렴하므로, Weierstrass M-test에 의해서
≤ 에서 uniformly converge한다. uniformly converge한다.
4. lim
→∞
lim
→ ∞
∞
15. lim
→∞
이므로 전체에서 uniformly converge한다. lim
→∞
5. lim
→∞
lim
→ ∞
이므로
이므로 uniformly converge한다.
∞
16. tanh ≤ , 은 수렴하므로,
≤ 에서 uniformly converge한다.
Weierstrass M-test에 의해서 uniformly converge
6. lim
→∞
tanh
tanh
이므로
한다.
이다.
17. lim
→∞
lim
→ ∞
≤ 에서 uniformly converge한다.
이므로 이다.
7. lim
→ ∞
lim
→∞
이므로
따라서 uniformly converge한다.
18. (a) 임의의 주어진 양수 에 대해 자연수 이
아무데도 없다. ∞
존재하여 가 되게 할 수 있다.
8. lim
→∞
→ ∞
lim
∞
∞
이므로
이다. ≤
에서
≤
이므로 균등 수렴한다.
uniformly converge한다.
(b) ′ → → 로 바꾸어 주고 정리3의 과정을
되풀이하면 보일 수 있다.
9. lim
→ ∞
(c) 작은 영역에 대한 bound는 항상 큰 영역에서의
bound보다 작거나 같다.
lim
→∞ (d) 큰 영역이 compact domain이면 성립한다.
이므로 그러나 일반적으로 성립하지는 않는다.
≤ 에서 uniformly converge한다.
(e) ≠ 이면 공비가 인 기하급수이므로
10. 정리 1에 의해서,
∞
sinh
이므로 모든 0을 중심으로 한 ∞
닫힌 원판에서 uniformly converge한다.
∞
11. ≤
은 수렴하므로, Weierstrass
이고 이면 0이 된다.
M-test에 의해서 uniformly converge한다.
∞
19.
sin ≤
sin
12. ≤
sinh
은 수렴하므로,
함수 가 연속함수이므로 유계이다.
296
sin 이다. 따라서
이 사실과 Weierstrass M-test로부터
은 uniformly converge하고 정리 4로부터
제15장 멱급수, Taylor 급수
( ≥ )이다.
∞ 그 합이 임을 얻게 된다.
를 생각해 보자.
나머지도 비슷하게 보일 수 있다.
비판정법을 적용하면 이므로, →∞일 때
lim
→∞
와 lim
→∞
을 구하여 판정하는 →∞
11. lim
방법과 비교판정법 등이 있다.
적분과 같다.
20. lim
→ ∞
lim
→∞
10. Cauchy 적분공식에 부분적분을 계속 적용하면
∞ ∞
에서 수렴하므로 이다.
∞
30.
⋯
∞
21. cosh
⋯, ∞
⋯
297
22. ⋯ ⋯
에서 수렴하므로 이다.
29. Ln Ln Ln
ln Ln
ln ⋯
ln ⋯
CHAPTER 16
Laurent 급수. 유수적분
16.1 Laurent Series
cos
1.
⋯
⋯
⋯
300 ∞
exp
⋯
⋯
제16 장 Laurent 급수, 유수적분
2. ∞
9. (a) 가 같은 원환(annulus)에서 두 개의
⋯
Laurent 급수로 표현 된다고 가정하자.
∞ ∞ ∞
3. cosh ⋯
∞
⋯ 놓이는 를 중심으로 하는 원 을 따라
∞ 적분하자. (반시계방향)
∞
4.
∞
∞
⋯ ⋯
∞
⋯
≠
⋯ ∞
∞
∞
5.
∞
⋯
≠
급수가 uniform하게 수렴하므로, 항별 적분이
⋯
가능하다. 이것으로 부터 를
∞
얻게 된다.
′
6.
이고 즉, ±±⋯ 이다.
따라서 Laurent 급수는 유일하게 표현된다.
(b) tan 는 ± ± ± ⋯에서
⋯
특이점을 갖고 ± 가 0으로 수렴하기
⋯
때문에 에서 Laurent 급수로 표현을
이므로 ⋯이다.
갖지 못한다.
따라서
(c)
⋯
⋯
⋯
⋅ ⋅
⋯
⋯
이다. ⋅ ⋅ ⋅
sin
sin
7. sin ⋯
sin cos
⋯
⋅
⋅
⋅
⋯
⋅ ⋅ ⋅
∞
10. 이면
이다.
이면 이면
∞ ∞
∞
이다.
11. 이면
∞ 이다.
301
이다. 이면
∞
이다. 이면
∞
∞ ∞
12. 이항급수
을
이용한다. 이다.
Res
이고 이다.
Res
lim limcos Res
→ → 따라서
이다.
2. 은 에서
exp
9. 는 곡선 내부의 점
sin
단순극을 갖는다.
Res 에서 singular point를 갖는다.
lim lim
→ →
8.
⋯
을 풀면 ±
이다.
1.
cos
cos
은 단위원을 벗어나므로
Res
Res
이다.
따라서
cos
이다.
Res
303
sin
이다. 따라서
이다.
sin
cos
은 upper half-plane에 놓이는 단순극이고,
이다. ±
는 lower half-plane에 놓이므로 제외된다.
sin
3.
cos
Res
,
Res
∞
는 원내부에 존재하고 는 외부에
∞
이다.
7. 을 풀면 ± ±를 얻는다.
있으므로 ( 는 order 2 pole, 는 simple
는 lower half-plane에 놓이므로 제외된다.
pole)
′
Res
,
Res
,
Res
,
Res
Res
∞
따라서
sin
이다.
∞
이다.
cos
8. 을 풀면
cos cos
4.
cos
cos sin
± 를 얻는다. 는 lower
half-plane에 놓이므로 제외된다.
Res
,
을 풀면 ± ± 을 얻는다.
Res
∞
±
는 원내부에 존재하고 ± 는 외부에
∞
이다.
있으므로
9. 을 풀면 ± ±를 얻는다. 13. ⋯ 라 놓자.
는 lower half-plane에 놓이므로 제외된다. 그러면
∞
Res
,
∞
Res
,
Res
304
Res
Res ′
제16 장 Laurent 급수, 유수적분
⋯
′ ′
′
∞
prv
이다.
∞
⋯
10. 을 풀면 ± ± 을 얻는다. ⋯
는 lower half-plane에 놓이므로 제외된다. ⋯
⋯
Res
14. (a)
∞
Res
에서
∞
Res
좌변은
∞
cos sin 이고 우변은
∞
Res
Rescos sin 이다.
양변의 실수부와 허수부를 비교하면
∞
prv ∞
∞
Re
∞
cos sin
∞
cos Im Res
∞
이다.
∞
11. 을 풀면 ± 을 얻는다.
Im
∞
cos sin
Res
∞
∞
sin Re Res
Res
이다.
(b)
가 해석적이므로 Cauchy 정리에 의해
Res
적분 값은 0이 된다. 즉,
∞
prv
∞
이다.
12. 을 풀면 ± ±를 얻는다.
는 lower half-plane에 놓이므로 제외된다. →∞이면 → 이고 세 번째 적분의
실수부를 택하면
Res ∞ ∞
∞
cos
cos
Res
∞
∞
∞
Res
따라서
임을 이용하면,
∞
prv
∞
이다.
cos 를 얻는다.
∞
3. Laurent 급수의 첫째 분수 의 계수 를
이다.
것과 같다.
있다.
CHAPTER 17
등각사상
17.1 Geometry of Analytic Functions : Conformal Mapping
2. ⇒
⇒
⇒
308
⇒
제17 장 등각사상
이고
⇒
9. 평면에서 가 수직
⇒
(orthogonal)이기 때문에, 수직성(orthogonality)는
conformality 의 결과이다. 따라서 다음과 같은
⇒
결과를 얻는다.
⇒
(a)
(b)
⇒
이고
(c)
⇒
(d)
⇒
10. 에서 이므로
⇒ ≤ , 는 ≤ ,
⇒ 로 사상된다.
11. 에서 이므로
이다.
6. 라 하고 라 하면 이고 , 는 ,
이다. 를 와 에 대입하면 ,
로 사상된다.
. 이것은 -평면에서 -축에 평행한 직선을
12. ≤ Im ≤
-평면에서 -축에 평행한 직선으로 사상한다.
⇒ Im ≤ ≤
마찬가지로 를 와 에 대입하면 ,
⇒
. 이것은 -평면에서 -축에 평행한 직선을
따라서 ≤ ≤ 인 띠로 보내어 진다.
-평면에서 -축에 평행한 직선으로 사상한다.
즉 90도 회전시킨다. 13. ≥
7. (reflection in the unit circle 이라 한다.) ⇒
⇒
Arg ∓ ∓ ∓ ∓
⇒
±
이다. 따라서 에서 conformal sin ⋯ ⋯ 은 에서
하지 않는다. 위수 1인 영점을 갖는다. 따라서 cos 는
0이 되지 않는다. ′ ⋯ 이므로 참고 : ≠ 이므로 arg 가 정의된다.
.
,
이다.
따라서 이다
LFT들의 합성은 계수행렬의 곱에 대응한다.
4. 이므로 ≠
※ 라 하면 이다.
이다. 따라서 이다.
9. 고정점 ±를 갖기 위한 방정식은 이므로
5. 이므로 ≠ 이다. ≠ , 이고 이어야 한다. 따라서
따라서 이다. 이다.
310
10. 고정점이 존재하지 않기 위한 조건은 ,
6. 을 풀면 고정점은 이다.
제17 장 등각사상
이다. 대응시키는 변환은 이다.
※ 라 하고 라 하자.
10. cosh cos sin
sin sin cosh cos sinh 이므로
11. cosh sinh 을
sin cosh cos sinh 이다.
만족하는 점, 즉 을 만족하는 점
8. 이면 이고 이면 이다.
± ± ⋯에서 conformal이 아니다.
이면 이다.
12. 로 만들어지는 유계인 영역을
이면 sin cos 이므로
cosh sinh
이라 하자. 사상
타원이다.
이므로 이고
에 의해 이다. 따라서 구하고자 하는
이고 이므로 이다. 사상은 이다.
13. ln ≤ ≤ ln ≤ ≤
따라서 1사분면의 경계선이 인
cosh sinh
14. 그림에서 5개의 점의 상은 주어진 함수 로부터
타원의 일부분이다.
직접 계산할 수 있다.
시계반대방향으로 원 를 두 번 돌 때
은 같은 원을 같은 위치에서 시작해서
한 바퀴 돈다.
2. 힌트로부터
를 얻는다.
만약, 그림에서 first sheet에 A를 움직이면, second
sheet 의 B로 가고 branch point 1 주위의 두
루우프를 돌고 A로 돌아온다. 를 에워싸지
않는 branch point 2 를 둘러싸는 루우프에
대해서도 비슷하다. 만일, 그림처럼 C에서 number of sheet : 2 (아래그림참조)
시작해서 C로 끝나는 경우라면 branch cut을
지나지 않으므로 같은 sheet에 있게 되고 는
각각 의 증가를 보여준다. 따라서 는
312 만큼 증가하고 평면상에서 한 루우프을
결정한다. 이것은 2 sheet 면 충분하다는 것을
제17 장 등각사상
보여준다.
그림에서, 하나의 cut 을 지나면 다른 sheet로
3. : sheets
가고, 두 cut 을 지나면 시작한 sheet로 돌아간다.
: branch point : 없다. ( ≠ 이기 때문에) 그림은 두 개의 branch point를 둘러싸는 path(A)
한 sheet 에 있음을 보여준다. path (B)는 두
number of sheet : 2 ( )
cut 을 가로지르기 때문에 각각 다른 sheet 에
4. branch point : ±
놓이게 된다.
number of sheet : 2
5. branch point : ± ±
1. 는
에 대해 변하고 Laplace
⇒
방정식의 극형식 표현 ″ ′ 으로부터
″ ′ ⇒
⇒ ln ′ ln
′
314 따라서 복소퍼텐셜은
⇒ ′ ⇒ ln
제18 장 복소해석과 퍼텐셜 이론
6. tan ( )이면
이다.
2. 는
에 대해 변하고 Laplace
방정식의 극형식 표현 ″ ′ 으로부터
″
⇒ ln ′ ln
′
⇒ ′ ⇒ ln
을 얻는다. 주어진 조건을 적용하면
ln ln
이다. 이 두 식을 연립하면 이고 이다. 따라서 는 조화함수이다.
ln
이다.
ln ln 그리고
이다. 또한
ln
따라서 ln 이다. 이므로 이고
ln ln
ln
ln ′ 이므로 ln 이다.
ln ln
이므로 200V보다 작다. 따라서 복소퍼텐셜은
3. 에 주어진 조건을 적용하면
ln ln Ln
이다. 이 두 식을 연립하면 이다. 이다.
따라서 이다.
7. 이면
⇒
′ ⇒
Arg 이다.
따라서 복소퍼텐셜은
따라서 에서 퍼텐셜은 이다.
이다.
4. 에 주어진 조건을 적용하면
8. ln 라 하면 이다.
이다.
이 두 식을 연립하면 이다.
이므로 이는 아폴로니우스의 원이다.
9. cos 로 놓으면 cos 이다.
따라서 이다.
cos cos sin sin
cos cosh sin sinh
이므로 cosh sinh 가 된다. tan ± ⇒ ±tan ±
cos sin
⇒ ± ⇒
를 상수로 두면 이므로
cos sin
쌍곡선을 표시한다. ± 일 때 임을 만족한다.
315
cos sin 로 보고 를 상수로 ⇒
cosh sinh
′
1. , 이므로 이면 축 위에서 계산을 하므로 ,
가 해석적이다.
이다. 따라서 속력은 이다.
2. 예제 1에서 속력은
이므로 속력이
원기둥 주위를 흐르므로 ≥ 이다.
일정한 곡선은 상수(원)이다.
따라서 최댓값은 ± 일 때 이다.
3. ′
이므로 4. 원기둥의 벽을 나타내는 식이 이므로
, 이다.
, 이다.
따라서 속력은
이다.
5. 이고 이므로
이다. 따라서 비회전적이다.
이므로
이고
이다.
마찬가지이다.
흐름선은 이다. 이 식을 정리하면
의 크기에 의존하여, 실린더벽상의 정체점이
두개이거나 하나이거나 없는 세 가지 흐름에
이다.
,
따라 구별해야 한다. 속력은
(1)
cos
은 문제 1의
∞
(2)
sin
으로부터 나왔다. (2)의 오른쪽은 7.
의 실수이다. 한편
cos
∞ ∞
sin
∞
이고 를 대입하면 따라서
cos 이다.
∈ 8.
cos
cos
cos cos sin sin
를 얻는다. 따라서
sin
(3)
∞
cos
sin
∞
cos cos sin sin
푸아송 공식에서 (1) 대신에 (3) 으로 바꾸고 에서 10. (a) 식 (5)에서 이면
까지 항별 적분하면 구하고자 하는 식이
이다.(참고: 적분구간은 이 아니라 이다.)
얻어진다.
2. sin 와 sin 에 대해서 각각의 조화공액은 (b) ∇
cos cos 이다. 그러므로 sin cos 와 ″ ′ ″
sin cos 가 해석함수이고, 변수분리에 의해
따라서 식(7)은 조화함수이다. ″ ′ ″
,
3. 주어진 함수가 우함수이므로 cosine 급수로
cos sin , ″ ′ 이다.
나타난다.
따라서 해는
이다.
4. sin
(c) Cauchy-Riemann 방정식에 의해서
∞
5. cos cos cos 이므로
sin cos
∞
cos cos cos sin
6.
cos
cos
(d) 를 이용하면,
∞
cos sin
∞
∞
319
정리 1에 모순된다.
는 상수여야 한다. 이것은 가정에 모순이다.
(참고: 13장 4절의 예제 3에서 const 이면,
4. 이라 놓으면 Poisson의 적분공식으로부터
임의의 해석함수 에 대하여 const
정리 2를 유도할 수 있다. 인 것은 보였다.)
※ 식 (3)에 을 적용한다.
10. 13장 6절의 cos cos sinh 임을 이용하면
5.
cos sin ± 에서 최댓값
sinh 를 갖는다.
11. ≤ 이므로 삼각부등식에 의해 ≤
cos sin
이다. 최솟값은 상에 있다.
라 하자. 를
취하면
6.
cos sin
cos sin 이다. 따라서 에서 최댓값 를
갖는다.
⋅
12. cos 이고 ≤ ≤ 이다.
7.
cos sin
따라서 일 때 최댓값 을 갖는다.
cos sin
13. ≤ sin ≤ ( ≤ ≤ ≤ ≤ )이므로
sin 의 maximum은 경계점인
문제풀이 해설
2011년 12월 15일 1쇄 발행 저 자: 편 집 부
발행자: 김 윤 선
발행처:
서울특별시 종로구 신문로 2가 1-222
전화 733-2014 ~5 / 팩스 736-8696
등록 1966년 10월 6일 제1-168호
정가 15,000 원