Counterexamples to maximal regularity for operators in divergence form

기술적 요약: 발산형 연산자에 대한 최대 정칙성(Maximal Regularity)의 반례

문제 정의
본 논문은 시간 의존적 계수를 갖는 발산형 형태의 포물형 편미분 방정식(PDE)에 관한 두 가지 근본적인 질문을 다룬다. 저자들은 다음과 같은 추상 코시 문제(CP)를 고려한다:
$$\begin{cases} u' - Au = f, & \text{on } (0, 1), \\ u(0) = 0, \end{cases}$$
여기서 $A(t)$는 힐베르트 공간 $V$에서 그 쌍대 공간 $V^*$로 사상하는 강가측성(strongly measurable) 계열의 연산자이며, 강한 타원성(coercivity) 및 유계성 조건을 만족한다. 구체적으로, 저자들은 $H = L^2(\mathbb{R}^d)$, $V = H^1(\mathbb{R}^d)$, 그리고 $A(t)v = -\text{div}(B(t)\nabla v)$ (단, $B$는 균등 타원 행렬장)인 구체적인 설정을 집중적으로 연구한다.

연구는 다음의 두 가지 특정 정칙성 문제를 조사한다:

1. 문제 1 (V에 대한 최대 $L^p$-정칙성): $p \in (1, \infty) \setminus \{2\}$일 때, $f \in L^p(0, 1; V^*)$라는 조건이 유일한 약해(weak solution) $u$가 $u \in L^p(0, 1; V)$임을 함의하는가?
2. 문제 2 ($H$에 대한 최대 $L^2$-정칙성): $f \in L^2(0, 1; H)$라는 조건이 해의 시간 미분 $u'$가 $u' \in L^2(0, 1; H)$임을 함의하는가?

리옹(Lions)의 이론은 강한 타원성만으로 $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ 내의 유일한 약해를 보장하며, 자율 연산자(autonomous operators)나 충분한 시간 정칙성(예: 연속성 또는 횔더 연속성)을 가진 연산자에 대해서는 양의 결과(positive results)가 존재한다. 그러나 추가적인 정칙성 가정 없이 일반적인 시간 의존적 계수에 대한 거동은 여전히 미해결 상태로 남아 있다. 디어(Dier)와 파클러(Fackler)의 이전 반례들은 추상적인 연산자였으며 미분 연산자가 아니었다. 본 논문은 실제 미분 연산자인 반례를 구축하는 것을 목표로 한다.

방법론
저자들의 접근 방식은 제2저자가 [19]에서 개발한 복소 계수를 갖는 선형, 균등 포물형 PDE의 특정한 해 구성법에 기초한다. 방법론은 다음과 같이 진행된다:

1. 스케일링 대칭성 구축 (Scaling Symmetry Construction): 저자들은 해 $\zeta(t, x)$와 계수 행렬 $B(t, x)$에 대한 자기 유사 앤사츠(self-similar ansatz)를 활용한다:
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   이는 포물형 PDE를 $\mathbb{R}^d$ 상의 프로파일 함수 $w$와 계수 장 $a$에 대한 타원형 PDE로 축소시킨다.

2. 특이 프로파일의 존재 (Existence of Singular Profiles): [19]를 인용하며, 저자들은 임의의 파라미터 $\mu \in [0, d/2)$에 대해, 매끄러운(원점 제외) 균등 타원 계수 $a$와 무한대에서의 특정 붕괴율($|x|^{-\mu}$)을 보이는 프로파일 함수 $w$가 존재하는 매끄러운 $a$와 $w$가 존재함을 언급한다. 결정적으로, $B$의 허수부는 대칭적으로 선택되어, 타원성 조건을 위반하지 않으면서 방정식의 실수부와 허수부 사이의 강력한 결합을 허용한다.

3. 국소화 및 반례 생성 (Localization and Counterexample Generation): 이러한 전역 해를 유계 시간 구간 $(0, 1)$과 특정 문제 설정에 적응시키기 위해, 저자들은 매끄러운 컷오프 함수 $\eta$를 도입한다. 이들은 새로운 해 후보 $u(t, x) = t \zeta(t, x) \eta(x)$를 정의하고 그에 대응하는 강제항(forcing term) $f$를 유도한다.

4. 정칙성 분석 (Regularity Analysis): 증명의 핵심은 $u$와 $f$의 적분 가능성을 추정하는 것이다. 파라미터 $\mu, r, s$를 정교하게 선택함으로써, 저자들은 $f$가 높은 정칙성(예: $f \in L^\infty(0, 1; L^2)$)을 가짐에도 불구하고, 해 $u$가 특정 혼합 노름 공간(mixed-norm spaces) $L^r(0, 1; L^s(\mathbb{R}^d))$에 속하지 못함을 입증한다.

