
ポテンシャル理論(数学の一分野)において、指示子のラプラシアンは、ラプラス演算子をある領域Dの指示子関数に作用させることで得られる。これは、ディラックのデルタ関数の微分(または「プライム関数」)を高次元に一般化したものであり、 Dの曲面上でのみ非ゼロとなる。これは、曲面デルタプライム関数、つまり曲面デルタ関数(ディラックのデルタの一般化)の微分とみなすことができる。指示子のラプラシアンは、1次元における ヘヴィサイド階段関数の2次微分にも類似している。
指標 のラプラシアンは、領域Dの境界に非常に近いところで評価すると、無限の正と負の値を持つと考えられる。したがって、厳密には関数ではなく、一般化された関数または測度である。 1 次元のディラックのデルタ関数の導関数と同様に、指標 のラプラシアンは、積分記号の下に表示される場合にのみ数学的なオブジェクトとして意味を持ちます。つまり、分布関数です。分布理論の定式化と同様に、これは実際には滑らかな関数の列の極限と見なされます。定義により滑らかなバンプ関数のラプラシアンを意味のあるものとして取り、極限 でバンプ関数を指標に近づけることができます。
歴史
ポール・ディラックは、 1930年代初頭に、後にディラックのδ関数として知られるようになった関数を導入した。[1] 1次元ディラックのδ関数は、1点のみで非ゼロとなる。同様に、多次元の一般化も、通常行われるように、1点のみで非ゼロとなる。直交座標系において、d次元ディラックのδ関数は、各直交座標系ごとに1つずつ、 d個の1次元δ関数の積である(例えば、ディラックのデルタ関数の一般化を参照)。
表面デルタ関数
ディラックのデルタ関数は、一点を超えて一般化することができます。一次元における点零は、正の半直線の境界とみなすことができます。関数1 x >0は、正の半直線上では1、それ以外の場合は0であり、ヘビサイド階段関数とも呼ばれます。正式には、ディラックのδ関数とその導関数は、ヘビサイド階段関数の1次および2次導関数、すなわち ∂ x 1 x >0およびと見なすことができます。
高次元におけるステップ関数の類似物は指示関数であり、 1 x ∈ Dと表記される。ここでDは何らかの定義域である。指示関数は特性関数とも呼ばれる。1次元の場合と同様に、ディラックのδ関数とその導関数の高次元における一般化として、次のようなものが提案されている。[2]
ここでnは外向きの法線ベクトルである。ここでディラックのδ関数は、 d ≥ 1 次元の領域Dの境界上の面デルタ関数へと一般化される。この定義は、領域を正の半直線とした場合の通常の1次元の場合を与える。δ は領域Dの境界(ここでは無限大)を除いてゼロであり、以下に示すように、 Dを囲む全表面積に積分される。
表面デルタプライム関数
1次元ディラックのデルタプライム関数は、d ≥ 1次元の領域Dの境界上の多次元曲面デルタプライム関数へと一般化される。1次元において、Dを正の半直線と等しくすることで、通常の1次元δ'関数を復元することができる。
指示子の法線導関数と指示子のラプラシアンは両方とも点ではなく面によってサポートされます。 一般化は例えば量子力学で有用です。なぜなら表面相互作用はd > 1で境界条件をもたらすことができますが、点相互作用はそうではないからです。 当然、点相互作用と表面相互作用はd =1 の場合に一致します。表面相互作用と点相互作用はどちらも量子力学で長い歴史があり、いわゆる表面デルタポテンシャルまたはデルタ球相互作用に関するかなりの文献が存在します。[3]表面デルタ関数は 1 次元のディラックδ関数を使用しますが、ラジアル座標rの関数として、例えば δ( r − R ) となり、ここでRは球の半径です。
指示関数の導関数は、一見定義が曖昧に思えるが、超関数論や一般関数論を用いて正式に定義することができる。例えば、指示関数のラプラシアンは、積分記号の下に現れる場合、2つの部分積分によって定義されると仮定することで、明確な定義を得ることができる。あるいは、指示関数(およびその導関数)は、バンプ関数(およびその導関数)を用いて近似することができる。この場合、(滑らかな)バンプ関数が指示関数に近づく極限は、積分の外側に置く必要がある。
証明
表面デルタプライム関数の証明
このセクションでは、指標のラプラシアンが表面デルタプライム関数であることを証明します。表面デルタ関数については以下で考察します。
まず、区間( a , b )における関数fについて、微積分学の基本定理を思い出してください。
fは局所積分可能と仮定する。a < bの場合には、経験 的 に次のようになる。
ここで、 1 a < x < bは、領域a < x < bの指示関数です。 指示関数は、添え字の条件が満たされる場合は 1 になり、そうでない場合は 0 になります。 この計算では、 2 つの部分積分(上記に示した微積分の基本定理と組み合わせて) により、最初の等式が成り立つことが示されています。つまり、aとbが有限の場合、またはf が無限大で消失する場合は、境界項が 0 になります。 最後の等式は、外向きの正規導関数の和を示しています。この和は境界点aとbにわたっており、符号は外向きの方向から続きます (つまり、bの場合は正、 aの場合は負)。 指示関数の導関数は正式には存在しませんが、部分積分の通常の規則に従うことで「正しい」結果が得られます。 有限のd次元領域Dを考えると、外向きの正規導関数の和は積分になると予想されますが、これは次のように確認できます。
ここで、極限は x が領域Dの内側から面 β に近づくことです。n βは面 β に垂直な単位ベクトル、∇ xは多次元勾配演算子になります。前と同様に、最初の等式は部分積分 2 つによって得られます (より高次元では、これはグリーンの第 2 恒等式によって進みます)。ここで、領域Dが有限であるか、またはf が無限大で消える場合は、境界項は消えます。たとえば、領域Dが有限である場合、 R dの「境界」で評価すると、 1 x ∈ Dと ∇ x 1 x ∈ Dは両方とも 0 になります。3 番目の等式は発散定理によって得られ、ここでも、すべての境界位置にわたる外向きの正規導関数の和 (または、この場合は積分) を示します。発散定理は区分的に滑らかな領域Dに対して有効であるため、D は区分的に滑らかである必要があります。
したがって、曲面デルタプライム関数(別名ディラックδ'関数)は区分的に滑らかな曲面上に存在し、その区分的に滑らかな曲面が囲む領域Dの指示関数のラプラシアンと等価である。当然のことながら、点と曲面の違いは1次元では消える。
静電気学では、表面双極子(または二重層ポテンシャル)は、指示薬のラプラシアンの極限分布によってモデル化できます。
上記の計算は量子物理学における経路積分の研究から導き出されたものである。[2]
表面デルタ関数の証明
このセクションでは、指標の(内向き)正規微分が表面デルタ関数であることを証明します。
有限領域Dの場合、またはfが無限大でゼロになる場合、発散定理により次 の式が成り立ちます。
積の法則によれば、
上のセクションの分析に従えば、左辺の2つの項は等しいので、
指示子の勾配は、Dの境界付近を除いてどこでもゼロであり、そこでは法線方向を向いている。したがって、∇ x f ( x ) の法線方向成分のみが関係する。境界付近では、∇ x f ( x ) がn x g ( x )に等しいと仮定する(ただしgは他の関数)。すると、次の式が成り立つ。
外向き法線n x は、もともと表面のxに対してのみ定義されていましたが、 xに最も近い境界点の外向き法線を取るなどして、すべてのxに対して存在するように定義することもできます。
以上の解析から、 − n x ⋅ ∇ x 1 x ∈ Dは1次元ディラックデルタ関数の曲面一般化とみなせることがわかる。関数gを1とすれば、指示関数の内向きの法線微分はDの曲面積分となる。
静電気学では、表面電荷密度(または単一の境界層)は、上記のように表面デルタ関数を用いてモデル化できます。表面が球面の場合など、通常のディラックデルタ関数が使用される場合もあります。一般的に、ここで説明する表面デルタ関数は、あらゆる形状の表面上の表面電荷密度を表すために使用できます。
上記の計算は量子物理学における経路積分の研究から導き出されたものである。[2]
バンプ関数による近似
このセクションでは、指標の導関数を積分記号の下で数値的に処理する方法を示します。
原理的には、この指標は微分できない。なぜなら、その導関数はゼロか無限大であるからだ。しかし、実用上は、この指標はI ε ( x )で示され、ε → 0で指標に近づくバンプ関数で近似できる。いくつかの選択肢が考えられるが、バンプ関数を非負とし、下から指標に近づくようにするのが便利である。すなわち、
これにより、バンプ関数の族はDの外部では常にゼロとなることが保証されます。関数fがDの内部でのみ定義されている可能性があるため、これは便利です。 f がD内で定義されている場合、以下の式が得られます。
ここで、内部座標 α はDの内部から境界座標 β に近づき、 f がDの外部に存在する必要はありません。
f が境界の両側で定義され、さらにDの境界を越えて微分可能である場合、バンプ関数が指標にどのように近づくかはそれほど重要ではありません。
不連続テスト関数
テスト関数fが境界を越えて不連続となる可能性がある場合、不連続関数の分布理論を用いて曲面分布を理解することができる(例えば、[4]のセクションVを参照)。実際には、曲面デルタ関数の場合、これは通常、境界上で積分する前に、領域Dの境界の両側でfの値を平均することを意味する。同様に、曲面デルタプライム関数の場合、これは通常、境界上で積分する前に、領域Dの境界の両側でfの外向き正規微分を平均することを意味する。
アプリケーション
量子力学
量子力学において、点相互作用はよく知られており、このテーマに関する膨大な文献が存在する。1次元特異ポテンシャルのよく知られた例としては、ディラックのデルタポテンシャルを持つシュレーディンガー方程式が挙げられる。[5] [6]一方、1次元ディラックのデルタプライムポテンシャルは論争を引き起こした。 [7] [8] [9]この論争は独立した論文によって決着したかに見えたが、[10]この論文さえも後に批判を浴びた。[2] [11]
最近、1次元ディラックデルタプライムポテンシャルに多くの注目が集まっている。[12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28]
一次元直線上の点は、点としても面としても考えることができます。点は二つの領域の境界を示すからです。ディラックのデルタ関数は、高次元への二つの一般化がなされています。一つは多次元点への一般化、[29] [30]、もう一つは多次元面への一般化です。[2] [31] [32] [33] [34]
前者の一般化は点相互作用として知られていますが、後者は「デルタ球相互作用」や「面デルタ相互作用」など、異なる名前で知られています。後者の一般化では、ここで説明されているように、指示子の導関数、またはラジアル座標rの関数としての1次元ディラックδ関数が使用される場合があります。
流体力学
指標のラプラシアンは流体力学において、例えば異なる媒体間の界面をモデル化するために使用されている。[35] [36] [37] [38] [39] [40]
表面再構成
指標の発散と指標のラプラシアン(または指標の特性関数としても知られる)は、曲面を再構成するためのサンプル情報として使われてきた。[41] [42]
参照
- デルタポテンシャル – 量子力学におけるエネルギーポテンシャルのモデル
- ディラックのデルタ関数 – ゼロ以外のすべての場所で値がゼロになる一般関数
- 分布(数学) - 関数の概念の一般化Pages displaying short descriptions of redirect targets
- 二重層電位
- 静電気学 – 静止した電荷や遅い電荷の研究
- 一般化関数 – 関数の概念を拡張したオブジェクト
- 指示関数 – 集合の所属を特徴付ける数学関数
- ポテンシャル理論 – ラプラス方程式の解としての調和関数
参考文献
- ^ ディラック、ポール(1958年)、量子力学の原理(第4版)、オックスフォード、クラレンドン出版社、ISBN 978-0-19-852011-5
{{citation}}: CS1 maint: ignored ISBN errors (link) - ^ abcde Lange, Rutger-Jan (2012)、「ポテンシャル理論、経路積分、および指示薬のラプラシアン」、Journal of High Energy Physics、2012 (11) 32: 1– 49、arXiv : 1302.0864、Bibcode :2012JHEP...11..032L、doi :10.1007/JHEP11(2012)032、S2CID 56188533
- ^ Antoine, JP; Gesztesy, F.; Shabani, J. (1999)「量子力学における球面相互作用の正確に解けるモデル」、Journal of Physics A: Mathematical and General、20 (12): 3687– 3712、Bibcode :1987JPhA...20.3687A、doi :10.1088/0305-4470/20/12/022
- ^ Lange, Rutger-Jan (2015)、「シュレーディンガーの積分方程式の分布理論」、Journal of Mathematical Physics、56 (12) 122105: 2015、arXiv : 1401.7627、Bibcode :2015JMP....56l2105L、doi :10.1063/1.4936302、S2CID 116896174
- ^ アトキンソン, DA; クレーター, HW (1975)、「シュレーディンガー方程式におけるディラックのデルタ関数ポテンシャルの正確な扱い」、アメリカ物理学会誌、43 (4): 301– 304、Bibcode :1975AmJPh..43..301A、doi :10.1119/1.9857
- ^ Manoukian, EB (1999)、「ディラックデルタポテンシャルの伝播関数の明示的導出」、Journal of Physics A: Mathematical and General、22 (1): 67– 70、Bibcode :1989JPhA...22...67M、doi :10.1088/0305-4470/22/1/013
- ^ アルベベリオ、S.;ゲステシー、F.ホーグクローン、R. Holden, H. (1988)、量子力学における可解モデル、Springer-Verlag
- ^ Zhao, BH (1992)、「一次元におけるデルタ相互作用を伴うシュレーディンガー方程式に関するコメント」、Journal of Physics A: Mathematical and General、25 (10): 617、Bibcode :1992JPhA...25L.617Z、doi :10.1088/0305-4470/25/10/003
- ^ Albeverio, S.; Gesztesy, F.; Holden, H. (1993)、「デルタ相互作用を伴うシュレーディンガー方程式に関する最近の注釈に関するコメント」、Journal of Physics A: Mathematical and General、26 (15): 3903– 3904、Bibcode :1993JPhA...26.3903A、doi :10.1088/0305-4470/26/15/037
- ^ Griffiths, DJ (1993)、「デルタ関数の微分における境界条件」、Journal of Physics A: Mathematical and General、26 (9): 2265– 2267、Bibcode :1993JPhA...26.2265G、doi :10.1088/0305-4470/26/9/021
- ^ Coutinho, FAB; Nogami, Y.; Perez, JF (1997)、「一次元量子力学における一般化された点相互作用」、Journal of Physics A: Mathematical and General、30 (11): 3937– 3945、Bibcode :1997JPhA...30.3937C、doi :10.1088/0305-4470/30/11/021
- ^ コステンコ、A.; Malamud, M. (2012)、「δ′-相互作用を伴う半有界シュレディンガー演算子のスペクトル理論」、Annales Henri Poincaré、15 (3): 617、arXiv : 1212.1691、Bibcode :2012arXiv1212.1691K、doi :10.1007/s00023-013-0245-9、S2CID 119727685
- ^ Brasche, JF; Nizhnik, L. (2012), 「ルベーグ測度零点上のδ′相互作用を持つ一次元シュレーディンガー演算子」, Operators and Matrices , 7 (4): 887, arXiv : 1112.2545 , Bibcode :2011arXiv1112.2545B, doi :10.7153/oam-07-49, S2CID 67790330
- ^ Carreau, M.; Farhi, E.; Gutmann, S. (1990)、「箱の中の自由粒子の関数積分」、Physical Review D、42 (4): 1194– 1202、Bibcode :1990PhRvD..42.1194C、doi :10.1103/physrevd.42.1194、PMID 10012954
- ^ Carreau, M. (1993), 「1次元量子系における4パラメータ点相互作用」, Journal of Physics A: Mathematical and General , 26 (2): 427– 432, arXiv : hep-th/9210104 , Bibcode :1993JPhA...26..427C, CiteSeerX 10.1.1.268.6845 , doi :10.1088/0305-4470/26/2/025, S2CID 16405749
- ^ Albeverio, S.; Dabrowski, L.; Kurasov, P. (1998)、「点相互作用によるシュレーディンガー作用素の対称性」、Letters in Mathematical Physics、45 (1): 33– 47、doi :10.1023/a:1007493325970、S2CID 118287368
- ^ Araujo, VS; Coutinho, FAB; Toyama, FM (2008)、「時間依存シュレーディンガー方程式:ハミルトニアンの自己随伴性の必要性」(PDF)、Brazilian Journal of Physics、38 (1): 178– 187、Bibcode :2008BrJPh..38..178A、doi : 10.1590/s0103-97332008000100030
- ^ Cheon, T.; Shigehara, T. (1998), 「繰り込み短距離ポテンシャルによる不連続波動関数の実現」, Physics Letters A , 243 (3): 111– 116, arXiv : quant-ph/9709035 , Bibcode :1998PhLA..243..111C, doi :10.1016/s0375-9601(98)00188-1, S2CID 119352015
- ^ Coutinho, FAB; Nogami, Y.; Tomio, L; Toyama, FM (2005), "Energy-dependent point interactions in one dimension", Journal of Physics A: Mathematical and General , 38 (22): 4989– 4998, Bibcode :2005JPhA...38.4989C, doi :10.1088/0305-4470/38/22/020
- ^ Coutinho, FAB; Nogami, Y.; Tomio, L; Toyama, FM (2004)、「1次元におけるフェルミ擬ポテンシャル」、Journal of Physics A: Mathematical and General、37 (44): 10653– 10663、Bibcode :2004JPhA...3710653C、doi :10.1088/0305-4470/37/44/013
- ^ 豊間, FM; 野上, Y. (2007), 「デルタ関数の微分形のポテンシャルを持つ透過-反射問題」, Journal of Physics A: Mathematical and General , 40 (29): F685, Bibcode :2007JPhA...40..685T, doi :10.1088/1751-8113/40/29/f05, S2CID 118814873
- ^ Golovaty, YD; Man'ko, SS (2009)、「δ'-likeポテンシャルを持つシュレーディンガー演算子の可解モデル」、ウクライナ数学速報、6 (2): 169– 203、arXiv : 0909.1034、Bibcode :2009arXiv0909.1034G
- ^ Man'ko, SS (2010)、「スターグラフ上のδ型ポテンシャル散乱について」、Journal of Physics A: Mathematical and General、43 (44) 445304、arXiv : 1007.0398、Bibcode :2010JPhA...43R5304M、doi :10.1088/1751-8113/43/44/445304、S2CID 119645054
- ^ Golovaty, YD; Hryniv, RO (2010), 「δ'-likeポテンシャルを持つシュレーディンガー作用素のノルムレゾルベント収束について」, Journal of Physics A: Mathematical and Theoretical , 43 (15) 155204, arXiv : 1108.5345 , Bibcode :2010JPhA...43o5204G, doi :10.1088/1751-8113/43/15/155204, S2CID 115169634
- ^ Golovaty, YD (2013), 「短距離相互作用を持つ1次元シュレーディンガー作用素:分布ポテンシャルの2スケール正則化」,積分方程式と作用素理論, 75 (3): 341– 362, arXiv : 1202.4711 , doi :10.1007/s00020-012-2027-z, S2CID 119593035
- ^ Zolotaryuk, AV (2010), 「δ′ポテンシャルを横切る共鳴トンネル状態における境界条件」, Physics Letters A , 374 (15): 1636– 1641, arXiv : 0905.0974 , Bibcode :2010PhLA..374.1636Z, doi :10.1016/j.physleta.2010.02.005, S2CID 115179602
- ^ Zolotaryuk, AV (2010)、「3パラメータのべき乗正規化によって定義された双極子型の点相互作用」、Journal of Physics A: Mathematical and Theoretical、43 (10) 105302、Bibcode :2010JPhA...43j5302Z、doi :10.1088/1751-8113/43/10/105302、S2CID 122330036
- ^ Zolotaryuk, AV (2013), 「全共鳴トンネル効果を伴う一点ポテンシャル」, Physical Review A , 87 (5) 052121, arXiv : 1303.4162 , Bibcode :2013PhRvA..87e2121Z, doi :10.1103/physreva.87.052121, S2CID 118343895
- ^ Scarlatti, S.; Teta, A. (1990)、「一点相互作用を伴う三次元シュレーディンガー方程式の時間依存伝播関数の導出」、Journal of Physics A: Mathematical and General、23 (19): L1033、Bibcode :1990JPhA...23L1033S、doi :10.1088/0305-4470/23/19/003
- ^ Grosche, C. (1994)、「2 次元および 3 次元の δ 関数摂動の経路積分」、Annalen der Physik、506 (4): 283–312、arXiv : hep-th/9308082、Bibcode :1994AnP...506..283G、doi :10.1002/andp.19945060406、S2CID 119436723
- ^ Moszkowski, SA (1997)、「表面デルタ相互作用の導出」、Physical Review C、19 (6): 2344– 2348、Bibcode :1979PhRvC..19.2344M、doi :10.1103/physrevc.19.2344
- ^ Antoine, JP; Gesztesy, F.; Shabani, J. (1999)「量子力学における球面相互作用の正確に解けるモデル」、Journal of Physics A: Mathematical and General、20 (12): 3687– 3712、Bibcode :1987JPhA...20.3687A、doi :10.1088/0305-4470/20/12/022
- ^ Shabani, J.; Vyabandi, A. (2002)、「相対論的量子力学におけるデルタ球相互作用の正確に解けるモデル」、Journal of Mathematical Physics、43 (12): 6064、Bibcode :2002JMP....43.6064S、doi :10.1063/1.1518785
- ^ Hounkonnou, MN ; Hounkpe, M.; Shabani, J. (1999)「非相対論的量子力学におけるδ′球相互作用の正確に解けるモデル」、Journal of Mathematical Physics、40 (9): 4255– 4273、Bibcode :1999JMP....40.4255H、doi :10.1063/1.532964
- ^ Che, JH (1999)「複雑な多相流の数値シミュレーション:電気流体力学と液滴の凝固」ミシガン大学、p. 37
- ^ Juric, D. (1996)、「位相変化の計算」(PDF)、博士論文:150、 2014年2月22日にオリジナル(PDF)からアーカイブ、 2012年12月29日取得
- ^ Unverdi, SO; Tryggvason, G. (1992)、「粘性、非圧縮性、多流体流れのためのフロントトラッキング法」(PDF)、Journal of Computational Physics、100 (1): 29– 30、Bibcode :1992JCoPh.100...25U、doi :10.1016/0021-9991(92)90307-K、hdl : 2027.42/30059
- ^ Goz, MF; Bunner, B.; Sommerfeld, M.; Tryggvason, G. (2002).並列フロントトラッキング法を用いた気泡群の直接数値シミュレーション. 高性能科学技術計算:第3回国際FORTWIHR HPSEC会議議事録、エアランゲン、2001年3月12~14日. 計算科学工学講義ノート. 第21巻. pp. 97~ 106 . doi :10.1007/978-3-642-55919-8_11. ISBN 978-3-540-42946-3。
- ^ Juric, D.; Tryggvason, G. (1996)、「デンドライト凝固のためのフロントトラッキング法」、Journal of Computational Physics、123 (1): 127– 148、Bibcode :1996JCoPh.123..127J、CiteSeerX 10.1.1.17.8419、doi :10.1006/jcph.1996.0011
- ^ Uddin, E.; Sung, HJ (2011), 「大変形を伴う流体-柔軟体相互作用のシミュレーション」、International Journal for Numerical Methods in Fluids、70 (9): 1089– 1102、Bibcode :2012IJNMF..70.1089U、doi :10.1002/fld.2731、S2CID 121032029
- ^ Kazhdan, M. (2005). 有向点集合からのソリッドモデルの再構築(PDF) . 幾何学処理に関する第3回ユーログラフィックスシンポジウム議事録. p. 73.
- ^ Kazhdan, M.; Bolitho, M.; Hoppe, H (2006). Proceedings of the fourth Eurographics symposium on Geometry processing (PDF) . pp. 1–3–4.