[논문 리뷰] Non-Autonomous Maximal Regularity in Hilbert Spaces

Dominik Dier, Rico Zacher|arXiv (Cornell University)|2016. 01. 20.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 4

한 줄 요약

이 논문은 시간에 따라 변화하는 연산자 가족에 대한 분수 스펙트럴 정규성 조건을 사용하여 힐버트 공간 내 진화 방정식에 대한 비자기적 최대 정규성을 확립한다. 만약 연산자 가족이 어떤 $\delta>0$ 에 대해 동차 분수 스펙트럴 공간 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 에 속하면, 해는 $H$-최대 정규성을 확보하며 초기 조건 공간은 $D(A(0)^{1/2})$ 가 된다. 이는 이전의 호일더 연속성 또는 유계 변동 조건보다 크게 약화된 조건이다.

ABSTRACT

We consider non-autonomous evolutionary problems of the form $u'(t)+A(t)u(t)=f(t)$, $u(0)=u_0,$ on $L^2([0,T];H)$, where $H$ is a Hilbert space. We do not assume that the domain of the operator $A(t)$ is constant in time $t$, but that $A(t)$ is associated with a sesquilinear form $a(t)$. Under sufficient time regularity of the forms $a(t)$ we prove well-posedness with maximal regularity in $L^2([0,T];H)$. Our regularity assumption is significantly weaker than those from previous results inasmuch as we only require a fractional Sobolev regularity with arbitrary small Sobolev index.

연구 동기 및 목표

• 시간에 따라 변화하는 연산자 가족이 일정한 정의역을 가지지 않거나 매끄럽지 않을 때, 힐버트 공간 내 비자기적 진화 방정식에 대한 $H$-최대 정규성을 확립하는 것.
• 이전의 호일더 또는 유계 변동 조건을 초월하여 시간에 따라 변화하는 형식 $\mathfrak{a}(t)$ 에 대한 정규성 조건을 약화시키는 것.
• 임의로 작은 지수 $\delta>0$ 를 가진 분수 스펙트럴 정규성 조건이 $L^2(I;H)$ 내에서 최대 정규성을 확보하는 데 충분한지 보여주는 것.
• 이러한 정규성 조건 하에서 해의 추적 공간을 $D(A(0)^{1/2})$ 로 특성화하는 것. 이는 자동적 경우와 일치한다.

제안 방법

• 저자들은 힐버트 트리플 $V \hookrightarrow H \hookrightarrow V'$ 에서 시간에 따라 변화하는 이차형식 $\mathfrak{a}(t)$ 를 통해 비자기 문제를 모델링한다.
• 관련 연산자 가족 $A(t)$ 는 $\mathcal{A}(t)v = \mathfrak{a}(t,v,\cdot)$ 를 통해 정의되며, 정의역은 $D(A(t)) = \{v \in V : \mathcal{A}(t)v \in H\}$ 가 된다.
• 핵심적인 방법론적 혁신은 시간 정규성을 측정하기 위해 동질 분수 스펙트럴 공간 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 를 사용하는 것으로, $\delta > 0$ 에 대해 $\int_I \int_I \frac{\|\mathcal{A}(t)-\mathcal{A}(s)\|_{\mathcal{L}(V,V')}}{|t-s|^{2+2\delta}} \, dt \, ds < \infty$ 를 요구한다.
• 저자들은 $V'$ 내에서 최대 정규성 이론을 활용하고, 임bedding 및 추적 추론을 통해 $H$-정규성을 도출한다. 이는 분수 스펙트럴 포함성 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V')) \hookrightarrow C(I;\mathcal{L}(V,V'))$ 를 활용한다.
• 증명은 사전 추정과 쌍대성에 기반하며, 분수 미분의 특성화를 사용한다. 특히 $\alpha = 1/2 + \delta$ 에 대해 $\|\partial^\alpha u\|_{L^2_H}^2 \sim \int_{\mathbb{R}} \int_{\mathbb{R}} \frac{\|u(t)-u(s)\|^2_H}{|t-s|^{1+2\alpha}} \, dt \, ds$ 라는 노름 표현을 활용한다.

실험 결과

연구 질문

• RQ1 호일더 연속성 지수 $\alpha > 1/2$ 보다 엄밀히 약한 조건을 가진 $\mathcal{A}(\cdot)$ 에 대해 $H$-최대 정규성을 확립할 수 있는가?
• RQ2 지수 $1/2 + \delta$ 를 가진 분수 스펙트럴 정규성 조건이 비대칭 조건이 없이도 비자기적 경우에서 $H$-최대 정규성을 보장하는 데 충분한가?
• RQ3 시간에 따라 변화하는 $A(t)$ 가 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 에 속할 경우, 해의 최적 추적 공간은 무엇인가?
• RQ4 분수 스펙트럴 정규성 조건을 통해 호일더 조건($\alpha > 1/2$)과 유계 변동 조건 사이의 격차를 메울 수 있는가?

주요 결과

• 만약 $\mathcal{A}(\cdot) \in \mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 이고 어떤 $\delta > 0$ 이면, 비자기 문제 $u' + A(t)u = f$, $u(0) = 0$ 은 $L^2(I;H)$ 내에서 $H$-최대 정규성을 가진다.
• 해의 추적 공간은 $D(A(0)^{1/2})$ 로, 자동적 경우와 동일하며, 비자기적 시간 의존성 조건 하에서도 유지된다.
• 해 공간 $\text{MR}$ 은 $H^{1/2}(I;V)$ 에 연속적으로 포함되어 있어, $L^2(I;V)$ 보다 향상된 정규성을 나타낸다.
• 이 결과는 이전의 호일더 또는 유계 변동 조건 하에서의 결과를 일반화한다. 왜냐하면 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 는 $C^{1/2+\delta}(I;\mathcal{L}(V,V'))$ 를 엄밀히 포함하며, 또한 유계 변동 조건보다 엄밀히 약한 조건이기 때문이다.
• 이 방법은 비대칭 형식에도 적용 가능하여, 이전 연구에서 이러한 결과를 도출하기 위해 대칭 형식이 필요로 했던 문헌의 격차를 해결한다.
• 분수 스펙트럴 조건은 $C(I;\mathcal{L}(V,V'))$ 에 연속적 포함을 가능하게 하여, $\mathcal{A}(t)$ 의 점별 해석을 가능하게 한다.