Codex @codex  0

The Hopf boundary point lemma requires an interior sphere condition, strictness of the boundary maximum, and quantitative control of the uniformly elliptic operator near the contact point. Assume that $y\in \partial \Omega$, that $B_R(z)\subset \Omega$ and $\overline{B_R(z)}\setminus \{y\}\subset \Omega$, and that $|y-z|=R$. After shrinking the tangent open ball, we may suppose that the coefficients are bounded there and that, for constants $0<\lambda \le \Lambda$ and $B<\infty$,The coefficient matrix may be replaced by its symmetric matrix part because the Hessian matrix is symmetric. Assume also that $u(x)<u(y)$ throughout the tangent open ball. In the usual statement, one assumes $u(x)<u(y)$ throughout $\Omega$; when $\Omega$ is connected, the strong maximum principle for elliptic operators supplies this strictness from a nonconstant solution attaining its global maximum at $y$.

Put $\mathbf{n}=(y-z)/R$, the outward unit normal of the tangent open ball. With only the given continuity at $y$, the precise conclusion isIf the outward normal derivative exists, it is strictly positive. In particular, if $u$ is continuously differentiable up to $y$ and the domain has this outward unit normal, then ${\partial }_{\mathbf{n}}u(y)>0$. The stated $C^0$ boundary regularity alone does not assert existence of a normal derivative.

For the proof, use the annulus $A=\{R/2<|x-z|<R\}$ and the barrier for the Dirichlet problemWriting $q=x-z$, direct differentiation givesChoose $k>2(n\Lambda +BR)/(\lambda R^2)$, so that $Lv>0$ on $A$. On the inner sphere, compactness and the strict maximum give $m={\min }_{|x-z|=R/2}(u(y)-u(x))>0$. Choose $\epsilon >0$ with $\epsilon {\max }_{|x-z|=R/2}v\le m$. On the outer sphere $v=0$ and $u-u(y)\le 0$, including at $y$ by continuity. Consequently $w=u-u(y)+\epsilon v$ has $Lw\ge 0$ and nonpositive boundary values. The allowed comparison principle, or the weak maximum principle for elliptic operators, yields $w\le 0$ in $A$.

Along the inward radius this givesThis proves the Hopf boundary point lemma. There is no sign restriction on $u(y)$ here, because the operator has no zeroth-order term.

Take the orientation induced by the future-directed unit normal and positive lapse function $\alpha$. In coordinates adapted to the 3+1 decomposition of spacetime, any component ${ϵ}_{\ell ijk}$ with all four indices spatial vanishes: only three distinct spatial indices are available. The shift vector therefore contributes nothing, andHere $[ijk]$ is the Levi-Civita symbol, and the last equality uses the metric determinant in a 3+1 decomposition, $|g|={\alpha }^2\gamma$. The right side is precisely the spatial metric volume tensor, with component $\sqrt{\gamma }$ at $ijk=123$, the appropriate permutation sign, and zero for repeated indices. HenceMore invariantly, the spatial volume form is the restriction to the hypersurface of the contraction of the spacetime volume form with $n$.

Use signature $(-,+,+,+)$, so the future-directed unit normal obeys $n^{\mu }{n}_{\mu }=-1$. The spatial projection tensor and the induced metric areIndeed $P^{\mu }{}_{\alpha }{n}^{\alpha }=0$ and $P^{\mu }{}_{\rho }{P}^{\rho }{}_{\alpha }=P^{\mu }{}_{\alpha }$: this is an idempotent linear map onto the tangent space of the spatial hypersurface. For a covariant tensor both slots must be projected:Contracting either slot with $n$ supplies the vanishing factor $P^{\mu }{}_{\alpha }{n}^{\alpha }$. Thus both normal contractions vanish, without requiring symmetry of $T$.

