칼럼) 극한 문제 근사로 정확하게 푸는 방법
보통 각 항마다 근사 취했을 때
1. 결과를 종합했을 때 오류가 생기고 (혹은 오류가 생겼는지 안 생겼는지도 모르고)
2. 각 항마다 근사했더니 계산 복잡도가 터져 나가서
어려워 하는 분들이 많은데요
결론적으로 말하자면 테일러 전개 사용하고, 이때 오차범위 따지면서 근사하고, 필요없는 항들 계속 가지치고 재근사하면 됩니다.
적당한 식정리와 함께 적용하면 계산 복잡도를 줄일 수 있고요.
아래 내용은 공부하면서 혼자 연구했던 내용 정리한거라 수학적 엄밀함이 다소 떨어질 수 있으니, 양해 바랍니다.
[표기 약속]
x->0에서 f1(x)를 e1(x)로 근사했을 때, 오차항 r1(x) = f1(x) - e1(x)라 둬보죠.
제대로된 근사였다면 e1(x) >> r1(x)여야 합니다. 즉, lim x->0 e1(x)/f1(x) = 1, lim x->0 r1(x)/e1(x) = 0이어야 합니다.
그리고 lim x-> 0 e1(x)/x^n = c (!=0)일 때, e1(x) = W(x^n)이라고 표기하겠습니다.
이때 max(W(x^n), W(x^m)) = W(x^(min(n,m))이라 정의하고,
W(x^n) > W(x^m) <=> n<m이라 정의해두겠습니다.
마지막으로, 임의의 f(x)에 대해 W(f(x)) >= W(0)이며, 등호는 f(x) = 0일때만 성립합니다.
*W 기호 안에는 x^n 대신 다른 임의의 함수가 들어가도 됩니다.
** n은 자연수인 경우로만 논의 대상을 한정하겠습니다. (근사항, 오차항 모두 W(x^n)꼴로 나타나야 함.)
***근사항/오차항의 차원이 유리/무리 지수일때는 잘 모르겠어요.. 무리 지수는 안 나올거고, 유리 지수는 치환해서 루트 없애고 풀었던 것 같네요. 일반화된 이항정리가 있긴 한데 무한급수 튀어나와서요. 대상 함수가 무한급함수가 아니면 근사가 잘 안되는 것 같네요.
위 W 표기법에서 등호 빼버린 small o 표기법 쓰면 될 것 같긴 한데, 귀찮고 수능에 안 나와서 연구 안 했어요.
[항 사이 연산시 오차범위의 변화]
f1(x) = e1(x) + r1(x), f2(x) = e2(x) + r2(x)
e1(x). = W(x^n1), e2(x) = W(x^n2), r1(x) = W(x^m1), r2(x) = W(x^m2)인 경우를 보겠습니다.
이때 자명히, n1 < m1, n2 < m2입니다.
1. 선형결합시 (a*f1 + b*f2)
근사항 = a*e1+b*e2 = W(a*e1 + b*e2)이며, 오차항 = max(W(r1), W(r2))입니다.
이때 만약 근사항 = 0이 튀어나오거나, W(오차항) >= W(근사항)이라면, 망한거에요.
오차가 근사보다 크거나 같아서 정확한 근사가 되지 않습니다..
다행히 이런 경우는 W(e1) = W(e2)이고 a = -b 일때만 발생합니다. (ex. sin(x) - x에서 sinx를 x로 치환한 경우)
이때는 근사를 조금 더 정확하게 해주면 됩니다. 위에서는 sinx를 x - 1/6 x^3 으로 근사하면 되겠네요.
2. 곱셈시 (f1*f2)
근사항 = e1*e2 = W(e1*e2)이며, 오차항 = W(r1*e2 + r2*e1) = max(W(x^(n1+m2)), W(x^(n2+m1)))입니다.
이때는 선형결합시와 같은 예리가 발생하지 않습니다. 무조건 W(e1*e2) > max(W(r1*e2), W(r2*e1))니까요.
다만 오차항의 W가 감소할 수 있습니다. 그리고 우린 얼마나 감소했는지 모릅니다. (오차항의 정확한 식을 모르니까요.)
근데 근사에서 오차가 줄어드는, 즉 정밀해지는건 나쁜거 아니니까 신경 꺼도 됩니다.
3. 나눗셈시 (f1/f2)
근사항 = e1/e2 = W(e1/e2)이며, 오차항은 max(W(x^(m1-n2), W(x^(n1+m1-2n2))입니다. (정확한지 잘 모르겠,,)
근데 보통 근사 과정에서 나눗셈이 개입하는 경우는 최종적인 답을 구하는 경우여서 크게 의미 없었습니다.
그리고 만약 나눗셈 근사 결과를 사칙연산에 대입해야 하는 경우, 나눗셈을 근사하지 마세요.
식정리 해서 사칙연산을 나눗셈 기호 안에 밀어넣으면 굳이 근사 안 하고 최고차항 계수만 구하면 됩니다.
4. 합성시 (f1(f2(x)))
(아래 증명 참고)
근사항 = e1(e2(x)) = W(e1(e2(x))), 오차항 = max(W(x^n2(n1-1)+m2), W(x^n2m1))입니다.
[계산복잡도 줄이는 팁]
연산하다보면 근사 결과의 곱, 합성, 선형결합이 뒤엉키면서 복잡해지는데요,
이럴 때는 쓰레기 항을 없애고, 필요하다면 다시 근사하면 됩니다.
즉, sinx = x-1/6 x^3 + W(x^5), cosx = 1 - 1/2 x^2 + W(x^4)
이때 sinxcosx를 근사해보면 x - 2/3 x^3 + 1/12 x^5 + W(x^5)가 튀어나옵니다.
일단 1/12 x^5는 필요없습니다. 오차범위가 x^5급이어서 의미 없는 항이에요. (쓰레기 항 삭제)
그리고 만약에, W(x^2)급 오차범위만 필요하다면, 이를 x + W(x^2)으로 놓아도 문제가 없습니다. (재근사)
저 같은 경우 나눗셈이나 합성, 곱처럼 근사항을 다루기 까다로운 경우에 필요한 정밀도를 계산후 재근사 때리는 경우가 많았던 것 같네요.
위 내용들대로 근사 문제 풀면 안 틀립니다.
근데 하나하나 오차범위 따지면 문제 풀이 시간은 보장 못해요.
‘필요하면 오차범위를 따지겠다‘ 마인드만 갖고 있으면 충분할 것 같습니다.
* 수치해석이 이런 학문인가요? 재밌을듯.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제 게시글을 보면 프로불편러가 아닐까 싶어지는데 전 프로불편러가 맞습니다 불편하네요
-
수학기출 1
현재 프메 기본 + 쎈 하고 있는데 아마 5월 중순쯤에 끝낼 것 같습니다. 이거...
-
뛰어다니지말고 소리지르지 말고 의자 텅텅 비어있는데 통로 막고있지 말고 조용히좀 말해 얘들아
-
나도 12시간 이상씩 하던 때가 있었지 홀홀홀..
-
후방부대 비전투병과부대 소속임
-
걍 째는 거 아니고 입원해서 못 보는 경우예요
-
어차피 전 여러분이 열품타 순위권에 들지 않아도 덕코를 자주 뿌립니다 의미 업ㄹ당
-
우우 여부이.. 1
덕코줘
-
거수 0정시파이터0 화생으로 대학가기 연간커리큘럼 이글에 안나타나면 덕코 안쥼
-
담주에 시험 끝인데 국어-새기분 남은 거 끝내고 복습+이매진+상상 모의고사...
-
문디컬 경한 목표면 동사사문 많이 불리한가요.,.? 1
제가 알기로는 경한 어차피 사탐 변표라서 동사 고정 만점권이면 스테이하는게 나을 거...
-
거미가 가슴지나 쇄골 지나 목으로 기어오고 있었음 버스에서 비명지를 뻔 했네
-
뭐지 ...? 떨어트리지도 않았는데
-
...
-
왜 이럼…?
-
안녕하세요! PHYSICS CODE입니다. 오늘 방법론(methodology)...
-
벌써...?
-
다들 힘내 5
화이팅 화이팅 너무 커뮤만 하면 우울해질수 있으니 밖에 나가서 바람도 좀 쐬고
-
소아과에 한해서 내용 정리는 잘해놓은듯 내용 자체에 시비가 걸릴 여지가 있으나......
-
호감이면 댓 달아드림 24
-
어떻게든 올해 탈출해야하는데 공부 ㅈㄴ하기 싫다 게임이랑 체스만 해도 먹고 살 수...
-
ㅋㅋㅋ
-
신께 맹세한 약속은 반드시 지킨다.
-
친친이 저리됬노...
-
시간 빠르네
-
디졋다 ㅡㅡ
-
현재 재수로 한양공대 다니는 중인데 과가 저랑 안맞아서 올핸 공군 준비 해서 내년애...
-
어케알아냈디야
-
지옥도가 열렸다 2
여기는 지옥으로 같이 갈 미소녀도 없는데..
-
!!
-
잠깨서 글 첨쓰는데ㅡ.ㅡ
-
저런새끼도 여사친있고 연애하는데 내가 아무리 도태남이라도 안될거 뭐있노 예아 라고할뻔...
-
미적분 뉴런 4
현재 미적분 기출 돌리고 있는데 미적분 뉴런을 해야할까요?? 미적분 뉴런이 도움이...
-
누군가 또 나타난건가
-
현타오네
-
중학도형을 사랑하시는 8등급 분보다는 못끄시는듯 그런 분이 다시 나타나셔야 하는데
-
사람들이 커뮤를 안해서 그런가 먹금 안해주니까 신나서 떠드네
-
고3들이 한의대생한테 공부훈수를 쳐두고 있음ㅋㅋ 대단하다!
-
4월인데 이래도 되는거야?
-
브릿지 0
브릿지 풀었을때 대강 1시간에 1틀 or 다맞수준나오면, 22 30버리고 시간남으면...
-
인설의미만은 공부못한다고 ㅈㄹ하시면 그냥 웃음밖에안나와요..
-
제일 무서운애들이 10
잃을게 없는 애들임 저런애들은 지 주제파악도 안되니까 저지경인거고
-
예쁜 미코토보고 다들 화 풀어
-
라고하면 안되겠죠
-
대단하다 ㅋㅋㅋ
-
"힐러가 말대꾸?" 라고 받아쳐도 되나요? ???: ㅅㅍㅊㅇ
-
(한의대생을 보고 학력저하를 외치며) ㅋㅋ 한의대 입결 근처도 못가보신 분인거...
-
이런거 하고싶다
이게모노…
이런거 고민하면 의대 논술 붙음