[論文レビュー] Obstructions to the existence of smooth solutions to the Plateau Problem in the Heisenberg group

Scott D. Pauls|arXiv (Cornell University)|May 13, 2005

Geometric Analysis and Curvature Flows被引用数 2

ひとこと要約

本稿では、ヘイゼンベルク群における低正則性のH最小グラフを調査し、非特徴的C¹ H最小グラフがC²のシード曲線をもつ回転面であることを証明する。フラニチ、セラピオン、セラ・カッサノの構造定理を用いて、任意のH最小曲面は、測度ゼロの集合を除いて、こうした部分の和集合として表せることを示す。本研究では、ディリクレ問題の滑らかな解が存在するための必要十分条件を確立し、滑らかな境界データがC²解を保証しないことを、H最小スパンニンググラフがC²でない具体例を構成することで示す。

ABSTRACT

ABSTRACT. In this paper we investigate H-minimal graphs of lower regularity. We show that noncharactersitic C 1 H-minimal graphs are ruled surfaces with C 2 seed curves. Moreover, in light of a structure theorem of Franchi, Serapioni and Serra Cassano, we see that any H-minimal surface is, up to a set of perimeter zero, composed of such pieces. Along these lines, we investigate ways in which patches of C 1 H-minimal graphs can be glued together to form continuous piecewise C 1 H-minimal surfaces. We apply this description of H-minimal graphs to the question of the existence of smooth solutions to the Dirichlet problem with smooth data. We find a necessary and sufficient condition for the existence of smooth solutions and produce examples where the conditions are satisfied and where they fail. In particular we illustrate the failure of the smoothness of the data to force smoothness of the solution to the Dirichlet problem by producing a class of curves whoses H-minimal spanning graphs cannot be C 2. 1.

研究の動機と目的

• ヘイゼンベルク群における低正則性のH最小グラフの幾何的構造を分析すること。
• 滑らかな境界データを用いたディリクレ問題において、滑らかな解が存在する条件を特定すること。
• C¹ H最小グラフパッチを連続的で区分的C¹のH最小曲面に貼り合わせる方法を調査すること。
• 滑らかな境界データがあるにもかかわらず解の滑らかさが失われる要因を同定すること。
• H最小スパンニンググラフがC²でないにもかかわらず滑らかな境界曲線を持つ具体例を提供すること。

提案手法

• フラニチ、セラピオン、セラ・カッサノの構造定理を応用し、H最小曲面をC²シード曲線をもつ部分に分解すること。
• 非特徴的C¹ H最小グラフの幾何を分析し、それが回転面であることを証明すること。
• 亜リーマン幾何における水平最小曲面の理論を用いて、解の正則性を特徴づけること。
• H最小スパンニンググラフがC²でない滑らかな境界曲線の具体例を構成すること。
• C¹ H最小グラフパッチを連続的で区分的C¹のH最小曲面に貼り合わせるための整合性条件を研究すること。
• 境界データの幾何的整合性に基づいて、ディリクレ問題におけるC²解の存在の必要十分条件を導出すること。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群における非特徴的C¹ H最小グラフの幾何的構造は何か？
• RQ2 C¹ H最小グラフパッチが連続的で区分的C¹のH最小曲面を形成するための条件は何か？
• RQ3 ヘイゼンベルク群におけるディリクレ問題にC²解が存在するための必要十分条件は何か？
• RQ4 ヘイゼンベルク群において滑らかな境界データがC² H最小解を生じないことはあり得るか？
• RQ5 H最小スパンニンググラフがC²でない滑らかな曲線の具体例は何か？

主な発見

• ヘイゼンベルク群における非特徴的C¹ H最小グラフは、C²のシード曲線をもつ回転面である。
• 任意のH最小曲面は、測度ゼロの集合を除いて、こうしたC¹回転面部分の和集合として表せる。
• C²解の存在の必要十分条件は、境界データの幾何的整合性に基づいて導出された。
• 境界データが滑らかであっても、H最小スパンニンググラフがC²でない曲線が存在し、滑らかなデータが滑らかな解を保証しないことを示している。
• 本稿では、こうした曲線の具体例を構成し、亜リーマン的設定における滑らかさの伝播の失敗を示している。
• 結果として、ヘイゼンベルク群におけるプレートォー問題の解の正則性は、境界の幾何と水平構造によって本質的に制限されていることが示された。