[논문 리뷰] Regularity of stable solutions up to dimension 7 in domains of double revolution

Xavier Cabré, Xavier Ros‐Oton|arXiv (Cornell University)|2012. 02. 06.

Nonlinear Partial Differential Equations참고 문헌 10인용 수 7

한 줄 요약

이 논문은 일반적인 비선형성 조건 하에 볼록인 이중 회전 도메인에서 $n \leq 7$ 차원까지의 극한 해가 유계임을 증명한다. 단항수 가중치를 가진 새로운 가중 치수 및 등면적 부등식을 사용하여 안정 해에 대한 $L^\infty$ 및 $H^1_0$ 유계성 조건을 도출함으로써, 이는 기존의 라디얼 경우를 초월하여 결과를 확장한다.

ABSTRACT

We consider the class of semi-stable positive solutions to semilinear equations $-Δu=f(u)$ in a bounded domain $Ω\subset\mathbb R^n$ of double revolution, that is, a domain invariant under rotations of the first $m$ variables and of the last $n-m$ variables. We assume $2\leq m\leq n-2$. When the domain is convex, we establish a priori $L^p$ and $H^1_0$ bounds for each dimension $n$, with $p=\infty$ when $n\leq7$. These estimates lead to the boundedness of the extremal solution of $-Δu=λf(u)$ in every convex domain of double revolution when $n\leq7$. The boundedness of extremal solutions is known when $n\leq3$ for any domain $Ω$, in dimension $n=4$ when the domain is convex, and in dimensions $5\leq n\leq9$ in the radial case. Except for the radial case, our result is the first partial answer valid for all nonlinearities $f$ in dimensions $5\leq n\leq 9$.

연구 동기 및 목표

• 라디얼 대칭보다 일반적이지만 일반 볼록 도메인보다 단순한 이중 회전 도메인에서 $-\Delta u = \lambda f(u)$의 안정 해의 정칙성 확립.
• 기존의 라디얼 경우를 초월하여 차원 $n \leq 9$ 에서 극한 해의 유계성을 확장하고, 특히 $5 \leq n \leq 9$ 사이의 갭을 메우기.
• 모든 차원 $n \leq 7$ 에서 이중 회전 볼록 도메인에서 준안정 해에 대한 $L^\infty$ 및 $H^1_0$ 유계성 조건 증명.
• 단항수 가중치를 가진 새로운 가중 치수 및 등면적 부등식 유도 — 정칙성 분석의 핵심 요소.

제안 방법

• 저자들은 첫 번째 $m$ 개 및 마지막 $k$ 개 변수에서의 회전 대칭성을 가지는 도메인을 분석하며, $2 \leq m \leq n-2$ 를 조건으로 하여 두 차원 설정으로 문제를 축소한다.
• 두 개의 직교 부분공간에서의 반지름 거리인 $\sigma$ 및 $\tau$ 를 사용하여 $\mathbb{R}_+^2$ 상에 가중 측도 $\sigma^a \tau^b d\sigma d\tau$ 를 도입한다.
• 이 가중 측도 하에서 $\mathbb{R}_+^2$ 내의 집합에 대해 새로운 등면적 부등식을 증명하며, 가중 둘레가 $D-1/D$ 거듭제곱을 통해 가중 측도를 제어함을 보여준다. 여기서 $D = a + b + 2$.
• 이 등면적 부등식을 바탕으로, $1 \leq q < D$ 에 대해 $\|u\|_{L^{q^*}} \leq C \|\nabla u\|_{L^q}$ 형태의 가중 치수 부등식을 유도한다. 여기서 $q^* = \frac{Dq}{D-q}$ 이며, 가중치는 $\sigma^a \tau^b$ 이다.
• 이 치수 부등식을 축소된 두 차원 도메인에서 변환된 해에 적용하여 안정 해에 대한 $L^p$ 및 $H^1_0$ 유계성 조건을 확보한다.
• 이 유계성 조건을 바탕으로, $n \leq 7$ 일 때 이중 회전 볼록 도메인에서 극한 해 $u^*$ 가 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 비라디얼이고 볼록한 도메인에서 차원 $n \leq 9$ 에서 $-\Delta u = \lambda f(u)$ 의 극한 해 $u^*$ 가 유계임을 입증할 수 있는가?
• RQ2 안정 해의 정규성 결과를 라디얼 경우를 초월하여 확장할 때 대칭의 역할은 무엇인가?
• RQ3 단항수 가중치를 가진 새로운 가중 치수 부등식을 구성하고, 대칭 도메인에서 해의 성장률을 제어하는 데 사용할 수 있는가?
• RQ4 라디얼 대칭이 없더라도 이중 회전 도메인에서 $n \leq 7$ 일 때 극한 해의 유계성이 유지되는가?
• RQ5 이중 회전 도메인의 구조는 일반 볼록 도메인보다 정규성 추정을 어떻게 향상시킬 수 있는가?

주요 결과

• 모든 비선형성 $f$ 가 주어진 조건을 만족할 때, $n \leq 7$ 이면 이중 회전 볼록 도메인에서 극한 해 $u^*$ 는 $L^\infty(\Omega)$ 에서 유계이다.
• 이러한 도메인에서 준안정 해에 대해 $L^p$ 및 $H^1_0$ 유계성 조건이 확립되며, $n \leq 7$ 일 때 $p = \infty$ 이므로 극한 해의 유계성이 유추된다.
• $\sigma^a \tau^b d\sigma d\tau$ 측도 하에서 $\mathbb{R}_+^2$ 에서 새로운 가중 등면적 부등식이 증명되었으며, 특정 기하적 성질을 만족하는 집합에 대해 $m(E)^{(D-1)/D} \leq C \, m(\partial E \cap \mathbb{R}_+^2)$ 를 보여준다.
• 해당 가중 치수 부등식이 유도되었으며, $1 \leq q < D$ 에 대해 $\|u\|_{L^{q^*}} \leq C \|\nabla u\|_{L^q}$ 이며, 동일한 가중치 하에서 성립한다. 여기서 $D = a + b + 2$.
• 이 방법을 통해 일반 비선형성 $f$ 가 $f(0) > 0$ 이고 $f'(\tau)/\tau \to \infty$ 일 때 $\tau \to \infty$ 이며, 이중 회전 볼록 도메인에서 안정 해에 대해 $L^\infty$ 유계성 조건이 도출된다.
• 이 결과는 차원 $5 \leq n \leq 9$ 에서 비라디얼 및 일반 비선형성에 대한 유계성의 첫 번째 확장으로, 고차원에서 열려 있는 문제 해결에 중요한 단계를 이룬다.