[논문 리뷰] A sufficient integral condition for local regularity of solutions to the surface growth model

Wojciech S. Ożański|arXiv (Cornell University)|2018. 03. 23.

Navier-Stokes equation solutions참고 문헌 25인용 수 10

한 줄 요약

이 논문은 1차원 표면 성장 모델(ut + uxxxx + ∂xxu²x = 0)의 약한 해의 국소적 미분가능성에 대한 충분한 적분 조건을 확립한다. 1/q + 4/q′ ≤ 1을 만족하는 ux ∈ Lq′,q(Q) 조건이 공간과 시간에서 C∞ 정칙성을 유도함을 증명함으로써, 이는 제4형 타입의 포물형 방정식으로의 Serrin 유형 정칙성 기준을 확장한 것으로, 3차원 나비에-스토크스 방정식의 결과와 유사하며, 특이점 집합의 정의가 최적임을 시사한다.

ABSTRACT

The surface growth model, $u_t + u_{xxxx} + \partial_{xx} u_x^2 =0$, is a one-dimensional fourth order equation, which shares a number of striking similarities with the three-dimensional incompressible Navier--Stokes equations, including the results regarding existence and uniqueness of solutions and the partial regularity theory. Here we show that a weak solution of this equation is smooth on a space-time cylinder $Q$ if the Serrin condition $u_x\in L^{q'}L^q (Q)$ is satisfied, where $q,q'\in [1,\infty ]$ are such that either $1/q+4/q'<1$ or $1/q+4/q'=1$, $q'<\infty$.

연구 동기 및 목표

• 표면 성장 모델의 약한 해에 대한 국소적 미분가능성에 대한 충분한 적분 조건을 확립하기 위해.
• 3차원 나비에-스토크스 방정식에서의 Serrin 유형 정칙성 기준을 이 제4형 편미분방정식으로 확장하기 위해.
• Serrin 조건이 전체 C∞ 정칙성을 유도함을 보여줌으로써, 하오더 연속성에 기반한 특이점 집합 정의가 최적임을 명확히 하기 위해.
• 방정식의 비선형 항의 구조상 ux에 대한 조건이 u에 대한 조건보다 자연스럽다는 점을 밝히기 위해.
• 부분 정칙성 결과와 완전 정칙성 사이의 격차를 메우기 위해, Serrin 조건이 정칙성을 유도함을 보여주기 위해.

제안 방법

• 이차형 열핵을 통한 표면 성장 방정식에서 유도된 ux에 대한 표현 공식을 사용함.
• 분수형 소볼레프 공간과 포물형 파인카레 유사 부등식을 적용하여 고차 도함수를 점진적으로 제어함.
• Lp 공간에서 ∂t − ∂xxxx의 이미지의 조밀성에 기반한 이차형 열 방정식의 유일성 정리를 적용함.
• 타카하시(1990)의 접근 방식을 1차원 제4형 설정으로 적응시켜, 미세화와 에너지 추정을 사용함.
• 요우의 부등식과 하우더 부등식을 적용하여 로렌츠 공간 Lq′,q 내의 노름을 제어함.
• 보팅 기법을 사용함: 먼저 확장된 포물형 파인카레 부등식을 통해 하오더 연속성을 증명하고, 그 다음 도함수 추정을 통해 전체 C∞ 정칙성을 확보함.

실험 결과

연구 질문

• RQ1 Serrin 유형 조건 ux ∈ Lq′,q(Q) 및 1/q + 4/q′ ≤ 1이 표면 성장 모델의 약한 해에 대해 C∞ 정칙성을 유도하는가?
• RQ2 오자인스키 & 로빈슨(2017)의 부분 정칙성 결과(ux에 대한 L3 노름 조건 하에서 하오더 연속성 보장)가 유사한 Lq′,q 조건 하에서 전체 미분가능성으로 강화될 수 있는가?
• RQ3 Serrin 조건이 전체 C∞ 정칙성을 유도함을 고려할 때, u가 어떤 이웃에서나 하오더 연속성이 실패하는 점들의 집합으로서 정의된 특이점 집합 S의 정의가 최적인가?
• RQ4 왜 조건이 u가 아닌 ux에 대해 기술되어 있으며, 이는 방정식의 비선형 항 ∂xxu²x의 구조와 어떻게 관련되어 있는가?
• RQ5 q=1, q′=∞인 끝점 경우의 역할은 무엇이며, 나비에-스토크스 경우에서 중요함에도 불구하고 현재 분석에서 배제되는 이유는 무엇인가?

주요 결과

• 만약 ux ∈ Lq′,q(Q) 이고 1/q + 4/q′ < 1 이라면, 임의의 실린더 Q에서 표면 성장 모델의 약한 해는 공간과 시간에서 C∞ 정칙성이 성립한다.
• 비판적 경우 1/q + 4/q′ = 1 이며 q′ < ∞ 이면 동일한 조건이 C∞ 정칙성을 보장하며, 이는 부분적 결과를 비판적 경우로 확장한 것이다.
• 조건 1/q + 4/q′ ≤ 1 은 오직 끝점 경우 q=1, q′=∞만을 배제하며, 이 경우는 아직 미해결이지만 정칙성을 유도할 것이라 추측된다.
• 증명은 분수형 소볼레프 공간의 새로운 응용을 통해 도함수를 점진적으로 확보함으로써, 전체 L∞ 유계성의 필요 없이도 성립한다.
• 결과는 하오더 연속성 실패에 기반한 특이점 집합 S의 정의가 최적임을 확인한다. Serrin 조건이 전체 C∞ 정칙성을 유도하기 때문이다.
• 분석 결과, 표면 성장 모델의 Serrin 조건은 공간과 시간 양쪽에서 정칙성을 유도하는 반면, 나비에-스토크스 경우에서는 공간적 정칙성만 확보됨을 보여준다.