[논문 리뷰] Sobolev spaces on Lie manifolds and regularity for polyhedral domains

Bernd Ammann, Alexandru D. Ionescu외 1명|ArXiv.org|2004. 02. 19.

Nonlinear Partial Differential Equations참고 문헌 61인용 수 27

한 줄 요약

이 논문은 ℝ³ 내 다면체 영역 ℙ에서 강한 타원형 연립방정식에 대한 정칙성 이론을 가중 치환 스펙트럼 공간 𝒦ᵐₐ(ℙ)를 사용하여 수립한다. 계수들이 매끄럽다면 정칙성 손실이 발생하지 않음을 보여주며, 특이 경계점(모서리)의 등각 블로업을 통해 이러한 공간들을 리 군의 다변량체 위의 스무딩 스펙트럼 공간과 식별함으로써, 비가환 다변량체 위의 프시도드레프레서 연산자 이론을 활용하여 고전적 타원형 정칙성 이론을 비가환 영역으로 확장한다.

ABSTRACT

We study some basic analytic questions related to differential operators on Lie manifolds, which are manifolds whose large scale geometry can be described by a a Lie algebra of vector fields on a compactification. We extend to Lie manifolds several classical results on Sobolev spaces, elliptic regularity, and mapping properties of pseudodifferential operators. A tubular neighborhood theorem for Lie submanifolds allows us also to extend to regular open subsets of Lie manifolds the classical results on traces of functions in suitable Sobolev spaces. Our main application is a regularity result on polyhedral domains $\PP \subset \RR^3$ using the weighted Sobolev spaces $\Kond{m}a(\PP)$. In particular, we show that there is no loss of $\Kond{m}a$--regularity for solutions of strongly elliptic systems with smooth coefficients. For the proof, we identify $\Kond{m}a(\PP)$ with the Sobolev spaces on $\PP$ associated to the metric $r_{\PP}^{-2} g_E$, where $g_E$ is the Euclidean metric and $r_{\PP}(x)$ is a smoothing of the Euclidean distance from $x$ to the set of singular points of $\PP$. A suitable compactification of the interior of $\PP$ then becomes a regular open subset of a Lie manifold. We also obtain the well-posedness of a non-standard boundary value problem on a smooth, bounded domain with boundary $\maO \subset \RR^n$ using weighted Sobolev spaces, where the weight is the distance to the boundary.

연구 동기 및 목표

• 비가환 영역, 특히 ℝ³ 내 다면체 영역에서 타원형 PDE의 정칙성 손실 문제를 해결한다.
• 고전적 스무딩 스펙트럼 공간 이론과 타원형 정칙성 이론을 경계와 모서리가 있는 리 군 다변량체로 확장한다.
• 기하적 컴actsification을 통해 다면체 영역 위의 가중 치환 스펙트럼 공간 𝒦ᵐₐ(ℙ)에 대한 프레임워크를 수립한다.
• 계수들이 매끄럽다면 다면체 영역 ℙ⊂ℝ³에서 강한 타원형 연립방정식의 해가 𝒦ᵐₐ(ℙ)에서 전체 정칙성을 유지함을 증명한다.
• 프시도드레프레서 연산자의 맵핑 성질과 추적 정리들을 리 군 다변량체의 정규 열린 부분집합으로 일반화한다.

제안 방법

• 다면체 영역 ℙ의 내부를 컴actsify하기 위해 유클리드 계량 g_E를 r_ℙ⁻²g_E로 대체한다. 여기서 r_ℙ는 특이 경계점(모서리)까지의 거리의 스무딩 함수이며, 이는 비콤팩트 리 군 다변량체를 만든다.
• 가중 치환 스펙트럼 공간 𝒦ᵐₐ(ℙ)을 이 블로업된 계량을 갖춘 리 군 다변량체 위의 표준 스무딩 스펙트럼 공간과 식별한다.
• 리 부분다변량체에 대한 통로근역도 정리(튜브 이론)를 활용하여 추적 정리와 정칙성 결과를 리 군 다변량체의 정규 열린 부분집합으로 확장한다.
• 특히 Ψ_{1,0,𝒱}^m(M₀) 클래스의 프시도드레프레서 연산자 이론을 적용하여 맵핑 성질과 정칙성 분석을 수행한다.
• 파라메트릭스를 구성하고, 가중 치환 스펙트럼 공간 위에서 프시도드레프레서 연산자의 유계성을 활용하여 정칙성 전이를 증명한다.
• 쌍대성과 하른-반하흐 정리(Hahn-Banach theorem)를 활용하여 쌍대 공간을 특성화하고, 리 군 다변량체 위의 스무딩 스펙트럼 공간에서 노름의 동치를 증명한다.

실험 결과

연구 질문

• RQ1 3차원 다면체 영역에서 경계가 모서리와 꼭짓점을 포함하는 경우, 고전적 타원형 정칙성 결과를 확장할 수 있는가?
• RQ2 비가환 영역의 스무딩 스펙트럼 공간에서 정칙성 손실을 제거할 수 있는 기하적 프레임워크가 존재하는가?
• RQ3 다면체 영역 위의 가중 치환 스펙트럼 공간 𝒦ᵐₐ(ℙ)는 어떻게 컴actsified된 리 군 다변량체 위의 표준 스무딩 스펙트럼 공간으로 표현될 수 있는가?
• RQ4 리 군 다변량체의 구조는 특이 경계를 갖는 영역에서 미분 연산자에 대한 정칙성 이론을 가능하게 하는가?
• RQ5 경계가 있는 리 군 다변량체에 대해 프시도드레프레서 연산자 기법을 어떻게 적응시켜 정칙성과 추적 정리를 증명할 수 있는가?

주요 결과

• 계수들이 매끄럽다면 다면체 영역 ℙ⊂ℝ³에서 강한 타원형 연립방정식의 해에 대해 𝒦ᵐₐ-정칙성 손실이 없다.
• 가중 치환 스펙트럼 공간 𝒦ᵐₐ(ℙ)는 특이 집합(모서리)의 등각 블로업을 통해 계량 r_ℙ⁻²g_E를 이용하여 얻어진 리 군 다변량체 위의 표준 스무딩 스펙트럼 공간과 등급이다.
• 공간 𝒦ᵐₐ(ℙ)는 r_ℙ가 특이 경계점까지의 거리의 스무딩 함수인 비콤팩트 리 군 다변량체 (M₀, r_ℙ⁻²g_E) 위의 스무딩 스펙트럼 공간 W^{m,p}와 등가이다.
• Ψ_{1,0,𝒱}^m(M₀) 클래스에 속하는 프시도드레프레서 연산자는 가중 치환 스펙트럼 공간 간에 유계로 작용하여 정칙성 전이의 증명을 가능하게 한다.
• 임의의 타원형 연산자 P∈Ψ_{1,0,𝒱}^s(M₀)에 대해, 노름 ‖u‖_{L^p} + ‖Pu‖_{L^p}는 리 군 다변량체 위의 표준 W^{s,p} 노름과 등가이다.
• 경계까지의 거리와 같은 가중치를 갖는 가중 치환 스펙트럼 공간을 사용하면, 매끄럽고 유계인 영역에서 비표준 경계값 문제는 잘 정의되어 있다.