• 締切済み

曲がった空間でのベクトル演算

div, rot, gradなどのベクトル解析に出てくる諸々の表現ですが、初学者としては直交デカルト座標という特殊な座標系での定義として覚えるものと思います(そして覚えこんでしまうわけです)。一方、曲がった空間でもそれらの定義があるわけですが、曲線座標というのはその特殊なものとして直交デカルト座標を含みますので、直交デカルト座標で、”こうだ”と覚えこんだ定義を一旦忘れてもいいのでしょうか。 人による、というのが答えだろうと思いますが。とにかく曲線座標の表現から直交デカルト座標での表現が演繹されると考えて良いでしょうか。 私としては初学者でも曲線座標系から始めて欲しいところですが、大多数の人はそこまで要らないということになるのかとは思いますが。

みんなの回答

回答No.2

曲がった空間というので、一般相対論でのテンソルかと思いましたが、円柱座標や球座標でのベクトル演算と思います。量子力学を学習するとき、必ず球座標でのベクトル演算が出てきます。英語のApplied Mathematicsとかの本にこれらの座標でのベクトル演算の表式を統一的に求める方法が出ていたと思います。

skmsk19410
質問者

お礼

回答有難うございます。 標題の”曲がった空間”という言い方は誤解を誘発しそうです。済みません。直交曲線座標、一般曲線座標などの座標系でのベクトル演算子とか方程式の書き換えの問題です。こういう問題は空間が曲がっているというより、曲がった座標系から見た演算子の表現という意味です。ベクトルの実体としては直交デカルト座標で表現できるものです。

全文を見る
すると、全ての回答が全文表示されます。
  • ojisan7
  • ベストアンサー率47% (489/1029)
回答No.1

>曲線座標の表現から直交デカルト座標での表現が導かれると考えて良いか。 そう考えていいと思います。このことは実際にご自分で容易に確認できますね。ただし、3次元で、発散演算子は反変べクトルに、回転演算子は共変ベクトルに、勾配演算子はスカラーにそれぞれ作用することが分かっていれば、簡単ですね。ついでに、div gradがラプラシアンになることも確認しておきましょう。

skmsk19410
質問者

お礼

