[논문 리뷰] Oscillating waves and optimal smoothing effect for one-dimensional nonlinear scalar conservation laws

Pierre Castelli, Stéphane Junca|arXiv (Cornell University)|2013. 02. 06.

Navier-Stokes equation solutions참고 문헌 3인용 수 5

한 줄 요약

이 논문은 1차원 비선형 스칼라 보존법칙에 대해 리오네스-페르타메-타드모르 추측에서 예측한 최적의 정규성에 도달하는 부드럽고 진동하는 해를 구성한다. 초임계 기하광학과 제어된 허더형 진동을 갖는 초기 자료의 새로운 구성 방식을 사용하여, 엔트로피 해가 정확히 $ W^{s,1}_{\text{loc}} $ 정규성을 갖는다는 것을 증명한다. 여기서 $ s < \alpha $ 이고 $ \alpha = 1/d $이며, 이 경계는 날카롭다—일반적인 비선형 흐름에서 고갈 차수 $ d $ 가 있을 경우 더 높은 정규성은 가능하지 않다. 이 결과는 분수계 BV 공간에서의 추측된 부드러움 효과의 날카로움을 확인한다.

ABSTRACT

Lions, Perthame, Tadmor conjectured in 1994 an optimal smoothing effect for entropy solutions of nonlinear scalar conservations laws . In this short paper we will restrict our attention to the simpler one-dimensional case. First, supercritical geometric optics lead to sequences of $C^\infty$ solutions uniformly bounded in the Sobolev space conjectured. Second we give continuous solutions which belong exactly to the suitable Sobolev space. In order to do so we give two new definitions of nonlinear flux and we introduce fractional $BV$ spaces.

연구 동기 및 목표

• 스칼라 보존법칙의 엔트로피 해에 대한 리오네스-페르타메-타드모르 추측의 최적 부드러움 효과의 날카로움을 조사하는 것.
• 해의 정규성에 대해 $ s < \alpha $ 이고 $ \alpha $는 고갈 매개변수일 때, $ W^{s,1}_{\text{loc}} $ 에서 균일하게 유계인 명시적 $ C^\infty $ 해를 구성하는 것.
• 일반적인 비선형 흐름에서 $ W^{s,1}_{\text{loc}} $ 보다 더 좋은 정규성은 기대할 수 없다는 것을 보여주기 위해, 모든 $ \eta > 0 $ 에 대해 $ W^{s+\eta,1}_{\text{loc}} $ 에 속하지 않는 해를 보여주는 것.
• 분수계 $ BV $ 공간을 도입하고 적용하여 엔트로피 해의 정규성 한계를 특성화하는 것.

제안 방법

• 고주파, 소폭 진동하는 초기 자료를 $ C^\infty $ 주기 함수 $ g(y) $ 를 사용하여 구성하며, 특히 $ g(y) = y^b \cos(\pi / y^c) $ 이고 $ b d = 1 + c $ 를 만족하도록 제어된 허더형 행동을 갖는다.
• WKB 유사 전개를 통한 초임계 기하광학을 적용하여 $ s = 1/d $ 에서 $ W^{s,1}_{\text{loc}} $ 에서 균일하게 유계인 근사 해를 도출한다.
• 특성의 방법을 사용하여 초기 자료와 흐름 도함수 $ a(u) = f'(u) $ 를 이용해 해 $ u(t,x) $ 를 명시적으로 정의하며, 연속성과 국소 정규성을 보장한다.
• 고갈점 $ \underline{u} $ 근처에서 $ a(u) $ 의 테일러 전개를 활용하여 $ f^{(k)}(\underline{u}) = 0 $ 이 $ k \leq d $ 에 대해 성립하도록 하여 $ a(u) \sim (u - \underline{u})^d $ 가 되도록 하여 해의 등고선의 정규성을 제어한다.
• 변수변환 $ \theta_t(y) = y + t a(\underline{u} + \delta g(y)) $ 를 정의하며, $ \delta $ 가 작고 $ t < T_\delta $ 일 때 $ \theta_t $ 가 $ C^1 $ 미분동형사상임을 보여 정규성 구조를 유지한다.
• 역함수의 허더 행동과 $ g(y) $ 의 진동을 분석하여, 해 $ u(t, \cdot) $ 가 $ BV^s(\mathbb{R}) $ 에 속하지만 모든 $ \eta > 0 $ 에 대해 $ BV^{s+\eta}(\mathbb{R}) $ 에 속하지 않는다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 비선형 흐름을 갖는 1차원 스칼라 보존법칙의 엔트로피 해에 대해 추측된 최적의 부드러움 효과 $ u(t, \cdot) \in W^{s,1}_{\text{loc}} $ 가 $ s < \alpha $ 일 때 실현 가능한가?
• RQ2 정규성 한계 $ s = \alpha $ 는 날카로운가, 아니면 어떤 흐름에서는 더 높은 정규성을 기대할 수 있는가?
• RQ3 고갈 차수 $ d $ 를 갖는 흐름에 대해 고주파 진동을 갖는 초기 자료를 통한 해의 정확한 정규성은 무엇인가?
• RQ4 분수계 $ BV $ 공간과 고갈 매개변수 $ d $ 는 엔트로피 해의 정규성과 어떻게 관련이 있는가?
• RQ5 모든 $ \eta > 0 $ 에 대해 $ W^{s+\eta,1}_{\text{loc}} $ 에 속하지 않는, $ W^{s,1}_{\text{loc}} $ 에서 균일하게 유계인 명시적 $ C^\infty $ 해를 구성할 수 있는가?

주요 결과

• 논문은 $ s < \alpha $ 에 대해 $ W^{s,1}_{\text{loc}} $ 에서 균일하게 유계인 $ C^\infty $ 해의 수열을 구성하며, 여기서 $ \alpha = 1/d $ 이고 $ d $ 는 흐름의 고갈 차수이며, 이는 추측된 정규성 경계를 확인한다.
• 모든 $ \eta > 0 $ 에 대해, $ BV^s(\mathbb{R}) $ 에 속하지만 $ BV^{s+\eta}(\mathbb{R}) $ 에 속하지 않는 해가 존재함을 보여, 정규성 한계 $ s = \alpha $ 가 날카로움을 증명한다.
• 구성된 해는 연속적이며 모든 $ t > 0 $ 에 대해 고전적 의미에서 보존법칙을 만족한다. 이는 정규성이 약한 또는 엔트로피 수준의 성질이 아니라는 것을 보여준다.
• 이 방법은 $ C^\infty $ 흐름에 대해 리오네스-페르타메-타드모르 추측의 최적 부드러움 효과가 날카로움을 확인한다. 왜냐하면 일반적으로 더 높은 정규성은 기대할 수 없기 때문이다.
• 이 결과는 고갈 차수 $ d $ 를 갖는 흐름에 의존하며, 이러한 흐름에 대해 최적의 정규성은 $ W^{s,1}_{\text{loc}} $ 이고 $ s = 1/d $ 이며, 이 경계는 향상될 수 없다.
• 모든 $ s \in (0,1] $ 에 대해 성립하며, $ f(u) = |u|^{1+p} $ 형태의 멱법칙 흐름을 선택하고 $ p = 1/s $ 로 하여, 필요한 허더 지수와 일치하는 초기 자료의 진동을 구성함으로써 성립한다.