[논문 리뷰] A degenerating PDE system for phase transitions and damage

Elisabetta Rocca, Riccarda Rossi|arXiv (Cornell University)|2012. 05. 16.

Advanced Mathematical Modeling in Engineering참고 문헌 27인용 수 4

한 줄 요약

이 논문은 열점성탄성 거동과 손상이 발생하는 재료를 모델링하는 비선형 편미분방정식계의 전역 약한 해의 존재를 확립한다. 이 시스템에서 변위 방정식은 순수 상($\chi = 0$ 및 $\chi = 1$)에서 부식되는 $\chi$-의존 타원형 연산자를 포함한다. 저자들은 손상만 부분적으로 포함된 정규화된 근사 시스템을 도입하고, 변분 기법 및 약한 하향 연속성에 기반하여, 비가역성과 밀도가 0인 조건($\rho = 0$) 하에서 원래의 부식된 시스템의 약한 해로 수렴함을 증명한다.

ABSTRACT

In this paper, we analyze a PDE system arising in the modeling of phase transition and damage phenomena in thermoviscoelastic materials. The resulting evolution equations in the unknowns θ(absolute temperature), u (displacement), and χ(phase/damage parameter) are strongly nonlinearly coupled. Moreover, the momentum equation for u contains χ-dependent elliptic operators, which degenerate at the pure phases (corresponding to the values χ=0 and χ=1), making the whole system degenerate. That is why, we have to resort to a suitable weak solvability notion for the analysis of the problem: it consists of the weak formulations of the heat and momentum equation, and, for the phase/damage parameter χ, of a generalization of the principle of virtual powers, partially mutuated from the theory of rate-independent damage processes. To prove an existence result for this weak formulation, an approximating problem is introduced, where the elliptic degeneracy of the displacement equation is ruled out: in the framework of damage models, this corresponds to allowing for partial damage only. For such an approximate system, global-in-time existence and well-posedness results are established in various cases. Then, the passage to the limit to the degenerate system is performed via suitable variational techniques.

연구 동기 및 목표

• 열점성탄성 상전이와 손상을 모델링하는 강하게 결합된 PDE 시스템을 분석하며, 운동량 방정식에 포함된 $\chi$-의존 타원형 연산자가 순수 상($\chi = 0$ 및 $\chi = 1$)에서 부식되는 것을 다룬다.
• 순수 상에서 변위 방정식의 부식성으로 인해 고전적 해법이 불가능한 수학적 과제를 해결한다.
• 손상/상 매개변수 $\chi$에 대해 일반화된 가상력 원리와 변분 기법을 기반으로 한 약한 해 존재성 프레임워크를 개발하여 비가역 과정에 적합한 해법을 제시한다.
• 정규화된 비부식 시스템의 수열에서 극한을 취하여 부식된 시스템에 대한 전역 시간 약한 해 존재성을 증명한다.
• 전체 에너지 부등식을 통한 해의 연속적 의존성과 에너지 안정성을 확립한다.

제안 방법

• 변위 방정식의 타원형 연산자가 비부식적이도록 작은 매개변수 $\delta_k > 0$ 를 $\chi$ 에 더해 $\chi + \delta_k > 0$ 가 되도록 하여 정규화된 근사 시스템을 도입한다.
• 온도 $\vartheta$ 와 변위 $\mathbf{u}$ 는 약한 형태로 설정하고, 상/손상 매개변수 $\chi$ 는 비가역성을 서브미니멀 항 $\mu \partial I_{(-\infty,0]}(\chi_t)$ 를 포함한 일반화된 가상력 원리로 기술한다.
• 에너지 추정과 소볼레프 공간 내의 컴팩턴스 추론을 통해 정규화된 시스템의 전역 존재성과 잘 정의됨을 증명한다.
• 컴팩트 임bedding과 하향 연속성에 기반해 $\chi_{\delta_k}$ 의 강한 수렴성 $L^2(0,T;L^2(\Omega))$ 과 $\partial_t \mathbf{u}_{\delta_k}$, $\mathbf{\eta}_{\delta_k} = \varepsilon(\partial_t \mathbf{u}_{\delta_k})$ 의 약한-* 수렴성을 확보한다.
• 다른 수렴성 정리와 약한 하향 연속성에 기반해 $\delta_k \to 0$ 일 때 극한을 취한다.
• 각 $x$ 에 대해 $t \mapsto \chi_{\delta_k}(t,x)$ 가 비증가임을 이용하여 극한에서 컴팩턴스와 안정성을 확보하며, 총 변동량의 유계성에 기반해 헬리의 정리를 적용한다.

실험 결과

연구 질문

• RQ1 순수 상($\chi = 0$ 및 $\chi = 1$)에서 변위 방정식의 타원형 연산자가 부식되는 열점성탄성 상전이 및 손상을 모델링하는 PDE 시스템에 대해 전역 약한 해를 확립할 수 있는가?
• RQ2 시스템이 부식되고 비가역적일 경우, 상/손상 매개변수 $\chi$ 에 대해 적절한 약한 해 존재성 개념을 어떻게 정의할 수 있는가?
• RQ3 잘 정의된 해 존재성과 부식된 시스템으로의 수렴을 보장하는 정규화된 근사 방법은 무엇인가?
• RQ4 전체 에너지 부등식이 극한에서 유지되는가? 이는 해의 안정성과 연속적 의존성을 보장한다.
• RQ5 정규화된 시스템의 극한이 원래의 부식된 문제의 해를 만족하는 조건은 무엇인가, 특히 $\rho = 0$ 일 때는 어떻게 되는가?

주요 결과

• 논문은 일반화된 가상력 원리에 기반한 해의 의미에서, 모든 $T > 0$ 에 대해 부식된 PDE 시스템에 대한 전역 약한 해 존재성을 증명한다.
• 정규화된 시스템 $\chi + \delta_k > 0$ 가 구성되었으며, 비국소 연산자를 포함한 다양한 경우에 대해 전역 존재성과 잘 정의됨이 입증되었다.
• 컴팩턴스와 임베딩 정리에 기반해 $\chi_{\delta_k}$ 의 $L^2(0,T;L^2(\Omega))$ 에서의 강한 수렴성과 $\partial_t \mathbf{u}_{\delta_k}$, $\mathbf{\eta}_{\delta_k}$ 의 약한-* 수렴성을 확보하였다.
• 전체 에너지 부등식이 극한에서 유지되며, 모든 $t \in [0,T]$ 에 대해 $\mathcal{H}_{\delta_k}(t) \to \mathcal{H}(t)$ 이다. 이는 에너지 안정성을 보장한다.
• 극한 해는 열 방정식과 운동량 방정식의 약한 형태를 만족하며, $\chi$ 에 대한 일반화된 가상력 원리도 충족하여 물리적 모델과의 일致성을 확인한다.
• 증명은 $\chi$ 의 비가역성과 조건 $\rho = 0$ 에 크게 의존하며, 이는 $\operatorname{div}(\mathbf{u}_t)$ 의 균일 유계성을 보장하고 결합 항에서의 극한 취득을 가능하게 한다.