八边形扇形上二次型的单位球
The unit ball of quadratic forms on an octagonal sector
浏览论文内容
中文总结 AI 辅助
该论文研究正八边形第一象限扇形上二次型的单位球，推导其范数的五区域公式，刻画单位球在ac平面的投影与极点，将相关凸极值问题简化为单参数族和孤立多项式。
中文摘要 AI 辅助
设\\(\mathfrak O=\{(x,y)\in[0,1]^2:x+y\le \sqrt2\}\\)为正八边形的第一象限扇形。对于二次型\\(P(x,y)=ax^2+bxy+cy^2\\)，我们研究其在\\(\mathfrak O\\)上的上确界范数，根据范数接触点是否出现在端点或三条径向边之一的内部，得到了完整的五区域公式。随后，我们证明单位球在\\(ac\\)平面上的投影恰好是\\([-1,1]^2\\)，计算每个竖直截面的两个端点，从而参数化整个单位球。最后，我们将单位球的极点刻画为四条显式曲线、它们的负曲线以及四对孤立点。所得描述完全显式，将该多项式空间上后续的凸极值问题简化为四个单参数族和有限多个孤立多项式。
英文摘要
Let \[\mathfrak O=\{(x,y)\in[0,1]^2:x+y\le \sqrt2\} \] be the first-quadrant sector of a regular octagon. For quadratic forms \(P(x,y)=ax^2+bxy+cy^2\), we study the supremum norm over \(\mathfrak O\). We obtain a complete five-region formula for the norm, according to whether the norming contact occurs at an endpoint or in the interior of one of the three radial sides. We then prove that the projection of the unit ball onto the \(ac\)-plane is exactly \([-1,1]^2\), compute both endpoints of every vertical section, and thereby parametrize the entire unit sphere. Finally, we characterize the extreme points of the unit ball as four explicit curves, their negatives, and four pairs of isolated points. The resulting description is fully explicit and reduces subsequent convex extremal problems on this polynomial space to four one-parameter families and finitely many isolated polynomials.
