[논문 리뷰] Time decay for the bounded mean oscillation of solutions of the Schrödinger and wave equations

Stephen Montgomery-Smith|ArXiv.org|1997. 04. 07.

Advanced Mathematical Physics Problems참고 문헌 6인용 수 31

한 줄 요약

이 논문은 3차원 파동 방정식 및 슈뢰딩거 방정식의 L2 초기 조건을 가진 해에 대해 BMO 노름의 시간 감쇠를 다루는 Strichartz 유형 부등식에 대한 추측을 반박하는 반례를 구축한다. 브라운 운동 기반의 무작위 방법을 사용하여 이중 추측 $(B^{*}_{3,H_{1},2})$가 성립하지 않음을 보이며, 이는 제안된 $(B_{3,{\rm BMO},2})$ 추정이 성립하지 않음을 의미한다. 따라서 Strichartz 부등식의 타당한 확장이 아니라는 결론을 이끌어낸다.

ABSTRACT

Let $u(x,t)$ be the solution of the Schrödinger or wave equation with $L_2$ initial data. We provide counterexamples to plausible conjectures involving the decay in $t$ of the $\BMO$ norm of $u(t,\cdot)$. The proofs make use of random methods, in particular, Brownian motion. (Since this paper was written, the unsolved problem remaining in this paper has been solved by Keel and Tao.)

연구 동기 및 목표

• 3차원 파동 방정식 및 슈뢰딩거 방정식의 해에 대해 BMO 노름의 시간 감쇠가 Strichartz 유형 부등식을 만족하는지 조사한다.
• 기존의 $ L^∞ $ 기반 Strichartz 추정의 약화된 형태인 $ (B_{3,{\rm BMO},2}) $ 가 파동 및 슈뢰딩거 방정식에 대해 성립한다는 추측을 검증한다.
• 시간에 따라 $ H_1 $-값을 가진 함수와의 적분을 포함하는 이중 추측 $ (B^{*}_{3,H_{1},2}) $ 가 파동 방정식에 대해 유효한지 확인한다.
• 브라운 운동을 기반으로 한 확률적 반례를 구성하여 추측된 BMO 추정이 부정됨을 입증한다.

제안 방법

• 더 확률적 구성에 더 적합한, $ (B_{3,{\rm BMO},2}) $ 와 $ (B^{*}_{3,H_{1},2}) $ 간의 이중성에 기반해 이중 추측에 초점을 맞춘다.
• 무작위 파동 프로파일 $ f_t(x) = \alpha_t g(x - p_t) $ 를 정의하며, 여기서 $ p_t = (t, b_t, b_t') $ 는 3차원 브라운 경로이고 $ \alpha_t \in L^2(\mathbb{R}) $ 이다.
• 해의 $ L^2 $-노름을 파동 전파자와 연관된 커널 $ K_{s-t}(x-y) $ 를 포함하는 적분으로 표현하기 위해 푸리에 변환을 적용한다.
• 브라운 운동의 증분의 특성 함수를 사용하여 기대값 $ \mathbb{E}[\exp(i(p_s - p_t) \cdot \zeta)] $ 를 계산하며, 이는 주파수 공간에서 가우시안 감쇠를 유도한다.
• 시간에 대한 결과 복합 연산자의 컨볼루션을 분석하기 위해, 주파수 공간에서 $ |\hat{g}(\zeta)|^2 / |\zeta|^2 $ 를 포함하는 적분으로 표현된 $ \hat{L}(\omega) $ 라는 푸리에 다중함수를 연구한다.
• 적분 $ \int_U k_1(0,\zeta) \, d\zeta $ 가 적절한 영역 $ U \subset \mathbb{R}^3 $ 에서 발산함을 보여 이중함수 $ \hat{L} $ 이 유계적이지 않음을 증명함으로써, 연산자가 $ L^2(\mathbb{R}) $ 에서 유계적이지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 3차원 파동 방정식의 $ L^2 $ 초기 조건을 가진 해 $ u(t,\cdot) $ 가 $ \|u(t,\cdot)\|_{{\rm BMO}} \in L^2_t $ 를 만족하는가?
• RQ2 $ \left\| \int_{\mathbb{R}} B_t f_t \, dt \right\|_2 \leq c \left( \int_{\mathbb{R}} \|f_t\|_{{H_1}}^2 \, dt \right)^{1/2} $ 이 모든 $ f_t \in L^2_t(H_1) $ 에 대해 성립하는가?
• RQ3 브라운 운동을 이용한 확률적 구성이 $ (B_{3,{\rm BMO},2}) $ 추측에 대한 반례를 생성할 수 있는가?
• RQ4 무작위 파동 커널과 관련된 푸리에 다중함수는 $ L^2(\mathbb{R}) $ 에서 유계적이지 않은가?
• RQ5 $ \int_U k_1(0,\zeta) \, d\zeta $ 가 적절한 집합 $ U \subset \mathbb{R}^3 $ 에서 발산하는가?

주요 결과

• 이중 추정 $ (B^{*}_{3,H_{1},2}) $ 는 잘못되었으며, 이에 대응하는 커널 $ L $ 을 가진 복합 연산자가 $ L^2(\mathbb{R}) $ 에서 유계적이지 않기 때문이다.
• $ (B^{*}_{3,H_{1},2}) $ 의 실패는 3차원 파동 방정식의 해에 대해 추측된 $ (B_{3,{\rm BMO},2}) $ 추정이 성립하지 않음을 의미한다.
• 무작위 프로파일 $ f_t(x) = \alpha_t g(x - p_t) $ 를 통해 계산된 해의 $ L^2 $-노름 기대값은 모든 $ \alpha_t \in L^2(\mathbb{R}) $ 에 대해 무한대가 되며, 이는 부등식이 성립할 수 없음을 보여준다.
• $ U = \{ \zeta : \sqrt{\zeta_2^2 + \zeta_3^2} \leq \zeta_1 \leq 1 \} $ 일 때 적분 $ \int_U k_1(0,\zeta) \, d\zeta $ 가 발산함을 보여, 다중함수의 무한대성 입증에 충분하다.
• $ x_1 \in [-1,1] $ 에서 부호가 교차하는 방식으로 정의된 상자 함수 $ g(x) $ 는 $ [-1,1]^3 \times [-1,1] $ 에서 정의되며, $ U $ 에서 $ |\hat{g}(\zeta)|^2 / |\zeta|^2 $ 가 아래에서 유계임을 보여, 발산이 상쇄 효과 때문이 아니라는 것을 보장한다.
• 발산은 원통좌표계에서 $ r \to 0 $ 에서 커널의 특이성 때문이며, integrand 가 $ 1/r $ 과 유사하게 행동하여 반경 적분에서 로그 발산을 일으킨다.