[논문 리뷰] The $L^p$ Dirichlet boundary problem for second order Elliptic Systems with rough coefficients

Martin Dindoš, Marius Mitrea외 1명|Edinburgh Research Explorer|2017. 08. 03.

Advanced Harmonic Analysis Research참고 문헌 27인용 수 5

한 줄 요약

이 논문은 립시츠 그래프 위의 도메인에서 거칠은 계수를 가진 2차 강타원계수 시스템의 $L^p$ 딜리클레 경계 문제 해법 가능성을 입증한다. 이는 $p \approx 2$ 에서 성립하며, 계수에 카르레손 조건을 적용한 새로운 접근법을 통해 제곱 함수 및 비접선 최대 함수 추정을 사용하여 해법 가능성을 $p \in (2 - \varepsilon, 2(n-1)/(n-2) + \varepsilon)$ 로 확장한다. 이 결과는 등방성 비균일 물질의 라메 시스템에 적용되며, 푸아송 비율 $\nu < 0.396$ 인 경우에 대해 성립한다. 주요 기여는 최대 원리 및 데 지오르기-나시-모저 이론이 시스템에 대해 적용되지 않는 상황에서, 대체로 $L^p$-추정을 통해 이를 극복한 데 있다.

ABSTRACT

Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon&gt;0$). The main novel aspect of our result is that the coefficients of the operator do not have to be constant, or have very high regularity, instead they will satisfy a natural Carleson condition that has appeared first in the scalar case. A significant example of a system to which our result may be applied is the Lamé system for isotropic inhomogeneous materials. We show that our result applies to isotropic materials with Poisson ratio $ν&lt;0.396$. Dealing with genuine systems gives rise to substantial new challenges, absent in the scalar case. Among other things, there is no maximum principle for general elliptic systems, and the De Giorgi - Nash - Moser theory may also not apply. We are, nonetheless, successful in establishing estimates for the square-function and the nontangential maximal operator for the solutions of the elliptic system described earlier, and use these as alternative tools for proving $L^p$ solvability results for $p$ near $2$.

연구 동기 및 목표

• 일般 타원계수 시스템에서 최대 원리 및 데 지오르기-나시-모저 이론의 부재로 인해 표준 $L^p$ 보간 방법을 적용할 수 없는 문제를 해결한다.
• 립시츠 도메인에서 거칠은 계수를 가진 2차 타원계수 시스템에 대해 $p \in (2 - \varepsilon, 2(n-1)/(n-2) + \varepsilon)$ 범위 내에서 $L^p$ 해법 가능성을 확립한다.
• 이전에 스칼라 경우에 사용된 카르레손 조건을 시스템으로 확장하여 저규칙성 계수를 허용한다.
• 최대 원리가 존재하지 않기 때문에 $L^\infty$-끝점 추정이 필요로 하지 않는 $L^p$ 해법 가능성의 프레임워크를 제공한다.
• 결과를 등방성 비균일 물질의 라메 시스템에 적용하여, 해법 가능성이 성립하는 푸아송 비율의 범위를 규명한다.

제안 방법

• 최대 원리 부재 문제를 다루기 위해 $L^2$ 평균 기반의 약화된 비접선 최대 함수를 도입한다.
• 점별 추정 대신 제곱 함수 추정과 비접선 최대 함수 제어를 주요 도구로 사용한다.
• 계수 변동에 대해 카르레손 조건을 적용하여 경계 근처에서 진동의 $L^p$-노름이 작다는 것을 보장한다.
• 자유 매개변수 $r(x)$ 를 통해 시스템을 $A^{\alpha\beta}_{0j} = \delta^{\alpha\beta}\delta_{0j}$ 형태의 표준형으로 재구성함으로써 구조적 분석을 가능하게 한다.
• $L^2$ 해법 가능성에서 $p \approx 2$ 에서의 $L^p$ 해법 가능성으로의 외삽을 적용하여 정규성 문제를 해결할 필요 없이 진행한다.
• 블록 구조 계수 행렬에 대한 행렬의 정규성 분석과 고유값 추정을 통해 강타원성 조건을 검증한다.

실험 결과

연구 질문

• RQ1 립시츠 도메인에서 거칠은 계수를 가진 2차 타원계수 시스템에 대해 $L^p$ 딜리클레 문제의 해법 가능성이 성립하는 $p$ 의 범위는 무엇인가요?
• RQ2 최대 원리 및 데 지오르기-나시-모저 이론이 시스템에 적용되지 않는 상황에서, $p \approx 2$ 에서 $L^p$ 해법 가능성을 어떻게 확립할 수 있나요?
• RQ3 이전에 스칼라 경우에 사용된 카르레손 조건을 시스템으로 확장하여 저규칙성 계수를 허용할 수 있을까요?
• RQ4 라메 시스템에 대해 강타원성과 $L^p$ 해법 가능성이 $p \approx 2$ 에서 성립하기 위한 구조적 조건은 무엇인가요?
• RQ5 보조 함수 $r(x)$ 의 선택이 시스템의 타원성과 해법 가능성에 어떻게 영향을 미치나요?

주요 결과

• 카르레손 조건을 만족하는 계수 조건 하에, 강타원계수 시스템의 $L^p$ 딜리클레 문제는 $p \in (2 - \varepsilon, 2(n-1)/(n-2) + \varepsilon)$ 에서 해법 가능하다.
• 최대 원리가 존재하지 않는 상황에서 제곱 함수 추정과 비접선 최대 함수 추정이 핵심 도구로 기능한다.
• 강타원성은 $\operatorname{ess\,inf}_x \{ (\sqrt{8} - 1)\mu(x) + \lambda(x), (\sqrt{8} + 1)\mu(x) - \lambda(x) \} > 0$ 일 때 검증된다.
• 이 방법은 푸아송 비율 $\nu < 0.396$ 인 등방성 비균일 물질에 적용 가능하여 기존 결과를 거친 계수로 확장한다.
• 정규성 문제를 해결할 필요 없이, 비접선 최대 함수에 대한 $L^p$-추정을 통해 $L^2$ 해법 가능성에서 $p \approx 2$ 로의 외삽이 가능하다.
• 계수 재구성에서 보조 함수 $r(x)$ 의 최적 선택은 강타원성을 보장하고 카르레손 조건을 만족시키는 데 기여한다.