PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (194)
Orphanage
Unclass'd
Unproven (498)
Corrections (25)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] normal curvatures (Topic)

Let us determine the normal curvatures $ \varkappa$ of the surface

$\displaystyle z = z(x,\,y)$ (1)

in the origin, when (1) has the continuous 1st and 2nd order partial derivatives in a neighbourhood of $ (0,\,0)$ and satisfies
$\displaystyle z(0,\,0) = z'_x(0,\,0) = z'_y(0,\,0) = 0.$ (2)

It's a question of the curvature of the intersection curves of the surface (1) and planes containing the $ z$-axis, which is the normal of the surface in the origin.

If the angle between the $ zx$-plane and a plane $ \tau$ containing the $ z$-axis is denoted by $ \varphi$, when the line of intersection of the plane $ \tau$ and the $ xy$-plane is represented by the equations

$\displaystyle x = \varrho\cos\varphi,\quad y = \varrho\sin\varphi\quad (-\infty < \varrho < \infty),$
then equation of the the normal section curve $ C_\varphi$ is
$\displaystyle z = z(\varrho\cos\varphi,\,\varrho\sin\varphi),$
where $ \varrho$ is the abscissa and $ z$ the ordinate. It follows that
$\displaystyle \frac{dz}{d\varrho} = \frac{\partial z}{\partial x}\cos\varphi+\frac{\partial z}{\partial y}\sin\varphi,$
$\displaystyle \frac{d^2z}{d\varrho^2} = \frac{\partial^2z}{\partial x^2}\cos^2\... ...tial y}\sin\varphi\cos\varphi+ \frac{\partial^2z}{\partial y^2}\sin^2\!\varphi;$
thus by (2), in the origin we have
$\displaystyle \frac{dz}{d\varrho} = 0,\quad \frac{d^2z}{d\varrho^2} = a\cos^2\!\varphi+2b\sin\varphi\cos\varphi+c\sin^2\!\varphi,$
where $ a$, $ b$, $ c$ mean the values of the derivatives $ \frac{\partial^2z}{\partial x^2}$, $ \frac{\partial^2z}{\partial x \partial y}$, $ \frac{\partial^2z}{\partial y^2}$ in the origin.

Using those values, we obtain for the normal curvature of $ C_\varphi$ in the origin the value
$\displaystyle \varkappa(\varphi) = \left[\frac{\frac{d^2z}{d\varrho^2}}{\left(1... ...]_{\varrho\,=\,0} = a\cos^2\!\varphi+2b\sin\varphi\cos\varphi+c\sin^2\!\varphi.$ (3)

This result gets a more illustrative form when we try to express it by using the least and the greatest value of $ \varkappa(\varphi)$. Instead to utilize the zeros of the derivative of the sum in (3), it's simpler first to transfer to the double angle,
$\displaystyle \varkappa(\varphi) = \frac{a+c}{2}+\frac{a-c}{2}\cos2\varphi+b\sin2\varphi,$ (4)

and here to introduce an auxiliary angle $ \alpha$ ( $ 0 \le \alpha < \pi$) such that
$\displaystyle \frac{a-c}{2} := k\cos2\alpha,\quad b := k\sin2\alpha.$
This allows us to write (4) as
$\displaystyle \varkappa(\varphi) = \frac{a+c}{2}+k\,\cos2(\varphi\!-\!\alpha).$ (5)

From this we see immediately that the curvature attains its greatest and least value $ \displaystyle\frac{a\!+\!c}{2}\pm k$ when $ \varphi = \alpha$ and $ \varphi = \alpha+\frac{\pi}{2}$.

Accordingly, the corresponding normal planes $ \tau$, the principal normal planes, are perpendicular to each other; their normal section curves on the surface (1) in the origin are briefly called the principal sections.

The expression (5) of the normal curvature may still be edited. Let us take a new parameter angle $ \varphi-\alpha := \theta$. One can write

$\displaystyle \varkappa(\varphi) = \frac{a\!+\!c}{2}(\cos^2\theta+\sin^2\theta)... ...s^2\theta+\left(\!\frac{a\!+\!c}{2}-k\!\right)\sin^2\theta := \varkappa_\theta.$

So the final result, the so-called Euler's theorem, can be expressed in the form

$\displaystyle \varkappa_\theta = \varkappa_1\cos^2\theta+\varkappa_2\sin^2\theta.$ (6)

Here, the principal curvatures $ \varkappa_1$ and $ \varkappa_2$ are the greatest and the least value of the normal curvature, respectively, and $ \theta$ is the angle between the normal section plane corresponding $ \varkappa_1$ and the normal section plane corresponding $ \varkappa_\theta$. As it becomes clear in the parent entry, the result (6) is true not only in the origin but at any point on a surface when the given function has the continuous 1st and 2nd derivatives in some neighbourhood of the point.

Bibliography

1
ERNST LINDELÖF: Differentiali- ja integralilasku ja sen sovellutukset II. Mercatorin Kirjapaino Osakeyhtiö, Helsinki (1932).



"normal curvatures" is owned by pahio.
(view preamble)

View style:

See Also: second fundamental form, Meusnier's theorem, Ernst Lindelöf

Also defines:  principal normal plane, principal section, principal curvature, Euler's theorem

This object's parent.

Attachments:
mean curvature at surface point (Theorem) by pahio
Meusnier's theorem (Theorem) by pahio
line of curvature (Definition) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: function, point, clear, parameter, expression, perpendicular, sum, derivatives, ordinate, abscissa, normal section, equations, line, angle, normal, planes, curves, intersection, neighbourhood, partial derivatives, order, continuous, origin, surface
There are 6 references to this entry.

This is version 9 of normal curvatures, born on 2007-07-30, modified 2008-08-05.
Object id is 9821, canonical name is NormalCurvatures.
Accessed 1532 times total.

Classification:
AMS MSC: 26A24 (Real functions :: Functions of one variable :: Differentiation : general theory, generalized derivatives, mean-value theorems)
 26B05 (Real functions :: Functions of several variables :: Continuity and differentiation questions)
 53A05 (Differential geometry :: Classical differential geometry :: Surfaces in Euclidean space)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)