[논문 리뷰] Multi-bump solutions of $-\Delta u=K(x)u^{\frac{n+2}{n-2}}$ on lattices in $R^n$

Yanyan Li, Juncheng Wei외 1명|arXiv (Cornell University)|2013. 05. 21.

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

한 줄 요약

이 논문은 $n \geq 5$ 인 $\mathbb{R}^n$ 상에서 임계 지수 방정식 $-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ 에 대해 다중 뾰루 positive 해의 존재성을 확립한다. 여기서 $K(x)$ 는 주기적이고 원점에서 임계점을 가지며 특정한 동차성 구조를 갖는다. 비선형 Lyapunov-Schmidt 감소 기법과 새로운 가중 노름을 사용하여, $\mathbb{R}^k \subset \mathbb{R}^n$ 내의 임의의 유한 또는 무한 $k$-차원 격자 위에 중심을 둔 뾰루를 가진 해를 구축하였으며, 차원 제한 조건 $k < \frac{n-2}{2}$ 가 최적임을 증명하였다.

ABSTRACT

We consider critical exponent semi-linear elliptic equation with coefficient K(x) periodic in its first k variables, with 2k smaller than n-2. Under some natural conditions on K near a critical point, we prove the existence of multi-bump solutions where the centers of bumps can be placed in some lattices in Rk, including infinite lattices. We also show that for 2k greater than or equal to n-2, no such solutions exist.

연구 동기 및 목표

• . 이 논문은 $\mathbb{R}^n$ 상에서 주기적 $K(x)$ 를 가진 임계 비선형 타원 방정식 $-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ 에 대해 다중 뾰루 양해를 구성하는 것을 목적으로 한다.
• . 연구는 뾰루들이 낮은 차원의 부분공간 $\mathbb{R}^k \subset \mathbb{R}^n$ 내의 격자 위에 놓일 경우 이러한 해의 존재성을 다룬다. 단지 고립된 점들 위가 아니라, 격자 위에 놓일 경우를 고려한다.
• . 목적은 차원 제한 조건 $k < \frac{n-2}{2}$ 가 최적임을 증명하는 것으로, 즉 $k \geq \frac{n-2}{2}$ 일 경우 이러한 해가 존재하지 않음을 보이는 것이다.
• . 연구는 뾰루의 중심이 격자 위에 위치하는 해에 집중하며, 이는 무한 격자 포함하여 모든 경우에 대해 해의 추정치가 격자 크기 $m$ 에 독립적이어야 한다.

제안 방법

• . 저자들은 근사 해를 진짜 $C^2$ 해로 조합하기 위해 비선형 Lyapunov-Schmidt 감소 기법을 사용한다.
• . $X_{l,m}$ 내의 격자점 $X_i$ 근처에 중심을 둔 스케일링된 Pohozaev 유형 버블 해 $\sigma_{P^i, \Lambda_i}$ 의 합으로 근사 해 $W_m(x)$ 를 구성한다.
• . 뾰루 간의 상호작용과 감쇠를 제어하기 위해 격자와 매개변수 $\tau$ 에 따라 변하는 함수 $\gamma(y)$ 를 포함한 새로운 가중 노름 $\|\cdot\|_*$ 를 도입한다.
• . 이 방법은 가중 바나흐 공간 내에서 프로젝션 문제를 해결하고, 은직함수정리에 기반하여 근사 해에 가까운 진짜 해를 찾는 데 의존한다.
• . 버블의 너비와 $K_\lambda(x) = K(x/\lambda)$ 의 주기성을 제어하기 위해 스케일링 $\lambda = l^{\frac{n-2}{\beta - n + 2}}$ 이 사용되며, 이는 상호작용 제어에 기여한다.
• . $K(x)$ 가 원점 근처에서 $K(x) = 1 + \sum a_i |x_i|^\beta + R(x)$ 라고 가정하고 $\beta \in (n-2, n)$ 이며, 비선형성 제어와 감소의 타당성을 확보하기 위해 이 구조를 활용한다.

실험 결과

연구 질문

• RQ1 . $\mathbb{R}^k \subset \mathbb{R}^n$ 내의 $k$-차원 격자 위에 놓인 뾰루를 가진 $-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ 의 다중 뾰루 해가 존재하는가?
• RQ2 . $K(x)$ 가 첫 $k$ 개 변수에서 주기적이며 원점에서 임계점을 가지며 동차도 $\beta \in (n-2, n)$ 를 갖는 조건에서, 이러한 다중 뾰루 해가 존재할 수 있는 최대 차원 $k$ 는 얼마인가?
• RQ3 . 격자 크기 $m$ 에 독립적인 추정치를 가진 이러한 해를 구성할 수 있는가? 이는 무한 격자($m = \infty$) 경우에도 포함된다.
• RQ4 . 조건 $k < \frac{n-2}{2}$ 는 최적인가? 즉, $k \geq \frac{n-2}{2}$ 일 경우 이러한 해가 존재하지 않는가?
• RQ5 . 격자가 무한하거나 매우 큰 경우, Lyapunov-Schmidt 감소에서 먼 뾰루 간의 상호작용을 어떻게 제어할 수 있는가?

주요 결과

• . $n \geq 5$, $1 \leq k < \frac{n-2}{2}$, 그리고 모든 $m \geq 1$ (무한 격자 포함) 에 대해, $-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ 에 대해 $C^2$ 양해 $u$ 가 존재하며, 이는 $k$-차원 격자 $X_{l,m}$ 근처에 중심을 둔 뾰루를 가진다.
• . 어떤 $\tau_0(n,k) \in (k, \frac{n-2}{2}]$ 에 대해 $\|S_\lambda u - W_m\|_* \leq C \lambda^{\tau - \frac{n-2}{2}}$ 를 만족하며, $\Lambda_i$ 는 0과 무한대로부터 일관되게 멀리 떨어져 있다.
• . $P^i$ 는 뾰루의 중심이며, $l \to \infty$ 일 때 $\max_i |P^i - X_i| \to 0$ 이며, 이는 $m$ 에 대해 균일하게 성립하여 뾰루가 격자점 근처에 국소화됨을 보장한다.
• . 차원 제한 조건 $k < \frac{n-2}{2}$ 는 최적이다: $k \geq \frac{n-2}{2}$ 일 경우 이러한 다중 뾰루 해는 존재하지 않으며, 이는 정리 3에서 증명된다.
• . 핵심적 혁신은 함수 $\gamma(y)$ 를 포함한 새로운 가중 노름 $\|\cdot\|_*$ 의 사용으로, 이는 $m$ 에 독립적인 균일 추정치를 가능하게 하여 무한 격자 위의 해 구성에 기여한다.
• . 이 방법은 새로운 노름을 통해 뾰루 간의 상호작용을 효과적으로 제어하며, 뾰루의 수가 무한하더라도 감쇠와 프로젝션 문제 내 균일한 유계성을 확보함으로써 성공적으로 작동한다.