[論文レビュー] On nodal and generalized singular structures of Laplacian eigenfunctions and applications

Huaian Diao, Xinlin Cao+2 more|arXiv (Cornell University)|Feb 15, 2019

Electromagnetic Scattering and Analysis被引用数 6

ひとこと要約

本稿では、ラプラシアン固有関数の一般化された特異線を導入し、交点における固有関数の消失順序とこれらの線のなす角の有理性の間の明確な定量的関係を確立する。消失順序は、角が有理数のとき有限であり、その値は角の有理度に等しくなる。角が無理数のとき、消失順序は無限大となる。この結果は、有限個の遠方パターンを用いた逆散乱問題への直接的応用をもたらす。

ABSTRACT

In this paper, we present some novel and intriguing findings on the geometric structures of Laplacian eigenfunctions and their deep relationship to the quantitative behaviours of the eigenfunctions in two dimensions. We introduce a new notion of generalized singular lines of the Laplacian eigenfunctions, and carefully study these singular lines and the nodal lines. The studies reveal that the intersecting angle between two of those lines is closely related to the vanishing order of the eigenfunction at the intersecting point. We establish an accurate and comprehensive quantitative characterisation of the relationship. Roughly speaking, the vanishing order is generically infinite if the intersecting angle is {\it irrational}, and the vanishing order is finite if the intersecting angle is rational. In fact, in the latter case, the vanishing order is the degree of the rationality. The theoretical findings are original and of significant interest in spectral theory. Moreover, they are applied directly to some physical problems of great importance, including the inverse obstacle scattering problem and the inverse diffraction grating problem. It is shown in a certain polygonal setup that one can recover the support of the unknown scatterer as well as the surface impedance parameter by finitely many far-field patterns. Indeed, at most two far-field patterns are sufficient for some important applications. Unique identifiability by finitely many far-field patterns remains to be a highly challenging fundamental mathematical problem in the inverse scattering theory.

研究の動機と目的

• 2次元におけるラプラシアン固有関数の幾何学的・解析的構造、特に節線および一般化された特異線の理解を目的とする。
• これらの線の交点におけるなす角と、その交点における固有関数の消失順序との関係を調査すること。
• この関係の定量的特徴付けを確立し、有理角と無理角の区別を明確にすること。
• 理論的結果を逆散乱問題、特に逆障害散乱および逆回折格子問題に応用すること。
• 散乱体の支持および表面インピーダンスが、有限個の遠方パターンを用いて一意に回復可能であることを示すこと。特に、一部の状況では2つのパターンで十分であることを示す。

提案手法

• ラプラシアン固有関数の一般化された特異線という、新たな数学的概念を導入し、従来の節線を越えるものとする。
• 節線および一般化された特異線の交点における固有関数の挙動を、漸近展開およびブロー・アップ技法を用いて分析する。
• 点における固有関数の消失順序を、その減衰速度の尺度として定義し、交差する角の算術的性質と関連付ける。
• スペクトル理論および複素解析の道具を用いて、角の有理性に基づく固有関数の減衰に関する精密な推定を導出する。
• 理論的結果を逆散乱問題に応用し、多角形領域における固有関数の特異な構造を活用して、散乱体の幾何形状およびインピーダンスパラメータを再構築する。
• 有限個の遠方パターン（特に有利な状況では2つまで）で十分であることを証明し、散乱体の支持および表面インピーダンスを一意に特定可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 節線および一般化された特異線の交点におけるラプラシアン固有関数の消失順序は、これらの線がなす角にどのように依存するか？
• RQ2 交点の角が有理数か無理数かによって、消失挙動はどのように異なるか？
• RQ3 多角形領域における固有関数の幾何的構造を活用することで、逆散乱問題において未知の散乱体を一意に回復可能か？
• RQ4 このような設定において、散乱体の支持および表面インピーダンスを一意に特定するために必要な遠方パターンの最小数は何か？
• RQ5 固有関数の解析的性質は、逆障害散乱および逆回折格子問題における解の一意性に、どの程度制限を及えるか？

主な発見

• 節線および一般化された特異線の交点におけるラプラシアン固有関数の消失順序は、交差角が有理数のとき有限であり、無理数のとき無限大である。
• 角が有理数のとき、消失順序は角の有理度に等しくなる。これにより、明確な算術的特徴付けが得られる。
• 多角形領域において、未知の散乱体の支持およびその表面インピーダンスパラメータは、有限個の遠方パターンから一意に回復可能である。
• 特定の重要な設定では、2つの遠方パターンで十分であり、散乱体の一意同定が達成可能である。
• 理論的枠組みにより、固有関数の幾何的構造と逆散乱問題の可解性との深い関係が確立された。
• 本研究は、長年の課題を解決し、有限個の遠方測定で一意回復が可能であることを示した。これは、逆散乱理論において顕著な前進である。