[논문 리뷰] Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one

Guy David, Max Engelstein외 1명|arXiv (Cornell University)|2018. 08. 27.

Numerical methods in inverse problems참고 문헌 19인용 수 5

한 줄 요약

이 논문은 하향 차원 아르골레 정규 집합에 대해, 보완부에서 정규화된 거리 함수의 기울기의 진동을 통해 균일하고 일반적인 직선성의 특성을 규명한다. 이는 코드림이 1보다 큰 경우에 대해 새로운 리에스 변환 유형의 직선성 특성화를 드러내며, 정규화된 거리 함수가 열화된 타원형 편미분방정식을 만족하는 특수한 경우를 규명하여 조화 측도의 명시적 계산이 가능하게 하고, 다hlberg의 정리의 역이 추가 조건 없이 고차원에서 성립하지 않음을 보여준다.

ABSTRACT

In this paper, we characterize the rectifiability (both uniform and not) of an Ahlfors regular set, E, of arbitrary co-dimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a certain version of the Riesz transform characterization of rectifiability for lower-dimensional sets. We also uncover a special situation in which the regularized distance is itself a solution to a degenerate elliptic operator in the complement of E. This allows us to precisely compute the harmonic measure of those sets associated to this degenerate operator and prove that, in a sharp contrast with the usual setting of co-dimension one, a converse to the Dahlberg's theorem (see [Da] and [DFM2]) must be false on lower dimensional boundaries without additional assumptions.

연구 동기 및 목표

• 코드림이 1보다 큰 집합으로 리에스 변환 및 조화 측도를 통한 직선성 특성화를 확장한다.
• 다ahlberg의 정리의 역—조화 측도와 직선성 간의 연결성—이 고차원에서 성립하는지 조사한다.
• 정규화된 거리 함수가 집합의 보완부에서 열화된 타원형 편미분방정식을 만족하는 조건을 규명한다.
• 정규화된 거리 함수가 열화된 타원형 연산자를 만족하는 특수한 경우에 대해 조화 측도를 명시적으로 계산한다.
• 고차원에서 균일 직선성 집합에 대해 제곱 함수 추정을 수립한다.

제안 방법

• 하향 차원 집합의 기하학적 및 분석적 성질를 분석하기 위해 정규화된 거리 함수 $ D_{\mu,\alpha} $ 를 도입한다.
• 기울기 $ |\nabla D_{\mu,\alpha}| $ 를 사용하여 보완부에서의 진동과 제곱 함수 추정을 통해 직선성을 특성화한다.
• 확대 기법과 비탄성 극한을 적용하여 $ E $ 의 점 근처에서 $ |\nabla D| $ 의 점근적 행동을 연구한다.
• 특정한 '마법의' $ \alpha $ 값에서 $ D_{\alpha} $ 가 열화된 타원형 편미분방정식을 만족함을 규명하여 그린 함수 및 조화 측도의 명시적 계산이 가능하게 한다.
• 콤���트성 추론과 탄성 측도를 활용하여 스케일링된 함수의 극한을 분석하고 점근적 행동을 유도한다.
• 이탈적 적분과 탄성 평면에서의 반사 대칭을 활용하여 $ \nabla D $ 를 포함하는 적분의 극한을 계산하고, 조화 측도의 라돈-니코다임 미분과 표면 측도 간의 명시적 공식을 도출한다.

실험 결과

연구 질문

• RQ1 코드림이 1보다 큰 집합으로 리에스 변환을 통한 직선성 특성화를 확장할 수 있는가?
• RQ2 조화 측도가 표면 측도에 대해 절대 연속이면 직선성이 성립한다는 다ahlberg의 정리의 역이 고차원에서 성립하는가?
• RQ3 정규화된 거리 함수 $ D_{\alpha} $ 가 집합의 보완부에서 열화된 타원형 편미분방정식의 해가 되는 조건은 무엇인가?
• RQ4 정규화된 거리 함수 $ D_{\alpha} $ 가 열화된 타원형 편미분방정식의 해일 경우, 조화 측도와 표면 측도 간의 정확한 관계는 무엇인가?
• RQ5 비탄성 극한 $ |\nabla D| $ 는 표면 측도의 밀도와 $ E $ 의 기하학적 성질과 어떻게 관련되는가?

주요 결과

• 논문은 $ d $-아르골레 정규 집합 $ E \subset \mathbb{R}^n $ 의 균일 직선성에 대해 보완부에서 $ |\nabla D_{\mu,\alpha}| $ 의 진동을 기반으로 필요충분조건을 수립하여, 리에스 변환 특성화를 고차원으로 확장한다.
• 특정한 '마법의' $ \alpha $ 값에서 정규화된 거리 $ D_{\alpha} $ 는 열화된 타원형 편미분방정식을 만족하며, 그린 함수와 조화 측도의 명시적 계산이 가능해진다.
• 이 특수한 경우에 조화 측도 $ \omega_{\sigma,\alpha} $ 는 표면 측도 $ \sigma = \mathcal{H}^d|_E $ 와 비례함을 보이며, 이는 $ E $ 가 비균일할지라도 성립하며, 코드림 1의 경우와는 뚜렷한 대비를 이룬다.
• 표면 측도에 거의 전부에 대해 $ \sigma $-a.e. $ Q \in E $ 에서 $ |\nabla D| $ 의 비탄성 극한이 $ L = c_{n,d} \Theta^d(\sigma, Q)^{-1/\alpha} $ 임을 보였으며, $ \Theta^d(\sigma, Q) = 1 $ 이면 이 극한은 일정하다.
• 라돈-니코다임 미분 $ \frac{d\omega}{d\sigma}(Q) $ 가 $ L^{-(n-d-2)} $ 에 비례함을 보여, 거리 함수의 기울기와 조화 측도의 밀도 사이의 정량적 연결 고리를 확립한다.
• 결과적으로 코드림이 1보다 큰 경우에 다ahlberg의 정리의 역이 추가 조건 없이 성립하지 않음을 입증하였으며, 조화 측도가 표면 측도에 대해 절대 연속이어도 $ E $ 가 균일 직선적이지 않을 수 있음을 보여준다.