적분 작용소
📂바나흐공간적분 작용소
정의
연속함수공간 C[0,1]에 대해서, 다음과 같이 정의되는 작용소 T:C[0,1]→C[0,1]을 적분 작용소integral operator라 한다.
y=Txwherey(s)=∫01K(s,t)x(t)dt
이때 K를 T의 커널kernel이라 한다. (커널 K는 [0,1]×[0,1] 위에서 연속인 것으로 가정된다.)
설명
적분 작용소는 적분 변환이라고도 불린다. 보통의 경우 T의 정의역 및 공역을 벡터공간으로 바라보면 변환, 놈 공간으로 바라보면 작용소라고 한다.
정리
적분 작용소는 선형이고 유계이다.
증명
선형성: 정의에 의해 자명하다.
유계:
연속함수공간의 놈
연속함수공간 C[0,1]의 놈norm을 다음과 같이 정의한다.
∥x∥:=t∈[0,1]max∣x(t)∣,x∈C[0,1]
우선 ∣x(t)∣≤t∈[0,1]max=∥x∥이다. 또한 K와 연속이므로 닫힌 구간 위에서 유계이다.
∣K(s,t)∣≤K0∀(s,t)∈[0,1]
따라서 다음을 얻고, T는 유계이다.
∥Tx∥=t∈[0,1]max0∫1K(s,t)x(t)dt≤t∈[0,1]max0∫1∣K(s,t)∣∣x(t)∣dt≤K0∥x∥
■