일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | ||||
4 | 5 | 6 | 7 | 8 | 9 | 10 |
11 | 12 | 13 | 14 | 15 | 16 | 17 |
18 | 19 | 20 | 21 | 22 | 23 | 24 |
25 | 26 | 27 | 28 | 29 | 30 | 31 |
- reflection matrix
- 가중 최소제곱법
- 부분 분수분해
- 상태천이행렬#적분인자법#미정계수법#케일리-헤밀톤 정리
- linespectra#feurierseries#푸리에 급수
- 변수분리#동차 미분방정식#완전 미분방정식
- 2계미방#모드#mod#특성방정식#characteristic eq#제차해
- 여인자
- 추정문제#normal equation#직교방정식#정사영#정사영행렬#정사영 변환
- 푸리에 급수
- 비제차#제차해#일반해#적분인자#적분인자법#homogeneous sol#nonhomogeneous sol#integrating factor
- 최소자승#least-square#목적함수#양한정#정점조건#최소조건
- 오일러-코시 미방#계수내림법
- 멱급수법
- weighted least-squares
- 미분방정식 #선형 미분방정식 #상미분 방정식
- 여인수 행렬
- 직교행렬#정규직교행렬#orthonormal#reflection matrix#dcm
- 선형변환#contraction#expansions#shears#projections#reflection
- 선형독립#기저벡터#선형확장#span#basis
- dirichlet
- 선형 상수계수 미분방정식#lccode#sinusoidal input
- 그람-슈미트 과정#gram-schmidt process
- 선형시스템연산자#라이프니츠 법칙#fundamental theorem of algebra#erf
- 베르누이 미분방정식
- 내적#duality#쌍대성#dot product
- 계수내림법#reduction of order#wronskian#론스키안#아벨항등식#abel's identity
- 내적 공간#적분
- 정규직교행렬
- 푸리에 정리
OnlyOne
연쇄법칙과 음함수 정리(Chain Rule and Implicit Function Theorem) 본문
연쇄법칙과 음함수 정리(Chain Rule and Implicit Function Theorem)
Taesan Kim 2024. 8. 16. 22:40연쇄법칙과 음함수 정리(Chain Rule and Implicit Function Theorem)
다변수 함수가 있다. 이 함수의 한 점으로 접근하는 방법에 대해 우리는 방향미분을 통해 배웠다.
2024.08.15 - [Mathematics/Calculus] - 방향미분(Directional derivative)
방향미분(Directional derivative)
방향미분(Directional derivative) 이전 포스팅에서 다루었던 편미분은 좌표축과 나란한 방향의 함수의 변화율이었다. 만약 다른 방향 즉, 특정한 직선 방향으로의 변화율도 구할 수 있을까? 방향미
taesan5435.tistory.com
Intro
방향미분에서는 방향벡터와 기울기벡터를 내적 하는 방법으로 특정 방향으로의 도함수를 구할 수 있었다. 하지만, 우리는 오직 직선 방향으로의 도함수만 구할 수 있었다. 만약 곡선을 따르면서 특정 점으로 다가가는 점의 순간변화율을 구할 수 있을까? 이 문제를 해결해 주는 것이 합성함수 미분법이다.
합성함수 미분법은 말 그대로 합성함수를 미분하는 것이다. 곡선을 따라가며 특정한 점에 다가가는 점의 순간변화율을 구하는 것과 합성함수 미분과 어떤 관련이 있을지 의문이 생길지도 모르겠지만, 조금만 생각해 보면 쉽게 이해가 갈 것이다.
만약 점 T가 특정 함수 F에 다가갈 때, 특정 곡선(함수) G의 경로만을 따라가야 한다면 시간에 따라 변하는 점 T의 위치를 곡선의 함수 G(T)로 나타낼 수 있고, 이 함수를 점이 다가가는 특정 함수 F의 정의역에 대입하면(F(G(T))), 시간에 따라 곡선의 경로를 따라가는 점이 시간에 따라 어떻게 함수 위를 움직이는지 구할 수 있는 것이다!
이제 우리가 할 것은 F(G(T))를 T에 대해 미분하는 것이다. 그 방법을 설명하는 법칙이 연쇄법칙(Chain Rule)즉, 합성함수 미분법이다.
연쇄법칙(Chain rule)
함수 f(x, y)의 편미분이 모두 연속이고, 변수 x, y가 모든 t에서 미분가능하면, 다음과 같은 식이 성립한다.
위 식은 f(x, y)를 t라는 Path로 미분한 결과이다. 이때, 위 식을 x에 대한 Path로 미분하는 식으로 고치면, 음함수 정리의 유도에 대한 실마리가 제공된다. 음함수 정리란, 각 변수간의 관계를 정의하는 방법이다.
이때, X(t) = (x(t), y(t))로 두고, t = t0에서 X = P라고 두자. 그러면 다음과 같이 표현할 수 있다.
음함수 정리(Implicit Function Theorem)
음함수 정리는 등위선의 접선의 기울기와 기울기벡터의 기울기 사이의 관계에 관한 정리이다. 이 정리가 유용한 이유는 임의의 함수의 등위면에서의 기울기를 구할 때, 계산을 매우 간단하게 만들어주기 때문이다. 정리는 다음과 같다.
음함수 정리 Implicit Function Theorem
미분가능한 함수 f의 등위선 f(x, y) = c 위의 한 점 P = (x, y)에서 P를 포함하는 원판에서 다음 등식이 성립한다.
이때 분모는 0이 되면 안 된다.
증명
f(X(x)) = c인 상수함수이므로 위 식의 결과는 0이다. 따라서
이고, 위 식을 풀어주면 음함수 정리가 나온다.
삼변수 음함수 정리
만약 위에 경우처럼 이변수가 아닌, 삼변수라면 어떻게 음함수정리를 사용하면 좋을까? 아마 다들 느낌으로 유추했을 것이라 생각한다. 결과는 다음과 같다.
삼변수함수 w의 한 등위면에서 z가 x와 y의 함수로서 미분가능하면, 다음의 식이 성립한다.
증명은 이변수와 같으니 각자 해보는 걸로 하자.
Exercise
합성함수 미분법과 음함수 정리에 관한 예제를 풀도록 하겠다. 사실 이것 자체는 미분의 방법이라, 나중에 나올 정리들의 기초가 되기 때문에 연습문제라고 해도 그냥 계산 문제이다. 그래서 지루할 수도 있겠지만, 그래도 풀어보도록 하겠다.
일 때, f(x, y, z)의 등위면 중 점 P를 지나는 접평면의 식을 구하고, P에서의 범선의 매개변수식을 구하여라.
풀이은 다음과 같다.
이해가 잘 안 된다면 아마 접평면의 개념을 잊었기 때문이 아닐까 싶다.
2024.08.15 - [Mathematics/Calculus] - 기울기벡터와 접평면(Gradient & Tangent plane)
기울기벡터와 접평면(Gradient & Tangent plane)
기울기벡터와 접평면(Gradient & Tangent plane)고등학교 수학의 미분계수를 생각해보자. 우리는 항상 실수형태의 수를 다뤘다. 그러나, 다변수함수의 미분계수는 더이상 실수가 아니고 벡터이다.
taesan5435.tistory.com
법 선벡터에 대해 알아야 할 중요한 점은 기울기벡터와 법 선벡터는 평행하다는 점이다. 이에 대해서는 위 포스팅에서 다뤘다. 해설은 다음과 같다.
이로써 여러분은 임의의 곡선의 경로를 따라 함수를 지나는 점의 순간변화율을 구할 수 있게 되었다. 짝. 짝. 짝. 축하한다.
'Mathematics > Vector Calculus' 카테고리의 다른 글
라그랑주 승수법(Lagrange Multplier Method) (0) | 2024.08.18 |
---|---|
헤세행렬식(Hessian) (0) | 2024.08.17 |
방향미분(Directional derivative) (0) | 2024.08.15 |
기울기벡터와 접평면(Gradient & Tangent plane) (0) | 2024.08.15 |
편미분(partial derivative)과 편도함수 (0) | 2024.08.14 |