[論文レビュー] Analyse et synthèse harmoniques

Jean‐Pierre Kahane|arXiv (Cornell University)|Oct 24, 2011

Mathematical Analysis and Transform Methods被引用数 4

ひとこと要約

本稿は、19世紀の調和解析と合成の包括的概説を提示し、フーリエ級数、分布、L^p 空間における関数の構造の間の相互作用に焦点を当てる。収束、総和可能性、バナッハ空間が調和解析において果たす役割に関する主要な結果を紹介し、中心的な貢献として、さまざまな総和法における振る舞いを特徴付けるフーリエ係数を通じた関数の特徴付けを示す。

ABSTRACT

This is the material for two lectures given at Ecole Polytechnique in May 2011 for the math teachers of "classes préparatoires"(parallel to the undergraduate classes in universities). The introduction is a personal overview on Fourier analysis, its history, the terms in use and a few references. The first part is also an overview but on a restricted subject : the link between statistics and Fourier, from Legendre and the role of l^2 to Donoho and the role of l^1. The third part starts from a theorem of Candès, Romberg and Tao on compressive sampling and applies the basic idea to a quite different question : the reconstruction of a function whose unknown spectrum has large gaps from Its restriction to an interval. The description and extention of the method of Candès, Romberg and Tao in Appendix 2 was developed later in a note aux Comptes rendus and an article submitted to Annales de l'Institut Fourier.

研究の動機と目的

• 20世紀に発展した調和解析と合成の統一的解説を提供すること。
• フーリエ係数が関数の特徴付けおよび収束性に果たす役割を明確にすること。
• 関数空間（特に L^p）と調和解析における総和法の間の相互作用を検討すること。
• 分布の基礎的結果とそのフーリエ変換を、調和合成の文脈で提示すること。
• 三角級数の理論とバナッハ空間幾何学の間の未解決問題および深い関係を強調すること。

提案手法

• ケゼロおよびアベル総和法を用いた三角級数の古典的道具を用いる。
• 分布論を応用して、L^1 や L^2 を超えてフーリエ解析を拡張し、一般化関数の研究を可能にする。
• 特にバナッハ空間と双対性の理論を用いた関数解析的手法を用い、フーリエ級数の収束性および有界性を分析する。
• 一意性集合の構造とフーリエ級数の収束性との関係を検討する。
• シドン集合の概念を導入し、そのフーリエ係数の成長を制御する役割を明らかにする。
• 補間理論と最大関数を用いて、点単位収束性および総和可能性を研究する。

実験結果

リサーチクエスチョン

• RQ1 ケゼロおよびアベル総和法といった異なる総和法は、三角級数の収束性にどのように影響を与えるか？
• RQ2 関数がそのフーリエ係数によって一意に決定されるための条件は何か？
• RQ3 どの関数空間（特に L^p）においてフーリエ級数がほとんど everywhere に収束するか？
• RQ4 フーリエ係数の性質は、関数の滑らかさおよび可積分性とどのように関係するか？
• RQ5 バナッハ空間幾何学は、フーリエ級数の収束性および有界性を理解する上で果たす役割は何か？

主な発見

• ケゼロおよびアベル総和法は、点単位収束が失敗する場合でも、フーリエ級数に対して正則化された収束を提供する。
• p > 1 における L^p に属する関数は、最大関数の推定を用いて示された結果として、ほとんど everywhere に収束するフーリエ級数を持つ。
• シドン集合は、フーリエ係数の一様有界性によって特徴付けられ、組合せ的性質と調和解析を結びつける。
• 分布論の理論により、テイラー分布へのフーリエ変換の拡張が可能となり、一般化関数の解析が可能になる。
• 普遍的三角級数の存在は、L^1 における収束挙動の複雑さを示している。
• 本稿は、フーリエ級数が一様収束する関数の空間が L^1 の真部分空間であることを確認しており、収束条件の繊細さを強調している。