[논문 리뷰] Continuity results for degenerate diffusion equations with $L^{p}_t L^{q}_{x}$ drifts

Sukjung Hwang, Yuming Paul Zhang|arXiv (Cornell University)|2019. 06. 12.

Mathematical Biology Tumor Growth참고 문헌 15인용 수 5

한 줄 요약

이 논문은 $L^p_t L^q_x$ 비압축 항을 갖는 비정상성 확산 방정식의 음이 아닌 약한 해에 대해 날카운 연속성 및 허더 연속성 결과를 확립하며, 균일 연속성에 대한 임계 하위임계 영역을 규명한다. 임계 영역에서는 균일 연속성이 비압축 항의 연속성 모듈러스에 의존하며, 비압축 항이 $L^d$에서 유계이면서 제어 가능한 연속성 모듈러스를 갖는다고 해도 해가 연속성을 잃을 수 있음을 보여주는 반례를 구성한다.

ABSTRACT

In this paper, we study local uniform continuity of nonnegative weak solutions to degenerate diffusion-drift equations in the form \[ u_{t} = Δu^{m} + abla\cdot \left( B (x,t) \, u ight), \quad ext{for } m \geq 1 \] assuming a vector field $B \in L^{p}_t L^{q}_{x}$. Regarding local Hölder continuity, we provide a sharp condition on $p$ and $q$, which is referred to as the subcritical region. In the critical region, the divergence-free condition is essential to providing uniform continuity which depends on the modulus continuity of $B$.

연구 동기 및 목표

• 비압축 항이 $L^p_t L^q_x$에 속하는 비정상성 확산-비압축 방정식의 유계 음이 아닌 약한 해에 대해 국소 균일 연속성 및 허더 연속성을 확립한다.
• 국소 허더 연속성에 대한 $p$와 $q$에 대한 날카운 조건을 규명하며, 하위임계 영역과 임계 영역을 구분한다.
• 임계 영역에서 발산 자유 조건이 균일 연속성에 미치는 영향을 조사하여, 이 조건이 균일 연속성에 필수적임을 보인다.
• 비압축 항이 $L^d$에서 유계이면서 제어 가능한 연속성 모듈러스를 갖는다고 해도 해가 공통된 연속성 모듈러스를 공유하지 않을 수 있음을 보여주는 반례를 구성한다.

제안 방법

• 비압축 항 $B \in L^{2\hat{q}_1}_t L^{2\hat{q}_2}_x(Q_1)$를 갖는 방정식 $u_t = \Delta u^m + \nabla \cdot (B(x,t)u)$를 분석하며, 척도 분석을 통해 임계 영역과 하위임계 영역을 정의한다.
• 비압축 항이 존재하는 비정상성 포물선 방정식에 적합한 데 지오르기 유형 반복 기법을 적용하며, 내재 기하학과 에너지 추정을 활용한다.
• 비압축 항 $B$에 대한 연속성 모듈러스 $\varrho_B(r)$를 도입하여 반경 $r$인 구에서의 국소 $L^d$-노름 행동을 정량화하고, 이를 통해 해의 정규성 제어에 활용한다.
• 해의 연속성 임계값을 시험하기 위해 명시적인 정적 해 $u_N$과 $\Phi_N$에서 유도된 $B_N = \nabla \Phi_N$를 갖는 비압축 항을 구성한다.
• 반경 함수에서 로그 및 이重 로그 척도를 사용하여 $L^d$에 유계이지만 점점 더 심각한 국소 $L^d$-노름 행동을 갖는 비압축 항을 생성한다.
• 해의 수열 $\{u_N\}$이 $\{B_N\}$이 $L^d$에서 유계이면서 공통의 모듈러스 $\omega(r)$를 갖는다고 해도, 공통의 연속성 모듈러스를 공유하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 비압축 항이 $L^p_t L^q_x$에 속하는 비정상성 확산 방정식의 해에 대해 국소 허더 연속성에 대한 $p$와 $q$에 대한 날카운 조건은 무엇인가?
• RQ2 임계 영역에서 $2/p + d/q = 1$일 때, 발산 자유 조건은 해의 정규성에 어떻게 영향을 미치는가?
• RQ3 비압축 항의 $L^p_t L^q_x$ 노름만으로 해의 균일 연속성을 보장할 수 있는가, 아니면 그 연속성 모듈러스에 대한 추가 제어가 필요한가?
• RQ4 $L^d$에 속하고 제어 가능한 연속성 모듈러스를 갖는 비압축 항을 구성할 수 있는가, 이에 대응하는 해가 모든 균일 연속성을 상실하는가?
• RQ5 비압축 항이 $L^d$에서 유계이면서 제어 가능한 연속성 모듈러스를 갖지만, 해가 어떤 공통 연속성 모듈러스도 갖지 않는 반례가 존재하는가?

주요 결과

• 논문은 하위임계 영역 $2/p + d/q < 1$이 해의 국소 허더 연속성에 충분함을 규명하며, 척도 분석을 통해 날카운성을 입증한다.
• 임계 영역 $2/p + d/q = 1$에서는 해의 균일 연속성이 비압축 항 $B$의 연속성 모듈러스에 따라 달라지며, 단지 $L^p_t L^q_x$ 노름만으로는 결정되지 않는다.
• 발산 자유 비압축 항이 임계 영역에 존재할 경우, 균일 연속성이 보장되려면 $B$의 연속성 모듈러스가 제어되어야 하며, 그렇지 않으면 해가 균일 연속성이 아닐 수 있다.
• 저자들은 $L^d$에서 유계이면서 공통 모듈러스 $\omega(r)$를 갖는 비압축 항 수열 $B_N$을 구성하였고, 이에 대응하는 해 $u_N$은 어떤 공통 연속성 모듈러스도 공유하지 않는다.
• 반례는 로그 함수에서 유도된 반경 비압축 항 $\nabla \Phi_N$를 사용하며, 이로 인해 $m=1$일 때조차도 해 $u_N$은 유계이지만 점점 더 불연속적인 연속성 모듈러스를 갖게 된다. 이는 $N \to \infty$일 때 발생한다.
• 이 구성은 연속성 상실이 비압축 항의 연속성 모듈러스와 독립적이며, 본질적인 성질임을 보여주며, 임계 경우에서 $L^d$-유계성만으로는 균일 연속성을 확보할 수 없음을 증명한다.