Global-in-time optimal control of stochastic third-grade fluids with additive noise

본 논문은 2 차원 토러스에서 무한 차원 가산 화이트 노이즈가 가해진 확률적 제 3 급 유체 방정식에 대한 속도 추적 최적 제어 문제를 다루며, 무한 차원 오른슈타인 - 울렌벡 과정을 이용해 확률적 시스템을 경로별 결정론적 시스템으로 변환하여 전역 시간 존재성을 증명하고, 선형화된 상태 및 접방정식의 해 존재성과 유일성, 안정성, 그리고 최적 해의 존재성과 1 차 최적성 조건을 확립합니다.

핵심

1. 배경: 왜 이 액체가 특별한가? (제 3 급 유체)

우리가 일상에서 보는 물이나 공기 같은 것은 '뉴턴 유체'라고 부릅니다. 이 액체들은 힘을 주면 일정한 비율로 흐르는 단순한 성질을 가집니다.

하지만 이 논문에서 다루는 **'제 3 급 유체'**는 다릅니다.

• 비유: 마치 치약이나 고분자 용액, 혹은 혈액처럼 생각해보세요.
  • 힘을 세게 주면 뻑뻑해지기도 하고, 약하게 주면 끈적거리기도 합니다.
  • 액체 내부의 입자들이 서로 엉키고 풀리면서 매우 복잡한 움직임을 보입니다.
• 문제: 이런 복잡한 액체는 수학적 방정식으로 설명하기가 매우 어렵습니다. 게다가 현실 세계에서는 **예측할 수 없는 외부 요인 (소음, 진동, 온도 변화 등)**이 항상 작용합니다. 이를 수학에서는 **'확률적 노이즈 (Stochastic Noise)'**라고 부릅니다.

2. 목표: 미친 듯이 흔들리는 유체를 어떻게 다스릴까?

연구자들은 다음과 같은 시나리오를 상상했습니다.

"우리가 원하는 목표 지점 (예: 특정 모양이나 속도) 으로 이 복잡한 액체를 보내고 싶다. 하지만 액체는 외부의 예측 불가능한 바람 (노이즈) 때문에 자꾸 흔들린다. 이때, 우리가 액체에 가할 수 있는 '힘 (제어)'을 어떻게 조절해야 가장 효율적으로 원하는 곳에 도달할까?"

이를 최적 제어 (Optimal Control) 문제라고 합니다. 단순히 "움직이게 하는 것"이 아니라, "에너지는 적게 쓰면서 가장 정확하게 움직이게 하는 것"을 찾는 것입니다.

3. 연구의 핵심 전략: "두 마리 토끼를 잡는 방법"

이 논문이 가진 가장 큰 성과는 시간의 제약 없이 (Global-in-time) 이 문제를 해결했다는 점입니다. 보통 이런 복잡한 문제는 시간이 지나면 수학적으로 무너져버려 (해가 사라져) 짧은 시간 동안만 분석할 수 있었습니다. 하지만 연구자들은 다음과 같은 마법을 부렸습니다.

① "유령"을 분리해 내기 (Ornstein-Uhlenbeck 과정)

• 비유: 액체 (유체) 가 움직일 때, 예측 불가능한 외부 바람 (노이즈) 때문에 전체가 뒤죽박죽이 됩니다. 연구자들은 이 **바람의 영향만 따로 떼어낸 '유령 (z)'**을 만들어냈습니다.
• 효과: 원래의 복잡한 문제를 두 부분으로 나눕니다.
  1. 유령 (z): 순수하게 바람 (노이즈) 만으로 움직이는 부분. (이건 수학적으로 잘 풀립니다.)
  2. 실제 유체 (u): 바람을 제외한 나머지 부분. (이제 이 부분만 분석하면 됩니다.)
• 결과: 이렇게 나누자, 원래는 해결할 수 없었던 '무한한 시간' 동안의 해가 존재한다는 것을 증명할 수 있었습니다.

② "미세 조정"의 원리 (선형화와 접선)

• 비유: 우리가 유체를 조금 더 잘 움직이게 하려면, 현재 상태에서 힘을 아주 조금만 더 가했을 때 유체가 어떻게 반응할지 알아야 합니다. 마치 언덕을 내려갈 때, 발밑의 경사면을 살짝 만져서 어느 방향으로 가야 가장 빠르게 내려갈지 계산하는 것과 같습니다.
• 수학적 도구: 연구자들은 '선형화된 방정식'과 '수반 방정식 (Adjoint equation)'이라는 도구를 사용했습니다.
  • 선형화된 방정식: "힘을 살짝 건드리면 유체가 어떻게 변할까?"를 계산하는 도구.
  • 수반 방정식: "우리가 원하는 목표에 도달하기 위해, 과거의 어떤 힘이 가장 중요했을까?"를 거꾸로 계산하는 도구.
