[논문 리뷰] FROM DYADIC α TO α

Wael Abu-Shammala, Alberto Torchinsky|arXiv (Cornell University)|2007. 01. 01.

Advanced Harmonic Analysis Research참고 문헌 7인용 수 2

한 줄 요약

이 논문은 $\mathbb{R}^N$에서의 이분할 격자(dyadic grid)를 사용하여 $\alpha \geq 0$에 대해 동차 리프시츠 노름 $\|f\|_{\dot{\Lambda}_\alpha(\mathbb{R}^N)}$을 계산하는 방법을 수립한다. 이를 위해 특수 원자와 이분할 원자를 사용하여 하르키 하스프레스 $H^p(\mathbb{R}^N)$를 특성화하고 쌍대성(duality)을 적용한다. 핵심 결과는 차수 $\leq \lfloor \alpha \rfloor$인 다항식을 포함하는 최대함수를 바탕으로 한 노름 계산 공식으로, 이는 $\dot{\Lambda}_\alpha$ 노름을 이분할 큐브를 통해 명시적으로 평가할 수 있게 한다.

ABSTRACT

In this paper we show how to compute the �� norm , � � 0, using the dyadic grid. This result is a consequence of the description of the Hardy spaces H p (R N ) in terms of dyadic and special atoms. Recently, several novel methods for computing the BMO norm of a function f in two dimensions were discussed in (9). Given its importance, it is also of interest to explore the possibility of computing the norm of a BMO function, or more generally a function in the Lipschitz class �α, using the dyadic grid in R N. It turns out that the BMO question is closely related to that of approximating functions in the Hardy space H 1 (R N ) by the Haar system. The approximation in H 1 (R N ) by affine systems was proved in (2), but this result does not apply to the Haar system. Now, if H A (R) denotes the closure of the Haar system in H 1 (R), it is not hard to see that the distance d(f, H A ) of f ∈ H 1 (R) to H A is ∼ � R ∞ 0 f(x) dx �, see (1). Thus, neither dyadic atoms suffice to describe the Hardy spaces, nor the evaluation of thenorm in BMO can be reduced to a straightforward computation using the dyadic intervals. In this paper we address both of these issues. First, we give a characterization of the Hardy spaces H p (R N ) in terms of dyadic and special atoms, and then, by a duality argument, we show how to compute the norm in �α(R N ), α ≥ 0, using the dyadic grid. We begin by introducing some notations. Let J denote a family of cubes Q in R N , and Pd the collection of polynomials in R N of degree less than or equal to d. Given α ≥ 0, Q ∈ J, and a locally integrable function g, let pQ(g) denote the unique polynomial in P(α) such that (g − pQ(g)) χQ has vanishing moments up to order (α). For a locally square-integrable function g, we consider the maximal function M ♯,2 α,J g(x) given by

연구 동기 및 목표

• 이분할 격자 $\mathbb{R}^N$를 사용하여 $\alpha \geq 0$에 대해 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 노름을 계산하는 데 도전하는 것.
• 표준 이분할 원자로는 $H^1(\mathbb{R}^N)$를 설명하는 데 부족한 점을 극복하기 위해 이분할 원자와 특수 원자를 사용하여 하르키 공간 $H^p(\mathbb{R}^N)$를 특성화하는 것.
• 하르 시스템에 의한 $H^1$에서의 근사와 연결하여 이분할 간격을 통한 BMO 노름 계산의 어려움을 해결하는 것.
• 순간 제약 조건을 갖는 다항식을 포함하는 최대함수를 통해 $\dot{\Lambda}_\alpha$ 노름을 쌍대성 기반으로 계산하는 방법을 수립하는 것.

제안 방법

• 각 이분할 큐브 $Q$에 대해 $g - p_Q(g)$의 $\alpha$차 미분 순환 모멘트가 0이 되는 유일한 다항식 $p_Q(g) \in P(\alpha)$를 정의한다.
• 이분할 큐브 $Q \in J$에서의 $\alpha$차 순환 모멘트 조건을 바탕으로 최대함수 $M^{\sharp,2}_{\alpha,J}g(x)$를 정의한다.
• 하르키 공간 $H^p(\mathbb{R}^N)$과 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 사이의 쌍대성을 사용하여 $M^{\sharp,2}_{\alpha,J}g$의 행동과 $\dot{\Lambda}_\alpha$ 노름을 연결한다.
• 표준 이분할 원자로는 부족한 $H^1$의 표현을 보장하기 위해 이분할 원자와 특수 원자를 사용하여 $H^p(\mathbb{R}^N)$을 특성화한다.
• 쌍대성 추론을 적용하여 이분할 격자와 순환 모멘트 제약 조건을 갖는 다항식을 사용한 $\|f\|_{\dot{\Lambda}_\alpha(\mathbb{R}^N)}$의 공식을 유도한다.

실험 결과

연구 질문

• RQ1 이분할 격자 $\mathbb{R}^N$를 사용하여 $\alpha \geq 0$에 대해 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 노름을 계산할 수 있는가?
• RQ2 이분할 원자와 특수 원자를 동시에 사용하여 하르키 공간 $H^p(\mathbb{R}^N)$을 어떻게 특성화할 수 있으며, 이는 완전성을 보장하는가?
• RQ3 하르 시스템에 의한 $H^1(\mathbb{R}^N)$ 함수의 근사와 BMO 또는 $\dot{\Lambda}_\alpha$ 노름 계산 사이의 관계는 무엇인가?
• RQ4 순간 제거 다항식의 차수 $\alpha$는 이분할 큐브를 통해 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 노름 계산에 얼마나 깊이 기여하는가?

주요 결과

• $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 노름은 이분할 큐브를 기반으로 한 최대함수 $M^{\sharp,2}_{\alpha,J}g(x)$를 포함하는 쌍대성 기반 공식을 통해 계산할 수 있다.
• 이분할 원자와 특수 원자를 사용한 $H^p(\mathbb{R}^N)$의 특성화로 인해 표준 이분할 원자로는 $H^1(\mathbb{R}^N)$을 설명하는 데 부족했던 점이 해결된다.
• $H^1(\mathbb{R})$에 속한 함수 $f$가 $H^1(\mathbb{R})$에서 하르 시스템의 폐포로부터의 거리는 $\left| \int_{\mathbb{R}} f(x) dx \right|$에 비례함을 보여, 하르 기반 근사의 $H^1$에서의 한계를 드러낸다.
• $g - p_Q(g)$의 순환 모멘트를 차수 $\alpha$까지 제거하는 다항식 $p_Q(g)$를 $P(\alpha)$ 내에서 유일하게 구성함으로써, 노름 계산을 위한 정밀한 국소 다항식 근사가 가능해진다.
• 이 방법은 순환 조건을 통해 $\dot{\Lambda}_\alpha$ 노름과 이분할 격자 사이에 직접적인 연결 고리를 형성하여, 전역 함수 행동에 의존하지 않고도 명시적인 계산을 가능하게 한다.