[논문 리뷰] On the limit Sobolev regularity for Dirichlet and Neumann problems on Lipschitz domains

Martin Costabel|arXiv (Cornell University)|2017. 11. 20.

Advanced Mathematical Modeling in Engineering참고 문헌 15인용 수 21

한 줄 요약

이 논문은 ℝⁿ 내에 C¹ 경계를 가진 유계 영역 Ω를 구성하여, 라플라스 연산자에 대한 딜리클레 및 뉴먼 문제의 해가 H³/²+ε 정규성에 도달하지 못함을 보여준다. 부드러운 데이터 조건 하에서도 성립하며, 제어된 호일더 및 소볼레프 정규성을 갖는 빈자리 푸리에 급수를 이용해 경계 함수를 정의함으로써, 저자들은 해가 H³/²에만 속할 뿐 더 높은 소볼레프 공간에는 속하지 않음을 증명한다. 이는 리프시츠 영역에 대해 알려진 정규성 경계의 날카로움을 입증한다.

ABSTRACT

We construct a bounded $C^{1}$ domain $\Omega$ in $R^{n}$ for which the $H^{3/2}$ regularity for the Dirichlet and Neumann problems for the Laplacian cannot be improved, that is, there exists $f$ in $C^{\infty}(\overline\Omega)$ such that the solution of $\Delta u=f$ in $\Omega$ and either $u=0$ on $\partial\Omega$ or $\partial\_{n} u=0$ on $\partial\Omega$ is contained in $H^{3/2}(\Omega)$ but not in $H^{3/2+\varepsilon}(\Omega)$ for any $\epsilon>0$. An analogous result holds for $L^{p}$ Sobolev spaces with $p\in(1,\infty)$.

연구 동기 및 목표

• 모든 유계 리프시츠 영역이 ε > 0을 갖는다 할지라도, 그 위에서의 딜리클레 및 뉴먼 문제의 해가 H¹/²+ε에 속한다는 점을 해결하는 것.
• 해가 라플라스 방정식에 대해 H³/²를 초월해 향상되지 않는 반례 영역을 구성하는 것.
• 모든 p ∈ [1, ∞)에 대해 Lp 소볼레프 공간으로의 일반화를 통해 정규성 한계가 전체 소볼레프 공간 척도에서 날카로움을 보여주는 것.
• C¹ 영역에 대해 알려진 정규성 이동 결과가 최적임을 입증하고, 오른쪽 항이 더 부드러워지더라도 향상되지 않는다는 것을 보여주는 것.
• 디릴레클레 및 뉴먼 문제에 대해 C¹ 영역에서 H³/²의 한계 정규성이 날카로움임을 입증하며, 소볼레프 공간 내에서 분리 함수를 기반으로 한 새로운 구성 방법을 사용하는 것.

제안 방법

• 극좌표를 사용하여 ℝ² 내에 C¹ 영역 Ω ⊂ ℝ²를 구성함: 반경 r < F(θ), 여기서 F(θ) = 1 + ∫₀^θ f(t)dt 이고, f는 빈자리 푸리에 급수이다.
• f(θ) = ∑ₖ≥₁ aₖ sin(bₖθ)로 정의함. 여기서 빠르게 증가하는 주파수 bₖ와 감쇠하는 진폭 aₖ를 선택하여 소볼레프 공간 내에서 분리가 보장되도록 함.
• 만약 a, b ∈ W^ε,p(T) 이고 a f = b 이면, 빈자리 구조와 푸리에 계수의 감쇠 조건을 이용해 a = b = 0임을 증명함.
• 이 분리 성질을 이용해, ∂ω에서 법선 또는 탄성 성분의 영이 되는 W^1+1/p+ε,p(ω) 벡터장은 심지어 항등적으로 0이어야 함을 보임.
• ω에서 라플라스 방정식의 해를 u = ∇v로 정의하고, v가 더 높은 정규성을 갖는다면 모순이 발생함을 도출함.
• 2차원 반례를 원통형 구성으로 고차원으로 확장함: C¹ 경계를 갖는 원통형 부분을 포함하도록 영역을 수정하고, 캐프 함수를 사용해 해를 국소화함으로써 정규성을 유지함.

실험 결과

연구 질문

• RQ1 모든 유계 리프시츠 영역에서 항상 ε > 0가 존재하여, 그 위에서의 딜리클레 및 뉴먼 문제의 해가 H¹/²+ε에 속하는가?
• RQ2 부드러운 데이터 조건 하에서도 C¹ 영역에서 해의 H³/² 정규성 한계를 향상시킬 수 있는가?
• RQ3 C¹ 영역에서 L² 및 Lp 소볼레프 공간 전역에 걸쳐 H³/² 정규성 한계가 날카로운가?
• RQ4 한 개의 영역과 오른쪽 항 함수가 모든 p ∈ [1, ∞) 및 모든 ε > 0에 대해 반례가 될 수 있는가?
• RQ5 오른쪽 항이 부드럽거나 해석적일 경우에도 더 높은 정규성의 실패가 계속 유지되는가?

주요 결과

• ℝ³ 내에 유계 C¹ 영역 Ω가 존재하여, f ∈ C∞(Ω) 이면 Δu = f 이고 ∂Ω에서 u = 0 또는 ∂ₙu = 0 이면, 해 u는 H³/²(Ω)에 속하지만 어떤 ε > 0에 대해서도 H³/²+ε(Ω)에 속하지 않는다.
• 반례는 모든 p ∈ [1, ∞)에 대해 성립하며, Lp 소볼레프 공간 내에서도 정규성 한계 H¹+1/p, p가 날카로움을 보여준다.
• 디릴레클레 문제의 경우, ω에서 g = 1 이면 반례가 된다: 해 vD ∈ H¹₀(ω)는 어떤 ε > 0 및 p ≥ 1에 대해서도 W¹+1/p+ε,p(ω)에 속하지 않는다.
• 뉴먼 문제의 경우, ω에서 C∞(ω) 오른쪽 항 g(즉, 2차 다항식)가 존재하여 해 vN은 어떤 ε > 0 및 p ≥ 1에 대해서도 W¹+1/p+ε,p(ω)에 속하지 않는다.
• 3차원 이상의 차원으로의 일반화는 원통형 영역을 구성함으로써 이루어지며, C¹ 경계를 유지하면서 해의 비정규성을 유지한다.
• 캐프 및 국소화를 통해 구성된 고차원 영역에서의 해 v는 C⁰,α(Ω) 및 H¹(Ω)에 속하지만, 어떤 ε > 0 및 p ≥ 1에 대해서도 W¹+1/p+ε,p(Ω)에 속하지 않는다.