비변분적 시각에서 비뉴턴 유체의 구성법칙과 파라볼릭 문제의 새로운 해법

초록

본 논문은 시간‑공간 전역 최소화 원리를 이용해 파라볼릭 방정식, 특히 비뉴턴 나비에‑스토크스 시스템을 다루는 변분 해법을 제시한다. 비동질 연산자에 대한 𝒜‑준볼록성(𝒜‑quasiconvexity) 개념을 anisotropic 함수공간에서 확장하고, 성장·강제성·준볼록성 조건을 만족하는 함수 f 에 대해 정의한 에너지 함수형 I(u,σ) 의 최소화 존재성을 증명한다. 결과적으로 기존의 약해석(Leray‑Hopf)과 일치하는 변분 해를 얻으며, p‑지수 구간에 따라 존재성 및 에너지 부등식의 강도 차이를 구분한다.

상세 분석

논문은 먼저 비뉴턴 유체의 응력‑변형률 관계 σ=σ(𝔻(u))를 직접 가정하지 않고, 데이터‑드리븐 형태의 손실 함수 f(𝔻,σ)≥0을 도입한다. f 은 (A1) p‑q 성장, (A2) 강제성, (A3) 𝒜‑준볼록성 세 가지 핵심 가정을 만족한다. 여기서 𝒜는 시간 미분 1차와 공간 2차 미분을 포함하는 비동질 파라볼릭 연산자로, 기존의 상수‑계수 연산자와 달리 스케일링에 대해 동형성을 갖지 않는다. 저자들은 이러한 𝒜에 대해 anisotropic Sobolev 공간 W^{1,2}_p,q 을 정의하고, Fourier 기법을 이용해 𝒜‑잠재 연산자와 그 영(ker) 구조를 분석한다.

핵심 정리는 𝒜‑준볼록성이 곧 함수 f 의 약한 하위 연속성(weak lower semicontinuity)을 보장한다는 점이다. 이를 위해 저자들은 FONSECA‑MÜLLER의 𝒜‑quasiconvexity 이론을 비동질 연산자에 맞게 일반화하고, pseudo‑differential 제약(div u=0)까지 포함시킨다. 결과적으로, 최소화 열(sequence) {(u_n,σ_n)}가 W^{1,2}_p,q 위에서 강제성에 의해 사전 경계(a priori bound)를 얻고, 하위 연속성에 의해 한계점 (u,σ) 가 I(u,σ) 의 최소값을 달성함을 증명한다.

존재성 결과는 두 구간으로 나뉜다. (R2)에서는 p≥3d+2와 같은 고차원 고지수 경우에 완전한 에너지 부등식과 함께 변분 해의 존재를 보이며, 이는 기존 Leray‑Hopf 해와 일치한다. (R3)에서는 p>2d+2 구간에서 하위 연속성은 유지되지만 에너지 부등식이 약해져, 추가적인 a‑priori 에너지 가정이 필요하다. 마지막으로 (R4)에서는 𝒜‑quasiconvexity 기반의 변분 기법을 이용해 기존의 Lipschitz 절단(Lipschitz truncation) 방법을 대체하는 새로운 Leray‑Hopf 존재 증명을 제시한다.

이러한 접근은 물리적 데이터(응력‑변형률 쌍)로부터 직접 구성법칙을 추정하고, 최소화 원리를 통해 물리적으로 가장 ‘합리적인’ 흐름을 선택한다는 점에서 기존 파라볼릭 PDE 해석과 차별화된다. 또한 시간 가중치 혹은 시간‑분할(discretization) 없이 전역 최소화를 수행함으로써 인과성(causality) 문제를 제기하지만, 향후 연구에서 가중치 함수 도입으로 해결 가능성을 제시한다.