[논문 리뷰] The complement value problem for non-local operators

Wei Sun|arXiv (Cornell University)|2018. 03. 31.

Advanced Mathematical Modeling in Engineering참고 문헌 35인용 수 3

한 줄 요약

이 논문은 라플라스 연산자, 분수 라플라스 연산자, 그리고 이송 및 위치 에너지 항을 포함하는 비국소 연산자에 대한 보완값 문제에 대해 유계 연속 약한 해의 존재성과 유일성을 확립한다. 반도체 딜레히트 형식과 열핵 추정을 통해, 마코프 과정과 도메인 보 complement의 도달 시간을 포함하는 기댓값을 통해 해의 확률적 표현을 도출한다.

ABSTRACT

Let $D$ be a bounded Lipschitz domain of $\mathbb{R}^d$. We consider the complement value problem $$ \left\{\begin{array}{l}(Δ+a^αΔ^{α/2}+b\cdot abla+c)u+f=0\ \ { m in}\ D,\\ u=g\ \ { m on}\ D^c. \end{array} ight.$$ Under mild conditions, we show that there exists a unique bounded continuous weak solution. Moreover, we give an explicit probabilistic representation of the solution. The theory of semi-Dirichlet forms and heat kernel estimates play an important role in our approach.

연구 동기 및 목표

• 비국소 타원 적분미분방정식에 대한 보완값 조건을 만족하는 유계 연속 약한 해의 존재성과 유일성을 확립하는 것.
• 비국소 연산자와 관련된 마코프 과정을 이용하여 해의 확률적 표현을 제공하는 것.
• 계수들이 반드시 연속이 아니며 최대원리가 성립하지 않는 경우에도 비국소 연산자 이론을 확장하는 것.
• 반도체 딜레히트 형식과 최신 열핵 추정을 활용하여 비국소 설정에서 발생하는 분석적 과제를 극복하는 것.
• 경계에서의 해의 정규성, 특히 경계 데이터가 연속일 경우 경계점에서의 연속성을 보장하는 것.

제안 방법

• 반도체 딜레히트 형식 이론을 활용하여 비국소 연산자를 분석하고 약한 해의 존재성과 유일성을 확립한다.
• Chen와 Hu(2018)의 열핵 추정을 활용하여 관련 마코프 과정의 전이 밀도를 제어한다.
• R^d 상의 연산자 L = Δ + a^α Δ^{α/2} + b·∇ 와 관련된 강한 마코프 과정 (X_t, P_x)을 구성한다.
• 해의 확률적 표현을 u(x) = E_x[e(τ)g(X_τ) + ∫₀^τ e(s)f(X_s)ds] 로 유도한다. 여기서 e(t) = exp(∫₀^t c(X_s)ds) 이고, τ = inf{t > 0 : X_t ∈ D^c} 이다.
• 반도체 마르티니갈에 대한 부분적 통합 공식을 적용하여 마르티니갈 표현을 도출하고, 제한된 수렴 정리를 활용하여 유일성을 증명한다.
• 절단과 정규화를 활용한 근사 기법을 사용하여 저규칙성 계수를 다루고, 극한에서의 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 비국소 연산자에 대한 보완값 문제에 대해 이송 및 위치 에너지 항이 존재할 때, 어떤 조건에서 고유한 유계 연속 약한 해가 존재하는가?
• RQ2 계수가 연속적이지 않고 최대원리가 성립하지 않을 경우, 해에 대한 엄밀한 확률적 표현을 유도할 수 있는가?
• RQ3 열핵 추정과 반도체 딜레히트 형식 이론은 어떤 방식으로 유계 도메인 내의 비국소 연산자 분석을 지원하는가?
• RQ4 경계 데이터 g가 D^c 상에서 어떤 정규성 성질을 가지며, 특히 ∂D 상에서 연속성은 어떻게 보장되는가?
• RQ5 지수 기댓값 E_x[exp(∫₀^τ c^+(X_s)ds)] 의 유한성을 보장하는 데서 잠재적 c^+ 의 양의 부분이 수행하는 역할은 무엇인가?

주요 결과

• 조건 ‖c^+‖_{L^{p∨1}} ≤ M 를 만족할 경우, 어떤 M > 0 에 대해 보완값 문제 (1.1) 에 대해 B_b(R^d) 내에 고유한 유계 연속 약한 해 u 가 존재한다.
• 해는 명시적인 확률적 표현을 갖는다: u(x) = E_x[e(τ)g(X_τ) + ∫₀^τ e(s)f(X_s)ds], 여기서 e(t) = exp(∫₀^t c(X_s)ds) 이고, τ = inf{t > 0 : X_t ∈ D^c} 이다.
• 만약 g 가 z ∈ ∂D 에서 연속이면, lim_{x→z} u(x) = u(z) 를 만족하여 해의 경계 정규성을 보장한다.
• 해는 분포적 의미에서 방정식을 만족한다: 모든 φ ∈ C_c^∞(D) 에 대해, (1.4) 식이 성립하며, 이는 기울기, 비국소, 이송, 위치 및 외부 힘 항을 포함한다.
• c ≤ 0 인 경우, 해는 ¯D 상에서 연속이며, 해 공간은 u ∈ B_b(R^d) 이고, u|_D ∈ W^{1,2}_{loc}(D) ∩ C(¯D) 를 만족한다.
• 유일성은 마르티니갈 접근법과 제한된 수렴 정리를 활용하여 증명되며, 주어진 기댓값 조건 하에서 동차 문제의 유일한 해는 영해임을 보여준다.