[논문 리뷰] Failure of necessity of the energy condition

Eric T. Sawyer, Chun‐Yen Shen외 1명|arXiv (Cornell University)|2016. 07. 20.

Geometric Analysis and Curvature Flows참고 문헌 18인용 수 3

한 줄 요약

이 논문은 캐럴론-지그문트 연산자의 두 가중치 $L^2$ 유계성에 에너지 조건이 필수적이지 않음을 보여주는 반례를 구성한다. 이는 커널이 타원성을 만족하더라도 성립한다. 저자들은 타원성은 만족하지만 기울기 타원성은 만족하지 않는 평탄화된 힐버트 커널을 정의하고, 실수선 위에서 연산자가 유계이지만 에너지 조건이 실패하는 가중치 쌍을 구성함으로써, 두 가중치 $T1$ 정리에서 에너지 조건이 필요하기 위해서는 기울기 타원성이 필요하다는 것을 입증한다.

ABSTRACT

We give an example of a pair of weights (u,v) on the line, and an elliptic convolution singular integral operator H on the line, such that H_u is bounded from L^2(u) to L^2(v), yet the measure pair (u,v) fails to satisfy the backward energy condition. The key to the construction is that the kernel K of H has flat spots where d/dx K(x) = 0. Conversely, we show that if H is gradient elliptic, i.e. d/dx K(x) =< c < 0, then the energy conditions are necessary for boundedness of H, and by our theorem in arXiv:1603.04332v2, the T1 theorem holds for H.

연구 동기 및 목표

• 특이적분에 대한 두 가중치 $T1$ 정리에서 에너지 조건의 필수성을 도전하기.
• 연산자가 유계이지만 에너지 조건이 실패하는 반례를 구성하기.
• 기울기 타원성이 에너지 조건의 필수성에 미치는 역할을 명확히 하기.
• 커널이 기울기 타원성을 갖지 않더라도 표준 타원성을 만족하는 한 에너지 조건이 필요하지 않다는 것을 보여주기.

제안 방법

• 표현식 $|K_{\flat}(x)| \gtrsim 1/|x|$를 만족하지만 $|K_{\flat}'(x)| \gtrsim 1/|x|^2$를 만족하지 않는 부드럽고 평탄화된 힐버트 변환 커널 $K_{\flat}(x)$를 구성하기.
• 이 커널을 사용하여 타원성은 만족하지만 기울기 타원성은 만족하지 않는 특이적분 연산자 $H_{\flat}$ 정의하기.
• 자기유사 캐논타입 측도 구성 방법을 사용하여 $\mathbb{R}$ 위의 가중치 쌍 $(\widehat{\sigma}, \widehat{\omega})$ 구성하기.
• 이중 나무 구조와 자기유사성을 이용하여 간격에서의 테스팅 조건과 에너지 조건 분석하기.
• 앞서와 뒤로의 테스팅 조건이 균일하게 성립하고, $A_2$ 조건이 유한하다는 것을 보여주기.
• 연산자가 $L^2(\widehat{\sigma})$ 에서 $L^2(\widehat{\omega})$ 로 유계이지만, $(\widehat{\sigma}, \widehat{\omega})$ 에서 뒤집힌 에너지 조건이 실패한다는 것을 증명하기.

실험 결과

연구 질문

• RQ1 캐럴론-지그문트 연산자에 대해, 취소 성질이 있는 두 가중치 $L^2$ 유계성에 에너지 조건이 필수적인가?
• RQ2 유계인 연산자가 $A_2$ 조건과 테스팅 조건을 만족하면서도 에너지 조건을 만족하지 못할 수 있는가?
• RQ3 커널의 기울기 타원성이 없을 경우, 에너지 조건의 필수성이 무너지는가?
• RQ4 비기울기 타원성 커널이 에너지 조건 없이 두 가중치 $T1$ 정리를 지탱할 수 있는가?
• RQ5 에너지 조건이 필수적이기 위해 필요한 커널의 최소 정규성 조건은 무엇인가?

주요 결과

• 구성된 가중치 $(\widehat{\sigma}, \widehat{\omega})$ 에 대해 연산자 $H_{\flat,\sigma}$ 는 $L^2(\widehat{\sigma})$ 에서 $L^2(\widehat{\omega})$ 로 유계이다.
• 측도 쌍 $(\widehat{\sigma}, \widehat{\omega})$ 는 $A_2$ 조건과 앞서와 뒤로의 테스팅 조건을 균일하게 만족한다.
• 연산자의 유계성에도 불구하고 $(\widehat{\sigma}, \widehat{\omega})$ 에서 뒤집힌 에너지 조건이 실패한다.
• 커널 $K_{\flat}$ 는 타원성을 만족하지만 기울기 타원성을 만족하지 않으며, $K_{\flat}$ 가 평탄한 구간에서 $K_{\flat}'(x) = 0$ 이기 때문이다.
• 에너지 조건의 실패는 정확히 커널이 기울기 타원성을 갖지 않기 때문에 발생하며, 이는 기울기 타원성이 에너지 조건의 필수성에 있어 필수적임을 보여준다.
• 결과적으로 에너지 조건이 두 가중치 $T1$ 정리에서 항상 필수적인 것은 아니며, 기울기 타원성이 가정된 경우에만 필수적임을 시사한다.