On the Characterization of the Duhem Hysteresis Operator with Clockwise Input-Output Dynamics

기술 요약: 시계 방향 입출력 역학을 갖는 Duhem 히스테리시스 연산자의 특성 규명

문제 정의
히스테리시스는 물리적 시스템(예: 피에조 액추에이터, 강자성 재료, 기계 시스템)에서 흔히 나타나는 비선형 현상이다. 입출력(I/O) 거동은 흔히 반시계 방향(CCW) 또는 시계 방향(CW)으로 특징지어지는데, 기존 문헌은 주로 (입력과 출력 미분 사이의의 수동성과 관련된) CCW 역학을 광범위하게 분석해 온 반면, Duhem 히스테리시스 연산자의 맥락에서 CW 역학을 위한 엄밀한 프레임워크는 부족한 실정이다. 특히, 공급률(supply rate)이 $\dot{y}u$가 아닌 $y\dot{u}$로 정의되는 CW 입출력 거동을 보이는 Duhem 연산자의 특성을 규명할 필요가 있다. 이는 상대 변위와 마찰력 사이의 관계가 CW 역학을 따르는 경우가 많은 마찰력을 포함한 기계 시스템에서 특히 중요하다.

방법론
저자들은 다음과 같은 미분 방정식으로 정의되는 특정 클래스의 Duhem 히스테리시스 연산자를 조사한다:
$$\dot{y}(t) = f_1(y(t), u(t))\dot{u}_+(t) + f_2(y(t), u(t))\dot{u}_-(t)$$
여기서 $\dot{u}_+$와 $\dot{u}_-$는 각각 입력 미분의 양의 부분과 음의 부분을 나타낸다.

CW 특성을 규명하기 위해, 저자들은 연산자의 정의 함수인 $f_1$과 $f_2$로부터 유도된 세 가지 보조 함수를 도입한다:

1. 안히스테리시스 함수 (Anhysteresis Function, $f_{an}$): $f_1 = f_2$인 곡선으로, 히스테리시스 루프가 붕괴되는 지점들의 궤적을 나타낸다.
2. 횡단 함수 (Traversing Function, $\omega_\Phi$): 특정 상태로부터 단조 증가 또는 단조 감소하는 입력이 인가될 때 연산자의 궤적을 기술한다.
3. 교차 함수 (Intersecting Function, $\Lambda$): 횡단 궤적과 안히스테리시스 곡선 사이의 유일한 교차점을 정의한다.

이러 함수들을 사용하여, 저자들은 안히스테리시스 함수의 적분에서 횡단 함수의 적분을 뺀 값으로 정의되는 저장 함수 $H_\curvearrowright: \mathbb{R}^2 \to \mathbb{R}^+$를 구성한다. 본 방법론의 핵심은 $f_1$과 $f_2$에 관한 조건(구체적으로 파생된 함수 $F$의 부호가 안히스테리시스 곡선에 대해 갖는 성질)을 도출하여, 이 저장 함수의 시간 미분이 다음의 CW 소산 부등식(dissipation inequality)을 만족하도록 하는 것이다:
$$\frac{d}{dt}H_\curvearrowright(y(t), u(t)) \leq y(t)\dot{u}(t)$$

주요 기여

1. CW 역학을 위한 충분 조건: 본 논문은 Duhem 연산자의 함수 $f_1$과 $f_2$에 대하여 연산자가 시계 방향 입출력 역학을 갖도록 보장하는 명시적인 충분 조건을 제공한다. 이는 **정리 1(Theorem 1)**로 정식화된다.
2. 저장 함수의 명시적 구성: 존재성만을 확립했던 기존 연구들과 달리, 본 논문은 $y\dot{u}$ 공급률을 만족하는 저장 함수 $H_\curvearrowright$ (식 20)의 명시적인 구성을 제시한다. 이 함수는 $y\dot{u}$에 대한 "가용 저장 함수(available storage function)"임이 입증되었다.
3. 포화 출력을 갖는 경우로의 일반화: Dahl 모델과 같은 물리 모델에서 흔히 나타나는 포화된 출력을 갖는 Duhem 연산자를 수용하기 위해, 그 결과를 **명제 2(Proposition 2)**로 확장하였다.
4. 안정성 분석 프레임워크: 구성된 저장 함수가 CW 히스테리시스를 포함하는 시스템의 안정성을 분석하기 위한 리아푸노프 함수로 어떻게 활용될 수 있는지 보여준다.

결과

• 이론적 검증: 저자들은 구성된 함수 $H_\curvearrowright$가 소산 부등식을 만족하면 해당 연산자가 CW임을 증명한다. 이 증명은 교차 함수 $\Lambda$의 성질과 횡단 함수 $\omega_\Phi$의 거동에 기초한다.
• Dahl 모델에 대한 적용: 이 이론을 마찰의 Dahl 모델에 적용한다. 본 논문은 Dahl 모델을 위한 저장 함수 $H_\curvearrowright$ (식 26)를 명시적으로 유도하고, 이것이 요구되는 소산 부등식을 만족함을 검증한다.
• 2차 시스템의 안정성: 유도된 저장 함수를 사용하여, Dahl 모델로 기술되는 히스테리틱 마찰을 가진 2차 기계 시스템을 분석한다. 합성 리아푸노프 함수 $V = \frac{1}{2}kx_1^2 + \frac{1}{2}mx_2^2 + H_\curvearrowright(x_3, x_1)$를 구성함으로써, 저자들은 이 시스템이 인가된 힘으로부터 속도까지 수동적(passive)임을 입증한다. 결과적으로, 단순 비례 피드백 제어 법칙 ($F = -dx_2$)이 마찰 파라미터($\rho$ 및 $F_C$)에 대한 정확한 지식 없이도 속도가 0으로 점근적 수렴하는 것을 보장함을 보여준다.

의의
본 논문의 주요 의의는 기존의 CCW 특성 규명 결과에 대해, 특히 CW 입출력 역학을 갖는 시스템에 맞춤화된 쌍대 확장(dual extension)을 제공한다는 점에 있다. CW 거동을 갖는 Duhem 연산자에 대한 엄밀한 소산 프레임워크를 구축함으로써, 본 연구는 (물리적으로 구현 불가능하거나 역전이 불가능할 수 있는) 연산자의 역함수를 구할 필요 없이 마찰력을 가진 기계 시스템의 안정성 분석을 가능하게 한다. 또한, 저장 함수의 명시적 구성은 시스템 식별을 위한 실용적인 도구를 제공하여, 연구자들이 측정 데이터에 적합한 Duhem 연산자의 클래스를 그들의 CW 특성에 기반하여 제한할 수 있게 한다. 이 결과는 추상적인 소산 이론과 제어 시스템 내 마찰 유도 히스테리시스의 실제 모델링 사이의 간극을 메운다.