[논문 리뷰] Algebra properties for Sobolev spaces- Applications to semilinear PDE's on manifolds

Nadine Badr, Frédéric Bernicot외 1명|HAL (Le Centre pour la Communication Scientifique Directe)|2011. 07. 19.

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

한 줄 요약

이 논문은 열핵의 점별 가우시안 유계 조건을 요구하지 않고, 비대칭 감쇠 추정과 리프스 변환의 $L^p$ 유계성을 이용하여 리만 다양체 위의 일반화된 소볼레프 공간 $W^{s,p} \cap L^\infty$에 대한 대수적 성질을 수립한다. 두 가지 새로운 접근법—파라프로덕트와 함수해석학적 계산—을 도입하여, 슈뢰딩거 방정식과 열 방정식을 포함한 비선형 편미분방정식의 잘 정의됨을 증명한다. 이는 다각의 기하학적 가정을 최소화한 상태에서 이루어진다.

ABSTRACT

In this work, we aim to prove algebra properties for generalized Sobolev spaces $W^{s,p} \cap L^\infty$ on a Riemannian manifold, where $W^{s,p}$ is of Bessel-type $W^{s,p}:=(1+L)^{-s/m}(L^p)$ with an operator $L$ generating a heat semigroup satisfying off-diagonal decays. We don't require any assumption on the gradient of the semigroup. To do that, we propose two different approaches (one by a new kind of paraproducts and another one using functionals). We also give a chain rule and study the action of nonlinearities on these spaces and give applications to semi-linear PDEs. These results are new on Riemannian manifolds (with a non bounded geometry) and even in the Euclidean space for Sobolev spaces associated to second order uniformly elliptic operators in divergence form.

연구 동기 및 목표

• 약한 기하학적 가정 하에 리만 다각의 다양체 위에서 $W^{s,p} \cap L^\infty$ 소볼레프 공간에 대한 대수적 성질을 수립하기 위해.
• 비대칭 감쇠를 갖는 연산자와 관련된 일반화된 소볼레프 공간에 적합한 새로운 분석 도구—파라프로덕트와 함수해석학적 계산—을 개발하기 위해.
• 이러한 일반화된 소볼레프 공간으로의 체인 룰과 비선형 사상 성질을 확장하여, 특히 부분리만 기하학적 및 비유한 영역 설정에서 적용하기 위해.
• 지역 리프시츠 연속성 조건을 이용해 비선형성을 제어함으로써, 두 번째 원리인 두하멜의 원리를 사용하여 비선형 편미분방정식(Schr"odinger 및 열 방정식)의 국소 잘 정의됨을 증명하기 위해.

제안 방법

• 비대칭 감쇠를 갖는 연산자에 적합한 새로운 유형의 파라프로덕트를 도입하여, 소볼레프 공간 내에서 점별 곱의 분해를 가능하게 한다.
• 함수해석학적 계산을 이용해 소볼레프 노름을 제곱 함수 $S^\rho_\alpha f$를 통해 특성화하고, 이를 스펙트럼 다중연산자 $L^\beta f$와 연결한다.
• 리프스 변환이 $p$가 2에 가까운 범위에서 $L^p$에 대해 유계임을 핵심 가정으로 삼아, 점별 커널 추정을 대체한다.
• 반세미군 $e^{-tL}$에 대한 비대칭 감쇠 추정을 적용하여 기울기 유계 조건 없이도 비선형성의 정규성을 제어한다.
• 두하멜의 반복 추론 기법을 사용하여, 비선형성의 국소 리프시츠 연속성에 기반해 $C^0_I(W^{\alpha,p}_L \cap L^\infty)$ 내에서 비선형 편미분방정식의 해를 구성한다.
• 비선형성 $F$가 입력의 $L^\infty$-노름에 따라 결정되는 유계 조건 하에 $W^{\alpha,p}_L \cap L^\infty$ 공간에 값을 갖는다.

실험 결과

연구 질문

• RQ1 열핵의 점별 가우시안 유계 조건을 가정하지 않고도, 리만 다각의 다양체 위에서 $W^{s,p} \cap L^\infty$에 대한 대수적 성질를 확장할 수 있는가?
• RQ2 비대칭 감쇠를 갖는 연산자에 대해 정의된 일반화된 소볼레프 공간에 대해 파라프로덕트 기법을 적응시킬 수 있는가?
• RQ3 연산자 $L$과 다각의 기하학적 성질이 어떤 조건을 만족할 경우, 스무스하고 국소 리프시츠 조건을 갖는 $F$에 대해 $f \in W^{\alpha,p}_L \cap L^\infty$ 이면 $F(f) \in W^{\alpha,p}_L \cap L^\infty$ 가 성립하는가?
• RQ4 어떤 기하학적 가정 하에 비선형 슈뢰딩거 및 열 방정식이 $W^{\alpha,p}_L \cap L^\infty$ 공간 내에서 잘 정의됨을 확보할 수 있는가?

주요 결과

• 비대칭 감쇠 및 $L^p$-유계 리프스 변환 조건 하에 $\alpha > 0$, $p \in (s_-, s_+)$ 이면, 공간 $W^{\alpha,p}_L \cap L^\infty$ 는 점별 곱셈에 대해 대수를 이룬다.
• 파라프로덕트 접근법을 통해 $fg$의 분해가 가능하며, 이들 성분의 $W^{\alpha,p}_L$ 노름은 각각 $\|f\|_{W^{\alpha,p}_L \cap L^\infty}$ 와 $\|g\|_{W^{\alpha,p}_L \cap L^\infty}$ 에 의해 제어된다.
• 함수해석학적 계산 접근법을 통해 $\|L^\beta f\|_{L^p}$ 는 제곱 함수 $\|S^\rho_\alpha f\|_{L^p}$ 를 통해 특성화되며, 이는 일반화된 소볼레프 설정에서 새로운 노름 동치 관계를 제공한다.
• $\alpha \in (0,1)$ 이면, 비선형성 $F$ 는 $W^{\alpha,2}_L \cap L^\infty$ 에서 국소 리프시츠 연속이며, $\|F(u) - F(v)\|_{W^{\alpha,2}_L} \lesssim_R \|u - v\|_{W^{\alpha,2}_L \cap L^\infty}$ 를 만족한다.
• 작은 시간 간격 $I$ 에 대해, 슈뢰딩거 방정식 $iu_t + Lu = F(u)$ 는 $C^0_I(W^{\alpha,2}_L \cap L^\infty)$ 내에서 잘 정의됨이 보장되며, 이는 $\alpha > 0$ 이고 $\alpha > d/2$ 를 만족할 때 성립한다.
• 부분리만 기하학적 구조에서는 제약 조건 $\alpha \in (0,1)$ 을 제거할 수 있으며, 이로 인해 $\alpha > 0$ 이면 동일한 잘 정의됨 결과를 얻을 수 있다.