markdown
線積分と保存場md 99dd51e
lecture/math/vector-calculus/線積分と保存場-講義.n.md
Download as PDF

線積分せんせきぶん保存場ほぞんば

date2026-04-23description線積分と保存場を、曲線に沿う仕事量とポテンシャルの存在条件として整理する。prerequisites曲線・曲面のパラメータ表示 / 勾配・発散・回転type講義statusactiverelateddata/lecture/math/analysis/線積分と面積分の入口-講義.n.md / data/lecture/math/vector-calculus/Green・Gauss・Stokesの定理-講義.n.md
mathvector-calculusline-integrallecture

導入どうにゅう

このページの核心かくしんは、線積分せんせきぶん曲線きょくせん沿って接線成分せっせんせいぶん総和そうわする操作そうさとして理解りかいすることである。

用語ようご定義ていぎ

線積分せんせきぶんLine integral は、曲線きょくせん C沿ってスカラーりょうまたはベクトル成分せいぶん積分せきぶんする操作そうさである。

保存場ほぞんばConservative field は、あるポテンシャル関数かんすう ϕ により F=ϕ表現ひょうげんできるベクトルである。

方針ほうしん

ベクトル線積分せんせきぶんでは、移動方向いどうほうこうおな成分せいぶんだけが仕事しごと寄与きよする。そのため内積ないせき F(r(t))·r(t)積分せきぶんする。保存場ほぞんばでは、線積分せんせきぶん経路けいろではなく始点してん終点しゅうてんだけに依存いぞんする。

厳密げんみつ説明せつめい

曲線きょくせん Cr(t)a[PARSE ERROR: Undefined("Command(\"le\")")]t[PARSE ERROR: Undefined("Command(\"le\")")]b表示ひょうじすると、

CF·dr=abF(r(t))·r(t)dt

である。F=ϕ なら、このあたいϕ(r(b))-ϕ(r(a)) になる。

曲線きょくせんのパラメータをなめらかにえても、きがおなじなら線積分せんせきぶんあたい変化へんかしない。理由りゆうは、置換積分ちかんせきぶんにより r(t)dtおな微小変位びしょうへんい drあらわすためである。はやすすむパラメータ表示ひょうじでは |r|おおきくなるが、対応たいおうする時間幅じかんはばちいさくなり、積分量せきぶんりょうたもたれる。

基本定理きほんていりとしての保存場ほぞんば

F=ϕ なら、連鎖律れんさりつにより

ddtϕ(r(t))=ϕ(r(t))·r(t)

である。したがって線積分せんせきぶん端点たんてんあたいだけで決定けっていされる。経路けいろ変更へんこうしてもあたい変化へんかしない理由りゆうはここにある。

領域条件りょういきじょうけん反例はんれい

curl が 0 であることは保存場ほぞんば重要じゅうよう候補条件こうほじょうけんである。ただし領域りょういきあながある場合ばあい十分じゅうぶんではない。R2{0} じょう

F=(-yx2+y2,xx2+y2)

局所的きょくしょてきに curl が 0 であるが、単位円たんいえん沿線積分せんせきぶん2π になる。単連結たんれんけつという条件じょうけん必要ひつようになる理由りゆうである。

物理例ぶつりれい

力場りきば保存場ほぞんばである場合ばあい仕事しごと始点してん終点しゅうてんだけで決定けっていされる。重力場じゅうりょくばのような保存力ほぞんりょくでは、閉曲線へいきょくせん沿仕事しごとは 0 である。

判別はんべつ手順てじゅん

  • 閉曲線へいきょくせん線積分せんせきぶんが 0 なら保存場ほぞんば候補こうほになる。
  • 単連結領域たんれんけつりょういきで curl が 0 なら保存場ほぞんば期待きたいできる。
  • あなのある領域りょういきでは、curl が 0 であっても経路依存けいろいぞん残存ざんぞんすることがある。

具体例ぐたいれい 1: 保存場ほぞんば

ϕ(x,y)=x2y とすると、ϕ=(2xy,x2) である。てん (0,0) から (1,1) までの任意にんい曲線きょくせん Cたいして、

C(2xy,x2)·dr=ϕ(1,1)-ϕ(0,0)=1

である。経路けいろ直線ちょくせんにしても折線せっせんにしてもあたい変化へんかしない。

具体例ぐたいれい 2: 非保存場ひほぞんば

F=(-y,x)単位円たんいえん r(t)=(cost,sint)0[PARSE ERROR: Undefined("Command(\"le\")")]t[PARSE ERROR: Undefined("Command(\"le\")")]2π沿って積分せきぶんする。このとき F(r(t))=(-sint,cost)r(t)=(-sint,cost) なので、

CF·dr=02π1dt=2π

である。閉曲線へいきょくせん積分せきぶんが 0 でないため、この保存場ほぞんばではない。

関連かんれんリンク

data/lecture/math/vector-calculus/Green・Gauss・Stokesの定理-講義.n.md
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
path をコピー
copy share link
copy share link
タブを全て閉じる