物理/速度・加速度・ベクトル
提供: Internet Web School
(→極限と微分について) |
(→ 直交座標を用いる表示 ) |
||
(間の33版分が非表示) | |||
1 行: | 1 行: | ||
[[物理]] | [[物理]] | ||
> [[物理/速度・加速度・ベクトル|速度・加速度・ベクトル]] | > [[物理/速度・加速度・ベクトル|速度・加速度・ベクトル]] | ||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
=質点の運動の表し方 = | =質点の運動の表し方 = | ||
- | + | 高校では主に'''質点 '''(大きさがなく重さだけがある点状の物体)の運動を学び、 <br/> | |
その法則を明らかにします。 | その法則を明らかにします。 | ||
==なぜ質点の運動から、学ぶのか == | ==なぜ質点の運動から、学ぶのか == | ||
28 行: | 19 行: | ||
== 質点の運動を数式で表すにはどうするか? == | == 質点の運動を数式で表すにはどうするか? == | ||
- | 我々が住む世界は、[[wikipedia_ja:3次元|3次元]] の[[wikipedia_ja:空間|空間]] | + | 我々が住む世界は、[[wikipedia_ja:3次元|3次元]] の[[wikipedia_ja:空間|空間]] であり、縦、横、高さという3つの方向がある。この空間には距離という概念がある(注参照)。 <br/> |
+ | また時間という時の経過が存在する。<br/>。 | ||
+ | この世界の物質は運動していて、その場所を時間とともに変える。<br/> | ||
1章の4節で紹介したように近代の力学は、<br/> | 1章の4節で紹介したように近代の力学は、<br/> | ||
運動を質点の位置の時間変化と考え、質点の位置や速度を正確に測定し、それらの変化の法則を明らかにして、数式で正確にあらわすという方法で発展した。 <br/> | 運動を質点の位置の時間変化と考え、質点の位置や速度を正確に測定し、それらの変化の法則を明らかにして、数式で正確にあらわすという方法で発展した。 <br/> | ||
- | まず、時間と距離の測り方から紹介する。 | + | まず、時間と距離の測り方から紹介する。<br/> |
+ | (注)空間について、もう少し詳しく知りたい方は、<br/> | ||
+ | 「8章、物理数学」の「平面と空間のベクトル」を御覧ください。 | ||
=== 時間と距離の測り方 === | === 時間と距離の測り方 === | ||
- | + | '''時間'''は時計で正確に測れる。 <br/> | |
詳しくは[[wikipedia_ja:時間|ウィキペディア(時間)]] の4.1 ニュートン力学での時間 <br/> | 詳しくは[[wikipedia_ja:時間|ウィキペディア(時間)]] の4.1 ニュートン力学での時間 <br/> | ||
を参照のこと。<br/> | を参照のこと。<br/> | ||
- | + | また'''距離'''(あるいは長さ)は、距離の原器を使って正確に測れる。 <br/> | |
詳しくは、 | 詳しくは、 | ||
*[[wikipedia_ja:距離|ウィキペディア(距離)]] <br/> | *[[wikipedia_ja:距離|ウィキペディア(距離)]] <br/> | ||
43 行: | 38 行: | ||
===空間の点の位置の表現 === | ===空間の点の位置の表現 === | ||
==== 位置ベクトルとベクトル ==== | ==== 位置ベクトルとベクトル ==== | ||
- | + | 3次元空間S3の適当な点Oをとり、原点と呼ぶ。<br/> | |
空間の任意の点Pに対し,原点Oと点Pを結ぶ線分を引き、Oから点Pにむけ向きをいれる。<br/> | 空間の任意の点Pに対し,原点Oと点Pを結ぶ線分を引き、Oから点Pにむけ向きをいれる。<br/> | ||
この向きを図示するため、点Pに向きを示す矢印を付ける。<br/> | この向きを図示するため、点Pに向きを示す矢印を付ける。<br/> | ||
- | + | この向き付きの線分(有向線分)を点Pを表す位置ベクトルといい、→OPで表現する。図参照。<br/> | |
- | + | これは、点Oから見た点Pの位置を、向きのついた線分[OP]の方向・向きと、線分の長さを用いて表示するものである。<br/> | |
- | 位置ベクトル→OP | + | 始点が違った有向線分→QRでも、<br/> |
+ | →OPと方向・向きと大きさが等しければ、<br/> | ||
+ | 点Oから、→QRの示す方向・向きと大きさの点は、<br/> | ||
+ | 同じく点Pとなるので、始点の違いを無視出来る。<br/> | ||
+ | そこで、有向線分→OPと始点は異なるが、<br/> | ||
+ | 方向・向きと大きさの等しい有向線分の全体を纏めて、<br/> | ||
+ | ベクトル[→OP]と呼ぶ。<br/> | ||
+ | これは、有向線分を平行移動して得られる有向線分をすべて集めて出来る集合である。<br/> | ||
+ | 通常、表示を簡潔にするため、<br/> | ||
+ | 有向線分と同じ記号→OPを使う。<br/> | ||
+ | ベクトル演算では、<br/> | ||
+ | そのベクトルに属す便利な有向線分を選んで、有向線分としての演算を行い、<br/> | ||
+ | 得られた有向線分をベクトルとみなせばよい。<br/> | ||
+ | |||
+ | 有向線分→OPの矢の根元に当たる端点Oを有向線分の始点、 | ||
+ | 矢先の端点Pを有向線分の終点と呼ぶ。<br/> | ||
+ | 位置ベクトル→OPは、始点がOの有向線分と考えると、 | ||
+ | その終点がPなので点Pと同一視する。<br/> | ||
すると、点の位置は、その位置ベクトルで表示出来ることになる。<br/> | すると、点の位置は、その位置ベクトルで表示出来ることになる。<br/> | ||
- | + | 物理学では、位置ベクトル以外にも、<br/> | |
- | + | 速度や、加速度、力などは、大きさと方向、向きを持つ量なのでベクトルである。<br/> | |
- | + | 物理学では、ある程度のベクトルの知識が必要である。<br/> | |
- | + | 以下に、ベクトルについて、簡単に紹介する。<br/> | |
- | + | まったくベクトルについて学習してない方は次の文献をご覧ください。 | |
- | + | *[[wikibooks_ja:高等学校数学B ベクトル|ウィキブックス(高等学校数学B ベクトル)] | |
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | ベクトル | + | |
- | + | ====2つのベクトルの和==== | |
- | + | 定義;2つのベクトル→Aとベクトル→Bの和を、次のように定義する。<br/> | |
- | + | ・→Aを表す有向線分→OPと→Bを表す有向線分→PQを用いて、<br/> | |
- | ・→Aを表す有向線分→OPと→Bを表す有向線分→PQ | + | 有向線分→OQに対応するベクトルを、ベクトル→Aとベクトル→Bの和という。ベクトル和の図参照。<br/> |
- | すなわち、→A+→B=→OP+→PQ=→OQ | + | すなわち、<br/> |
- | →A | + | →A+→B=→OP+→PQ=→OQ; <br/> |
- | これを2辺とする平行四辺形$ | + | ベクトル→Aと→Bを<br/> |
- | →A+→B | + | 始点の同じ有向ベクトル→OP と$\overrightarrow{OR}$で表すと、<br/> |
- | + | これを2辺とする平行四辺形$OPQ'Rの対角線OQ'に向きを付けた\overrightarrow{OQ'}$の表すベクトルは、<br/> | |
- | →A+→B=→B+→A ; | + | →A+→Bに等しいことが容易に分かる。ベクトル和の図参照のこと。<br/> |
+ | ベクトル和の定義から、<br/> | ||
+ | 必要ならば適切に平行移動しユークリッド幾何の知識を使うと、<br/> | ||
+ | →A+→B=→B+→A ; 交換法則 <br/> | ||
(→A+→B)+→C=→A+(→B+→C) ;結合法則 <br/> | (→A+→B)+→C=→A+(→B+→C) ;結合法則 <br/> | ||
+ | '''零ベクトル''' <br/> | ||
+ | P=Qという特殊な場合、→PQ=→PPは、<br/> | ||
+ | P点から見たQ点の位置(同じ位置)であることを示すので、有向線分として認める。<br/> | ||
+ | このように長さが0で一点に退化した有向線分は<br/> | ||
+ | 平行移動で互いに移ることが出来るので,<br/> | ||
+ | 同一とみなして、零ベクトルと呼ぶ。<br/> | ||
+ | →0=[→PP]:={→QQ∣Q∈S3};零元の存在<br/> | ||
+ | すると<br/> | ||
→A+→0=→A | →A+→0=→A | ||
- | + | であることが、容易に証明できる。<br/> | |
- | + | '''逆ベクトル''' <br/> | |
ベクトル→Aに対し、その逆ベクトル−→Aとは、<br/> | ベクトル→Aに対し、その逆ベクトル−→Aとは、<br/> | ||
→Aを加えると→0になる、ベクトルのことである。<br/> | →Aを加えると→0になる、ベクトルのことである。<br/> | ||
- | どんな→A | + | どんな→Aも、逆ベクトルを一つ、そして一つだけ持つ。;逆元の存在<br/> |
それは、→Aと大きさ、方向が同じで、向きが逆のベクトルである。<br/> | それは、→Aと大きさ、方向が同じで、向きが逆のベクトルである。<br/> | ||
証明は容易。<br/> | 証明は容易。<br/> | ||
以後、→A+(−→B)を、→A−→Bで表す。<br/> | 以後、→A+(−→B)を、→A−→Bで表す。<br/> | ||
- | + | '''ベクトルの実数倍'''<br/> | |
aを任意の実数とする。 <br/> | aを任意の実数とする。 <br/> | ||
- | →Aが零ベクトルでない時、そのa倍、a→Aは次のように定義する。<br/>・aが正数のとき;a→Aは、→Aと方向・向きは同じで、大きさがa倍であるベクトルで定義する。<br/> | + | →Aが零ベクトルでない時、そのa倍、a→Aは次のように定義する。<br/> |
+ | ・aが正数のとき;a→Aは、→Aと方向・向きは同じで、大きさがa倍であるベクトルで定義する。<br/> | ||
・a=0のとき;0→A=→0で定義する。<br/> | ・a=0のとき;0→A=→0で定義する。<br/> | ||
・a<0のとき;a→A=−(−a)→A <br/> | ・a<0のとき;a→A=−(−a)→A <br/> | ||
→A=→0のときは、a→0=→0とする。<br/> | →A=→0のときは、a→0=→0とする。<br/> | ||
- | + | このように定義すると、<br/> | |
+ | ベクトルの実数倍がベクトルとして定まる。<br/> | ||
+ | 次の諸規則が証明できる。<br/> | ||
a(→A+→B)=a→A+a→B <br/> | a(→A+→B)=a→A+a→B <br/> | ||
(a+b)→A=a→A+b→A <br/> | (a+b)→A=a→A+b→A <br/> | ||
- | (ab)→A=a(b→A) | + | (ab)→A=a(b→A) <br/> |
+ | 1→A=→A <br/> | ||
==== 位置の座標とベクトルの座標成分表示 ==== | ==== 位置の座標とベクトルの座標成分表示 ==== | ||
132 行: | 148 行: | ||
・ベクトルは平行移動しても同じものなので、平行移動して、始点を原点とするベクトル→OPを考える。<br/> | ・ベクトルは平行移動しても同じものなので、平行移動して、始点を原点とするベクトル→OPを考える。<br/> | ||
位置ベクトルは、初めから始点が原点に固定された束縛ベクトルなので移動しなくて良い。 <br/> | 位置ベクトルは、初めから始点が原点に固定された束縛ベクトルなので移動しなくて良い。 <br/> | ||
- | ・ベクトル→OPの終点Pの座標(Px,Py,Pz)を、ベクトル→OP | + | ・ベクトル→OPの終点Pの座標(Px,Py,Pz)を、ベクトル→OPの座標成分表示という。<br/> |
- | + | 位置ベクトル→OPでは、その成分は、点Pの座標成分と同じである。<br/> | |
+ | ・このように、すべてのベクトルにひと組の数字の組が定まること、<br/> | ||
+ | 逆に3つの実数の組を与えると、唯一つのベクトルが決まることが分かるであろう。<br/> | ||
x軸、y軸、z軸は、座標を決めるときに使われるので、座標軸と呼ばれる。<br/> | x軸、y軸、z軸は、座標を決めるときに使われるので、座標軸と呼ばれる。<br/> | ||
144 行: | 162 行: | ||
同様に、y軸上の長さ1で正の向きの有向線分に対応するベクトルを→ey,<br/> | 同様に、y軸上の長さ1で正の向きの有向線分に対応するベクトルを→ey,<br/> | ||
z軸上に、長さ1で正の向きの有向線分に対応するベクトルを→ezとおく。<br/> | z軸上に、長さ1で正の向きの有向線分に対応するベクトルを→ezとおく。<br/> | ||
- | すると、任意のベクトル→Aは、その直交座標成分(Ax,Ay,Az)を用いて、<br/> | + | すると、任意のベクトル→Aは、その直交座標成分(Ax,Ay,Az)を用いて、<br/>→A=Ax→ex+Ay→ey+Az→ez<br/> |
- | →A=Ax→ex+Ay→ey+Az→ez | + | |
と表せることが、簡単に証明できる。<br/> | と表せることが、簡単に証明できる。<br/> | ||
このように、どんなベクトルも、3つのベクトル→ex,→ey,→ezを用いて表示できるので、<br/> | このように、どんなベクトルも、3つのベクトル→ex,→ey,→ezを用いて表示できるので、<br/> | ||
これらを順番に並べた<br/> | これらを順番に並べた<br/> | ||
- | (→ex,→ey,→ez) | + | (→ex,→ey,→ez)を、3次元空間の基底と呼ぶ。<br/> |
- | + | 直交していることを明示したいときは、直交基底という。<br/> | |
- | + | さらに、基底ベクトルの大きさが1にとってあるので、<br/> | |
- | + | これを明示したいときには、[[wikipedia_ja:正規直交基底 |正規直交基底]]と呼ぶ。<br/> | |
- | + | 逆に、<br/> | |
+ | 直交基底$\vec{e_x},\vec{e_y},\vec{e_z}$が与えられると、<br/> | ||
+ | 直交座標系が決まる。 | ||
===== 直交座標系には右手系と左手系の2種類がある ===== | ===== 直交座標系には右手系と左手系の2種類がある ===== | ||
191 行: | 210 行: | ||
(注)座標系をつかい、数字の計算で図形等の性質を調べることは16世紀に[[wikipedia_ja:デカルト|デカルト]]が見つけた偉大な方法である。<br/> | (注)座標系をつかい、数字の計算で図形等の性質を調べることは16世紀に[[wikipedia_ja:デカルト|デカルト]]が見つけた偉大な方法である。<br/> | ||
この方法が、運動を法則を解明する時に、不可欠の役割を果たしている。 | この方法が、運動を法則を解明する時に、不可欠の役割を果たしている。 | ||
+ | =====座標表示の欠点 ===== | ||
+ | 座標系を定めて位置を数値化すのため、当然のことながら、<br/> | ||
+ | 位置を表示する数値は座標系に依存する。<br/> | ||
+ | このため、異なる座標系で表現したいときには、正しい数値にするため、<br/> | ||
+ | 場合によってはかなり複雑な変換をする必要が起こる。<br/> | ||
+ | ベクトル表示は、座標を用いないので、この種の煩わしさは無い。<br/> | ||
====物理で利用するベクトルの演算についての注意==== | ====物理で利用するベクトルの演算についての注意==== | ||
数学で扱うベクトルは、文字通り、大きさと方向・向きの等しいベクトルは皆同じものとみなし、平行移動したり、ベクトル同士の演算も自由にできる。自由ベクトルと呼ばれる。<br/> | 数学で扱うベクトルは、文字通り、大きさと方向・向きの等しいベクトルは皆同じものとみなし、平行移動したり、ベクトル同士の演算も自由にできる。自由ベクトルと呼ばれる。<br/> | ||
- | + | ところが<br/> | |
- | + | 力は大きさと方向・向きを持つのでベクトルだが、作用する場所が変われば、その効果もまったく異なる。すなわち、ベクトルの始点がどこにあるかが、重要なベクトルである。そこで平行移動や始点の異なるベクトルの和は許さない。このようなベクトルは[http://kotobank.jp/word/%E6%9D%9F%E7%B8%9B%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB '''束縛ベクトル''']という。<br/> | |
- | + | 物理に現れるベクトルは束縛ベクトルであることが良く起こるので、<br/> | |
- | + | 物理的意味を考えて、数学を利用する必要がある。<br/> | |
- | + | = 質点の速度と加速度 = | |
- | + | ||
- | + | ||
- | + | ||
空間に原点を決め、質点の位置Pを時間の関数として→OP=→r(t)と表わせば、質点の動き方がわかるので、その速度や加速度(速度の増加の仕方)も計算できる。 <br/> | 空間に原点を決め、質点の位置Pを時間の関数として→OP=→r(t)と表わせば、質点の動き方がわかるので、その速度や加速度(速度の増加の仕方)も計算できる。 <br/> | ||
位置ベクトルは必要ならば座標系を定め座標成分表示しておく。 <br/> | 位置ベクトルは必要ならば座標系を定め座標成分表示しておく。 <br/> | ||
249 行: | 271 行: | ||
[[wikipedia_ja:速度|ウィキペディア(速度)]] | [[wikipedia_ja:速度|ウィキペディア(速度)]] | ||
- | ===== | + | =====極限と微分について解説 ===== |
極限と微分についての基本事項をまだ学んでいない方むけに、要点のみを記載する。<br/> | 極限と微分についての基本事項をまだ学んでいない方むけに、要点のみを記載する。<br/> | ||
瞬間速度を求めるとき、s,t間の平均速度→r(s)−→r(t))/(s−t)に対してlims→tという操作を行った。<br/> | 瞬間速度を求めるとき、s,t間の平均速度→r(s)−→r(t))/(s−t)に対してlims→tという操作を行った。<br/> | ||
256 行: | 278 行: | ||
lims→t(→r(s)−→r(t))/(s−t) をもとめる操作を、<br/> | lims→t(→r(s)−→r(t))/(s−t) をもとめる操作を、<br/> | ||
関数を微分するとか、関数の微分をとるという。<br/> | 関数を微分するとか、関数の微分をとるという。<br/> | ||
- | ここでは、極限と微分について、その基礎を紹介する。<br/> | + | ここでは、極限と微分について、その基礎を紹介する。<br/> <br/> |
- | (1) | + | '''(1)変数と関数''' <br/> |
色々な値をとりえる文字を、変数という。<br/> | 色々な値をとりえる文字を、変数という。<br/> | ||
変数のとり得る値の範囲は、定めておく。<br/> | 変数のとり得る値の範囲は、定めておく。<br/> | ||
264 行: | 286 行: | ||
xの値が決まると、それに対応してyの値が一つ決まる時、<br/> | xの値が決まると、それに対応してyの値が一つ決まる時、<br/> | ||
yはxの関数であるという。<br/> | yはxの関数であるという。<br/> | ||
- | yがxの関数であっても、x | + | yがxの関数であっても、xのとり得る範囲の一部に対してはyの値が定まらない場合もある。<br/> |
- | この場合も考慮して、y | + | この場合も考慮して、yの値がきまるxの値の全体(集合)を、この関数の定義域という。<br/> |
多くの関数は、その定義域は、変数xの取り得る範囲と一致しており、<br/> | 多くの関数は、その定義域は、変数xの取り得る範囲と一致しており、<br/> | ||
すべてのxの値に対して、yの値が対応している。<br/> | すべてのxの値に対して、yの値が対応している。<br/> | ||
- | x | + | xは、関数の定義域のなかのどの値も代入できるので、独立変数と呼ばれる。<br/> |
- | yは、x | + | yは、xの値が決まると自動的に値がきまるので従属変数と呼ばれる。<br/> <br/> |
- | (2)変数と関数の記号<br/> | + | '''(2)変数と関数の記号''' <br/> |
変数はx,y以外にも、必要に応じて色々なものが使われる。<br/> | 変数はx,y以外にも、必要に応じて色々なものが使われる。<br/> | ||
- | 例えば、とり得る値が時間(time)である実変数は、それを表すためtが使われる。<br/>また、とり得る値が位置ベクトルである、ベクトル変数は→rが良く使われる。<br/> | + | 例えば、とり得る値が時間(time)である実変数は、それを表すためtが使われる。<br/> |
+ | また、とり得る値が位置ベクトルである、ベクトル変数は→rが良く使われる。<br/> | ||
xの関数yのことを、関数記号fを用いて、y=f(x)と書く。<br/> | xの関数yのことを、関数記号fを用いて、y=f(x)と書く。<br/> | ||
関数記号はこれ以外にもg,Fなど、必要に応じて、色々な文字が使われる。<br/> | 関数記号はこれ以外にもg,Fなど、必要に応じて、色々な文字が使われる。<br/> | ||
物理学では、従属変数が何か明示でき、記号数を減らせるという理由で、<br/> | 物理学では、従属変数が何か明示でき、記号数を減らせるという理由で、<br/> | ||
従属変数の記号を関数記号に用いる。<br/> | 従属変数の記号を関数記号に用いる。<br/> | ||
- | 例えば独立変数が時間tで従属変数が位置ベクトル→r | + | 例えば独立変数が時間tで従属変数が位置ベクトル→rである関数は、→r=→r(t)と書く。<br/> <br/> |
- | (3)関数の極限<br/> | + | '''(3)関数の極限''' <br/> |
独立変数と従属変数が実数や複素数、3次元ベクトルの値をとる時のように、2つの値の間の距離が定義されているとき、極限の概念が重要な役割を果たす。<br/> | 独立変数と従属変数が実数や複素数、3次元ベクトルの値をとる時のように、2つの値の間の距離が定義されているとき、極限の概念が重要な役割を果たす。<br/> | ||
- | 関数y=f(x)において、独立変数x | + | 定義:関数の極限 <br/> |
- | それに対応する従属変数の値f(x) | + | 関数y=f(x)において、独立変数xが、aと異なる値をとりながらaに限りなく近づくとき、<br/> |
- | + | それに対応する従属変数の値f(x)が、ある一つの値bに限りなく近づくとき、<br/> | |
- | + | bを、xがaに限りなく近づくときの関数y=f(x)の極限(あるいは極限値)という。 <br/> | |
+ | |||
+ | これを、limx→af(x)=bと記号で表示する。<br/> | ||
+ | あるいは、x→aのとき f(x)→b とも書く。<br/> | ||
+ | |||
+ | (注)この極限の定義は直観的すぎて正確には分からない。正確にしてほしいという方に<br/> | ||
どんなに小さい正数ϵをとっても、<br/> | どんなに小さい正数ϵをとっても、<br/> | ||
- | ( | + | (十分小さい)適当な正数δをとれば、<br/> |
- | ‖x−a‖<δ, | + | ‖x−a‖<δ,x≠aならば、常に、‖f(x)−b‖<ϵが成り立つ時、<br/> |
- | b | + | bを、xがaに限りなく近づくときの関数y=f(x)の極限(あるいは極限値)といい、<br/> |
- | *[[wikibooks_ja:高等学校数学III 極限|ウィキブックス 高等学校数学III 極限]] | + | 記号では、limx→af(x)=bと表す。 |
- | + | *[[wikibooks_ja:高等学校数学III 極限|ウィキブックス 高等学校数学III 極限]] | |
+ | の中の関数の極限を参照のこと<br/> <br/> | ||
+ | |||
+ | '''(4)関数の極限の性質''' <br/> | ||
+ | 今後は、表現を短くするため、 <br/> | ||
+ | aに限りなく近づく」ことを、<br/> | ||
+ | 単に「aに限りなく近づく」と書く。<br/> | ||
+ | α,βは任意の実数とする。<br/> | ||
+ | 関数y=f(x)とy=g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持つ<br/> | ||
+ | と仮定する。<br/> | ||
+ | この時以下の性質が成り立つ。<br/> | ||
+ | '''性質ⅰ)線形性''' <br/> | ||
+ | y=α f(x)+βg(x)も、xがaと異なる値をとりながらaに限りなく近づく時極限を持ち<br/> | ||
+ | limx→a(αf(x)+βbg(x)=αlimx→af(x)+βlimx→ag(x) <br/> | ||
+ | 性質ⅱ)<br/> | ||
+ | y=f(x)g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持ち、<br/> | ||
+ | limx→af(x)g(x)=limx→af(x)limx→ag(x) | ||
+ | 性質ⅲ)<br/> | ||
+ | limx→ag(x) ≠0ならば、<br/> | ||
+ | y=f(x)/g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持ち、<br/> | ||
+ | limx→af(x)/g(x)=limx→af(x)/limx→ag(x) <br/> <br/> | ||
+ | '''(5)ベクトルに値をとる関数の極限''';<br/> | ||
+ | xを実変数とする。実変数のベクトル値関数 →y=→f(x)において、独立変数xが、aと異なる値をとりながらaに限りなく近づくとき、<br/> | ||
+ | それに対応する従属変数の値→f(x)が、限りなく、ある一つのベクトル→bに近づくとき、<br/> | ||
+ | →bを、xが限りなくaに近づく時の関数→f(x)の極限といい、<br/> | ||
+ | limx→a→f(x)=→bと記号で表示する。<br/> <br/> | ||
+ | |||
+ | '''(6)ベクトル値関数の極限の性質''' <br/> | ||
+ | ⅰ)線形性 <br/> | ||
+ | α,βは任意の実数で、<br/> | ||
+ | 関数→y=→f(x)と→y=→g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持つ<br/> | ||
+ | と仮定する。すると<br/> | ||
+ | →y=α→f(x)+β→g(x)も、xがaと異なる値をとりながらaに限りなく近づく時極限を持ち<br/> | ||
+ | limx→a(αf(x)+βbg(x)=αlimx→af(x)+βlimx→ag(x) <br/> | ||
+ | ⅱ)ある直交座標系を定め、ベクトルを第一成分(x軸成分)、第2成分(y軸成分)、第3成分(z軸成分)で表示する。この時、<br/> | ||
+ | limx→a→f(x)=→bであることの必要十分条件は<br/> | ||
+ | すべてのi=1,2,3に対してlimx→afi(x)=bi <br/> <br/> <br/> | ||
+ | |||
+ | これ等の性質は、実数値関数の場合にも成り立つ。<br/> | ||
+ | 証明は各自試みてください。 <br/> | ||
+ | ベクトル値関数の場合も、全く同じように証明できる。 <br/> <br/> | ||
+ | |||
+ | '''(7)微分可能と導関数''' <br/> | ||
+ | 実変数ベクトル値関数→y=→f(x)が <br/> | ||
+ | x=aにおいて'''微分可能'''とは、 <br/> | ||
+ | xがaと異なる値をとりながらaに限りなく近づく時、 <br/> | ||
+ | 実変数ベクトル値関数f(x)−f(a)x−aが、極限を持つこと。 <br/> | ||
+ | この極限limx→af(x)−f(a)x−aを <br/> | ||
+ | 関数 →y=→f(x)のx=aにおける'''微分係数'''といい、 <br/> | ||
+ | 記号では→f′(a)あるいはd→fdx(a)などと書く。 <br/> | ||
+ | 性質 <br/> | ||
+ | 実変数ベクトル値関数→y=→f(x)を、直交座標系XYZの成分で、<br/> | ||
+ | →f(x)=(f1(x),f2(x),f3(x))と表示しておく。<br/> | ||
+ | 関数→y=→f(x)が <br/> | ||
+ | x=aにおいて'''微分可能'''のとき、<br/> | ||
+ | x=aにおける微分係数→f′(a)を、直交座標系XYZの成分で表示すると、<br/> | ||
+ | →f′(a)=(f′1(x),f′2(x),f′3(x)) <br/> | ||
+ | '''(8)微分係数の幾何学的意味''' <br/> | ||
+ | '''接線'''の傾き。<br/> | ||
+ | '''接点'''<br/> | ||
+ | 関数の接線は、接点の近くで、この関数を近似する。<br/> | ||
+ | |||
+ | '''(9)導関数と微分''' <br/> | ||
+ | 今後は、関数→y=→f(x)を、単に→f(x)と書くこともある。<br/> | ||
+ | この記法では、xが独立変数、→f(x)が、対応する従属変数の値を表す。<br/> | ||
+ | 実変数ベクトル値関数→f(x)において、<br/> | ||
+ | xの任意の値x=aに対して、微分係数→f′(a)が存在するならば、<br/> | ||
+ | aに→f′(a)を対応させると、実変数ベクトル値関数が得られる。<br/> | ||
+ | この関数を関数→y=→f(x)の'''導関数'''といい、<br/> | ||
+ | →y′、→f′(x)、d→fdxなどと書く。<br/> | ||
+ | 関数→f(x)の導関数→f′(x)を求めることを、 | ||
+ | →f(x)をxについて'''微分する'''という。<br/> | ||
+ | |||
+ | '''(10)微分の性質'''<br/> | ||
+ | 1) 線形性、<br/> | ||
+ | 実数値関数の場合;<br/> | ||
+ | ベクトル値関数に場合;<br/> | ||
+ | 2)2つの実数値関数の積の微分 <br/> | ||
+ | 3)2つのベクトル値関数の内積の微分 <br/> | ||
+ | 4)2つの実数値関数の合成関数の微分 <br/> | ||
+ | 5)ベクトル値関数と実数値関数の合成関数の微分 <br/> | ||
+ | 6)2つの実数値関数の商の微分 <br/> | ||
+ | |||
- | + | '''初等関数の導関数''' <br/> | |
- | + | 物理学で良く使う関数の導関数だけ紹介する。 <br/> | |
- | + | ・y=xn <br/> | |
- | + | ・y=sinx <br/> | |
- | + | ・y=cosx <br/> | |
- | + | ・y=xa (a≠0) <br/> | |
- | + | ・y=logax (a>0,a≠1) <br/> | |
- | + | ・自然数eと自然対数 <br/> | |
+ | '''接線'''<br/> | ||
+ | 微分可能関数は任意の点の近くで接線で近似できること。<br/> | ||
==== 等速円運動の速度 ==== | ==== 等速円運動の速度 ==== | ||
353 行: | 465 行: | ||
*[[wikipedia_ja:SI基本単位|SI基本単位(ウィキペディア)]] <br/> | *[[wikipedia_ja:SI基本単位|SI基本単位(ウィキペディア)]] <br/> | ||
*[[wikipedia_ja:SI組立単位|組立単位(ウィキペディア)]] <br/> | *[[wikipedia_ja:SI組立単位|組立単位(ウィキペディア)]] <br/> | ||
- | 例えば、速度の定義は、<br/>→v(t)=d→r(t)dt=lims→t(→r(s)−→r(t))/(s−t) <br/> | + | 例えば、速度の定義は、<br/> |
- | + | →v(t)=d→r(t)dt=lims→t(→r(s)−→r(t))/(s−t) <br/> | |
+ | なので、単位は距離の単位m(メートル)を時間の単位s(秒)で割った、m/s である。<br/> | ||
加速度の単位は、その定義が<br/> | 加速度の単位は、その定義が<br/> | ||
→α(t)=d→v(t)/dt <br/> | →α(t)=d→v(t)/dt <br/> |
2015年3月14日 (土) 16:14 時点における最新版
物理 > 速度・加速度・ベクトル
目次[非表示] |
質点の運動の表し方
高校では主に質点 (大きさがなく重さだけがある点状の物体)の運動を学び、
その法則を明らかにします。
なぜ質点の運動から、学ぶのか
大きさのある物体は、物体の箇所によって位置がことなる。また大きさのある物体は変形する。
このため、その位置を表すのが難しい。
さらに運動も平行移動だけでなく回転などを行い複雑となる。
質点は、大きさのない点なので位置は明確で、その場所を簡単に表示できる。しかも変形も回転もない。
このため、その取り扱いは、大きさのある物体に比べて、格段に、易しくなる。
しかし、重さがあって大きさのない、仮想の物質である質点の運動法則など何の役にも立たないと思う人もいるでしょう。
ところが、応用範囲は結構広いのです。
例えば、地球の公転運動(太陽の周りの回転)は、地球を質点とみなして解析してもほぼ正しい。
さらに、大きさを考慮して解析しなければならない物体の運動も、質点の運動法則を利用して解明できる。
これには高校数学より高度な数学を必要とする。
そこで、大きさのある物体の運動は主に、大学で学ぶ。
質点の運動を数式で表すにはどうするか?
我々が住む世界は、3次元 の空間 であり、縦、横、高さという3つの方向がある。この空間には距離という概念がある(注参照)。
また時間という時の経過が存在する。
。
この世界の物質は運動していて、その場所を時間とともに変える。
1章の4節で紹介したように近代の力学は、
運動を質点の位置の時間変化と考え、質点の位置や速度を正確に測定し、それらの変化の法則を明らかにして、数式で正確にあらわすという方法で発展した。
まず、時間と距離の測り方から紹介する。
(注)空間について、もう少し詳しく知りたい方は、
「8章、物理数学」の「平面と空間のベクトル」を御覧ください。
時間と距離の測り方
時間は時計で正確に測れる。
詳しくはウィキペディア(時間) の4.1 ニュートン力学での時間
を参照のこと。
また距離(あるいは長さ)は、距離の原器を使って正確に測れる。
詳しくは、
空間の点の位置の表現
位置ベクトルとベクトル
3次元空間S3の適当な点Oをとり、原点と呼ぶ。
空間の任意の点Pに対し,原点Oと点Pを結ぶ線分を引き、Oから点Pにむけ向きをいれる。
この向きを図示するため、点Pに向きを示す矢印を付ける。
この向き付きの線分(有向線分)を点Pを表す位置ベクトルといい、→OPで表現する。図参照。
これは、点Oから見た点Pの位置を、向きのついた線分[OP]の方向・向きと、線分の長さを用いて表示するものである。
始点が違った有向線分→QRでも、
→OPと方向・向きと大きさが等しければ、
点Oから、→QRの示す方向・向きと大きさの点は、
同じく点Pとなるので、始点の違いを無視出来る。
そこで、有向線分→OPと始点は異なるが、
方向・向きと大きさの等しい有向線分の全体を纏めて、
ベクトル[→OP]と呼ぶ。
これは、有向線分を平行移動して得られる有向線分をすべて集めて出来る集合である。
通常、表示を簡潔にするため、
有向線分と同じ記号→OPを使う。
ベクトル演算では、
そのベクトルに属す便利な有向線分を選んで、有向線分としての演算を行い、
得られた有向線分をベクトルとみなせばよい。
有向線分→OPの矢の根元に当たる端点Oを有向線分の始点、
矢先の端点Pを有向線分の終点と呼ぶ。
位置ベクトル→OPは、始点がOの有向線分と考えると、
その終点がPなので点Pと同一視する。
すると、点の位置は、その位置ベクトルで表示出来ることになる。
物理学では、位置ベクトル以外にも、
速度や、加速度、力などは、大きさと方向、向きを持つ量なのでベクトルである。
物理学では、ある程度のベクトルの知識が必要である。
以下に、ベクトルについて、簡単に紹介する。
まったくベクトルについて学習してない方は次の文献をご覧ください。
- [[wikibooks_ja:高等学校数学B ベクトル|ウィキブックス(高等学校数学B ベクトル)]
2つのベクトルの和
定義;2つのベクトル→Aとベクトル→Bの和を、次のように定義する。
・→Aを表す有向線分→OPと→Bを表す有向線分→PQを用いて、
有向線分→OQに対応するベクトルを、ベクトル→Aとベクトル→Bの和という。ベクトル和の図参照。
すなわち、
→A+→B=→OP+→PQ=→OQ;
ベクトル→Aと→Bを
始点の同じ有向ベクトル→OP と→ORで表すと、
これを2辺とする平行四辺形OPQ′Rの対角線OQ′に向きを付けた→OQ′の表すベクトルは、
→A+→Bに等しいことが容易に分かる。ベクトル和の図参照のこと。
ベクトル和の定義から、
必要ならば適切に平行移動しユークリッド幾何の知識を使うと、
→A+→B=→B+→A ; 交換法則
(→A+→B)+→C=→A+(→B+→C) ;結合法則
零ベクトル
P=Qという特殊な場合、→PQ=→PPは、
P点から見たQ点の位置(同じ位置)であることを示すので、有向線分として認める。
このように長さが0で一点に退化した有向線分は
平行移動で互いに移ることが出来るので,
同一とみなして、零ベクトルと呼ぶ。
→0=[→PP]:={→QQ∣Q∈S3};零元の存在
すると
→A+→0=→A
であることが、容易に証明できる。
逆ベクトル
ベクトル→Aに対し、その逆ベクトル−→Aとは、
→Aを加えると→0になる、ベクトルのことである。
どんな→Aも、逆ベクトルを一つ、そして一つだけ持つ。;逆元の存在
それは、→Aと大きさ、方向が同じで、向きが逆のベクトルである。
証明は容易。
以後、→A+(−→B)を、→A−→Bで表す。
ベクトルの実数倍
aを任意の実数とする。
→Aが零ベクトルでない時、そのa倍、a→Aは次のように定義する。
・aが正数のとき;a→Aは、→Aと方向・向きは同じで、大きさがa倍であるベクトルで定義する。
・a=0のとき;0→A=→0で定義する。
・a<0のとき;a→A=−(−a)→A
→A=→0のときは、a→0=→0とする。
このように定義すると、
ベクトルの実数倍がベクトルとして定まる。
次の諸規則が証明できる。
a(→A+→B)=a→A+a→B
(a+b)→A=a→A+b→A
(ab)→A=a(b→A)
1→A=→A
位置の座標とベクトルの座標成分表示
ベクトルの記号(例えば→A)を用いた力学の法則の表示や演算は、ベクトル記号のまま扱うと、大変簡潔で、見通しが良い。
しかし、ベクトル記号のままでは、具体的な問題で、質点がどこにいるか、その速度は、どの方向で、いくらか、などを求めたいときには、大変である。
ベクトルを図示し、図を使って、ベクトル演算をしなければならなくなるからである。
平面の場合でさえ、ベクトルを正確に図示することはできず、手間も大変である。
3次元空間では、平面である紙の上には、正確に書くことは出来ない。
そこで点Pの位置、位置ベクトル→OPやその他のベクトルを、いくつかの数字が順番に並んだ、数字の組で表わす方法が考えだされた。
図ではなく数字を使って位置やベクトルを表せるなら、数学で知られた色々な計算方法が利用でき、具体的な計算は飛躍的に進化する。
点の位置をいくつかの数字の組で表示するのは座標表示と呼ばれ、
ベクトルをいくつかの数字の組で表現することはベクトルの座標成分表示と呼ばれる。
色々な座標を使った表示法がみつかっている。
最も広く利用されている方法を説明しよう。
直交座標を用いる表示
空間に定めた原点Oをとおる、縦と横と高さ方向の直交する3つの直線を引く。
各直線上の原点から単位の距離にある点(原点の両側にある)の一方に+1を、他方にー1を振る。
他の点にも、原点からの距離に+-符合(原点に関して、+1と同じ側の点には+)をつけた数字(実数)を割り振る。
このように、各点に数字が割り振られた直線に、数字が増大する向きに矢印をつける。
この直線を数直線と呼び、各点に割り振られた数字をこの点の座標と呼ぶ。図_数直線参照。
縦(手前と奥)方向の数直線をx軸、横(左右)方向の数直線をy軸、高さ(上下)方向の数直線をz軸と呼ぶ。
任意の点Pの位置や3次元ベクトルは、これ等の数直線を利用して、以下のようにして、3つの実数の組で表示できる。
(1)点の位置の座標表示
任意の点Pから、x軸に下ろした垂線の足の座標Px,
y軸に下ろした垂線の足の座標Py,z軸に下ろした垂線の足の座標Pzを求める。
Px、Py、Pzをそれぞれ、点Pのx座標、y座標、z座標と呼ぶ。
点Pにたいして3つの数字の組(Px,Py,Pz)が、唯一つ定まる。これを点Pの座標と呼ぶ。
ここで、数字は、x座標、y座標、z座標の順序で並べなければならない。
逆に3つの実数の組(ax,ay,az)に対して、それを座標にもつ点Pが、唯一つ決まる。図_座標表示を参照のこと。
(2)ベクトルの座標成分表示
・ベクトルは平行移動しても同じものなので、平行移動して、始点を原点とするベクトル→OPを考える。
位置ベクトルは、初めから始点が原点に固定された束縛ベクトルなので移動しなくて良い。
・ベクトル→OPの終点Pの座標(Px,Py,Pz)を、ベクトル→OPの座標成分表示という。
位置ベクトル→OPでは、その成分は、点Pの座標成分と同じである。
・このように、すべてのベクトルにひと組の数字の組が定まること、
逆に3つの実数の組を与えると、唯一つのベクトルが決まることが分かるであろう。
x軸、y軸、z軸は、座標を決めるときに使われるので、座標軸と呼ばれる。
紹介した座標表示法では、3本の軸は直交するようにとってあるので、それを明示したいときは直交という形容をつけて、直交座標成分、直交座標軸などと呼ぶ。
(3)ベクトルと、その直交座標成分表示の関係について
x軸上に、長さが1で、正の向き(座標の増加する向きのこと)の有向線分をとり、これによって決まるベクトルを→exとおく。
同様に、y軸上の長さ1で正の向きの有向線分に対応するベクトルを→ey,
z軸上に、長さ1で正の向きの有向線分に対応するベクトルを→ezとおく。
すると、任意のベクトル→Aは、その直交座標成分(Ax,Ay,Az)を用いて、
→A=Ax→ex+Ay→ey+Az→ez
と表せることが、簡単に証明できる。
このように、どんなベクトルも、3つのベクトル→ex,→ey,→ezを用いて表示できるので、
これらを順番に並べた
(→ex,→ey,→ez)を、3次元空間の基底と呼ぶ。
直交していることを明示したいときは、直交基底という。
さらに、基底ベクトルの大きさが1にとってあるので、
これを明示したいときには、正規直交基底と呼ぶ。
逆に、
直交基底→ex,→ey,→ezが与えられると、
直交座標系が決まる。
直交座標系には右手系と左手系の2種類がある
(1)3次元空間の場合;
空間に一つの直交座標系をとる。
3つの座標軸のうち、一つの座標軸の正負を逆にした座標系をつくる。たとえばz軸の正負を逆にしてみよう。
右手の親指、人差し指、中指をそれぞれ直角になるように延ばし、親指をx軸の正部分に、人差し指をy軸の正部分に重ねる。
すると中指はz軸と重なるが、
片方の座標系では、向きまで一致する。
もう一方の座標系では、向きは逆になってしまう。
一致するほうの座標系を右手系、逆向きの座標系を左手系とよぶ。図参照。
x軸やy軸の向きを変える場合でも全く同じことが起こることを確かめてほしい。
(2)平面の場合;
x軸を原点を中心に90度だけ反時計回りに回転してx軸とy軸を重ねたときb、向きまで一致する座標系を右手系といい、逆向きになる時左手系という。
(3)物理では右手系を用いる。
どちらの座標系を使っても、あらゆることが、同じように議論できるが、
どちらの座標系を使っているかで法則の表現が違ったり、
2種の座標系を混在させて使うと過ちになるなど、
不具合が生じてしまうので、
物理の世界では、右手系を使うことにしている。
直交座標系については、
ウィキペディア(直交座標系)
を参照のこと。
色々な座標
ベクトルを実数の組で表示する、座標表示の方法は、色々考案されている。
それは、運動の種類に応じて、使いやすい座標と使いにくい座標があるからである。
直交座標は最も多く使われるが、円運度や楕円運動では極座標が便利である。
極座標については、ウィキペディア(極座標系)
その他の座標系も含む色々な座標系についてはウィキペディア(座標)
を参照のこと。
(注)座標系をつかい、数字の計算で図形等の性質を調べることは16世紀にデカルトが見つけた偉大な方法である。
この方法が、運動を法則を解明する時に、不可欠の役割を果たしている。
座標表示の欠点
座標系を定めて位置を数値化すのため、当然のことながら、
位置を表示する数値は座標系に依存する。
このため、異なる座標系で表現したいときには、正しい数値にするため、
場合によってはかなり複雑な変換をする必要が起こる。
ベクトル表示は、座標を用いないので、この種の煩わしさは無い。
物理で利用するベクトルの演算についての注意
数学で扱うベクトルは、文字通り、大きさと方向・向きの等しいベクトルは皆同じものとみなし、平行移動したり、ベクトル同士の演算も自由にできる。自由ベクトルと呼ばれる。
ところが
力は大きさと方向・向きを持つのでベクトルだが、作用する場所が変われば、その効果もまったく異なる。すなわち、ベクトルの始点がどこにあるかが、重要なベクトルである。そこで平行移動や始点の異なるベクトルの和は許さない。このようなベクトルは束縛ベクトルという。
物理に現れるベクトルは束縛ベクトルであることが良く起こるので、
物理的意味を考えて、数学を利用する必要がある。
質点の速度と加速度
空間に原点を決め、質点の位置Pを時間の関数として→OP=→r(t)と表わせば、質点の動き方がわかるので、その速度や加速度(速度の増加の仕方)も計算できる。
位置ベクトルは必要ならば座標系を定め座標成分表示しておく。
例えば、xyz直交座標系ならば、→OP=(x(t),y(t),z(t)),
極座標系ならば→OP=(r(t),θ(t),ϕ(t))という形で表せる。
速度
質点の速度は、質点の位置が単位時間あたり幾ら変化するかを表わす。大きさと方向・向きを持つのでベクトルである。
平均速度
任意の時刻tにおける質点の位置が→r(t)で表される時、
時刻tと時刻sの間の平均の速度は、 (→r(s)−→r(t))/(s−t) で定義する。平均速度はベクトルである。(注意)sはtの前後どちらでもよい。
ベクトル→r(t) を直交座標系xyzにかんして座標表示し、(x(t),y(t),z(t)) と表すと、
平均の速度は、((x(s)−x(t))/(s−t),(y(s)−y(t))/(s−t),(z(s)−z(t))/(s−t)) となる。
瞬間速度(略して速度)とベクトル値関数の微分
落下する物体は時々刻々速さを増し、一定の速さに留まることはない。
そのような運動の速度を正確にとらえようとして、ガリレオは、平均速度をとる時間間隔t-sを無限に小さくした時の、平均速度を考えた(微分学の始まり)。
これを瞬間速度という。物理学では、単に速度と言えば、瞬間速度のことをいう。
高校の数学で学ぶ微分を、ベクトルに値をとる関数に拡張すると、時刻tの速度→v(t)は、
→v(t)=d→r(t)dt=lims→t(→r(s)−→r(t))/(s−t)
で表せる。
ベクトル→r(t) をxyz直交座標の成分で表示(→r(t)=(x(t),y(t),z(t)))すると、上記の速度は、
→v(t)=lims→t(→r(s)−→r(t))/(s−t)
=lims→t(x(s)−x(t))/(s−t),(y(s)−y(t))/(s−t),(z(s)−z(t))/(s−t))
=(lims→t(x(s)−x(t))/(s−t),lims→t(y(s)−y(t))/(s−t),lims→t(z(s)−z(t))/(s−t))
=(dx(t)dt,dy(t)dt,dz(t)dt)
と表せる。
速度については、下記の記事も参考のこと。
ウィキペディア(速度)
瞬間速度(略して速度)とベクトル値関数の微分
落下する物体は時々刻々速さを増し、一定の速さに留まることはない。
そのような運動の速度を正確にとらえようとして、ガリレオは、平均速度をとる時間間隔s−tを無限に小さくした時の、平均速度を考えた(微分学の始まり)。
これを瞬間速度という。物理学では、単に速度と言えば、瞬間速度のことをいう。
高校の数学で学ぶ微分を、ベクトルに値をとる関数に拡張すると、時刻tの速度→v(t)は、
→v(t)=d→r(t)dt=lims→t(→r(s)−→r(t))/(s−t)
で表せる。
ベクトル→r(t) をxyz直交座標の成分で表示(→r(t)=(x(t),y(t),z(t)))すると、上記の速度は、
→v(t)=lims→t(→r(s)−→r(t))/(s−t)
=lims→t(x(s)−x(t))/(s−t),(y(s)−y(t))/(s−t),(z(s)−z(t))/(s−t))
=(lims→t(x(s)−x(t))/(s−t),lims→t(y(s)−y(t))/(s−t),lims→t(z(s)−z(t))/(s−t))
=(dx(t)dt,dy(t)dt,dz(t)dt)
と表せる。
速度については、下記の記事も参考のこと。
ウィキペディア(速度)
極限と微分について解説
極限と微分についての基本事項をまだ学んでいない方むけに、要点のみを記載する。
瞬間速度を求めるとき、s,t間の平均速度→r(s)−→r(t))/(s−t)に対してlims→tという操作を行った。
この操作を極限をとるという。
また、ベクトルに値をとる関数→r=→r(t)に対して
lims→t(→r(s)−→r(t))/(s−t) をもとめる操作を、
関数を微分するとか、関数の微分をとるという。
ここでは、極限と微分について、その基礎を紹介する。
(1)変数と関数
色々な値をとりえる文字を、変数という。
変数のとり得る値の範囲は、定めておく。
この範囲が、実数のときは実変数、複素数のときは複素変数、ベクトルのときはベクトル変数などと、明示することがある。
2つの変数x,yのあいだに、
xの値が決まると、それに対応してyの値が一つ決まる時、
yはxの関数であるという。
yがxの関数であっても、xのとり得る範囲の一部に対してはyの値が定まらない場合もある。
この場合も考慮して、yの値がきまるxの値の全体(集合)を、この関数の定義域という。
多くの関数は、その定義域は、変数xの取り得る範囲と一致しており、
すべてのxの値に対して、yの値が対応している。
xは、関数の定義域のなかのどの値も代入できるので、独立変数と呼ばれる。
yは、xの値が決まると自動的に値がきまるので従属変数と呼ばれる。
(2)変数と関数の記号
変数はx,y以外にも、必要に応じて色々なものが使われる。
例えば、とり得る値が時間(time)である実変数は、それを表すためtが使われる。
また、とり得る値が位置ベクトルである、ベクトル変数は→rが良く使われる。
xの関数yのことを、関数記号fを用いて、y=f(x)と書く。
関数記号はこれ以外にもg,Fなど、必要に応じて、色々な文字が使われる。
物理学では、従属変数が何か明示でき、記号数を減らせるという理由で、
従属変数の記号を関数記号に用いる。
例えば独立変数が時間tで従属変数が位置ベクトル→rである関数は、→r=→r(t)と書く。
(3)関数の極限
独立変数と従属変数が実数や複素数、3次元ベクトルの値をとる時のように、2つの値の間の距離が定義されているとき、極限の概念が重要な役割を果たす。
定義:関数の極限
関数y=f(x)において、独立変数xが、aと異なる値をとりながらaに限りなく近づくとき、
それに対応する従属変数の値f(x)が、ある一つの値bに限りなく近づくとき、
bを、xがaに限りなく近づくときの関数y=f(x)の極限(あるいは極限値)という。
これを、limx→af(x)=bと記号で表示する。
あるいは、x→aのとき f(x)→b とも書く。
(注)この極限の定義は直観的すぎて正確には分からない。正確にしてほしいという方に
どんなに小さい正数ϵをとっても、
(十分小さい)適当な正数δをとれば、
‖x−a‖<δ,x≠aならば、常に、‖f(x)−b‖<ϵが成り立つ時、
bを、xがaに限りなく近づくときの関数y=f(x)の極限(あるいは極限値)といい、
記号では、limx→af(x)=bと表す。
の中の関数の極限を参照のこと
(4)関数の極限の性質
今後は、表現を短くするため、
aに限りなく近づく」ことを、
単に「aに限りなく近づく」と書く。
α,βは任意の実数とする。
関数y=f(x)とy=g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持つ
と仮定する。
この時以下の性質が成り立つ。
性質ⅰ)線形性
y=α f(x)+βg(x)も、xがaと異なる値をとりながらaに限りなく近づく時極限を持ち
limx→a(αf(x)+βbg(x)=αlimx→af(x)+βlimx→ag(x)
性質ⅱ)
y=f(x)g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持ち、
limx→af(x)g(x)=limx→af(x)limx→ag(x)
性質ⅲ)
limx→ag(x) ≠0ならば、
y=f(x)/g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持ち、
limx→af(x)/g(x)=limx→af(x)/limx→ag(x)
(5)ベクトルに値をとる関数の極限;
xを実変数とする。実変数のベクトル値関数 →y=→f(x)において、独立変数xが、aと異なる値をとりながらaに限りなく近づくとき、
それに対応する従属変数の値→f(x)が、限りなく、ある一つのベクトル→bに近づくとき、
→bを、xが限りなくaに近づく時の関数→f(x)の極限といい、
limx→a→f(x)=→bと記号で表示する。
(6)ベクトル値関数の極限の性質
ⅰ)線形性
α,βは任意の実数で、
関数→y=→f(x)と→y=→g(x)は、xがaと異なる値をとりながらaに限りなく近づく時、極限を持つ
と仮定する。すると
→y=α→f(x)+β→g(x)も、xがaと異なる値をとりながらaに限りなく近づく時極限を持ち
limx→a(αf(x)+βbg(x)=αlimx→af(x)+βlimx→ag(x)
ⅱ)ある直交座標系を定め、ベクトルを第一成分(x軸成分)、第2成分(y軸成分)、第3成分(z軸成分)で表示する。この時、
limx→a→f(x)=→bであることの必要十分条件は
すべてのi=1,2,3に対してlimx→afi(x)=bi
これ等の性質は、実数値関数の場合にも成り立つ。
証明は各自試みてください。
ベクトル値関数の場合も、全く同じように証明できる。
(7)微分可能と導関数
実変数ベクトル値関数→y=→f(x)が
x=aにおいて微分可能とは、
xがaと異なる値をとりながらaに限りなく近づく時、
実変数ベクトル値関数f(x)−f(a)x−aが、極限を持つこと。
この極限limx→af(x)−f(a)x−aを
関数 →y=→f(x)のx=aにおける微分係数といい、
記号では→f′(a)あるいはd→fdx(a)などと書く。
性質
実変数ベクトル値関数→y=→f(x)を、直交座標系XYZの成分で、
→f(x)=(f1(x),f2(x),f3(x))と表示しておく。
関数→y=→f(x)が
x=aにおいて微分可能のとき、
x=aにおける微分係数→f′(a)を、直交座標系XYZの成分で表示すると、
→f′(a)=(f′1(x),f′2(x),f′3(x))
(8)微分係数の幾何学的意味
接線の傾き。
接点
関数の接線は、接点の近くで、この関数を近似する。
(9)導関数と微分
今後は、関数→y=→f(x)を、単に→f(x)と書くこともある。
この記法では、xが独立変数、→f(x)が、対応する従属変数の値を表す。
実変数ベクトル値関数→f(x)において、
xの任意の値x=aに対して、微分係数→f′(a)が存在するならば、
aに→f′(a)を対応させると、実変数ベクトル値関数が得られる。
この関数を関数→y=→f(x)の導関数といい、
→y′、→f′(x)、d→fdxなどと書く。
関数→f(x)の導関数→f′(x)を求めることを、
→f(x)をxについて微分するという。
(10)微分の性質
1) 線形性、
実数値関数の場合;
ベクトル値関数に場合;
2)2つの実数値関数の積の微分
3)2つのベクトル値関数の内積の微分
4)2つの実数値関数の合成関数の微分
5)ベクトル値関数と実数値関数の合成関数の微分
6)2つの実数値関数の商の微分
初等関数の導関数
物理学で良く使う関数の導関数だけ紹介する。
・y=xn
・y=sinx
・y=cosx
・y=xa (a≠0)
・y=logax (a>0,a≠1)
・自然数eと自然対数
接線
微分可能関数は任意の点の近くで接線で近似できること。
等速円運動の速度
質点がxy 平面上の原点 O を中心とする半径 rの円上を等速vで運動するとする。
質点の角速度ωは、ω=v/r(ラジアン/単位時間)である。
時刻tの質点の位置ベクトル→r(t)のx,y座標を(x(t), y(t))、極座標を(r、θ(t))と書くと、
x(t)=rcos(θ(t)),y(t)=rsin(θ(t))
θ(t)=ωt+θ0
ここでθ0 は、時刻0における質点の位相角である。
これらを時間tで微分すると、速度のx成分とy成分
˙x(t)=−rsin(θ(t))˙θ(t)
˙y(t)=rcos(θ(t))˙θ(t)
が得られる。
但し、˙x(t) は、関数x(t) を時間変数tで微分したことを意味する記法で、
˙x(t)=dx(t)dt ということである。
˙θ(t)=ωなので
速度ベクトルは→v(t)=(˙x(t),˙y(t))=(−rsin(θ(t))ω,rcos(θ(t))ω),
このベクトルは、質点の位置ベクトル→r(t)=(x(t),y(t))=(rcos(θ(t)),rsin(θ(t)))
と直交している。
何故なら、→r(t)の傾きはtan(θ(t))、→v(t)の傾きは−1tan(θ(t))なので、傾きの積が-1となるからである。
関連事項については次の記事を参照のこと。
ウィキペディア(円運動)
加速度
質点の加速度は、速度が単位時間あたり幾ら変化するかを表わす、ベクトルである。
速度と同じように平均加速度と瞬間加速度が考えられるが、単に加速度といえば瞬間加速度のことである。
平均加速度
任意の時刻tにおける質点の速度が→v(t)=˙→r(t)で表される時、
時刻tと時刻sの間の平均の加速度は、
(→v(s)−→v(t))/(s−t)=(˙→r(s)−˙→r(t))/(s−t)
で定義する。平均加速度はベクトルである。
瞬間加速度、略して加速度
落下する物体は、速度を増すが、その増し方も絶えず増加する。
そのような運動の速度の増加の仕方を正確にとらえるためには、平均加速度をとる時間間隔s-tを無限に小さくした時の、平均加速度を考える必要がある。
これを時刻tにおける瞬間加速度というが、物理学では、単に加速度と言えば、瞬間加速度のことをいう。
数式を用いると、時刻tの加速度→α(t)は、
→α(t)=d→v(t)/dt
→v(t)=d→r(t)/dtなので、
→α(t)=d2→r(t)/dt2 と書ける。
加速度については、下記の記事も参照のこと。
ウィキペディア(加速度)
等速円運動の加速度
質点が xy 平面上で原点 O を中心とする半径 r の円上を等速で運動するとき、加速度はどうなるか?
速度ベクトルは→v(t)=(˙x(t),˙y(t))=(−rsin(θ(t))ω,rcos(θ(t))ω) であった。すると加速度は→α(t)=d→v(t)dt=−rω2(cos(θ(t)),sin(θ(t)))=v2r(−→r(t)r) となる。すなわち大きさがv2rで向きは、質点の位置から運動の中心である原点Oに向いた、ベクトルである。
以下の記事も参考にしてください。
ウィキペディア(円運動)
時間、長さ、速度、加速度の単位
色々な単位系があるが、通常はSI国際単位系が用いられる。
この単位系では時間や長さ等、基本的なものを基本単位として定める。
その他の速度や加速度、力等の単位は、それぞれの定義や物理法則を利用して、基本単位を用いて組み立てる。
これらはSI組み立て単位と呼ばれる。
例えば、速度の定義は、
→v(t)=d→r(t)dt=lims→t(→r(s)−→r(t))/(s−t)
なので、単位は距離の単位m(メートル)を時間の単位s(秒)で割った、m/s である。
加速度の単位は、その定義が
→α(t)=d→v(t)/dt
なので、m/s2 である。