On three-dimensional flows of thermo-viscoelastic fluids of Giesekus type

Miroslav Bulíček, Tomáš Los, 그리고 Jakub Woźnicki 의 논문 "On three-dimensional flows of thermo-viscoelastic fluids of Giesekus type"에 대한 상세한 기술적 요약은 다음과 같습니다.

1. 문제 제기

본 논문은 유계 3 차원 영역 $\Omega \subset \mathbb{R}^3$에서 시간 구간 $(0, T)$에 걸쳐 정의된 Giesekus 형의 비압축성, 열전도성, 점탄성 유체의 흐름에 대한 수학적 분석을 다룹니다.

이 시스템은 질량 보존, 선형 운동량 보존, 내부 에너지 보존, 그리고 탄성 응력 (왼쪽 Cauchy–Green 텐서 $B$ 또는 변형률 기울기 $F$로 표현됨) 의 진화를 결합합니다. 지배 방정식은 다음과 같습니다:

• 비압축성: $\text{div } v = 0$.
• 운동량 균형: $\rho \partial_t v + \rho \text{div}(v \otimes v) - \text{div } T = \rho f$.
• 응력 진화: 상부 컨벡티드 Oldroyd 도함수와 Giesekus 모델에 고유한 소산 항을 포함하는 텐서 $B$(또는 $F$) 에 대한 진화 방정식.
• 내부 에너지 균형: $\rho \partial_t e + \rho \text{div}(ev) + \text{div } q - T : D = 0$.

모델의 주요 특징:

• 온도 의존성: 모든 물질 매개변수 (점도 $\nu$, 완화 시간 $\tau$, 열전도도 $\kappa$, 그리고 탄성 계수 함수 $g$) 는 온도 $\theta$에 의존합니다.
• Giesekus 소산: 모델은 응력 진화에 비선형 소산 항을 포함하여 Oldroyd-B 모델과 구별됩니다.
• 경계 조건: 속도 ($v \cdot n = 0, (Tn)_\tau = -\gamma^* v_\tau$) 에 대한 Navier 슬립 경계 조건과 열 플럭스 제로 ($\nabla \theta \cdot n = 0$) 조건.
• 초기 데이터: 큰 데이터 (Large data) 를 고려하며, 초기 속도, 온도, 또는 변형률 기울기에 대한 소량 가정이 부과되지 않습니다.

2. 방법론

저자들은 강한 비선형성과 해의 정규성 부재를 처리하기 위해 정교한 **약 - 강 프레임워크 (weak-strong framework)**와 고급 컴팩트성 도구를 활용합니다.

A. 열역학적 일관성 및 재형식화

• 엔트로피와 에너지: 저자들은 헬름홀츠 자유 에너지를 사용하여 열역학적으로 일관된 프레임워크에서 시스템을 유도합니다. 그들은 내부 에너지 방정식을 엔트로피 부등식과 총 에너지 부등식으로 대체합니다. 이 접근법은 특정 경계 조건에서 압력 $p$가 약한 의미로 잘 정의되지 않을 수 있지만 에너지 부등식은 유효하게 유지된다는 점에서 중요합니다.
• 변수 변환: $B$에 대한 진화 방정식은 미분 기호 아래에 없는 항들을 포함하여 (극한 식별을 어렵게 만듦), 저자들은 $B = FF^T$가 되도록 변수 $F$를 도입합니다. Masmoudi 의 전략을 따라 응력 진화 방정식을 $F$(이동 - 확산 유형의 방정식) 로 재형식화합니다. 이를 통해 비선형 항을 더 잘 제어할 수 있습니다.

B. 근사 체계

존재성 증명은 다단계 근사 절차에 의존하며, 이는 다음을 포함합니다:

1. Galerkin 근사: 속도, 변형률 기울기, 내부 에너지를 유한 차원 부분 공간에 투영합니다.
2. 정규화: 매끄러운 근사 해의 존재를 보장하기 위해 인공 확산 항 ($\varepsilon_4 \Delta F$, $\varepsilon_7 \Delta e$) 과 컷오프 함수 ($\Lambda_{\varepsilon_3}$, $g_{\varepsilon_1}$) 를 도입합니다.
3. 반복 극한: 저자들은 특정 매개변수 순서로 극한을 취합니다 (Galerkin 지수에 대해 $m, n, l \to \infty$, 이어 $\varepsilon_7, \varepsilon_4, \varepsilon_2, \varepsilon_1, \varepsilon_5, \varepsilon_6, \varepsilon_3 \to 0$).

C. 컴팩트성 및 수렴 도구

분석의 핵심은 비선형 구성 관계를 극한으로 넘기기 위해 필요한 온도 $\theta$와 변형률 기울기 $F$의 강 수렴을 확립하는 데 있습니다.

