음함수의 미분 (Implicit Differentiation)

한 줄 정의: y = f(x) 꼴로 깔끔하게 풀리지 않고 x와 y가 뒤섞여 있는 식을, y를 굳이 따로 풀지 않고도 미분해서 기울기를 구하는 방법입니다.

쉽게 풀면

보통 미분은 "y = x² + 1"처럼 y가 x만의 식으로 깔끔하게 정리되어 있을 때 바로 계산합니다. 그런데 "x² + y² = 25" 같은 원의 방정식은 y를 혼자 남겨두기가 번거롭고(y = ±√(25-x²)), 두 개의 식으로 쪼개야 해서 다루기 불편합니다. 음함수 미분은 이런 번거로움 없이, 식 전체를 x에 대해 그대로 미분하되 y가 나올 때마다 "y도 사실 x의 함수"라는 점을 기억해 연쇄법칙을 적용하는 방법입니다. 즉 y²을 미분하면 2y·(dy/dx)가 되는 식으로, dy/dx를 마치 미지수처럼 두고 방정식을 풀어서 구합니다. 경제 모형에서 여러 변수가 서로 얽혀 있는 균형식이나, 등고선처럼 하나의 값으로 묶인 관계식의 기울기를 구할 때 이 방식이 자연스럽게 쓰입니다.

왜 중요한가

실제 연구에서 다루는 관계식은 하나의 변수로 깔끔하게 정리되지 않는 경우가 훨씬 많습니다. 경제학의 효용함수나 물리학의 상태방정식처럼 여러 변수가 하나의 식 안에서 서로 얽혀 있는 상황에서, 음함수 미분은 식을 억지로 풀지 않고도 변수 간 민감도(기울기)를 계산할 수 있게 해줍니다. 이 때문에 최적화 문제나 균형 조건을 다루는 논문에서 변수들의 상호 의존 관계를 정량적으로 분석하는 기초 도구로 자주 쓰입니다.

논문에서는 이렇게 쓰입니다

"효용함수가 U(x,y)=k로 주어지는 무차별곡선에서 음함수 미분을 적용해 한계대체율 dy/dx = -U_x/U_y를 도출하였다."

이 문장은 "x와 y가 하나의 식(무차별곡선) 안에 얽혀 있어서 y를 x만의 식으로 풀 수 없지만, 음함수 미분을 이용하면 y를 따로 풀지 않고도 두 변수 사이의 기울기(한계대체율)를 구할 수 있었다"는 뜻입니다.

"이상기체 상태방정식 PV=nRT에서 음함수 미분을 통해 등온 과정에서의 압력 변화율 dP/dV를 구하였다."

이 예문은 물리화학에서 여러 상태변수가 하나의 방정식으로 묶여 있을 때, 특정 조건(등온)에서 한 변수가 다른 변수에 대해 어떻게 변하는지를 음함수 미분으로 구했다는 뜻입니다.

"생산함수 F(K,L)=Y가 일정한 등량곡선 상에서 음함수 미분을 적용해 자본과 노동 간 한계기술대체율을 계산하였다."

이 예문은 미시경제학에서 자본(K)과 노동(L)이 얽힌 생산함수의 등량곡선 기울기를 음함수 미분으로 도출하는 전형적인 활용 방식을 보여줍니다.

조금 더 깊게 보면

음함수 미분이 실제로 성립하려면 해당 지점 근처에서 y를 x의 함수로 국소적으로 정의할 수 있어야 하는데, 이를 수학적으로 뒷받침하는 것이 음함수 정리(implicit function theorem)입니다. 이 정리는 편미분(∂F/∂y)이 0이 아니라는 조건 아래에서 그런 국소적 함수의 존재를 보장합니다. 다변수 함수로 확장하면 라그랑주 승수법이나 제약조건 최적화에서도 같은 원리가 활용되며, 여러 변수 간 얽힌 제약식을 다루는 경제학·공학 논문에서 이 개념이 자연스럽게 이어집니다.

주의할 점

음함수 미분 후 얻은 dy/dx 식에는 보통 x뿐 아니라 y도 함께 남아 있습니다. 따라서 특정 지점에서의 기울기를 구하려면 그 점의 x, y 좌표를 모두 대입해야 하며, x값 하나만으로는 계산이 끝나지 않는다는 점에 유의해야 합니다. 또한 이 방법이 성립하려면 해당 구간에서 y가 x에 대한 (국소적으로) 매끄러운 함수로 정의될 수 있어야 합니다.