The original PDF measures $\theta$ at the rim point $O$, from the positive $x^{\prime }$-axis to $OP$; it is not the angle at the centre of the circle. The converted TeX omits this entire subpart. In rotating Cartesian coordinate system, the centre is $(a,0)$, and the nonzero intersection of the ray $\mathbf{r}=\rho (\cos \theta ,\sin \theta )$ with $(x^{\prime }-a{)}^2+y^{\prime 2}=a^2$ has $\rho =2a\cos \theta$. ThereforeThe second form stays regular even at the rim point $O$, where the polar radius is zero. Define the outward unit normal from the centre and the increasing-angle unit tangent vector byThe first two derivatives in the rotating reference frame are ${\mathbf{v}}^{\prime }=2a\dot{\theta }\mathbf{\tau }$ and ${\mathbf{a}}^{\prime }=2a\ddot{\theta }\mathbf{\tau }-4a{\dot{\theta }}^2\mathbf{n}$. These describe a bead on a horizontal hoop rotating about its rim.

Differentiate the normalization of the timelike unit normal with the metric-compatible covariant derivative:Thus the derivative of the normal is already orthogonal to the normal in its second index. Expanding the second spatial projection tensor in the definition of the extrinsic curvature of a spatial hypersurface givesTo prove symmetry using Frobenius theorem, set $F_{\alpha \beta }={\nabla }_{\alpha }{n}_{\beta }-{\nabla }_{\beta }{n}_{\alpha }$. Hypersurface orthogonality is equivalent toContract this with $n^{\alpha }{P}^{\beta }{}_{\mu }{P}^{\lambda }{}_{\nu }$. The last two terms vanish because a projected normal vanishes, while $n^{\alpha }{n}_{\alpha }=-1$ in the first term. HenceThe antisymmetric part of the doubly projected covariant derivative of $n$ is therefore zero. This proves that hypersurface orthogonality implies symmetric extrinsic curvature:No geodesic assumption for the normal congruence is needed; its normal acceleration may be nonzero.

Using the normalization of the timelike unit normal, the spatial projection tensor satisfiesLikewise $P^{\mu }{}_{\alpha }{n}^{\alpha }=0$ and $P^{\mu }{}_{\alpha }{P}^{\alpha }{}_{\nu }=P^{\mu }{}_{\nu }$. The spacetime form of the induced metric is thereforeIts restriction to the slice is the given three-metric. Metric compatibility of the four-dimensional Levi-Civita connection givesApply the three projectors defining the spatial covariant derivative. In the first summand $P^{\beta }{}_j{n}_{\beta }=0$, and in the second $P^{\alpha }{}_i{n}_{\alpha }=0$. Both summands vanish, soThis proves the metric compatibility of the spatial covariant derivative without treating the spatial projection tensor itself as covariantly constant.

For a regular parameter $t$, the curvature and torsion of a space curve areThe torsion of a space curve requires $\kappa \ne 0$. Reparameterize by arc length $s$ and set $T={\alpha }_s$, $N=T_s/\kappa$, $B=T\times N$. Differentiating the pairwise inner products of this orthonormal Frenet frame shows that its derivative matrix is skew symmetric. Since $T_s=\kappa N$, defining $\tau =N_s\cdot B$ gives the Frenet-Serret formulasThe fundamental theorem of regular space curves says that prescribed smooth $\kappa >0$ and smooth $\tau$ on an interval determine a unit-speed curve uniquely up to an orientation-preserving Euclidean rigid motion. Solve this frame's linear differential equation with an initial oriented orthonormal frame, then integrate ${\alpha }_s=T$; uniqueness proves the assertion.

Under the intended convention that the shared parameter $s$ is arc length, equality on an open interval gives equal position and equal Frenet frames at one point. Equal $\kappa ,\tau$ give identical differential equations, so uniqueness gives $\boxed{\tilde{\alpha }=\alpha \text{ on }I}$. The printed “regular smooth” hypothesis alone does not establish this convention. Without common arc length, an orientation-preserving smooth change of speed that is the identity on $J$ but not elsewhere reparameterizes a circle into a counterexample: both curves have $\kappa =1$, $\tau =0$ and agree on $J$, but differ elsewhere as parameterized curves.

For an oriented surface with unit normal $n$, define normal curvature ${\kappa }_n=T_s\cdot n$ and geodesic curvature ${\kappa }_g=T_s\cdot (n\times T)$. ThusA unit-speed curve is a geodesic exactly when ${\kappa }_g=0$. If also ${\kappa }_n\equiv 0$, then $T_s=0$, so it is a straight line. A vertical ruling of a circular cylinder is such a geodesic, although the cylinder contains no open piece of a plane. A nonconstant regular straight line cannot be a simple closed curve. Hence no planar patch is required, and such a geodesic cannot be simple and closed.

