[논문 리뷰] Wildly perturbed manifolds: norm resolvent and spectral convergence

Colette Anné, Olaf Post|arXiv (Cornell University)|2018. 02. 04.

Advanced Mathematical Modeling in Engineering인용 수 25

한 줄 요약

이 논문은 점점 더 많은 작은 구멍을 가진 리만다이니언 다양체 위의 라플라스-베르트라미 연산자에 대해 일반화된 수렴 프레임워크를 사용하여 노름 리졸베ント 수렴을 확립한다. 다양체의 기하학적 조건 하에서, 뉴먼 라플라시안은 원래의 라플라시안으로 수렴하고, 딜리클레 라플라시안은 조밀하게 배열된 구멍이 형성하는 '고체' 영역의 여부에 따라 그 보완 위의 딜리클레 라플라시안으로 수렴한다. 이는 구멍의 반지름과 간격에 따라 명시적인 오차 추정치를 제공한다.

ABSTRACT

Since the publication of the important work of Rauch and Taylor (Potential and scattering theory on wildly perturbed domains, JFA, 1975) a lot has been done to analyse wild perturbations of the Laplace operator. Here we present results concerning the norm convergence of the resolvent. We consider a (not necessarily compact) manifold with many small balls removed, the number of balls can increase as the radius is shrinking, the number of balls can also be infinite. If the distance of the balls shrinks less fast than the radius, then we show that the Neumann Laplacian converges to the unperturbed Laplacian, i.e., the obstacles vanish. In the Dirichlet case, we have two cases: if the balls are too sparse, the limit operator is again the unperturbed one, while if the balls concentrate at a certain region (they become "solid" in a region), the limit operator is the Dirichlet Laplacian on the complement outside the solid region. Our work is based on a norm convergence result for operators acting in varying Hilbert spaces developed by the second author.

연구 동기 및 목표

• 작은 구멍이 점점 많아지는 다양체 위의 라플라스-베르트라미 연산자의 스펙트럼 및 리졸베ント 수렴을 분석하는 것.
• 공통 도메인에 임베딩되거나 컴팩트성 조건이 없더라도, 변하는 힐버트 공간 위에서 작용하는 연산자로 고전적인 리졸베ント 수렴 이론을 확장하는 것.
• 다른 구멍 구성 조건(점점 사라지는 경우 vs. 고체화되는 경우) 하에서 뉴먼 및 딜리클레 라플라시안의 극한 행동을 특성화하는 것.
• 구멍의 반지름, 간격, 그리고 조화 반지름과 튜브형 이웃 영역 크기와 같은 기하학적 매개변수에 따라 명시적인 오차 추정치를 제공하는 것.

제안 방법

• 변하는 L² 공간 간의 식별 연산자 J와 J′를 통한 일반화된 노름 리졸베ント 수렴의 사용으로, 점점 수렴하는 유니타리성과 리졸베ント의 상호 연결성을 확보한다.
• 포스트(2012)의 추상적 수렴 이론을 적용하여 스펙트럼 수렴과 함수 해석학적 계산 수렴을 확립한다.
• 에너지 형태 간의 δε-준유니타리 동치를 도입하여, 편향된 연산자와 원래 연산자 간의 거리를 정량화한다.
• 유계 기하학을 가진 다양체 위에서의 소볼레프 포함 및 타원형 정규성 추정치를 사용하여 에너지 집중과 확장 성질을 제어한다.
• 절단 함수와 튜브형 이웃 영역의 구축을 통해 소규모 집합 위에서 L² 함수의 에너지 집중을 분석한다.
• 구멍 반지름 ε, 간격 ηε, 그리고 γ ∈(0,1) 인 매개변수에 따라, m ≥3 에서는 δε = O((ηmε/εm−2)(1−γ)/2) 와 유사한 오차 추정치를 유도한다.

실험 결과

연구 질문

• RQ1 구멍이 크기 대비 충분히 분리되어 있을 때, 다수의 작은 구멍을 가진 다양체 위의 뉴먼 라플라시안은 일반화된 노름 리졸베ント 수렴 의미에서 원래의 라플라시안으로 수렴하는가?
• RQ2 작아지는 구멍이 조밀하게 배열되어 '고체' 영역을 형성할 경우, 다수의 작은 구멍을 가진 다양체 위의 딜리클레 라플라시안은 그 보완 위의 딜리클레 라플라시안으로 수렴하는가?
• RQ3 컴팩트성 또는 공통 도메인에의 임베딩을 가정하지 않고, 변하는 힐버트 공간 위의 연산자에 대해 스펙트럼 수렴(고유값, 고유함수)을 어떻게 보장할 수 있는가?
• RQ4 조화 반지름과 유계 기하학이 소볼레프 포함의 균일한 제어와 에너지 집중 제어에 어떤 역할을 하는가?
• RQ5 수렴 속도에 대한 명시적 오차 추정치는 구멍 반지름 ε, 간격 ηε, 그리고 구성 과정에서의 매개변수 γ 에 어떻게 의존하는가?

주요 결과

• 구멍이 크기 대비 충분히 분리되어 있을 경우, 뉴먼 라플라시안은 일반화된 노름 리졸베ント 수렴 의미에서 원래의 라플라시안으로 수렴하며, 오차 δε →0 이다. ε→0 일 때.
• 딜리클레의 경우, 구멍이 흩어져 있을 경우 극한은 再원래의 라플라시안이 되고, 구멍이 집중되어 '고체' 영역을 형성할 경우 극한은 그 보완 위의 딜리클레 라플라시안이 된다.
• 오차 추정치는 m ≥3 에서는 δε = O((ηmε/εm−2)(1−γ)/2) 이고, m=2 에서는 δε = O((η2ε|log ε|)(1−γ)/2) 이며, γ ∈(0,1) 이다.
• 이 수렴은 스펙트럼 수렴을 암시한다: 고유값과 스펙트럼 프로젝션은 컴팩트 구간에서 균일하게 수렴하며, 고유함수는 식별 사상 J와 J′에 따라 노름 수렴한다.
• 유계 기하학과 양의 조화 반지름 조건 하에서 결과가 성립하며, 이는 균일한 소볼레프 포함과 국소 기하학의 제어를 보장한다.
• 이 프레임워크는 편향된 도메인과 원래 도메인이 공통 공간에 포함되지 않더라도 적용 가능하여, 이전 연구에서 요구하던 임베딩 조건의 제약을 극복한다.