[논문 리뷰] On Neumann and oblique derivatives boundary conditions for nonlocal elliptic equations

Guy Barles, Christine Georgelin외 1명|2013. 02. 22.

Advanced Mathematical Modeling in Engineering인용 수 5

한 줄 요약

이 논문은 경계가 매끄럽지 않거나 유계가 아니거나 볼록이 아닐 수 있는 영역에서 비국소적 타원형 PDE에 대한 점성 해법의 엄밀한 프레임워크를 수립한다. 비국소적 방정식에 대한 점성 해법의 새로운 정의를 도입하고, 영역의 전체 여집합에 경계 조건을 부과하는 방식으로, 비교 원리에 기반한 유일성과 전체 공간 문제에서의 페널티화를 통한 존재성 증명을 한다.

ABSTRACT

Inspired by the penalization of the domain approach of Lions & Sznitman, we give a sense to Neumann and oblique derivatives boundary value problems for nonlocal, possibly degenerate elliptic equations. Two different cases are considered: (i) homogeneous Neumann boundary conditions in convex, possibly non-smooth and unbounded domains, and (ii) general oblique derivatives boundary conditions in smooth, bounded, and possibly non-convex domains. In each case we give apropriate definitions of viscosity solutions and prove uniqueness of solutions of the corresponding boundary value problems. We prove that these boundary value problems arise in the penalization of the domain limit from whole space problems and obtain as a corollary the existence of solutions of these problems.

연구 동기 및 목표

• 비국소적이고 가능하게 탈퇴된 타원형 PDE에 대해 경계가 불규칙하거나 비유계인 영역에서 뉴먼형 및 수직 도함수 경계 조건을 정의하고 철저히 수립하는 것.
• 해가 전체 공간에서 정의되어야 하므로, 경계 조건이 영역의 전체 여집합에 부과되어야 하는 비국소적 설정으로 고전적 경계 조건의 개념을 확장하는 것.
• 영역과 벡터장에 대한 적절한 구조적 및 기하학적 가정 하에 비교 원리 수립 및 점성 해법의 유일성 증명.
• 이러한 경계값 문제의 해가 전체 공간 문제에 대한 페널티화된 문제의 극한으로 나타남을 보여 존재성을 근사 방법을 통해 증명하는 것.

제안 방법

• 비국소적 연산자 $\mathcal{I}[u]$의 구조를 활용하여, 영역의 전체 여집합에 경계 조건이 부과된 비국소적 PDE에 대한 점성 해법의 새로운 정의를 도입한다.
• Lions & Sznitman의 영감을 얻어 영역의 페널티화 접근법을 적용하며, 경계 조건이 $\mathbb{R}^N$ 위에 정의된 문제에 페널티 항을 추가함으로써 극한으로 나타나게 한다.
• 비국소적 연산자에 적합한 점성 해법 프레임워크를 활용하여, 하부해와 상부해 사이의 비교 원리를 기반으로 한다.
• 벡터장 $\gamma(x)$의 방향에서의 방향 도함수를 제어할 수 있는 스무스 테스트 함수를 구성하기 위해 컨볼루션을 통한 정규화 기법을 구현한다.
• 벡터장 $-\gamma(x)$의 특성 곡선 방법을 활용하여 외부에서 경계에 도달 가능한지 분석함으로써 경계 조건이 잘 정의되어 있음을 보장한다.
• 특성 상미방정식 $\dot{X}_x(t) = -\gamma(X_x(t))$의 해가 국소 리프시츠 연속임을 증명하며, 이는 장벽 함수의 구성과 정(regularity) 증명의 기초가 된다.

실험 결과

연구 질문

• RQ1 해가 영역 외부의 값에 의존하기 때문에, 비국소적 타원형 PDE에 대해 뉴먼형 경계 조건을 어떻게 의미 있게 정의할 수 있는가?
• RQ2 영역과 벡터장 $\gamma(x)$에 어떤 조건이 성립하면, $\Omega^c$에서 $Du(x)\cdot\gamma(x) = g(x)$인 경계 조건이 잘 정의되어 유일한 해를 유도하는가?
• RQ3 영역의 페널티화 접근법을 비국소적 방정식의 수직 도함수로 확장할 수 있으며, 이는 해의 존재성을 보장하는가?
• RQ4 기하학적 및 정규성 가정이 비국소적 PDE에 대해 이러한 경계 조건을 갖는 비교 원리가 성립하기 위한 조건은 무엇인가?
• RQ5 점성 해법 성질을 검증하기 위해 $\gamma(x)$의 방향에서 제어 가능한 방향 도함수를 갖는 스무스 테스트 함수를 어떻게 구성할 수 있는가?

주요 결과

• 비국소적 타원형 PDE에 대해 뉴먼형 및 수직 도함수 경계 조건을 위한 새로운 점성 해법 정의를 수립하였으며, 이는 매끄럽지 않거나 비유계이거나 볼록이 아닐 수 있는 영역에서도 유효하다.
• 탈퇴 타원성과 구조적 가정 (1.3), (1.5) 및 경계 조건 (BC1)–(BC3) 하에 점성 해법의 유일성이 증명된다.
• 해는 전체 공간 문제의 페널티화된 극한으로서 얻어지며, 이는 경계값 문제의 해가 이러한 근사로부터 자연스럽게 유도됨을 보여 존재성을 입증한다.
• 특성 상미방정식 $\dot{X}_x(t) = -\gamma(X_x(t))$의 해가 (BC1) 및 (BC2) 하에 국소 리프시츠 연속임을 증명하였으며, 이는 장벽 함수의 구성에 기여한다.
• 컨볼루션을 통한 정규화 기법을 통해 $\gamma \cdot D w_\varepsilon \geq 1$인 스무스 함수 $w_\varepsilon$를 얻을 수 있으며, 이는 점성 해법 검증에 핵심적이다.
• 하부해와 상부해를 각각 $\overline{G}$와 $\underline{G}$를 통해 정의한 후 비교 원리를 적용하여 $\overline{u} = \underline{u} = u$라는 결론을 이끌어내어, 유일성과 근사의 수렴성을 증명한다.