[논문 리뷰] Evolution families and maximal regularity for systems of parabolic equations

Chiara Gallarati, Mark Veraar|arXiv (Cornell University)|2015. 10. 26.

Stability and Controllability of Differential Equations인용 수 15

한 줄 요약

이 논문은 시간에 따라 변화하는 가측성 있는 계수를 가진 포물형 PDE 시스템에 대해, 공간에서 연속이고 시간에 따라 가측적인 계수를 갖는 경우, 연산자 이론적 방법과 가중 $L^q$-공간 위의 진화족의 구성을 통해 최대 $L^p$-정규성을 확립한다. 주요 기여는 모든 $p,q\in(1,\infty)$에 대해 $A_p$-가중 조건 하에서 가중치의 $A_p$-특성에 대한 정확한 의존성과 함께 비자명한 시스템과 초기값 문제에 대한 최대 정규성 추정을 제공하는 것이다.

ABSTRACT

In this paper we prove maximal $L^p$-regularity for a system of parabolic PDEs, where the elliptic operator $A$ has coefficients which depend on time in a measurable way and are continuous in the space variable. The proof is based on operator-theoretic methods and one of the main ingredients in the proof is the construction of an evolution family on weighted $L^q$-spaces.

연구 동기 및 목표

• 시간에 따라 변화하는 계수를 갖는 포물형 PDE 시스템에 대해 최대 $L^p$-정규성을 확립하는 것. 이 계수들은 시간에 대해 가측적이며 공간에 대해 연속적이다.
• 행렬 계수로 인해 기호 공식이 명시적으로 제공되지 않는 문제를 해결하기 위해 [16]의 연산자 이론적 프레임워크를 방정정계로 확장하는 것.
• 푸리에 곱수 이론과 은밀한 함수 정리의 활용을 통해 $x$-독립 계수에 대해 가중 $L^q$-공간 위의 진화족 $S(t,s)$를 구성하는 것.
• 비초기값 문제와 초기값 문제 양쪽에 대해 최대 정규성 추정을 유도하며, 이는 가중치의 $A_p$-특성에 대한 정확한 의존성을 포함한다.
• 미래의 유계 도메인 및 비선형 문제에 대한 확장 기반을 마련하기 위해 시간에 대한 거듭제곱 가중치 공간을 활용하는 것.

제안 방법

• 저자들은 $\mathcal{R}$-유계성과 푸리에 곱수 이론에 기반한 연산자 이론적 방법을 사용하여 최대 정규성을 확립한다.
• 저자들은 $x$-독립 계수에 대해 연산자 기호가 미분방정식계의 해로 나타나는 방식으로 기호를 특성화함으로써 $A(t)$에 의해 생성되는 진화족 $S(t,s)$를 구성한다.
• 기호는 은밀한 함수 정리를 통해 추정되며, 이는 해의 유계성의 $\mathcal{R}$-유계성을 보장한다.
• 시간에 따라 변화하는 계수를 다루고, 관련된 푸리에 곱수 연산자의 유계성을 확보하기 위해 $A_p$-가중치를 사용한 가중 $L^q$-공간이 사용된다.
• 일반적인 $x$-의존 계수로의 결과 확장을 위해 국소화 기법과 추외 기법이 적용된다.
• 초기값 문제의 경우, $v(t,\cdot) = e^{-\lambda t}u(t,\cdot)$로 변환하여, 이동된 연산자 $\lambda + A(t)$를 갖는 최대 정규성 문제로 환원한다.

실험 결과

연구 질문

• RQ1 시간에 따라 변화하는 계수를 갖는 포물형 PDE 시스템에 대해, 시간에 대한 연속성 조건 없이도 최대 $L^p$-정규성이 확립될 수 있는가?
• RQ2 계수가 시간에 따라 변화하고 행렬값을 가지며 기호가 명시적으로 알려져 있지 않은 경우, 가중 $L^q$-공간 위의 진화족을 어떻게 구성할 수 있는가?
• RQ3 $A_p$-가중치가 이러한 시스템에 대한 최대 정규성 추정을 보장하는 데 어떤 역할을 하는가? 또한 $A_p$-특성은 추정의 상수에 어떻게 영향을 미치는가?
• RQ4 [16]의 연산자 이론적 방법을 다항계($N>1$)로 확장하고, 일반적인 $p,q\in(1,\infty)$에 대해 비발산형 방정식에 적용할 수 있는가?
• RQ5 시간에 대한 거듭제곱 가중치를 갖는 초기값 문제에 대해 최대 정규성 결과를 어떻게 적응시킬 수 있으며, 초기 데이터에 대응하는 추적 공간은 무엇인가?
• RQ6 key_findings

주요 결과

• 시간에 따라 변화하는 계수를 갖는 포물형 PDE 시스템에 대해, 모든 $p,q\in(1,\infty)$에 대해 레전드르-하다마르드 타원성 조건 하에서 최대 $L^p$-정규성이 성립한다.
• 푸리에 곱수 이론과 은밀한 함수 정리를 활용하여, $x$-독립 계수에 대해 가중 $L^q$-공간 위의 진화족 $S(t,s)$가 구성된다.
• 비초기값 문제에 대한 최대 정규성 추정은 $A_p$-$A_q$-일致적인 상수를 갖는다. 즉, 이 상수는 가중치의 $A_p$-특성에 대해 연속적으로 의존한다.
• 시간에 대한 거듭제곱 가중치 $v_\gamma(t) = t^\gamma$를 $(0,T)$에 적용한 초기값 문제에 대해, $W^{1,p}(0,T,v_\gamma;X_0)\cap L^p(0,T,v_\gamma;X_1)\cap C([0,T];B^s_{q,p}(\mathbb{R}^d,w))$ 공간에서 유일한 강한 해가 존재하며, 여기서 $s = 2m(1 - \frac{1+\gamma}{p})$ 이다. 이 해의 노름은 $L^p(0,T,v_\gamma;X_0)$에 속하는 데이터와 $B^s_{q,p}(\mathbb{R}^d,w)$에 속하는 초기 데이터에 의해 유계이다.
• 실수 보간 공간 $(X_0,X_1)_{1-\frac{1+\gamma}{p},p}$는 $B^s_{q,p}(\mathbb{R}^d,w)$로 식별되며, 이는 허용 가능한 초기 데이터 클래스를 특성화한다.
• 결과는 추외와 국소화에 대해 강건하여 일반적인 $x$-의존 계수로의 확장과 더 넓은 초기 데이터 클래스를 갖는 비선형 PDE에의 응용을 가능하게 한다.