- ベストアンサー
デルタ関数の積は定義されませんが、変数が異なる時は
δ(x)の2乗などは、数学的に定義されないのは、知っています。 でも、量子力学の教科書には、(例えば、連続固有値の場合) 何とか=δ(x-x0)δ(y-y0)δ(z-z0) というような記述があります。 この場合、変数が異なるので、かまわないのでしょうか? それとも、数学的には、やはり誤っているのでしょうか?
- morimot703
- お礼率62% (123/197)
- 数学・算数
- 回答数4
- ありがとう数2
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
#2です。ここでは1,2,3次元のδ関数を、δ1,δ2,δ3と書きます。 確かにδ3=δ1^3なので、値も(考えたとして)違いますよね。δ3(0)=δ1(0)^3です。 ええと、δ関数の開発経緯を言うと、 δ3(r-r0)=δ1(x-x0)・δ1(y-y0)・δ1(z-z0) (a) が最初にあった訳ではないんです。とにかく最初は、3次元で#2の(1)と(2)を満たすものとして、δ3を考えました。ところが3次元の体積積分は累次積分として扱う事が多いので、δ3を累次積分用に分解できないか?、と考えた訳です。 そこで、1次元で#2の(1)と(2)を満たすものとしてδ1を考えてみると、δ3とδ1の結果を比較して、形式的に(a)が言える事がわかりました。これは後に、数学的に基礎づけられます。δ3とδ1は、厳密には、関数として別物です。 非常に乱暴に言うと、1次元の場合のδ関数の値は、特異点を含む無限小の1次元線素をdxとすれば、(1),(2)より、 δ1・dx=1 (b) を満たすものとして定義されます。(b)の言ってる事は、「δ関数の値を取るなら、常に線素とペアで使え」という事です。逆に言うと、δ3の値は、常に3重積分の中でしか意味を持たない、という事です(2重積分以下なら、無限大。4重積分以上なら0です)。 δ3・dxdydz=(δ1・dx)・(δ1・dy)・(δ1・dz)=1・1・1=1 (b) 直観的にδ関数は、何かの密度が1点に集中したものだ、というのはわかると思います。値δ1,δ2,δ3は、線密度,面密度,体積密度の単位を持ち、関数しては当然別物で、この順に「濃く」なります(←密度の定義です)。 δ3はδ1の3乗分濃いんだけれど、dxの3乗分で薄めて使えばOKよ(^^)、というのが、(b)の言ってる事です。 δ関数は、通常の微積操作などが全て可能なように、非常に巧妙に(実用的に)考えられたものです。実用的に使う事を目的として、δ関数はつくられました。 #2さんの仰るように、まずδ関数の形式的操作に慣れる事を、おすすめします(^^)。
その他の回答 (3)
- ereserve67
- ベストアンサー率58% (417/708)
δ関数は量子力学の理論においてDiracが初めて導入しました.質問者様の仰るように位置演算子xの連続固有値x_0固有関数としてδ(x-x_0)を採用したのです: xδ(x-x_0)=x_0δ(x-x_0) これは一次元ですが,三次元になると,演算子は位置ベクトルr=(x,y,z)となり, rδ(x-x_0)δ(y-y_0)δ(z-z_0)= =({xδ(x-x_0)}δ(y-y_0)δ(z-z_0),δ(x-x_0){yδ(y-y_0)}δ(z-z_0),δ(x-x_0)δ(y-y_0){zδ(z-z_0)}) =({x_0δ(x-x_0)}δ(y-y_0)δ(z-z_0),δ(x-x_0){y_0δ(y-y_0)}δ(z-z_0),δ(x-x_0)δ(y-y_0){z_0δ(z-z_0)}) (x_0,y_0,z_0)δ(x-x_0)δ(y-y_0)δ(z-z_0) =r_0δ(x-x_0)δ(y-y_0)δ(z-z_0) となりますから,固有値はr_0=(x_0,y_0,z_0)で固有関数は一次元の固有関数の積 (☆)δ(x-x_0)δ(y-y_0)δ(z-z_0) となります. 数学的にはもちろん注意を要しますが,Dirac自身そんなことはお構いなく理論的な定式化を勧めました.それで物理学的に有意な結果が得られ,実験をも説明するなら数学的には未完成でも物理学的には成功したと言えるでしょう.現在の場の量子論も数々の成功を収めていますが,数学的に未解決な部分も多いのです. なお1次元の3つの固有関数の積は3次元のδ関数ととみなされ, δ(r-r_0)やδ^3(r-r_0)など と書くことが多いです.数学的にはFourier解析やGreen関数の理論にもよくでてくるので,とりあえずはDiracのように直感的にどんどん使いましょう.
>この場合、変数が異なるので、かまわないのでしょうか? かまわないんです。というか、3次元のデルタ関数の標準的な分解です。1次元で一番いい加減にデルタ関数を定義すると、次のようになるのは、ご存知だと思います。x0をδ関数の特異点として、 (1)x≠x0なら、δ(x-x0)=0. (2)x=x0を含む任意の区間で積分すれば、∫δ(x-x0)dx=1. rを3次元空間の任意点として、r0=(x0,y0,z0)を特異点とする3次元のδ関数を、δ(r-r0)で表せば、 δ(r-r0)=δ(x-x0)δ(y-y0)δ(z-z0) (3) と書けます。どうしてかと言うと(3)は、x,y,z方向のδ関数の積なので、 (1’) r≠r0なら、x≠x0かつy≠y0かつz≠z0なので、(1)より、δ(r-r0)=0・0・0=0. (2’) r=r0を含む領域での積分は、累次積分にできるので、(2)より、 ∫∫∫δ(r-r0)dxdydz=∫δ(x-x0)dx・∫δ(y-y0)dy・∫δ(z-z0)dz=1・1・1=1. となり、(1),(2)と同じ性質を満たすからです。 まぁ~、強引な論法なのは認めますが、こんなところで納得して頂けないでしょうか?(^^;)。
お礼
累次積分というのは、知りませんでした。 ありがとうございます。 でも、r0=(x0,y0,z0) の点では、δ(0)の3乗 に等しくなるのでは、ないのですか。 δ(x)の3乗は、定義されないが、δ(0)の3乗なら問題ないのでしょうか?
- 中村 拓男(@tknakamuri)
- ベストアンサー率35% (674/1896)
超関数には詳しくないのですが、デルタ関数はよく使います。 1次元の定義の自然な拡張なとしての3次元のデルタ関数が 無ければ、それはとても不自然に思えます。 数学的には厳密には「rigged Hilbert space」とかで説明するようですが 私には皆目わかりません(^^;
関連するQ&A
- 2変数関数の定義域について
z=sin(x^2-2y)の定義域は実数全体らしいのですが 何故、平面全体ではないのでしょうか? x、yが変数なのだから平面全体かと思うのですが・・・ ご解答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 正規分布に従う確率変数同士の積の分布について
確率変数X,Yがそれぞれ正規分布N(X|μx, σx^2),N(Y|μy, σy^2)に従っているとき,Z=X*YとおくとZの分布はどのような分布になるのでしょうか,またどのように導出すればよろしいでしょうか.参考になるHP等あればお教えください. 調べたところ,確率変数同士の和の分布について(Z=X+YのときのZの分布)は,畳み込みで求めるられ,また,正規分布に従う確率変数の自乗の分布はカイ2乗分布であることも分かりました. これらを参考にZ=X*YのときのZの分布を求めようと,畳み込み同様に変数変換を行い積分をしようとしたのですが指数部の中が複雑になり積分が手に負えなくなってしまいます...
- 締切済み
- 数学・算数
- 1変数関数と2変数関数について
2つの1変数関数 z(x)=2x+1, z(y)=3y+5 から z(x,y)=axy+bx+cyの形を持つ2変数関数の導出をしたいのですが、どのように計算すればよいのか教えて頂けないでしょうか。 また、2変数関数を2つの1変数関数へ分解することは可能なのでしょうか? 以上、お手数をお掛け致しますが何卒宜しくお願い致します。 先日類似の質問をさせて頂いていたのですが、一部誤記もありましたので 再度質問をさせて頂きます。
- 締切済み
- 製品設計
- 多変数関数の連続性について
f(x,y)=x / 1-y という2変数の関数は、 y≠1であれば、連続であることを示したいのですが、 分子のxは、1変数の関数と見れば明らかに連続で、 分母の1-yも1変数の関数とみれば、連続。 だから、fは連続である。 という考え方は間違っているでしょうか。 そもそも、変数が1つしかない関数を、2変数とみなしてもよいのでしょうか。 (例えば、g(x,y)=xという風に。) どなたかご教示お願いします。
- ベストアンサー
- 数学・算数
- 2つの1変数関数から、2変数関数の導出
2つの1変数関数 z(x)=ax+b, z(y)=cx+d から z(x,y)=αxy+βx+γyの形を持つ2変数関数の導出をしたいのですが、どのように計算すればよいのか教えて頂けないでしょうか。 以上、お手数をお掛け致しますが何卒宜しくお願い致します。
- 締切済み
- 開発
- 2変数関数の2次導関数のことです。
2回連続微分可能で、z=f(x,y),x=x(t),y=y(t)の関係があって、このときのzのtに関する2次導関数を求めるという問題なんですが、1次の導関数は dz/dt=(∂z/∂x)(dx/dt)+(∂z/∂y)(dy/dt) だと思うんですが、2次の場合は d^2z/dt^2=(d/dt)((∂z/∂x)(dx/dt)+(∂z/∂y)(dy/dt)) となって、それぞれの項を積の微分法で解けばいいのでしょうか?できたらその形も教えて下さい。お願いします。
- ベストアンサー
- 数学・算数
- 数学 2変数関数の問題
数学 2変数関数の問題 問 X≧0 Y≧0 X+Y≧2 を同時に満たすX,Yに対して Z=2xy+ax+4y の最大値を求める。ただしaは負の定数とする 解答 とりあえずXを固定すると、ZはYの1次関数で Z=(2x+4)y+ax (0≦y≦2-x) 2x+4>0により、これは増加関数であるから、xを固定した時のzの最大値は y=2-xの時の (2x+4)(2-x)+ax=-2X^2+ax+8 (1) である。 ここで、xを動かす、すなわち、(1)をXの関数とみなす。すると題意により 定義域は0≦x≦2であり、この範囲ではa<0により(1)は減少関数であるから x=0で最大になる。 異常により求める最大値は8となる このような問題と解があります。僕がひっかかるところは(0≦y≦2-x)の部分です これは、y≦2ではなぜだめなんでしょうか?2にした場合結果も異なってきます。 自分なりに考えたのは、(1)までの段階はあくまで最大値になる候補をあげようとしていて、ここでY=2としてしまうと X=0と決まってしまうので不適当。その後の0≦x≦2はその式自体がXだけの関数なのでOK この考え方にいまいち自信がないので知恵を貸してください。
- 締切済み
- 数学・算数
- 2変数関数について・・・?
2変数関数のz = f(x,y) = x^2 / (x^2 + y^2)の f(x,y),fx,fy,fxx,fxy,fyx,fyy、はどうなるのでしょうか?
- ベストアンサー
- 数学・算数
お礼
納得です!! ありがとうございました。