• 결합: 이 두 도구를 연결하면, "어디에, 얼마나 힘을 가해야 가장 효율적인가?"에 대한 **최적의 조건 (Optimality Condition)**을 찾아낼 수 있습니다.

4. 실제 적용: 왜 중요한가?

이 연구는 단순히 수학 게임이 아닙니다. 다음과 같은 실생활에 큰 영향을 미칩니다.

• 나노 유체 (Nanofluids): 금속이나 탄소 나노튜브가 섞인 액체는 열전도율이 매우 높아 전기제품의 냉각이나 자동차 엔진에 쓰입니다. 이 액체의 흐름을 정밀하게 제어하면 과열을 막고 효율을 극대화할 수 있습니다.
• 의료: 인체의 혈액 흐름이나 약물 전달 시스템을 설계할 때, 이 복잡한 유체 역학을 이해하는 것이 필수적입니다.
• 산업: 플라스틱 성형이나 식품 가공 과정에서 점성이 변하는 액체를 다루는 공정을 최적화할 수 있습니다.

5. 요약: 이 논문이 남긴 메시지

이 논문은 **"복잡하고 예측 불가능한 세상 (확률적 노이즈) 에서, 아주 정교한 액체 (제 3 급 유체) 를 오랫동안, 그리고 가장 효율적으로 제어할 수 있는 수학적 지도를 그렸다"**고 할 수 있습니다.

• 기존의 한계: 시간이 지나면 계산이 불가능해졌다.
• 이 연구의 돌파구: 노이즈를 분리하고, 미분과 대칭성을 이용해 '최적의 힘'을 찾는 공식을 증명했다.
• 결론: 이제 우리는 이론적으로, 복잡한 유체 흐름을 장기적으로도 완벽하게 제어할 수 있는 길을 열었습니다.

마치 **거친 바다 (노이즈) 를 항해하는 배 (유체)**를 조종하는 선장에게, **"어떤 방향으로 돛을 조정해야 가장 빠르고 안전하게 목적지에 도달할지 알려주는 나침반"**을 만들어준 것과 같습니다.

기술 요약

1. 연구 배경 및 문제 정의

• 연구 대상: 비뉴턴 유체 중 하나인 3 차 등급 유체 (Third-grade fluid) 의 유동 제어 문제입니다. 3 차 등급 유체는 전단 박약 (shear-thinning), 전단 증점 (shear-thickening), 점탄성 효과 등 복잡한 유변학적 거동을 보이며, 나노유체 및 다양한 산업 공정에 적용됩니다.
• 수학적 모델: 2 차원 토러스 ($T^2$) 에서 정의된 확률적 3 차 등급 유체 방정식 (Stochastic Third-grade Fluid Equations) 을 다룹니다. 이 방정식은 무한 차원의 가산 화이트 노이즈 (additive white noise) 에 의해 교란받으며, 제어 입력은 분산된 무작위 외력 (distributed random external force) 으로 작용합니다.
• 핵심 문제: 주어진 시간 구간 $[0, T]$ 에서 전역 시간 (global-in-time) 에 걸쳐 상태 (유속) 를 원하는 목표장 (target field) 에 가깝게 추적하도록 하는 최적 제어 문제를 해결하는 것입니다.
  • 기존 연구들은 주로 국소 시간 (local-in-time) 해의 존재성이나 2 차 등급 유체, 또는 Navier-Stokes 방정식에 국한되어 있었습니다. 3 차 등급 유체의 비선형 항에 포함된 3 차 미분항으로 인해 분석이 매우 어렵습니다.

2. 방법론 (Methodology)

이 논문은 확률적 최적 제어 문제를 해결하기 위해 다음과 같은 체계적인 접근법을 사용합니다.

1. 확률적 시스템을 결정론적 시스템으로 변환:

   • 무한 차원 오렌슈타인 - 울렌벡 (Ornstein-Uhlenbeck) 과정을 도입하여, 원래의 확률적 편미분방정식 (SPDE) 을 경로별 결정론적 시스템 (pathwise deterministic system) 으로 변환합니다.
   • 이를 위해 해 $v$ 를 $v = u + z$로 분해합니다. 여기서 $z$는 노이즈에 의해 결정되는 선형 확률 미분방정식의 해이고, $u$는 노이즈를 포함한 비선형 확률 편미분방정식의 해가 됩니다.
   • 이 변환을 통해 $u$의 정규성 (regularity) 을 분석할 수 있게 되며, 이는 전역 시간 해의 존재성을 보장하는 데 필수적입니다.

