logo

微分演算子とシンボル 📂偏微分方程式

微分演算子とシンボル

定義1

自然数 mNm \in \mathbb{N}に対して、微分演算子differential operatorとは、次のような写像 PPを意味する。

P=αmaα(x)Dα,x=(x1,,xn) \begin{equation} P = \sum\limits_{\left| \alpha \right| \le m} a_{\alpha}(x) D^{\alpha},\qquad x = (x_{1}, \dots, x_{n}) \end{equation}

ここで、α=(α1,,αn)\alpha = (\alpha_{1}, \dots, \alpha_{n})多重指数だ。DαD^{\alpha}は次のようだ。

Dα:=αx1α1xnαn=(x1)α1(x2)α2(xn)αn=x1α1xnαn \begin{align*} D^\alpha &:= \dfrac{\partial ^{|\alpha|} } {{\partial x_{1}}^{\alpha_{1}}\cdots {\partial x_{n}}^{\alpha_{n}}} \\ &= \left( \frac{ \partial }{ \partial x_{1}} \right)^{\alpha_{1}}\left( \frac{ \partial }{ \partial x_{2}} \right)^{\alpha_{2}}\cdots \left( \frac{ \partial }{ \partial x_{n}} \right)^{\alpha_{n}} \\ &= \partial^{\alpha_{1}}_{x_{1}}\cdots\partial^{\alpha_{n}}_{x_{n}} \end{align*}

説明

PPは適切な関数空間 XXYYの間の写像だ。もちろん、XXの元は少なくとも一度微分可能でなければならない。

P:XY P : X \to Y

シンボル

(1)(1)DDに変数 ξ=(ξ1,,ξn)\xi = (\xi_{1}, \dots, \xi_{n})を代入して得られる多項式 ppPPトータルシンボルtotal symbolという。

p(x,ξ)=αmaα(x)ξα,ξα=ξ1αξnα p(x,\xi) = \sum\limits_{\left| \alpha \right| \le m} a_{\alpha}(x) \xi^{\alpha},\qquad \xi^{\alpha} = \xi^{\alpha}_{1} \dots \xi^{\alpha}_{n}

また、次の多項式 σ(x,ξ)\sigma (x, \xi)PP主要シンボルprincipal symbolという。

σ(x,ξ)=α=maα(x)ξα \sigma (x, \xi) = \sum\limits_{\left| \alpha \right| = m} a_{\alpha}(x) \xi^{\alpha}

説明

トータルシンボル ppは定義により(1)(1)を満たすが、逆に(1)(1)を満たす多項式 ppPPのトータルシンボルと定義してもいい。

フーリエ変換との関係

フーリエ変換性質により、次が成立する。

F[Df](ξ)=iξFf(ξ)    Df(x)=F1[iξFf(ξ)](x) \mathcal{F}[Df] (\xi) = i\xi \mathcal{F}f (\xi) \implies Df (x) = \mathcal{F}^{-1} \left[ i\xi \mathcal{F}f (\xi) \right] (x)

したがって、次を得る。

Pf(x)=F1[p(,iξ)f^(ξ)](x)=1(2π)nRnp(x,iξ)f^(ξ)eixξdξ \begin{align} P f(x) &= \mathcal{F}^{-1} \left[ p(\cdot, i\xi) \hat{f}(\xi) \right] (x) \nonumber \\ &= \dfrac{1}{(2 \pi)^{n}}\int_{\mathbb{R}^{n}} p(x,i\xi)\hat{f}(\xi) e^{i x \cdot \xi} d\xi \end{align}