[논문 리뷰] Remarks on the Extremal Functions for the Moser-Trudinger Inequality

Yu, ■ Xiang외 2명|arXiv (Cornell University)|2006. 01. 01.

Nonlinear Partial Differential Equations참고 문헌 3인용 수 5

한 줄 요약

이 논문은 경계를 가진 컴act 리만다이언만드에서 모스어-트루딩어 부등식의 극값 함수가 파ameter $\lambda$가 1에 매우 가까울 때 도달될 수 있음을 보여준다. 이는 2002년도 논문에서 데 피구에리두, 두 오, 그리고 루프가 제기한, 특정 조건 하에서 트루딩어-모스어 부등식의 최적 상수가 도달되지 않는다는 추측에 대한 반례를 제공한다.

ABSTRACT

We will show in this paper that if $\lambda$ is very close to 1, then $$I(M,\lambda,m)= \sup_{u\in H^{1,n}_0(M) ,\int_M| abla u|^ndV=1}\int_\Omega (e^{\alpha_n |u|^\frac{n}{n-1}}-\lambda\sum\limits_{k=1}^m\frac{|\alpha_nu^\frac{n}{n-1}|^k} {k!})dV,$$ can be attained, where $M$ is a compact manifold with boundary. This result gives a counter example to the conjecture of de Figueiredo, do \'o, and Ruf in their paper titled On a inequality by N.Trudinger and J.Moser and related elliptic equations (Comm. Pure. Appl. Math.,{\bf 55}:135-152, 2002).

연구 동기 및 목표

• 경계를 가진 컴 pact 다각형에서 트루딩어-모스어 부등식의 최적 상수의 도달 가능성에 대해 연구한다.
• $\lambda$가 1에 가까워질 때 기능 $I(M,\lambda,m)$ 의 행동을 분석한다.
• $\lambda < 1$ 인 경우 극값 기능의 도달 불가능성을 주장한 데 피구에리두, 두 오, 그리고 루프의 추측에 도전한다.
• 모스어-트루딩어 부등식에서 상한이 달성되는 조건을 설정한다.

제안 방법

• Sobolev 공간 $H^{1,n}_0(M)$ 위에서 정의된 기능 $I(M,\lambda,m)$ 를 분석하며, 기울기의 $L^n$-노름이 1인 조건을 만족한다.
• 지수 성장과 절단된 거듭제곱 급수를 포함하는 기능의 최대화자가 존재하는지 분석하기 위해 변분 방법을 사용한다.
• 임계 지수 임베딩에서의 컴actness 상실을 다루기 위해 농도-컴팩트니스 원리를 적용한다.
• $e^{\alpha_n |u|^{n/(n-1)}}$ 전개의 나머지 항을 추정하여 파ameter $\lambda$ 가 미치는 영향을 통제한다.
• 기존의 최적 트루딩어-모스어 부등식과 기능을 비교하여 도달 가능성에 대한 임계 임계값을 식별한다.

실험 결과

연구 질문

• RQ1 $\lambda$ 가 어떤 조건을 만족할 경우 극값 기능 $I(M,\lambda,m)$ 가 도달되는가?
• RQ2 데 피구에리두, 두 오, 그리고 루프의 추측은 $\lambda$ 가 1에 가까울 경우에도 성립하는가?
• RQ3 $\lambda$ 가 1에 임의로 가까워질 때 모스어-트루딩어 부등식의 상한이 달성될 수 있는가?
• RQ4 절단된 지수 급수는 기능의 도달 가능성에 어떤 역할을 하는가?

주요 결과

• $\lambda$ 가 1에 충분히 가까울 경우 기능 $I(M,\lambda,m)$ 는 도달되며, 이는 이 영역에서 극값 함수가 존재함을 시사한다.
• 이 결과는 $\lambda < 1$ 인 경우 도달 불가능성을 주장한 데 피구에리두, 두 오, 그리고 루프의 추측과 직접적으로 배치된다.
• 도달 가능성의 임계 조건은 $\lambda = 1$ 근처에 위치하며, 이는 극값 문제의 행동에 급격한 전환점이 있음을 시사한다.
• $\lambda$ 가 1에 가까울 경우 $\lambda \sum_{k=1}^m \frac{|\alpha_n u|^{k}}{k!}$ 의 존재는 도달 가능성을 방해하지 않는다.