[논문 리뷰] The Dirichlet problem for second order parabolic operators in divergence form

Pascal Auscher, Moritz Egert외 1명|arXiv (Cornell University)|2016. 11. 03.

Advanced Mathematical Modeling in Engineering참고 문헌 25인용 수 13

한 줄 요약

이 논문은 상반평면에서 실수, 유계, 가측, 균일 타원형이고 비대칭인 계수를 가진 2차 수렴형 파라보릭 연산자에 대해 파라보릭 측도의 A∞-성질을 확립한다. 제곱 함수 추정과 비탄성 최대함수 제어를 이용하여, 저자들은 파라보릭 측도가 표면 측도에 대해 절대연속임을 증명하며, 델버그의 고전적 결과를 파라보릭 설정으로 일반화하고 타원형 경우에 대한 간소화된 증명도 제시한다.

ABSTRACT

We study parabolic operators H = $\\partial$t -- div $\\lambda$,x A(x, t)$\ abla$ $\\lambda$,x in the parabolic upper half space R n+2 + = {($\\lambda$, x, t) : $\\lambda$ > 0}. We assume that the coefficients are real, bounded, measurable, uniformly elliptic, but not necessarily symmetric. We prove that the associated parabolic measure is absolutely continuous with respect to the surface measure on R n+1 in the sense defined by A$\\infty$(dx dt). Our argument also gives a simplified proof of the corresponding result for elliptic measure.

연구 동기 및 목표

• 비대칭이고 시간에 의존하는 계수를 가진 2차 파라보릭 연산자에 대해 파라보릭 측도의 A∞-성질을 확립하는 것.
• 조화 측도에 대한 델버그의 고전적 결과를 파라보릭 설정으로 확장하는 것.
• 동일한 프레임워크를 사용하여 타원형 측도에 대한 A∞-성질에 대한 간소화된 증명을 제공하는 것.
• 비탄성 최대함수 제어를 통해 Lq-자료를 가진 딜레플란 문제를 해결하는 것.

제안 방법

• 이전 연구에서 개발된 시간에 의존하는 파라보릭 연산자에 대한 제곱 함수 추정과 비탄성 최대함수 추정을 활용한다.
• 기존의 기법을 따르며, 칼레슨 측도 추정으로의 환원을 적용한다.
• 이중 세분화와 공간 척도 블록을 이중 입방체와 파라보릭 확대를 이용해 분해한다.
• 문제를 국소화하고 오차 항을 제어하기 위해 단위 분할과 이중 절단을 사용한다.
• 열핵과 그 근사치를 통해 열핵과 그 도함수에 대한 점별 추정을 적용한다.
• 에너지 유형 추정에서 오차 항을 제어하기 위해 부분적 적분과 코시-슈바르츠/양의 부등식을 활용한다.

실험 결과

연구 질문

• RQ1 수렴형으로 표현된 비대칭이고 시간에 의존하는 파라보릭 연산자와 관련된 파라보릭 측도가 표면 측도에 대해 A∞-조건을 만족하는가?
• RQ2 비탄성 최대함수 제어를 통해 이러한 연산자에 대한 딜레플란 문제를 Lq-자료로 해결할 수 있는가?
• RQ3 파라보릭 문제의 파르세이드 핵이 어떤 p > 1에 대해 Lp에서 역 허들러 부등식을 만족하는가?
• RQ4 타원 이론에서 사용된 좌표변환 기법에 의존하지 않고 파라보릭 측도의 A∞-성질을 확립할 수 있는가?
• RQ5 이 증명 기법은 대칭 케이스에서 알려진 타원형 측도 결과를 단순화하는가?

주요 결과

• 파라보릭 측도는 표면 측도 dx dt에 대해 절대연속이며, 라돈-니코다임 도함수(파르세이드 핵)는 어떤 p ∈ (1, ∞)에 대해 척도 불변의 역 허들러 부등식을 만족한다.
• q가 p의 허들러 켤레인 Lq-자료를 가진 딜레플란 문제는 비탄성 최대함수의 제어를 통해 해가 존재한다.
• 이 증명은 실수, 유계, 가측, 균일 타원형이고 비대칭인 계수를 가진 파라보릭 측도의 A∞-성질을 확립하며, 이는 이전 결과를 비대칭 케이스로 일반화한다.
• 이 방법은 타원형 측도에 대한 A∞-성질에 대한 간소화되고 직접적인 증명을 제공하며, 이전 연구들(예: [14])에서 사용된 좌표변환 기법을 피한다.
• 핵심 추정은 제곱 함수 제어와 칼레슨 측도 추정에 기반하며, 오차 항은 이중 분할과 점별 핵 추정을 통해 균일하게 제어된다.
• 결과는 경계가 Rn+1인 상반평면 Rn+2+에서 성립하며, 계수는 공간과 시간 변수에 모두 의존한다.