*함수의 합성곱
두 함수에서 입력값의 합이 일정한 함수값들을 곱한 뒤,그 값을 적분하는 연산을 함수의 합성곱이라 한다.
음이 아닌 실수에서 정의된 연속함수 f,g에 대하여,합성곱을 다음과 같이 정의할 수 있다.(f∗g)(x)=∫0xf(t)g(x−t)dt(x≥0)두 함수에 들어가는 값 t와 x−t의 합을 x로 일정하게 둔다.
Note. 수열에서는 첨자의 합이 일정한 항들을 곱하여 더하는 것을 합성곱이라 한다.수열의 합성곱과 생성함수의 관계는 생성함수에서 다룬다.
u=x−t로 치환하면∫0xf(t)g(x−t)dt=∫0xf(x−u)g(u)du이므로 함수의 합성곱도 교환법칙을 만족한다.
*합성곱의 미분
f가 연속이고 g가 연속인 도함수를 가지면, x>0에서dxd(f∗g)(x)=f(x)g(0)+∫0xf(t)g′(x−t)dt이다. 적분의 위끝이 변하면서 생기는 항과,적분 안의 g(x−t)를 미분한 항이 함께 나온다.
특히 g(0)=0이면 첫 번째 항이 없어지므로(f∗g)′=f∗g′이다. 합성곱으로 주어진 식을 미분하여원래 함수에 관한 관계식을 얻을 수 있다.