2. 해의 존재성 및 정규성 증명:

   • 전역 시간 해의 존재성: Galerkin 근사법과 에너지 추정 기법을 사용하여 시스템 (1.3) 의 강한 해 (strong solution) 가 전역 시간에 걸쳐 유일하게 존재함을 증명합니다.
   • 지수 적분 가능성 (Exponential Integrability): 해가 $L^\infty(0, T; H^3(T^2))$ 공간에 속하며, 중요한 지수 적분 가능성 조건 (식 1.5) 을 만족함을 보입니다. 이는 선형화된 상태 방정식과 쌍대 (adjoint) 방정식의 잘 정의됨 (well-posedness) 을 보장하는 핵심 열쇠입니다.

3. 선형화된 상태 방정식 및 쌍대 시스템:

   • 선형화된 상태 방정식: 제어 - 상태 매핑 (control-to-state mapping) 의 Gâteaux 미분 존재성을 증명하기 위해 선형화된 방정식을 유도하고 그 해의 존재성과 유일성을 입증합니다.
   • 쌍대 시스템 (Adjoint System): 최적성 조건을 유도하기 위해 선형화된 상태 방정식에 대응하는 쌍대 방정식을 정의하고, 이 또한 전역 시간 해를 가진다는 것을 증명합니다.

4. 최적성 조건 유도:

   • 쌍대성 (Duality): 선형화된 상태 방정식의 해와 쌍대 방정식의 해 사이의 쌍대성 관계를 확립합니다.
   • 필요 조건: 이 쌍대성 관계를 활용하여 비용 함수 (cost functional) 의 1 차 필요 최적성 조건 (first-order necessary optimality condition) 을 유도합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

• 최초의 전역 시간 최적 제어 연구: 3 차 등급 유체 모델에 대한 전역 시간 (global-in-time) 최적 제어 문제를 다룬 최초의 연구입니다. 기존 연구 [29] 는 노이즈의 정규성 부족으로 인해 국소 시간 해만 다룰 수 있었으나, 본 논문은 지수 적분 가능성 조건을 통해 전역 시간 해를 확보했습니다.
• 가산 노이즈 하의 해의 정규성: 무한 차원 가산 화이트 노이즈 하에서 3 차 등급 유체 방정식의 해가 $H^3$ 정규성을 가지며, 특정 지수적 성장 조건을 만족함을 rigorously 증명했습니다.
• 최적 제어 문제의 해 존재성: 제어 집합이 컴팩트 볼록 집합일 때, 최적 제어 쌍 (optimal control pair) 의 존재성을 증명했습니다.
• 필요 최적성 조건의 명시적 유도: 비용 함수의 Gâteaux 미분이 선형화된 상태 방정식의 해와 일치함을 보였고, 이를 통해 쌍대 변수 (adjoint state) 를 이용한 1 차 필요 최적성 조건을 명시적으로 도출했습니다.
  • 최적성 조건은 다음과 같은 형태를 가집니다:
    $$E \left[ \int_0^T (\psi(t) - \hat{f}(t), \hat{p}(t) + \nabla_f L(t, \hat{f}(t), \hat{v}(t))) dt \right] \geq 0$$
    (여기서 $\hat{f}$는 최적 제어, $\hat{p}$는 쌍대 상태, $\psi$는 임의의 허용 제어입니다.)

4. 의의 및 중요성 (Significance)

• 이론적 진전: 비뉴턴 유체, 특히 고차 등급 유체의 확률적 제어 이론에서 중요한 이정표를 세웠습니다. 3 차 미분항으로 인한 비선형성과 복잡성을 극복하고 전역 시간 해를 확보한 것은 수학적 유체 역학 분야에서 중요한 성과입니다.
• 실용적 적용: 나노유체, 혈류 모델링, 열전달 시스템 등 실제 공학적 응용 분야에서 불확실성 (노이즈) 을 고려한 유동 제어 전략을 수립하는 데 이론적 기반을 제공합니다.
• 방법론적 확장: 가산 노이즈를 처리하기 위한 경로별 결정론적 변환 기법과 지수 적분 가능성 추정은 다른 복잡한 확률적 편미분방정식 시스템의 최적 제어 문제에도 적용 가능한 강력한 도구로 평가됩니다.

결론

본 논문은 확률적 3 차 등급 유체 시스템에 대한 전역 시간 최적 제어 문제를 성공적으로 해결했습니다. 노이즈를 처리하기 위한 혁신적인 변환 기법과 정교한 에너지 추정을 통해 해의 존재성, 유일성, 그리고 최적성 조건을 rigorously 증명함으로써, 비뉴턴 유체의 확률적 제어 이론을 한 단계 발전시켰습니다.