[논문 리뷰] Well posedness and unconditional non uniqueness for a 2D semilinear heat equation

Slim Ibrahim, Rym Jrad외 2명|arXiv (Cornell University)|2010. 08. 14.

Advanced Mathematical Physics Problems참고 문헌 18인용 수 4

한 줄 요약

이 논문은 2차원 반선형 열방정식에 대해 $H^1(\mathbb{R}^2)$에서 국소적 잘 정의됨과 무조건적 유일성을 확립하며, 초기 데이터 공간이 $H^1$을 略로 확장될 경우 유일성이 상실됨을 보여준다. 주요 결과는 $L^\infty$에 속하지 않지만 적분 가능하며, 열연산자의 $L^1$-유형 잠재력에 대한 정규화 효과를 이용한 특이 정적 해를 통해 비유일성을 입증한다.

ABSTRACT

We investigate the initial value problem for a semilinear heat equation with exponential-growth nonlinearity in two space dimension. First, we prove the local existence and unconditional uniqueness of solutions in the Sobolev space $H^1(\R^2)$. The uniqueness part is non trivial although it follows Brezis-Cazenave's proof \cite{Br} in the case of monomial nonlinearity in dimension $d\geq3$. Next, %Following Caffarelli-Vasseur \cite{cv}, we show that in the defocusing case our solution is bounded, and therefore exists for all time. In the focusing case, we prove that any solution with negative energy blows up in finite time. Lastly, we show that the unconditional result is lost once we slightly enlarge the Sobolev space $H^1(\R^2)$. The proof consists in constructing a singular stationnary solution that will gain some regularity when it serves as initial data in the heat equation. The Orlicz space appears to be appropriate for this result since, in this case, the potential term is only an integrable function.

연구 동기 및 목표

• 2차원 반선형 열방정식에 대해 지수 비선형성을 갖는 $H^1(\mathbb{R}^2)$에서 국소적 존재성과 무조건적 유일성을 확립한다.
• 초점과 산란의 두 경우에서 해의 장기적 행동을 분석하여, 음의 에너지 해의 경우 유계성과 유한시간 폭발을 보인다.
• 초기 데이터 공간이 $H^1(\mathbb{R}^2)$를 略로 확장될 경우 무조건적 유일성이 유지되지 않음을 입증하여, 유일성에 대한 날카로운 임계점을 설정한다.
• 구멍이 난 평면에서 적분 가능하지만 $L^\infty$에 속하지 않는 특이 정적 해를 구성하여 유일성에 대한 반례를 제공한다.

제안 방법

• $H^1(\mathbb{R}^2)$에서 적절한 함수 공간에서 고정점 정리와 열반응의 정규화 성질을 이용하여 국소적 존재성과 유일성을 증명한다.
• 비판적 2차원 설정에서 지수 비선형성을 제어하기 위해 Moser-Trudinger 부등식을 사용하여, 작은 $\varepsilon>0$에 대해 비선형 항이 $L^{1+\varepsilon}$에서 유계임을 보장한다.
• $\mathbb{R}^2 \setminus \{0\}$에서 타원형 방정식 $-\Delta Q = f(Q)$의 특이 정적 해 $Q$를 구성한다. 이때 $Q \in \mathcal{L}(B_1)$이며, $\exp(|x|^2)$ 성장과 관련된 Orlicz 공간이다.
• 해가 $\mathcal{L}(B_1)$에 속할 경우 잠재항 $f(u)$가 $L^1$에 속한다는 것을 보이고, 이는 Brezis-Cazenave의 열방정식에 대한 정규화 결과 적용 가능성을 보장한다.
• 특이 해 $Q$에 열 흐름을 적용하여 $t>0$일 때 해 $u(t)$가 $L^\infty$에서 매끄럽아짐을 보이고, $v(t) \equiv Q$는 여전히 특이함을 보인다.
• 시간 가중 Orlicz 공간 $\mathcal{L}_T$에서 반경 $r$의 구에서 계약 사상 정리에 기반하여, 작은 시간 $T$에 대해 $L^\infty$에서 유계인 해 $u$를 구성한다.

실험 결과

연구 질문

• RQ1 2차원 반선형 열방정식에 대해 지수 비선형성을 갖는 초기값 문제는 $H^1(\mathbb{R}^2)$에서 잘 정의되는가?
• RQ2 2차원에서 척도 불변성이 없음에도 불구하고 $H^1(\mathbb{R}^2)$에서 해에 대해 무조건적 유일성이 성립하는가?
• RQ3 초기 데이터 공간이 $H^1(\mathbb{R}^2)$를 약간 초월해 확장될 경우 유일성 결과는 유지되는가?
• RQ4 Orlicz 공간 $\mathcal{L}(B_1)$는 지수 비선형성과 특이 초깃값을 다루는 데 어떤 역할을 하는가?
• RQ5 특이 정적 해를 이용하여 동일한 초기값 문제에 대해 다수의 해를 구성함으로써 비유일성을 입증할 수 있는가?

주요 결과

• 지수 비선형성을 갖는 2차원 반선형 열방정식의 초기값 문제는 $H^1(\mathbb{R}^2)$에서 고유한 국소적 해를 갖는다. 이는 고정점 정리와 Moser-Trudinger 유형 추정에 의해 유일성이 확립된다.
• 산란의 경우, $H^1(\mathbb{R}^2)$에 속하는 초기 데이터를 갖는 해는 에너지 보존과 $L^\infty$ 정규화로 인해 전역적으로 존재하며, 유계이다.
• 초점의 경우, 음의 초기 에너지를 갖는 모든 해는 농도적 분석에 의해 유한시간 내에 폭발한다.
• 초기 데이터 공간이 $H^1(\mathbb{R}^2)$를 초월해 확장될 경우 무조건적 유일성이 성립하지 않는다: $\mathcal{L}(B_1)$에 속하는 특이 정적 해 $Q$가 존재하지만, 이는 $L^\infty$에 속하지 않으며, 열 흐름은 이를 $t>0$에서 $L^\infty$로 정규화한다.
• 열 흐름을 통해 구성된 해 $u(t)$는 $(0,T)$에서 $L^\infty$에 속하지만, 시간에 따라 일정한 해 $v(t) \equiv Q$는 여전히 특이하므로 $u \neq v$임을 보이고, 이는 비유일성을 입증한다.
• Orlicz 공간 $\mathcal{L}(B_1)$는 비유일성 결과에 대해 최적이며, 이는 잠재항 $f(u)$가 적분 가능함과 동시에 해가 열 흐름에 의해 정규화됨을 허용한다.