[논문 리뷰] On vector-valued functions and the $\varepsilon$-product

Karsten Kruse|arXiv (Cornell University)|2023. 01. 01.

Advanced Banach Space Theory인용 수 1

한 줄 요약

이 Habilitation 논문은 ε-곱셈 구조를 이용하여 벡터값 함수를 연속 선형 연산자로 표현하기 위한 기능적 해석적 프레임워크를 개발한다. 스칼라값 함수 공간과 공도메인의 ε-곱과의 사이에 등장하는 등장사상에 의해, 스칼라값에서의 결과를 벡터값 설정으로 이전할 수 있게 되었으며, 이로 인해 약한-강한 원리, 확장 정리, 급수 전개(특히 E-값 스웨츠 및 매끄러운 편평한 함수에 대한 푸리에 전개 포함)에 대한 새로운 정리들이 도출된다.

ABSTRACT

Im Mittelpunkt dieser Habilitationsschrift steht die Linearisierung vektorwertiger Funktionen, d. h. vektorwertige Funktionen sollen durch stetige lineare Operatoren dargestellt werden. Die erste Frage, der man sich stellen muss, ist, welche vektorwertigen Funktionen durch stetige lineare Operatoren dargestellt werden können. Vektorwertig bedeutet hier, dass die Funktionen Werte in einem lokalkonvexen Hausdorff Raum E annehmen. Wir untersuchen dieses Problem im Rahmen von ε-Produkten und geben hinreichende Bedingungen an, wann ein Raum von E-wertigen Funktionen mit dem ε-Produkt eines entsprechenden Raums skalarwertiger Funktionen und des Wertebereichs E (bis auf Isomorphie) übereinstimmt. Wir nutzen unsere Linearisierungsresultate um bekannte Ergebnisse aus dem skalarwertigen auf den vektorwertigen Fall zu übertragen. Wir übertragen die Lösbarkeit einer linearen partiellen Differentialgleichung in bestimmten Funktionenräumen vom skalarwertigen Fall auf den vektorwertigen, was auch Antworten auf die Frage nach der (stetigen, glatten, holomorphen, distributionellen, etc.) Parameterabhängigkeit der Lösungen im skalarwertigen Fall liefert. Außerdem stellen wir einen einheitlichen Ansatz zur Lösung des Fortsetzungsproblems von vektorwertigen Funktionen, die schwache Fortsetzungen haben, vor, unter der Bedingung, dass die Eigenschaften, wie Holomorphie, der skalarwertigen Fortsetzungen erhalten bleiben. Unsere Resultate decken auch schwach-stark Prinzipien ab. Insbesondere untersuchen wir schwach-stark Prinzipien für endlich oft stetig partiell differenzierbare Funktionen und verbessern die bekannten schwach-stark Prinzipien von Grothendieck und Schwartz. Wir leiten von unseren Ergebnissen den Konvergenzsatz von Blaschke für diverse Räume vektorwertiger Funktionen ab und den Satz von Wolff für Dualräume mehrerer Funktionenräume skalarwertiger Funktionen. Zudem übertragen wir bekannte Reihenentwicklungen und Folgenraumdarstellungen von skalarwertigen auf vektorwertige Funktionen.

연구 동기 및 목표

• 벡터값 함수 공간 F(Ω,E)가 ε-곱 F(Ω)εE와 등장하는 데 충분한 조건을 확립함으로써 선형 표현을 가능하게 하기.
• ε-곱 구조를 이용하여 스칼라값에서 벡터값 함수 공간으로의 체계적 상향 기법을 개발하기.
• 유한 차수의 연속 부분 미분 가능성을 갖는 벡터값 함수에 대한 최적의 약한-강한 원리를 도출하여, 그로텐디크와 색스의 고전 결과를 향상시키기.
• 약하게 확장 가능한 함수의 확장 정리를 통합하고 벡터값 설정으로 일반화하기.
• 선형화 및 샤후르 분해를 이용하여 E-값 함수에 대한 푸리에 급수 및 기타 급수 전개를 구성하고 계수 공간을 명시적으로 규명하기.

제안 방법

• F(Ω)εE를 F(Ω)′에서 E로의 연속 선형 연산자 공간으로 사용함으로써, 적절한 조건 하에서 F(Ω,E)가 F(Ω)εE와 등장하는 것으로 표현 가능하다는 것을 보장한다.
• PLS-공간과 국소 볼록 공간 이론을 적용하여 F(Ω,E) ≅ F(Ω)εE가 성립하는 조건을 위상적 및 쌍대 조건을 통해 특성화한다.
• S: F(Ω)εE → F(Ω,E)로 정의된 사상 S(u)(x) = u(δx)를 활용하여 ε-곱과 함수 공간 사이의 등장사상을 실현한다.
• F(Ω,E)의 위상 제어 및 등장사상 보장을 위해 ε-호환성 및 ε-내재 호환성 가진 세미노름의 가족 개념을 도입한다.
• 샤후르 분해 및 선형화 기법을 활용하여 기존의 스칼라값 급수 전개(예: 푸리에 급수)를 E-값 함수로 이전한다.
• 수렴성과 유효성을 확보하기 위해 부록 A.2의 페티스 적분 가능성 기준을 적용한다.

실험 결과

연구 질문

• RQ1 벡터값 함수 공간 F(Ω,E)가 ε-곱 F(Ω)εE와 등장하는 조건은 무엇인가?
• RQ2 ε-곱 등장사상에 의해 스칼라값 함수 이론의 결과를 체계적으로 벡터값 설정으로 이전할 수 있는 방법은 무엇인가?
• RQ3 연속 부분 미분 가능성이 유한 차수인 벡터값 함수에 대한 최적의 약한-강한 원리는 무엇인가?
• RQ4 약하게 확장 가능한 함수의 확장 정리를 통합하고 벡터값 설정으로 일반화할 수 있는 방법은 무엇인가?
• RQ5 E-값 스웨츠 및 매끄러운 편평한 함수에 대한 푸리에 유사 급수 전개의 존재성과 수렴성을 보장하는 조건은 무엇인가?

주요 결과

• 가중치의 가족 V가 (V∞) 조건을 만족하고 F(Ω)가 (Ω) 성질을 갖는 PLS-공간일 경우, 공간 F(Ω,E)는 F(Ω)εE와 등장한다.
• 연속 부분 미분 가능성이 유한 차수인 함수에 대한 새로운 약한-강한 원리가 확립되었으며, 그로텐디크와 색스의 결과를 향상시켰다.
• 블라슈케의 수렴 정리가 ε-곱 프레임워크를 통해 여러 E-값 함수 공간으로 확장되었다.
• 함수 공간의 쌍대 공간에 관한 월프의 정리가 ε-곱 표현을 이용하여 벡터값 설정으로 일반화되었다.
• 스칼라값 급수 전개(예: 푸리에 급수)를 E-값 함수로 이전하는 체계적 기계장치가 개발되었으며, 계수 공간이 명시적으로 규명되었다.
• 부록 A.2에서 벡터값 함수의 페티스 적분 가능성에 대한 새로운 충분 조건이 도출되었으며, 이는 E-값 설정에서의 푸리에 전개 수렴성을 보장한다.