[논문 리뷰] Matrix Lyapunov inequalities for ordinary and elliptic partial differential equations

A. Cañada, Salvador Villegas|ArXiv.org|2009. 06. 05.

Nonlinear Differential Equations Analysis참고 문헌 18인용 수 3

한 줄 요약

이 논문은 모든 p ≥ 1에 대해 선형 상미분방정식 및 타원형 편미분방정식 시스템에 대해 노이만 경계 조건을 갖는 최적의 Lp 리아푸노프 유형 부등식을 수립한다. 최적의 리아푸노프 상수를 최소화 문제와 연결함으로써 고전적인 L∞ 결과를 일반적인 Lp 설정으로 확장하고, 샤우더 고정점 정리에 의해 ODE 및 PDE 맥락에서 공진 비선형 문제의 해가 존재하고 유일함을 증명한다.

ABSTRACT

This paper is devoted to the study of $L_p$ Lyapunov-type inequalities for linear systems of equations with Neumann boundary conditions and for any constant $p \geq 1$. We consider ordinary and elliptic problems. The results obtained in the linear case are combined with Schauder fixed point theorem to provide new results about the existence and uniqueness of solutions for resonant nonlinear problems. The proof uses in a fundamental way the nontrivial relation between the best Lyapunov constants and the minimum value of some especial minimization problems.

연구 동기 및 목표

• 모든 p ≥ 1에 대해 선형 상미분방정식 및 타원형 편미분방정식 시스템에 대해 노이만 경계 조건을 갖는 최적의 Lp 리아푸노프 유형 부등식을 유도하는 것.
• 고전적인 L∞ 리아푸노프 부등식을 p = 1 및 p = ∞ 포함한 전체 Lp 노름 범위로 일반화하는 것.
• 최적의 리아푸노프 상수와 특정 최소화 문제의 최소값 사이의 관계를 설정하는 것.
• 선형 결과를 샤우더의 고정점 정리에 의해 비선형 공진 문제에 적용하여 해의 존재성과 유일성을 보장하는 것.
• 이전의 L∞ 부등식 연구를 행렬 계수와 성분 간 혼합 Lpi 노름을 포함하는 더 넓은 범주로 확장하는 것.

제안 방법

• 대칭 행렬 A(x)를 갖는 시스템 u''(x) + A(x)u(x) = 0 과 노이만 조건 u'(0) = u'(L) = 0 에 대해 Lp 리아푸노프 부등식을 유도하는 것.
• A(x) ≤ B(x) 를 만족하는 대각 주요 성분 B(x) = diag(b11(x), ..., bnn(x)) 를 도입하고, 각 i에 대해 bii+(x)의 Lpi 노름을 근사하는 것.
• 고유값의 변분 특성과 최소화 문제를 이용하여 최적의 리아푸노프 상수를 bii+의 Lpi 노름과 연결하는 것.
• 노이만 경계 조건을 갖는 비선형 문제 Δu + Gu(x,u) = 0 에 샤우더의 고정점 정리를 적용하는 것.
• 계수 행렬 D(x,u) = ∫₀¹ Guu(x,θu)dθ 를 갖는 선형화된 문제의 해를 u에서 T(u)로 매핑하는 해의 연산자 T 를 구성하는 것.
• Sobolev 포함 W^{2,q}(Ω) ⊂ C(Ω) 와 Lpi(Ω) 내의 약한 수렴을 통해 해의 연산자 T 의 유계성과 컴팩턴스를 증명하는 것.

실험 결과

연구 질문

• RQ1 모든 p ≥ 1 에 대해 선형 상미분방정식 시스템에 대해 노이만 경계 조건을 갖는 최적의 Lp 리아푸노프 유형 부등식은 무엇인가요?
• RQ2 각 성분의 대각 행렬 성분의 양의 부분의 Lpi 노름을 포함하는 최소화 문제를 통해 최적의 리아푸노프 상수는 어떻게 특성화될 수 있나요?
• RQ3 Lp 리아푸노프 부등식을 사용하여 공진 비선형 상미분방정식 및 편미분방정식 시스템의 해의 존재성과 유일성을 확보할 수 있나요?
• RQ4 혼합 Lpi 노름(각 성분에 대해 서로 다른 pi)은 고전적인 L∞ 결과를 일반화하는 데 어떤 역할을 하나요?
• RQ5 헤시안 Guu(x,u) 에 어떤 조건이 성립할 경우 비선형 노이만 문제 Δu + Gu(x,u) = 0 는 유일한 해를 갖는가요?

주요 결과

• 각 i ∈ {1, ..., n} 에 대해 ‖bii+‖_{p_i} < β_{p_i} 이고, 모든 k ≠ 0 에 대해 ∫_Ω ⟨A(x)k, k⟩ dx > 0 이면, 노이만 조건을 갖는 선형 문제 u'' + A(x)u = 0 은 자명한 해 외에 다른 해를 갖지 않는다.
• 비판적 상수 β_{p_i} 는 최소화 문제로부터 유도되며, Lp_i 의미에서 최선의 가능한 경계를 나타낸다.
• 노이만 조건을 갖는 비선형 타원형 문제 Δu + Gu(x,u) = 0 에 대해, A(x) ≤ Guu(x,u) ≤ B(x) 이고 모든 i 에 대해 ‖bii+‖_{p_i} < β_{p_i} 이면, 유일한 해가 존재한다.
• 각 성분에 대해 다른 p_i ∈ (N/2, ∞] 를 允許함으로써 이전의 L∞ 결과를 더 넓은 범주로 일반화하여, 더 큰 융통성과 적용 가능성 확보.
• 해의 존재성 증명은 완전 연속적이고 유계인 해의 연산자에 샤우더의 고정점 정리를 적용함에 의해 이루어진다.
• 유일성은 임의의 두 해가 선형화된 문제를 만족시키며, 이 문제는 Lp 리아푸노프 부등식을 충족함을 보여, 차이가 0이 되게 한다.