[論文レビュー] On a Model of Superconductivity and Biology

Monica De Angelis|arXiv (Cornell University)|Mar 2, 2012

Nonlinear Dynamics and Pattern Formation参考文献 9被引用数 9

ひとこと要約

本稿では、超伝導および生物学的興奮系（例えば、Fitzhugh-Nagumo）をモデル化する非線形積分微分方程式を、ラプラス変換および基本解を用いて定式化し、線形源項の場合の明示的解を導出し、非線形系の場合の存在・一意性および事前推定を証明する。主な貢献は、ジョセフソン接合や神経動力学への応用を含む、ノイマン境界値問題の厳密な解析である。

ABSTRACT

The paper deals with a semilinear integrodifferential equation that characterizes several dissipative models of Viscoelasticity, Biology and Superconductivity. The initial - boundary problem with Neumann conditions is analyzed. When the source term F is a linear function, then the explicit solution is obtained. When F is non linear, some results on existence, uniqueness and a priori estimates are deduced. As example of physical model the reaction - diffusion system of Fitzhugh Nagumo is considered.

研究の動機と目的

• 記憶項を含む一般化された半線形積分微分方程式を、Viscoelasticity、超伝導、生物学的興奮系をモデル化するために分析すること。
• 源項が非線形である場合のノイマン初期境界値問題の存在・一意性および事前推定を確立すること。
• 理論的枠組みをFitzhugh-Nagumo反応拡散系および超伝導におけるジョセフソン接合モデルに適用すること。
• 源項が線形である場合に、ラプラス変換技術および基本解を用いて明示的解を導出すること。
• ゼロフラックス境界条件下での解の漸近的挙動および安定性を調査すること。

提案手法

• 分散系をモデル化する線形積分微分作用素 $\mathcal{L}u = u_t - \varepsilon u_{xx} + a u + b \int_0^t e^{-\beta(t-\tau)} u(x,\tau) d\tau = F(x,t,u)$ を定式化する。
• 時間に関するラプラス変換を適用し、偏微分方程式をラプラス領域における常微分方程式に変換し、$\hat{u}_{xx} - \frac{\sigma^2}{\varepsilon} \hat{u} = -\frac{1}{\varepsilon} [\hat{f}(x,s) + u_0(x)]$ を得る。ここで $\sigma^2 = s + a + \frac{b}{s+\beta}$ である。
• ベッセル関数および指数的減衰を含む積分表現を用いて、基本解 $K_0(x,t)$, $K_1(x,t)$, $K_2(x,t)$ を構成する。
• 有限区間におけるノイマン境界条件を扱うために、周期化されたカーネル $\theta_i(x,t) = \sum_{n=-\infty}^\infty K_i(x + 2nL, t)$ を定義する。
• 物理空間におけるグリーン関数 $G_i(x,\xi,t) = \theta_i(|x-\xi|,t) + \theta_i(x+\xi,t)$（$i=0,1,2$）を用いて、明示的解の公式を導出する。
• Banach空間 $\mathcal{B}_T$ における収縮写像を用いて、非線形Fitzhugh-Nagumo系の解の存在および一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 半線形積分微分方程式のノイマン初期境界値問題が、どのような条件下で一意な解をもつか。
• RQ2 記憶項および非線形源項が、超伝導および生物学的モデルにおける解の長期的挙動にどのように影響を与えるか。
• RQ3 線形源項の場合に、ラプラス変換および基本解を用いて明示的解を導出できるか。
• RQ4 ノイマン境界条件下での非線形Fitzhugh-Nagumo系の解に対して、事前推定はどのようなものか。
• RQ5 外部駆動がない場合、初期条件および境界フラックスは時間とともにどのように減衰するか。

主な発見

• 線形源項の場合、解はラプラス変換および周期化された基本解 $K_0, K_1, K_2$ を用いて明示的に構成される。
• 解作用素は $\mathcal{B}_T$ 上で収縮写像であるため、非線形Fitzhugh-Nagumo系の解の存在および一意性が保証される。
• $\psi_1 = \psi_2 = 0$ のとき、解は漸近的推定 $|u| \leq 2[\|u_0\|(1 + \pi\sqrt{b}t)e^{-\omega t} + \|v_0\|E(t) + \beta_0\|\varphi\|]$ を満たし、初期摂動の指数的減衰が示される。
• 非線形源項 $\varphi(u)$ の影響は、初期データが減衰しても、常に有限の範囲にとどまる。
• 超伝導モデルでは、パrameter関係 $a = \alpha - 1/\varepsilon$, $b = -a/\varepsilon$, $\beta = 1/\varepsilon$, および $F$ が $\sin u + \gamma$ の積分として定義される条件下で、方程式は (1.5) に簡略化される。
• カーネル $K_1$ および $K_2$ は、$\int_{\mathbb{R}} |K_1| d\xi \leq E(t)$ および $\int_{\mathbb{R}} |K_2(x-\xi,t)| d\xi \leq t E(t)$ を満たし、$E(t)$ は有界で $\beta_1 = (a\beta)^{-1}$ であるため、可積分性および安定性が保証される。