[논문 리뷰] Convexity Properties of Discrete Schrödinger evolutions and Hardy's Uncertainty Principle

Aingeru Fernández-Bertolin|arXiv (Cornell University)|2015. 06. 11.

Mathematical Analysis and Transform Methods참고 문헌 14인용 수 3

한 줄 요약

이 논문은 다양한 이산 가우시안 감쇠 조건을 만족하는 두 시점에서 이산 슈뢰딩거 방정식의 해에 대해 로그-볼록성 성질을 수립한다. 자유 상태의 경우 복소해석학을, 잠재력이 존재하는 경우 섭동적 로그-볼록성 추론을 사용하여, 수정 베셀 함수를 포함하는 날카운 감쇠 임계값을 갖는 이산 하디의 불확실성 원리의 버전을 증명한다. 이는 두 시점에서 해가 너무 빨리 감쇠하면 반드시 식별적으로 0이 되어야 한다는 것을 보여준다.

ABSTRACT

In this paper we give log-convexity properties for solutions to discrete Schrödinger equations with different discrete versions of Gaussian decay at two different times. For free evolutions, we use complex analysis arguments to derive these properties, while in a perturbative setting we use a preliminar log-convexity result in order to get these properties. Then, by proving a Carleman inequality we conclude, in one of the cases under study, a discrete version of Hardy's Uncertainty Principle.

연구 동기 및 목표

• 로거-볼록성 기법을 사용하여 하디의 불확실성 원리를 이산 슈뢰딩거 설정으로 확장한다.
• 다양한 이산 가우시안 감쇠 조건 하에서 해의 로거-볼록성 성질을 분석한다. 이는 수정 베셀 함수와 지수 가중치를 포함한다.
• 섭동 설정에서 카를레만 부등식과 로거-볼록성을 결합하여 날카운 이산 불확실성 원리를 수립한다.
• 연속적이고 이산적 불확실성 원리 사이의 격차를 메우기 위해 올바른 이산 가우시안 감쇠의 해석을 규명한다.

제안 방법

• 자유 이산 슈뢰딩거 방정식에 대해 복소해석학과 푸리에 급수를 사용하여 로거-볼록성을 도출한다.
• 시간에 따라 변하는 유계 잠재력을 다루기 위해 선형 지수 가중치를 사용한 예비 로거-볼록성 결과를 적용한다.
• 절단 함수와 가중 에너지 추정을 도입하여 카를레만 부등식의 오차 항을 제어한다.
• 해를 국소화하기 위해 지수 가중치 $ e^{2\mu|j + Rt(1-t)e_1|^2} $를 사용한 가중 $ L^2 $ 노름의 시퀀스를 활용한다.
• 레마 4.1을 적용하여 가중 에너지를 잠재력과 절단 함수의 도함수로 bound한다.
• 반복적인 감쇠 추정과 $ R \to \infty $에서의 점근적 분석을 통해 해가 식별적으로 0이 되도록 유도한다.

실험 결과

연구 질문

• RQ1 두 시점에서 다양한 이산 가우시안 감쇠 조건을 만족할 경우, 이산 슈뢰딩거 방정식의 해에 대해 로거-볼록성 성질을 수립할 수 있는가?
• RQ2 수정 베셀 함수를 포함하는 날카운 감쇠 임계값을 갖는 이산 하디의 불확실성 원리가 성립하는가?
• RQ3 클래식한 복소해석학적 하디 원리 증명을 이산 설정으로 어떻게 일반화할 수 있는가?
• RQ4 수정 베셀 함수 $ I_j(\alpha) $는 이산 해의 날카운 감쇠 임계값을 특성화하는 데 어떤 역할을 하는가?
• RQ5 시간에 따라 변하는 유계 잠재력이 존재하는 섭동 케이스는 연속 케이스와 유사한 로거-볼록성 프레임워크로 다룰 수 있는가?

주요 결과

• 논문은 해가 $ |u_j(0)| \leq I_j(\alpha) $ 및 $ |u_j(1)| \leq I_j(\beta) $ 를 만족하고 $ \alpha + \beta < 2 $ 라면 $ u \equiv 0 $ 임을 증명하며, 이는 하디의 불확실성 원리의 이산적 형태를 수립한다.
• 자유 상태에서는 복소해석학과 푸리에 급수를 통해 로거-볼록성이 유도되며, 이는 주어진 감쇠 조건 하에서 해가 유계로 유지됨을 보장한다.
• 유계 시간에 따라 변하는 잠재력이 존재하는 섭동 설정에서는 예비 로거-볼록성 결과를 사용하여 동일한 감쇠 기반의 0이 되는 결과를 도출한다.
• 해의 성장 제어를 가능하게 하는 신중히 선택된 가중 함수 $ e^{2\mu|j + Rt(1-t)e_1|^2} $ 를 사용한 카를레만 부등식에 의존한다.
• $ R \to \infty $ 에서의 점근적 분석을 통해 $ \|u(0)\|_{\ell^2} \leq N_{\lambda,V,\epsilon}(e^{-C(\lambda,\epsilon)R^2} + e^{-\lambda\epsilon^2(1-\epsilon)^4R^2/16}) $ 를 도출하며, 이는 $ u \equiv 0 $ 임을 강제한다.
• 다차원 케이스에서의 날카운 감쇠 임계값은 일차원 결과를 일반화한 $ \prod_{k=1}^d I_{j_k}(\alpha) $ 를 포함할 것이라 추측된다.