Polyconvexity implies Hill's inequality in ${\rm SL}(2)$

기술 요약: $SL(2)$에서 다볼록성(Polyconvexity)은 힐의 부등식(Hill's Inequality)을 함의한다

문제 정의
압축성 비선형 탄성론에서, rank-one 볼록성(Legendre-Hadamard 타원성), 다볼록성(polyconvexity), 그리고 진응력-진변형률 단조성(TSTS-M+) 조건은 일반적으로 서로 독립적이다. TSSS-M+는 일축 인장 시 코시 응력(Cauchy stress)이 증가하는 것과 같은 물리적으로 유의미한 거동을 보장하지만, 다볼록성만으로는 이것이 보장되지 않는다. 그러나 비압축성(incompressible)의 경우, 코시 응력은 키르히호프 응력(Kirchhoff stress)으로 축소되며, TSTS-M+는 힐의 부등식으로 단순화된다. 이 부등식은 체적 보존 변형의 매니폴드 상에서 로그 변형 텐서(logarithmic stretch tensor)에 대한 키르히호프 응력의 단조성을 요구한다.

문헌상에는 이러한 안정성 조건들 사이의 관계에 관한 중요한 공백이 존재한다. 3차원($n=3$)에서는 다볼록성이 반드시 힐의 부등식을 함의하지 않는다는 것이 알려져 있으나, 2차원 비압축성 사례($SL(2)$)에서의 구체적인 관계는 명확한 규명이 필요하다. 본 논문은 a priori로 독립적인 개념인 다볼록성과 힐의 부등식이 $SL(2)$라는 특정 맥락에서 연결되어 있는지를 다룬다.

방법론
저자들은 등방성 및 객관적 에너지 함수 $W^{inc}: SL(n) \to \mathbb{R}$를 분석하며, 여기서 $SL(n)$은 체적 보존 변형의 특수 선형 군(special linear group)이다. 방법론은 다음의 이론적 프레임워크에 의존한다:

1. 매니폴드 정의: 에너지는 좌측 변형 텐서 $V$의 로그 변형 텐서 $X = \log V$를 사용하여 재매개변수화된다. 이는 매니폴드를 편차 대칭 텐서(deviatoric symmetric tensors)의 선형 공간 $dev\,Sym(n) = \{X \in Sym(n) \mid \text{tr}X = 0\}$으로 매핑한다.
2. 응력 정의: 키르히호프 응력 텐서 $\hat{\tau}$는 $dev\,Sym(n)$ 상의 재매개변수화된 에너지 $\tilde{W}^{inc}$의 내재적 그래디언트로 정의된다. 본 논문은 $\hat{\tau}$의 행렬 단조성과 그 주성분 벡터 함수 $\hat{\tau}(\ell)$ (여기서 $\ell = (\log \lambda_1, \dots, \log \lambda_n)$)의 벡터 단조성 사이의 엄밀한 연결 고리를 확립한다.
3. 볼록성 특성:
   • $SL(2)$의 경우, 저자들은 등방성 함수에 대한 rank-one 볼록성과 다볼록성 사이의 동치 관계(Theorem 2.3, Mielke [23] 및 Ghiba 등 [9]에 근거함)를 활용한다.
   • 부호가 있는 특이값(signed singular values)을 통한 다볼록성 특성(Theorem 2.6, Wiedemann 및 Peter [42])을 이용한다.
   • 벡터 단조성과 등방성 텐서 함수의 행렬 단조성 사이의 동치 관계(Theorem 2.12)를 활용한다.

주요 기여 및 결과

1. 단조성 유형의 동치성: 본 논문은 $SL(n)$ 상의 등방성 함수에 대해, 키르히호프 응력 텐서가 (엄격하게/강하게) 행렬 단조적일 필요는 그 주성분 벡터 함수가 (엄격하게/강하게) 벡터 단조적일 필요가 있는 것과 동치임을 증명한다(Theorem 2.12). 이 결과는 텐서 기반 구성 방정식과 스칼라 스펙트럼 표현 사이의 간극을 메운다.

2. 주요 정리 (다볼록성 $\implies SL(2)$에서의 힐의 부등식):
   중심 결과(Theorem 1.2)는 객관적이고 등방적인 미분 가능 에너지 함수 $W^{inc}: SL(2) \to \mathbb{R}$에 대하여, 다볼록성이 약한 힐의 부등식을 함의한다는 것이다.

   • 증명 전략 1: Theorem 2.3을 사용하여, $SL(2)$에서의 다볼록성은 에너지가 스펙트럼 갭(spectral gap)에 의존하는 볼록하고 비감소하는 함수 $\phi$의 존재를 함의한다. 이 볼록 함수와 로그 변형 변수의 합성은 제약 조건 집합 $\Pi = \{(\ell_1, \ell_2) \mid \ell_1 + \ell_2 = 0\}$ 상의 볼록 함수를 생성한다. 볼록 함수의 그래디언트는 단조적이며, 이는 확립된 동치 관계를 통해 힐의 부등식을 함의한다.
   • 증명 전략 2: 대안적인 증명은 부호가 있는 특이값 분해와 생성 함수 $\Psi$의 볼록성을 사용한다. 이 함수의 비압축성에 해당하는 슬라이스를 분석함으로써, 저자들은 축소된 스펙트럼 함수의 엄격한 볼록성을 입증하여 동일한 결론에 도달한다.

3. 고차원과의 차이점: 본 논문은 이러한 함의가 $n=2$에서는 성립하지만 $n=3$에서는 실패한다는 점을 명시적으로 언급한다. 3차원에서는 힐의 부등식을 만족하지 않는 rank-one 볼록(심지어 다볼록한) 에너지 함수들이 존재한다. 본 논문은 에너지가 다볼록성을 만족함에도 불구하고 코시 응력 응답이 일축 인장에서 단조적이지 않은 반례를 인용한다.

의의 및 주장
본 논문은 특히 2차원 비압축성 환경 내에서 Legendre-Hadamard 타원성, 다볼록성, 그리고 힐의 부등성 사이의 밀접한 관계를 명확히 한다고 주장한다. 두 가지 대안적인 증명을 제공함으로써, 저자들은 $SL(2)$에서 다볼록성 조건이 약한 힐의 부등식(로그 변형에 대한 키르히호프 응력의 단조성)을 보장하기 위한 충분조건임을 입증한다.

저자들은 3차원 사례에 대해서는 신중한 범위를 유지한다. 그들은 $SL(3)$에서는 다볼록성이 힐의 부등식을 함의하지 않는다는 점과, 3D에서 Legendre-Hadamard 타원성과 다볼록성 사이의 관계가 여전히 미해결 과제로 남아 있음을 인정한다. 본 논문은 새로운 실험적 응용을 제안하는 것이 아니라, 2D 비압축성 재료에 대한 구성 방정식의 이론적 통합을 제공하며, 이 특정 맥락에서 재료의 안정성을 보장하기 위해 다볼록 에너지 함수를 사용하는 것의 타당성을 강화한다.