우리는 의해 주어진 평형 집니다
. 함축적 인 함수 정리는 다음과 같이 말합니다 (인수 생략).
h1(x,y)=f(x)+z−y=0,
h2(x,y)=x−g(y)=0
∂x∂z=−det⎛⎝∂h1∂z∂h2∂z∂h1∂y∂h2∂y⎞⎠det⎛⎝∂h1∂x∂h2∂x∂h1∂y∂h2∂y⎞⎠,∂y∂z=−det⎛⎝∂h1∂x∂h2∂x∂h1∂z∂h2∂z⎞⎠det⎛⎝∂h1∂x∂h2∂x∂h1∂y∂h2∂y⎞⎠.
이에 대한 나의 소스는 경제학자에 대한 수학적 방법 및 모델 지금 손에 책이없는과 직관의 자신을 생각 나게 할 수는 없지만, 천사 드 라 푸 엔테으로합니다.
이는
∂x∂z=g′(y)1−f′(x)g′(y)
∂y∂z=11−f′(x)g′(y).
암시 적 함수 정리가 유지 솔루션이 유효하려면 합니다.1−f′(x)g′(y)≠0
더 일반적으로, 이것이 작동하는 방식은 다음과 같습니다 : 당신은 근이 평형을 특징 짓는 방정식 시스템을 작성합니다 :
F1(x;a)=0,F2(x;a)=0,…,Fn(x;a)=0
(여기서 는 관심있는 매개 변수입니다). 그것들로부터 우리는 벡터 값 함수를 구성합니다a
F(x)=[F1(x;a),F2(x;a),…,Fn(x;a)]
Jacobian이 있음 행렬
J=dFdx=⎡⎣⎢⎢⎢⎢⎢⎢⎢∂F1∂x1⋮∂Fn∂x1⋯⋱⋯∂F1∂xm⋮∂Fn∂xm⎤⎦⎥⎥⎥⎥⎥⎥⎥.
와 관련하여 의 미분을 계산 하기 위해 열 을 대신 미분 WRT 대체하는 수정 된 Jacobian을 구성합니다 . 따라서 경우
xiaithaxix1
Jx1=⎡⎣⎢⎢⎢⎢⎢⎢⎢∂F1∂a⋮∂Fn∂a∂F1∂x2⋮∂Fn∂x2⋯⋱⋯∂F1∂xm⋮∂Fn∂xm⎤⎦⎥⎥⎥⎥⎥⎥⎥.
관심 파생 상품은
∂xi∂a=−detJxidetJ.
암시 적 함수 정리가 유효 하려면 이 필요합니다.detJ≠0