Geometric invariants of normal curves under conformal transformation in E 3
aa r X i v : . [ m a t h . G M ] J u l GEOMETRIC INVARIANTS OF NORMAL CURVES UNDERCONFORMAL TRANSFORMATION IN E MOHAMD SALEEM LONE
Dedicated to Prof. B.-Y. Chen
Abstract.
In this paper, we investigate the geometric invariant properties ofa normal curve on a smooth immersed surface under conformal transformation.We obtain an invariant-sufficient condition for the conformal image of a normalcurve. We also find the deviations of normal and tangential components of thenormal curve under the same motion. The results in [9] are claimed as specialcases of this paper. Introduction
The study of smooth maps is an important field of study in differential geometry.There are multiple ways of classifying motions, albeit we will focus on those whichpreserves certain geometric properties. Depending upon the invariant nature of themean( H ) and the Gaussian curvatures( K ), we broadly classify the transformationsin the following three equivalence classes: isometric, conformal and non-conformalor general motion. Isometry preserves lengths as well as the angles between thecurves on the surfaces. In the language of geometry, isometry keeps the Gaussiancurvature invariant and the mean curvature is altered. For example, we can easilyfind an isometry between catenoid and a helicoid implying that they have the same K but different H . Roughly speaking, diffeomorphisms and isometries define oneclass, however, when we have to study the problems associated with analytic func-tions of complex variables, we need a generalized class of transformations, knownas conformal motions. In this case, the angle of intersection of any arbitrary pairof intersection arcs on the surface is invariant, while as the distances may not be.Conformal maps are very important in cartography. The simplest example of sucha conformal transformation is the stereographic projection of a sphere onto a plane.This property of conformal maps was first used by Gerardus Mercator to form thefirst angle preserving map, commonly known as Mercator’s world map. Recentlyin 2018, Bobenko and Gunn published an animated movie(must-watch) with thespringer videoMATH on conformal maps [1]. Finally, in case of general motions,neither angles nor distances are preserved between any intersecting pairs of curveson a surface. It is to be noted that the usage of term motion, transformation ormap stands for the same.Let S and ˜ S be two smooth immersed surfaces in E and J : S → ˜ S be a smoothmap. Throughout this paper, the quantities associated with ˜ S will be deonted by” ∼ ”. A necessary and sufficient condition for J to be conformal is that the first Mathematics Subject Classification.
Key words and phrases.
Conformal motion, isometry, normal curve, osculating curve, recti-fying curve. fundamental form quantities are proportional. In other words the area elements of S and ˜ S are proportional to a differentiable function(factor) commonly known asdilation function denoted by ζ ( u, v ). The conformal transformation is a generalizedclass of certain motions in the following way [5]: • If ζ ( u, v ) ≡ c, where c is a constant with c = { , } , then J is called ashomothetic transformation. • If ζ ( u, v ) ≡ , then J becomes isometry.Let V of a neighborhood of an arbitrary point p ∈ S and(1.1) J : V ⊂ S → ˜ V ⊂ ˜ S be a diffeomorphism, where ˜ V is an open neighborhood of J ( p ). Then J is said tobe a local isometry if for all y , y ∈ T p ( S ), we have h y , y i p = h d J p ( y ) , d J p ( y ) i J ( p ) . If for all p ∈ S , in addition to diffeomorphism J is a bijection, then J is a globalisometry. In such a case S and ˜ S are said to isometric(globally).Let E , F , G and ˜ E , ˜ F , ˜ G are the first fundamental form coefficients of S and ˜ S ,respectively. A necessary sufficient condition for S and ˜ S to be isometric is thatthe first fundamental form coefficients are invariant, i.e., E = ˜ E , F = ˜ F , G = ˜ G . For the same J in (1.1), if we have ζ h d J p ( x ) , d J p ( x ) i J ( p ) = h x , x i p , then S and ˜ S are said to conformal(locally). As in the case of isometry, if in additionto diffeomorphism J is a bijection, then J is called conformal globally. In otherwords, we can say that conformal motion is a composition of dilation and isometry.In this case [4]: ζ E = ˜ E , ζ F = ˜ F , ζ G = ˜ G . Here we may call E , F , G are conformally invariant. Definition 1.1.
Let f : S → ˜ S be a conformal map between two smooth surfaces,we say that f is conformally invariant if ˜ f = ζ f for some dilation factor ζ ( u, v ).Similarly, if the same f is homothetic, we say that f is homothetic invariant if˜ f = c f , ( c = { , } ).For example let K g be the Gaussian curvature of ( S , g ) and χ ( S ) be the Eu-ler characteristic of the surface S . Then according to well known Gauss Bonnetformula: 2 πχ ( S ) = Z S K g ds g . The above quantity is a topological and a conformal invariant.The structure of this paper is as follows. In section 2, we recall some facts aboutthe curves lying on a smooth surface and give the motivation of the paper. Insection 3, we discuss the main results.
EOMETRIC INVARIANTS OF NORMAL CURVES UNDER CONFORMAL TRANSFORMATION IN E Preliminaries
Let β : I ⊂ R → E be a smooth curve parameterized by arc length s and { ~ t , ~ n ,~ b } its Serret-Frenet frame. The vectors ~ t , ~ n , and ~ b are called as the tangent,the normal and the binormal vectors, respectively. The Serret-Frenet equations aregiven by ~ t ′ = κ~ n ~ n ′ = − κ~ t + τ~ b ~ b ′ = − τ~ n . We call the function κ as the curvature of β and τ as the torsion of β satisfying: ~ t = β ′ , ~ n = ~ t ′ κ and ~ b = ~ t × ~ n . At any arbitrary point β ( s ), the plane spanned by { ~ t , ~ n } is called as an osculating plane and the plane spanned by { ~ t ,~ b } is called asa rectifying plane. Similarly, a plane spanned by the vectors { ~ n ,~ b } is called as anormal plane. In other words, the position vector of the curve defines the followingcurves: • If the position vector β ( s ) of the curve β lies in the osculating plane thenthe curve is said to be an osculating curve. • If the position vector β ( s ) of the curve β lies in the normal plane then thecurve is said to be a normal curve. • If the position vector β ( s ) of the curve β lies in the rectifying plane thenthe curve is said to be a rectifying curve.The classification results of osculating and normal curves are very common whichcan be found in any standard book of differential geometry of curves and surfaces.After a very long period of time, in 2003 Chen [2] listed a question: When does theposition vector of a space curve lie in its rectifying plane? In this paper([2]), Chenshowed that a curve is a rectifying curve if and only if the ratio of the curvatureand the torsion is a linear function of arc length s . For more study, we refer [3, 6].The motivation of the present paper starts with a study of Shaikh and Ghosh,where they studied the geometric invariant properties of rectifying curves on asmooth immersed surface under an isometry[7]. Further in [8], they investigatedthe invariant properties of osculating curves under the same motion. Later on, in[9] the authors in [7] and I found the invariant-sufficient condition for a normalcurve under an isometric transformation. Afterwards, we generalized the notion ofstudy by the conformal transformation. The invariant properties of rectifying andosculating curves under a conformal transformation are studied in [10, 11]. Now,in this paper, we try to investigate the following: Question:
What are the invariant properties of a normal curve on a smoothimmersed surface with respect to a conformal transformation?A curve is said to be a normal curve if its position vector field lies in the orthog-onal complement of tangent vector i.e., β · ~ t = 0 , or(2.1) β ( s ) = ν ( s ) ~ n ( s ) + η ( s ) ~ b ( s ) , where ν, η are two smooth functions.Let Ψ : Ω( u, v ) ⊂ R → S ⊂ R be a coordinate chart map of a regular surface S . The curve β ( s ) = β ( u ( s ) , v ( s )) can be thought of a curve β ( s ) = S ( u ( s ) , v ( s )) MOHAMD SALEEM LONE on the surface S . Using the chain rule, we can easily find β ′ ( s ) = Ψ u u ′ + Ψ v v ′ or ~ t ( s ) = β ′ ( s ) = Ψ u u ′ + Ψ v v ′ ~ t ′ ( s ) = u ′′ Ψ u + v ′′ Ψ v + u ′ Ψ uu + 2 u ′ v ′ Ψ uv + v ′ Ψ vv . Now let N be the surface normal, we have(2.2) ~ n ( s ) = 1 k ( s ) ( u ′′ Ψ u + v ′′ Ψ v + u ′ Ψ uu + 2 u ′ v ′ Ψ uv + v ′ Ψ vv ) ~ b ( s ) = ~ t ( s ) × ~ n ( s ) = ~ t ( s ) × ~ t ′ ( s ) k ( s )= 1 k ( s ) h (Ψ u u ′ + Ψ v v ′ ) × ( u ′′ Ψ u + v ′′ Ψ v + u ′ Ψ uu + 2 u ′ v ′ Ψ uv + v ′ Ψ vv ) i , = 1 k ( s ) h { u ′ v ′′ − u ′′ v ′ } N + u ′ Ψ u × Ψ uu + 2 u ′ v ′ Ψ u × Ψ uv + u ′ v ′ Ψ u × Ψ vv + u ′ v ′ Ψ v × Ψ uu + 2 u ′ v ′ Ψ v × Ψ uv + v ′ Ψ v × Ψ vv i . (2.3) Definition 2.1.
Suppose β be a curve with arc length parameterization lying ona surface S . This implies that t = β ′ is orthogonal to the unit surface normal N ,so β ′ , N and N × β ′ are mutually orthogonal vectors. Since β is of unit speed, wehave β ′ ⊥ β ′′ , thus we can write β ′′ = κ n N + κ g N × β ′ , where κ n is the normal curvature and κ g is the geodesic curvature of β and aregiven by (cid:26) κ g = β ′′ · N × β ′ κ n = β ′′ · N . Now since we know that β ′′ = κ ( s ) ~ n ( s ), therefore we can write κ n = κ ( s ) ~ n ( s ) · N = ( u ′′ Ψ u + v ′′ Ψ v + u ′ Ψ uu + 2 u ′ v ′ Ψ uv + v ′ Ψ vv ) · N or(2.4) κ n = u ′ L + 2 u ′ v ′ M + v ′ N , where L , M , N are the second fundamental form coefficients. The curve β on S iscalled as asymptotic curve if and only if κ n = 0 . Conformal image of a normal curve.
Suppose β ( s ) be a normal curve lying on a smooth immersed surface S in E ,then with the help of (2.1), (2.2) and (2.3), we can write β ( s ) = ν ( s ) κ ( s ) h ( u ′′ Ψ u + v ′′ Ψ v ) + ( u ′ Ψ uu + 2 u ′ v ′ Ψ uv + v ′ Ψ vv ) i + η ( s ) k ( s ) h { u ′ v ′′ − u ′′ v ′ } N + u ′ Ψ u × Ψ uu + 2 u ′ v ′ Ψ u × Ψ uv (3.1) + u ′ v ′ Ψ u × Ψ vv + u ′ v ′ Ψ v × Ψ uu + 2 u ′ v ′ Ψ v × Ψ uv + v ′ Ψ v × Ψ vv i . EOMETRIC INVARIANTS OF NORMAL CURVES UNDER CONFORMAL TRANSFORMATION IN E We shall be considering the expression J ∗ ( β ( s )) as a product of a 3 × J ∗ and a 3 × β ( s ). Theorem 3.1.
Let J : S → ˜ S be a conformal map between two smooth immersedsurfaces S and ˜ S in E and β ( s ) be a normal curve on S , then ˜ β ( s ) is a normalcurve on ˜ S if ˜ β = νκ h u ′ ( ζ J ∗ ) u Ψ u + v ′ ( ζ J ∗ ) v Ψ v + 2 u ′ v ′ ( ζ J ∗ ) u Ψ v i + ηκ h u ′ ζ J ∗ Ψ u × ( ζ J ∗ ) u Ψ u +2 u ′ v ′ ζ J ∗ Ψ u × ( ζ J ∗ ) v Ψ u + u ′ v ′ ζ J ∗ Ψ u × ( ζ J ∗ ) v Ψ v + u ′ v ′ ζ J ∗ Ψ v × ( ζ J ∗ ) u Ψ u +2 u ′ v ′ ζ J ∗ Ψ v × ( ζ J ∗ ) u Ψ v + v ′ ζ J ∗ Ψ v × ( ζ J ∗ ) v Ψ v i + ζ J ∗ ( β ) . (3.2) Proof.
Let ˜ S be the conformal image of S and Ψ( u, v ) and ˜Ψ( u, v ) = J ◦ Ψ( u, v ) bethe surface patches of S and ˜ S , respectively. Then the differential map d J = J ∗ of J sends each vector of the tangent space T p S to a dilated tangent vector of thetangent space of T J ( p ) ˜ S with the dilation factor ζ .˜Ψ u ( u, v ) = ζ ( u, v ) J ∗ (Ψ( u, v ))Ψ u (3.3) ˜Ψ v ( u, v ) = ζ ( u, v ) J ∗ (Ψ( u, v ))Ψ v . (3.4)Differentiating (3 .
3) and (3 .
4) partially with respect to both u and v respectively,we get ˜Ψ uu = ζ u J ∗ Ψ u + ζ ∂ J ∗ ∂u Ψ u + ζ J ∗ Ψ uu ˜Ψ vv = ζ v J ∗ Ψ v + ζ ∂ J ∗ ∂v Ψ v + ζ J ∗ Ψ vv (3.5) ˜Ψ uv = ζ u J ∗ Ψ v + ζ ∂ J ∗ ∂u Ψ v + ζ J ∗ Ψ uv = ζ v J ∗ Ψ u + ζ ∂ J ∗ ∂v Ψ u + ζ J ∗ Ψ uv . We can write ζ J ∗ Ψ u × (cid:18) ζ u J ∗ Ψ u + ζ ∂ J ∗ ∂u Ψ u (cid:19) = ζ J ∗ Ψ u × (cid:18) ζ u J ∗ Ψ u + ζ ∂ J ∗ ∂u Ψ u + ζ J ∗ Ψ uu (cid:19) − ζ J ∗ (Ψ u × Ψ uu )= ˜Ψ u × ˜Ψ uu − ζ J ∗ (Ψ u × Ψ uu ) . (3.6)Similarly ζ J ∗ Ψ u × (cid:0) ζ v J ∗ Ψ u + ζ ∂ J ∗ ∂v Ψ u (cid:1) = ˜Ψ u × ˜Ψ uv − ζ J ∗ (Ψ u × Ψ uv ) ζ J ∗ Ψ u × (cid:0) ζ v J ∗ Ψ v + ζ ∂ J ∗ ∂v Ψ v (cid:1) = ˜Ψ u × ˜Ψ vv − ζ J ∗ (Ψ u × Ψ vv ) ζ J ∗ Ψ v × (cid:0) ζ u J ∗ Ψ u + ζ ∂ J ∗ ∂u Ψ u (cid:1) = ˜Ψ v × ˜Ψ uu − ζ J ∗ (Ψ v × Ψ uu ) ζ J ∗ Ψ v × (cid:0) ζ u J ∗ Ψ v + ζ ∂ J ∗ ∂u Ψ v (cid:1) = ˜Ψ v × ˜Ψ uv − ζ J ∗ (Ψ v × Ψ uv ) ζ J ∗ Ψ v × (cid:0) ζ v J ∗ Ψ v + ζ ∂ J ∗ ∂v Ψ v (cid:1) = ˜Ψ v × ˜Ψ vv − ζ J ∗ (Ψ v × Ψ vv ) . (3.7) MOHAMD SALEEM LONE
Therefore in view of (3.2), (3.6) and (3.7), we have˜ β = νκ h u ′′ ζ J ∗ Ψ u + v ′′ ζ J ∗ Ψ v + u ′ (cid:18) ζ u J ∗ Ψ u + ζ ∂ J ∗ ∂u Ψ u (cid:19) + 2 u ′ v ′ (cid:18) ζ u J ∗ Ψ v + ζ ∂ J ∗ ∂u Ψ v (cid:19) + v ′ (cid:18) ζ v J ∗ Ψ v + ζ ∂ J ∗ ∂v Ψ v (cid:19) i + ηκ h { u ′ v ′′ − u ′′ v ′ }J ∗ N + u ′ ζ J ∗ (Ψ u × Ψ uu )+2 u ′ v ′ ζ J ∗ (Ψ u × Ψ uv ) + u ′ v ′ ζ J ∗ (Ψ u × Ψ vv ) + u ′ v ′ ζ J ∗ (Ψ v × Ψ uu )+2 u ′ v ′ ζ J ∗ (Ψ v × Ψ uv ) + v ′ ζ J ∗ (Ψ v × Ψ vv ) i + ηκ h u ′ ζ J ∗ Ψ u × (cid:18) ζ u J ∗ Ψ u + ζ ∂ J ∗ ∂u Ψ u (cid:19) +2 u ′ v ′ ζ J ∗ Ψ u × (cid:18) ζ v J ∗ Ψ u + ζ ∂ J ∗ ∂v Ψ u (cid:19) + u ′ v ′ ζ J ∗ Ψ u × (cid:18) ζ v J ∗ Ψ v + ζ ∂ J ∗ ∂v Ψ v (cid:19) + u ′ v ′ ζ J ∗ Ψ v × (cid:18) ζ u J ∗ Ψ u + ζ ∂ J ∗ ∂u Ψ u (cid:19) + 2 u ′ v ′ ζ J ∗ Ψ v × (cid:18) ζ u J ∗ Ψ v + ζ ∂ J ∗ ∂u Ψ v (cid:19) + v ′ ζ J ∗ Ψ v × (cid:18) ζ v J ∗ Ψ v + ζ ∂ J ∗ ∂v Ψ v (cid:19) i which can be written as β ( s ) = ˜ ν ( s )˜ κ ( s ) h ( u ′′ ˜Ψ u + v ′′ ˜Ψ v ) + ( u ′ ˜Ψ uu + 2 u ′ v ′ ˜Ψ uv + v ′ ˜Ψ vv ) i + ˜ η ( s )˜ κ ( s ) h { u ′ v ′′ − u ′′ v ′ } ˜ N + u ′ Ψ u × ˜Ψ uu + 2 u ′ v ′ ˜Ψ u × ˜Ψ uv + u ′ v ′ ˜Ψ u × ˜Ψ vv + u ′ v ′ ˜Ψ v × ˜Ψ uu + 2 u ′ v ′ ˜Ψ v × ˜Ψ uv + v ′ ˜Ψ v × ˜Ψ vv i or ˜ β ( s ) = ˜ ν ( s )˜ κ ( s ) ˜ ~ n ( s ) + ˜ η ( s )˜ κ ( s ) ˜ ~ b ( s )for some C ∞ functions ˜ ν ( s ) and ˜ η ( s ) . Here and now onward, we assume that ˜ ν ˜ κ = νκ and ˜ η ˜ κ = ηκ . Thus ˜ β ( s ) is a normal curve. (cid:3) Corollary 3.2.
Let J : S → ˜ S be a homothetic conformal map, where S and ˜ S are smooth surfaces and β ( s ) be a normal curve on S . Then ˜ β ( s ) is a normal curveon ˜ S if ˜ β = νκ h u ′ c ( J ∗ ) u Ψ u + v ′ c ( J ∗ ) v Ψ v + 2 u ′ v ′ c ( J ∗ ) u Ψ v i + ηκ h u ′ c J ∗ Ψ u × c ( J ∗ ) u Ψ u +2 u ′ v ′ c J ∗ Ψ u × c ( J ∗ ) v Ψ u + u ′ v ′ c J ∗ Ψ u × c ( J ∗ ) v Ψ v + u ′ v ′ c J ∗ Ψ v × c ( J ∗ ) u Ψ u +2 u ′ v ′ c J ∗ Ψ v × c ( J ∗ ) u Ψ v + v ′ c J ∗ Ψ v × c ( J ∗ ) v Ψ v i + c J ∗ ( β ) . Proof.
In case of a homothetic map the dilation function ζ ( u, v ) = c = { , } .Substituting in (3.2), we get the above expression. (cid:3) EOMETRIC INVARIANTS OF NORMAL CURVES UNDER CONFORMAL TRANSFORMATION IN E Corollary 3.3. [9]
Let J : S → ˜ S be an isometry, where S and ˜ S are smoothsurfaces and β ( s ) be a normal curve on S . Then ˜ β ( s ) is a normal curve on ˜ S if ˜ β = νκ h u ′ ∂ J ∗ ∂u Ψ u + v ′ ∂ J ∗ ∂v Ψ v + 2 u ′ v ′ ∂ J ∗ ∂u Ψ v i + ηκ h u ′ J ∗ Ψ u × ∂ J ∗ ∂u Ψ u +2 u ′ v ′ J ∗ Ψ u × ∂ J ∗ ∂v Ψ u + u ′ v ′ J ∗ Ψ u × ∂ J ∗ ∂v Ψ v + u ′ v ′ J ∗ Ψ v × ∂ J ∗ ∂u Ψ u +2 u ′ v ′ J ∗ Ψ v × ∂ J ∗ ∂u Ψ v + v ′ J ∗ Ψ v × ∂ J ∗ ∂v Ψ v i + J ∗ ( β ) . Proof.
A conformal transformation is the composition of a dilation function and anisometry. Substituting ζ = 1 in (3.2), we get the above expression. (cid:3) Theorem 3.4.
Let S and ˜ S be two conformal smooth surfaces and β ( s ) be a normalcurve on S . Then for the normal component along the surface normal, we have (3.8) ˜ β · ˜ N − ζ β · N = νκ (˜ κ n − ζ κ n ) + ηκ h ( E , G , F , ζ ) , where (3.9) h ( E , G , F , ζ ) = h u ′ θ − v ′ θ + 2 u ′ v ′ θ + u ′ v ′ θ − u ′ v ′ θ + 2 u ′ v ′ θ i W . Proof.
Let ˜ S be the conformal image of S and Ψ( u, v ) and ˜Ψ( u, v ) = J ◦ Ψ( u, v )be the surface patches of S and ˜ S , respectively. We can easily find β · N = νκ h u ′ Ψ uu · (Ψ u × Ψ v ) + v ′ Ψ vv · (Ψ u × Ψ v ) + 2 u ′ v ′ Ψ uv · (Ψ u × Ψ v ) i + ηκ h ( u ′ v ′′ − v ′ u ′′ )( EG − F ) + u ′ (Ψ u × Ψ uu ) · (Ψ u × Ψ v )+2 u ′ v ′ (Ψ u × Ψ uv ) · (Ψ u × Ψ v ) + v ′ u ′ (Ψ u × Ψ vv ) · (Ψ u × Ψ v )+ u ′ v ′ (Ψ v × Ψ uu ) · (Ψ u × Ψ v ) + 2 u ′ v ′ (Ψ v × Ψ uv ) · (Ψ u × Ψ v )+ v ′ (Ψ v × Ψ vv ) · (Ψ u × Ψ v ) i or β · N = νκ h u ′ L + v ′ N + 2 u ′ v ′ M i + ηκ h ( u ′ v ′′ − v ′ u ′′ )( EG − F ) + u ′ {E (Ψ uu · Ψ v ) −F (Ψ uu · Ψ u ) } + 2 u ′ v ′ {E (Ψ uv · Ψ v ) − F (Ψ uv · Ψ u ) } + u ′ v ′ {E (Ψ vv · Ψ v ) −F (Ψ vv · Ψ u ) } + u ′ v ′ {F (Ψ uu · Ψ v ) − G (Ψ uu · Ψ u ) } + 2 u ′ v ′ {F (Ψ uv · Ψ v ) −G (Ψ uv · Ψ u ) } + v ′ {F (Ψ vv · Ψ v ) − G (Ψ vv · Ψ u ) } i . We know that E u = (Ψ u · Ψ u ) u = Ψ uu · Ψ u , or(3.10) Ψ uu · Ψ u = E u . On the similar lines, we can find (cid:26) Ψ uu · Ψ v = F u − E v , Ψ vv · Ψ v = G v , Ψ vv · Ψ u = F v − G u , Ψ uv · Ψ v = G u , Ψ uv · Ψ u = E v . (3.11) MOHAMD SALEEM LONE
Therefore in view of (3.10) and (3.11), β · N turns out to be β · N = νκ h u ′ L + v ′ N + 2 u ′ v ′ M i + ηκ h ( u ′ v ′′ − v ′ u ′′ )( EG − F ) + u ′ (cid:26) E (cid:18) F u − E v (cid:19) − FE u (cid:27) +2 u ′ v ′ (cid:26) EG u − FE v (cid:27) + u ′ v ′ (cid:26) EG v − F (cid:18) F v − G u (cid:19)(cid:27) + u ′ v ′ (cid:26) F (cid:18) F u − E v (cid:19) − GE u (cid:27) + 2 u ′ v ′ (cid:26) FG u − GE v (cid:27) + v ′ (cid:26) FG v − G (cid:18) F v − G u (cid:19)(cid:27) i or β · N = νκ κ n + ηκ ( EG − F ) h ( u ′ v ′′ − v ′ u ′′ ) + u ′ Γ − v ′ Γ + 2 u ′ v ′ Γ + u ′ v ′ Γ − u ′ v ′ Γ + 2 u ′ v ′ Γ i , (3.12)where Γ kij , ( i, j, k = 1 ,
2) are Christoffel symbols of second kind given by:(3.13) Γ = W {GE u + F [ E v − F u ] } , Γ = W {EG v + F [ G v − F v ] } Γ = W {E [2 F u − E v ] − FE v } , Γ = W {G [2 F v − G u ] − FG v } Γ = W {EG u − FE v } = Γ , Γ = W {GE v − FG u } = Γ and W = √EG − F .Under conformal motion, we have(3.14) ζ E = ˜ E , ζ F = ˜ F , ζ G = ˜ G . This implies that ˜ E u = 2 ζζ u E + ζ E u , ˜ E v = 2 ζζ v E + ζ E v , ˜ F u = 2 ζζ u F + ζ F u , ˜ F v = 2 ζζ v F + ζ F v , ˜ G u = 2 ζζ u G + ζ G u , ˜ G v = 2 ζζ v G + ζ G v . (3.15)After the conformal motion, the Christoffel symbols turn out to be˜ Γ = Γ + θ , ˜ Γ = Γ + θ , ˜ Γ = Γ + θ , ˜ Γ = Γ + θ , ˜ Γ = Γ + θ , ˜ Γ = Γ + θ , (3.16)where θ = EG ζ u − F ζ u + FE ζ v ζW , θ = EF ζ u −E ζ v ζW ,θ = EG ζ v −FG ζ u ζW , θ = EG ζ u −FE ζ v ζW ,θ = GF ζ v −G ζ u ζW , θ = EG ζ v − F ζ v + FG ζ u ζW . (3.17)Now if β is a normal curve on ˜ S , in view of (3.12), (3.16) and (3.17), we get(3.18)˜ β · ˜ N − ζ β · N = νκ (˜ κ n − ζ κ n )+ ηκ h u ′ θ − v ′ θ +2 u ′ v ′ θ + u ′ v ′ θ − u ′ v ′ θ +2 u ′ v ′ θ i W . This proves the claim. (cid:3)
EOMETRIC INVARIANTS OF NORMAL CURVES UNDER CONFORMAL TRANSFORMATION IN E Corollary 3.5.
Let S and ˜ S be two homothetic conformal smooth surfaces and β ( s ) be a normal curve on S . Then for the normal component along the surfacenormal, we have (3.19) ˜ β · ˜ N − c ( β · N ) = νκ (˜ κ n − c κ n ) . Moreover, this normal component is conformally invariant if the position vector of β is in the binormal direction or the normal curvature is conformally invariant.Proof. Letting ζ ( u, v ) = c , from (3.8), (3.9) and (3.17), the claim in (3.19) isstraightforward.Again from (3.19), we see that β is conformally invariant if and only if ν = 0,i.e., β ( s ) = η ( s ) b ( s ) or ˜ κ n = c κ n . (cid:3) Corollary 3.6. [9]
Let S and ˜ S be two isometric smooth surfaces and β ( s ) bea normal curve on S . Then for the normal component of β ( s ) along the surfacenormal, we have ˜ β · ˜ N − ( β · N ) = νκ (˜ κ n − κ n ) . Moreover under such an isometry the normal component along the surface normalis invariant if the position vector of β is in the binormal direction or the normalcurvature is invariant.Remark . Let J : S → ˜ S be an isometry, then the dilation factor of conformalityis ζ = 1. From (3.16) and (3.17), it is straightforward to check ˜ Γ kij = Γ kij , ( i, j, k =1 , , i.e., Christoffel symbols are invariant under isometry. Theorem 3.8.
Let S and ˜ S be two conformal smooth surfaces and β ( s ) be a normalcurve on S . Then for the tangential component, we have (3.20) ˜ β · ˜ T − ζ ( β · T ) = ( ag + bg ) + ηκ (cid:0) ˜ κ n − ζ κ n (cid:1) ( av ′ + bu ′ ) , where g and g are given by (3.22) and (3.24), respectively.Proof. From (3.1), we see that β · Ψ u = νκ h u ′′ E + v ′′ F + u ′ Ψ uu · Ψ u + 2 u ′ v ′ Ψ uv · Ψ u + v ′ Ψ vv · Ψ u i + ηκ h u ′ v ′ L + 2 v ′ u ′ M + v ′ N i or by using (3.10), (3.11) and (2.4), we can write the above equation as β · Ψ u = νκ h u ′′ E + v ′′ F + u ′ E u u ′ v ′ E v v ′ (cid:18) F v − G u (cid:19) i + ηκ v ′ κ n . Now if ˜ β be the conformal image of β on ˜ S , we have˜ β · ˜Ψ u = ˜ ν ˜ κ h u ′′ ˜ E + v ′′ ˜ F + u ′ ˜ E u u ′ v ′ ˜ E v v ′ ˜ F v − ˜ G u ! i + ˜ η ˜ κ v ′ ˜ κ n . In view of (3.14) and (3.15), the above equation turns out to be˜ β · ˜Ψ u = νκ h u ′′ ζ E + v ′′ ζ F + u ′ (2 ζζ u E + ζ E u )2 + u ′ v ′ (2 ζζ v E + ζ E v )+ v ′ (cid:18) ζζ v F + ζ F v − ζζ u G + ζ G u (cid:19) i + ηκ v ′ ˜ κ n or(3.21) ˜ β · ˜Ψ u − ζ ( β · Ψ u ) = g ( E , F , G , ζ ) + ηκ v ′ (cid:0) ˜ κ n − ζ κ n (cid:1) , where(3.22) g ( E , F , G , ζ ) = νκ h u ′ ζζ u E + 2 u ′ v ′ ζζ v E + v ′ (2 ζζ v F − ζζ u G ) i . On the similar lines, it is easy to find(3.23) ˜ β · ˜Ψ v − ζ ( β · Ψ v ) = g ( E , F , G , ζ ) + ηκ u ′ (cid:0) ˜ κ n − ζ κ n (cid:1) , where(3.24) g ( E , F , G , ζ ) = νκ h u ′ (2 ζζ u F − ζζ v E ) + 2 u ′ v ′ ζζ u G + v ′ ζζ v G i . Now with the help of (3 .
21) and (3 . β · ˜ T − ζ ( β · T ) = ˜ β · ( a ˜Ψ u + b ˜Ψ v ) − ζ β · ( a Ψ u + b Ψ v )= a ( ˜ β · ˜Ψ u − ζ β · Ψ u ) + b ( ˜ β · ˜Ψ v − ζ β · Ψ v )= a n ( g + ηκ v ′ (cid:0) ˜ κ n − ζ κ n (cid:1)o + b n g + ηκ u ′ (cid:0) ˜ κ n − ζ κ n (cid:1)o = ( ag + bg ) + ηκ (cid:0) ˜ κ n − ζ κ n (cid:1) ( av ′ + bu ′ ) . (cid:3) Corollary 3.9.
Let J : S → ˜ S be a conformal homothetic map and β be a normalcurve on S . The the tangential component of β is homothetic invariant if and onlyif the position vector of β is in the normal direction or the normal curvature ishomothetic invariant.Proof. For a homothetic conformal map, from (3.20), we have˜ β · ˜ T − c ( β · T ) = ηκ (cid:0) ˜ κ n − c κ n (cid:1) ( av ′ + bu ′ ) . The conclusions are straightforward from the above expression. (cid:3)
Corollary 3.10. [9]
Let J : S → ˜ S be an isometry and β be a normal curve on S .The for the tangential component of β , we have ˜ β · ˜ T − ( β · T ) = ηκ (˜ κ n − κ n ) ( av ′ + bu ′ ) and is invariant if and only if the position vector of β is in the normal direction orthe normal curvature is invariant. Proposition 1.
Let J be a conformal map between two smooth surfaces S and ˜ S and let β ( s ) be a parameterized curve on S such that ˜ β ( s ) = J ◦ β ( s ) is conformalparameterized image of β on ˜ S . Then for the geodesic curvature of β , we have(3.25) ˜ κ g − ζ κ g = f ( E , F , G , ζ ) . Proof.
Let β be a parameterized curve on a smooth surface S , then the geodesiccurvature is given by Beltrami formula as:(3.26) κ g = h Γ u ′ +(2 Γ − Γ ) u ′ v ′ +( Γ − Γ ) u ′ v ′ − Γ v ′ + u ′ v ′′ − u ′′ v ′ ip EG − F . EOMETRIC INVARIANTS OF NORMAL CURVES UNDER CONFORMAL TRANSFORMATION IN E Now, let ˜ β = J ◦ β be the conformal image of β on ˜ S , then with the help of (3.16),we have˜ κ g = h Γ u ′ + (2 Γ − Γ ) u ′ v ′ + ( Γ − Γ ) u ′ v ′ − Γ v ′ + u ′ v ′′ − u ′′ v ′ i W + h θ u ′ + (2 θ − θ ) u ′ v ′ + ( θ − θ ) u ′ v ′ − θ v ′ i W or ˜ κ g − ζ κ g = f ( E , F , G , ζ ) , where f ( E , G , F , ζ ) = n θ u ′ + (2 θ − θ ) u ′ v ′ + ( θ − θ ) u ′ v ′ − θ v ′ o W . This proves the claim. (cid:3)
Note : It is to be noted that, in particular, if β is a normal curve and J isisometry(or homothetic), from (3.25) we see that κ g is invariant(or homotheticinvariant). Acknowledgment:
I am very thankful to Prof. Absos A. Shaikh for his valuablesuggestions.
References [1] A. Bobenko, C. Gunn, DVD-Video PAL, 15 minutes, , Springer VideoMATH, March 20,2018, or , 19 Nov. 2018.[2] B.-Y. Chen,
What does the position vector of a space curve always lie in its rectifying plane ?,Amer. Math. Monthly, (2003), 147-152.[3] S. Deshmukh, B.-Y. Chen and S. H. Alshammari,
On a rectifying curves in euclidean 3-space ,Turk. J. Math., (2018), 609-620.[4] M. P. do Carmo, Differential geometry of curves and surfaces , Prentice-Hall, Inc, New Jersey,1976.[5] M. He, D. B. Goldgof and C. Kambhamettu,
Variation of Gaussian curvature under conformalmapping and its application , Comuputers Math. Applic., (1993), 63-74.[6] K. Ilarslan and E. Neˇsovi´c, Timelike and null normal curves in Minkowski space E , IndianJ. Pure Appl. Math., (2004), 881-888.[7] A. A Shaikh and P. R. Ghosh Rectifying curves on a smooth surface immersed in the Euclideanspace , to appear in Indian J. Pure Appl. Math., (2018).[8] A. A Shaikh and P. R. Ghosh
Rectifying and osculating curves on a smooth surface , to appearin Indian J. Pure Appl. Math., (2018).[9] A. A Shaikh, M. S. Lone and P. R. Ghosh,
Normal curves on a smooth immersed surface ,submitted, (2019).[10] A. A Shaikh, M. S. Lone and P. R. Ghosh,
Rectifying curves under conformal transformation ,submitted, (2019).[11] A. A Shaikh, M. S. Lone and P. R. Ghosh,
Conformal image of an osculating curve on asmooth immersed surface , submitted, (2019).
International Centre for Theoretical Sciences, Tata Institute of Fundamental Re-search, 560089, India
E-mail address ::