Improved polynomial decay for unbounded semigroups

기술적 요약: 비유계 반군을 위한 개선된 다항 감쇠

문제 제기
본 논문은 바나흐 공간 $X$ 위의 추상적 코시 문제 $\dot{u}(t) = Au(t)$의 해의 점근적 거동을 조사하며, 여기서 $A$는 $C_0$-반군 $(T(t))_{t \geq 0}$를 생성한다. 본 연구는 반군이 균일하게 유계가 아닌 경우 (즉, $\|T(t)\|$가 지수적으로 증가할 수 있음) 와 resolvent 연산자 $R(\lambda, A) = (\lambda - A)^{-1}$가 오른쪽 반평면 $\mathbb{C}_+$에서 균일하게 유계가 아닌 경우에 초점을 맞춘다. 구체적으로, 저자들은 resolvent 가 무한대에서 다항식 성장을 보인다고 가정한다:
$$\|R(\lambda, A)\|_{\mathcal{L}(X)} \leq C(1 + |\lambda|)^\beta \quad (\lambda \in \mathbb{C}_+),$$
여기서 $\beta > 0$이다. 목표는 충분히 매끄러운 초기 데이터 $x$에 대해 반군 궤적 $\|T(t)x\|_X$의 다항 감쇠율을 유도하는 것이며, 이는 감쇠율을 resolvent 성장률 $\beta$와 바나흐 공간 $X$의 기하학적 성질과 연관 짓는 것이다.

방법론
저자들은 균일하게 유계인 반군에 대해 이전에 개발된 기법을 확장하여, 허수축 위의 resolvent 에 적용되는 푸리에 승수 (Fourier multiplier) 접근법을 사용한다. 이 방법론은 이전 연구 (예: [31, 32]) 와 두 가지 주요 방식으로 다르다:

1. 베소프 공간 승수: 첫 번째 주요 결과에 대해, 저자들은 베소프 공간 $B^s_{p,p}(\mathbb{R}; Y)$와 르베그 공간 $L^{p'}(\mathbb{R}; X)$ 사이의 푸리에 승수 이론을 활용한다. 이를 통해 이전에 접근할 수 없었던 끝점 (endpoint) 추정을 얻을 수 있다. 그들은 베소프 공간과 실수 보간 공간 사이의 연결을 활용하여 resolvent 의 성장을 상쇄한다.
2. 가중 공간 승수: 두 번째 주요 결과 (특히 $\rho=0$인 경우) 에 대해, 저자들은 가중 르베그 공간 $L^p(\mathbb{R}, w; Y)$와 $L^q(\mathbb{R}, v; X)$ 사이의 푸리에 승수를 고려한다. 이 접근법은 분수 영역 $D((-\!A)^\tau)$와 관련된 결과를 용이하게 하지만, 이러한 가중 공간 사이의 푸리에 변환의 매핑 성질에 관한 사전 가정 (특히 Hardy–Littlewood 형/형상 조건) 을 요구한다.

주요 기술적 도구에는 다음이 포함된다:

• 실수 보간: 초기 데이터를 특징짓기 위해 공간 $D_A(\tau, q) := (X, D(A^m))_{\tau/m, q}$를 사용함.
• 푸리에 형: $X$가 푸리에 형 $p \in [1, 2]$를 가진다는 성질 (푸리에 변환의 $L^p$에서 $L^{p'}$로의 유계성) 을 활용함.
• Hardy–Littlewood 형/형상: 특정 기하학적 사례를 처리하기 위해 가중 푸리에 변환 경계를 사용함.

주요 기여 및 결과

1. 주요 정리 (Theorem 1.1 / Theorem 3.3):
푸리에 형 $p \in [1, 2]$를 갖는 바나흐 공간 $X$와 다항식 resolvent 경계 지수 $\beta$를 만족하는 생성자 $A$에 대해, 저자들은 실수 보간 공간 $D_A(\tau, p)$에 있는 초기 데이터에 대해 다음 감쇠율을 확립한다:
$$\|T(t)x\|_X \leq C_\rho t^{-\rho} \|x\|_{D_A(\tau, p)}$$
여기서 필요한 매끄러움 지수는 다음과 같다:
$$\tau = (\rho + 1)\beta + \frac{1}{p} - \frac{1}{p'}.$$

• [32] 대비 개선: $\rho > 0$이고 $p \in [1, 2)$인 경우, 이 결과는 이전 추정치 (예: [32, Eq. 1.5]) 에 존재했던 로그 손실 ($\log(t)^\sigma$) 을 제거하여 날카로운 끝점 지수를 달성한다.
• 일반화: 이 결과는 일반적인 바나흐 공간 (모든 공간이 푸리에 형 $p=1$을 가지므로) 에 대해 성립하며, $p \in (1, 2]$에 대한 이전 결과들을 개선한다.
• $\rho=0$으로의 확장: 이 정리는 보간 공간 설정에서 $\rho=0$에 대한 끝점 결과를 제공한다.

2. 분수 영역 결과 (Theorem 1.1 / Theorem 4.2):
추가적인 기하학적 가정 (구체적으로, $X$가 $p > 1$인 Hardy–Littlewood 형 $p$ 또는 Hardy–Littlewood 형상 $p'$을 가진다면) 하에, 감쇠 추정은 보간 공간이 아닌 분수 영역 $D((-\!A)^\tau)$에 있는 초기 데이터에 대해 성립한다:
$$\|T(t)x\|_X \leq C_\rho t^{-\rho} \|x\|_{D((-\!A)^\tau)}.$$

• $\rho = 0$인 경우, 이는 지수 $\tau = \beta + \frac{1}{p} - \frac{1}{p'}$를 사용하여 고전적 결과 (1.4) 를 비유계 반군 경우로 완전히 확장한다.
• $\rho > 0$인 경우, 이 결과는 $D((-\!A)^\tau) \subseteq D_A(\tau, \infty)$이므로 보간 공간 결과와 일관된다.

의의 및 주장
본 논문은 다음과 같은 방식으로 기존 문헌을 개선한다고 주장한다:

• 로그 손실 제거: 푸리에 형 $p \in [1, 2)$를 갖는 비힐베르트 바나흐 공간에서 비유계 반군에 대한 감쇠 추정치에서 로그 인자를 제거한다. 이는 이전 연구 [31, 32] 가 남긴 공백이다.
• 비유계 반군 처리: 반군이 균일하게 유계일 필요가 없는 통일된 프레임워크를 제공하여, 부호 변화 감쇠를 갖는 감쇠 파동 방정식, 비유계 퍼텐셜을 갖는 슈뢰딩거 연산자, 그리고 지연 미분 방정식에서 발생하는 경우들을 다룬다.
• 날카로움: 저자들은 $p=2$이고 $\rho=0$인 경우, 그리고 일반적인 $p$에 대해 $\beta \to 0$일 때 지수 $\tau$가 날카롭다고 지적하며, 이는 알려진 반례 (예: Arendt 의 예) 의 수정을 기반으로 한다.

저자들은 명시적으로, 푸리에 형 $p \in [1, 2)$를 갖는 일반적인 바나흐 공간과 $\rho=0$에 대해, $D_A(\tau, p)$를 분수 영역 $D((-\!A)^\tau)$로 대체했을 때 감쇠가 성립하는지 여부는 여전히 열린 문제라고 밝힌다. 이 결과들은 균일 유계성이 부재한 상태에서의 다항 안정성에 관한 최첨단 (state-of-the-art) 개선으로 제시된다.