[論文レビュー] Harmonic Analysis associated with a discrete Laplacian

Óscar Ciaurri, T. A. Gillespie+3 more|arXiv (Cornell University)|Jan 9, 2014

Differential Equations and Boundary Problems参考文献 20被引用数 7

ひとこと要約

本稿では、整数格子 ℤ 上の離散ラプラシアンに対する熱半群を用いて、修正ベッセル関数を含む核を持つ、調和解析を展開する。分数階離散ラプラシアンに対する最大原理を確立し、リーマン変換および共役調和関数の重み付き ℓp-有界性を証明し、リーマン変換が古典的離散ヒルベルト変換に一致することを示す。すべての結果は、ベッセル関数の詳細な漸近的解析に基づいている。

ABSTRACT

It is well-known that the fundamental solution of $$ u_t(n,t)= u(n+1,t)-2u(n,t)+u(n-1,t), \quad n\in\mathbb{Z}, $$ with $u(n,0) =δ_{nm}$ for every fixed $m \in\mathbb{Z}$, is given by $u(n,t) = e^{-2t}I_{n-m}(2t)$, where $I_k(t)$ is the Bessel function of imaginary argument. In other words, the heat semigroup of the discrete Laplacian is described by the formal series $$ W_tf(n) = \sum_{m\in\mathbb{Z}} e^{-2t} I_{n-m}(2t) f(m). $$ By using semigroup theory, this formula allows us to analyze some operators associated with the discrete Laplacian. In particular, we obtain the maximum principle for the discrete fractional Laplacian, weighted $\ell^p(\mathbb{Z})$-boundedness of conjugate harmonic functions, Riesz transforms and square functions of Littlewood-Paley. Interestingly, it is shown that the Riesz transforms coincide essentially with the so called discrete Hilbert transform defined by D. Hilbert at the beginning of the XX century. We also see that these Riesz transforms are limits of the conjugate harmonic functions. The results rely on a careful use of several properties of Bessel functions.

研究の動機と目的

• 整数格子 ℤ 上の離散ラプラシアンに対する、古典的ユークリッド調和解析に類似した調和解析フレームワークの構築。
• 分数ラプラシアン、リーマン変換、共役調和関数、および平方関数といった主要な作用素を、離散的設定において研究すること。
• 特に一般理論における ℓ¹ 有界性の欠如に起因する課題を扱い、重み付き ℓp 空間におけるこれらの作用素の有界性結果を確立すること。
• 離散リーマン変換が古典的離散ヒルベルト変換と同値であることを示し、ベッセル関数解析を通じてその同値性を証明すること。

提案手法

• 熱半群 W_t = e^{tΔ_d} を基本的道具として用い、その核が e^{-2t}I_{n−m}(2t) と表現されることを用いる。ここで I_k は第一種修正ベッセル関数を表す。
• 分数ラプラシアン (−Δ_d)^σ は熱半群およびスペクトル理論を用いて解析され、0 < σ < 1 の場合に最大原理が導かれる。
• リーマン変換は R = lim_{α→(1/2)^−} D(−Δ_d)^{-α} および R̃ = lim_{α→(1/2)^−} D̃(−Δ_d)^{-α} として定義され、それぞれ核 1/(π(n+1/2)) および 1/(π(n−1/2)) を持つ畳み込み作用素として示される。
• 共役調和関数 Q_t f および Q̃_t f はポアソン半群およびリーマン変換を用いて定義され、一般化されたコーシー–リーマン方程式を満たす。
• 重み付き ℓ^p 空間（1 ≤ p < ∞ および重み w ∈ A_p）における作用素の有界性は、ベッセル関数核の減衰および増大の解析を通じて確立される。
• 修正ベッセル関数 I_k(t) の漸近展開および積分表現（例えば、シュレーフリの公式）を用いて、核の減衰および作用素ノルムの精密な推定がなされる。

実験結果

リサーチクエスチョン

• RQ1 分数階離散ラプラシアン (−Δ_d)^σ（0 < σ < 1）に対して最大原理が成り立つか。また、最小値をとる非負関数に対して何を意味するか？
• RQ2 離散ラプラシアンに関連するリーマン変換は、古典的離散ヒルベルト変換と同値であるか。その同値性はどのように証明できるか？
• RQ3 重み付き ℓ^p-有界性において、リーマン変換および共役調和関数は ℤ 上でどのように振る舞うか。非重み付きの場合とはどのように異なるか？
• RQ4 共役調和関数はリーマン変換とどのように関係するか。また、ポアソン半群の微分の時間積分として表現できるか？
• RQ5 熱核 e^{-2t}I_{n−m}(2t) の正確な減衰率は何か。これにより関連作用素の有界性にどのような影響を与えるか？

主な発見

• 離散分数ラプラシアンは最大原理を満たす：f ≥ 0 かつ f(n₀) = 0 ならば (−Δ_d)^σ f(n₀) ≤ 0 であり、等号が成り立つのは f ≡ 0 の場合に限る。
• リーマン変換 R および R̃ は、それぞれ核 {1/(π(n+1/2))} および {1/(π(n−1/2))} を持つ畳み込み作用素であり、古典的離散ヒルベルト変換と一致することが示された。
• リーマン変換は、t → 0+ のときの共役調和関数 Q_t f および Q̃_t f の極限として得られ、調和共役関数とリーマン変換の間の深い関係が確立された。
• 重み付き ℓ^p-有界性（1 ≤ p < ∞ および w ∈ A_p）が、リーマン変換および共役調和関数に対して証明され、古典的半群理論の範囲を超えて拡張された。
• 熱核 e^{-2t}I_{n−m}(2t) は |n−m| → ∞ のとき (|n−m|+1)^{-2} のオーダーで減衰する。この性質が ℓ^p 有界性の結果の根拠となっている。
• I_k(t) の小および大 t における漸近展開、ならびにシュレーフリ型積分表現を用いて、核推定の精密化がなされ、有界性および減衰性の証明に不可欠な要素が得られた。