[논문 리뷰] A direct approach to quasilinear parabolic equations on unbounded domains by Brézis's theory for subdifferential operators

Shunsuke Kurima, Tomomi Yokota|arXiv (Cornell University)|2017. 05. 02.

Advanced Mathematical Modeling in Engineering인용 수 8

한 줄 요약

이 논문은 브레지에 이론을 활용하여 비선형 포어스 매체 및 켄힐리아르 유형 시스템의 해의 존재성과 유일성을 유계가 아닌 영역에서 입증한다. 이론을 직접 적용함으로써 기존의 컴팩트니스 기반 방법의 한계를 극복하고, 원래 방정식과 Cahn–Hilliard 근사 간의 오차 추정치를 $ \varepsilon^{1/2} $ 수준으로 도출한다.

ABSTRACT

This paper is concerned with existence and uniqueness of solutions to two kinds of quasilinear parabolic equations. One is described as the form which includes the porous media and fast diffusion type equations. The other is the Cahn--Hilliard type system. The present paper applies Brézis theory directly to both equations and gives existence results for these two equations even if the domain is unbounded. Moreover, an error estimate is also proved via apriori estimates obtained directly.

연구 동기 및 목표

• 기존의 컴팩트니스 기반 방법이 실패하는 비선형 포아르빅 방정식에 대해 브레지에의 부분미분 연산자 이론을 비선형 포아르빅 방정식에 직접 적용하여 확장한다.
• 비선형 포어스 매체 유형 방정식 $ \frac{\partial u}{\partial t} + (-\Delta+1)\beta(u) = g $ 이론의 해의 존재성과 유일성을 비선형 영역 $ \Omega $ 에서 입증한다.
• 동일한 이론을 $ \varepsilon $-정규화를 포함한 켄힐리아르 유형 시스템 $ \frac{\partial u_\varepsilon}{\partial t} + (-\Delta+1)(\varepsilon(-\Delta+1)u_\varepsilon + \beta(u_\varepsilon) + \pi_\varepsilon(u_\varepsilon)) = g $ 에 직접 적용하여 비선형 영역에서 해를 도출한다.
• 근사 시스템 $ (P)_\varepsilon $ 과 원래 문제 $ (P) $ 사이의 오차 추정치를 유도하여 수렴 속도가 $ \varepsilon^{1/2} $ 임을 입증한다.

제안 방법

• 브레지에의 부분미분 연산자 이론을 직접 적용하여 힐베르트 공간 내에서 형태 $ u'(t) + \partial\psi(u(t)) \ni \tilde{f}(t) $ 의 진화 방정식에 적용한다.
• 비선형 영역 $ \Omega \subset \mathbb{R}^N $ 에서 노이만 경계 조건을 갖는 연산자 $ -\Delta + 1 $ 을 사용한다.
• 초기 조건 $ u_{0\varepsilon} $ 를 해석적 역행렬 $ (I + \varepsilon(-\Delta+1))^{-1}u_0 $ 을 통해 구성하여 일致 조건을 만족시킨다.
• $ \beta $ 와 $ \pi_\varepsilon $ 에 대한 구조 조건 (C1), (C2), (C4), (C5) 를 검증한다. 이는 볼록성, 리프시츠 연속성 및 균일 유계성 포함.
• 부분미분 연산자 프레임워크로부터 유도된 사전 추정치를 활용하여 컴팩트니스 논증 없이 수렴성과 오차 제어를 입증한다.
• $ \beta(u) = |u|^{q-1}u + u $ 를 통해 비선형성의 정도를 조절하여, 비선형 포어스 매체 ($ q > 1 $) 와 빠른 확산 ($ 0 < q < 1 $) 의 두 경우를 포함한 비선형성의 일반화를 달성한다.

실험 결과

연구 질문

• RQ1 브레지에의 부분미분 연산자 이론은 비선형 포아르빅 방정식에 대해 비선형 영역에서 직접 적용 가능한가?
• RQ2 브레지에의 이론을 직접 적용할 경우 비선형 영역에서 포어스 매체 유형 방정식의 해의 존재성과 유일성이 보장되는가?
• RQ3 동일한 프레임워크는 비선형 영역에서 $ \varepsilon $-정규화를 포함한 켄힐리아르 유형 시스템으로 확장 가능한가?
• RQ4 비선형 영역 설정에서 $ \varepsilon $-정규화된 해가 원래 문제로 수렴하는 속도는 얼마인가?
• RQ5 컴팩트니스 방법 없이 부분미분 연산자의 구조에서 사전 추정치를 직접 도출할 수 있는가?

주요 결과

• 비선형 영역 $ \Omega \subset \mathbb{R}^N $ 에서 포어스 매체 유형 방정식 $ \frac{\partial u}{\partial t} + (-\Delta+1)\beta(u) = g $ 의 해의 존재성과 유일성이 입증된다.
• 동일한 결과는 $ \Omega $ 가 비선형 영역일지라도 $ \varepsilon $-정규화를 포함한 켄힐리아르 유형 시스템으로 확장된다.
• 근사 시스템 $ (P)_\varepsilon $ 과 원래 문제 $ (P) $ 사이의 오차 추정치가 $ \varepsilon^{1/2} $ 수준임을 입증하였으며, 이는 유계 영역에서 Colli와 Fukao의 결과와 일치한다.
• 초기 조건 $ u_{0\varepsilon} $ 는 $ |u_{0\varepsilon} - u_0|_{H^{-1}(\Omega)} \leq \varepsilon^{1/2}|u_0|_{L^2(\Omega)} $ 를 만족하여 에너지 공간에서 수렴성을 보장한다.
• 컴팩트니스 논증을 회피함으로써 이전 방법이 유계 영역을 필요로 하는 한계를 극복한다.
• $ \beta(u) = |u|^{q-1}u + u $ 이며 $ q > 0 $ 인 경우에도 결과가 성립하며, 이는 포어스 매체 ($ q > 1 $) 와 빠른 확산 ($ 0 < q < 1 $) 의 두 경우를 모두 포함한다.