単元一覧 › 大学院数学 変分法・最適制御

変分法・最適制御の問題

難易度 3大学院入試の専門科目の標準レベル大学院数学 変分法・最適制御

鉛直面内に、水平右向きに 軸、鉛直下向きに 軸をとる。重力加速度の大きさを とし、直線

を考える。

正の数 と、区間 上の実数値関数 が次の条件をすべて満たすとする。

- は で連続で、 で 級である。
- であり、 で である。
- 終点 は直線 上にある( は固定しない)。
- 次の積分が有限である。

は、原点に静止させた質点が曲線 に沿って摩擦なく滑り、直線 に到達するまでの時間である。このような 全体にわたる の最小値を、 を用いて表せ。

この問題で使うもの

この問題を解けるようになるまで(89 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 分数のたし算・ひき算
  2. 小数の四則計算
  3. 正負の数の加法・減法
  4. 分数のかけ算・わり算
  5. 四則の混じった計算の順序
  6. 正負の数の乗除・累乗と四則混合
  7. 分配法則を使った計算のくふう
  8. 文字式の計算(同類項・分配法則)
  9. 乗法公式による展開
  10. 因数分解
  11. 3 次式までの展開と因数分解
  12. 微分係数と導関数の定義
  13. 多項式の微分
  14. 等間隔にならんだ数の和
  15. 等差・等比数列の和と Σ
  16. 数列の極限
  17. 関数の極限
  18. 積と商の微分
  19. 合成関数の微分
  20. 偏微分と全微分
  21. 多項式の不定積分
  22. 円の周の長さと面積
  23. おうぎ形の弧の長さと面積
  24. 弧の長さからおうぎ形の中心角と面積を求める
  25. 三角形・四角形の面積
  26. 約数の見つけ方
  27. 素因数分解と約数の個数
  28. 平方根の意味と根号の簡単化
  29. 三平方の定理
  30. 特別な直角三角形の辺の比
  31. 弧度法と単位円による三角関数
  32. の極限
  33. 加法定理と 2 倍角・半角・積和の公式
  34. 三角関数の導関数
  35. 根号の乗除と加減
  36. 指数の拡張と指数関数
  37. 対数の定義と性質
  38. 自然対数の底
  39. 指数関数・対数関数の導関数
  40. 基本的な関数の不定積分
  41. 置換積分
  42. 剰余の定理・因数定理と高次方程式
  43. 分数関数の積分(部分分数分解)
  44. 変数分離形
  45. 小数と分数のまじった計算
  46. 逆算(□ を求める)
  47. 1 次方程式の解き方
  48. 比例・反比例の式とグラフ
  49. 関数 の式と変域
  50. 平方完成と 2 次関数のグラフ
  51. 2 次不等式
  52. 増減表と極値
  53. 関数の連続性と中間値の定理
  54. 平均値の定理
  55. 第 2 次導関数とグラフの凹凸
  56. 増減・凹凸・漸近線とグラフ
  57. テイラー展開
  58. 無限等比級数と無限級数
  59. べき級数と収束半径
  60. 複素数と 2 次方程式の虚数解
  61. オイラーの公式
  62. 三角関数の合成
  63. 定数係数 2 階線形(斉次)
  64. 部分積分
  65. 1 階線形微分方程式
  66. 定数係数 2 階線形(非斉次)
  67. オイラー・ラグランジュ方程式
  68. ベルトラミの公式(第 1 積分)
  69. 三角形の角の大きさ
  70. 対頂角と平行線の同位角・錯角
  71. 三角形の外角と角の組み合わせ
  72. 二等辺三角形の角
  73. 平行四辺形と特別な四角形の性質
  74. 折り返した図形の角と長さ
  75. 三平方の定理と平面図形
  76. 最大公約数と最小公倍数
  77. 比の性質と簡単な比
  78. 相似な三角形と長さの比
  79. 三角形の相似条件と対応する辺の長さ
  80. 平行線と線分の比
  81. 2点間の距離と内分点・外分点
  82. 円の方程式
  83. 条件を満たす点の軌跡
  84. 楕円の方程式と焦点
  85. 双曲線の方程式と焦点・漸近線
  86. 曲線の媒介変数表示
  87. 最速降下線
  88. オイラー型(コーシー・オイラー型)方程式
  89. 自由端と自然境界条件

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

まず終点を固定した最速降下線(サイクロイド)を求め、その所要時間を終点の関数とみて、終点を直線 上で動かして最小化しましょう。

ヒント 2

サイクロイド 上では です。終点が 上にある条件で を で表すと、所要時間は だけの関数になります。停留条件は横断性条件、すなわち との直交と同値です。

ヒント 3

直交条件は です。 を使い、 の増減を調べて、その停留点が最小点であることを確かめます。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

1. 被積分関数と第一積分

とおくと、 である。 は を陽に含まないので、オイラー・ラグランジュ方程式はベルトラミの公式 に帰着する。 より なので、定数 を用いて と書ける。原点を通る解はサイクロイド

であり、 である。

2. 終点を固定したときの最小値

点 ()を固定する。

とおくと、 の分子は である。 であり、、 である。

  • では なので である。
  • では 、 なので である。

したがって は で狭義単調減少である。さらに で 、 で となる。よって を満たす がただ一つ存在し、 も一意に決まる。

つまり、原点から出るサイクロイド弧は第 1 象限を重なりなく覆う中心場をなす。また なので、ワイエルシュトラスの 関数は正である。ワイエルシュトラスの十分条件より、 と を結び を満たすグラフの中で、このサイクロイド弧が所要時間を最小にする(最速降下線の古典的結果)。

サイクロイド上では 、 なので、 となる。よって最小時間は である。

3. 終点を 上で動かす

条件 、 より、 は 上の の部分にある。2 の結果から、半直線 と との交点を対応させることで、この部分は と 1 対 1 に対応する。

が 上にある条件 から

である。よって

となり、 は の滑らかな関数である。

微分すると である。ここで 、 であり、

となる。

の符号を調べる。

  • 値: 、。
  • 1 階導関数: で、、、。
  • 2 階導関数: は、 で負、 で正、 で負である。

ここから の増減がわかる。 は から減少して負になり、 でただ一度 になって正に転じる(その点を とする)。その後 でただ一度 になって負に転じる(その点を とする)。

したがって は で減少、 で増加、 で減少する。 より で である。 では である。よって の零点は にただ一つあり、それを とすると、 は で減少、 で増加する。ゆえに は で最小となる。

4. 停留点の決定(横断性条件)

は、 上で終点を動かしたときの停留条件であり、横断性条件

と同値である。すなわち曲線は に直交する。 より となり、 を得る。

実際に を計算すると、、 となり、 である。零点の一意性から である。

このとき より であり、終点は 、 となる。

5. 最小値

別解

最速降下線の問題で、終点が直線 上を動く場合である。最小曲線はサイクロイド ()で、所要時間は ( は終点のパラメータ)となる。

1. 横断条件:終点でサイクロイドの接線が に直交する。 の傾きは 、サイクロイドの傾きは である。直交条件 より 。よって 、すなわち である。

2. 終点が 上にある条件から を決める。終点は 、 である。 に代入すると

となり、 を得る。このとき で条件を満たす。

3. 最小時間は

検算:原点から への鉛直落下()では なので である。一方、求めた値は で、これより小さい。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題