[論文レビュー] A remark on sums of squares of complex vector fields

Michael Christ|ArXiv.org|Mar 23, 2005

Holomorphic and Operator Theory参考文献 6被引用数 10

ひとこと要約

本稿は、重み付きソボレフ推定における微分の有限損失を伴い、かつ複素ベクトル場がホルマンダー括弧条件を満たす場合でも、その二乗和作用素が $C^\infty$ 準双曲的でない可能性がある反例を構成する。主な結果は、複素設定において、括弧条件のみからでは準双曲的性が保証されないことを示しており、滑らかさや微分損失の軽微な仮定のもとでも成り立つ。

ABSTRACT

This note is a comment on a recent paper by J. J. Kohn. We give an example of a second order partial differential operator, expressed as a sum of squares of complex vector fields satisfying the bracket condition, that is not hypoelliptic.

研究の動機と目的

• 複素ベクトル場の二乗和作用素について、ホルマンダー括弧条件が準双曲的性を示唆するかを調査すること。
• 複素ベクトル場の文脈における微分損失と準双曲的性の関係を検討すること。
• 括弧条件を満たし、かつ微分損失が有限であるが、準双曲的でない複素ベクトル場の具体例を構成すること。
• サブ双曲的および準双曲的理論における、異なる微分損失の概念の違いを明確にすること。
• 複素ケースにおいて、括弧条件や有界な微分損失だけでは、準双曲的性が保証されないことを示すこと。

提案手法

• 整数 $k \geq 1$ に対して、$\mathbb{R}^3$ 上の複素ベクトル場 $Z_1 = \bar{L} = \partial_x - i x \partial_t$, $Z_2 = x^k L = x^k (\partial_x + i x \partial_t)$, $Z_3 = \partial_s$ を定義する。
• 二乗和作用素 $\mathfrak{L} = \sum_{j=1}^3 Z_j^* Z_j$ を構成し、そのスペクトル的および正則性性質を分析する。
• quasimodes $u_\tau(x,t,s) = e^{i\tau t} e^{\sigma(\tau)s} \psi_\tau(\tau^{1/2}x)$ で $\sigma(\tau) = \sqrt{\tau \lambda(\tau)}$ を用い、準双曲的性をテストする。
• $\|\psi_\tau\|_{L^\infty}$ および $\|\psi_\tau\|_{L^2}$ に対する一様有界性を確立し、$\sup_{|y|\leq B}|\psi_\tau(y)| \geq B^{-1}$ が $\tau$ に依存せずに成り立つことを示す。
• Baireのカテゴリー定理を適用し、$\mathfrak{L}$ が準双曲的であると仮定すると矛盾が生じることを示す。具体的には、$\|\partial_t u_\tau\|_{C^0(V)} \geq c\tau$ である一方で、$\|u_\tau\|_{C^0(V')} \leq C'$ かつ $\mathfrak{L}u_\tau \equiv 0$ であることを示す。
• $\sigma(\tau) = O(\tau^{(1-k)/2})$ であることを示し、$\tau \to \infty$ のとき $\sigma(\tau)$ が有界に保たれることを示し、$u_\tau$ における一様 $L^\infty$ コントロールを保証する。

実験結果

リサーチクエスチョン

• RQ1 ホルマンダー括弧条件は、複素ベクトル場の二乗和作用素について、準双曲的性を保証するか？
• RQ2 ソボレフ推定の意味で微分が高々有限回損失する作用素であっても、依然として準双曲的でない可能性はあるか？
• RQ3 括弧条件が成り立ち、微分損失が有界であっても、$k=1$ の場合ですら、準双曲的性に反する例は存在するか？
• RQ4 複素ベクトル場の文脈において、さまざまな「微分損失」の概念はどのように関係しているか？
• RQ5 変数 $s$ の追加が、低次元における有利な条件下でも、なぜ準双曲的性を破壊するのか？

主な発見

• 任意の $k \geq 1$ に対して、$\mathbb{R}^3$ の任意の点において、ベクトル場 $Z_1, Z_2, Z_3$ はホルマンダー括弧条件を満たす。
• 不等式 (1.3) の意味で、$\mathfrak{L} = \sum_{j=1}^3 Z_j^* Z_j$ は、$k=1$ の場合でさえ、高々有限回の微分損失を示す。
• しかし、この作用素は原点の任意の近傍で $C^\infty$ 準双曲的でない。
• 特に $k=1$ の場合、$\mathfrak{L}$ は微分損失を示さない（(1.3) における $s=0$）にもかかわらず、依然として準双曲的でない。
• この反例は、$\mathfrak{L}u_\tau \equiv 0$ であるが、$t$ 方向の点での微分が増大する quasimodes $u_\tau$ の構成に依拠しており、$L^\infty$ および $L^0$ ノルムで一様に有界である。
• 与えられた quasimode 系列のもとで、推定式 (3.2) が $N=1$ の場合に失敗することを示し、$\mathfrak{L}$ が準双曲的でないことを証明する。