[論文レビュー] Two-dimensional Newton's Problem of Minimal Resistance

Cristiana J. Silva, Delfim F. M. Torres|ArXiv.org|Jul 7, 2006

Spacecraft Dynamics and Control参考文献 13被引用数 6

ひとこと要約

本稿は、ニュートンの古典的三次元最小抵抗問題の二次元版を調査し、三次元の場合とは異なり、高さ H が底面半径 r の √3/3 倍を超えるとき、制限なし問題が適切に定式化され、三角形型の最小化子を有することを示している。さらに、H ≤ r のとき、制限付きの場合に無限個の異なる最小化子が存在し、最小抵抗値は r − H/2 となることを証明している。

ABSTRACT

Newton's problem of minimal resistance is one of the first problems of optimal control: it was proposed, and its solution given, by Isaac Newton in his masterful Principia Mathematica, in 1686. The problem consists of determining, in dimension three, the shape of an axis-symmetric body, with assigned radius and height, which offers minimum resistance when it is moving in a resistant medium. The problem has a very rich history and is well documented in the literature. Of course, at first glance, one suspects that the two dimensional case should be well known. Nevertheless, we have looked into numerous references and ask at least as many experts on the problem, and we have not been able to identify a single source. Solution was always plausible to everyone who thought about the problem, and writing it down was always thought not to be worthwhile. Here we show that this is not the case: the two-dimensional problem is more rich than the classical one, being, in some sense, more interesting. Novelties include: (i) while in the classical three-dimensional problem only the restricted case makes sense (without restriction on the monotonicity of admissible functions the problem doesn't admit a local minimum), we prove that in dimension two the unrestricted problem is also well-posed when the ratio height versus radius of base is greater than a given quantity; (ii) while in three dimensions the (restricted) problem has a unique solution, we show that in the restricted two-dimensional problem the minimizer is not always unique - when the height of the body is less or equal than its base radius, there exists infinitely many minimizing functions.

研究の動機と目的

• ニュートンの古典的三次元最小抵抗問題の二次元版を調査すること。
• 微分の単調性制約がない制限なし問題が、二次元においてどのような条件下で適切に定式化されるかを特定すること。
• 制限付き二次元ケースにおける最小化子の構造と一意性を分析すること。
• 二次元問題と古典的三次元問題を比較し、適切な定式化と解の一意性における主要な相違点を強調すること。
• 幾何的制約（H と r の関係）の下で最小化形状および抵抗値を完全に特徴づけること。

提案手法

• 体が希薄な媒体中を移動する場合をモデル化し、抵抗関数を R[y] = ∫₀ʳ x / (1 + y′(x)²) dx として二次元で定式化する。
• 変分法および最適制御理論を用い、必要条件の分析にポントリャーギンの最大原理を適用する。
• 制限なし（y′(x) ≥ 0 でない）および制限付き（y′(x) ≥ 0）の両設定下での抵抗関数の臨界点を導出する。
• 交互に零と単位の傾きを持つ区間を有する、形 (21) の区分的線形制御 uₙ(x) の族を構築し、候補となる最小化子を生成する。
• 解析的最適化を用いて、H ≤ r のときすべての n ∈ ℕ に対して抵抗 Rₙ = r − H/2 が一定であることを示し、細分化に対して不変であることを証明する。
• 二階条件を用いて局所最小値の存在を確立し、関数が下から有界であり、その下界に最小値が達することを検証する。

実験結果

リサーチクエスチョン

• RQ1 制限なし二次元ニュートンの最小抵抗問題が、どのような幾何的条件下で適切に定式化されるか。
• RQ2 微分の単調性制約が存在しない場合、二次元では三次元とは異なり、明確な解が得られるか。
• RQ3 H ≤ r のとき、制限付き二次元ケースにおける解の構造は、H > r の場合とどのように異なるか。
• RQ4 二次元制限付き問題において、複数の異なる最小化子が存在しうるか。その数はどの程度か。
• RQ5 二次元ケースで達成される最小抵抗値は何か。また、H/r の比にどのように依存するか。

主な発見

• 制限なし二次元ニュートンの最小抵抗問題は、H > √3/3 r のとき適切に定式化され、最小化子は線形関数 y(x) = (H/r)x で一意に与えられる。
• H > r のとき、最小抵抗値は r³ / (r² + H²) であり、これは三角形形状の物体によって達成される。
• H ≤ r のとき、制限付き問題は無限個の異なる最小化子を有し、すべてが同じ最小抵抗値 r − H/2 を達成する。
• H ≤ r のすべての最小化子は、形 (21) の区分的線形関数であり、交互に零と単位の傾きを持つ区間を有する。
• 抵抗値 r − H/2 は、このような最小化子の数 n に関係なく不変である。
• 古典的三次元問題では、適切な定式化には単調性（y′(x) ≥ 0）が必要であるが、二次元では特定の H/r 確率においてこの制限は不要である。