[論文レビュー] Follytons and the Removal of Eigenvalues for Fourth Order Differential Operators

Jens Hoppe, Ари Лаптев+1 more|ArXiv.org|Nov 9, 2003

Spectral Theory in Mathematical Physics被引用数 5

ひとこと要約

本稿では、実数直線上の4階微分作用素 $ L = \partial^4 + \partial u \partial + v $ において、二重に degenerate な固有値 $ E_0 < 0 $ の除去または付加を支配する非線形関数 $ Q[u,v] $ を導入する。$ L - E_0 $ を $ A^*A $ に因数分解することで、$ \partial^4 $ に等スペクトルであるが、固有値 $ E_0 $ が重複度2で存在するような明示的解を構成し、関連する時間に依存するPDEの正確な解が得られる。

ABSTRACT

A non-linear functional $Q[u,v]$ is given that governs the loss, respectively gain, of (doubly degenerate) eigenvalues of fourth order differential operators $L = \partial^4 + \partial u \partial + v$ on the line. Apart from factorizing $L$ as $A^{*}A + E_{0}$, providing several explicit examples, and deriving various relations between $u$, $v$ and eigenfunctions of $L$, we find $u$ and $v$ such that $L$ is isospectral to the free operator $L_{0} = \partial^{4}$ up to one (multiplicity 2) eigenvalue $E_{0} &lt; 0$. Not unexpectedly, this choice of $u$, $v$ leads to exact solutions of the corresponding time-dependent PDE's.

研究の動機と目的

• 4階微分作用素 $ L = \partial^4 + \partial u \partial + v $ が、$ E_0 < 0 $ の二重に degenerate な固有値を有するための条件を同定すること。
• 実数関数 $ f $, $ g $ を用いて $ L - E_0 = A^*A $ と因数分解する方法を構築し、スペクトルの操作を可能にすること。
• $ L $ が $ \partial^4 $ に等スペクトルであるが、固有値 $ E_0 $ を除いて、$ u $ と $ v $ の明示的表現を導出すること。
• 固有関数 $ \psi_+ $, $ \psi_- $ のWronskian $ W $ が恒等的に消えないことを確立し、スペクトルの非退化性を保証すること。
• 得られた $ u $, $ v $ が、関連する時間に依存するPDEの正確な解を与えることを示すこと。

提案手法

• $ L - E_0 $ を $ A^*A $ に因数分解し、$ A = -\partial^2 + f\partial + g $ とおく。ここで $ f $, $ g $ はWronskian $ W $ 及びその微分 $ W_{12} $ から導出される。
• $ f = W'/W $, $ g = -W_{12}/W $ を定義し、$ W_{12} = \psi_+\psi_-^{(3)} - \psi_+^{(3)}\psi_- $ とすることで、$ A\psi_+ = A\psi_- = 0 $ が成り立つようにする。
• Wronskianの恒等式を用いて、$ u = (2W_{12} - W'')/W $, $ v - E_0 = (W_{12}^2)/W^2 + (W_{12}'/W)' $ を導出する。
• Hirota形式の式 $ 4(v - E_0) = (W''/W + u)^2 + 2\left(\frac{W''' + u' + u W'}{W}\right)' $ を用いて、$ W $ から $ u $, $ v $ を再構成する。
• 等スペクトル性を活用し、$ u(x+4t) $, $ v(x+4t) $ のシフトを施すことにより、時間に依存するPDEの正確な解を構成する。
• 背理法を用いてWronスキーント $ W $ が恒等的に消えないことを証明し、ある点で消えると仮定すると、固有関数が自明になるため、線形独立性に反する。

実験結果

リサーチクエスチョン

• RQ1 4階作用素 $ L = \partial^4 + \partial u \partial + v $ が、$ E_0 < 0 $ の二重に degenerate な固有値を有するための条件は何か？
• RQ2 $ L - E_0 $ を $ A^*A $ に因数分解する方法は何か？また、$ u $, $ v $, $ f $, $ g $ 間の関数的関係は何か？
• RQ3 $ L $ が $ \partial^4 $ に等スペクトルであるが、固有値 $ E_0 $ を除いて、$ u $ と $ v $ の明示的形は何か？
• RQ4 なぜ固有値 $ E_0 $ は作用素 $ \tilde{L} = AA^* + E_0 $ に存在しないのか？
• RQ5 導出された $ u $, $ v $ は、作用素 $ L $ に関連する時間に依存するPDEの正確な解をどのように与えるか？

主な発見

• 固有関数 $ \psi_+ $, $ \psi_- $ のWronskian $ W $ は、すべての $ x \in \mathbb{R} $ で正の値をとり、スペクトルの非退化性を保証する。
• 関数 $ f = W'/W $, $ g = -W_{12}/W $ は、$ A^*A = L - E_0 $ を満たし、$ A = -\partial^2 + f\partial + g $ である。
• 明示的な $ u $, $ v $ の式として $ u = (2W_{12} - W'')/W $, $ v - E_0 = (W_{12}^2)/W^2 + (W_{12}'/W)' $ が得られ、$ \partial^4 $ に等スペクトルであることが保証される。
• $ \tilde{L} = AA^* + E_0 $ は、$ E_0 $ が固有値でないことを除き、$ L $ と等スペクトルである。これは、$ A^*\psi = 0 $ に $ L^2 $ 解が存在しないことによる。
• コンパクトな台を持つ $ u, v $ に対して、固有関数は無限遠で指数的に減衰し、$ |x| \to \infty $ で $ f \to \mp 2\kappa $, $ g \to -2\kappa^2 $ となる。また $ E_0 = -4\kappa^4 $ である。
• 時間に依存するPDEに対して $ u(x+4t) $, $ v(x+4t) $ を用いることで正確な解が得られ、Hirota形式の恒等式および明示的パラメータ化により検証される。