[논문 리뷰] Feller evolution families and parabolic equations with form-bounded vector fields

Damir Kinzebulatov|arXiv (Cornell University)|2014. 07. 18.

Nonlinear Partial Differential Equations참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $ d \geq 3 $ 인 $ (0,\infty) \times \mathbb{R}^d $ 위에서 시간에 의존하는 벡터장 $ b $ 가 파arabolic 형상유계 클래스 $ \mathbf{F}_{\beta,\mathcal{P}} $ 에 속할 경우, 파라볼릭 방정식 $ \partial_t u - \Delta u + b(t,x)\cdot\nabla u = 0 $ 의 약한 해가 Feller 진화 가족을 생성함을 확립한다. 증명은 $ L^p $-기울기 사전 추정과 반복적 $ L^p \to L^\infty $ 수렴 추론에 기반하며, 해 연산자가 양성 보존성, $ L^\infty $-수축성, 강한 연속성을 가지며, 이로 인해 비선형성의 임계 차수 특이성이 허용되는 Feller 과정을 결정함을 보여준다.

ABSTRACT

We show that the weak solutions of parabolic equation $\partial_t u - Δu + b(t,x) \cdot abla u=0$, $(t,x) \in (0,\infty) imes \mathbb R^d$, $d \geqslant 3$, for $b(t,x)$ in a wide class of time-dependent vector fields capturing critical order singularities, constitute a Feller evolution family and, thus, determine a Feller process. Our proof uses an a priori estimate on the $L^p$-norm of the gradient of solution in terms of the $L^q$-norm of the gradient of initial function, and an iterative procedure that moves the problem of convergence in $L^\infty$ to $L^p$.

연구 동기 및 목표

• 차수 $ d \geq 3 $ 인 파라볼릭 방정식 $ \partial_t u - \Delta u + b(t,x)\cdot\nabla u = 0 $ 의 초기값 문제에 대해 Feller 진화 가족의 존재를 확립하는 것.
• 시간에 의존하는 벡터장 $ b $ 의 광범위한 클래스를 기술하는 것—특히 파라볼릭 형상유계 클래스 $ \mathbf{F}_{\beta,\mathcal{P}} $ 에 속하는 것—이 해 연산자가 Feller 진화 가족을 형성할 수 있도록 허용하는 조건을 규명하는 것.
• 해 연산자가 양성 보존성 및 $ L^\infty $-수축성을 갖는 것을 증명하여, 이에 따라 관련 과정이 Feller 과정임을 보장하는 것.
• $ \frac{d}{p} + \frac{2}{q} \leq 1 $ 을 만족하는 $ L^q L^p $ 클래스를 초월하여, $ |x|^{-2} $ 및 $ |t-t_0|^{-1} \log^{-1-\varepsilon} $ 와 같은 임계 차수 특이성을 허용하는 드리프트의 허용 범위를 확장하는 것.

제안 방법

• 형상유계 조건 $ \mathbf{BC} $ 를 사용하여, 초기 데이터의 기울기의 $ L^p $-노름에 대한 해의 기울기의 $ L^p $-노름에 대한 사전 추정을 유도한다.
• 해 연산자의 $ L^\infty $-수축성을 활용하여, 반복적 절차를 통해 수렴성을 $ L^p $ 에서 $ L^\infty $ 로 이 trasfer 하는 방법을 적용한다.
• 가중치를 가진 커파트 함수 $ \theta_\delta $ 와 에너지 유형 추정을 사용하여, 컴act 집합에서 $ \nabla u_m $ 의 $ L^2 $-노름을 제어함으로써 $ L^2 $ 에서의 약한 상대 컴팩트성을 확보한다.
• 근사 해 $ u_m $ 에 대한 적분 항등식에서 극한을 취함으로써 약한 해 성질을 확립하며, 이는 $ b_m \to b $ 가 $ L^2_{\text{loc}} $ 에서 수렴하고 $ \nabla u_m $ 이 약한 컴팩트성임을 기반으로 한다.
• 스트리카르츠 부등식의 정밀한 형태와 하디 부등식을 사용하여, $ x|x|^{-2} $ 와 같은 벡터장이 명시적인 $ \beta $ 를 갖는 $ \mathbf{F}_{\beta,\mathcal{P}} $ 에 속함을 확인한다.
• 최적화된 $ \nu $ 를 통한 $ L^p $-에너지 방법을 사용하여 핵심 추정식 (8) 을 증명하며, 기울기 에너지 항의 계수의 양성 보장에 기여한다.

실험 결과

연구 질문

• RQ1 벡터장 $ b $ 가 파라볼릭 형상유계 클래스 $ \mathbf{F}_{\beta,\mathcal{P}} $ 에 속할 경우, 파라볼릭 방정식 $ \partial_t u - \Delta u + b(t,x)\cdot\nabla u = 0 $ 의 해 연산자가 Feller 진화 가족을 형성할 수 있는가?
• RQ2 임계 차수 특이성을 포함한 시간에 의존하는 모든 벡터장 $ b $ 의 최대 클래스는 무엇이며, 이에 따라 관련 Feller 과정이 존재하는가?
• RQ3 드리프트 $ b $ 가 전통적인 의미에서 유계이거나 국소 적분 가능하지 않은 경우, 해의 $ L^\infty $-노름을 어떻게 제어할 수 있는가?
• RQ4 형상유계 조건 $ \mathbf{BC} $ 에서의 매개변수 $ \beta $ 는 해의 존재성과 정규성 보장에 어떤 역할을 하는가?

주요 결과

• 형상유계 클래스 $ \mathbf{F}_{\beta,\mathcal{P}} $ 에 속하는 $ b $ 를 갖는 파라볼릭 방정식의 약한 해는 $ C_\infty(\mathbb{R}^d) $ 위에서 강한 연속성, 양성 보존성, $ L^\infty $-수축성을 만족하는 Feller 진화 가족 $ (U(t,s)) $ 를 생성한다.
• 해 연산자 $ U(t,s) $ 는 $ C_\infty(\mathbb{R}^d) $ 상의 유계 선형 연산자이며, $ (t,s) \mapsto U(t,s) $ 는 강한 연속성을 갖는다.
• 해의 기울기 $ \nabla u $ 는 $ L^2_{\text{loc}}((0,\infty) \times \mathbb{R}^d) $ 에 속하여 국소 정규성과 약한 해의 구조를 보장한다.
• 클래스 $ \mathbf{F}_{\beta,\mathcal{P}} $ 는 $ |x|^{-2} $ 형 특이성을 갖는 벡터장(예: $ x|x|^{-2} $) 을 포함하며, 이 경우 $ \beta = \left( \frac{2}{d-2} \right)^2 $ 이고, $ \varepsilon > 0 $ 인 $ |t-t_0|^{-1} \log^{-1-\varepsilon} $ 특이성도 포함된다.
• 증명은 $ \|U(t,s)f\|_\infty \leq \|f\|_\infty $ 와 $ f \geq 0 $ 이면 $ U(t,s)f \geq 0 $ 임을 보여 Feller 성질을 확인한다.
• 반복적 $ L^p \to L^\infty $ 추론과 $ L^p $-기울기 추정의 조합을 통해, 드리프트 $ b $ 가 임계 특이성을 갖는 경우에도 해의 $ L^\infty $ 에 대한 제어가 가능함을 보여준다.