[論文レビュー] A Generalization of Gajda's Equation on Commutative Topological Groups

Żywilla Fechner, László Székelyhidi|arXiv (Cornell University)|Mar 9, 2014

Functional Equations Stability Results参考文献 3被引用数 4

ひとこと要約

この論文は、可換位相群上のガジャの積分関数方程式を一般化し、2つの未知関数 $ f_1 $ と $ f_2 $、および複素測度 $ \mu $ を含む畳み込みに基づく方程式を導入する。方程式 $ (f_1 * \mu)(x+y) + (\widecheck{f}_2 * \mu)(x-y) = g(x)h(y) $ の解を完全に特徴付け、測度のスペクトル的性質に応じて解が指数関数的組み合わせか加法的関数を含む形かに分かれることが示された。

ABSTRACT

In the present paper we deal with the following generalization of the sine-cosine equation \begin{equation*} \int f_1(x+y-t)+f_2(x-y+t) dμ(t)=g(x)h(y) \end{equation*} for complex valued functions $f_1$, $f_2$, $g$ and $h$ defined on a commutative topological group $G$, where $μ$ is a complex measure defined on $G$.

研究の動機と目的

• 可換位相群上でディラック測度を任意の複素測度に置き換えることにより、ガジャの積分関数方程式を一般化すること。
• ウィルソンやド・ラメールの関数方程式を一般測度 $ \mu $ を組み込むことで拡張し、以前の結果を共通の枠組みで統一すること。
• スペクトル合成と調和解析を用いて、方程式 $ \int [f_1(x+y-t) + f_2(x-y+t)] d\mu(t) = g(x)h(y) $ の完全な解構造を提供すること。
• 正則性条件を位相的仮定のもとで、指数関数、加法的関数、測度変換に基づいて解を特徴付けること。
• ド・ラメールやガジャの関数方程式が、一般化された枠組みの特別な例として回復されることを示すこと。

提案手法

• 畳み込み形式での一般化された方程式を定式化：$ (f_1 * \mu)(x+y) + (\widecheck{f}_2 * \mu)(x-y) = g(x)h(y) $、ここで $ \widecheck{f}(x) = f(-x) $ である。
• 補助関数 $ F_1 = f_1 * \mu $ と $ F_2 = \widecheck{f}_2 * \mu $ を導入し、問題を $ F_1(x+y) + F_2(x-y) = g(x)h(y) $ の解法に簡略化する。
• Székelyhidi (1991) が提唱したスペクトル合成技術を用いて、二重線形関数方程式 $ F_1(x+y) + F_2(x-y) = g(x)h(y) $ の解を分類する。
• 測度 $ \mu $ のフーリエ変換 $ \widehat{\mu}(m) $ を用いて、解を指数関数 $ m $ と加法的関数 $ a $ の形で表現する。
• 2つの解クラスを区別する：非偶数の指数関数を含むもの（係数が $ \widehat{\mu}(m) $ に依存）、および偶数の指数関数を含むもの（加法的成分を含む）。
• 正則性結果を確立する：$ f $ や $ g $ の連続性または可測性は、指数関数および加法的関数の連続性を示し、有界性のもとで特徴関数が出現する。

実験結果

リサーチクエスチョン

• RQ1 可換位相群上で、方程式 $ \int [f_1(x+y-t) + f_2(x-y+t)] d\mu(t) = g(x)h(y) $ の完全な解構造は何か？
• RQ2 この一般化された方程式の解は、ド・ラメール、ウィルソン、ガジャの関数方程式といった既知の式とどのように関係しているか？
• RQ3 加法的関数を含む解が現れるための、測度 $ \mu $ および群 $ G $ に対する条件は何か？
• RQ4 測度変換 $ \widehat{\mu}(m) $ は解の形を決定づける上で果たす役割は何か？
• RQ5 連続性、可測性、有界性といった正則性条件は、解の性質および関数（指数関数、特徴関数など）の性質にどのように影響を与えるか？

主な発見

• 解は2種類ある：指数関数 $ m $ に対して、$ f_1(x) = \gamma m(x) + \delta m(-x) $、$ h(y) = \widehat{\mu}(m)m(y) + \widehat{\mu}(\widecheck{m})m(-y) $、または偶数の指数関数 $ m_0 $ に対して $ \widehat{\mu}(m_0) \neq 0 $ のもとで、$ f_1(x) = \left( \frac{1}{2\widehat{\mu}(m_0)}a(x) + \beta \right)m_0(x) $、$ h(y) = 2\widehat{\mu}(m_0)m_0(y) $ となる。
• 2番目の解クラスの存在は、ある偶数の指数関数 $ m_0 $ に対して $ \widehat{\mu}(m_0) \neq 0 $ であることと同値であり、そのような解は加法的関数 $ a $ を含む。
• 群 $ G $ が局所コンパクトで、$ f $ や $ h $ がハール可測であるとき、解 $ f, h, m, m_0 $ は連続であり、関数が本質的に有界であれば $ m, m_0 $ は特徴関数である。
• 一般化された方程式はガジャ、ウィルソン、ド・ラメールの式を統合する：$ \mu = \frac{1}{2}\delta_0 $ とするとド・ラメールの式が回復され、$ f_1 = f_2 = f $、$ h = g $ とするとガジャの式が回復される。
• 方程式 (17)、$ \int [f(x+y-t) + f(x-y+t)] d\mu(t) = k(x)f(y) $ の場合、解は加法的関数を含まず、$ \widehat{\mu}(m) $ からの係数を有する純粋な指数関数的組み合わせである。
• 解構造は一意である：指数関数 $ m $、加法的関数 $ a $、複素数 $ b $ を用いた $ x \mapsto (a(x) + b)m(x) $ の形の表現は、$ m $ が指数関数、$ a $ が加法的関数、$ b $ が複素数のとき一意である。