查看“︁泛函导数”︁的源代码

{{NoteTA|G1=P|G2=Math}}

在[[数学]]和理论[[物理]]中，'''泛函导数'''是[[方向导数]]的推广。后者对一个有限维[[向量]]求微分，而前者则对一个连续函数（可视为无穷维向量）求微分。它们都可以认为是简单的一元[[微积分]]中[[导数]]的扩展。数学里专门研究泛函导数的分支是[[泛函分析]]。

==定义==
设有[[流形]] ''M'' 代表（[[連續函數 (拓撲學)|连续]]/[[光滑函数|光滑]]/有某些[[边界条件]]等的）函数 φ 以及[[泛函]] ''F''：
::<math>F\colon M \rightarrow \mathbb{R} \quad \mbox{or} \quad F\colon M \rightarrow \mathbb{C} </math>, 

则''F''的'''泛函导数'''，记为<math>{\delta F}/{\delta\varphi}</math>,是一个满足以下条件的[[分布 (數學分析)|分布]]：

对任何测量函数 ''f'':


<math>
\begin{align}
\left\langle \frac{\delta F[\varphi(x)]}{\delta\varphi(x)}, f(x) \right\rangle 
&= \int \frac{\delta F[\varphi(x)]}{\delta\varphi(x')} f(x')dx' \\
&= \lim_{\varepsilon\to 0}\frac{F[\varphi(x)+\varepsilon f(x)]-F[\varphi(x)]}{\varepsilon} \\
&= \left.\frac{d}{d\epsilon}F[\varphi+\epsilon f]\right|_{\epsilon=0}.
\end{align}
</math>

用 <math>\varphi</math> 的[[一次变分]] <math>\delta\varphi</math> 代替 <math>f</math> 就得到 <math>F</math> 的一次变分 <math>\delta F</math>；

在物理学中，通常用[[狄拉克δ函数]] <math>\delta(x-y)</math>，而不是一般的测试函数 <math>f(x)</math>, 来求出点<math>y</math>处的泛函导数(这是整个泛函变分的关键点，就像[[偏导数]]是[[梯度]]的一个分量):

: <math>\frac{\delta F[\varphi(x)]}{\delta \varphi(y)}=\lim_{\varepsilon\to 0}\frac{F[\varphi(x)+\varepsilon\delta(x-y)]-F[\varphi(x)]}{\varepsilon}.
</math>

这适用于<math>F[\varphi(x)+\varepsilon f(x)]</math> 可以展开成<math>\varepsilon</math>的级数時 (或者至少能展为1阶). 但是这一表达在数学上并不严格,因为 <math>F[\varphi(x)+\varepsilon\delta(x-y)]</math>一般而言并未定义。

==正式表述==
通过更仔细地定义[[拓撲向量空間|函数空间]]，泛函导数的定义可以更准确、正式。例如，当函数空间是一个[[巴拿赫空间]]时, 泛函导数就是著名的[[Fréchet导数]], 而这在更一般的局部凸空间上使用[[加托導數]]。注意，著名的[[希尔伯特空间]]是[[巴拿赫空间]]的特例。更正式的处理允许将普通[[微积分]]和[[数学分析]]的定理推广为[[泛函分析]]中对应的定理，以及大量的新定理。

==性質==
與函數的導數類似，泛函導數滿足下列的性質：（其中 {{math|''F''}}[''ρ''] 和 {{math|''G''}}[''ρ''] 為兩個泛函）
* 線性：<ref name=ParrYangP247A.3>{{harv|Parr|Yang|1989|loc= p. 247, Eq. A.3}}.</ref>
: <math>\frac{\delta(\lambda F + \mu G)[\rho ]}{\delta \rho(x)} = \lambda \frac{\delta F[\rho]}{\delta \rho(x)} + \mu \frac{\delta G[\rho]}{\delta \rho(x)},</math>
:其中 {{math|''λ'', ''μ''}} 皆為常數。

* 積法則：<ref name=ParrYangP247A.4>{{harv|Parr|Yang|1989|loc= p. 247,  Eq. A.4}}.</ref>
: <math>\frac{\delta(FG)[\rho]}{\delta \rho(x)} = \frac{\delta F[\rho]}{\delta \rho(x)} G[\rho] + F[\rho] \frac{\delta G[\rho]}{\delta \rho(x)} \, , </math>

* 鏈式法則： 
:若 {{math|''F''}} 和 {{math|''G''}} 為兩個泛函，則<ref>{{harv|Greiner|Reinhardt|1996|loc=p. 38, Eq. 6}}.</ref>
:<math>\displaystyle\frac{\delta F[G[\rho]] }{\delta\rho(y)}  = \int dx \frac{\delta F[G(\rho)]}{\delta G[\rho(x) ]} \ \frac {\delta G[\rho]} {\delta\rho(y)} \ . </math>
:若當中的 {{math|''G''}} 為一個普通的可導函數 {{math|''g''}}，則上式化為<ref>{{harv|Greiner|Reinhardt|1996|loc=p. 38, Eq. 7}}.</ref>
:<math>\displaystyle\frac{\delta F[g(\rho)] }{\delta\rho(y)}  = \frac{\delta F[g(\rho)]}{\delta g[\rho(x) ]} \ \frac {dg(\rho)} {d\rho(y)} \ . </math>


==δ函数作为测量函数==
上面给出的定义是基于一种对所有测量函数 ''f''都成立的关系，因此有人可能会想，它在 ''f''是一个指定的函数（比如说[[狄拉克δ函数]]）时也应该成立。但是，δ函数不是一个合理的测量函数。

在定义中，泛函导数描述了整个函数<math>\varphi(x)</math>发生微小变化时，泛函<math>F[\varphi(x)]</math>如何变化。其中，<math>\varphi(x)</math>的变化量的具体形式没有指明，

==泛函導數的求法==

===公式===

給定泛函 
:<math>F[\rho] = \int f( \boldsymbol{r}, \rho(\boldsymbol{r}), \nabla\rho(\boldsymbol{r}) )\, d\boldsymbol{r},</math>
及在積分區域的邊界上恆為零的函數 {{math|''ϕ''}}('''{{math|''r''}}''')，由定義可得：

:<math>
\begin{align}
\int \frac{\delta F}{\delta\rho(\boldsymbol{r})} \, \phi(\boldsymbol{r}) \, d\boldsymbol{r}  
&  = \left [ \frac{d}{d\varepsilon} \int f( \boldsymbol{r}, \rho + \varepsilon \phi, \nabla\rho+\varepsilon\nabla\phi )\, d\boldsymbol{r} \right ]_{\varepsilon=0} \\
&  = \int \left( \frac{\partial f}{\partial\rho} \, \phi + \frac{\partial f}{\partial\nabla\rho} \cdot \nabla\phi \right) d\boldsymbol{r} \\
&  = \int \left[ \frac{\partial f}{\partial\rho} \, \phi + \nabla \cdot \left( \frac{\partial f}{\partial\nabla\rho} \, \phi \right) - \left( \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi \right] d\boldsymbol{r} \\
&  = \int \left[ \frac{\partial f}{\partial\rho} \, \phi - \left( \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi \right] d\boldsymbol{r} \\
&  = \int \left( \frac{\partial f}{\partial\rho} -  \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi(\boldsymbol{r}) \ d\boldsymbol{r} \, .
\end{align}
</math>

其中第二行用到了 {{math|''f''}} 的[[全微分]]， {{math|''&part;f'' /''&part;&nabla;''}}''ρ'' 為純量對向量的導數。<ref group="Note">在三維[[笛卡尔坐标系]]中，
:<math>
\begin{align}
\frac{\partial f}{\partial\nabla\rho} =   \frac{\partial f}{\partial\rho_x}  \mathbf{\hat{i}}   + \frac{\partial f}{\partial\rho_y}  \mathbf{\hat{j}} + \frac{\partial f}{\partial\rho_z}  \mathbf{\hat{k}}\, ,  \qquad 
& \text{where} \ \rho_x = \frac{\partial \rho}{\partial x}\, ,  \ \rho_y = \frac{\partial \rho}{\partial y}\, , \ \rho_z = \frac{\partial \rho}{\partial z}\, \\
& \text{and} \ \ \mathbf{\hat{i}}, \ \mathbf{\hat{j}}, \ \mathbf{\hat{k}} \ \ \text {are unit vectors along the x, y, z axes.}
\end{align}
</math></ref> 第三行則用到了[[散度#性质|散度的積法則]]。第四行由[[高斯散度定理]]及邊界上 {{math|''ϕ''{{=}}0}} 的條件得到。由於 {{math|''ϕ''}} 可以是任意的函數，由[[變分法基本引理]]可知，所求泛函導數為

:<div style="{{divstylewhite}}; width:20em; margin:.3em"><center><math>
\frac{\delta F}{\delta\rho(\boldsymbol{r})} = \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial\nabla\rho} 
</math></center></div>

其中 ''ρ'' = ''ρ''('''{{math|''r''}}''') 且 {{math|''f'' {{=}} ''f'' ('''{{math|''r''}}'''}}, ''ρ'', &nabla;''ρ'')。只要 {{math|''F''}}[''ρ''] 具有本節首段的形式，上述公式就適用。對於其他的泛函形式，可由定義出發，求出其泛函導數。（見[[泛函导数#库仑势能泛函|库仑势能泛函]]。)

以上公式可推廣到高維，並且有其他高階導數的情況。則泛函可寫成

:<math>
F[\rho(\boldsymbol{r})] = \int f( \boldsymbol{r}, \rho(\boldsymbol{r}), \nabla\rho(\boldsymbol{r}), \nabla^{(2)}\rho(\boldsymbol{r}), \dots, \nabla^{(N)}\rho(\boldsymbol{r}))\, d\boldsymbol{r},
</math>
其中向量 {{math|'''''r''''' &isin; ℝ<sup>''n''</sup>}}，而 {{math|&nabla;<sup>(''i'')</sup>}} 為一個張量，其 {{math|''n<sup>i</sup>''}} 個分量分別為 {{math|''i''}} 階微分算子  
:<math> \left [ \nabla^{(i)} \right ]_{\alpha_1 \alpha_2 \cdots \alpha_i} = \frac {\partial^{\, i}} {\partial r_{\alpha_1}  \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} } \qquad \qquad \text{where} \quad  \alpha_1, \alpha_2, \cdots, \alpha_i = 1, 2, \cdots , n \ . </math><ref group = 'Note'>例如，對於三維 ({{math|''n'' {{=}} 3}}) 和二階 ({{math|''i'' {{=}} 2}}) 導數，張量 {{math|&nabla;<sup>(2)</sup>}} 的分量為
:<math> \left [ \nabla^{(2)} \right ]_{\alpha \beta} = \frac {\partial^{\,2}} {\partial r_{\alpha} \, \partial r_{\beta}} \qquad \qquad \text{where} \quad \alpha, \beta = 1, 2, 3 \, . </math></ref>

與上面類似，由泛函導數的定義可知：

:<math>
\begin{align}
\frac{\delta F[\rho]}{\delta \rho} &{} = \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial(\nabla\rho)} + \nabla^{(2)} \cdot \frac{\partial f}{\partial\left(\nabla^{(2)}\rho\right)} + \dots + (-1)^N \nabla^{(N)} \cdot \frac{\partial f}{\partial\left(\nabla^{(N)}\rho\right)} \\
&{} =   \frac{\partial f}{\partial\rho} + \sum_{i=1}^N (-1)^{i}\nabla^{(i)} \cdot \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} \ .
\end{align}
</math>

式中，張量 <math> \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} </math> 具有 {{math|''n<sup>i</sup>''}} 個分量，各為 {{math|''f''}} 對 ''ρ'' 偏導數之偏導數，即：

:<math> \left [ \frac {\partial f} {\partial \left (\nabla^{(i)}\rho \right ) } \right ]_{\alpha_1 \alpha_2 \cdots \alpha_i} = \frac {\partial f} {\partial \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} } \qquad \qquad \text{where} \quad \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} \equiv \frac {\partial^{\, i}\rho} {\partial r_{\alpha_1} \, \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} }   \ ,   </math>

