[논문 리뷰] Lions' maximal regularity problem with H 1/ 2 -regularity in time

Mahdi Achache, El Maati Ouhabaz|arXiv (Cornell University)|2017. 09. 13.

Advanced Mathematical Physics Problems참고 문헌 16인용 수 5

한 줄 요약

이 논문은 힐버트 공간 $ \mathcal{H} $에서 비자기 비선형 진화방정식에 대한 J.L. Lions의 최대 정규성 문제를 해결하며, $ L^2 $-최대 정규성에 대한 최적 조건으로 시간에 대한 $ H^{1/2} $-정규성임을 규명한다. 저자들은 시간에 따라 변하는 이차형식이 조각별로 $ H^{1/2} $-정규성임을 가정할 경우, 초기값문제가 $ H^1(0,\tau;\mathcal{H}) \cap L^2(0,\tau;\mathcal{V}) $ 내에 고유한 해를 가짐을 증명하며, 최소한의 가정 하에 최신 기술을 확장한다.

ABSTRACT

We consider the problem of maximal regularity for non-autonomous Cauchy problems u ' (t) + A(t) u(t) = f (t), t $\\in$ (0, $\ au$ ] u(0) = u 0. The time dependent operators A(t) are associated with (time dependent) sesquilinear forms on a Hilbert space H. We are interested in J.L. Lions's problem concerning maximal regularity of such equations. We give a positive answer to this problem under minimal regularity assumptions on the forms. Our main assumption is that the forms are piecewise H 1 2 with respect to the variable t. This regularity assumption is optimal and our results are the most general ones on this problem.

연구 동기 및 목표

• 비자기 비선형 진화방정식에 대한 J.L. Lions의 열린 문제인 힐버트 공간 $ \mathcal{H} $에서의 최대 정규성 문제를 해결하는 것.
• 시간에 따라 변하는 이차형식에 대한 최소 정규성 조건을 규명하여 $ \mathcal{H} $에서 $ L^2 $-최대 정규성을 보장하는 것.
• 시간에 대한 $ H^{1/2} $-정규성이 최적임을 입증하여 이론에서 오랫동안 존재하던 격차를 메우는 것.
• 타원형 연산자에 대해 시간에 따라 변하는 계수와 경계 조건(로빈형 및 고차항 포함)으로 최대 정규성 결과를 확장하는 것.

제안 방법

• 저자들은 힐버트 공간 $ \mathcal{H} $에서 밀도 있는 정의역 $ \mathcal{V} \hookrightarrow \mathcal{H} \hookrightarrow \mathcal{V}' $를 갖는 시간에 따라 변하는 이차형식 $ \mathfrak{a}(t; \cdot, \cdot) $를 통해 비자기 초기값 문제를 분석한다.
• 표준 가정을 도입한다: 일정한 형식 정의역 (H1), 균일한 유계성 (H2), 균일한 준강한 강성 (H3).
• 핵심 혁신은 이차형식이 시간에 대해 조각별로 $ H^{1/2} $-정규성임을 가정하는 것으로, 즉 모든 $ u,v \in \mathcal{V} $에 대해 $ t \mapsto \mathfrak{a}(t; u, v) \in H^{1/2}(0,\tau) $임을 가정한다.
• 분수 슈바르츠 공간과 쌍대성 추론을 기반으로 한 새로운 최대 정규성 프레임워크를 적용하여 $ H^1(0,\tau;\mathcal{H}) \cap L^2(0,\tau;\mathcal{V}) $ 내의 사전 추정치를 도출한다.
• 결과는 발산형 타원형 연산자와 로빈형 경계 조건에 적용되어 계수에 대한 $ H^{1/2} $-정규성 조건을 검증한다.
• 증명은 보간 이론, 경계값 정리, 균일한 케이토 제곱근 성질을 활용하여 관련 연산자의 정규성을 제어한다.

실험 결과

연구 질문

• RQ1 시간에 대한 $ H^{1/2} $-정규성이 비자기 비선형 진화방정식에서 $ \mathcal{H} $에서의 $ L^2 $-최대 정규성에 대해 가능한 최소 조건인가?
• RQ2 이차형식에 대해 $ C^1 $, $ C^\alpha $, 또는 유계 변동성 정규성 조건을 가정하지 않고도 $ \mathcal{H} $에서 최대 정규성이 달성될 수 있는가?
• RQ3 시간에 따라 변하는 계수를 갖는 타원형 연산자에 대해 로빈형 또는 딜레르트 경계 조건이 적용될 경우 $ H^{1/2} $-정규성 조건이 최대 정규성에 충분한가?
• RQ4 $ H^{1/2} $-정규성 가정이 최적인지, 더 약화시킬 수 있는가?
• RQ5 $ H^{1/2} $-정규성 조건이 $ W^{1/2,p} $ 또는 $ C^{\alpha} $와 같은 다른 알려진 정규성 조건과 비교할 때 강도와 적용 가능성 측면에서 어떻게 다른가?

주요 결과

• 논문은 시간에 대한 $ H^{1/2} $-정규성이 $ \mathcal{H} $에서 $ L^2 $-최대 정규성에 대해 최적의 정규성 조건임을 입증하며, J.L. Lions가 제기한 오랫동안 열려있던 문제를 해결한다.
• 모든 $ f \in L^2(0,\tau;\mathcal{H}) $ 및 $ u_0 \in \mathcal{H} $에 대해, 유일한 해 $ u \in H^1(0,\tau;\mathcal{H}) \cap L^2(0,\tau;\mathcal{V}) $가 비자기 초기값 문제를 만족함을 보인다.
• 이 결과는 최소한의 가정 하에 성립한다: 일정한 형식 정의역, 균일한 유계성, 균일한 준강성 강성 조건이며, 유일한 추가 조건은 이차형식의 시간에 대한 $ H^{1/2} $-정규성이다.
• 저자들은 계수들이 BMO-$ H^{1/2} $ 조건을 만족할 경우 $ \mathbb{R}^n $에서 발산형 타원형 연산자에 대해 최대 $ L^2 $-정규성을 입증하며, 이는 이전 결과를 복원하고 확장한다.
• 로빈형 경계 조건의 경우, 경계 계수 $ \beta(t,\cdot) $가 어떤 $ \alpha > 1/4 $에 대해 $ \|\beta(t,\cdot) - \beta(s,\cdot)\|_{L^\infty(\partial\Omega)} \leq c|t-s|^\alpha $를 만족할 경우 최대 정규성이 성립하며, 이는 이차형식의 $ H^{1/2} $-정규성을 암시한다.
• 이 방법은 계수 $ b_k(t,x) $ 및 $ m(t,x) $가 시간에 대해 뿐만 아니라 측도적임에도 불구하고 어떤 정규성 조건 없이도 하향항을 포함한 연산자에도 적용 가능하여, $ H^{1/2} $-프레임워크의 강건성을 보여준다.