On the passage from nonlinear to linearized viscoelastodynamics

이 논문은 비선형 점탄성 동역학 (nonlinear viscoelastodynamics) 모델에서 선형화된 점탄성 동역학 (linearized viscoelastodynamics) 모델로의 엄밀한 수학적 유도 과정을 다룹니다. 저자들은 Kelvin-Voigt 레올로지 (rheology) 를 따르는 비선형 모델이 Antman 의 의미에서 시간 의존적 프레임 무관성 (time-dependent frame indifference) 을 만족할 때, 그 해가 선형화된 모델의 해로 수렴함을 rigorously(엄밀하게) 증명합니다.

주요 내용은 다음과 같습니다.

1. 연구 문제 및 배경

• 비선형 모델: 고체 물체의 변형과 내부 응력을 예측하기 위해 비선형 점탄성 동역학 방정식 (1) 을 고려합니다. 이는 관성 항 ($\varrho \partial_{tt} y$), 탄성 에너지, 그리고 점성 소산 (viscous dissipation) 을 포함합니다.
• 선형화 한계 (Linearization Limit): 하중이 매우 작을 때 ($\delta \to 0$), 변형이 기준 구성 (reference configuration) 에서 약간만 벗어난다고 가정합니다 ($y = x + \delta u$). 이 경우 비선형 방정식을 선형화된 방정식 (15) 으로 근사할 수 있습니다.
• 기존 연구의 한계: 정적 (static) 또는 준정적 (quasi-static) 문제에서의 모델 축소 (예: $\Gamma$-수렴을 통한 선형화) 는 잘 연구되어 왔으나, 동적 (dynamic) 문제, 특히 관성 항이 포함된 비선형 시스템에서 선형화 한계를 엄밀하게 증명하는 것은 여전히 난제였습니다.

2. 방법론: 다중 시간 척도 (Multi-time-scale) 접근법

저자들은 비선형 동적 문제를 선형화하는 과정을 단순히 방정식을 근사하는 것을 넘어, **세 가지 다른 시간 척도 (scales)**를 가진 문제들의 수렴 관계를 통해 체계적으로 증명합니다.

1. 비선형 동적 문제 (NL): 완전한 관성 항을 가진 원래의 비선형 방정식.
2. 비선형 시간 지연 문제 (NL-TD): 관성 항을 시간 지연 차분 몫 (time-delayed difference quotient) 으로 근사한 문제. 이는 준정적 문제의 연속체로 볼 수 있습니다.
3. 비선형 이산 문제 (NL-disc): 시간과 공간을 모두 이산화 (discretization) 한 변분 문제 (variational problem). 이는 '최소화 운동 (minimizing movements)' 알고리즘을 통해 해를 구성합니다.

핵심 전략:

• $\Gamma$-수렴 (Gamma-convergence): 저장 에너지 함수 (stored energy functional) 와 소산 함수 (dissipation functional) 의 $\Gamma$-수렴을 먼저 증명합니다. 이는 정적 문제에서의 모델 축소 이론을 동적 문제로 확장하는 기초가 됩니다.
• 수렴 경로의 교환성: 저자들은 "선형화 한계 ($\delta \to 0$)"와 "근사 과정 (이산화 $\tau \to 0$, 시간 지연 $h \to 0$)"이 서로 교환 가능 (commute) 함을 보입니다. 즉, 먼저 비선형 문제를 선형화한 후 근사하든, 먼저 비선형 문제를 근사한 후 선형화하든 최종적으로 동일한 선형화된 동적 방정식에 도달합니다.

3. 주요 결과 (Key Results)

A. 수렴성 증명 (Convergence Results)

논문은 다음과 같은 수렴 관계를 엄밀하게 증명합니다 (논문 내 도표 참조):