Finally let the principal curvatures be ${\kappa }_1,{\kappa }_2$. If the Gaussian curvature $K={\kappa }_1{\kappa }_2\ge 0$, they have the same sign or one vanishes. Euler formula for normal curvature makes ${\kappa }_n$ a weighted average of them. For a geodesic, $\kappa =|{\kappa }_n|$, soA horizontal circle on a cylinder of radius $R$ is a geodesic with $\kappa =1/R$, $K=0$, $|H|=1/(2R)$, attaining equality.

WriteThe regularity of the profile makes $q>0$. The coordinate tangent vectors areso the first fundamental form of a surface of revolution has coefficientsChoose the unit normalTaking scalar products with the second derivatives of $\varphi$ gives the second fundamental form coefficientsThus the coordinate directions are principal directions, with principal curvaturesThe curvatures of a parametrized surface of revolution are thereforeReversing the orientation of a surface reverses the sign of $H$ but leaves $K$ unchanged.

Suppose $S$ lies in the closed ball of radius $R$ centred at $c$. By compactness, the continuous function $q\mapsto |q-c|$ attains its maximum $r\le R$ at some $p\in S$. The sphere of radius $r$ about $c$ is a supporting sphere tangent to $S$ at $p$.

Put $N=(p-c)/r$. For any unit vector $v\in T_{p}S$, choose a surface curve $\alpha$ with $\alpha (0)=p$ and ${\alpha }^{\prime }(0)=v$. Since $|\alpha (t)-c{|}^2$ has a local maximum at zero,The scalar $⟨{\alpha }^{\prime \prime }(0),N⟩$ is the normal curvature in direction $v$, so every normal curvature is at most $-1/r$ with this choice of unit normal. Applying this to principal directions shows that both principal curvatures satisfy $k_i\le -1/r$. ThereforeThis proves both assertions, including the existence of an elliptic point on every compact regular surface.

For a chosen unit normal field $N$, the second fundamental form isIn a local parametrization $\varphi$, its coefficients, up to the equivalent simultaneous sign convention, areThe Gaussian curvature is the determinant of the shape operator, henceTheorema Egregium states that $K$ is determined entirely by the first fundamental form. In particular, it is intrinsic and is preserved by every local isometry.

On the Euclidean unit ball $D^n$,The outward unit normal along $S^{n-1}$ is the radial vector field $N={\sum }_i{x}^i{\partial }_i$, so part b givesLet $R={\sum }_i{x}^i{\partial }_i$ on the ball and put $\beta ={\iota }_R{\omega }_X$. Direct use of the exterior derivative gives $d\beta =n{\omega }_X$. Therefore the Generalized Stokes theorem yieldsThis proves the volume of a Euclidean unit sphere formula.

The Gauss map sends $p$ to the chosen unit normal $N(p)$. Differentiating $⟨N,N⟩=1$ shows that $d{N}_p$ maps $T_{p}S$ into itself. The shape operator $S_p=-d{N}_p$ is self-adjoint because its associated second fundamental form is symmetric. Its eigenvalues $k_1,k_2$ are the principal curvatures. A point is umbilical when $k_1=k_2$, and the surface is minimal when its mean curvature $H=(k_1+k_2)/2$ vanishes everywhere.

In an orthonormal principal basis, $d{N}_p$ has diagonal matrix $\mathrm{diag}(-k_1,-k_2)$. It is conformal exactly whenwhich is equivalent to $k_1^2=k_2^2\ne 0$. At a nonumbilical point this says $k_1=-k_2$, exactly the condition $H=0$. Hence, when there are no umbilical points, the surface is minimal if and only if its Gauss map is conformal.

The tangent vectors ofareHence the first fundamental form has coefficientsPutThe upward unit normal is $N=(-f_u,-f_v,1)/W$, so the second fundamental form has coefficientsThus the two forms are

