[논문 리뷰] Quenching behaviour of a nonlocal parabolic MEMS equation

Kin Ming Hui|arXiv (Cornell University)|2009. 08. 09.

Numerical methods in inverse problems참고 문헌 20인용 수 3

한 줄 요약

이 논문은 전역 커패시턴스 효과에 의해 구동되는 비국소 파라보릭 MEMS 방정식의 비선형성에 의한 끄는 행동을 분석한다. 최대 원리 기법과 반경 대칭성 가정을 사용하여 큰 λ에 대해 유한 시간 내에 끄는 현상을 입증하고, 끄는 집합이 컴act임을 보이며, 반경 대칭 조건 하에서 원점으로 수렴함을 증명하고, 끄는 시간에 대한 날카운 상한을 유도한다. 이는 β ∈ (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를 유도하여 반경 방향 도함수의 행동을 분석한다.
• 초기 자료에 엄격한 오목성 가정을 두어 v(r,0) ≥ c_1 r^2 + c_2 (r ∈ [0,R])를 확보함으로써 하향 장벽의 구축을 가능하게 한다.
• 편미분 함수 ˜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)일 때, 초기 자료에 엄격한 오목성 가정 하에서 Q_R^T 내에서 1 - u(x,t) ≥ C|x|^{2/β} (C > 0)를 만족한다.
• 끄는 시간 T는 T ≤ 2/(λ δ_1)를 만족하며, δ_1는 χ, R, n, β에 의존하는 양수 상수이며, δ_1 > [1 + χ |ω_{n-1}| (2/ε)^{1/β} (n - 2/β)^{-1} R^{n - 2/β}]^{-2} 를 만족한다.
• 초기 자료에 대해 u_0 ≤ a < 1 거의 모든 점에서 Ω에 대해, 그리고 u_0 ∈ L^1(Ω)를 만족할 경우 끄는 집합은 컴팩트하다.
• 결과는 λ > λ_1에 대해 균일하게 성립하며, 모든 상수는 끄는 시간 T에 독립적이므로 λ가 클 경우 추정치가 강건함을 보장한다.