[논문 리뷰] Extremal Functions for Singular Moser-Trudinger Embeddings

Stefano Iula, Gabriele Mancini|edoc (University of Basel)|2016. 01. 01.

Nonlinear Partial Differential Equations참고 문헌 20인용 수 6

한 줄 요약

이 논문은 단위 원판에서 $|x|^{2eta}$ 형태의 특이 잠재력이 존재하는 경우에 날카른 특이 모스어-트루더 링거 부등식을 수립하며, 온오프리 부등식을 통해 날카운 상수가 $4eta(1+\alpha)$임을 증명한다. 특이 메트릭과 콘형 표면으로의 고전 결과의 일반화를 위해 정밀한 추정을 통해 집중 현상을 배제함으로써 이러한 임bedding에 대한 극값 함수의 존재성을 확장한다.

ABSTRACT

We study Moser-Trudinger type functionals in the presence of singular potentials. In particular we propose a proof of a singular Carleson-Chang type estimate by means of Onofri's inequality for the unit disk in $\mathbb{R}^2$. Moreover we consider Adimurthi-Druet type functionals on compact surfaces with conical singularities and discuss the existence of extremals for such functionals extending previous results by Castò and Roy.

연구 동기 및 목표

• 특이 잠재력, 특히 $\alpha \in (-1,0]$ 인 $|x|^{2\alpha}$ 가 존재하는 경우에 날카운 특이 모스어-트루더 부등식을 수립하는 것.
• 고전적인 카르레손-창과 아디무르티-드루에트 부등식을 단위 원판의 특이 메트릭으로 일반화하는 것.
• 구면 표면에 콘형 특이점이 존재하는 특이 모스어-트루더 임베딩에 대한 극값 함수의 존재성을 증명하는 것.
• 집중-완전성 원리 대신 온오프리 부등식을 사용하여 날카운 상수 $4\pi(1+\alpha)$에 대한 간소화된 증명을 제공하는 것.

제안 방법

• 반사 대칭과 변수 치환을 통해 문제를 변형하여 단위 원판에서 특이 온오프리 유형 부등식을 유도하는 것.
• 단위 원판에서 온오프리 부등식을 기본 도구로 사용하여 날카운 특이 모스어-트루더 임베딩을 유도하는 것.
• 대칭 재배열을 적용하여 일반 도메인을 반사 대칭 함수로 줄여내어 단위 원판의 경우와 비교 가능하게 만드는 것.
• 특이 온오프리 부등식의 상수가 날카로움을 보이기 위해 $H^1_{0,rad}(D)$ 내의 시험 함수 수열 $u_\varepsilon$ 를 구성하는 것.
• 집중-완전성 원리와 농도 추정식 (13)을 사용하여 최대화 수열에서의 집중 현상을 배제하는 것.
• 등각 변환을 통해 문제를 특이 메트릭이 존재하는 원판으로 연결함으로써, 콘형 특이점이 존재하는 컴팩트 표면으로 결과를 확장하는 것.

실험 결과

연구 질문

• RQ1 단위 원판에서 $\alpha \in (-1,0]$ 인 특이 잠재력 $|x|^{2\alpha}$ 가 존재할 경우 특이 모스어-트루더 부등식의 날카운 상수는 무엇인가?
• RQ2 집중-완전성 원리 대신 온오프리 부등식을 사용하여 특이 모스어-트루더 임베딩에 대한 극값 함수의 존재성을 확보할 수 있는가?
• RQ3 특이 임베딩의 날카운 상수가 특이점 강도 $\alpha$ 에 따라 어떻게 달라지는가?
• RQ4 표준 모스어-트루더 부등식에 대한 고전적인 극값 함수 결과는 콘형 특이점이 존재하는 표면으로 확장될 수 있는가?
• RQ5 일반 도메인의 농도 추정에서 로빈 함수의 역할은 무엇이며, 특이 메트릭으로 일반화될 수 있는가?

주요 결과

• 단위 원판에서 잠재력 $|x|^{2\alpha}$ 가 존재하는 특이 모스어-트루더 부등식의 날카운 상수는 $4\pi(1+\alpha)$이며, 이는 최적이다.
• 모든 $u \in H^1_0(D)$ 와 $\alpha \in (-1,0]$ 에 대해 $\log\left(\frac{1+\alpha}{\pi}\int_D |x|^{2\alpha} e^u dx\right) \leq \frac{1}{16\pi(1+\alpha)} \int_D |\nabla u|^2 dx + 1$ 이 성립하며, 날카운 상수는 1이다.
• 농도 추정을 통해 집중 현상을 배제함으로써 특이 모스어-트루더 임베딩에 대한 극값 함수의 존재성이 증명된다. 특히 $\limsup_{n\to\infty} \int_D |x|^{2\alpha} e^{4\pi(1+\alpha)u_n^2} dx \leq \frac{\pi(1+e)}{1+\alpha}$ 이다.
• 특이 온오프리 부등식의 상수 1은 날카로우며, 기능 차이가 $-1$ 으로 수렴하는 수열 $u_\varepsilon$ 를 구성함으로써 이를 보였다.
• 등각 사상에 의해 특이 원판으로의 사상이 유지되므로, 결과는 콘형 특이점이 존재하는 컴팩트 표면으로 확장되며, 날카운 상수와 극값 함수 존재성은 그대로 유지된다.
• 재배열 기법을 복잡하게 다루지 않고도, 온오프리 부등식을 사용하여 특이 카르레손-창 형식의 추정을 새롭게 단순화된 증명으로 제공한다.