• 온도 수렴: 저자들은 엔트로피 방정식과 결합된 **Div-Curl 보조정리 (Murat-Tartar)**를 사용합니다. 엔트로피 $\eta$와 온도를 포함하는 특정 시험 함수를 구성함으로써, 온도 부분 수열이 거의 모든 곳에서 수렴함을 증명합니다.
• 변형률 기울기 수렴: 그들은 **재규격화 기법 (DiPerna-Lions)**과 $|F|^2 - |F|^2$ (여기서 $F$는 극한) 에 대한 특정 Gronwall 유형의 부등식을 적용합니다. 이는 대류 항을 처리하기 위해 속도장을 "Stokes 유사" 부분과 나머지로 분할하는 것을 포함하며, 결국 $L^2$에서 $F$의 강 수렴을 증명합니다.
• Biting Limits: 소산 항과 같은 양에 대한 $L^1$ 공간에서의 약 수렴을 처리하기 위해 Chacon 의 biting 보조정리가 사용됩니다.

3. 주요 기여

1. 전체 시간 대역의 큰 데이터 존재성: 본 논문은 온도 의존성을 가진 완전한 3D Giesekus 모델에 대한 전역 약 해의 존재성을 확립하며, 다음을 요구하지 않습니다:
   • 초기 데이터의 소량성.
   • 인공 응력 확산 (이전 문헌에서 일반적인 정규화).
   • 물질 매개변수에 대한 비물리적 성장 가정 (예: 열전도도가 다항식 성장을 요구하는 이전 연구와 달리 유계일 수 있음).
2. 열역학적으로 일관된 약 해: 해는 총 에너지 부등식과 엔트로피 부등식을 만족하는 "소산 약 (dissipative weak)" 의미로 정의됩니다. 이는 해가 열역학 제 2 법칙을 준수함을 보장합니다.
3. Giesekus 비선형성 처리: 저자들은 온도 결합의 존재 하에서 Giesekus 모델의 특정 비선형 소산 항 ($\alpha(B-I)$ 및 $\tau(B^2-B)$) 을 성공적으로 다루었으며, 이는 3 차원에서 큰 데이터에 대해 열려 있던 문제였습니다.
4. 일반 물질 매개변수: 이 결과는 점도, 완화 시간 등에 대한 자연스러운 유계성 및 단조성 조건만 만족하는 광범위한 연속 물질 함수 클래스에 대해 성립하며, 이를 통해 모델이 다양한 물리적 시나리오에 적용 가능해집니다.

4. 주요 결과

정리: 영역 $\Omega$가 Lipschitz 이고 초기 데이터 $(v_0, F_0, \theta_0)$가 자연스러운 에너지 - 엔트로피 함수 공간 (구체적으로 $v_0 \in L^2$, $F_0 \in L^2$, $\theta_0 \in L^1$이며 $\det F_0 > 0$) 에 속한다고 가정할 때, 시스템에 대한 전체 시간 대역의 소산 약 해 (global-in-time dissipative weak solution) $(v, \theta, F)$가 존재합니다.

해는 다음을 만족합니다:

• 약 순서적 안정성: 해는 근사 수열의 극한 하에서 안정적입니다.
• 에너지 부등식: 총 에너지 (운동 에너지 + 내부 에너지) 는 경계 소산을 고려한 미분 부등식을 만족합니다.
• 엔트로피 부등식: 엔트로피 생성은 음이 아니며, 열역학 제 2 법칙을 만족합니다.
• 정규성: 해는 특정 정규성 속성을 가지며, 여기에는 $v \in L^\infty(0,T; L^2) \cap L^2(0,T; W^{1,2})$, $\theta \in L^\infty(0,T; L^1) \cap L^{5/3}(Q_T)$, 그리고 $F \in L^\infty(0,T; L^2) \cap L^4(Q_T)$가 포함됩니다.

5. 의의

이 작업은 복잡한 유체에 대한 수학 이론에서 중요한 돌파구입니다. 그 이전까지 열전도성 점탄성 유체에 대한 전역 존재성 결과는 종종 다음에 의존했습니다:

• 단순화된 모델 (예: 응력 확산이 포함된 Oldroyd-B).
• 소량 데이터 가정.
• 2 차원 설정.
• 열전도도 성장에 대한 비물리적 가정.

이러한 제한을 제거함으로써 Bulíček, Los, 그리고 Woźnicki 는 열적 효과와 탄성 응력이 강하게 결합된 복잡한 물질 (예: 고분자 및 생물학적 유체) 의 현실적이고 대규모인 3 차원 흐름을 모델링하기 위한 엄밀한 기초를 제공합니다. 특히 인공 확산 없이 엔트로피 기반 컴팩트성과 Giesekus 비선형성의 특정 처리를 결합한 개발된 방법론은 속도형 점탄성 유체 분석에 새로운 기준을 설정합니다.