• 締切済み

積分曲線上でdVが一定?

積分曲線上でdVが一定? Mをリーマン多様体,VをM上の関数,XをMのベクトル場,Xの積分曲線をr(t)で表すとする. いま、X[V]=0という条件が与えられているとすると、dV(r(t))はtによらない1形式に なるらしいのですが、何故そうなるのかよくわかりません。条件よりV(r(t))=constになる ことはすぐわかるのですが・・・。基本的な質問かとおもいますがどなたかよろしくお願い します。

みんなの回答

回答No.3

Vの等高線をr(t)として(t は弧長パラメータ)X=dr/dt とすれば等高線上でX[V]=0 。すべての等高線についてX をこのように定義すればすべての点で X[V]=0。 『無』という深遠な回答が多数寄せられているのですからもう十分でしょう。

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

すでに authority から深遠でハイレベルな回答が多数寄せられていますので、私ごときものが回答する必要はないと思います。しかし専門家のtechnical termは非常に難解です。なにしろ「白色矮星ではパウリの他排律が破れて全ての電子が1s軌道に落ち込みます。」という文を一般人でも分かるように書き直すと「パウリ排他律のため一つの軌道に一つの電子しか入ることができず縮退圧が生じます」になるというくらいですから。 http://okwave.jp/qa/q5122548.html そのため解説しましょう。  テンソルのある曲線に沿った変化はリー微分でわかります。dV のX によるLx(dV) を計算してみると「dV(r(0))=0ならば、任意のtでdV(r(t))=0」は一般には成り立たないことが分かります。例えば  V=x^3 + y^2・x  r(t) = (0, t) とすると r(t)上でrの接ベクトルX に対し X[V]=0 を満たし、  dV = (3x^2 + y^2)dx + (2yx)dy   =(t^2)dx となります。

mrgarrisonaaa
質問者

お礼

ちょっと証明を考えてみました。 ベクトル場Xの表示がX=∂/∂x1となるように局所座標(x1,・・・,xn)をとる。 このときXの積分曲線r(t)はr(t)=(a1+t,a2,・・・,an) (a1,・・・anは任意の定数) ・・・(1) 仮定より、V[X}=0。つまり、∂V/∂x1=0 ・・・(2) また、dV(r(0))=0とする ・・・(3) (2)よりVはx1を含まないのでV=V(x2,・・・,xn)とかける。(Vはx2,・・・xnの関数) 従って、2<=i<=nで∂V/∂xi=∂V/∂xi(x2,・・・,xn)となり、これに(1)を代入すると 積分曲線r(t)上で∂V/∂xi=constとなる。(3)よりr(t)上で∂V/∂xi=0がわかる。 よって、dV(r(t))=0 細部は端折っていますがどうでしょうか?

mrgarrisonaaa
質問者

補足

何度もご回答ありがとうございます。 X[V}=2yxなので確かにr(t)=(0,t)上でX[V](r(t))=t^2dxとなってしまいますね。 ただ、この例の場合、R^2全体でX[V]=0ではないので仮定にあっていないような 気もします。点によらずX[V}=0の場合に、「dV(r(0))=0ならば、任意のtでdV(r(t))=0」 は成り立つのでしょうか? 何度も申し訳ないのですがよろしくお願いします。

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

世界最高レベルの権威から精緻で独創的、厳密な回答が多数寄せられて心強い限りですね。「回答が来ない」などど思ってはいけません。『無』という大変深遠な回答が寄せられているのです。 http://okwave.jp/qa/q6158340.html 尤も『無』ではあまりにも深遠で理解困難と思われますので、回答者の末席を汚す私が深遠でない回答をいたしましょう。 結論から言うと、「dV(r(t))はtによらない1形式」ということはないと思われます。 X-Y平面上で  V = 1/√(x^2 + y^2), X = y∂/∂x - x∂/∂y とするとX[V]=0、Xの積分曲線はVの等高線になります。dVはVの変化率が最大になる方向への方向微分であり、  dV = (x/(x^2 + y^2)^(3/2))dx + (y/(x^2 + y^2)^(3/2))dy で積分曲線(x^2 + y^2)=const.上で一定にはなりません。 「dV(r(t))はtによらない1形式」というのは本に書いてあったのでしょうか。

mrgarrisonaaa
質問者

お礼

言い忘れましたが、ご回答どうもありがとうございます。

mrgarrisonaaa
質問者

補足

「dV(r(t))はtによらない」というのはWebに書いてあったものです。 それでは、「dV(r(0))=0ならば、任意のtでdV(r(t))=0」は言えるでしょうか? とりあえずはコレさえ真ならば問題ないのですが・・・よろしくお願いします。

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

