[논문 리뷰] Unsteady 3D-Navier-Stokes System with Tresca's Friction Law

Mahdi Boukrouche, Imane Boussetouan외 1명|arXiv (Cornell University)|2015. 12. 21.

Navier-Stokes equation solutions참고 문헌 8인용 수 4

한 줄 요약

이 논문은 정규화-벌점 방법과 컴팩트니스 추론을 사용하여, 온도에 따라 변화하는 점성도와 경계 일부에서의 Tresca 마찰 법칙을 갖는 비압축성 3차원 스토크스 시스템에 대한 약한 해의 존재성을 확립한다. 이 방법은 비정수 점성도와 혼합 경계 조건을 처리하며, 측면 경계에서의 시간에 의존하는 속도와 하부 경계에서의 마찰성 슬립을 포함한다. 적절한 함수 공간 프레임워크 내에서 해로의 수렴을 증명한다.

ABSTRACT

Motivated by extrusion problems, we consider a non-stationary incompress-ible 3D fluid flow with a non-constant (temperature dependent) viscosity, subjected to mixed boundary conditions with a given time dependent velocity on a part of the boundary and Tresca's friction law on the other part. We construct a sequence of approximate solutions by using a regularization of the free boundary condition due to friction combined with a particular penalty method, reminiscent of the " incompressibility limit " of compressible fluids, allowing to get better insights into the links between the fluid velocity and pressure fields. Then we pass to the limit with compactness arguments to obtain a solution to our original problem.

연구 동기 및 목표

• 비압축성 3차원 스토크스 시스템에 Tresca 마찰 법칙이 적용된 경계 일부에서 약한 해의 존재성을 확립한다.
• 실제 와이어 및 필름 성형 공정에서의 유체 거동을 모델링하기 위해 점성도를 온도에 따라 변화시키는 것을 스토크스 프레임워크에 통합한다.
• 혼합 경계 조건을 처리한다: 상부 경계에서의 점착 경계 조건, 측면 경계에서의 시간에 의존하는 속도, 하부 이동 경계에서의 마찰성 슬립.
• 압축성 유지와 컴팩트니스 기반 수렴을 보장하는 정규화-벌점 방법을 개발한다.
• 박막 필름 근사나 작은 영역 두께를 가정하지 않고 일반적인 3차원 기하 구조로 분석을 확장한다.

제안 방법

• 작은 매개수 ε에 따라 의존하는 매끄러운 함수의 가족을 통해 Tresca 마찰 법칙을 정규화한다. 이는 비미분 가능 마찰 조건을 대체한다.
• 압축성 제약 조건을 약하게 강제하기 위해, 압축성 유체의 압축성 극한과 유사한 벌점 방법을 사용한다.
• 문제는 삼각형 해석 공간에서의 변분 부등식 프레임워크로 재구성되며, 상부 경계에서 0이 되는 발산이 없는 벡터장의 함수 공간에서의 시험 함수를 사용한다.
• 가우스키 근사와 시간 이산화를 통해 근사 해의 수열 (ṽε, pε)을 구성하며, 적절한 함수 공간에서 일관된 유계성을 도출한다.
• L∞(0,τ;L²(Ω)), L²(0,τ;H¹(Ω)), H⁻¹(0,τ;L²₀(Ω))에서의 수렴을 활용하여 (ṽε, pε)의 수열에 컴팩트니스 추론을 적용하고, 약한* 및 약한 극한을 추출한다.
• 속도의 경계에서의 강한 L² 수렴 조건 하에, Ψε(wε) → Ψ(w)를 보여주는 핵심 보조정리를 통해 정규화된 마찰 항의 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 Tresca 마찰 법칙과 온도에 따라 변화하는 점성도를 갖는 비압축성 3차원 스토크스 시스템에 대해 약한 해가 존재할 수 있는가?
• RQ2 비미분 가능 마찰 조건은 어떻게 정규화할 수 있으며, 문제의 물리적 및 수학적 구조를 유지할 수 있는가?
• RQ3 벌점 방법은 어떻게 압축성 제약 조건을 근사하고, 극한 과정에서 컴팩트니스를 가능하게 하는가?
• RQ4 박막 필름 기하 구조나 작은 영역 두께를 가정하지 않고 해를 구할 수 있는가?
• RQ5 정규화 및 벌점 시스템의 수렴 성질은 원래 문제의 해 존재성을 어떻게 보장하는가?

주요 결과

• 일반적인 3차원 영역에서 Tresca 마찰 법칙과 온도에 따라 변화하는 점성도를 갖는 비압축성 3차원 스토크스 시스템에 대해 약한 해 (v, p)가 존재한다.
• 속도장 v는 L∞(0,τ;L²(Ω)) ∩ L²(0,τ;H¹(Ω))에 속하며, 시간 도함수는 L⁴/³(0,τ; (V₀div)′)에 속한다.
• 압력 p는 H⁻¹(0,τ;L²₀(Ω))에 속하며, 해는 문제의 변분 부등식 형태를 만족한다.
• 경계에서 속도의 경계값의 강한 L² 수렴 조건 하에, 정규화된 마찰 항의 수렴이 엄밀히 증명되었다. 이는 Ψε(wε) → Ψ(w)를 보여주는 보조정리에 기반한다.
• 해는 경계 조건을 만족한다: v = 0 on Γ₁ × (0,τ), v = gζ on ΓL × (0,τ), 그리고 Tresca 마찰 법칙이 Γ₀ × (0,τ)에서 성립한다.
• 영역 두께에 대한 제한적인 가정을 피하여, 박막 필름 근사가 아닌 일반적인 3차원 기하 구조를 허용한다.