超関数の偏微分とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 超関数の偏微分の意味・解説 

超関数の偏微分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/17 00:55 UTC 版)

量子力学の数学的定式化」の記事における「超関数の偏微分」の解説

超関数対す偏微分概念定義する為、まずはC∞0(Ω)の元の偏微分に関して簡単な考察をする。φ、ψをC∞0(Ω)2つの元とするとき、C∞0(Ω)の定義よりφ(x)、ψ(x)が0でないxの集合有界閉集合であるのに対し、ΩをRd開集合であるので、Ωの境界上ではφ(x)、ψ(x)は0になる。よって微分積分学の基本定理から、 ∫ Ω ∂ x i ( ψ ( x ) ϕ ( x ) ) d x = 0 {\displaystyle \int _{\Omega }\partial _{x_{i}}(\psi (x)\phi (x))\mathrm {d} x=0} が成立する。よってライプニッツルールにより ⟨ ∂ x i ψ , ϕ ⟩ = ∫ Ω ∂ x i ( ψ ( x ) ) ϕ ( x ) d x {\displaystyle \langle \partial _{x_{i}}\psi ,\phi \rangle =\int _{\Omega }\partial _{x_{i}}(\psi (x))\phi (x)\mathrm {d} x} = − ∫ Ω ψ ( x ) ∂ x i ( ϕ ( x ) ) d x = − ⟨ ψ , ∂ x i ϕ ⟩ {\displaystyle =-\int _{\Omega }\psi (x)\partial _{x_{i}}(\phi (x))\mathrm {d} x=-\langle \psi ,\partial _{x_{i}}\phi \rangle } が成立する。そこで上式を参考にして、超関数の偏微分を以下のように定義する: 定義 (デルタ超関数) ― 超関数Tの偏微分を ∂ x i T ( ϕ ) = ⟨ ∂ x i T , ϕ ⟩ := − ⟨ T , ∂ x i ϕ ⟩ {\displaystyle \partial _{x_{i}}T(\phi )=\langle \partial _{x_{i}}T,\phi \rangle :=-\langle T,\partial _{x_{i}}\phi \rangle } により定義する。 C∞0(Ω)の元は無限回微分可能なので、上記の定義は常に意味を持つ。より一般に微分作用素を ( ∑ α   :   | α | ≤ m ψ α ( x ) ∂ x 1 α 1 ⋯ ∂ x d α d ) T := ∑ α   :   | α | ≤ m ψ α ( x ) ∂ x 1 α 1 ⋯ ∂ x d α d T {\displaystyle \left(\sum {}_{\alpha ~:~|\alpha |\leq m}\psi _{\alpha }(x)\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{d}}^{\alpha _{d}}\right)T:=\sum {}_{\alpha ~:~|\alpha |\leq m}\psi _{\alpha }(x)\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{d}}^{\alpha _{d}}T} も定義可能である。 ここで注意すべきことは、局所可積分関数ψそれ自身偏微分不能な関数であっても、 ∂ x i T ψ {\displaystyle \partial _{x_{i}}T_{\psi }} は定義可能な事である。これはψの偏微分通常の関数としては存在しなくとも、超関数中にはψ(と同一視されるTψ)の偏微分存在する事が原因である。紛れなければ以下 ∂ x i T ψ {\displaystyle \partial _{x_{i}}T_{\psi }} の事を単に ∂ x i ψ {\displaystyle \partial _{x_{i}}\psi } と書き、 ∂ x i ψ {\displaystyle \partial _{x_{i}}\psi } をψの超関数としての偏微分と呼ぶ。 また通常の関数場合、仮に二階偏微分可能であってもx ix j ψ {\displaystyle \partial _{x_{i}}\partial _{x_{j}}\psi } と ∂ x jx i ψ {\displaystyle \partial _{x_{j}}\partial _{x_{i}}\psi } が異な関数になる場合があるが、超関数としての微分考えた場合、 ∂ x ix j T ψ {\displaystyle \partial _{x_{i}}\partial _{x_{j}}T_{\psi }} と ∂ x jx i T ψ {\displaystyle \partial _{x_{j}}\partial _{x_{i}}T_{\psi }} は必ず同一超関数になる事を簡単に確認できる

※この「超関数の偏微分」の解説は、「量子力学の数学的定式化」の解説の一部です。
「超関数の偏微分」を含む「量子力学の数学的定式化」の記事については、「量子力学の数学的定式化」の概要を参照ください。

ウィキペディア小見出し辞書の「超関数の偏微分」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「超関数の偏微分」の関連用語

超関数の偏微分のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



超関数の偏微分のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの量子力学の数学的定式化 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS