区間 上の 級の実数値関数 で、境界条件 と長さの制約
をみたすもの全体を考える。この中で汎関数
(一様な鎖の位置エネルギーに比例する量)を最小にする関数が存在し、それは積分制約つき変分問題の停留曲線(ラグランジュ乗数法によるオイラー・ラグランジュ方程式の解)として得られることが知られている。 の最小値を求めよ。ただし , とする。
懸垂線と吊るされた鎖
長さの制約のもとで位置エネルギー を最小にする曲線が の形の懸垂線であることを導き、長さの条件 から を決めて、エネルギーの最小値を求められる
前提
- ベルトラミの公式(第 1 積分) (大学院数学 変分法・最適制御)
- 積分制約つき変分問題(ラグランジュ乗数) (大学院数学 変分法・最適制御)
この技能までの道筋(71 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 偏微分と全微分 (大学数学 微分積分)
- 多項式の不定積分 (数学II 微分法と積分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 分数関数の積分(部分分数分解) (数学III 積分法)
- 変数分離形 (大学数学 微分方程式)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 増減表と極値 (数学II 微分法と積分法)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- 無限等比級数と無限級数 (数学III 極限)
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- オイラーの公式 (大学数学 微分積分)
- 三角関数の合成 (数学II 三角関数)
- 定数係数 2 階線形(斉次) (大学数学 微分方程式)
- 部分積分 (数学III 積分法)
- 1 階線形微分方程式 (大学数学 微分方程式)
- 定数係数 2 階線形(非斉次) (大学数学 微分方程式)
- オイラー・ラグランジュ方程式 (大学院数学 変分法・最適制御)
- ベルトラミの公式(第 1 積分) (大学院数学 変分法・最適制御)
- 2 変数関数の極値 (大学数学 微分積分)
- ラグランジュの未定乗数法 (大学数学 微分積分)
- 積分制約つき変分問題(ラグランジュ乗数) (大学院数学 変分法・最適制御)
説明
両端を同じ高さの 2 点に固定し、長さの決まった一様な鎖をたるませて吊るすと、鎖は位置エネルギーが最小になる形をとります。この技能では、その形を「長さの制約のもとで を最小にする変分問題」として定式化し、ラグランジュ乗数とベルトラミの公式から曲線が懸垂線 になることを導きます。さらに長さの条件からパラメータ を決め、エネルギーの最小値を具体的に計算できるようになります。
なぜそうしてよいのか
鎖の線密度と重力加速度を 1 とすると、曲線 ()の微小部分の長さは 、その高さは なので、位置エネルギーは 、長さは です。端点の条件は とします。2 点間の距離が 2 なので、たるんだ鎖を考えるには が必要です。積分制約つき変分問題の考え方により、乗数 を入れた のオイラー・ラグランジュ方程式を解けばよいことになります。
は を陽に含まないので、ベルトラミの公式が使えます。 が定数 に等しくなります。 とおくと、これは で、前提の技能で扱った 型と同じ方程式です。 のとき解は です(, , , )。 なら で、端点条件から 、長さは 2 となり に合いません。つまり乗数 の役割は「曲線を上下に平行移動する量」で、長さの制約があるおかげで懸垂線を上下にずらして端点に合わせる自由度が生まれるのです。
両端の条件が について対称なので となり、鎖は下に垂れる(下に凸)ので です。このとき なので、長さは となり、条件 が出ます。 とおくと左辺は で、 で狭義単調増加して で 2、 で に向かうので、 ならば はただ 1 つに決まります。最後に から が決まり、この懸垂線が最小を与えます。
手順
位置エネルギー と長さの制約 、端点条件 を書き、乗数を入れた をつくる
ベルトラミの公式 から、停留曲線 を得る。端点の対称性から 、下に垂れる鎖なので
を使って長さを計算し、条件 から を決める( ならただ 1 つ)
端点条件 から を決める
を、 を使って計算する
例題
で定義された 級の関数 で、 かつ長さが であるものを考える(線密度と重力加速度を 1 とした吊るされた鎖)。位置エネルギー の最小値を求めよ。ただし、最小値を与える関数は存在し、それは乗数法による停留曲線のうち鎖が下に垂れるもの(下に凸なもの)であることを用いてよい。
例題の解答
【手順 1】乗数 を入れて とする。
【手順 2】 は を陽に含まないので、ベルトラミの公式より (定数)。 だと で長さが となるので で、停留曲線は 。 から で、 は偶関数かつ で狭義増加なので 、よって 。下に凸なので 。したがって 。
【手順 3】 より 。長さは なので、条件は 。 とすると で、 は で狭義増加だから 、すなわち 。
【手順 4】 より 。最小を与える曲線は 。
【手順 5】
、 なので
(約 。鎖が支点より下に垂れるので負になる。)
答え:
よくある誤り
乗数 を落として とおいてしまう誤り。これでは を満たせない( は正)。正しくは で、 だけ下にずらす。
長さを や と計算してしまう誤り。置換で係数 が出て、区間 で 2 倍になるので、正しくは 。
の停留曲線(上に凸なアーチ )を選んでしまう誤り。これも停留曲線だが、支点より上にあってエネルギーは正となり最小ではない。吊るされた鎖の最小は の下に垂れる曲線である。
エネルギーを として を掛け忘れる誤り。例題なら となってしまう。正しくは弧長の重み を掛けた 。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
鉛直面内に、水平右向きに 軸、鉛直上向きに 軸をとる。長さ の一様な鎖の両端を 2 点 , に固定してつるす。鎖の形を区間 上の 級関数のグラフ で表すと、鎖は位置エネルギーが最小になる形をとる。すなわち は、境界条件 , と長さの制約 のもとで、汎関数 を最小にする。この最小を与える曲線は存在し、ラグランジュの未定乗数法によるオイラー・ラグランジュ方程式の解のうち、下に凸なもの(懸垂線)であるとしてよい。このとき、鎖の最も低い点の 座標を求めよ。
鉛直面内に、水平右向きに 軸、鉛直上向きに 軸をとる。2 点 , に両端を固定した、長さ の一様な鎖が重力のもとでつり合っている状態を、次の変分問題で考える。
区間 上の 級の実数値関数 で、境界条件 , と長さの制約
を満たすものの全体を考える。この範囲で、鎖の位置エネルギー(線密度と重力加速度の積を としたもの)
の最小値を求めよ。ただし、 を最小にする関数がこの範囲に存在することは認めてよい。とする。区間 上の 級の実数値関数 で、境界条件 と長さの制約
を満たすもの全体を考える( である)。この範囲で汎関数
(一様な鎖の位置エネルギーに比例する量)は最小値をもつことが知られている。 の最小値を求めよ。平面( 軸は鉛直上向き)において、区間 上の 級の実数値関数 で、境界条件 , と長さの制約 を満たすものの全体を とする(これは、長さ の一様な鎖を 2 点 , から吊るす状況に対応する)。鎖の位置エネルギーに比例する汎関数 の における最小値を求めよ。ただし、 が において最小値をとる関数が存在すること、および最小を与える関数がオイラー・ラグランジュ方程式(ラグランジュ乗数つき)の解となるだけの滑らかさをもつことは認めてよい。