[논문 리뷰] Existence of $p$ harmonic multiple valued maps into a separable Hilbert space

Philippe Bouafia, Thierry De Pauw외 1명|arXiv (Cornell University)|2014. 02. 14.

Fixed Point Theorems Analysis참고 문헌 12인용 수 3

한 줄 요약

이 논문은 Q-값 함수에 대한 내재적 소볼레프 이론을 사용하여, m차원 단위 구에서 분리 가능한 힐버트 공간으로의 p-조화 다중값 함수의 존재성을 확립한다. p-에너지 최소화자에 대한 딜리클레 문제는 컴팩턴스, 경계 이론, 소볼레프 공간 W^{1}_p(U; Q_Q(ℓ₂)) 내에서 하향 연속성에 의해 해를 갖는다.

ABSTRACT

The general existence of $p$-Dirichlet energy minimizing maps into $Q_Q(l_2)$ is obtained.

연구 동기 및 목표

• 무한차원 분리 가능한 힐버트 공간으로의 p-조화 다중값 함수의 존재성을 확립하는 것. 이 경우 고전적인 임bedding 기법(예: 알므그렌의 것)을 사용할 수 없다.
• ℓ₂의 값들을 갖는 Q-값 함수에 대한 내재적 소볼레프 이론을 개발하며, L_p 및 W^{1}_p 공간의 정의, 경계, 피카르 부등식을 포함한다.
• 주어진 경계 데이터를 갖는 소볼레프 공간 W^{1}_p(U; Q_Q(ℓ₂)) 내에서 p-에너지 최소화자에 대한 딜리클레 문제의 해를 증명하는 것.
• 유한차원 대상으로부터의 p-조화 함수 이론을 초월하기 위해, 무한차원에서 이중 리프시츠 임베딩에 의존하지 않는 것.
• 라드마처 유형 결과와 근사 기법을 사용하여, 소볼레프 Q-값 함수에 대해 p-에너지의 하향 연속성과 거의 everywhere에서의 미분 가능성 보장.

제안 방법

• L_p 및 W^{1}_p 공간을, L_p 반노름 d_p(f₁,f₂) = (∫_U G(f₁,f₂)^p dℒ^m)^{1/p} 에서 리프시츠 함수의 극한을 통해 U → Q_Q(ℓ₂) 인 Q-값 함수 f에 대해 정의한다.
• L_p 수렴에 대해 하향 연속성을 보장하기 위해, p-에너지 𝒟_p^p(f;U)를 일반화하여 정의한다.
• 값들을 제어하고 소볼레프 공간 내에서 컴팩턴스를 확보하기 위해, ℓ₂ → a의 컴팩트 볼록 집합 C ⊆ ℓ₂로의 가장 가까운 점 사영 P를 사용한다.
• 유한한 수열이 W^{1}_p(U; Q_Q(ℓ₂)) 내에 있을 경우, 수렴하는 부분수열을 추출하기 위해 Rellich 유사 컴팩턴스 정리(정리 4.8.2)를 적용한다.
• 피카르 부등식(정리 4.6.2)과 루진 유사 근사(제안 4.6.3(1))를 활용하여, 소볼레프 함수의 거의 everywhere에서의 미분 가능성을 확립한다.
• 경계 데이터가 최소화 과정에서 유지되도록 보장하기 위해, 경계 이론 및 확장 정리(정리 4.5.1)를 적용한다.

실험 결과

연구 질문

• RQ1 알므그렌의 이중 리프시츠 임베딩이 존재하지 않을 경우, 무한차원 힐버트 공간 내에서 p-조화 Q-값 함수의 존재성을 확립할 수 있는가?
• RQ2 주어진 경계 데이터에 대해, W^{1}_p(U; Q_Q(ℓ₂)) 내에서 p-에너지 함수가 최소화자를 갖는가?
• RQ3 Q-값 함수의 L_p 수렴에 대해 p-에너지 함수가 하향 연속적인가?
• RQ4 소볼레프 Q-값 함수가 W^{1}_p 노름에서 리프시츠 함수로 근사될 수 있으며, 이는 거의 everywhere에서의 미분 가능성으로 이어지는가?
• RQ5 소볼레프 공간 W^{1}_p(U; Q_Q(ℓ₂)) 내에서 Q-값 함수의 경계 연산자가 사영 및 컴팩턴스 추론을 통해 경계 데이터를 유지하는가?

주요 결과

• 분리 가능한 힐버트 공간 ℓ₂로의 p-조화 Q-값 함수에 대한 딜리클레 문제는 해를 갖는다: 임의의 리프시츠 경계 데이터 g: ∂U → Q_Q(ℓ₂)에 대해, p-에너지를 최소화하는 f ∈ W^{1}_p(U; Q_Q(ℓ₂))가 존재한다.
• p-에너지 함수는 L_p 수렴에 대해 하향 연속적이며, 제안 4.4.1 및 추론 4.6.4에 의해 보장된다.
• 소볼레프 Q-값 함수 f ∈ W^{1}_p(U; Q_Q(ℓ₂))는 거의 everywhere에서 미분 가능하다. 이 결과는 라드마처 유형의 미분 가능성(정리 2.5.8)과 리프시츠 함수에 의한 근사로부터 유도된다.
• 피카르 부등식(정리 4.6.2)은 무한차원 설정에서도 성립하여, 더 강력한 근사 결과 및 소볼레프 공간 내 컴팩턴스를 가능하게 한다.
• Rellich 유사 컴팩턴스 정리(정리 4.8.2)는, 값들이 컴팩트 집합에 포함되어 있을 경우, W^{1}_p(U; Q_Q(ℓ₂)) 내에서 유계 수열이 L_p에서 수렴하는 부분수열을 갖는다.
• 가장 가까운 점 사영 P: ℓ₂ → 컴팩트 볼록 집합 C를 사용함으로써, 최소화 수열을 컴팩트 범위로 재중심화할 수 있으며, 이는 소볼레프 공간 내에서 약한 극한을 추출하는 데에 기여한다.