[논문 리뷰] Global solution to the incompressible flow of liquid crystals

Xiaoli Li, Dehua Wang|arXiv (Cornell University)|2011. 08. 27.

Navier-Stokes equation solutions참고 문헌 16인용 수 6

한 줄 요약

이 논문은 유한한 매끄러운 영역 내에서 3차원 비압축성 난류 액정의 흐름에 대해 초기 데이터가 작을 경우 전역 강해 해의 존재성과 유일성을 확립한다. 약한 해가 강해 해가 존재할 경우 그와 일치함을 증명하여, 에너지 추정과 그로우발라 유형의 추론을 통해 3차원 설정에서 오랫동안 남아있던 정칙성과 유일성 문제를 해결한다.

ABSTRACT

The initial boundary value problem for the three-dimensional incompressible flow of liquid crystals is considered in a bounded smooth domain. The existence and uniqueness is established for both the local strong solution with large initial data and the global strong solution with small data. It is also proved that when the strong solution exists, a weak solution must be equal to the unique strong solution with the same data.

연구 동기 및 목표

• 큰 초기 자료를 가진 3차원 비압축성 액정 모델에 대해 국소 강해 해의 존재성과 유일성을 확립하기.
• 초기 자료가 작을 조건 하에서 전역 강해 해의 존재성을 증명하기.
• 강해 해가 존재할 경우, 어떤 약한 해라도 그와 동일해야 하며, 이는 유일성과 정칙성 전파를 보장함.
• 비압축성 나비에-스톡스 방정식과 정렬 필드에 대한 조화형 매핑 흐름 간의 결합을 분석하기.
• 2차원에서의 진전에도 불구하고 여전히 열려있던 3차원 설정으로 정칙성과 유일성 결과를 확장하기.

제안 방법

• 3차원 비압축성 액정 모델을 나비에-스톡스 방정식과 이동하는 조화형 매핑 방정식의 결합 시스템으로 수립하기.
• 속도 및 정렬 기울기의 비선형 항을 제어하기 위해 에너지 추정과 소볼레프 부등식을 적용하기.
• 포물형 정규성 이론(참고문헌 [12], 제6장, 제2절)을 통해 정렬 필드의 허더 연속성을 확보하여 핵심 노름의 유계성을 보장하기.
• 에너지 방법을 사용하고 속도, 정렬, 기울기 항들을 $L^2$ 기반으로 비교하여 두 해의 차이에 대한 사전 추정을 유도하기.
• 유도된 적분 부등식에 그로우발라 부등식을 적용하여 강해 해의 유일성을 증명하기.
• 초기 조건과 경계 조건 간의 일관성을 이용하여 추정이 시간에 걸쳐 유효함을 보장하기.

실험 결과

연구 질문

• RQ1 초기 자료가 충분히 작을 경우, 3차원 비압축성 액정 시스템에 전역 강해 해가 존재하는가?
• RQ2 약한 해가 고려될 경우, 3차원 설정에서 강해 해의 유일성이 확립될 수 있는가?
• RQ3 약한 해가 유일한 강해 해와 일치하는 조건은 무엇인가?
• RQ4 속도 및 정렬 필드 간의 비선형 결합은 정칙성과 장기적 거동에 어떤 영향을 미치는가?
• RQ5 경계 조건(속도에 대한 비스립 조건, 정렬에 대한 동차 노이만 조건)은 해의 존재성과 유일성에 어떤 역할을 하는가?

주요 결과

• 적절한 노름에서 초기 자료가 충분히 작을 경우, 3차원 비압축성 액정 시스템에 전역 강해 해가 존재한다.
• 큰 초기 자료에 대해서도 국소 강해 해가 존재하여 단기적 잘 정의됨을 보장한다.
• 강해 해가 존재할 경우, 동일한 초기 및 경계 조건을 가진 모든 약한 해는 그와 정확히 일치하므로, 유일성과 정칙성 전파가 보장된다.
• 속도 및 정렬 기울기의 $L^rown{ ext{infty}}$ 노름이 시간에 대해 적분 가능하다는 가정 하에, 두 해의 차이에 그로우발라 부등식을 적용하여 해 클래스의 유일성을 입증한다.
• 정렬 필드는 모든 시간에 대해 $C^{1,eta}$에 속하며, 이는 추정에 사용되는 핵심 노름의 유계성을 보장한다.
• 분석 결과, ${f d}$에 대한 단위 구면 제약 조건과 비선형 결합 구조에도 불구하고, 초기 자료가 작을 경우 시스템의 전역 존재성과 유일성이 방해받지 않음을 확인한다.