[논문 리뷰] The regularizing effects of some lower order terms in an elliptic equation with degenerate coercivity

Gisella Croce|arXiv (Cornell University)|2010. 05. 03.

Differential Equations and Boundary Problems참고 문헌 15인용 수 34

한 줄 요약

이 논문은 비균일 강제성 조건을 가진 타원형 방정식에서 저차항의 정규화 효과를 조사하며, 주어진 연산자가 균일 강제성을 갖지 않더라도 이러한 항들이 해의 존재성과 향상된 적분 가능성을 보장함을 보여준다. $ L^m(\Omega) $에서의 저차항과 데이터에 대해 적절한 가정 하에, 저차항이 $ H^1_0(\Omega) \cap L^\infty(\Omega) $ 내에 존재하는 엔트로피 해와 분포 해를 보장하며, 데이터에 독립적인 균일한 유계성 상한을 확립한다.

ABSTRACT

In this article we study an elliptic problem with degenerate coercivity. We will show that the presence of some lower order terms has a regularizing effect on the solutions.

연구 동기 및 목표

• 비균일 강제성이 실패하는 비균일 강제성 조건이 있는 타원형 문제에서 저차항의 정규화 효과를 분석하는 것.
• 특히 $ f \in L^m(\Omega) $, $ m \geq 1 $ 인 약한 조건 하에서 해의 존재성을 확립하는 것.
• 저차항 $ h(u) $ 가 $ \sigma $ 에서 수직 점근선을 가지며, $ u \leq \sigma - \varepsilon $ 가 되는 해의 유계성을 $ f $ 에 독립적으로 보장하는 것.
• 해가 표준 소볼레프 공간에 속하지 않을 수 있는 경우 엔트로피 해의 존재를 확립하는 것.
• 주어진 연산자가 균일 강제성을 갖지 않더라도 해가 $ H^1_0(\Omega) \cap L^\infty(\Omega) $ 에 속함을 보여주는 것.

제안 방법

• 해의 존재성을 확보하기 위해 유계이면서 증가하는 형태로 정의된 절단된 저차항 $ h_n(u) $ 를 사용한 근사 문제의 사용.
• 테스트 함수 $ (u_n - h^{-1}(\|f\|_\infty))^+ $ 를 통한 하한 및 상한 해 방법을 적용하여 $ u_n $ 에 대한 균일한 $ L^\infty $ 유계성 확보.
• 비균일 강제성 가정 $ a(x,s) \geq \alpha / (1+|s|)^\gamma $ 를 통해 균일한 $ H^1_0 $-노름 유계성 확보 및 근사 수열의 약한 수렴 보장.
• 등장하는 해의 수렴을 확보하기 위해 $ h(u_n) $ 의 등적분성에 기반한 약한 형태에서의 극한 취득, 특히 $ s \to \sigma $ 일 때 $ |\{s \leq u_n < \sigma\}| \to 0 $ 임을 이용.
• 해가 $ W^{1,1}_0(\Omega) $ 에 속하지 않을 수 있는 경우를 다루기 위해 엔트로피 해 정의를 사용하며, 절단 함수 $ T_k(u) $ 와 약한 기울기를 활용.
• 특성 $ \sigma $ 에서 수직 점근선을 가지는 $ h(s) $ 의 구조를 활용하여 에너지 추정을 통해 $ u \leq \sigma - \varepsilon $ a.e. 를 $ f $ 에 독립적으로 확보.

실험 결과

연구 질문

• RQ1 수직 점근선을 가지는 저차항이 비균일 강제성 조건이 있는 타원형 방정식의 해를 정규화할 수 있는가?
• RQ2 해가 $ f \in L^m(\Omega) $, $ m \geq 1 $ 인 경우에도 $ h(s) \to \infty $ 가 $ s \to \sigma $ 일 때 성립하는 저차항 $ h(u) $ 가 해의 유계성을 보장하는가?
• RQ3 비균일 강제성으로 인해 해가 $ W^{1,1}_0(\Omega) $ 에 속하지 않을 경우 엔트로피 해의 존재성을 확립할 수 있는가?
• RQ4 비균일 강제성 매개변수 $ \gamma \in (0,1] $ 는 해의 적분 가능성과 정규성에 어떤 역할을 하는가?
• RQ5 근사 문제에서 $ h(u) $ 의 절단 기법과 $ T_n(f) $ 의 사용이 $ H^1_0(\Omega) \cap L^\infty(\Omega) $ 에 수렴하는 해로의 수렴을 어떻게 보장하는가?

주요 결과

• 모든 $ f \in L^\infty(\Omega) $ 에 대해, $ 0 \leq u(x) \leq \sigma - \varepsilon $ a.e. in $ \Omega $ 를 만족하는 분포 해 $ u \in H^1_0(\Omega) \cap L^\infty(\Omega) $ 가 존재하며, 이는 $ f $ 에 독립적이다.
• 해 $ u $ 는 a.e. 에서 $ u \leq \sigma $ 를 만족하며, $ h(s) $ 의 구조 덕분에 모든 $ f \in L^m(\Omega) $, $ m \geq 1 $ 에 대해 균일한 유계성 상한이 유지된다.
• 근사 해 수열 $ u_n $ 은 $ H^1_0(\Omega) $ 에서 약수렴하고 $ \Omega $ 에 거의 어디서나 수렴하므로, 극한 해 $ u \in H^1_0(\Omega) \cap L^\infty(\Omega) $ 가 존재함을 보장한다.
• $ h(u_n) $ 는 등적분성을 가지며, 이는 약한 형태에서의 극한 취득과 함께 $ h(u_n) \to h(u) $ in $ L^1(\Omega) $ 를 증명하는 데 유용하다.
• 해 $ u $ 는 엔트로피 해이며, $ T_k(u - \varphi) $ 와 같은 절단을 사용한 약한 형태를 만족한다. 이는 $ \nabla u \notin L^1(\Omega) $ 일 경우에도 성립한다.
• 비균일 강제성 $ a(x,s) \geq \alpha / (1+|s|)^\gamma $, $ \gamma \in (0,1] $ 은 $ h(u) $ 의 정규화 효과와 호환되며, 균일 강제성이 없음에도 불구하고 해의 존재성과 유계성을 보장한다.