[논문 리뷰] Remarks on Nehari's problem, matrix $A_2$ condition, and weighted bounded mean oscillation

Alexander Volberg, Peter Yuditskii|ArXiv.org|2008. 03. 15.

Holomorphic and Operator Theory참고 문헌 15인용 수 3

한 줄 요약

이 논문은 비유일 해의 경우에 해당하는 네하리 문제를 다루며, 해의 $H^\infty$-파arametrization에서 생성 함수 $\phi$의 정규성에 대한 새로운 충분조건을 제안한다. 이 조건은 가중된 유계 평균 진동(BMO)과 행렬 $A_2$ 조건과 연결되며, $|f - \langle f\rangle_I|^2 / (1 - |f|^2)$에 대해 특정한 $A_2$-유형 조건을 만족하는 경우, 해당하는 허겔 연산자의 노름이 1보다 작아짐을 증명한다. 핵심 기여는 $w \in A_2$일 때, $w_c = (1 - |\phi_c|^2)/|1 - \phi_c|^2$의 허글로츠 분해에서 특별한 부분이 존재하지 않음을 직접적으로 증명함으로써, 조화 연장과 토피티우스 역행렬성에 기반한 정규성에 대한 새로운 기준을 수립하는 것이다.

ABSTRACT

We consider Nehari's problem in the case of non-uniqueness of solution. The solution set is then parametrized by the unit ball of $H^{\infty}$ by means of so-called {\em regular generators} -- bounded holomorphic functions $ϕ$. The definition of {\em regularity} is given below, but let us mention now that 1) the following assumption on modulus of $ϕ$ is sufficient for {\em regularity}: $\frac{1}{1-|ϕ|^2}\in L^1(\mathbb{T})$; 2) there is no necessary and sufficient condition of {\em regularity} on bounded holomorphic $ϕ$ in terms of $|ϕ|$ on $\mathbb{T}$, \cite{Kh1}. This makes reasonable the attempt to find a weaker sufficient condition on $|ϕ|$ than the condition in 1). This is done here. Also we are discussing certain new necessary and sufficient conditions of {\em regularity} in terms of bounded mean (weighted) oscillations of $ϕ$. They involve the matrix $A_2$ condition from \cite{TV}.

연구 동기 및 목표

• 해가 비유일적일 경우 네하리 문제의 정규 해를 특성화하기 위해.
• 생성 함수 $\phi$의 정규성에 대해 $1/(1 - |\phi|^2) \in L^1$보다 더 약한 조건인 $|\phi|$의 $\mathbb{T}$ 상에서의 충분조건을 규명하기 위해.
• 가중 유계 평균 진동(BMO)과 행렬 $A_2$ 조건을 바탕으로 정규성에 대한 필요 및 충분조건을 수립하기 위해.
• Herglotz 표현에서 $w_c = (1 - |\phi_c|^2)/|1 - \phi_c|^2$의 특별한 부분이 존재하지 않음을, Arov-Dym 이론에 의존하지 않는 직접적인 증명을 통해 확립하기 위해.

제안 방법

