[논문 리뷰] Homogeneous variational complexes and bicomplexes

D.J. Saunders|ArXiv.org|2005. 12. 16.

Composite Material Mechanics참고 문헌 3인용 수 9

한 줄 요약

이 논문은 m-프레임 다발에 대한 동차 변분 복합체와 이중복합체를 도입하여, 변분 이중복합체를 동차 변분 문제로 일반화한다. 이 복합체들이 추상적 편미분 형식의 전역 정확성(끌어올림을 제외한)을 보장하는 데는 정규화된 가짜-호모토피 연산자를 사용하며, 이중복합체의 가장자리 수열의 국소 정확성을 입증함으로써 고차 동차 라그랑지안과 그 오일러-라그랑주 형식의 분석이 가능해진다.

ABSTRACT

We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks, each of these complexes (apart from the first one) is globally exact. All the complexes may be embedded in bicomplexes, and we show that, again modulo pullbacks, the latter are locally exact. The edge sequence is an important part of such a bicomplex, and may be used for the study of homogeneous variational problems.

연구 동기 및 목표

• m-프레임 다발 위의 동차 변분 문제에 대해 변분 이중복합체 프레임워크를 확장함으로써 고차 라그랑지안을 다룰 수 있도록 하는 것.
• 표준 제트 다발 이론에서 수평 변분 복합체가 수행하는 역할을 반영하는 벡터 값 미분형식을 사용하여 복합체의 가족을 정의하는 것.
• 표준적으로 정의된 가짜-호모토피 연산자를 사용하여, 첫 번째 복합체를 제외한 모든 복합체의 전역 정확성을 증명하는 것(끌어올림을 제외한).
• 복합체를 이중복합체에 통합하고 가장자리 수열의 국소 정확성을 증명함으로써 동차 변분 문제의 연구를 촉진하는 것.

제안 방법

• 논문은 유한 차수의 m-프레임 다발 위에서 벡터 값 미분형식을 사용하여 동차 변분 복합체를 구성하며, 공변형 연산자 $d_{\mathrm{T}}$ 를 사용한다.
• 끌어올림을 제외한 $d_{\mathrm{T}}$ 에 대한 정규화된 역함수를 제공하는 가짜-호모토피 연산자를 도입함으로써, 첫 번째 복합체를 제외한 모든 복합체의 전역 정확성을 보장한다.
• 수직 미분형식이 표준 외부 미분 $d$ 로 대체되는 이중복합체에 복합체를 통합함으로써 국소 정확성을 유지한다.
• 이중복합체의 가장자리 수열을 분석하여, 끌어올림을 제외한 국소 정확성이 성립하며, 동차 변분 문제의 연구에 적합함을 보였다.
• 벡터 값 힐베르트 및 오일러-라그랑주 형식을 정의하였으며, $\Theta_1 = PdL$ 와 $\varepsilon \otimes d^m t = d\Lambda - d_{\mathrm{T}}\Theta_1$ 를 통해 동치류에 대한 전역 표현을 가능하게 하였다.
• 형식이 국소적으로 오일러-라그랑주 형식임을 탐지하기 위해 헬름홀츠-소닌 사상 $\mathcal{H}(\Phi) = d\Phi - d_{\mathrm{T}}P\Phi$ 를 도입하였다.

실험 결과

연구 질문

• RQ1 m-프레임 다발 위의 동차 변분 문제에 대해 표준 제트 다발 이론의 변분 이중복합체와 유사한 이중복합체 기반의 구조를 개발할 수 있는가?
• RQ2 첫 번째 이후의 모든 차수에서 동차 변분 복합체가 끌어올림을 제외한 전역 정확성이 성립하는가?
• RQ3 동차 변분 이중복합체의 가장자리 수열은 어떻게 사용되어 동차 변분 문제의 해를 특성화할 수 있는가?
• RQ4 라그랑지안이 0일 때이고, 뿐만 아니라 그 역도 성립하는, 스칼라 m-형식 $\Theta_m$ 를 구성할 수 있는가? 이는 기존의 일계수 결과를 일반화하는 것이다.
• RQ5 고차 라그랑지안의 맥락에서 헬름홀츠-소닌 사상과 이중복합체의 국소 정확성 간의 관계는 무엇인가?

주요 결과

• 첫 번째 복합체를 제외한 모든 복합체에 대해, 정규화된 가짜-호모토피 연산자를 사용하여 $d_{\mathrm{T}}$ 에 대한 전역 역함수를 제공함으로써, 동차 변분 복합체는 끌어올림을 제외한 전역 정확성을 가진다.
• 동차 변분 이중복합체의 가장자리 수열은 끌어올림을 제외한 국소 정확성을 가지며, 코homological 방법을 통해 동차 변분 문제의 연구를 가능하게 한다.
• $r \geq 1$ 에 대해 $\Xi^r_k \to \Omega^{r,m}_k$ 에 주어진 사상 $p_r(\Phi) \mapsto \Phi - d_{\mathrm{T}}P\Phi$ 는 전역적으로 잘 정의되어 있으며, $\Xi^r_k$ 의 각 동치류에 대한 정규화된 표현을 제공한다.
• 오일러-라그랑주 형식 $\varepsilon \otimes d^m t$ 는 $p_1(dL)$ 의 동치류에 대한 정규화된 표현이며, 기존 변분 이론과의 일관성을 확인한다.
• 헬름홀츠-소닌 사상 $\mathcal{H}(\Phi) = d\Phi - d_{\mathrm{T}}P\Phi$ 는 형식이 국소적으로 오일러-라그랑주 형식임을 탐지하며, $\mathcal{H}(\Phi) = 0$ 이면 국소 정확성이 성립함을 의미한다.
• 초기 결과에 따르면 두 개의 독립 변수를 가진 이계 라그랑지안의 경우, 0-라그랑지안과 동치인 $\Theta_2$ 가 존재하며, 이는 네 번째 차수의 프레임 다발로 사영 가능하다.