並定義張量的純量積為
:<math> \nabla^{(i)} \cdot \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} = \sum_{\alpha_1, \alpha_2, \cdots, \alpha_i = 1}^n \ \frac {\partial^{\, i} } {\partial r_{\alpha_1} \, \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} }  \ \frac {\partial f} {\partial \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} }   \  .  </math> <ref group = 'Note'>例如，當 {{math|''n'' {{=}} 3}} 及 {{math|''i'' {{=}} 2}}時，張量的純量積為
:<math> \nabla^{(2)} \cdot \frac{\partial f}{\partial\left(\nabla^{(2)}\rho\right)} = \sum_{\alpha, \beta = 1}^3 \ \frac {\partial^{\, 2} } {\partial r_{\alpha} \, \partial r_{\beta} }  \ \frac {\partial f} {\partial \rho_{\alpha \beta} }    \qquad \text{where} \ \ \rho_{\alpha \beta} \equiv \frac {\partial^{\, 2}\rho} {\partial r_{\alpha} \, \partial r_{\beta} } \ . </math></ref>

===例子===

====托马斯-费米动能泛函====
1927年的{{link-en|Thomas-Fermi模型|Thomas–Fermi model}}对于无相互作用的单一电子雲使用了动能泛函是密度泛函理论关于电子结构的第一次尝试
:<math>T_\mathrm{TF}[\rho] = C_\mathrm{F} \int \rho^{5/3}(\mathbf{r}) \, d\mathbf{r}.</math>
<math>T_\mathrm{TF}[\rho]</math> 只与电子密度有关 <math>\rho(\mathbf{r})</math> 并且不依赖于其梯度, [[拉普拉斯算子|Laplacian]], 或者其他更高阶的微分 (像这样的泛函被称为是“局部的”). 因此，
:<math>\frac{\delta T_\mathrm{TF}[\rho]}{\delta \rho} = C_\mathrm{F} \frac{\partial \rho^{5/3}(\mathbf{r})}{\partial \rho(\mathbf{r})}  = \frac{5}{3} C_\mathrm{F}  \rho^{2/3}(\mathbf{r}).</math>

