logo

적분 작용소 📂바나흐공간

적분 작용소

정의1

연속함수공간 C[0,1]C[0 ,1]에 대해서, 다음과 같이 정의되는 작용소 T:C[0,1]C[0,1]T : C[0, 1] \to C[0, 1]적분 작용소integral operator라 한다.

y=Txwherey(s)=01K(s,t)x(t)dt y = Tx \qquad \text{where} \qquad y(s) = \int_{0}^{1} K(s, t) x(t) dt

이때 KKTT의 커널kernel이라 한다. (커널 KK[0,1]×[0,1][0, 1] \times [0, 1] 위에서 연속인 것으로 가정된다.)

설명

적분 작용소는 적분 변환이라고도 불린다. 보통의 경우 TT의 정의역 및 공역을 벡터공간으로 바라보면 변환, 놈 공간으로 바라보면 작용소라고 한다.

정리

적분 작용소는 선형이고 유계이다.

증명

선형성: 정의에 의해 자명하다.

유계:

연속함수공간의 놈

연속함수공간 C[0,1]C[0, 1]norm을 다음과 같이 정의한다.

x:=maxt[0,1]x(t),xC[0,1] \left\| x \right\| := \max\limits_{t \in [0, 1]} \left| x(t) \right|,\qquad x \in C[0, 1]

우선 x(t)maxt[0,1]=x\left| x(t) \right| \le \max\limits_{t \in [0, 1]} = \left\| x \right\|이다. 또한 KK와 연속이므로 닫힌 구간 위에서 유계이다.

K(s,t)K0(s,t)[0,1] \left| K(s, t) \right| \le K_{0}\quad \forall (s, t) \in [0, 1]

따라서 다음을 얻고, TT는 유계이다.

Tx=maxt[0,1]01K(s,t)x(t)dtmaxt[0,1]01K(s,t)x(t)dtK0x \begin{align*} \left\| Tx \right\| &= \max\limits_{t \in [0, 1]} \left| \int\limits_{0}^{1} K(s, t) x(t) dt \right| \\ &\le \max\limits_{t \in [0, 1]} \int\limits_{0}^{1} \left| K(s, t) \right| \left| x(t) \right| dt \\ &\le K_{0} \left\| x \right\| \end{align*}


  1. Erwin Kreyszig, Introductory Functional Analysis with Applications (1978), p94 ↩︎