2011년 11월 16일 수요일

동차 함수(同次函數, Homogeneous Function)

[경고] 아래 글을 읽지 않고 "동차 함수"를 보면 바보로 느껴질 수 있습니다.


다음과 같은 재미있는 성질을 가진 함수는 제$n$차 동차 함수(同次函數, the nth order homogeneous function)라 한다.

                  (1a)
   
                       (1b)

즉, 동차 함수는 매개변수 벡터(vector) $\bar v$에 $\alpha$를 곱하면 함수 전체에 곱한 결과와 같아지는 성질을 가진다. 혹은 각 독립 변수가 같은 비례로 바뀌는 함수를 동차 함수라 이름 붙인다. 식 (1)에 있는 벡터에서 스칼라(scalar)로 가는 함수는 선형 범함수(線型 範函數, linear functional)라고 정의한다. 따라서 동차 함수는 선형 범함수 중에서 식 (1)과 같은 성질을 가진 함수로 생각할 수 있다. 동차 함수의 대표적인 예는 벡터의 내적(inner product)이다. 예를 들어, 식 (1)의 $f$를 아래처럼 정의한다.

                       (2)

식 (2)에 있는 선형 범함수는 식 (1)의 정의를 이용하면 1차 동차 함수가 된다. 동차 함수는 완전 미분 방정식(exact differential equation)과 같은 꼴을 가진 동차 1계 상미분 방정식(homogeneous first-order ODE)을 풀 수 있는 중요 개념이다.

                       (3)

여기서 $A(x, y), B(x, y)$는 $n$차 동차 함수이다. 식 (3)에서 $u$ = $y/x$라 놓고 $A(x, y), B(x, y)$에서 $x$를 뽑아낸다.

                       (4)

여기서 $dy$ = $xdu + udx$이다. 식 (6)의 좌변과 우변은 $u, x$에 대해 완벽하게 변수 분리가 되므로, 양변을 적분해서 미분 방정식을 간단하게 풀 수 있다.
동차 함수가 가진 특이한 성질은 완전 미분(exact differential)을 이용해서 오일러Leonhard Euler(1707–1783)가 처음으로 증명했다. 동차란 명칭은 오일러의 스승인 요한 베르누이Johann Bernoulli(1667–1748)의 1726년베르누이 59세, 조선 영조 시절 작품이다.

                        (5a)

             (5b: 완전 미분)

식 (5)는 오일러의 동차 함수 정리(Euler's homogeneous function theorem)라 부른다. 예를 들어, 식 (2)를 식 (5)에 대입하면 다음을 증명할 수 있다.

                       (6)

여기서 $f(\bar v)$는 식 (1)에 의해 제1차 동차 함수이다.

[다음 읽을거리]

댓글 6개 :

  1. (1)에서 왼쪽함수는 독립변수가 알파로 1개이고 오른쪽 f(v)에서는 독립변수가 x,y,z ... 여러개인데 두 함수사이 관계가 정의 될수있나욤? 제가 개념이 잘안잡혀서 ㅠㅠ 도메인에서부터가 왼쪽함수는 R->R^n->R 로되고 오른쪽은 R^n->R 로 되잖아요, 도메인이 달라도 종속변수 즉 공역이 R로 같으면 두함수 비교(여기선 등호=)가 되는건가요?

    답글삭제
  2. 식 (1)은 벡터에서 스칼라로 가는 함수입니다. 이런 함수의 대표적인 예가 내적이지요. 내적은 식 (1)에 의해 1차 동차함수가 됩니다.
    벡터에서 스칼라로 가는 함수는 고상한 말로 선형 범함수(linear functional)라고도 합니다.

    답글삭제
  3. determinant는 n차 동차가되겠군요 아하 예를 들어주시니 이해가 단방에 되네요 감사합니다

    답글삭제
  4. 예, 맞습니다. 행렬식을 구성하는 벡터를 a배 하면 a^n만큼 커지기 때문에 n차 동차함수가 됩니다.

    답글삭제
  5. 경제학 공부하는 중 많은 도움이 됐습니다. 감사합니다.

    답글삭제
    답글
    1. 방문 감사해요, 익명님 ^^ 경제학으로 대성하시길 바래요.

      삭제

욕설이나 스팸글은 삭제될 수 있습니다. [전파거북이]는 선플운동의 아름다운 인터넷을 지지합니다.