[論文レビュー] Discrete norming inequalities on sections of sphere, ball and torus

Alvise Sommariva, Marco Vianello|arXiv (Cornell University)|Feb 5, 2018

Algebraic and Geometric Analysis参考文献 19被引用数 5

ひとこと要約

本稿は、周期の部分区間における離散的三角法的ノルム不等式を活用することで、球面、球体、トーラスの平面的・表面的・立体的断片における代数多項式の最適多項式メッシュを構築する。代数的および三角法的多項式のテンソル積構造を用い、多項式空間の次元に対して線形に増加する基数を有する許容可能なメッシュを確立し、すべての考察対象の幾何的領域で最適な増加率 $ s = 1 $ を達成する。

ABSTRACT

By discrete trigonometric norming inequalities on subintervals of the period, we construct norming meshes with optimal cardinality growth for algebraic polynomials on sections of sphere, ball and torus.

研究の動機と目的

• 球面、球体、トーラスのコン pact 部分集合に対して、矩形領域の幾何的変換による像として得られる最適多項式メッシュの開発を目的とする。
• 多項式メッシュ理論を、球面キャップ、ゾーン、レンズ、トーラス断片など、非凸的かつ非凸的類似の領域へと拡張することを目的とする。
• 周期の部分区間（部分周期的三角法的多項式）における離散的ノルム不等式を、メッシュ構築の基盤的ツールとして確立することを目的とする。
• 多項式空間の次元 $ N = \dim \mathbb{P}_n^d(K) $ に対して、メッシュ基数の最適増加率 $ \mathrm{card}(\mathcal{A}_n) = \mathcal{O}(N) $ を達成し、近似および最適化におけるほぼ最適な性能を保証することを目的とする。
• 代数的および三角法的多項式のテンソル積に基づく枠組みを用いて、既存のメッシュ構築法を統一的かつ一般化することを目的とする。

提案手法

• 著者らは、周期の部分区間における離散的三角法的ノルム不等式を用い、$ 2\pi $ より短い区間への制限された三角法的多項式の上界ノルムを制御する。
• 幾何的領域 $ K = \sigma(I \times \Theta) $ を定義し、ここで $ \sigma $ は代数的および角度的区間の積を $ \mathbb{R}^d $ に写像するもので、成分は $ \mathbb{P}_1 $ および $ \mathbb{T}_1 $ 空間のテンソル積に属する。
• メッシュ $ \mathcal{A}_n(m) $ は、変換 $ \sigma $ によるネストされたグリッド $ X_{mn} \times W_{mn} \times W_{mn} $ の像として構築され、表面または立体領域に一様に分布するように保証される。
• 主な技術的ツールは、比 $ \|p\|_K / \|p\|_{\mathcal{A}_n} $ に対する一様なバインドを導出するための部分周期的ノルム不等式の適用であり、$ n $ に依存しない一様定数 $ c $ の存在を保証する。
• この方法は、$ v-u < 2\pi $ のとき $ \mathbb{T}_n([u,v]) $ が $ n $ に依存しない定数を有する離散的ノルム不等式を備えているという事実に依存しており、最適なメッシュ増加を可能にする。
• この構築法は、円形セクタ、球面キャップ、トーラスゾーン、ピラミッド断片など、適切なパラメータ化および対称性の考察を用いたさまざまな領域に適用される。

実験結果

リサーチクエスチョン

• RQ1 非凸的かつ非対称な球面、球体、トーラスの表面的および立体的断片に対して、最適多項式メッシュを構築することは可能か？
• RQ2 周期の部分区間における離散的ノルム不等式をどのように用いることで、曲面領域における多変数多項式近似の最適なメッシュ基数増加を導出できるか？
• RQ3 代数的多項式の幾何的断片が代数的および三角法的多項式のテンソル積変換によって定義される場合、メッシュ基数の最適増加率は何か？
• RQ4 円弧や球面ランズのような部分周期的角変数を有する領域に対して、多項式メッシュの枠組みをどの程度まで拡張できるか？
• RQ5 同じメッシュ構築技術が、平面領域の回転によって得られる表面および立体領域の両方に対して最適メッシュをもたらすか？

主な発見

• 球面、球体、トーラスのすべての標準的な平面的・表面的・立体的断片、すなわち球面キャップ、ゾーン、レンズ、トーラスキャップ、ピラミッド断片に対して、最適多項式メッシュが構築された。
• メッシュ基数は多項式空間の次元 $ N = \dim \mathbb{P}_n^d(K) $ に対して線形に増加し、最適な増加率 $ s = 1 $ を達成する。ノルム不等式における定数 $ c $ は幾何的タイプに依存する。
• 球全体またはトーラス全体に対しては、メッシュ定数は $ c = \beta^2 $ である。ここで $ \beta $ は、$ 2\pi $ より短い区間における三角法的多項式の部分周期的ノルム不等式定数である。
• 平面領域の回転によって得られる立体領域（例：立体キャップ、円錐、ゾーン）に対しては、メッシュ定数は $ c = \alpha^2\beta $ である。ここで $ \alpha $ は代数的ノルム不等式定数、$ \beta $ は部分周期的三角法的定数である。
• 球殻または球全体に対しては、メッシュ定数は $ c = \alpha^3 $ である。これは、領域の三次元代数的構造を反映している。
• 平面レンズの回転によって得られる立体ランズに対しては、メッシュ定数は $ c = \beta^3 $ である。これは、部分周期的三角法的ノルム不等式に完全に依存していることを示している。