[논문 리뷰] Free Energies and the Reversed HLS Inequality

José A. Carrillo, Matías G. Delgadino|arXiv (Cornell University)|2018. 03. 16.

Mathematical Biology Tumor Growth참고 문헌 16인용 수 3

한 줄 요약

이 논문은 자유 에너지 함수의 경쟁적 엔트로피 및 상호작용 항을 고려하여 직접적인 변분법을 적용하여 반전된 하디-리틀우드-소볼레프(Hardy-Littlewood-Sobolev, HLS) 부등식을 수립한다. 응집이 지배적인 영역 $\frac{d}{d+k} < m < 1$, $k > 0$에서 자유 에너지 ${\mathcal{F}}_{m,k}$의 아래쪽 유계성과 최소화자의 존재를 증명하며, 최소화자가 컴팩트한 지지, 반경 방향 감소성, 그리고 $m > \frac{d}{d-2}$일 경우 유계성임을 보이며, 이 외의 경우 응집이 가능함을 밝힌다.

ABSTRACT

We prove reversed Hardy-Littlewood-Sobolev inequalities by carefully studying the natural associated free energies with direct methods of calculus of variations. Tightness is obtained by a dyadic argument, which quantifies the relative strength of the entropy functional versus the interaction energy. The existence of optimizers is shown in the class of $\prob$. With respect to their regularity, we study conditions for optimizers to be bounded functions. In a related model, we show the condensation phenomena, which suggests that optimizers are not in general regular.

연구 동기 및 목표

• 응집이 지배적인 영역 $m>1-\frac{k}{d}$, $k>0$에서 자유 에너지 최소화를 통해 반전된 하디-리틀우드-소볼레프 부등식을 수립하기.
• 자유 에너지 함수 ${\mathcal{F}}_{m,k}$의 최소화자들이 $\mathcal{P}(\mathbb{R}^d)$ 상에서 존재하고, 컴팩트한 지지, 정규성 등을 분석하기.
• 최소화자가 유계 함수인지 또는 원점에서 응집 현상이 발생하는지의 조건을 규명하기, 특히 고차원에서의 경우에 중점을 두고.
• 다양한 매개변수 영역에서 자유 에너지 함수의 단계도를 명확히 하여, 유계성, 최소화자 정규성, 응집 영역을 구분하기.

제안 방법

• 자유 에너지 ${\mathcal{F}}_{m,k}[\rho] = \int \frac{\rho^m}{m-1} dx + \iint \frac{|x-y|^k}{2k} \rho(x)\rho(y) dx dy$를 확률 측도 위에서 최소화하기 위해 변분법의 직접적 방법을 적용한다.
• 유클리드 공간 $\mathbb{R}^d$를 동치 고리로 분해하여 엔트로피와 상호작용 에너지 간의 경쟁을 정량화하고, $\frac{d}{d+k} < m < 1$, $k > 0$ 영역에서 아래쪽 유계성을 증명한다.
• 대칭 감소 재배열을 활용하여 문제를 반경 방향 측도로 단순화하고, 모멘트 유계성에 기반한 최소화 시퀀스의 강한 수렴성(타이트니스)을 확보한다.
• 오일러-라그랑주 조건을 분석하여 최소화자에 대한 필요 조건을 도출하며, 원점 근처의 적분 가능성 여부가 응집 여부를 결정함을 보인다.
• 이중적 구조를 활용하여 $m > \frac{d}{d-2}$일 경우 최소화자가 반드시 유계 함수임을 보이며, $d \geq 3$ 차원에서 응집이 배제됨을 증명한다.
• 강력한 구속 포텐셜을 갖는 관련 모델에 대해 명시적 예시를 구성하여, 낮은 $m$ 영역에서 정규성의 실패를 설명한다.

실험 결과

연구 질문

• RQ1 자유 에너지 ${\mathcal{F}}_{m,k}$가 $\mathcal{P}(\mathbb{R}^d)$ 상에서 아래쪽으로 유계임 조건은 $m$과 $k$에 대해 어떤가?
• RQ2 응집이 지배적인 영역 $\frac{d}{d+k} < m < 1$, $k > 0$에서 ${\mathcal{F}}_{m,k}$의 최소화자가 존재하며, 컴팩트한 지지를 가지는가?
• RQ3 ${\mathcal{F}}_{m,k}$의 최소화자가 유계 함수일 조건은 무엇이며, 원점에서 응집 현상이 발생할 수 있는 조건은 무엇인가?
• RQ4 엔트로피와 상호작용 에너지의 스케일링 상호작용이 다양한 차원에서 최소화자 정규성에 미치는 영향은 어떻게 결정되는가?
• RQ5 자유 에너지 ${\mathcal{F}}_{m,k}$의 유계성과 최소화가 유도하는 기능적 부등식(특히 반전 HLS 부등식)은 무엇인가?

주요 결과

• 자유 에너지 ${\mathcal{F}}_{m,k}$는 $\frac{d}{d+k} < m < 1$, $k > 0$ 영역에서 아래쪽으로 유계이며 최솟값을 도달하며, 이는 반전된 HLS 부등식이 성립함을 의미한다.
• 모든 $m > 1$에 대해 자유 에너지는 고유한 컴팩트한 지지를 가지며, 스무스하고 반경 방향 감소하는 최소화자를 갖는다.
• $m > \frac{d}{d-2}$일 경우 최소화자는 유계 함수이며, $d \geq 3$ 차원에서 원점에서의 응집은 배제된다.
• $d \geq 3$ 차원에서 $m$이 $\frac{d}{d+k}$에 가까우며 $k$가 클 경우 응집이 발생할 수 있으며, 이는 구속 포텐셜을 갖는 예시를 통해 입증되었다.
• ${\mathcal{F}}_{m,k}$의 최소화자는 반전된 HLS 부등식의 최적화자와 동치이며, 특수한 경우로 알려진 결과들을 복원한다.
• $m < \frac{d}{d+k}$일 경우 자유 에너지는 아래쪽으로 무한대이며, 어떤 $\rho \in \mathcal{P}(\mathbb{R}^d)$에 대해서도 $\mathcal{F}_{m,k}[\rho] = -\infty$임을 이중적 구성에 의해 보였다.