[論文レビュー] Contributions of Issai Schur to Analysis

Harry Dym, Victor Katsnelson|ArXiv.org|Jun 13, 2007

Holomorphic and Operator Theory参考文献 115被引用数 19

ひとこと要約

本論文は、数学的解析分野におけるイサイ・シュールの基礎的貢献を包括的にレビューしており、特に作用素論、直交多項式、関数論の分野に焦点を当てている。シュールのテスト、シュール補行列、シュールパラメータ、シュールアルゴリズムといった主要な結果を詳細に提示するとともに、形式的擬微分作用素の計算を通じて、可換な微分作用素や微分作用素の分数冪に関するあまり知られていない研究を再構築し、現代の解析学および信号処理の背後にある深い代数的構造を明らかにしている。

ABSTRACT

The name Schur is associated with many terms and concepts that are widely used in a number of diverse fields of mathematics and engineering. This survey article focuses on Schur's work in analysis. Here too, Schur's name is commonplace: The Schur test and Schur-Hadamard multipliers (in the study of estimates for Hermitian forms), Schur convexity, Schur complements, Schur's results in summation theory for sequences (in particular, the fundamental Kojima-Schur theorem), the Schur-Cohn test, the Schur algorithm, Schur parameters and the Schur interpolation problem for functions that are holomorphic and bounded by one in the unit disk. In this survey, we discuss all of the above mentioned topics and then some, as well as some of the generalizations that they inspired. There are nine sections of text, each of which is devoted to a separate theme based on Schur's work. Each of these sections has an independent bibliography. There is very little overlap. A tenth section presents a list of the papers of Schur that focus on topics that are commonly considered to be analysis. We begin with a review of Schur's less familiar papers on the theory of commuting differential operators.

研究の動機と目的

• イサイ・シュールの解析学におけるあまり知られていないが数学的に深遠な業績、特に微分作用素論に焦点を当て、体系的に文書化し再評価すること。
• シュールの結果が、信号処理、直交多項式、作用素論といった現代の分野において果たす基盤的役割を強調すること。
• シュールが独自に開発した形式的擬微分作用素およびその代数的性質（可換子や分数冪を含む）を回復し、提示すること。
• シュールの可換微分作用素に関する初期の業績が、後の可積分系理論やスペクトル論の発展とどのように関連しているかを明らかにすること。
• シュールの解析学に関する論文を包括的に収集し、現代の数学的枠組みの中で位置づけることで、研究者に包括的な参考文献を提供すること。

提案手法

• 本論文はテーマ別に9つのセクションに分け、各セクションがシュールの解析学における一連の業績に特化したサーベイ的手法を採用している。
• 形式的ローレンツ級数 $ F = sum_{k o -}^n f_k(x) D^k $ の形をとる形式的擬微分作用素の1917–1918年のシュールのオリジナルの研究を再構築し、その代数的構造を確立している。ここで $ D = d/dx $ である。
• 方法には、$ D a(x) = a(x) D + a'(x) $ および $ D^{-1} a(x) = a(x) D^{-1} - a'(x) D^{-2} + sum_{k=1}^ (-1)^{k-1} a^{(k-1)}(x) D^{-k} $ という交換関係を導出し、形式的級数の環における積演算を可能にする。
• 本論文は、ある微分作用素 $ P $ と可換な2つの形式的ローレンツ級数が、互いに可換であることを証明しており、シュールの可換子に関する定理を一般化している。
• 先頭係数が可逆である限り、形式的微分級数 $ F $ の分数冪 $ F^{1/n} $ が存在し、$ R = F^{1/n} $ は $ sum_{ ho o -}^1 r_ ho(x) D^ ho $ の形を取り、$ r_1(x) {equiv} 1 $ であることを確立している。
• 歴史的文脈、現代への一般化、および最新の研究（シュールアルゴリズム、直交多項式、信号処理など）への接続を統合している。

実験結果

リサーチクエスチョン

• RQ1 イサイ・シュールの可換微分作用素に関する初期の業績は、その後の可積分系理論やスペクトル論の発展をどの程度予見していたのであろうか？
• RQ2 形式的擬微分作用素の文脈において、微分作用素の可換子の代数的構造はいかなるものか？
• RQ3 シュールの擬微分作用素の形式的計算が、微分作用素の分数冪理論の基礎をどのように提供しているのか？
• RQ4 シュールのシュールアルゴリズムおよびシュールパラメータに関する結果は、単位円上での直交多項式論とどのように関連しているか？
• RQ5 なぜシュールの形式的擬微分作用素に関する業績は数十年にわたり無視されてきたのか？ また、現代の信号処理および行列論とどのように関連しているのか？

主な発見

• シュールは、ある微分作用素 $ P $ と可換な2つの形式的微分ローレンツ級数が、互いに可換であることを証明した。これは後にアミツールとクリチェバーによって再発見された結果である。
• シュールは、微分作用素と滑らかな関数との間の交換関係に基づいて、積を定義する形式的擬微分作用素の計算を構築した。
• 先頭係数が可逆である形式的ローレンツ級数 $ F $ の逆元が存在し、それはすべて負のべき項からなる級数であり、係数およびその導関数から明示的に構成可能である。
• 形式的微分級数 $ F $ の分数冪 $ F^{1/n} $ が存在し、$ sum_{ ho o -}^1 r_ ho(x) D^ ho $ の形をとり、$ r_1(x) {equiv} 1 $ である、明確に定義された形式的ローレンツ級数としての形をとる。
• シュールの微分作用素の可換子に関する業績は、分数冪が可換な作用素を生成する役割を果たすことを含め、完全な代数的記述を提供している。
• 本論文は、シュールが1917–1918年に開発した形式的擬微分作用素に関するオリジナルの業績が、基盤的であり、現代の作用素論および信号処理の発展を予見していることを確立している。