Existence analysis of nonlinear $q$-fractional differential inclusions with $p$-Laplacian operators and an aerospace vibration-modeling illustration

기술 요약: $p$-라플라시안 연산자를 포함한 비선형 $q$-분수계 미분 포함 관계의 존재성 분석

문제 정식화
본 연구는 중첩된 $p$-라플라시안 연산자와 비국소 경계 조건을 포함하는, 결합된 비선형 $q$-분수계 미분 포함 관계(differential inclusions)를 조사한다. 이 시스템은 구간 $\varrho \in [0, 1]$에서 정의되며 $k$개의 결합된 방정식으로 구성된다. 핵심 구조는 다음과 같은 순차적인 연산자 계층을 포함한다:

1. 내부 계층 (Inner Layer): 상태 벡터 $w_i$에 작용하며, $p$-라플라시안 연산자 $\Phi_p$와 연결된 차수 $\rho_i$ ($2 < \rho_i < 3$)의 Caputo $q$-분수계 도함수.
2. 중간 계층 (Intermediate Layer): 내부 계층의 출력이 Jackson $q$-도함수 $D_q$에 의해 변환된 후, 역 $p$-라플라시안 $\Phi_z$ (여기서 $z$는 $p$의 공액 지수)와 연결된 차수 $\xi_i$ ($3 < \xi_i < 4$)의 Riemann–Liouville $q$-분수계 도함수를 거침.
3. 외부 계층 (Outer Layer): 결과 함수에 작용하는 차수 $\varsigma_i$ ($2 < \varsigma_i < 3$)의 Caputo $q$-분수계 도함수.

시스템은 다음과 같은 미분 포함 관계로 정식화된다:
$$D^{\varsigma_i}_{q,0+} x_i(\varrho) + \vartheta h_i(\varrho, w_i(\varrho)) \in H_i(\varrho, w(\varrho), D_q w(\varrho))$$
여기서 $H_i$는 전체 상태 벡터와 그 $q$-도함수에 의존하며, 컴팩트 볼록 값을 갖는 다가 함수(multifunction)이다. 문제는 세 가지 층위의 경계 조건의 제약을 받는다:

• 외부 계층: $\varrho=0, 1$ 및 특정 지점 $\epsilon$에서의 값을 포함하는 비국소 조건.
• 중간 계층: $0, 1, \epsilon, \eta$에서의 $u_i$ 및 그 도함수를 포함하는 조건.
• 내부 계층: $w_i$ 및 그 도함수, 그리고 $[0, \eta]$에 대한 적분 제약을 포함하는 조건.

방법론
저자들은 $q$-분수계 미적분학, 그린 함수 이론, 그리고 다가 고정점 분석을 결합한 구성적 접근 방식을 채택한다.

1. 계층별 분해: 복잡하게 중첩된 시스템을 세 개의 순차적인 경계값 문제로 분리한다. 저자들은 각 계층에 대한 명시적인 그린 함수 표현식($G^{(1)}_i, G^{(2)}_i, G^{(3)}_i$)을 유도하며, 외부 문제를 먼저 풀어 중간 계층의 강제 항(forcing term)을 결정하고, 그 과정을 반복한다.
2. 적분 정식화: 미분 포함 관계를 유도된 그린 함수를 사용하여 등가적인 적분 포함 관계로 변환한다. 이를 통해 문제를 곱 공간(product function space) $(V_q)^k$ 상에서 작용하는 다가 연산자 $L$의 고정점 문제로 재구성할 수 있다.
3. 고정점 이론: Bohnenblust–Karlin 고정점 정리(다가 함수를 위한 Schauder 정리의 일반화)를 사용하여 존재성을 확립한다. 저자들은 연산자 $L$이 상반연속(upper semi-continuous)이고, 컴팩트 볼록 값을 가지며, 유계인 닫힌 볼록 집합을 자기 자신으로 사영함을 검증한다. 이 검증은 다가 함수 $H_i$와 섭동 항 $h_i$에 부과된 특정 성장 조건(가설 H1–H4)에 의존한다.

주요 결과

• 존재성 정리: 주요 수학적 기여는 $(V_q)^k$ 공간에서 결합된 시스템의 해가 적어도 하나 존재하기 위한 충분 조건을 제공하는 정리 3.4이다. 이 조건은 다가 함수가 $L^1$-Carathéodory 조건을 만족하고, 그린 함수의 노름 및 $p$-라플라시안의 공액 지수와 관련된 특정 성장 경계 조건을 충족할 것을 요구한다.
• 예시 모델: 특정 매개변수 값($q=1/2, p=z=2$ 등)을 가진 스칼라 케이스($k=1$)를 제시하여 존재성 정리의 적용 가능성을 입증한다. 저자들은 이 설정에 대해 가설들이 성립함을 확인하고, 그린 함수와 선택 프로파일(selection profiles)의 수치적 시각화를 제공한다.
• 항공 우주 진동 모델링: 본 논문은 멀티로터 UAV 상의 관성 측정 장치(IMU) 진동 격리를 모델링하는 실질적인 예시를 포함한다. 기저 흥분(base-excited) 단일 자유도 모델이 사용되었으며, 여기서 감쇠 항은 Caputo $q$-분수계 도함수로 대체되었다. 이 항은 점탄성 층의 메모리 의존적 거동을 포착하기 위해 설계되었다.
  • 수치 비교: 모델은 세 가지 구성(강성 마운팅, 고전적 점성 격리기, 제안된 $q$-분수계 격리기)을 비교한다.
  • 결과: 결과에 따르면, 선택된 매개변수 하에서 고전적 점성 격리기가 RMS 전달 가속도 감소에 가장 높은 효과를 보이지만, $q$-분수계 격리기는 강성 마운팅에 비해 상당한 중간 단계의 감소 효과를 제공한다. 저자들은 이를 $q$-분수계 항이 메모리 의존적 감쇄를 효과적으로 모델링할 수 있다는 증거로 해석하지만, 테스트된 특정 매개변수에서 점성 감쇄보다 우월하다고 주장하지는 않는다.

의의 및 주장
본 논문은 다음 네 가지 특성이 결합된 독특한 구조를 가진 제안된 비선형 $q$-분수계 미분 포함 관계 시스템에 대한 엄격한 존재성 결과를 주요 기여로 주장한다:

1. $k$-차원 결합 구조.
2. $p$-라플라시안 비선형 변환에 의해 연결된 Caputo 및 Riemann–Liouville $q$-도함수를 포함하는 중첩된 연산자 구조.
3. 전체 상태 벡터 및 그 $q$-도함수에 대한 다가 함수의 의존성.
4. 서로 다른 연산자 계층에서 작용하는 비국소 경계 조건.

저자들은 이러한 특징들을 동시에 처리하기 위해 개발된 수학적 프레임워크(계층별 그린 함수 및 곱 공간에서의 고정점 정식화)가 필수적임을 강조한다. 항공 우주 예시는 추상적인 존재성 이론을 메모리 의존적 감쇄가 포함된 물리적 맥락과 연결하여, 이 이론적 프레임워크가 공학적 모델링에 어떻게 구현될 수 있는지를 보여준다. 논문은 향후 연구가 유일성, 안정성, 수치 근사 및 제어 지향적 확장을 다룰 수 있음을 언급하며 겸허하게 마무리하며, 진동 모델에서 분수계 매개변수의 최적성에 대해서는 주장하지 않는다.