関連するQ&A

  • 正則関数において,各値が一定の曲線群が直交することの証明

    z=re^(iθ)の正則関数をw(z)=u(r,θ)+iv(r,θ)とする. このとき,uv平面上の曲線群  C_1:r=(一定),C_2:θ=(一定) は交点wで互いに直交することを示せ. ただし,交点でw'(z)≠0すなわちwは臨界点ではないものとする. この問題の前の問題として z=x+iy,w(z)=u(x,y)+iv(x,y),C_1:u=(一定),C_2:v=(一定),交点z と設定した問題があったのですが, コーシーリーマンの条件を用いて 法線方向のベクトルの内積が0となることを示して解きました. 極座標になったとたんにわからなくなってしまいました. よろしくお願いします.

  • 曲線の長さ

    r(t)=cost i + sint j + sint k (0<t<2π) であらわされる曲線の長さを求めよという問題なのですが答えが出せません。 ベクトルrの導関数を出し、大きさを求め(1+cos^2 t)^1/2としたのですがこの後どのように計算すればよいのでしょうか?

  • 線積分

    ベクトル場F=xy e_x-z e_y+x^2 e_zとスカラー場φ=2xyz^2について、曲線Cをt=0からt=1にいたる空間曲線x=t^2,y=2t,z=t^3とするとき、次の線積分を経路Cに沿って計算せよ。 (1)∫[C] F × dr (2)∫[C] φ dr ただし、F,e_x,e_y,e_z,drのrはベクトルである。 です。途中式もお願いします。

  • 積分

    R(t)=∫t to(V0)dt・・・・・1 R(t)=V0[t]t t0 dt・・・・・2 積分をといた時,1式から2式になる理由を教えてください ∫・・積分 t0・・t0から t・・tまでの範囲って言うことです。 V0・・・初速度 d・・デルタ R・・位置ベクトル   t [t]   to って事です。

  • リーマン積分

    リーマン積分は与えられた閉区間で区分的に連続ならば積分可能とあったのですが、 例えば f(x)が x=1以外で{(x-1)^2}/(x-1)で  x=1のときf(x)= 3 という関数のとき、 閉区間[0, 2]で リーマン積分をつかって積分することはできるのでしょうか? x=3で区分的に連続とはいえないのでリーマン積分不可能のようなきがするんですが・・・。

  • 線積分について

    ∫C (3x^2+6y,-14yz,20xz^3)*dr(rはCに沿う単位ベクトル)という線積分 Cは原点 (0,0,0) と点 (1,1,1) を x=t,y=t^2,z=t^3に沿って結ぶ曲線 という問題の答えは、 ∫(9t^2,-14t^5,20t^10)・(1,2t,3t^2)dt=47/13でよろしいでしょうか? 違う答えのサイトが2つほどありまして、疑問です。 どなたかよろしくお願いします。

  • 広義積分に関する問題

    v(x)はx≧0上の正値の連続関数で、x≧0上の関数u(x)を、       u(x)=∫[0,x] v(t)dt で定義します。また、条件、       lim[x→∞] u(x)=∞ が成立するとします。このとき、実数値をとるパラメータaを含む広義積分       lim[R→∞] ∫[1,R] (u(x)^a)v(x) dx の収束、発散を調べよという問題なのですが、方針がまったく立ちません。 どなたか、ヒントもしくは、アドバイスを頂けないでしょうか? よろしくお願いします。

  • ベジェ曲線(3次関数)の長さ

    ベジェ曲線(3次関数)の長さを求めようと思っています。 p,q,r,sを位置ベクトルとする。 ベジェ曲線(p-q-r-s)の位置ベクトルbは b=p+t(-3p+3q+t(3p-6q+3r+t(-p+3q-3r+s))) (定義域0≦t≦1) 例えば4点(10,20)-(20,40)-(80,10)-(50,80)で表現されるベジェ曲線は bx=-140(t^3)+150(t^2)+30t+10 bx=150(t^3)-150(t^2)+60t+20 となります この曲線の長さを求める式を教えてください。

  • ルベーグ積分について教えて下さい。

    ルベーグ積分はリーマン積分とは異なり、横方向にグラフをスライスし、その和をとることで行う積分ですが、 いろいろな書籍を見たところ、ディリクレ関数などリーマン積分出来ない関数に関しては計算が載っているのですが、 リーマン積分可能な関数に関しては見かけたことがありません。 例えば y=x^2を-10~+10 までルベーグ積分しようと思ったらどうすれば良いのでしょうか? 一応、私の中で回答はあるのですが、極めて面倒くさいので本当かどうか分かりませんのでどなたか教えて頂けないでしょうか? よろしくお願いいたします。

  • 曲線と曲面のちがい

    曲線と曲面のちがいを教えてください。 具体的には z = f(x,y) と z(t) = f(x(t), y(t)) の違いとでもいいましょうか。   z = f(x,y) ・・・・・・・(1) は普通曲面を表すと思うのですが  x,y をパラメータ t で表したとき   z(t) = f(x(t), y(t)) ・・・・・・・(2) もしくは   r↑(t) = ( x(t), y(t), z(t) ) ・・・・・・・(3) は本当に曲線しか表していないのですか? (1)でも(2)でも空間座標の1点を表すということでは変わりないと思うのですが。  ベクトル解析の本ではパラメータ s を積分で t と対応させていますが、これは初めから(3)が空間曲線を表していることを前提にしています。(2)、または(3)は曲面にはなり得ないといういことがよくわからないのです。