[論文レビュー] Lie group approach to Grushin operators

Jacek Dziubański, Adam Sikora|arXiv (Cornell University)|Jun 2, 2019

Ophthalmology and Eye Disorders被引用数 5

ひとこと要約

本稿では、ベクトル場の平方和として定義される退化サブエリプティック作用素であるグルーシン型作用素の解析のためのリー群理論的枠組みを構築する。ベクトル場が有限次元の型(R)リー代数を生成すると仮定することで、著者らは全空間におけるPoincaré不等式、ダブルイング条件、および熱核の両側ガウス型評価を確立するとともに、すべての$L^p$空間におけるリーマン変換の有界性を保証する。この手法は、多項式的または解析的係数をもつ作用素に広く適用可能であり、非ノルム型やコンパクト多様体上の設定にも適用可能である。

ABSTRACT

We consider a finite system $\{X_1, X_2, \ldots, X_n\}$ of complete vector fields acting on smooth manifolds $M$ equipped with a smooth positive measure. We assume that the system satisfies H\"ormander's condition and generates a finite dimensional Lie algebra of type (R). We investigate the sum of squares of the vector fields operator corresponding to this system which can be viewed as a generalisation of the notion of Grushin operators. In this setting we prove the Poincar\'e inequality and Li-Yau estimates for the corresponding heat kernel as well as the doubling condition for the optimal control metrics defined by the system. We discuss a surprisingly broad class of examples of described setting.

研究の動機と目的

• 本稿の目的は、リー群論を用いてグルーシン型作用素の解析を一般化することにある。
• 本稿は、ダブルイング、Poincaré不等式、熱核評価といった主要な解析的性質が全空間にわたって成り立つ広範な退化サブエリプティック作用素のクラスを同定することを目的としている。
• 本稿の目的には、この枠組みにおいてすべての$p \in (1,\infty)$に対して$L^p$空間上でのリーマン変換の有界性を証明することを含む。
• 本稿は、基礎となるリー代数の代数的構造に注目することで、これまでのグルーシン作用素に関する結果を統一的かつ拡張することを目的としている。
• 本稿は、解析的推論が代数的条件（型(R)リー代数）から直接導かれる体系的な設定を提供する。

提案手法

• 著者らは、滑らかな測度を備えた滑らかな多様体$M$上に定義された、有限個の完全かつ反自己随伴なベクトル場$\{X_1, \dots, X_n\}$を考察する。
• これらのベクトル場が生成するリー代数が有限次元であり、型(R)であると仮定する。型(R)とは、代数に属するすべての$X$に対して$\operatorname{ad}(X)$が純虚数固有値をもつことを意味する。
• 平方和作用素$L = -\sum X_i^2$を、グルーシン作用素の一般化として研究する。
• ベクトル場に関連する最適制御距離を用いて、空間の幾何を定義する。
• 型(R)リー代数が多項式的体積成長をもたらすという事実に依拠し、これによりダブルイング条件およびPoincaré不等式が導かれる。
• 熱核評価は、内在的な幾何とリー群構造を活用して導出され、サブリーマン多様体に関する既知の結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル場にどのような条件下で、平方和作用素が全空間におけるPoincaré不等式を満たすか？
• RQ2 グルーシン型作用素に対して、一般のリー群理論的枠組みのもとでダブルイング条件および両側ガウス型熱核評価を確立できるか？
• RQ3 このような作用素に関連するリーマン変換が、すべての$p \in (1,\infty)$に対して$L^p$空間上で有界のままであるか？
• RQ4 この枠組みは、非多項式的係数をもつ作用素やコンパクト多様体上での作用素へ、どの程度まで拡張可能か？
• RQ5 幾何的・解析的性質（ダブルイング、Poincaré不等式、熱核評価）が、型(R)という代数的条件からどのように体系的に導かれるか？

主な発見

• 型(R)リー代数の仮定のもとで、すべての関数$f \in C_c^\infty(M)$に対して、Poincaré不等式が全空間で成立する。
• ベクトル場に関連する最適制御距離は、ダブルイング条件を満たす。
• 平方和作用素の熱核に対して、両側ガウス型評価が確立される。
• 作用素に関連するリーマン変換は、すべての$p \in (1,\infty)$に対して$L^p(M)$上で有界である。
• この枠組みは、多項式的、解析的、周期的係数をもつ作用素の広いクラスに適用可能であり、たとえばトーラス上での$-\partial_x^2 - \sin^2 x \, \partial_y^2$のような作用素も含まれる。
• この手法は、コンパクト多様体上でも拡張可能であり、たとえば$\Pi^2$上でのグルーシン型作用素$-\partial_{\theta_1}^2 - \sin^2 \theta_1 \, \partial_{\theta_2}^2$に対しても適用可能である。