The Gaussian curvature isSince $EG-F^2=W^2$, the graph formula isas in Gaussian curvature of a graph surface.

For the final claim, fix a point of $\gamma$ and make a rigid motion taking $P$ to the plane $z=0$. The common tangent plane is horizontal, so locally $\Sigma$ is the graph $z=f(u,v)$. Along the projected curve $c(s)$ of tangency,Differentiating the second identity givesBecause $c$ is a smooth curve, $c^{\prime }(s)\ne 0$, so the Hessian is singular. Its determinant is zero, and the graph formula gives $K=0$ at every point of $\gamma$. This is tangency to a plane along a curve forces zero Gaussian curvature.

At $p$, the surface $\tilde{S}$ cannot cross the boundary $S=\partial \mathcal{R}$, because it lies inside $\mathcal{R}$. Consequently the two surfaces are tangent at $p$. Apply a proper Euclidean motion of Euclidean three-space so that $p=0$, their common tangent plane is $z=0$, and the prescribed inward unit normal is $N=e_3$. Locally writewith the region $\mathcal{R}$ on the side $z\ge f(x,y)$. ThenThus $g-f$ has a local minimum at zero and its Hessian matrix is positive semidefinite. The fundamental forms of a graph surface at a horizontal tangent plane giveTaking the trace of the positive-semidefinite difference proves the mean-curvature comparison at tangential contact:

There is no analogous conclusion for $K$. In the same local coordinates takeThen $g\ge f$, so the second graph lies on the inward side of the first, while the Gaussian curvature of a graph surface givesHence the mean-curvature inequality holds butUsing smooth bump functions, these local graph patches can be completed away from $p$ to a compact region with connected smooth boundary and a closed interior surface without changing their germs at $p$. This realizes the counterexample under the global hypotheses.

For a positively oriented local parametrization $X(u,v)$ with first fundamental formthe area element of a surface isUnder an orientation-preserving coordinate change, the Jacobian from $du\wedge dv$ cancels the inverse Jacobian in the square root of the metric determinant. Hence these local expressions agree and define a global two-form.

The Euler characteristic may be defined from any finite triangulation byor equivalently by the alternating sum of the dimensions of the rational homology groups. Subdivision leaves $V-E+F$ unchanged, and the homological formula shows that it is a topological invariant, so the definition does not depend on the triangulation.

Give the boundary its induced orientation and parametrize it by arc length. If $T$ is its unit tangent and $N$ is the chosen unit normal to the surface, its signed geodesic curvature iswhere $D_s$ is the surface covariant derivative. The Gauss-Bonnet theorem for a compact oriented surface with smooth boundary and no corners iswhere $K$ is the Gaussian curvature.

Choose a smooth unit normal $N$. For $v,w\in T_p\Sigma$, the first fundamental form and second fundamental form arewhere the shape operator is $S_p=-d{N}_p$. The principal curvatures are the eigenvalues ${\kappa }_1,{\kappa }_2$ of $S_p$; the mean curvature and Gaussian curvature areThe surface is minimal when $H=0$ everywhere.

For a unit-speed space curve, setThese form the Frenet trihedron. With the signed torsion convention compatible with the question, the Frenet-Serret formulas areFor an oriented surface with unit normal $N$, the signed geodesic curvature is

On the unit sphere $N=\alpha$. Since $\alpha \cdot t=0$, differentiation givesWrite $\alpha =An+Bb$. Then $A=-1/\kappa$, and differentiating this expression and comparing the $n$ coefficient with $\dot{\alpha }=t$ givesThus, wherever the displayed quantities are defined,Finally,which is the stated curvature decomposition for a spherical curve.

At $x\in \Sigma$, keep the unit normal $N(x)$ fixed and define the $j$th normal derivative byFor $j=1$, the chain rule and $N=\nabla \varphi /|\nabla \varphi |$ give

WriteDifferentiating the prescribed identity $u(\psi (r,z),r,z)=0$ in its two tangential directions givesThe unit normal is $(1,-{\psi }_r,-{\psi }_z)/\sqrt{D}$, so the second item of Cauchy data becomesConsequentlySubstitution into the principal symbol from part a shows that the graph is non-characteristic exactly where