함수 방정식(函數方程式, functional equation)은 미지수가 변수가 아니라 함수인 방정식을 말한다. 일반적인 대수 방정식이 미지수 $x$ 등의 값을 구하는 것이라면, 함수 방정식은 미지 함수 $f(x)$ 자체를 구하거나 그 성질을 결정하는 것을 목적으로 한다.
함수 방정식은 함수 사이의 관계식으로 표현되며, 정의역과 공역이 같은 집합(주로 실수 집합 $\mathbb{R}$ 또는 복소수 집합 $\mathbb{C}$)인 경우가 많다. 해는 해당 관계식을 모든 정의역의 원소에 대해 만족하는 함수의 집합이 된다.
주요 특징
- 미지수의 성격: 미지수가 수치가 아닌 함수이다.
- 조건의 보편성: 방정식이 정의역의 '모든' 원소에 대해 성립해야 한다(항등식적 성격).
- 해의 형태: 해가 유일한 함수로 결정되기도 하지만, 추가적인 조건(연속성, 단조성, 미분가능성, 유계성 등)이 없을 경우 병리적인 해(하멜 기저를 이용한 해 등)가 무수히 존재할 수 있다.
대표적인 예
- 코시 방정식 (Cauchy's functional equation): $f(x+y) = f(x) + f(y)$
- 연속성 등의 정규성 조건 하에서 해는 $f(x)=cx$ (c는 상수) 형태의 선형 함수로 한정된다.
- 지수 함수 방정식: $f(x+y) = f(x)f(y)$
- 양의 값을 가지며 연속인 해는 $f(x)=a^x$ 형태이다.
- 로그 함수 방정식: $f(xy) = f(x) + f(y)$
- 해는 로그 함수의 형태를 띤다.
- 젠센 방정식 (Jensen's functional equation): $f\left(\frac{x+y}{2}\right) = \frac{f(x)+f(y)}{2}$
- 볼록/오목 함수와 밀접한 관련이 있으며, 연속일 때 아핀 함수(일차 함수)의 형태를 가진다.
- 다뽀 방정식 (d'Alembert's functional equation): $f(x+y) + f(x-y) = 2f(x)f(y)$
- 해는 코사인 함수($\cos ax$) 또는 쌍곡코사인 함수($\cosh ax$) 등이다.
해법 및 연구 접근
- 대입법 (Substitution): 특수한 값($x=0, y=0, y=x, y=-x$ 등)을 대입하여 함수값의 초기 조건이나 대칭성, 주기성 등을 유도한다.
- 수학적 귀납법: 정수, 유리수에 대한 함수값을 구한 뒤, 연속성 등을 이용해 실수 전체로 확장한다.
- 정규성 조건 부과: 연속성, 한 점에서의 유계성, 미분가능성, 단조성, 르베그 가측성 등의 조건을 가정하여 병리적 해를 배제하고 정칙인 해만을 분류한다.
- 변수 변환 및 연립: 주어진 방정식을 변형하거나 여러 번 적용하여 연립 방정식 형태로 만들고 미지 함수를 소거한다.
수학사 및 응용 함수 방정식의 체계적인 연구는 18세기 후반부터 19세기에 걸쳐 오귀스탱 루이 코시(Augustin-Louis Cauchy), 니엘스 헨리크 아벨(Niels Henrik Abel) 등에 의해 시작되었다. 20세기에는 마르시안 크체마르츠키(Marcin Kuczma) 등에 의해 현대적인 이론(반군 위에서의 함수 방정식, 안정성 문제 등)으로 정립되었다.
응용 분야로는 정보 이론(엔트로피 특성화), 확률 이론(정규 분포의 특성화), 기하학(거리 보존 사상), 미분 방정식(대칭성을 이용한 해법), 경제학(효용 함수 이론), 물리학(로렌츠 변환 유도) 등이 있다.