• 유계 해석 함수 $\phi \in H^\infty$를 사용하여 네하리 문제의 해 집합을 매개변수화하며, $\|\phi\|_\infty \leq 1$, $\int_\mathbb{T} \log(1 - |\phi|) \, dm > -\infty$, 그리고 $\phi(0) = 0$ 조건을 만족시킨다.
• 유니터리 행렬 $\mathcal{S}_\phi = \begin{bmatrix} \phi & \psi \\ \psi & f_0 \end{bmatrix}$ 를 도입하며, 여기서 $\psi$ 는 $\log(1 - |\phi|^2)$의 허글로츠 적분을 통해 정의된 외부 함수이며, $f_0 = -\bar{\phi}\psi / \bar{\psi}$ 이다.
• 함수 $f = \phi$ 에 대해 $\sup_I \frac{1}{|I|} \int_I \frac{|f - \langle f\rangle_I|^2 + (1 - |\langle f\rangle_I|^2)}{1 - |f|^2} \, dm < \infty$ 를 만족하는 가중 $A_2$-유형 조건을 정의하며, 이 조건은 허겔 연산자 $\Gamma x = P_-(f x)$ 에 대해 $\|\Gamma\| < 1$ 이 성립하게 한다.
• 함수 $w = (1 - |\phi|^2)/|1 - \phi|^2$ 의 허글로츠 표현을 사용하여, $w \in A_2$ 이면 임의의 실수 $c$ 에 대해 $w_c = (1 - |\phi_c|^2)/|1 - \phi_c|^2$ 가 그 허글로츠 분해에서 특별한 부분을 가지지 않음을 조화 연장과 토피티우스 역행렬성에 의해 보여준다.
• $\Gamma_{\bar{g}_c / g_c} = e^{-ic} \Gamma_{\bar{g}_0 / g_0}$ 를 증명하고, 헬슨-슈에고 정리에 의해 $|g_0|^2 \in A_2$ 이면 $\|\Gamma_{\bar{g}_0 / g_0}\| < 1$ 이므로, 이는 로테이션에 대해 유지됨을 보인다.
• $|1 - \phi_c|^2 / (1 - |\phi|^2) \in A_2$ 를 보이기 위해 $1/g_c \in H^2$ 이고, $g_c$ 가 $|h|^2 \in A_2$ 인 $H^2$ 함수의 상수배임을 보여, $A_2$ 조건과 $\phi$ 의 정규성 간의 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 비유일 해의 네하리 문제 해 생성자 $\phi$ 의 정규성 보장을 위해 $1/(1 - |\phi|^2) \in L^1$ 보다 더 약한 $|\phi|$ 의 $\mathbb{T}$ 상에서의 조건은 무엇인가?
• RQ2 행렬 $A_2$ 조건을 사용하여 $f = \phi$ 의 가중 BMO 조건에 기반한 $\phi$ 의 정규성 특성화가 가능한가?
• RQ3 만약 $w \in A_2$ 이면, $w_c = (1 - |\phi_c|^2)/|1 - \phi_c|^2$ 의 허글로츠 표현에서 특별한 부분이 존재하지 않는가?
• RQ4 만약 $f = \phi$ 가 조건 $\sup_I \frac{1}{|I|} \int_I \frac{|f - \langle f\rangle_I|^2 + (1 - |\langle f\rangle_I|^2)}{1 - |f|^2} \, dm < \infty$ 을 만족하면, 허겔 연산자 노름 $\|\Gamma\| < 1$ 이 보장되는가?
• RQ5 생성 함수 $g_c = (1 - \phi_c)/\psi$ 에서 유도된 단위 원자 부호를 가진 토피티우스 연산자의 역행렬성에 의해 $\phi$ 의 정규성이 특성화될 수 있는가?

주요 결과

• $f = \phi$ 에 대해 조건 $\sup_I \frac{1}{|I|} \int_I \frac{|f - \langle f\rangle_I|^2 + (1 - |\langle f\rangle_I|^2)}{1 - |f|^2} \, dm < \infty$ 가 성립하면, 허겔 연산자 $\Gamma x = P_-(f x)$ 에 대해 $\|\Gamma\| < 1$ 이 성립함을 보여, 이는 $\phi$ 가 네하리 문제의 정규 해를 생성함을 보장한다.
• $w = (1 - |\phi|^2)/|1 - \phi|^2 \in A_2$ 이면, $w$ 의 조화 연장은 $\|\phi\|_\infty \leq 1$ 를 만족하는 $H^\infty$ 함수 $\phi$ 를 유도하며, 임의의 실수 $c$ 에 대해 관련된 $w_c = (1 - |\phi_c|^2)/|1 - \phi_c|^2$ 는 허글로츠 분해에서 특별한 부분이 없음을 보여, 이는 $w_c$ 가 순수하게 절대 연속적임을 의미한다.
• $g_c = (1 - \phi_c)/\psi$ 는 $g_c \in H^2$ 를 만족하며, 허겔 연산자 $\Gamma_{\bar{g}_c / g_c}$ 는 노름이 1보다 작으며, 이는 토피티우스 연산자 $T_{\bar{g}_c / g_c}$ 가 역행렬을 가짐을 의미한다.
• $\Gamma_{\bar{g}_c / g_c} = e^{-ic} \Gamma_{\bar{g}_0 / g_0}$ 이 성립하며, $|g_0|^2 \in A_2$ 이면 헬슨-슈에고 정리에 의해 $\|\Gamma_{\bar{g}_0 / g_0}\| < 1$ 이므로, 이 노름 조건은 로테이션에 대해 유지된다.
• $1/g_c = \psi / (1 - \phi_c)$ 는 $H^2$ 에 속하며, $1/|g_c|^2 = \operatorname{Re} \left( \frac{1 + \phi_c}{1 - \phi_c} \right)$ 는 양의 실수부를 가지므로, $|1 - \phi_c|^2 / (1 - |\phi|^2) \in A_2$ 를 유도한다. 이는 정규성에 대한 새로운 $A_2$-기반 기준을 제공한다.
• $w_c$ 의 허글로츠 표현에서 특별한 부분이 존재하지 않음은 $w_c$ 가 균일하게 $A_2$ 에 속한다는 것과 동치이며, 이는 $T_{\bar{g}_c / g_c}$ 의 역행렬성과 $g_c$ 가 $|h|^2 \in A_2$ 인 $H^2$ 함수의 상수배임을 통해 증명된다.