5. 쌍대성 및 보간 (Duality and Interpolation):

   • 문제 1 ($p > 2$인 경우): $L^r(L^s)$ 적분 가능성의 결여는 소볼레프 임베딩(Sobolev embedding)을 통해 $L^p(0, 1; H^1)$ 정칙성의 실패를 직접적으로 함의한다.
   • 문제 1 ($p < 2$인 경우): 쌍대성 논증을 사용한다. $p$에 대해 최대 정칙성이 성립한다고 가정하면, 알려진 쌍대 지수 $p'$에 대한 실패와 모순이 발생한다.
   • 문제 2: 복소 보간(complex interpolation)과 소볼레프 임베딩 정리를 사용하여, 만약 $u$가 요구되는 시간 정칙성($H^\nu$)을 가졌다면 반드시 $L^r(L^s)$ 공간에 속했을 것이나, 이는 이미 거짓임이 증명되었다는 것을 보여준다.

주요 기여 및 결과

• 정리 2.4 (고차 적분 가능성의 실패): 차원 $d \ge 2$와 지수 $r, s \in (1, \infty)$가 $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$를 만족할 때, 타원 행렬 $B$와 $f \in L^\infty(0, 1; L^2)$인 강제항 $f$가 존재하여, 발산형 방정식의 유일한 해 $u$가 $L^r(0, 1; L^s)$에 속하지 않음을 보여준다.
• 정리 2.5 (문제 1에 대한 최대 $L^p$-정칙성의 실패): 모든 $p \in (1, \infty) \setminus \{2\}$에 대해, 발산형 형태의 타원 연산자와 $f \in L^p(0, 1; H^{-1})$인 강제항 $f$가 존재하여, 해 $u$가 $L^p(0, 1; H^1)$에 속하지 않음을 보여준다. 이는 $p$가 2 근처의 작은 구간에서 정칙성을 보장하는 정리 2.2의 결과가 최적(sharp)이며, 모든 $p$로 확장될 수 없음을 입증한다.
• 정리 2.7 (문제 2에 대한 최대 $L^2$-정칙성의 실패): 모든 $\nu \in (1/2, 1]$에 대해, 타원 연산자와 $f \in L^\infty(0, 1; L^2)$인 강제항 $f$가 존재하여, 해 $u$가 분수 소볼레프 공간 $H^\nu(0, 1; L^2)$에 속하지 않음을 보여준다. 이는 일반적인 발산형 타원 연산자에 대한 리옹의 문제에 대한 부정적인 답변을 제공하며, 해가 $L^2$ 내에서 심지어 $1/2$ 차수의 시간 정칙성조차 갖지 못할 수 있음을 보여준다.

의의 및 주장
본 논문은 추상 연산자가 아닌 명시적인 미분 연산자를 통한 반례를 제공함으로써, 일반적인 시간 의존적 발산형 연산자에 대해 최대 정칙성이 성립하는지에 대한 질문을 해결했다고 주장한다.

• 기존 이론의 최적성: 본 결과는 최대 $L^p$-정칙성이 성립하는 $p$의 작은 구간(정리 2.2)이 최적이며, 계수의 시간 정칙성에 대한 추가적인 가정 없이는 전체 범위 $(1, \infty)$로 확장될 수 없음을 확인시켜 준다.
• 발산형 구조의 한계: 카토 제곱근 문제(Kato square root problem)에서는 미분 구조가 긍정적인 결과를 제공했던 것과 달리, 본 연구는 계수가 시간 연속성을 갖지 않을 때 발산형 구조만으로는 최대 정칙성을 보장하기에 불충분함을 보여준다.
• 계수의 정칙성: 저자들은 자신들의 반례가 시간적으로 연속적이지 않은(구체적으로 $L^\infty$로의 사상으로서 연속적이지 않은) 계수 $B$에 의존한다는 점을 언급한다. 저자들은 문제 2에 대해 횘더 연속 계수(특히 $\nu=1$인 경우)에 대한 반례를 찾는 것이 여전히 열려 있고 흥미로운 문제임을 명시한다. 왜냐에는 약간 더 높은 정칙성(예: $C^{1/2+\epsilon}$)을 가진 계수에 대해서는 양의 결과가 존재하기 때문이다.

논문은 마지막으로 대칭/에르미트 연산자의 경우와 1차원 설정($d=1$)에서 거동이 다를 수 있다는 점을 언급하며 열린 질문들을 남긴 채 마무리된다.