[논문 리뷰] Neumann problem for non-divergence elliptic and parabolic equations with BMO$_x$ coefficients in weighted Sobolev spaces

Hongjie Dong, Doyoon Kim외 1명|arXiv (Cornell University)|2015. 02. 19.

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

한 줄 요약

이 논문은 시간에 대해 가측성 있는 계수를 가지며 공간에 대해 가중 측도에 대해 BMO$_x$ 조건을 만족하는 비발산형 타입의 타원 및 초기값 문제에 대해 가중 소볼레프 공간에서 $L_p$ 추정과 유일한 해 존재성을 확립한다. 핵심 결과는 큰 $\lambda$ 에서 해가 존재함을 보장하는 매개변수 $\lambda$ 를 포함한 $L_p$ 추정이며, 이는 크릴로프의 접근 방식을 가중 공간과 BMO$_x$ 계수로 확장하여 확률적 편미분방정식(SPDE)에의 응용을 가능하게 한다.

ABSTRACT

We prove the unique solvability in weighted Sobolev spaces of non-divergence form elliptic and parabolic equations on a half space with the homogeneous Neumann boundary condition. All the leading coefficients are assumed to be only measurable in the time variable and have small mean oscillations in the spatial variables. Our results can be applied to Neumann boundary value problems for {\em stochastic} partial differential equations with BMO$_x$ coefficients.

연구 동기 및 목표

• 비발산형 타원 및 포아송 방정식에 대해 가중 소볼레프 공간에서 노이만 경계 조건을 만족할 때 $L_p$ 추정과 유일한 해 존재성을 확립한다.
• 크릴로프의 BMO$_x$ 계수에 대한 $L_p$ 이론을 가중 측도와 함께 노이만 문제 설정으로 확장한다.
• 시간에 대해 가측성 있고, 가중 측도 $x_1^{\theta-d}$ 에 대해 공간 변수에 대해 작은 평균 진동을 가지는 주요 계수를 다룬다.
• 확률적 편미분방정식(SPDE)에 적용 가능한 프레임워크를 제공한다.
• 디리클레 문제에 대한 이전 결과를 일반화하여 노이만 경계 조건과 더 넓은 계수 클래스를 허용한다.

제안 방법

• 시간에 대해서만 가측성 있는 계수를 가지는 방정식에 대해 평균 진동 추정을 기반으로 한 변형 기법을 채택한다.
• 가중 $L_p$ 공간에서 페퍼만-스타인의 날카운 최대 함수 정리와 하디-리틀우드 최대 함수 정리를 사용하여 $L_p$ 추정을 유도한다.
• 이阶 도함수 $D^2u$ 를 두 부분으로 나누어 처리한다: 미분 후 발산형 방정식을 통해 $D_1u$ 를 다루고, $x_1$ 과 $x'$ 방향에서 별도로 진동 추정을 적용하여 $D_{x'}^2u$ 를 다룬다.
• 시간에 독립적인 계수의 경우 문제를 국소화하여 $R_0 = 0$ 으로 줄이기 위해 척도화 및 컴팩턴스 기법을 적용한다.
• 보조 변수에 대해 주기적인 컷오프 함수를 도입하고, $\hat{u}(t,z) = u(t,x)\zeta(y)\cos(\sqrt{\lambda}y)$ 와 같이 정의함으로써 문제를 주기적인 구조를 가진 고차원 설정으로 환원한다.
• 하향적 추정 기법을 사용하여 저차수 항을 흠집 없이 흡수하고, 큰 $\lambda$ 에 대해 최종 추정 $\lambda\|u\|_{p,\theta} \leq C_0\|f\|_{p,\theta}$ 을 확보한다.

실험 결과

연구 질문

• RQ1 주요 계수가 시간에 대해 가측성 있고 공간에 대해 BMO$_x$ 조건을 만족할 때, 비발산형 타원 및 포아송 방정식에 대해 노이만 경계 조건 하에서 $L_p$ 추정을 확립할 수 있는가?
• RQ2 가중 소볼레프 공간 이론이 노이만 설정에서 여전히 유효한 최적의 가중치 매개변수 $\theta$ 의 범위는 무엇인가?
• RQ3 크릴로프 스타일의 평균 진동 접근 방식을 비발산형 방정식의 노이만 문제 설정으로 어떻게 적용할 수 있는가?
• RQ4 해 존재성 이론을 시간에 대해 가측성이고 공간에 대해 BMO$_x$ 정규성 조건을 만족하는 계수로 확장할 수 있는가? 이는 VMO 또는 디니 연속성 클래스를 초월한다.
• RQ5 해의 연산자 유계성 보장에 있어 가중치 $x_1^{\theta-d}$ 의 역할은 무엇인가?

주요 결과

• 논문은 모든 충분히 큰 $\lambda$ 에 대해 $\lambda\|u\|_{p,\theta} \leq C_0\|f\|_{p,\theta}$ 형태의 $L_p$ 추정을 증명하며, $C_0$ 는 $d$, $\delta$, $p$, $\theta$, $R_0$ 에만 의존한다.
• 노이만 문제의 유일한 해 존재성은 $\theta \in (d-1, d-1+p)$ 에 대해 가중 소볼레프 공간 $H_{p,\theta}^2$ 와 $\mathbb{H}_{p,\theta}^2$ 에서 확립되며, 이는 열 방정식의 경우에도 최적임이 입증된다.
• 이 방법은 시간에 대해 가측성이고, 가중 측도 $x_1^{\theta-d}dx$ 에 대해 공간에 대해 작은 평균 진동을 가지는 계수를 성공적으로 다루며, 이는 이전 결과를 노이만 경우로 확장한다.
• 증명은 보조 변수에 대한 주기적 컷오프 함수를 사용한 새로운 환원 기법에 의존하며, 이는 고차원 $L_p$ 추정의 적용을 가능하게 한다.
• 결과는 BMO$_x$ 계수를 가진 확률적 편미분방정식(SPDE)에 적용 가능하며, 불규칙한 계수를 가진 SPDE에 대한 이론적 기반을 제공한다.
• 추정은 저차수 항의 변화에 강건하다: $b_i$ 와 $c$ 항이 존재하더라도 그 노름이 유계이고 $\lambda$ 가 충분히 크다면 추정이 유지된다.