[논문 리뷰] Infinite dimension of solutions for Dirichlet problem II

Vladimir Ryazanov|arXiv (Cornell University)|2014. 02. 10.

Analytic and geometric function theory참고 문헌 1인용 수 3

한 줄 요약

이 논문은 단위 원판 내의 조화함수 공간 중 거의 everywhere에서 비접선 경계극한이 0인 것의 차원이 무한하다는 것을 증명한다. 단위 원판에서의 Poisson-Stieltjes 적분을 이용하여 특이 측도(예: 단계 함수와 칸토어 함수)를 사용함으로써, 영 경계값을 가진 딜리클레 문제의 비자명한 해들로 이루어진 비가чёт 수의 가중치를 가진 가족을 구성한다. 이는 영 경계값 조건 하에서도 해 공간이 무한차원이 될 수 있음을 보여준다.

ABSTRACT

It is proved that the dimension of the space of solutions of the Dirichlet problem for the harmonic functions in the unit disk with nontangential boundary limits 0 a.e. is infinite.

연구 동기 및 목표

• 단위 원판 내에서 거의 everywhere에서 비접선 경계극한이 0인 조화함수의 무한차원 공간의 존재를 확립하는 것.
• 단계 함수와 칸토어 함수를 포함한 특이 측도를 이용하여 이러한 해들의 명시적 예를 구성하는 것.
• 이러한 해들이 $ L^1 $ 함수의 Poisson 적분으로 표현될 수 없음을 보여, $ p > 1 $인 표준적인 $ h_p $ 클래스 외부에 있음을 시사하는 것.
• 이러한 해들의 공간이 샤펄 기저를 지닌다는 것을 보여, 분리 가능성과 무한차원성을 입증하는 것.
• 해 공간의 하멜 기저가 연속체의 기수를 가지는지 여부를 제기하는 열린 질문을 제기하는 것.

제안 방법

• 유계 변동성을 가진 특이 함수 $ \Phi $를 이용하여 Poisson-Stieltjes 적분을 통한 조화함수 구성: $ u(z) = \frac{1}{2\pi} \int_0^{2\pi} P_r(\vartheta - t) \, d\Phi(t) $.
• 점 $ \vartheta_0 \in (0,2\pi) $ 에서 점프를 가지는 단계 함수 $ \Phi_{\vartheta_0} $ 를 사용하여 명시적 해 $ u(z) = P_r(\vartheta - \vartheta_0) $ 를 도출한다.
• 칸토어 함수 $ \varphi $ 를 이용하여 $ \Phi(t) = \varphi(t/2\pi) $ 를 정의함으로써 연속적인 특이 측도와 그에 대응하는 조화함수를 생성한다.
• 함수열 $ u_n(z) = \text{Re}\left( \frac{\zeta_n + z}{\zeta_n - z} \right) $ 를 정의하며, 여기서 $ \zeta_n = e^{i\vartheta_n} $, $ \vartheta_n = \pi(2^{-1} + \cdots + 2^{-n}) $이다.
• 모든 절대수렴 급수 $ u = \sum \gamma_n u_n $ 로 이루어진 공간 $ \mathcal{H}_1 $ 을 정의하며, $ \gamma \in l^1 $ 이라 하여 국소 균일 수렴을 보장한다.
• $ \{u_n\} $ 가 $ \mathcal{H}_1 $ 에서 샤펠 기저를 이룬다는 것을 증명함으로써, 수렴성과 $ \zeta_n $ 에서의 0이 아닌 값의 존재를 통해 무한차원성을 입증한다.

실험 결과

연구 질문

• RQ1 단위 원판 내에서 거의 everywhere에서 비접선 경계극한이 0인 조화함수의 공간은 무한차원일 수 있는가?
• RQ2 영 경계값 조건을 가진 딜리클레 문제의 비자명한 해들 중 $ p > 1 $ 인 $ h_p $ 에 속하지 않는 명시적 구성이 가능한가?
• RQ3 이러한 해들은 특이 측도를 가진 Poisson-Stieltjes 적분으로 표현될 수 있는가?
• RQ4 이러한 해 공간은 샤펠 기저를 지닐 수 있는가? 그리고 그 위상적 구조는 어떠한가?
• RQ5 모든 이러한 특이 해들로 이루어진 공간의 하멜 기저의 기수는 얼마인가?

주요 결과

• 단위 원판 내에서 거의 everywhere에서 비접선 경계극한이 0인 조화함수의 공간은 무한차원이다.
• 특이 측도(예: 단계 함수와 칸토어 함수)를 이용한 Poisson-Stieltjes 적분을 통한 해들은 비자명한 조화함수를 생성하며, 거의 everywhere에서 비접선으로 0이 된다.
• $ \zeta_n = e^{i\vartheta_n} $, $ \vartheta_n = \pi(2^{-1} + \cdots + 2^{-n}) $ 일 때, 함수 $ u_n(z) = \text{Re}\left( \frac{\zeta_n + z}{\zeta_n - z} \right) $ 는 공간 $ \mathcal{H}_1 $ 에서 샤펠 기저를 이룬다.
• 공간 $ \mathcal{H}_1 $ 은 모든 경계점 $ \zeta_0 = -1 $ 과 $ \zeta_n $, $ n = 1,2,\ldots $ 를 제외한 모든 경계점에서 비접선 극한이 0인 조화함수로 이루어져 있다.
• 이러한 해들은 $ L^1 $ 함수의 Poisson 적분으로 표현될 수 없기 때문에, 어떤 $ p > 1 $ 에 대해서도 $ h_p $ 에 속하지 않는다.
• $ \Phi = \sum \gamma_n \Phi_{\vartheta_n} $ 가 유계 변동성을 가지며 $ \gamma \in l^1 $ 이므로, 공간 $ \mathcal{H}_1 $ 은 $ h_1 $ 에 포함된다.