[논문 리뷰] Existence of sweeping process in Banach spaces under directional prox-regularity

Frédéric Bernicot, Juliette Venel|ArXiv.org|2008. 12. 26.

Advanced Banach Space Theory참고 문헌 24인용 수 15

한 줄 요약

이 논문은 분리 가능하고 반사적이며 균일하게 매끄러운 바나흐 공간에서 '방향성 프록시멀-정규성'이라는 새로운 개념을 도입함으로써, 고전적인 힐버트 공간의 구조에 의존하는 결과를 일반화하여 스위핑 프로세스의 존재성을 확립한다. 방향성 프록시멀-정규성과 바나흐 공간의 기하적 성질을 활용하여, 이동하는 집합이 모든 방향에서 균일하게 프록시멀-정규적이지 않은 경우에도 프록시멀 정규 벡터장이 포함된 미분포함수의 절대 연속 해의 존재를 증명한다.

ABSTRACT

This paper is devoted to weaken "classical" assumptions and give new arguments to prove existence of sweeping process (associated to the proximal normal cone of sets). Mainly we define the concept of a "directional prox-regularity" and give assumptions about a Banach space to insure the existence of such sweeping process (which permit to generalize the existing results requiring a Hilbertian structure).

연구 동기 및 목표

• 기존의 스위핑 프로세스 존재 결과를 힐버트 공간을 초월하여 일반화하여, 고전적 증명이 힐버트 공간의 구조에 의존하는 문제를 해결한다.
• 균일 프록시멀-정규성의 표준 가정을 완화하기 위해 새로운, 더 엄격하지 않은 조건인 '방향성 프록시멀-정규성'을 도입한다.
• 최소한의 기하적 및 정규성 가정 하에서 바나흐 공간 내 프록시멀 정규 벡터장이 포함된 미분포함수의 해 존재성을 확립한다.
• 비-힐버트 공간 설정에서 프록시멀 정규 벡터장의 약한 매끄러움 문제를 맞춤형 컴팩턴스 및 근사화 추론을 통해 해결한다.
• 공간의 볼-콤팩턴스나 완전한 균일 프록시멀-정규성의 필요성을 피하는 프레임워크를 제공하여 더 넓은 적용 가능성을 확보한다.

제안 방법

• 균일 프록시멀-정규성의 완화로써 '방향성 프록시멀-정규성'의 개념을 도입하여 특정 방향에서 단일값 및 연속적인 사영을 보장한다.
• 집합 $ C(t) $ 가 천천히 변화하는 부분구간에서 시간 이산화를 활용한 모레의 캐칭업 알고리즘을 사용하여 근사 해를 구성한다.
• 편미분 및 집합값 함수 $ C(t) $ 의 선형 성장성과 리프시츠 연속성에 기반해 이산 해에 대한 균일한 유계성을 확립한다.
• 반사적이며 균일하게 매끄러운 바나흐 공간에서 'I-매끄럽게 약한 컴팩턴스' 성질을 활용한 컴팩턴스 추론을 통해 수렴하는 부분수열을 추출한다.
• 베르나르드, 티바르, 즈라테바의 결과에서 유도된 프록시멀-정규 집합의 $ J $-하이포모노톤성 성질을 활용하여 바나흐 공간 내 프록시멀 정규 벡터장의 행동을 제어한다.
• 이산 해가 미분포함수 $ \dot{u}(t) + \mathrm{N}(C(t), u(t)) \ni f(u(t)) $ 를 만족하는 절대 연속 해로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 힐버트 공간의 구조를 가정하지 않고도 바나흐 공간 내 스위핑 프로세스의 존재성을 확보할 수 있는가?
• RQ2 바나흐 공간 내 이동 집합 $ C(t) $ 에 대해 균일 프록시멀-정규성을 대체할 수 있는 기하적 조건는 무엇인가?
• RQ3 비-힐버트 공간 설정에서 방향성 프록시멀-정규성을 어떻게 정의하고 활용할 수 있는가?
• RQ4 이산 근사의 수렴을 보장하기 위해 바나흐 공간이 가져야 할 컴팩턴스 및 매끄러움 성질은 무엇인가?
• RQ5 그론월의 부등식과 같은 힐버트 공간 전용 도구에 의존하지 않고도 바나흐 공간 내 해의 유일성을 확보할 수 있는가?

주요 결과

• 논문은 바나흐 공간 내 스위핑 프로세스의 존재를 보장하는 충분조건으로 '방향성 프록시멀-정규성'을 도입하여 전체 균일 프록시멀-정규성의 필요성을 제거한다.
• 분리 가능하고 반사적이며 균일하게 매끄러운 바나흐 공간 내에서 방향성 프록시멀-정규성과 $ C(t) $ 의 리프시츠 연속성 조건 하에 스위핑 프로세스 $ \dot{u}(t) + \mathrm{N}(C(t), u(t)) \ni f(u(t)) $ 의 절대 연속 해 존재가 증명된다.
• 선형 성장성 및 연속성 조건 하에서 $ f $ 에 대해 $ u(t) \in C(t) $ 를 모든 $ t \in I $ 에 대해 만족하며, 초기 조건 $ u(0) = u_0 \in C(0) $ 도 충족한다.
• 시간 이산화를 통한 모레의 캐칭업 알고리즘과 'I-매끄럽게 약한 컴팩턴스' 성질을 갖는 공간 내 컴팩턴스 추론에 기반하여 이산 해의 수렴을 보장한다.
• 모든 방향에서 균일 프록시멀-정규성이 필요 없어지므로, 더 민첩한 집합의 진동을 허용하는 바나흐 공간 내 결과로 고전적 힐버트 공간 결과를 일반화한다.
• 그론월의 부등식과 같은 힐버트 공간 전용 도구가 없고, 쌍대 맵핑의 비선형성으로 인해 일반 바나흐 공간 내 해의 유일성은 여전히 열려 있는 문제이다.