====库仑势能泛函====
托馬斯和費米利用了以下[[库仑定律|库仑]]勢能泛函來描述電子與核之間的電勢

:<math>V[\rho] =  \int \frac{\rho(\boldsymbol{r})}{|\boldsymbol{r}|} \ d\boldsymbol{r}.</math>

由泛函導數的定義，

:<math>
\begin{align}
\int \frac{\delta V}{\delta \rho(\boldsymbol{r})} \ \phi(\boldsymbol{r}) \ d\boldsymbol{r} 
& {} = \left [ \frac{d}{d\varepsilon}  \int \frac{\rho(\boldsymbol{r}) + \varepsilon \phi(\boldsymbol{r})}{|\boldsymbol{r}|} \ d\boldsymbol{r} \right ]_{\varepsilon=0} \\
& {} =  \int  \frac {1} {|\boldsymbol{r}|} \, \phi(\boldsymbol{r}) \ d\boldsymbol{r} \, .
\end{align}
</math>
故
:<math> \frac{\delta V}{\delta \rho(\boldsymbol{r})} = \frac{1}{|\boldsymbol{r}|} \ . </math>

至於電子與電子間的相互作用，由以下庫侖勢能泛函描述：
:<math>J[\rho] = \frac{1}{2}\iint \frac{\rho(\mathbf{r}) \rho(\mathbf{r}')}{\vert \mathbf{r}-\mathbf{r}' \vert}\, d\mathbf{r} d\mathbf{r}' \, .</math>
由定義，
:<math>
\begin{align}
\int \frac{\delta J}{\delta\rho(\boldsymbol{r})} \phi(\boldsymbol{r})d\boldsymbol{r}  
& {} = \left [ \frac {d \ }{d\epsilon} \, J[\rho + \epsilon\phi] \right ]_{\epsilon = 0} \\
& {} = \left [ \frac {d \ }{d\epsilon} \, \left ( \frac{1}{2}\iint \frac {[\rho(\boldsymbol{r}) + \epsilon \phi(\boldsymbol{r})] \,  [\rho(\boldsymbol{r}') + \epsilon \phi(\boldsymbol{r}')]  }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}'  \right ) \right ]_{\epsilon = 0} \\
& {} =  \frac{1}{2}\iint \frac {\rho(\boldsymbol{r}') \phi(\boldsymbol{r})  }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' +
            \frac{1}{2}\iint \frac {\rho(\boldsymbol{r}) \phi(\boldsymbol{r}')  }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}'   \\
\end{align}
</math>
式末的兩個積分相等，因為可以交換第二個積分中 {{math|'''''r'''''}} 和 {{math|'''''r&prime;'''''}} 兩個變數，而不改變積分的值。因此，
:<math> \int \frac{\delta J}{\delta\rho(\boldsymbol{r})} \phi(\boldsymbol{r})d\boldsymbol{r} = \int \left ( \int \frac {\rho(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert} d\boldsymbol{r}' \right )  \phi(\boldsymbol{r}) d\boldsymbol{r}  </math>
故電子－電子庫侖勢能泛函 {{math|''J''}}[''ρ''] 的導數為<ref name=ParrYangP248A.11>{{harv|Parr|Yang|1989|loc=p. 248, Eq. A.11}}.</ref>
:<math> \frac{\delta J}{\delta\rho(\boldsymbol{r})} = \int \frac {\rho(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert} d\boldsymbol{r}' \, . </math>

且其二階泛函導數為
:<math>\frac{\delta^2 J[\rho]}{\delta \rho(\mathbf{r}')\delta\rho(\mathbf{r})}  = \frac{\partial}{\partial \rho(\mathbf{r}')} \left ( \frac{\rho(\mathbf{r}')}{\vert \mathbf{r}-\mathbf{r}' \vert} \right ) = \frac{1}{\vert \mathbf{r}-\mathbf{r}' \vert}.
</math>

====魏茨泽克动能泛函====
1935 年，[[卡尔·冯·魏茨泽克|魏茨泽克]]提出，在托馬斯－費米動能泛函中添加一項梯度修正，使之能更準確描述分子的電子雲：
:<math>T_\mathrm{W}[\rho] = \frac{1}{8} \int \frac{\nabla\rho(\mathbf{r}) \cdot \nabla\rho(\mathbf{r})}{ \rho(\mathbf{r}) } d\mathbf{r} =  \int t_\mathrm{W} \ d\mathbf{r} \, ,</math>
其中
:<math> t_\mathrm{W} \equiv  \frac{1}{8}  \frac{\nabla\rho \cdot \nabla\rho}{ \rho } \qquad \text{and} \ \ \rho = \rho(\boldsymbol{r}) \ .  </math>
由上節的公式可得
:<math>
\begin{align}
\frac{\delta T_\mathrm{W}}{\delta \rho(\boldsymbol{r})} 
& = \frac{\partial t_\mathrm{W}}{\partial \rho} - \nabla\cdot\frac{\partial t_\mathrm{W}}{\partial \nabla \rho} \\
& = -\frac{1}{8}\frac{\nabla\rho \cdot \nabla\rho}{\rho^2} - \left ( \frac {1}{4} \frac {\nabla^2\rho} {\rho} -  \frac {1}{4} \frac {\nabla\rho \cdot \nabla\rho} {\rho^2} \right ) \qquad \text{where} \ \ \nabla^2 = \nabla \cdot \nabla \ ,
\end{align}
</math>
故所求泛函導數為<ref name=ParrYangP247A.9>{{harv|Parr|Yang|1989|loc= p. 247, Eq. A.9}}.</ref>
:<math> \frac{\delta T_\mathrm{W}}{\delta \rho(\boldsymbol{r})} =  \ \ \, \frac{1}{8}\frac{\nabla\rho \cdot \nabla\rho}{\rho^2} - \frac{1}{4}\frac{\nabla^2\rho}{\rho} \ . </math>

====将函数表示成泛函====
最后，注意到任何函数都可以以积分的形式表示成一个泛函。例如，
:<math>\rho(\mathbf{r}) = \int \rho(\mathbf{r}') \delta(\mathbf{r}-\mathbf{r}')\, d\mathbf{r}'.</math>
这个泛函只依赖于<math>\rho</math>，像上面两个例子一样(就是说，它们都是“局部的”)。因此
:<math>\frac{\delta \rho(\mathbf{r})}{\delta\rho(\mathbf{r}')}=\frac{\partial \rho(\mathbf{r}') \delta(\mathbf{r}-\mathbf{r}')}{\partial \rho(\mathbf{r}')} = \delta(\mathbf{r}-\mathbf{r}').</math>

====熵====
离散[[随机变量]]的[[信息熵|熵]]是[[概率质量函数]]的一个泛函

:<math>
\begin{align}
H[p(x)] = -\sum_x p(x) \log p(x)
\end{align}

</math>
于是

:<math>
\begin{align}
\left\langle \frac{\delta H}{\delta p}, \phi \right\rangle 
& {} = \sum_x \frac{\delta H[p(x)]}{\delta p(x')} \, \phi(x') \\
& {} = \left. \frac{d}{d\epsilon} H[p(x) + \epsilon\phi(x)] \right|_{\epsilon=0}\\
& {} = -\frac{d}{d\varepsilon} \left. \sum_x [p(x) + \varepsilon\phi(x)] \log [p(x) + \varepsilon\phi(x)] \right|_{\varepsilon=0} \\
& {} = \displaystyle -\sum_x [1+\log p(x)]\phi(x)\\
& {} = \left\langle -[1+\log p(x)], \phi \right\rangle.
\end{align}
</math>

最后，

:<math>
\frac{\delta H}{\delta p} = -1-\log p(x).
</math>

====指数====

令
:<math> F[\varphi(x)]= e^{\int \varphi(x) g(x)dx}.</math>

以<math>\delta</math>函数作为测量函数
:<math>
\begin{align}
\frac{\delta F[\varphi(x)]}{\delta \varphi(y)} 
& {} = \lim_{\varepsilon\to 0}\frac{F[\varphi(x)+\varepsilon\delta(x-y)]-F[\varphi(x)]}{\varepsilon}\\
& {} = \lim_{\varepsilon\to 0}\frac{e^{\int (\varphi(x)+\varepsilon\delta(x-y)) g(x)dx}-e^{\int \varphi(x) g(x)dx}}{\varepsilon}\\
& {} = e^{\int \varphi(x) g(x)dx}\lim_{\varepsilon\to 0}\frac{e^{\varepsilon \int \delta(x-y) g(x)dx}-1}{\varepsilon}\\
& {} = e^{\int \varphi(x) g(x)dx}\lim_{\varepsilon\to 0}\frac{e^{\varepsilon g(y)}-1}{\varepsilon}\\
& {} = e^{\int \varphi(x) g(x)dx}g(y).
\end{align}
</math>

因此
:<math> \frac{\delta F[\varphi(x)]}{\delta \varphi(y)} = g(y) F[\varphi(x)]. </math>

==注释==
<references group="Note" />

==参考来源==
{{reflist}}
* R. G. Parr, W. Yang, “Density-Functional Theory of Atoms and Molecules”, Oxford University Press, Oxford 1989.
* B. A. Frigyik, S. Srivastava and M. R. Gupta, ''Introduction to Functional Derivatives'', UWEE Tech Report 2008-0001. https://web.archive.org/web/20120207192424/http://www.ee.washington.edu/research/guptalab/publications/functionalDerivativesIntroduction.pdf

{{泛函分析}}
[[Category:微分学]]
[[Category:微分算子]]
[[Category:泛函分析]]