[논문 리뷰] Controllability of nonautonomous measure driven integrodifferential evolution equations with nonlocal conditions

Mamadou Niang, Mamadou Pathe LY외 3명|arXiv (Cornell University)|2026. 02. 09.

Nonlinear Differential Equations Analysis인용 수 0

한 줄 요약

논문은 비국소 초기 조건을 가진 준선형 측정 주도적 적분-미분 시스템의 정확 제어 가능성을, 비컴팩트성의 척도와 Mönch 고정점 정리를 이용하여, 선형 부분의 컴팩트성 가정 없이 입증한다.

ABSTRACT

This research delves into the exact controllability of semilinear measure-driven integrodifferential systems in nonlocal settings. We provide sufficient controllability requirements using the measure of noncompactness and the Mönch fixed point theorem without making any assumptions about how compact the evolution system is in relation to the linear part of the measure system. Here, we obtain results that both generalize and improve upon many prior findings.

연구 동기 및 목표

• 비국소 조건과 가능한 불연속성을 갖는 측정 주도적 동역학의 제어 가능성 분석을 동기 부여한다.
• Grimmer’s resolvent와 evolution family를 이용하여 컴팩트성 가정 없이 미약 해를 다루는 프레임워크를 개발한다.
• 고정점 방법을 통해 정확 제어 가능성을 보장하는 검증 가능한 충분조건을 도출한다.
• 이론적 결과를 설명하기 위한 예시 적용을 제공한다.

제안 방법

• 측정 주도적 적분-미분 시스템과 그 미약 해를 렉솔벤트 연산자에 대해 공식화한다.
• Grimmer’s resolvent와 evolution family를 이용하여 선형 부분과 비선형 부분을 연결한다.
• 비컴팩트성의 척도와 균등 조절 함수 프레임워크를 적용하여 불연속성을 다룬다.
• Mönch 고정점 정리를 적용하여 제어 가능성을 부여하는 고정점의 존재를 얻는다.
• 연산자 노름과 Lipschitz 유사 경계(불평등 3.1–3.2)로 표현된 명시적 제어 가능성 기준을 도출한다.
• 시스템을 원하는 최종 상태로 유도하기 위해 연산자 Z와 그 역을 이용해 허용 가능한 제어를 구성한다.

실험 결과

연구 질문

• RQ1 비자율적 측정 주도적 적분-미분 시스템이 비국소 초기 조건을 갖고 유한 구간에서 정확 제어가능하게 될 조건은 무엇인가?
• RQ2 선형 부분의 컴팩트성 가정이나 강한 컴팩트성 특성을 전제하지 않고 제어 가능성을 어떻게 얻을 수 있는가?
• RQ3 렉솔벤트, 비컴팩트성 척도, 비선형성을 포함하는 명시적(계산 가능한) 기준은 제어 가능성을 어떻게 보장하는가?
• RQ4 조절된 함수와 Lebesgue–Stieltjes 적분이 포함된 측정 주도 프레임워크가 제어 가능성 결과에 어떤 영향을 미치는가?

주요 결과

• 측정 주도 시스템에 대한 미약 해 표현을 렉솔벤트 연산자를 사용하여 확립했다.
• 불평등(3.1)–(3.2)로 표현된 검증 가능한 조건 하에서 제어 가능성을 입증했다.
• 시스템의 선형 부분에 대한 어떤 컴팩트성 가정 없이도 제어 가능성을 달성할 수 있음을 보였다.
• 등조절된, 비측정(noncompact) 프레임워크에서 Mönch 고정점 정리를 통해 이 접근법을 시연했다.
• 이론적 결과를 설명하고 검증하기 위한 적용 예를 제공했다.