[논문 리뷰] Set valued integrability in non separable Fréchet spaces and applications

Luisa Di Piazza, Valeria Marraffa외 1명|arXiv (Cornell University)|2015. 07. 27.

Advanced Banach Space Theory참고 문헌 11인용 수 6

한 줄 요약

이 논문은 비분리 프리셰트 공간에서 다중함수 적분 이론을 수립하며, 가측 다중함수의 클래스 간 등가성을 증명하고 페티스 적분 가능성을 특성화한다. 이러한 결과를 바탕으로 카쿠타니의 고정점 정리를 활용하여 비분리적이며 비노름화 가능한 무한차원 설정으로의 일반화를 통해 볼테라 적분 포함의 해 존재성을 증명한다. 이는 미분 포함 및 편미분방정식에 핵심적인 영향을 미친다.

ABSTRACT

We focus on measurability and integrability for set valued functions in non-necessarily separable Fréchet spaces. We prove some properties concerning the equivalence between different classes of measurable multifunctions. We also provide useful characterizations of Pettis set-valued integrability in the announced framework. Finally, we indicate applications to Volterra integral inclusions.

연구 동기 및 목표

• 분리성 가정이 성립하지 않는 비분리 프리셰트 공간에서 가측성 및 적분 가능성을 갖는 다중함수 이론을 종합적으로 개발하는 것.
• 국소凸공간 내에서 다양한 다중함수 가측성 개념 간의 관계를 명확히 하고 등가성을 확립하는 것.
• 비분리 프리셰트 공간에서의 페티스 다중함수 적분 가능성을 위한 새로운 특성화를 제공하는 것.
• 개발된 이론을 활용하여 무한차원 설정에서 볼테라 적분 포함의 해 존재성을 증명하는 것.
• 미분 포함의 적용 범위를 비분리 프리셰트 공간으로 확장하여, 편미분방정식과 무한차원 상미분방정식계에서 흔한 설정에 적합하게 만드는 것.

제안 방법

• 저자들은 프리셰트 공간의 프로젝티브 극한 구조를 이용하여, 가산 개의 반노름의 가족을 통해 위상과 거리 구조(특히 닫힌 볼록집합 위의 하우스도르프 거리)를 정의한다.
• 약한 위상에 기반한 다중함수의 가측성을 정의하고, 반노름 기반 초과 및 수렴 조건을 통해 페티스 적분 가능성과 연관시킨다.
• 적절한 조건 하에서 강한 가측성과 약한 가측성 간의 등가성을 보장하는 다중함수에 대한 일반화된 페티스 가측성 정리(Generalized Pettis Measurability Theorem)를 증명한다.
• 쌍대 공간과 폴라르 집합을 사용하여, 균일 적분 가능성과 반노름에서의 수렴 조건을 통해 페티스 적분 가능성을 특성화한다.
• 볼테라 포함의 해 존재 결과는 연속 함수 위에서 다중함수 연산자를 구성하고, 카쿠타니의 고정점 정리를 적용하여 도출된다.
• 등연속성과 프리셰트 공간 내 상대 컴act성 조건을 사용하여 아스콜리 정리를 통해 해 집합의 컴팩트성을 확보한다.

실험 결과

연구 질문

• RQ1 비분리 프리셰트 공간의 값들을 갖는 다중함수에 대해 페티스 적분 가능성을 위한 필요 및 충분 조건은 무엇인가?
• RQ2 비분리 프리셰트 공간에서 다양한 다중함수 가측성 개념(예: 약, 강, 비르크호프)은 어떻게 상호 연관되어 있는가?
• RQ3 비분리 프리셰트 공간에서 다중함수에 대해 페티스 가측성 정리를 확장할 수 있는가?
• RQ4 비분리 프리셰트 공간에서 볼테라 적분 포함이 연속 해를 갖기 위한 조건은 무엇인가?
• RQ5 이러한 무한차원 설정에서 보흐너 적분 가능성, 페티스 적분 가능성, 그리고 의사미분 가능성 간의 관계는 무엇인가?

주요 결과

• 논문은 비분리 프리셰트 공간에서 다양한 가측 다중함수 클래스 간의 등가성을 수립하여, 고전적 결과를 비분리 설정으로 일반화한다.
• 비분리 바나흐 공간에서도 유효한, 다중함수에 대한 새로운 페티스 가측성 정리(Version of Pettis Measurability Theorem)를 증명한다.
• 쌍대 공간과 폴라르 집합을 사용하여, 균일 적분 가능성과 반노름 수렴 조건을 통해 다중함수의 페티스 적분 가능성을 특성화한다.
• 볼테라 적분 포함의 해 집합이 비어 있지 않고 컴팩트하며 등연속임을 보여주어, 카쿠타니의 고정점 정리를 통해 해 존재성을 보장한다.
• 해 존재 조건은 상대적으로 약한 가정으로 충족된다: 커널의 페티스 적분 가능성과 하우스도르프 거리에서의 상부 연속성.
• 의사미분을 통한 미분 포함으로의 확장이 가능하여, 연속 함수 공간 내 적어도 하나의 의사미분 해가 존재함을 도출한다.