[논문 리뷰] Self-similar solutions with fat tails for Smoluchowski's coagulation equation with singular kernels

Barbara Niethammer, Sebastian Throm외 1명|arXiv (Cornell University)|2014. 11. 06.

Advanced Mathematical Modeling in Engineering참고 문헌 10인용 수 4

한 줄 요약

이 논문은 $ a > 0 $, $ b < 1 $ 인 조건을 만족하는 특이적이고 동차인 커널 $ K(x,y) $ 에 대해 $ C_1(x^{-a}y^b + x^b y^{-a}) \leq K(x,y) \leq C_2(x^{-a}y^b + x^b y^{-a}) $ 를 만족하는 스몰루치우의 응집 방정정식에 대해 꼬리가 두꺼운 자가유사 해의 존재성을 확립한다. 저자들은 $ K_\varepsilon $ 를 사용한 정규화 접근법을 사용하여 해 $ h_\varepsilon $ 를 구성하고 $ \varepsilon \to 0 $ 으로의 극한을 취하며, 특별히 선택된 시험 함수를 사용한 쌍대 문제로부터 유도된 균일한 하한을 통해 존재성을 증명한다.

ABSTRACT

We show the existence of self-similar solutions with fat tails for Smoluchowski's coagulation equation for homogeneous kernels satisfying $C_1 \left(x^{-a}y^{b}+x^{b}y^{-a} ight)\leq K\left(x,y ight)\leq C_2\left(x^{-a}y^{b}+x^{b}y^{-a} ight)$ with $a&gt;0$ and $b&lt;1$. This covers especially the case of Smoluchowski's classical kernel $K(x,y)=(x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3})$. For the proof of existence we first consider some regularized kernel $K_ε$ for which we construct a sequence of solutions $h_ε$. In a second step we pass to the limit $ε o 0$ to obtain a solution for the original kernel $K$. The main difficulty is to establish a uniform lower bound on $h_ε$. The basic idea for this is to consider the time-dependent problem and choosing a special test function that solves the dual problem.

연구 동기 및 목표

• 스몰루치우의 응집 방정식에 대해 특이적이고 동차인 커널을 갖는 꼬리가 두꺼운 자가유사 해의 존재성을 확립하는 것.
• 이전에 유계 커널에 국한된 꼬리가 두꺼운 해에 대한 결과를, $ K(x,y) = (x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3}) $ 와 같은 특이적 커널로 확장하는 것.
• 정규화된 해 $ h_\varepsilon $ 에 대해 균일한 하한을 증명하는 데서 발생하는 과제를 극복하는 것, 이는 $ \varepsilon \to 0 $ 으로의 극한을 취하는 데 필수적이다.
• 시간에 의존하는 문제와 특별히 구성된 시험 함수를 갖는 쌍대 문제를 활용하여 필요한 하한을 유도하는 새로운 기법을 개발하는 것.

제안 방법

• 특이적 커널 $ K $ 를 $ K_\varepsilon $ 로 정규화하여 $ C^1 $ 정규성과 동차성, 범위를 유지하도록 한다.
• 시작 자료 $ h_0 $ 를 갖는 시간에 의존하는 방정식 (6) 에 대해 해 $ h_\varepsilon $ 를 로그 시간에서의 진화 방정식을 사용하여 구성한다.
• 단량체 농도 $ h(x,t) = xg(x,t) $ 를 도입하고 자가유사 방정식을 발산 형태 (5) 로 재구성하여 진화 방정식 (6) 을 이끌어낸다.
• 쌍대 문제 접근법을 사용: 수반 방정식을 만족하는 시험 함수를 선택하여 $ h_\varepsilon $ 에 대한 균일한 하한을 도출하며, 이는 컴팩턴스에 필수적이다.
• $ \varepsilon \to 0 $ 으로의 극한을 취할 때 약한 수렴성과 균일한 유계성을 사용하여 원래 방정식 (5) 의 해 $ h $ 를 얻는다.
• 커널 성장 조건을 가정할 때 $ x \to \infty $ 일 때 $ h(x) \sim Cx^{-\rho} $ 를 보여줌으로써 꼬리가 두꺼운 성질을 확립한다. 여기서 $ \rho = \gamma + 1/\beta $ 이다.

실험 결과

연구 질문

• RQ1 스몰루치우의 응집 방정식에 대해 $ K(x,y) \sim x^{-a}y^b + x^b y^{-a} $ 형식의 특이적 커널을 갖는 꼬리가 두꺼운 자가유사 해가 존재하는가? $ a > 0 $, $ b < 1 $ 인가?
• RQ2 기존에 존재 증명이 유계 커널에 국한된 바를 고려할 때, 스몰루치우의 고전적 커널 $ K(x,y) = (x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3}) $ 와 같은 경우로 존재 증명을 확장할 수 있는가?
• RQ3 정규화된 해 $ h_\varepsilon $ 에 대해 균일한 하한을 확보할 수 있는 기법은 무엇인가? 이는 특이적 경우에서 $ \varepsilon \to 0 $ 으로의 극한을 취하는 데 필수적이다.
• RQ4 특이적 영역에서 점별 제어가 불가능한 상황에서 쌍대 문제를 어떻게 활용하여 $ h_\varepsilon $ 에 대한 하한을 도출할 수 있는가?

주요 결과

• 논문은 $ C_1(x^{-a}y^b + x^b y^{-a}) \leq K(x,y) \leq C_2(x^{-a}y^b + x^b y^{-a}) $ 를 만족하는 특이적이고 동차인 커널의 광범위한 클래스에 대해 꼬리가 두꺼운 자가유사 해의 존재성을 증명한다. 여기서 $ a > 0 $, $ b < 1 $ 이다.
• 결과는 스몰루치우의 고전적 커널 $ K(x,y) = (x^{1/3} + y^{1/3})(x^{-1/3} + y^{-1/3}) $ 를 포함하며, 이는 연구된 특이적 커널의 범주에 속한다.
• 핵심적인 기술적 기여는 정규화된 해 $ h_\varepsilon $ 에 대해 균일한 하한을 구성한 것으로, 특별히 선택된 시험 함수를 사용한 쌍대 문제를 통해 달성된다.
• 저자들은 자가유사 방정식 (5) 에 대해 분포적 의미에서 해 $ h $ 의 존재성을 확립하였으며, 이는 $ x \to \infty $ 일 때 $ h(x) \sim Cx^{-\rho} $ 라는 요구 조건을 만족하는 꼬리가 두꺼운 감쇠 성질을 갖는다.
• 증명은 정규화 절차와 약한 컴팩턴스에 기반하며, $ \varepsilon \to 0 $ 일 때 $ h_\varepsilon $ 가 $ h $ 로 수렴함으로써 해가 꼬리가 두꺼운 성질을 그대로 이어받는다.
• 이 방법은 표준 기법이 적합하지 않은, 적분 가능성 또는 하한이 없는 비해결 가능한 특이적 커널에 대해 존재 결과를 확장할 수 있는 프레임워크를 제공한다.