logo

초함수의 곱의 미분법 📂초함수론

초함수의 곱의 미분법

정리1

TDT\in D^{\ast}초함수, fCf \in C^{\infty}스무스 함수라고 하자. 그러면 아래의 식이 성립한다.

(fT)=fT+fT (fT)^{\prime}= f^{\prime}T+fT^{\prime}

설명

기존의 곱의 미분법과 찰떡같이 잘 맞으니 초함수의 미분초함수의 곱이 그럴듯하게 정의됐음을 느낄 수 있다.

증명

초함수 미분과 곱의 정의에 의해 다음이 성립한다.

D(fT(ϕ))=D(T(fϕ))=T((fϕ))=T(fϕ+fϕ)=T(fϕ)+T(fϕ)=fT(ϕ)+fT(ϕ)=fT(ϕ)+fT(ϕ) \begin{align*} D( fT (\phi) ) &= D( T(f\phi) ) \\ &= T\left( (f\phi)^{\prime} \right) \\ &= T(f^{\prime}\phi+f\phi^{\prime}) \\ &= T(f^{\prime}\phi)+T(f\phi^{\prime}) \\ &=f^{\prime}T(\phi)+fT(\phi^{\prime}) \\ &= f^{\prime}T(\phi)+fT^{\prime}(\phi) \end{align*}

따라서 다음을 얻는다.

(fT)=fT+fT (fT)^{\prime}=f^{\prime}T+fT^{\prime}


  1. Daniel Eceizabarrena perez, Distribution Theory and Fundamental Solutions of Differential Operators (2015), p12 ↩︎