[論文レビュー] Quenching behaviour of a nonlocal parabolic MEMS equation

Kin Ming Hui|arXiv (Cornell University)|Aug 9, 2009

Numerical methods in inverse problems参考文献 20被引用数 3

ひとこと要約

本稿は、グローバル静電容量効果によって駆動される特異非線形性を有する非局所放物型MEMS方程式のクエンチング挙動を分析する。最大原理の技法と径対称性の仮定を用いて、大きなλに対して有限時刻でのクエンチングを確立し、クエンチング集合がコンパクトであり、径対称性のもとで原点に縮退することを証明し、クエンチング時刻の鋭い上界を導出する。特に、β ∈ (2,3) に対して、1 - u(x,t) ≥ C|x|^{2/β} の形の推定式を得る。

ABSTRACT

We obtain upper bounds for the quenching time of the solutions of the nonlocal parabolic MEMS equation $u_t=Δu+\lam/(1-u)^2(1+χ\int_Ω1/(1-u) dx)^2$ in $Ω imes (0,\infty)$, $u=0$ on $\1Ω imes (0,\infty)$, $u(x,0)=u_0$ in $Ω$, when $λ$ is large. We prove the compactness of the quenching set under a mild condition on the initial data. When $Ω=B_R$ and $u_0$ is radially symmetric and monotone decreasing in $0\le r\le R$, we prove that the point $x=0$ is the only possible quenching set. When $u_0$ also satisfies some strict concavity assumption, we prove that for any $β\in (2,3)$ the solution satisfies $1-u(x,t)\ge C|x|^{\frac{2}β}$ for some constant $C>0$ and we also obtain the quenching time estimate in this case.

研究の動機と目的

• 非局所放物型MEMS方程式のクエンチング挙動を理解すること。
• 適用電圧パラメータλが大きい場合のクエンチング時刻の上界を確立すること。
• やや弱い初期データの条件下でクエンチング集合のコンパクト性を証明すること。
• 領域が球であり、初期データが径対称かつ単調減少である場合に、クエンチング集合が原点に限定されることを特定すること。
• 初期データに厳密な下曲率仮定を課したもとで、クエンチング時刻の推定および1 - u(x,t)の点ごとの下界を導出すること。

提案手法

• 球領域における径対称解の構造を分析するために、最大原理と比較論的議論を用いる。
• 方程式の特異性を解消するために、変換 v = (1 - u)^{-1} を適用する。
• 1 - u の原点近傍での増大を制御するため、w(r,t) = ε r^2 + w(0,t) の形の亜解を導入する。
• 関数 q = r^{n-1} w_r を導入し、q に関する放物型PDEを導出することで、径方向微分の挙動を分析する。
• 初期データに厳密な下曲率仮定を課すことで、r ∈ [0,R] に対して v(r,0) ≥ c_1 r^2 + c_2 が成り立つようにし、下位境界の構築を可能にする。
• 関数 ̃q = q - ε r^n を用いた摂動関数に最大原理を適用し、w_r ≥ ε r を示し、結果として 1 - u ≥ C|x|^{2/β} (β ∈ (2,3)) を得る。

実験結果

リサーチクエスチョン

• RQ1 大λに対して、非局所放物型MEMS方程式の解が有限時刻でクエンチングする条件は何か？
• RQ2 領域が球であり、初期データが径対称かつ単調減少である場合、クエンチング集合はどこにあるか？
• RQ3 初期データに厳密な下曲率を課したもとで、β ∈ (2,3) に対して 1 - u(x,t) ≥ C|x|^{2/β} の形の鋭い下界を確立できるか？
• RQ4 大λの下で、径対称な場合のクエンチング時刻にどのような上界が得られるか？
• RQ5 初期データにやや弱い正則性および有界性仮定を課したもとで、クエンチング集合はコンパクトか？

主な発見

• 任意の λ > λ_1 に対して、解は有限時刻 T < 1 でクエンチングし、T は δ_1、λ、R に依存する定数によって上から抑えられる。
• Ω = B_R であり、u_0 が径対称かつ単調減少であるとき、クエンチング集合はコンパクトであり、x = 0 が唯一のクエンチング点である。
• β ∈ (2,3) に対して、初期データ u_0 に厳密な下曲率仮定を課したもとで、ある C > 0 に対して Q_R^T 内で 1 - u(x,t) ≥ C|x|^{2/β} が成り立つ。
• クエンチング時刻 T は T ≤ 2/(λ δ_1) を満たす。ここで δ_1 は χ、R、n、β に依存する正の定数であり、δ_1 > [1 + χ |ω_{n-1}| (2/ε)^{1/β} (n - 2/β)^{-1} R^{n - 2/β}]^{-2} を満たす。
• 初期データにやや弱い条件 u_0 ≤ a < 1 a.e. in Ω および u_0 ∈ L^1(Ω) を課したもとで、クエンチング集合はコンパクトである。
• λ > λ_1 のすべての値に対して一様に成立し、すべての定数がクエンチング時刻 T に依存しないため、大λに対しても推定が安定である。