$\mathbb{R}^2$の開円板$D:=\{(x,y)\in\mathbb{R}^2|x^2+y^2<1\}$上のリーマン軽量
$$
g=\frac{dx^2+dy^2}{(1-x^2-y^2)^2}
$$
を考える。
- $D$に$dx\wedge dy$で定まる向きを入れたとき、$g$の面積形式を求めなさい。
- $P\in D$をとり、写像$\gamma:[0,1]\to D$を$\gamma(t)=tP$で定める。積分
$$
\int_0^1\sqrt{g\left(\frac{d\gamma}{dt},\frac{d\gamma}{dt}\right)}dt
$$
を計算しなさい。 - $P\in X:=D\backslash\{(0,\frac{1}{2})\}$に対して、以下の条件
- ある$\varepsilon>0$が存在して、$\gamma$は$C^\infty$級関数$(-\varepsilon,1+\varepsilon)\to X$に拡張される。
- $\gamma(0)=0$
- $\gamma(1)=P$
を満たす写像$\gamma:[0,1]\to X$全体の為す集合を$A(P)$とおく。また
$$
L(\gamma):=\int_0^1\sqrt{g\left(\gamma'(t),\gamma'(t)\right)}dt
$$
とおく。このとき最小値
$$
\min_{\gamma\in A(P)}L(\gamma)
$$
が存在するためには、$P\notin \{0\}\times [\frac{1}{2},1)$であることが必要充分であることを示しなさい。