[논문 리뷰] Affine synthesis and coefficient norms for Lebesgue, Hardy and Sobolev spaces

Huy‐Qui Bui, Richard S. Laugesen|ArXiv.org|2006. 08. 29.

Advanced Harmonic Analysis Research참고 문헌 35인용 수 6

한 줄 요약

이 논문은 애파인 합성 연산자를 통해 르베그, 하르디, 소볼레프 공간과 혼합노름 수열공간 간의 노름 동치성을 수립한다. 함수의 $L^p$ 노름이 애파인 프레임에서의 계수의 최소 $\.ell^1(\ell^p)$-노름과 동치임을 증명하며, 이는 이산 하르디 공간과 계수에 대한 차분 연산자를 사용하여 $H^1$ 및 $W^{m,p}$로 확장된다.

ABSTRACT

The affine synthesis operator is shown to map the mixed-norm sequence space $\ell^1(\ell^p)$ surjectively onto $L^p(\Rd), 1 \leq p < \infty$, assuming the Fourier transform of the synthesizer does not vanish at the origin and the synthesizer has some decay near infinity. Hence the standard norm on $f \in L^p(\Rd)$ is equivalent to the minimal coefficient norm of realizations of $f$ in terms of the affine system. We further show the synthesis operator maps a discrete Hardy space onto $H^1(\Rd)$, which yields a norm equivalence for Hardy space involving convolution with a discrete Riesz kernel sequence. Coefficient norm equivalences are established also for Sobolev spaces, by applying difference operators to the coefficient sequences.

연구 동기 및 목표

• 애파인 합성 연산자가 고전적 함수공간으로 전수적으로 맵핑되도록 하기 위한 최적의 수열공간 도메인을 규명하는 것.
• 애파인 체계의 맥락에서 함수공간 노름과 계수 수열 노름 간의 노름 동치성을 수립하는 것.
• 특이적 적분의 이산적 유사체와 차분 연산자를 사용하여 $L^p$에서 하르디 공간 및 소볼레프 공간으로 결과를 확장하는 것.
• 합성자 $\psi$에 대한 약한 조건들(예: 무한대에서 반경에 따라 감소하는 $L^1$ 상한, 0이 아닌 적분)이 전수성과 노름 동치성에 충분함을 보이는 것.
• 바나흐 프레임과 세사로 수렴을 사용하여 분석과 합성 간의 관계를 체계화하는 것.

제안 방법

• 애파인 합성 연산자 $S c = \sum_{j>0} \sum_{k \in \mathbb{Z}^d} c_{j,k} \psi_{j,k}$ 를 정의하며, $\psi_{j,k}(x) = |\det a_j|^{1/p} \psi(a_j x - b k)$ 이며, $a_j$ 는 확장 행렬이고 $b$ 는 이동 행렬이다.
• 적분 조건 $\int_{\mathbb{R}^d} \psi \, dx = 1$ 과 무한대에서 반경에 따라 감소하는 $L^1$ 상한을 가정하여 유계성과 전수성을 확보한다.
• 함수 $S: \ell^1(\ell^p) \to L^p$ 가 $1 \leq p < \infty$ 에 대해 유계이고 선형적이며 전수적임을 증명하며, 이로 인해 노름 동치 $\|f\|_p \approx \inf \|c\|_{\ell^1(\ell^p)}$ 가 유도된다.
• 하르디 공간의 경우, 이산 리에즈 핵 $\{z_\ell\}$ 과의 커플링을 통해 이산 하르디 공간 $h^1$ 을 정의하고, $S: \ell^1(h^1) \to H^1$ 이 전수적임을 보이며 $\|f\|_{H^1} \approx \inf \|c\|_{\ell^1(h^1)}$ 를 얻는다.
• 소볼레프 공간 $W^{m,p}$ 의 경우 계수 수열 $c_{j,k}$ 에 차분 연산자를 적용하여 도함수를 모델링하고, 이산 도함수를 포함하는 노름 동치를 이끌어낸다.
• 스케일 평균화된 근사와 세사로 평균을 사용하여 수렴을 다루고 바나흐 프레임을 정의하며, 합성 연산자가 극한에서 함수를 복원함을 보장한다.

실험 결과

연구 질문

• RQ1 애파인 합성 연산자가 $L^p(\mathbb{R}^d)$ 로 전수적으로 맵핑되도록 하기 위한 최소 수열공간 도메인은 무엇인가?
• RQ2 함수 $f$ 의 $H^1(\mathbb{R}^d)$ 노름은 이산 하르디 공간에서의 계수 수열을 통해 어떻게 특징지을 수 있는가?
• RQ3 계수 수열에 대한 차분 연산자가 소볼레프 공간 노름을 특징지우는 데 어떤 역할을 하는가?
• RQ4 합성자 $\psi$ 에 대한 최소한의 가정 하에 합성 연산자가 $H^1$ 및 $W^{m,p}$ 에서 노름 동치를 달성할 수 있는가?
• RQ5 세사로 수렴 조건 하에서 합성 연산자가 $L^p$, $H^1$, $W^{m,p}$ 공간에 대해 바나흐 프레임가 되는가?

주요 결과

• 애파인 합성 연산자 $S: \ell^1(\ell^p) \to L^p$ 는 $1 \leq p < \infty$ 에 대해 유계이고 선형적이며 전수적이다. 이는 $\psi$ 가 무한대에서 반경에 따라 감소하는 $L^1$ 상한을 가지며 $\int \psi \, dx = 1$ 이라는 조건을 만족할 때 성립한다.
• 함수 $f$ 의 $L^p$ 노름은 그 계수 수열의 $\ell^1(\ell^p)$-노름의 하한과 동치이다: $\|f\|_p \approx \inf \left\{ \sum_{j>0} \left( \sum_{k \in \mathbb{Z}^d} |c_{j,k}|^p \right)^{1/p} : f = S c \right\}$.
• 하르디 공간 $H^1(\mathbb{R}^d)$ 에서는 합성 연산자가 $\ell^1(h^1)$ 에서 $H^1$ 으로 전수적으로 맵핑되며, $\|f\|_{H^1} \approx \inf \left\{ \sum_{j>0} \sum_{k \in \mathbb{Z}^d} \left( |c_{j,k}| + \left| \sum_{\ell \in \mathbb{Z}^d} z_\ell c_{j,k-\ell} \right| \right) : f = S c \right\}$ 를 만족한다. 여기서 $\{z_\ell\}$ 은 이산 리에즈 핵이다.
• 소볼레프 공간 $W^{m,p}(\mathbb{R}^d)$ 에서는 계수 수열 $c_{j,k}$ 에 차분 연산자를 적용하여 도함수를 모델링하고, 이에 기반한 노름 동치가 성립한다.
• 결과는 국소화된 도메인 $\Omega \subset \mathbb{R}^d$ 로 확장되며, 이 경우 국소화된 노름 동치가 성립한다.
• 합성 연산자는 세사로 수렴하는 수열로 제한되었을 때 $L^p$, $H^1$, $W^{m,p}$ 에 대해 바나흐 프레임를 형성하며, 분석-합성 쌍이 극한에서 함수를 복원한다.