[논문 리뷰] Second-order equations and local isometric immersions of pseudo-spherical surfaces

Nabil Kahouadji, Niky Kamran외 1명|arXiv (Cornell University)|2013. 08. 29.

Geometric Analysis and Curvature Flows참고 문헌 17인용 수 10

한 줄 요약

이 논문은 ℝ³로의 국소 등거리 임bedding에서 이차 기본형 계수들이 두 번째 순서의 PDE u_t = F(u, u_x, u_xx) 또는 u_xt = F(u, u_x)의 해 u에 대한 유한한 임베딩 차수에 의존하는지 조사한다. 또한, 사인-고든 방정식(계수가 일정함)을 제외한 모든 이러한 방정식이 등거리 임베딩이 존재할 조건에서, 계수들이 u나 그 도함수에 의존하지 않고 오직 x와 t의 함수로만 주어진다는 것을 증명한다.

ABSTRACT

We consider the class of differential equations that describe pseudo-spherical surfaces of the form $u\\_t=F(u,u\\_x,u\\_{xx})$ and $u\\_{xt}=F(u, u\\_x)$ given in Chern-Tenenblat \\cite{ChernTenenblat} and Rabelo-Tenenblat \\cite{RabeloTenenblat90}. We answer the following question: Given a pseudo-spherical surface determined by a solution $u$ of such an equation, do the coefficients of the second fundamental form of the local isometric immersion in $\\mathbb{R}^3$ depend on a jet of finite order of $u$? We show that, except for the sine-Gordon equation, where the coefficients depend on a jet of order zero, for all other differential equations, whenever such an immersion exists, the coefficients are universal functions of $x$ and $t$, independent of $u$.

연구 동기 및 목표

• 국소 등거리 임베딩에서 이차 기본형 계수들이 pseudo-spherical 표면의 해 u에 대해 유한한 임베딩 차수에 의존하는지 확인하는 것.
• 이러한 임베딩이 존재하고 유한한 임베딩 차수 의존성을 가지는 두 번째 순서 PDE의 클래스를 분류하는 것.
• 임베딩 계수들이 u에 독립적으로 x와 t의 보편 함수가 되는 조건을 규명하는 것.
• 사인-고든 방정식의 특수한 경우를 해결하는 것 — 이 경우 계수들은 제로 순서 임베딩에만 의존한다.

제안 방법

• 논문은 Cartan의 구조방정식을 통해 pseudo-spherical 표면을 기술하는 두 번째 순서 PDE u_t = F(u, u_x, u_xx) 및 u_xt = F(u, u_x)를 분석한다.
• dωⁱ = ωʲ ∧ ωᵏ (i≠j≠k) 를 만족하는 1형식 ω¹, ω², ω³의 존재성을 이용하여 해 영역 위에 곡률이 -1인 메트릭을 정의한다.
• 이차 기본형 계수 (a, b, c)는 유한한 임베딩 차수 의존성의 가정 하에 가우스 및 코다지 방정식을 분석하여 유도된다.
• 레마와 보조정리를 사용하여 λ = ξ = τ = 0 가 아닐 경우, 계수 a, b, c는 반드시 u에 의존하지 않고 오직 x와 t의 보편 함수여야 한다는 것을 보여준다.
• 분석은 두 경우로 나뉜다: λ ≠ 0 (ηx + (λ/η ∓ ζ)t 에 대한 지수적 의존성) 및 λ = 0 (ηx 에 대한 지수적 의존성), 실수 매개변수 l과 γ에 대한 제약 조건이 있다.
• 유도된 증명은 보조 매개변수 z₀, z₁, z₂에 대한 가우스-코다지 시스템의 미분을 기반으로 하며, a, b, c에 대한 보편 형태를 도출한다.

실험 결과

연구 질문

• RQ1 국소 등거리 임베딩에서 pseudo-spherical 표면의 이차 기본형 계수들이 해 u의 유한한 임베딩 차수에 의존하는 조건은 무엇인가?
• RQ2 해 u와 그 도함수에 독립적인 임베딩 계수를 가지는 유일한 방정식은 사인-고든 방정식인가?
• RQ3 u_xt = λu + ξu_x + τ 형태의 방정식에서, 임베딩 계수들이 x와 t의 보편 함수가 되는 조건은 무엇인가?
• RQ4 l과 γ에 대한 어떤 제약 조건이 존재할 경우, 유한한 임베딩 차수 의존성을 가지는 국소 등거리 임베딩이 존재하는가?
• RQ5 구조방정식과 1형식의 선택은 임베딩 계수들이 해의 임베딩 차수에 어떻게 영향을 미치는가?

주요 결과

• u_t = F(u, u_x, u_xx) 또는 u_xt = F(u, u_x) 형태로 기술되는 pseudo-spherical 표면의 모든 방정식에서, 사인-고든 방정식을 제외한 나머지는 이차 기본형 계수 a, b, c가 u와 그 도함수에 의존하지 않고 오직 x와 t의 보편 함수임을 보여준다.
• λ ≠ 0 이면 계수는 a = √(lL(x,t) − γ²L²(x,t) − 1), b = γL(x,t), c = (b² − 1)/a 로 주어지며, 여기서 L(x,t) = e^{±2[ηx + (λ/η ∓ ζ)t]} 이고 l² > 4γ² 이다.
• λ = 0 이고 ξ² + τ² ≠ 0 이면 계수는 a = √(le^{2ηx} − γ²e^{4ηx} − 1), b = γe^{2ηx}, c = (b² − 1)/a 로 주어지며, l² > 4γ² 이고 ℝ²의 스트립 영역에서 정의된다.
• λ = ξ = τ = 0 이면, 이는 유한한 임베딩 차수 의존성 하에서 가우스 방정식과 모순을 일으키므로 임베딩이 존재하지 않는다.
• 계수들이 보편적일 수 있는 조건은 매개변수 λ, ξ, τ가 모두 0이 아닐 때이며, 임베딩은 제곱근 안의 표현식이 양수인 (x,t)-평면의 특정 스트립 영역에서만 정의된다.
• 사인-고든 방정식은 오직 제로 순서 임베딩에 의존하는 유일한 방정식이며, 이 경우 계수들은 x와 t에 대해 일정하다.