[논문 리뷰] Global existence result for phase transformations with heat transfer in shape memory alloys

Lætitia Paoli, Adrien Petrov|arXiv (Cornell University)|2011. 04. 28.

Shape Memory Alloy Transformations참고 문헌 32인용 수 11

한 줄 요약

이 논문은 열역학적으로 일관된 형상 기억 합금의 상전이 모델에 대해, 비율에 의존하지 않는 진화와 열전달을 연계한 전역 약한 해의 존재를 확립한다. 고정점 추론과 엔탈피 기반 변분 프레임워크에서의 전역 에너지 추정을 활용하여, 초기 자료와 재료 매개변수에 일반적인 정규성 조건이 만족될 경우, 3차원 시스템에 대해 존재성을 증명한다.

ABSTRACT

We consider three-dimensional models for rate-independent processes describing materials undergoing phase transformations with heat transfer. The problem is formulated within the framework of generalized standard solids by the coupling of the momentum equilibrium equation and the flow rule with the heat transfer equation. Under appropriate regularity assumptions on the initial data, we prove the existence a global solution for this thermodynamically consistent system, by using a fixed-point argument combined with global energy estimates.

연구 동기 및 목표

• 형상 기억 합금의 열역학적으로 일관된 상전이 모델에 대해 전역 약한 해의 존재를 확립한다.
• 내부 변수의 비율에 의존하지 않는 진화와 열전달을 연계하여 열적 영향과 점성 감쇠를 고려한다.
• 선형화된 헬름홀츠 자유 에너지 분해를 통해 온도와 내부 변수 간의 더 일반적인 결합을 통합함으로써 기존 결과를 확장한다.
• 엔탈피 변환 기반의 변분 프레임워크에서 고정점 추론을 통해 존재성을 증명한다.
• 온도의 엄격한 양의 값을 보장하고 장기적 존재성을 확보하기 위한 전역 에너지 추정을 유도한다.

제안 방법

• 운동량 평형, 유동 법칙, 열전달 방정식을 포함하는 일반화된 표준 재료 프레임워크를 사용하여 문제를 수립한다.
• 헬름홀츠 자유 에너지의 분해를 도입하여 기계적 기여와 열적 기여를 분리함으로써 열역학적 일관성을 확보한다.
• 비선형성을 다루고 에너지 추정을 가능하게 하기 위해 시스템을 엔탈피 기반으로 재구성한다.
• 주어진 온도에 대해 운동량-유동 법칙 시스템을, 주어진 우측항에 대해 엔탈피 방정식을 순차적으로 풀어 고정점 추론을 적용한다.
• 전역 에너지 추정과 가가르도-니레버그 부등식을 활용하여 레바그 및 소볼레프 공간에서 엔탈피와 온도를 제어한다.
• 시간에 독립적인 사전 추정에 기반하여, 국소 해를 전체 시간 간격 [0, T]로 확장하기 위해 모순 추론을 사용한다.

실험 결과

연구 질문

• RQ1 형상 기억 합금의 3차원 상전이 모델에서 열전달과 비율에 의존하지 않는 진화가 연계된 경우, 전역 약한 해가 존재할 수 있는가?
• RQ2 비율에 의존하는 과정과 열전달을 포함하는 시스템에서 열역학적 일관성이 어떻게 유지될 수 있는가?
• RQ3 엄격한 양의 온도를 보장하는 해의 전역 존재성을 보장하기 위해 재료 매개변수와 초기 자료에 어떤 조건이 필요한가?
• RQ4 엔탈피 수식이 온도와 그 기울기의 전역 사전 추정을 도출하는 데 사용될 수 있는가?
• RQ5 자유 에너지와 소산 잠재력에 대한 어떤 정규성 및 구조적 가정 하에서 시스템이 전역 해를 갖는가?

주요 결과

• 적절한 초기 자료와 재료 매개변수에 대한 정규성 조건 하에서, 시스템은 $[0,T]$에서 전역 약한 해 $(u, z, \theta)$를 갖는다.
• 해는 $u \to {\rm W}^{1,q}(0,T; {\rm V}^p_0(\bar{Ω}))$, $z \to {\rm L}^∞(0,T; {\rm H}^1(Ω) \cap {\rm X}_{q,p}(Ω)) \cap {\rm H}^1(0,T; {\rm L}^2(Ω))$, 및 $\vartheta \in \mathcal{W}$를 만족하며, 거의 모든 곳에서 $\vartheta > 0$이다.
• 최대 존재 시간 $\bar{\tau}$가 반드시 $T$여야 한다는 모순 추론을 통해 전역 존재성이 확립된다.
• $\beta_1 > \max(3, \frac{6}{5(1-p_1)})$일 경우, $\tau$에 독립적으로 $\vartheta$에 대한 $\rm L^{2\alpha}(0,\tau; \rm L^\alpha(\Omega))$에서의 전역 추정을 확보한다. $\alpha \in (7/6, 4/3)$.
• 온도 $\theta = \zeta(\vartheta)$는 $\rm L^{2\beta_1\alpha}(0,\tau; \rm L^{\beta_1\alpha}(\Omega))$에 속하며, $\beta_1\alpha > 4$이므로 고정점 추론이 전역적으로 확장될 수 있다.
• 기울기 추정을 유도하기 위해 $\chi = 1 - \frac{1}{(1+\vartheta)^\xi}$를 시험 함수로 사용하며, 보카르도와 갈루아의 영감을 받았다.