[논문 리뷰] Elliptic differential equations with measurable coefficients

Doyoon Kim, Н. В. Крылов|ArXiv.org|2005. 12. 22.

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

한 줄 요약

이 논문은 주어진 계수들이 한 변수에 대해 가측성과 잔여 변수들에 대해 평균 진동도가 0인(VMO) 조건을 만족할 때, $W^2_p$ 소볼레프 공간에서 $p \in (2,\infty)$ 인 두 번째 차수 타원형 미분방정식의 유일한 해를 확립한다. 주요 기여는 공분산 연산자나 적분 표현을 피하고 날카운 함수 기법을 사용한 새로운 $L_p$-추정법으로, 이는 관련 마틴갈 문제에 대한 약한 유일성을 암시한다.

ABSTRACT

We prove the unique solvability of second order elliptic equations in non-divergence form in Sobolev spaces. The coefficients of the second order terms are measurable in one variable and VMO in other variables. From this result, we obtain the weak uniqueness of the martingale problem associated with the elliptic equations.

연구 동기 및 목표

• $p > 2$ 인 경우, $W^2_p$ 소볼레프 공간에서 비발산형 두 번째 차수 타원형 미분방정식의 유일한 해 존재성을 확립하는 것.
• 계수 $a^{jk}$ 에 대한 정규성 조건을 완화하여, 한 변수에 대해 가측성이고 나머지 변수들에 대해 VMO임을 允허하는 것.
• 균일 연속성 또는 조각별 연속성 계수를 초월하여 비발산형 방정식에 대한 $L_p$-이론을 확장하는 것.
• 해 존재성 결과를 바탕으로 관련 마틴갈 문제에 대한 약한 유일성을 증명하는 것.
• 적분 표현이나 공분산 연산자를 피하고 날카운 함수 추정법에 기반한 $L_p$-추정 방법을 개발하는 것.

제안 방법

• 한 변수에 대해 가측 계수를 가진 방정식에 대해 푸리에 변환을 사용하여 $L_2$-추정을 도출하는 것.
• 크릴로프가 제안한 날카운 함수 기법을 응용하여 $p > 2$ 인 경우의 $L_p$-추정을 도출하며, 공분산 연산자 방법을 피하는 것.
• 나머지 변수들 $x'$ 에서의 VMO 정규성 정도를 측정하기 위해 진동 반경 $\text{osc}_{x'}(a, Q_r(x))$ 를 도입하는 것.
• 모든 $R > 0$ 에 대해 $a^{\#(x')}_{R} \to 0$ 이고, $\omega(0) = 0$ 인 연속성 모듈러스 $\omega(R)$ 를 만족시키는 방식으로 VMO 클래스를 정의하는 것.
• 페퍼만-스타인 최대함수 정리와 헬더 부등식을 사용하여 두 번째 도함수의 $L_p$-노름을 제어하는 것.
• 함수 $u_{x^j x^k}$ 의 날카운 함수와 관련된 핵심 부등식을 확립하여, 작은 구에서 $\|u_{xx}\|_{L_p} \leq N\|L_0 u\|_{L_p}$ 의 추정식을 도출하는 것, 이때 $a^{\#(x')}_{R}$ 가 충분히 작을 조건이 필요하다.

실험 결과

연구 질문

• RQ1 계수들이 한 변수에 대해 가측성이고 나머지 변수들에 대해 VMO일 경우, $W^2_p$ 공간에서 타원형 방정식의 유일한 해 존재성을 확보할 수 있는가?
• RQ2 균일 연속성 이상의 정규성 조건을 초월하여, 비발산형 방정식에 대한 $L_p$-이론이 제한된 정규성 조건을 가진 계수로도 확장 가능한가?
• RQ3 공분산 연산자나 적분 표현을 사용하지 않고도 날카운 함수 기법을 불연속 계수를 가진 방정식에 효과적으로 적용할 수 있는가?
• RQ4 어떤 계수 조건이 관련 확산 과정의 약한 유일성을 보장하는가?
• RQ5 계수들이 한 방향에서만 가측성이고 나머지 변수들에 대해 VMO 조건을 만족할 경우, 이 조건이 계수의 $L_p$-이론과 어떻게 상호작용하는가?

주요 결과

• 가정 2.1과 2.2 하에서 방정식 (1.1) 은 모든 $p \in (2,\infty)$ 에 대해 $W^2_p(\mathbb{R}^d)$ 에서 유일한 해를 가진다.
• $a^{\#(x')}_{R}$ 가 충분히 작을 경우, 작은 구에서 $p > 2$ 인 경우 $\|u_{xx}\|_{L_p} \leq N\|L_0 u\|_{L_p}$ 의 $L_p$-추정이 성립한다.
• 이 추정식의 상수 $N$ 은 계수의 구체적 형태에 관계없이 $d$, $\delta$, $p$ 에만 의존한다.
• $p \geq d$ 인 경우, $W^2_p$ 에서의 유일한 해 존재성은 관련 타원형 연산자와 연결된 마틴갈 문제의 약한 유일성을 암시한다.
• 이 방법은 적분 표현이나 공분산 연산자를 피하고, 날카운 함수와 최대함수의 점별 추정에 기반한다.
• 결과는 조각별 연속 계수 및 VMO 계수를 특수한 경우로 포함하며, 기존 이론을 더 넓은 불연속 계수의 범주로 확장한다.