[논문 리뷰] Non-univalent solutions of the Polubarinova-Galin equation

Björn Gustafsson, Yu-Lin Lin|arXiv (Cornell University)|2014. 11. 07.

Nonlinear Waves and Solitons참고 문헌 27인용 수 3

한 줄 요약

이 논문은 비일대일 경우에 대한 Polubarinova-Galin 방정식에 대해, 콌형 사상(conformal map)을 분지 Riemann 곡면으로 올림으로써 약한 해 프레임워크를 개발한다. 이는 도함수의 영점이 단위 원주를 가로질러도 해의 전역 존재성을 보장한다. 주요 기여는 유리 함수 해에 대해 안정적인 적분 항등식 표현을 제시한 것으로, 해의 위상적 변화가 있더라도 도함수의 구조가 유리 함수로 유지됨을 보여준다.

ABSTRACT

We study non-univalent solutions of the Polubarinova-Galin equation, describing the time evolution of the conformal map from the unit disk onto a Hele-Shaw blob of fluid subject to injection at one point. In particular, we tackle the difficulties arising when the map is not even locally univalent, in which case one has to pass to weak solutions developing on a branched covering surface of the complex plane. One major concern is the construction of this Riemann surface, which is not given in advance but has to be constantly up-dated along with the solution. Once the Riemann surface is constructed the weak solution is automatically global in time, but we have had to leave open the question whether the weak solution can be kept simply connected all the time (as is necessary to connect to the Polubarinova-Galin equation). A certain crucial statement, a kind of stability statement for free boundaries, has therefore been left as a conjecture only. Another major part of the paper concerns the structure of rational solutions (as for the derivative of the mapping function). Here we have fairly complete results on the dynamics. Several examples are given.

연구 동기 및 목표

• 일대일이 아닌 경우, 즉 콌형 사상이 국소적으로 일대일이 아닐 때 Polubarinova-Galin 방정식을 확장하기.
• 도함수의 영점이 단위 원판 내로 들어오는 문제를 해결하기 위해 분지 Riemann 곡면 위에서 약한 해를 구성함으로써 전역 존재성을 확보하기.
• 일대일성 상실에도 불구하고 전역적 시간 해가 존재할 조건을 설정하기.
• 특히 도함수의 영점과 극점의 진동 구조가 어떻게 변화하는지 유리 함수 해의 역학을 규명하기.
• 유리 함수 $g = f'$에 대해 $L^2$-노름의 적분 항등식이 시간에 따라 어떻게 안정적으로 유지되는지 증명하기.

제안 방법

• 복소 평면의 분지 쌍비고(covering)인 Riemann 곡면 $\mathcal{M}$ 으로 콜린 사상을 올림으로써 일대일성을 복원하기.
• 원천 항을 Riemann 곡면 위로의 balayage를 정의하여 약한 해를 정의함으로써 시간에 전역적인 존재를 보장하기.
• Löwner-Kufarev 방정식 프레임워크를 활용하여 해의 진동을 Riemann 곡면 위의 하위순서 체인(subordination chain)으로 모델링하기.
• 도함수의 임계점이 단위 원주를 가로질러 갈 때마다 Riemann 곡면을 동적으로 갱신하기.
• 도함수 $g = f'$의 유리 함수 해를 특징짓기 위해 선적분과 잔여치를 포함한 적분 항등식을 구성하기.
• 수축 가능한 영점 제거 이론과 아벨 영역 이론을 적용하여 유리 함수 해의 구조 분석하기.

실험 결과

연구 질문

• RQ1 Polubarinova-Galin 방정식은 Riemann 곡면 위에서의 약한 해로 비일대일 해로 확장될 수 있는가?
• RQ2 도함수 $f'$의 영점이 단위 원주를 가로질러갈 때 해의 거동는 어떠한가? 이를 시간에 전역적으로 모델링할 수 있는가?
• RQ3 도함수 $f'$가 유리 함수일 경우, 특히 새로운 영점과 극점이 생길 때 그 진동 구조는 어떻게 변화하는가?
• RQ4 유리 함수 $g$에 대해 $\int_{\mathbb{D}} h|g|^2 dm$의 적분 항등식이 시간에 따라 유지되는가?
• RQ5 단순연결된 약한 해는 시간에 전역적으로 유지될 수 있는가, 아니면 분지 과정이 단순연결성을 파괴하는가?

주요 결과

• 해가 진동함에 따라 Riemann 곡면 $\mathcal{M}$ 을 동적으로 구성함으로써 모든 $t \geq 0$ 에서 전역적인 약한 해가 존재함을 보장한다.
• 임계점이 $\partial\mathbb{D}$ 를 가로질러갈 때마다 Riemann 곡면을 적절히 갱신하면 약한 해는 자동으로 시간에 전역적이다.
• 유리 함수 $f'$에 대해 해는 유리 함수 형태를 유지하며, 영점이 단위 원주를 가로질러갈 때마다 두 개의 새로운 영점과 하나의 이중극점이 추가됨을 보여주는 예측 가능한 규칙으로 진동한다.
• 초기 조건에서 만족된 적분 항등식 (9.20) $\int_{\mathbb{D}} h|g|^2 dm$ 은 시간에 걸쳐 안정적으로 유지되며, 계수는 $t$ 에 따라 변하지만 항등식의 구조는 유지된다.
• 적분 항등식의 계수 $a_{01}(t)$ 는 $a_{01}(t) = a_{01}(0) + 2Q(t)$ 로 진동하며, 일부 고립된 시간에 0이 될 수 있다.
• 완전한 Hele-Shaw 진동에서, 모든 $t > 0$ 에 대해 항등식 $\frac{1}{\pi}\int_{\mathbb{D}} h|g|^2 dm = 2Q(t)h(0)$ 이 성립하며, 해의 위상적 변화가 있더라도 유지된다.