[논문 리뷰] Quasilinear parabolic problem with $p(x)$-Laplacian: existence, uniqueness of weak solutions and stabilization

Jacques Giacomoni, Sweta Tiwari외 1명|arXiv (Cornell University)|2015. 10. 01.

Nonlinear Partial Differential Equations참고 문헌 29인용 수 29

한 줄 요약

이 논문은 유계 영역 내에서 변수 지수 $p(x)$-라플라시안을 갖는 비선형 편미분방정식에 대한 약한 해의 존재성, 유일성 및 안정성을 확립한다. 시간에 대한 반연속화와 준군 접근법을 사용하여, $C([0,T];\mathbb{W})$ 및 $C([0,T];L^\infty(\Omega))$ 내의 미약 해의 존재성을 증명하고, 하향-상향 해법 및 약한 비교 원리를 통해 적절한 비선형성 하에서 평형 상태로의 안정성을 보여주며, 변수 지수 설정에서 새로운 결과를 제시한다.

ABSTRACT

We discuss the existence and uniqueness of the weak solution of the following quasilinear parabolic equation $u_t-\\Delta _{p(x)}u = f(x,u)$ in $ (0,T)\ imes\\Omega$; $u = 0$ on $(0,T)\ imes\\partial\\Omega$; $u(0,x)=u_0(x)$ in $\\Omega$; involving the $p(x)$-Laplacian operator. Next, we discuss the global behaviour of solutions and in particular some stabilization properties.

연구 동기 및 목표

• 유계 영역 내에서 딜리클레 경계 조건을 갖는 비선형 편미분방정식에 대해 $p(x)$-라플라시안을 갖는 비선형 편미분방정식에 대한 약한 해의 존재성과 유일성을 확립한다.
• 특히 해의 점근적 수렴성에 초점을 맞춘 해의 전역적 행동을 조사한다.
• 미약 해와 비교 원리의 맥락에서, 특히 미약 해와 비교 원리의 맥락에서 정규성 및 안정성에 관한 새로운 결과를 증명함으로써 변수 지수 포물선 방정식 이론을 확장한다.
• 반연속화 및 준군 방법을 활용한 새로운 프레임워크를 제공하여, $p(x)$-라플라시안 문제에 대한 전역적 행동 및 안정성에 관한 문헌의 빈도를 메운다.

제안 방법

• 시간에 대한 반연속화 방법을 사용하여 $C([0,T];\mathbb{W})$ 및 $C([0,T];L^\infty(\Omega))$ 내의 미약 해를 구성함으로써 존재성과 정규성을 확보한다.
• 약한 비교 원리를 적용하여 하향 해와 상향 해를 비교함으로써 장기적 행동 분석을 가능하게 한다.
• 특히 $p(x)$-성장 조건 하에서 변수 지수 레베그 및 스오볼레프 공간 내에서 허더 및 얀의 부등식을 사용하여 사전 추정치를 유도한다.
• 변수 지수 공간 내 임베딩 및 컴팩트니 결과의 타당성을 보장하기 위해 $1/p(x)$의 로그-홀더 연속성을 이용한다.
• 절단 함수 $\varphi$를 사용한 시험 함수 방법을 통해 에너지 유형 추정치를 도출하고, 반복 및 커버링 추론을 통해 $L^\infty$ 유계성을 확보한다.
• 비선형성 $f(x,u)$에 대한 적절한 조건 하에서 비교 원리와 해의 유계성에 기반하여 평형 해로의 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 변수 지수 조건과 카라테오도리 비선형성을 갖는 비선형 편미분방정식에 대해 $p(x)$-라플라시안을 갖는 비선형 편미분방정식에 대한 약한 해가 존재하는가?
• RQ2 주어진 $p(x)$ 및 $f(x,u)$ 조건 하에서 약한 해가 유일한가?
• RQ3 적절한 비선형성 $f$의 클래스에 대해 $t \to \infty$일 때 전역 해가 평형 상태로 안정화되는가?
• RQ4 특히 변수 지수 및 초임계 성장 조건 하에서 약한 해의 정규성, 특히 $L^\infty(\Omega)$ 내에서의 유계성은 어떠한가?
• RQ5 시간 이산화된 준군 접근법은 $p(x)$-라플라시안 문제에 대해 $C([0,T];L^\infty(\Omega))$ 내의 미약 해를 어떻게 도출하는가?

주요 결과

• 반연속화 및 준군 방법을 통해 $C([0,T];\mathbb{W})$ 및 $C([0,T];L^\infty(\Omega))$ 내의 미약 해 존재성이 입증되어, $p(x)$-라플라시안 포물선 방정식에 대한 새로운 존재 프레임워크를 제공한다.
• 약한 비교 원리를 적용하여 비선형성 $f(x,u)$에 대한 적절한 조건 하에서 해가 평형 해로 수렴함을 보여주며, 점근적 수렴성을 입증한다.
• 절단 함수 방법과 허더 유형 추정치를 사용하여 약한 해에 대한 사전 $L^\infty$ 유계성을 도출하고, 초임계 성장 $r(x) < p^*(x)$ 조건 하에서 전역 유계성을 확보한다.
• 비선형성 $f$가 $|f(x,t)| \leq c_1 + c_2|t|^{r(x)-1}$ 를 만족하고 $r(x) < p^*(x)$ 이며 $g \in L^q$ 이고 $q > d/p_-$ 라면, 코로나리 C.5에 의해 $u$가 $L^\infty(\Omega)$ 내에 유계임을 보였다.
• 논문은 $p \in C(\overline{\Omega})$, $p^- < d$, 그리고 초임계 성장 조건을 갖는 $f$를 가정할 때 $u \in L^\infty(\Omega)$임을 증명하여, 변수 지수 설정으로의 정규성 결과를 확장한다.
• 변수 지수 포물선 방정식의 맥락에서 안정성 결과는 비교 원리를 활용한 수렴 분석이 이전에 이루어지지 않았기 때문에 새로운 것으로, 이 분야의 기여를 한다.