1. 이산에서 연속으로: 비선형 이산 문제 (NL-disc) 의 해가 시간 지연 문제 (NL-TD) 로, 다시 완전 동적 문제 (NL) 로 수렴합니다.
2. 비선형에서 선형으로:
   • 비선형 동적 문제 (NL) 의 해가 $\delta \to 0$일 때 선형 동적 문제 (L) 로 수렴합니다.
   • 비선형 시간 지연 문제 (NL-TD) 의 해가 선형 시간 지연 문제 (L-TD) 로 수렴합니다.
   • 비선형 이산 문제 (NL-disc) 의 해가 선형 이산 문제 (L-disc) 로 수렴합니다.
3. 동시 수렴: 시간 간격 ($\tau, h$) 과 변형 크기 ($\delta$) 가 동시에 0 으로 가는 경우에도 수렴성이 유지됨을 보입니다 (Proposition 6.10, Theorem 7.7).

B. 에너지 추정 및 해의 존재성

• 에너지 불평식 (Energy Inequality): 각 단계 (이산, 시간 지연, 동적) 에서 에너지 불평식을 유도하여 해의 균일한 유계성 (uniform boundedness) 을 확보합니다.
• 약해의 존재성 및 유일성: 비선형 및 선형 모델 모두에 대해 약해 (weak solution) 의 존재성을 증명하며, 선형 모델의 경우 해의 유일성도 입증합니다.
• Korn 부등식 및 Rigidity Estimate: 변형의 경계 조건과 에너지의 coercivity 를 이용하여 변위 ($u$) 와 그 미분들의 유계성을 보장하는 Rigidity Estimate (Lemma 3.1) 와 Korn-type 부등식을 활용합니다.

C. EDP-수렴 (EDP-convergence)

• 에너지 - 소산 쌍 (Energy-Dissipation Pair): 저자들은 단순한 방정식의 수렴을 넘어, 시스템의 에너지 구조가 어떻게 보존되는지 분석합니다.
• Tilt-EDP 수렴: 외부 힘 (forces) 이 존재하는 상황에서, 에너지 함수와 소산 함수가 함께 수렴하는 'Tilt-EDP convergence' 개념을 적용하여, 해의 수렴이 에너지 불평식의 수렴과 일치함을 보입니다 (Theorem 8.5). 이는 해가 단순히 방정식을 만족하는 것을 넘어, 물리적으로 올바른 에너지 소산 경로를 따름을 의미합니다.

4. 기술적 기여 및 의의

1. 동적 선형화의 엄밀한 기초: 정적/준정적 문제에서 잘 알려진 $\Gamma$-수렴 기반의 선형화 이론이 관성 항이 포함된 완전 동적 문제에서도 유효함을 최초로 엄밀하게 증명했습니다.
2. 모델 축소 방법론의 확장: 고체 역학에서 모델 축소 (선형화, 동질화, 차원 축소 등) 를 위한 수학적 도구가 정적 상태뿐만 아니라 동적 진화 과정에서도 적용 가능함을 보였습니다.
3. 비선형 점탄성 재료의 처리: Antman 의 조건을 만족하는 프레임 무관성 (frame indifference) 을 가진 비선형 점탄성 재료 (Kelvin-Voigt) 에 대해, 비선형 항이 어떻게 선형 탄성 계수 ($C_W$) 와 점성 계수 ($C_D$) 로 수렴하는지를 상세히 분석했습니다.
4. 수치적 알고리즘과의 연결: '최소화 운동 (minimizing movements)' 알고리즘을 통해 구성된 이산 해가 연속 해로 수렴함을 보여, 수치 시뮬레이션의 이론적 타당성을 뒷받침합니다.

5. 결론

이 논문은 비선형 점탄성 동역학 모델이 작은 변형 한계에서 선형화된 모델로 어떻게 수렴하는지에 대한 포괄적이고 엄밀한 이론적 체계를 제시합니다. 저자들은 $\Gamma$-수렴, 에너지 방법, 그리고 다중 시간 척도 근사를 결합하여, 비선형 동적 시스템의 해가 선형 시스템의 해로 수렴함을 증명함으로써, 고체 역학의 모델 축소 이론을 동적 영역으로 성공적으로 확장했습니다. 이는 복잡한 비선형 물리 현상을 해석하거나 수치적으로 모사할 때 선형 모델을 사용할 수 있는 강력한 이론적 근거를 제공합니다.