回答有難うございました。 直交デカルト座標は特殊な座標であり、そこで学んだ後にさらに一般化した座標系に行くことは言わば、川下から川上に上るような困難を感じます。一般から特殊への移行(川上から川下)は簡単ですが、特殊から一般へ移行する(川下から川上)ことは難しいですね。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 曲線座標でのdiv,rot,grad

    div,rot,gradというベクトル解析の演算ですが、たいてい直交デカルト座標から入っていき、その後、発展として曲線座標に進みます。しかし、直交デカルト座標は曲線座標の特別なものですから曲線座標での表示式を示したら直交デカルト座標での表示は演繹的に示せるはずですね。それとも直交デカルト座標のdiv,rot,gradから曲線座標でのそれが演繹的に示されていると考えられるのでしょうか。一般曲線座標、直交曲線座標、直交デカルト座標の順に一般から特殊に向かっているはずですが。学びやすさがその逆ということは承知しています。よろしくお願いします。

  • 座標が曲がっているということ

    相対論というレベルの問題ではなく、この空間(3次元の直交デカルト座標+時間)を理解する上で座標軸が曲がったものを考えます。どうして曲がっているかというと対象としている具体的な物体の形状が曲がっているからです。場合によっては時間が経過すると形状そのものがヘビのようにグニャグニャと動くことも考えられます。さて、そこに力学の物理法則を導入します。ニュートンの運動方程式(偏微分方程式)みたいなものです。 力学はその導入は通常3次元のデカルト座標によるものだと思います。そこで曲がった空間ではその運動方程式はどうなるのかという問題があります。まず、ベクトル解析の記号を用いて座標系に依存しない形で運動方程式を書き直し、その後、具体的な曲線座標系の諸事情によって式形が決まっていくという図式のようです。例えば、極座標(x=rcosθ,y=rsinθという具体的変換が与えられる)の場合、直交曲線座標(基底ベクトルは場所ごとに変化するが、直交性が成立する)などの性質を使いながら書き下すということになります(演繹する)。 大もとの方程式は座標系に依存しないで書かれている(ということになっている)ので、具体的な座標が式に含まれず、rot, grad, divなどベクトル解析の記号が用いられているわけです。ここで私は全く理解できない壁にぶつかります。rot, grad, divという演算は座標(x,yとかr,θとか)は示されていませんが、定義のうえでは直交デカルト座標(x,y,z)と結びついていると思います。 ベクトルFの発散はdirF=Fx+Fy+Fzということですから、しっかり座標軸と関連しています。だから、rot,grad,divというものを使ってベクトル的に式が展開されていても結局は直交デカルト座標と結びついています。ではそこから曲線座標の運動方程式が”演繹される”のでしょうか。 座標系の分類としては、 一般曲線座標→特殊→直交曲線座標→特殊→直交デカルト座標 ということですね。ですから直交デカルト座標で表示された運動方程式から一般曲線座標での運動方程式を”演繹”によって表示することに違和感を覚えてしまうのです。それともやはり演繹されるものなのでしょうか。 長文になってしまいました。済みません。よろしくお願いします。

  • ベクトル解析における発散演算の表式

    数学よりも物理工学系で取り扱う場合、ベクトル場F(=(fx, fy, fz))の発散は、d(fx)/dx+d(fy)/dy+d(fz)/dzと習うと思います。しかし、これは直交デカルト座標という特殊な座標(基底ベクトルが直交しかつ空間のどこでも一定)でのことだと思います。だから、これを定義だと思ったらダメなのではないかと思います。 一方で曲線座標系(直交曲線座標含む)では、基底ベクトルはローカル的であり、それ自体が座標系に従って変化する(微分がゼロでない)わけで、上記の式のようなわけには行かないと思います。 では、どのように定義されるのかウィキで調べると、座標面に対する法線方向ベクトルとの内積の面積積分のように示されており(ガウスの発散定理のようなもの)、それが根源的なものかと思いますが、それだと曲線座標系での表現ができません。曲線座標系で考える場合、ベクトル場の発散を座標系に依存しない形(ベクトル?)で表現し、それを各座標系版に示せば良いということになるようです。その場合、スケールファクターh(基底ベクトルが長さ1の単位ベクトルであるために長さ除すもの)などが多数現れるわけですが。 例えば∇・Fということでしょうか。∇(ナブラ)の曲線座標系での表現はどうなるかという問題はありますが。またベクトル場Fの方は実体は座標系に依存しませんが、表現は曲線座標系(局所的な基底で展開された表式)を用いて表示するものだと思いますが。 長くなってしまいましたが、曲線座標系や直交デカルト座標での発散の表式を求めるための式はどのように示されるのでしょうか。 直交曲線座標系の発散の式は誘導されて結果の表式はあるのですが、それがどのように誘導されるのか知りたいのでその表現の一歩前の式を知りたいと思っているのです。 よろしくお願いします。

  • ベクトル解析の恒等式の証明について

    数学のベクトル解析は物理数学のメインのツールになっていると思います。ベクトル解析の教科書では数多くの恒等式が示されています。その恒等式が成り立っていることを証明するための方法としてベクトルを直交デカルト座標の成分に分解し、成分が一致しているということを示して証明としています(そのようなものが多いように思います)。 そこでどうしても質問したいのですが、ベクトル解析の恒等式は直交デカルト座標などの座標系を限定した理論ではないと思うのです。曲線座標(直交・一般?)でも成り立つのではないでしょうか。なので、直交デカルト座標の成分が一致するということがそれ以外の座標系でもその恒等式が成立することの証明になっていないように思うのですが。 曲線座標系での運動方程式(流体とか電磁気とか)を考える場合、ベクトルで表現したものは座標系に依存しないということです。その変換の中で恒等式を使ったりするのでその恒等式は座標系に依存せずに成立することを示さなければならないと思うのですが。 ベクトル解析は座標系に依存しない(のでしょうか)としたら、その恒等式の成立をどのように証明していくのでしょうか。 抽象的な質問になったように思いますが、よろしくお願いします。

  • ベクトル解析の発散の定義について

    ベクトル解析の発散はその定義とは何でしょうか。ただし空間なので3次元までです。その場合、座標系に依存しない形式で表現できないでしょうか。(ξ1, ξ2, ξ3)を一般的な3次元の座標系と考えてその中での定義です。その定義が明確になると、3次元のデカルト座標系とか円筒座標系とか球座標系などのような特殊な事情の座標系に特化した表現に至る(ブレークダウンする)と思います。 例えば、ベクトルVがあったときにその発散とは、 「Vのξi方向に微分したベクトルとξi方向の単位接線ベクトルとの内積をとりiについて和をとる」 というものだと直交デカルト座標の表現(テキストでお馴染み)も出るのですが。 また、直交曲線座標(球、極、円筒の各座標を包括する)での表現も出てきそうです。 このような感じの定義はないでしょうか。

  • 大学のベクトル解析の問題です。

    大学のベクトル解析の問題です。 次の公式を証明せよ。ただし、f、g:スカラー関数、 v:ベクトル関数とする。 1.div(fv) = (gradf)・v + fdiv(v) 2.rot(fv) = (gradf)×v + frot(v) 証明はdivやgrad、rotの定義に基づいて行うこと。 という問題です。 わかる方、回答お願いします。 片方でもわかれば、両方解けると思うんですが、 内積や外積の法則がよくわかってないのか、うまくできません。 よろしくお願いします!

  • ベクトル解析のrotとdivについて

    現在、情報工学を学んでいるのですが、授業でベクトル解析を行っています。 そこでgrad,rot,divなどを勉強していますが分からないことがあります。 たとえば、gradであればスカラー場の勾配を調べることで、その値の変化を知ることができる。これを利用すればある構成要素のどのパラメータを操作すれば最も影響を与えることができるかなどの考察が可能になると思います。 ですが、rot,divに関しては、教科書などの例にある通り回転と発散のイメージしかないので、これがどのように便利なのかいまいちわかりません。 どなたかこれらの解析の応用例を教えていただけないでしょうか? 別に情報工学に関係していなくてもかまいませんが、流体力学の例は教科書にたくさん載っているので、それ以外でお願いします。

  • ベクトルの直交について

    括弧付けたやつはベクトルだと思ってください d(r)=(ex)dx+(ey)dy+(ez)dz を曲線座標で表したい。一般の座標を、u1,u2,u3とすると、デカルト座標x、y、zはそれらの関数で表せるから d(r)={ラウンド(x)/ラウンドu1}du1+{ラウンド(x)/ラウンドu2}du2+{ラウンド(x)/ラウンドu3}du3 で表せる。 これを d(x)=(a1)du1+(a2)du2+(a3)du3で表すと、一般に(ai)は直交しないと書いてるんですが、これがよくわかりません。 (r)=(x,y)で2次元極座標で表したら、(a1)、(a2)って直交しませんか? ただ、単にこの曲線座標が特殊で、直交するだけですかね? もしそうなら、直交しない曲線座標のとり方など教えてもらいたいです。 非常に分かりにくい書き方ですみませんが、直交しないというのを教えてもらいたいです。 あと、ラウンド記号とベクトルに打ち方もわかりません。。。 お願いします

  • 内積の定義について

    2つのベクトルについての内積の定義として、以下のようなものがあります。 A=(A1,A2,A3),B=(B1,B2,B3) 内積 ⇒ A.B=A1B1+A2B2+A3B3 これは一般的な内積の定義ではなく、基底ベクトルがお互いに直交しているという特殊事情の場合のみに限定だと思います。斜交座標では基底ベクトルはお互いの直交性がないので上記のような内積にはならないと思います。 そうすると、内積の一般的な定義はどうなると考えるべきでしょうか。 A.B=|A||B|cos という幾何的なものでしょうか。また、内積は分配法則が成り立つというのは自然とそうなるものでしょうか。 すなわち、A=(B+C) でA.D=B.D+C.Dという式が成立するということですが。 以下のようなことを考えています。 直交デカルト座標でものを考えてきた人間が曲線座標(特に直交性を仮定しない)で考える場合、内積などが再定義される必要がある場合がある。一般曲線座標での定義の方が一般的で、その特殊な例として直交デカルト座標がある、すなわち、一般曲線座標の定義だけしっかり覚えておけばよい。(これは極論で、演算のスピードアップなどの実用面としては冒頭の内積の計算方法の説明でもよいだろうとは思いますが。) いかがでしょうか。

  • ベクトル

    力学の最初の方でならうベクトルなんですがカテゴリーが違ってたらすみません。。 ベクトルA、Bはでデカルト座標系での成分がA:(2、-2、0)B:(1,1,-1)である。 AとBに直交する方向の単位ベクトルを求めよ という問題なんですが、全然分からなくてどのように考えればいいかだけでも教えて下さい。

このQ&Aのポイント
  • 7歳の子持ちシンママが2歳歳下の彼氏と同棲や結婚したいと思っているが、彼氏は乗り気ではない。
  • シンママは都営住宅を退去しなければならず、将来が不安定な状況にある。
  • 彼氏は若く収入も少なく、紹介することも気が引けるため、同棲や結婚には消極的である。
回答を見る