Contents. 1. Introduction

Size: px
Start display at page:

Download "Contents. 1. Introduction"

Transcription

1 FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES KAIXIN WANG Abstract. In this expository paper, we present the fundamental theorem of the local theory of curves along with a detailed proof. We first prove the local existence and uniqueness of solutions to ordinary differential equations by applying contraction mapping theorem. Then, we use the local existence and uniqueness of solutions to ordinary differential equations to find a curve that satisfies the requirement and verify the uniqueness of the curve. Contents 1. Introduction 1 2. Curves in R The Space of Continuous Functions 5 4. Local Existence and Uniqueness of Solutions to ODEs 7 5. Fundamental Theorem of the Local Theory of Curves 10 Acknowledgments 13 References Introduction Classical differential geometry is the study of the local properties of curves and surfaces. This paper will focus on the regular curves in R 3. We will first introduce several fundamental concepts that characterize the behavior of a curve in the neighborhood of a point. The question then arises naturally: how much knowledge is required to describe the local behavior of a curve completely? The fundamental theorem of the local theory of curves answers this question; it reveals the fact that every regular curve in R 3 is completely determined by a positive differentiable function κ(s) and a differentiable function τ(s). This paper is devoted to presenting a detailed proof to the fundamental theorem of the local theory of curves. Since the local behavior of a curve is related to a system of ordinary differential equations, in order to find a required curve, it is necessary to first solve the specific ordinary differential equation. Thus, we will first study the space of the putative solutions, and then apply the contraction mapping theorem to prove the existence of a unique solution to the differential equation in that space. Once we find the required curve, finally, we will prove its uniqueness up to a rigid motion. 1

2 2 KAIXIN WANG In R 3, we define the norm as follows. 2. Curves in R 3 Definitions 2.1. Let u = (u 1, u 2, u 3 ) R 3. Define its norm by» u = u u2 2 + u2 3. Since R 3 is an inner product space, we also have the following operations. Definitions 2.2. Let u, v R 3, and let θ [0, π] be the angle formed by the segments 0u, 0v. The inner product of u and v is defined by Definitions 2.3. Let u, v R 3. vector u v R 3 such that It is not hard to verify that u v = u v cos θ. The vector product of u and v is the unique w R 3, (u v) w = det(u, v, w). u v = u v sin θ. Now, we are ready to introduce concepts of differentiable curves in R 3. Definition 2.4. A parametrized differentiable curve in R 3 is a differentiable map α : I R 3 of an open interval I = (a, b) R. A parametrized differentiable curve α : I R 3 is said to be regular if for all t I, α (t) = 0. From now on, we assume all curves in this paper are regular. Definition 2.5. Given t I, the arc length of a regular parametrized curve α : I R 3 from is where is the length of the vector α (t). s(t) = α (t) dt x α (t) = (t) 2 + y (t) 2 + z (t) 2 For a regular parametrized curve α, since α (t) = 0, the arc length s(t) is a differentiable function of t, and ds dt = α (t). Let α : I R 3 be a curve parametrized by the arc length s I. Then, we have α (s) = ds ds 1. Since the tangent vector α (s) has unit length, we can define the unit tangent vector as follows. Definition 2.6. The unit tangent vector t of a curve α at s is defined by t(s) = α (s). Definition 2.7. The curvature κ of a curve α at s is defined by κ(s) = α (s).

3 FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES 3 Geometrically, the curvature gives a measure of how rapidly the curve pulls away from the tangent lines at s in a neighborhood of s. Since α (s) α (s) = α (s) 2 = 1, we have α (s) α (s) = 2α (s) α (s) = 0. This implies that α (s) α (s) and hence motivates the following definition. Definition 2.8. At points where the curvature κ(s) = 0, the normal vector n(s) of a curve α is defined by n(s) = α (s) κ(s). The definition of the normal vector implies t (s) = κ(s)n(s). Note that the normal vector n is orthonormal to the tangent vector t. The plane determined by t(s) and n(s) is called the osculating plane at s. Definition 2.9. The binormal vector b at s of a curve α is defined by b(s) = t(s) n(s). The image of a curve with the tangent, normal, and binormal vectors is represented below in Figure 1. Figure 1. A curve in R 3 with its tangent, normal, and binormal vectors. It is important to note that, since t and n are unit vectors, b is the unit vector normal to the osculating plane. Also, we have b (s) = (s) n(s) = t (s) n(s) + t(s) n (s) = κ(s)n(s) n(s) + t(s) n (s) = t(s) n (s). It follows that the derivative of the binormal vector, b, is orthogonal to the tangent vector t. Hence b is parallel to the normal vector n. Then, we have the following definition. Definition The torsion τ of a curve α at s is defined by b (s) = τ(s)n(s).

4 4 KAIXIN WANG By definition, the torsion measures the change in direction of the binormal vector b. Since b is orthogonal to the osculating plane, τ also measures how the osculating plane behaves in R 3 space. The derivatives of t(s) and n(s) give us the curvature κ(s) and the torsion τ(s), which describe the geometric properties of α in a neighborhood of a point. It is natural to compute the derivative of the normal vector n (s). Since b t = n, we have n (s) = b(s) t(s) = b (s) t(s) + b(s) t (s) = τ(s)n(s) t(s) + b(s) κ(s)n(s) = τ(s)b(s) κ(s)t(s). Lemma The torsion τ of a curve α is given by τ(s) = α (s) α (s) α (s) κ(s) 2. Proof. By definition of t(s), n(s) and b(s), we have, Note that α (s) α (s) α (s) κ(s) 2 = t(s) n(s) α (s) κ(s) α (s) = κ(s)n(s) = κ (s)n(s) + κ(s)n (s). Since b is orthogonal to n, b(s) n(s) = 0. Then, b(s) α (s) κ(s) = b(s) n (s) = b(s) τb(s) κt(s) Since b is orthonormal to the osculating plane, = b(s) α (s). κ(s) = b(s) τ(s)b(s) + b(s) κ(s)t(s). b(s) τ(s)b(s) + b(s) κ(s)t(s) = τ(s) b(s) 2 = τ(s). Let us summarize the concepts we have introduced. For a regular differentiable curve α : I R 3, we associate three orthogonal unit vectors t(s), n(s), b(s) for all values of the parameter s I. The trihedron formed by these three vectors is called the Frenet trihedron. The relationship among these three vectors, which describes the local properties of a curve, can be summarized by the Frenet formulas: (s) = κ(s)n(s) n (s) = κ(s)t(s) τ(s)b(s) b (s) = τ(s)n(s) One objective of this paper is to find, given differentiable functions κ(s) > 0 and τ(s), a curve α(s) with the arc length s, curvature κ(s) and torsion τ(s), satisfying these differential equations.

5 FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES 5 Let ξ : I R 9 be a map such that ξ(s) = (s), n(s), b(s). rewrite Frenet s equations as a linear system Ñ é 0 κ(s)i3 0 Then, we can ξ (s) = κ(s)i 3 0 τ(s)i 3 0 τ(s)i 3 0 ξ(s), where I 3 is the identity of the space of 3 3 matrices. Let M(s) be the corresponding matrix. We define a map F : I R 9 R 9 by F s, ξ(s) = M(s)ξ(s) = ξ (s). Let s 0 I and ξ 0 = (, n 0, b 0 ) R 9 be the initial conditions. Now, we obtain an initial value problem (2.12) ξ (s) = F s, ξ(s), ξ(s 0 ) = ξ 0. Once this ordinary differential equation is solved, we can obtain a family of differentiable maps {t(s), n(s), b(s)} satisfying Frenet s equations such that t(s 0 ) =, n(s 0 ) = n 0, b(s 0 ) = b 0. Based on the discussion above, our first step is to prove the existence of a solution to the given initial value problem. 3. The Space of Continuous Functions Before proving the existence and uniqueness of the solution to (2.12), we will first consider solutions to the general initial value problem: (3.1) x (t) = F x(t), x(0) = x 0, where x(t) is a function from I R to R d. To do this, we first study the spaces in which a putative solution to (3.1) can be found. Clearly, the solution x is a differentiable map. Definition 3.2. If V R, then C(V, R d ) = {f : V R d f is continuous}, C 1 (V, R d ) = {f : V R d f is continuous}, C b (V, R d ) = {f C(V, R d ) f is bounded}. Definition 3.3. For f C b (V, R d ), we define the norm by f = sup f. V Theorem 3.4. The space C b (V, R d ) with the norm is complete. Proof. Let {f n } be a Cauchy sequence in C b (V, R d ). Since R d is complete, for each a V the sequence {f n (a)} converges in R d. Then, for each a V, we may define f(a) = lim n f n(a). We need to show that f n converges uniformly to f and f is in C b (V, R d ). First, we show that f n converges uniformly to f; that is f f n 0 as n. Take arbitrary > 0. Choose N such that for all n, m N, f n f m < 2. Then, we have f f n f f N + f N f n.

6 6 KAIXIN WANG For n N, we have f n f N < 2. Hence, f f N = lim n f n f N 2 = f f n =. Since is arbitrary, we conclude that f f n 0 as n. Now, we need to show that f is in C b (V, R d ); that is f is continuous and bounded. Choose an arbitrary a in V. Then, we have f(a) f(a) f N (a) + f N (a) f f N + f N <. Thus, f is bounded. Finally, we show f is continuous. We need to show that Note that > 0, δ, s.t. x, y V, x y < δ = f(x) f(y) <. f(x) f(y) f(x) f n (x) + f n (x) f n (y) + f n (y) f(y). Take arbitrary > 0. Since f n converges uniformly to f, we can choose N such that for all n N, f(x) f n (x) 3 for all x V. Since f n is continuous, we can find δ > 0 such that if x y δ then f n (x) f n (y) 3. Thus, if x y < δ, then f(x) f(y) f(x) f N (x) + f N (x) f N (y) + f N (y) f(y) =. Hence, f is continuous. Therefore, C b (V, R d ) is complete. From now on, we assume V = [a, b] R. Since V is compact in R, for any f C(V, R d ), f is bounded. This implies that C(V, R d ) = C b (V, R d ). If (3.1) has a solution x(t) C(V, R d ), then by the fundamental theorem of calculus, we have x(t) = x 0 + a F (x(s))ds. We can thus define a map A : C(V, R d ) C(V, R d ) such that Ax(t) = x 0 + a F (x(s))ds. Note that Ax(t) is also differentiable. So, solving (3.1) is the same as solving Ax(t) = x(t). Definition 3.5. Let A : X X be a mapping of a metric space (X, d) to itself. A point x X is called a fixed point of A if Ax = x. Note that the space of putative solutions, C b ([a, b], R d ), is a complete space. In a complete space, we can apply some theorems to show whether a map has a fixed point and whether the fixed point is unique. Definition 3.6. Let A : X X be a mapping of a metric space (X, d) to itself. A is a contraction mapping if λ (0, 1), x, y X, d(ax, Ay) λd(x, y).

7 FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES 7 Theorem 3.7. (Contraction Mapping Theorem) Let (X, d) be a complete metric space and A : X X be a contraction mapping. Then, A has a unique fixed point x X. Proof. Let d(x, Ax) = d. Then, there exists λ (0, 1) such that for all x, y X, It follows that Since the series d(x, y) λd(ax, Ay). d(a n x, A n+1 x) λ n d. n=1 converges, the sequence {A n x} is a Cauchy sequnece. We know that X is complete, so for some x 0 X, A n x x 0 as n. Then, we have λ n Ax 0 = A( lim n An x) = lim n An+1 x = x 0. Thus, x 0 is a fixed point of A. Now, suppose x 0 and x 1 are two fixed point of A. Then, d(x 0, x 1 ) = d(ax 0, Ax 1 ) λd(x 0, x 1 ). This implies x 0 = x 1. So, A has a unique fixed point. We can extend the contraction mapping theorem to get the following corollary. Corollary 3.8. Let (X, d) be a complete metrix space and A : X X be a map. Assume that there is n N such that A n is a contraction. Then, there is a unique fixed point of A. Proof. Since A n is a contraction, A n x 0 = x 0 for some unique x 0. Then, we have A(A n x 0 ) = Ax 0 However, this implies A n (Ax 0 ) = Ax 0 and thus Ax 0 is a fixed point of A n. By the uniqueness of fixed point of a contraction mapping, we have Ax 0 = x 0. Therefore, x 0 is a unique fixed point of A. 4. Local Existence and Uniqueness of Solutions to ODEs In the previous section, we argued that solving (3.1) is the same as finding a unique fixed point for the operator A. We also showed that if A n is a contraction mapping, then A has a unique fixed point. If the function F in (3.1) exhibits some special properties such that A is a contraction mapping, then we are done. We first need to introduce the following properties. Definition 4.1. A function F : R d R d is globally Lipschitz if L > 0, y, z R d, F (y) F (z) L y z. Definition 4.2. A function F : R d R d is locally Lipschitz if x R d, L > 0, y, z B(x, 1), F (y) F (z) L y z. Using the triangle inequality, we can equivalently define F is locally Lipschitz if x R d, R > 0, L = L(R), y, z B(x, R), F (y) F (z) L y z.

8 8 KAIXIN WANG We can now state the following existence and uniqueness result for solutions of ordinary differential equations. Theorem 4.3. Let F : I R d R d be a function, I R be an open interval. Choose T 1, T 2 in R such that [T 1, T 2 ] I. Assume (1) F is continuous; (2) F (t, x) is globally Lipschitz in second variable: L(t) = sup x,y R d,x =y F (t, x) F (t, y). x y (3) The definite integral of L(t) on [T 1, T 2 ] is finite: T2 T 1 L(t)dt <. Then, there is a unique function x C 1 ([T 1, T 2 ], R d ) that solves the initial value problem x (t) = F, x(t), x( ) = x 0. Proof. We will prove this for = T 1 < T 2 and get a solution in C 1 ([, T 2 ], R d ). The same argument will work for T 1 < T 2 =. Then, glue the two solutions together to get a solution in C 1 ([T 1, T 2 ], R d ). Suppose = T 1 < T 2. Define the operator A : C([, T 2 ], R d ) C([, T 2 ], R d ) by Ax(t) = x 0 + F s, x(s) ds. Since [, T 2 ] is compact and functions defined on a compact set are bounded, the space C([, T 2 ], R d ) with the norm is complete. Note that the fixed points of A are exactly the solutions to the initial value problem. If A is a contraction mapping on the complete space C([, T 2 ], R d ), then we are done. Therefore, our goal is to prove A is a contraction mapping. We claim that A m x(t) A m t y(t) 0 L(s)ds m x y. m! We show this by induction. For the base case, let m = 1. By the definition of A, we know Ax(t) Ay(t) = = F s, x(s) ds F s, y(s) ds F s, x(s) F s, y(s) ds. Since F is globally Lipschitz in the second variable, we have for some L(s). F s, x(s) F s, y(s) L(s) x(s) y(s)

9 FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES 9 It follows that for any t [, T 2 ], Ax(t) Ay(t) = F s, x(s) F s, y(s) ds F s, x(s) F s, y(s) ds L(s) x(s) y(s) ds L(s) x y ds Å ã = L(s)ds x y. Hence, the claim is true for m = 1. Now, suppose our claim is true for m. For m + 1, by the same argument in the base case, we have A m+1 x(t) A m+1 y(t) F s, A m x(s) F s, A m y(s) ds L(s) A m x(s) A m y(s) ds Å s ã m x y L(s) L(r)dr ds m! = x y Å s ã m L(s) L(r)dr ds m! for some L(s). Let L 1 (s) = s L(r)dr. Then, we have L 1(s) = L(s). So, A m+1 x(t) A m+1 y(t) x y m! By induction, the statement is true for all m N. Hence, for sufficiently large m, L 1(s) L 1 (s) m ds = x y L1 (s) m dl1 (s) m! L1 (s) m+1 = x y. (m + 1)! A m x A m y = λ x y for some λ (0, 1). Thus, we conclude that A m is a contraction, and by the contraction mapping theorem, A m has a unique fixed point. It follows that A has a unique fixed point x C([T 1, T 2 ], R d ). By construction, x is also in C 1 ([, T 2 ], R d ). Therefore, it is the required solution to the initial value problem. Corollary 4.4. If for every [T 1, T 2 ] I containing, the hypotheses of Theorem 4.3 hold, then there is a unique function x C 1 (I, R n ) that solves the initial value problem.

10 10 KAIXIN WANG 5. Fundamental Theorem of the Local Theory of Curves Before we prove the theorem, we will first introduce the concept of rigid motion and prove that the arc length, the curvature, and the torsion of a parametrized curve are invariant under rigid motion. Definition 5.1. A translation by a vector v in R 3 is a map A : R 3 R 3 such that Au = u + v. Definition 5.2. A linear map ρ : R 3 R 3 is an orthogonal transformation if ρu ρv = u v for all vectors u, v R 3. Definition 5.3. A rigid motion in R 3 is the result of composing a translation with an orthogonal transformation with positive determinant; that is, if A is a rigid motion, then there exists an orthogonal linear map ρ of R 3, with positive determinant, and a vector c such that Av = ρv + c. It is notable that rigid motion preserves the arc length, curvature, and torsion of a curve. To see this, we need the following lemmas. Lemma 5.4. The norm of a vector and the angle θ between two vectors, 0 θ π, are invariant under orthogonal transformations with positive determinant. Proof. Let ρ : R 3 R 3 be an orthogonal transformation with positive determinant. Choose an arbitrary v in R 3. Then, we have ρv 2 = ρv ρv = v v = v 2 Thus, the norm is invariant under ρ. Choose arbitrary u, v in R 3 and let θ be the angle between them. The angle θ between ρu and ρv is given by cos θ ρu ρv = ρu ρv = u v u v = cos θ Hence, the angle between two vectors is also invariant under ρ. Lemma 5.5. The vector product of two vectors is invariant under orthogonal transformations with positive determinant. Proof. Let ρ : R 3 R 3 be an orthogonal transformation with positive determinant. Choose arbitrary u, v in R 3 and let θ be the angle between them. Since det(ρ) > 0, for all w R 3, there is w R 3 such that ρ w = w. Thus, (ρu ρv) w = det(ρu, ρv, ρ w) = det(ρ) det(u, v, w) = det(ρ)(u v) w Since ρ is an orthogonal transformation, (u v) w = ρ(u v) ρ w = ρ(u v) w. Then Also, we have (ρu ρv) w = det(ρ)ρ(u v) w = ρu ρv = det(ρ)ρ(u v) ρu ρv 2 = ρu 2 ρv 2 sin 2 θ = u 2 v 2 sin 2 θ = u v 2 = det(ρ) 2 u v 2 Since det(ρ) > 0, we have det(ρ) = 1 and hence ρu ρv = ρ(u v). Theorem 5.6. The arc length, the curvature, and the torsion of a parametrized curve are invariant under rigid motion.

11 FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES 11 Proof. Let α : I R 3 be a parametrized curve and A : R 3 R 3 a rigid motion. Let s be its arc length, κ its curvature, τ its torsion. Since translations and orthogonal transformations preserve norm, A preserves norm. Thus, the arc length under A, s A (t) = Aα(t) dt = α(t) = s(t) is preserved. For curvature, we have κ(s) = α (s). Since M is a linear transformation, we have Aα(s) = Aα (s). Then, the curvature under A κ A (s) = Aα(s) = Aα (s) = α (s) = κ(s) is preserved. For torsion, we have τ(s)n(s) = b (s) = (s) n(s) = t (s) n(s) + t(s) n (s) = κ(s)n(s) n(s) + α (s) n (s) = α (s) n (s) Then, τ A (s)an(s) = Aα (s) An (s) = A α (s) n (s) = A τ(s)n(s) = τ(s)an(s). Thus, τ A (s) = τ(s). So, the torsion under A is also preserved. We are now ready to prove the fundamental theorem of the local theory of curves. Theorem 5.7. (Fundamental Theorem of the Local Theory of Curves) Given differentiable functions κ(s) > 0 and τ(s), s I, there exists a regular parametrized curve α : I R 3 such that s is the arc length, κ(s) is the curvature, and τ(s) is the torsion of α. Moreover, any other curve α, satisfying the same conditions, differs from α by a rigid motion. Proof. First, we show existence. We have already showed that the Frenet s equations (s) = κ(s)n(s) n (s) = κ(s)t(s) τ(s)b(s) b(s) = τ(s)n(s) can be rewritten as a linear system Ñ 0 κ(s)i3 0 ξ (s) = κ(s)i 3 0 τ(s)i 3 0 τ(s)i 3 0 é ξ(s) = M(s)ξ(s) for some matrix M(s). Given initial conditions, n 0, b 0 and s 0 I, this system is equivalent to the initial value problem ξ (s) = F s, ξ(s), ξ(s 0 ) = ξ 0, where ξ : I R 9 is a map such that ξ(s) = (s), n(s), b(s), ξ 0 = (, n 0, b 0 ), and F : I R 9 R 9 is a map such that F s, ξ(s) = M(s)ξ(s). Since F is a linear transformation, it is globally Lipschitz in the second variable. F is differentiable as κ and τ are differentiable. Moreover, L is bounded on compact subsets of I. We can therefore apply the local existence and uniqueness of the solution to ODEs.

12 12 KAIXIN WANG So, if we choose s 0 in I and take {, n 0, b 0 } to be an orthonormal, positively oriented triple of vectors in R 3, then there exist unique functions t(s), n(s), b(s) : I R 3 solving Frenet equations with t(s 0 ) =, n(s 0 ) = n 0, b(s 0 ) = b 0. By Frenet s equations, we have (t n) = t n + t n = κn n t κt t τb (t b) = t b + t b = κn b + t τn (n b) = n b + n b = τb b κt b + n τn (t t) = 2t t = 2κn t (n n) = 2n n = 2κt n 2τb n (b b) = 2b b = 2τn b We can check that t n 0, t b 0, n b 0, t t 1, n n 1, b t 1 is a solution to the above system with initial conditions 0, 0, 0, 1, 1, 1. By uniqueness, {t(s), n(s), b(s)} is orthonormal for every s I. We can thus obtain a curve by setting α(s) = t(s)ds. s I It is clear that α (s) = t(s) and α (s) = κ(s)n(s). Since for the torsion of α, we have α (s) = κ(s)n(s) = κ (s)n(s) + κ(s)n (s) = κ (s)n(s) κ(s)τ(s)b(s) κ 2 (s)t(s), α (s) α (s) α (s) t(s) κ(s)n(s) κ(s) 2 = = t(s) n(s) τ(s)b(s) = b(s) τ(s)b(s) = τ(s). κ (s)n(s) κ(s)τ(s)b(s) κ 2 (s)t(s) κ 2 (s) Therefore, α is the required curve. Now, we show uniqueness. We have proved that the arc length, the curvature, and the torsion of a parametrized curve are (whenever defined) invariant under rigid motions. Suppose that two curves α = α(s), ᾱ = ᾱ(s) satisfy the conditions κ(s) = κ(s) and τ(s) = τ(s) for s I. Let, n 0, b 0 and, n 0, b 0 be the Frenet trihedrons at s = s 0 I of α and ᾱ respectively. There is a rigid motion which takes ᾱ(s 0 ) = α(s 0 ) and, b 0, n 0 to, b 0, n 0. After performing this rigid motion on ᾱ, we have that dt ds = κn, dn ds = κt τb, db ds = τn d t ds = κ n, d n ds = κ t τ b, with t(s 0 ) = t(s 0 ), n(s 0 ) = n(s 0 ), b(s 0 ) = b(s 0 ). d b ds = τ n

13 FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES 13 By Frenet equations, for all s I, we have d t t 2 + n n 2 + b b ds = 2(t t) (t t ) + 2(b b) (b b ) + 2(n n) (n n ) = 2κ(t t) (n n) + 2τ(b b ) (n n) = 0. 2κ(n n) (t t) 2τ (n n) (b b ) Thus, t t 2 + n n 2 + b b 2 is constant. Since t(s 0 ) t(s 0 ) 2 + n(s 0 ) n(s 0 ) 2 + b b(s 0 ) 2 = 0, t t 2 + n n 2 + b b 2 is always 0. Thus, t = t, n = n, b = b. Then, dα ds = t = t = dᾱ = d (α ᾱ) = 0 = α = ᾱ + v. dt ds where v is a constant vector. Since α(s 0 ) = ᾱ(s 0 ), we have v = 0. This concludes our proof. Acknowledgments It is a pleasure to thank my mentor, Meg Doucette, for her guidance and dedication throughout the program. I would also like to thank Prof. Peter May and the Math Department for organizing such a great program. References [1] Manfredo P. do Carmo. Differential Geometry of Curves and Surfaces. [2] Vladimir I. Arnold. Ordinary Differential Equations.

THE FUNDAMENTAL THEOREM OF SPACE CURVES

THE FUNDAMENTAL THEOREM OF SPACE CURVES THE FUNDAMENTAL THEOREM OF SPACE CURVES JOSHUA CRUZ Abstract. In this paper, we show that curves in R 3 can be uniquely generated by their curvature and torsion. By finding conditions that guarantee the

More information

Arbitrary-Speed Curves

Arbitrary-Speed Curves Arbitrary-Speed Curves (Com S 477/577 Notes) Yan-Bin Jia Oct 12, 2017 The Frenet formulas are valid only for unit-speed curves; they tell the rate of change of the orthonormal vectors T, N, B with respect

More information

Linear Ordinary Differential Equations

Linear Ordinary Differential Equations MTH.B402; Sect. 1 20180703) 2 Linear Ordinary Differential Equations Preliminaries: Matrix Norms. Denote by M n R) the set of n n matrix with real components, which can be identified the vector space R

More information

Week 3: Differential Geometry of Curves

Week 3: Differential Geometry of Curves Week 3: Differential Geometry of Curves Introduction We now know how to differentiate and integrate along curves. This week we explore some of the geometrical properties of curves that can be addressed

More information

e 2 = e 1 = e 3 = v 1 (v 2 v 3 ) = det(v 1, v 2, v 3 ).

e 2 = e 1 = e 3 = v 1 (v 2 v 3 ) = det(v 1, v 2, v 3 ). 3. Frames In 3D space, a sequence of 3 linearly independent vectors v 1, v 2, v 3 is called a frame, since it gives a coordinate system (a frame of reference). Any vector v can be written as a linear combination

More information

DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES IN LORENTZ-MINKOWSKI SPACE

DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES IN LORENTZ-MINKOWSKI SPACE International Electronic Journal of Geometry Volume 7 No. 1 pp. 44-107 (014) c IEJG DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES IN LORENTZ-MINKOWSKI SPACE RAFAEL LÓPEZ Dedicated to memory of Proffessor

More information

Solutions for Math 348 Assignment #4 1

Solutions for Math 348 Assignment #4 1 Solutions for Math 348 Assignment #4 1 (1) Do the following: (a) Show that the intersection of two spheres S 1 = {(x, y, z) : (x x 1 ) 2 + (y y 1 ) 2 + (z z 1 ) 2 = r 2 1} S 2 = {(x, y, z) : (x x 2 ) 2

More information

Geometry of Cylindrical Curves over Plane Curves

Geometry of Cylindrical Curves over Plane Curves Applied Mathematical Sciences, Vol 9, 015, no 113, 5637-5649 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/101988/ams01556456 Geometry of Cylindrical Curves over Plane Curves Georgi Hristov Georgiev, Radostina

More information

OHSx XM521 Multivariable Differential Calculus: Homework Solutions 14.1

OHSx XM521 Multivariable Differential Calculus: Homework Solutions 14.1 OHSx XM5 Multivariable Differential Calculus: Homework Solutions 4. (8) Describe the graph of the equation. r = i + tj + (t )k. Solution: Let y(t) = t, so that z(t) = t = y. In the yz-plane, this is just

More information

NORMS ON SPACE OF MATRICES

NORMS ON SPACE OF MATRICES NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system

More information

Math 32A Discussion Session Week 5 Notes November 7 and 9, 2017

Math 32A Discussion Session Week 5 Notes November 7 and 9, 2017 Math 32A Discussion Session Week 5 Notes November 7 and 9, 2017 This week we want to talk about curvature and osculating circles. You might notice that these notes contain a lot of the same theory or proofs

More information

Final Exam Topic Outline

Final Exam Topic Outline Math 442 - Differential Geometry of Curves and Surfaces Final Exam Topic Outline 30th November 2010 David Dumas Note: There is no guarantee that this outline is exhaustive, though I have tried to include

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

Outline of the course

Outline of the course School of Mathematical Sciences PURE MTH 3022 Geometry of Surfaces III, Semester 2, 20 Outline of the course Contents. Review 2. Differentiation in R n. 3 2.. Functions of class C k 4 2.2. Mean Value Theorem

More information

Natural Lifts and Curvatures, Arc-Lengths of the Spherical Indicatries of the Evolute Curve in E 3

Natural Lifts and Curvatures, Arc-Lengths of the Spherical Indicatries of the Evolute Curve in E 3 International Mathematical Forum, Vol. 9, 214, no. 18, 857-869 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/imf.214.448 Natural Lifts and Curvatures, Arc-Lengths of the Spherical Indicatries

More information

The Frenet Serret formulas

The Frenet Serret formulas The Frenet Serret formulas Attila Máté Brooklyn College of the City University of New York January 19, 2017 Contents Contents 1 1 The Frenet Serret frame of a space curve 1 2 The Frenet Serret formulas

More information

ON BOUNDED AND UNBOUNDED CURVES DETERMINED BY THEIR CURVATURE AND TORSION

ON BOUNDED AND UNBOUNDED CURVES DETERMINED BY THEIR CURVATURE AND TORSION ON BOUNDED AND UNBOUNDED CURVES DETERMINED BY THEIR CURVATURE AND TORSION OLEG ZUBELEVICH DEPT. OF THEORETICAL MECHANICS, MECHANICS AND MATHEMATICS FACULTY, M. V. LOMONOSOV MOSCOW STATE UNIVERSITY RUSSIA,

More information

Space curves, vector fields and strange surfaces. Simon Salamon

Space curves, vector fields and strange surfaces. Simon Salamon Space curves, vector fields and strange surfaces Simon Salamon Lezione Lagrangiana, 26 May 2016 Curves in space 1 A curve is the path of a particle moving continuously in space. Its position at time t

More information

Smarandache Curves and Spherical Indicatrices in the Galilean. 3-Space

Smarandache Curves and Spherical Indicatrices in the Galilean. 3-Space arxiv:50.05245v [math.dg 2 Jan 205, 5 pages. DOI:0.528/zenodo.835456 Smarandache Curves and Spherical Indicatrices in the Galilean 3-Space H.S.Abdel-Aziz and M.Khalifa Saad Dept. of Math., Faculty of Science,

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

On bounded and unbounded curves in Euclidean space

On bounded and unbounded curves in Euclidean space On bounded and unbounded curves in Euclidean space Oleg Zubelevich Abstract. We provide sufficient conditions for curves in R 3 to be unbounded in terms of its curvature and torsion. We present as well

More information

1 The Differential Geometry of Surfaces

1 The Differential Geometry of Surfaces 1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1

More information

An Introduction to Gaussian Geometry

An Introduction to Gaussian Geometry Lecture Notes in Mathematics An Introduction to Gaussian Geometry Sigmundur Gudmundsson (Lund University) (version 2.068-16th of November 2017) The latest version of this document can be found at http://www.matematik.lu.se/matematiklu/personal/sigma/

More information

ON BOUNDEDNESS OF THE CURVE GIVEN BY ITS CURVATURE AND TORSION

ON BOUNDEDNESS OF THE CURVE GIVEN BY ITS CURVATURE AND TORSION ON BOUNDEDNESS OF THE CURVE GIVEN BY ITS CURVATURE AND TORSION OLEG ZUBELEVICH DEPT. OF THEORETICAL MECHANICS, MECHANICS AND MATHEMATICS FACULTY, M. V. LOMONOSOV MOSCOW STATE UNIVERSITY RUSSIA, 9899, MOSCOW,

More information

1 Vectors and 3-Dimensional Geometry

1 Vectors and 3-Dimensional Geometry Calculus III (part ): Vectors and 3-Dimensional Geometry (by Evan Dummit, 07, v..55) Contents Vectors and 3-Dimensional Geometry. Functions of Several Variables and 3-Space..................................

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

t f(u)g (u) g(u)f (u) du,

t f(u)g (u) g(u)f (u) du, Chapter 2 Notation. Recall that F(R 3 ) denotes the set of all differentiable real-valued functions f : R 3 R and V(R 3 ) denotes the set of all differentiable vector fields on R 3. 2.1 7. The problem

More information

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces. Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,

More information

ON THE RULED SURFACES WHOSE FRAME IS THE BISHOP FRAME IN THE EUCLIDEAN 3 SPACE. 1. Introduction

ON THE RULED SURFACES WHOSE FRAME IS THE BISHOP FRAME IN THE EUCLIDEAN 3 SPACE. 1. Introduction International Electronic Journal of Geometry Volume 6 No.2 pp. 110 117 (2013) c IEJG ON THE RULED SURFACES WHOSE FRAME IS THE BISHOP FRAME IN THE EUCLIDEAN 3 SPACE ŞEYDA KILIÇOĞLU, H. HILMI HACISALIHOĞLU

More information

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

More information

Half of Final Exam Name: Practice Problems October 28, 2014

Half of Final Exam Name: Practice Problems October 28, 2014 Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half

More information

Math 6455 Nov 1, Differential Geometry I Fall 2006, Georgia Tech

Math 6455 Nov 1, Differential Geometry I Fall 2006, Georgia Tech Math 6455 Nov 1, 26 1 Differential Geometry I Fall 26, Georgia Tech Lecture Notes 14 Connections Suppose that we have a vector field X on a Riemannian manifold M. How can we measure how much X is changing

More information

Vectors, dot product, and cross product

Vectors, dot product, and cross product MTH 201 Multivariable calculus and differential equations Practice problems Vectors, dot product, and cross product 1. Find the component form and length of vector P Q with the following initial point

More information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a

More information

THE NATURAL LIFT CURVES AND GEODESIC CURVATURES OF THE SPHERICAL INDICATRICES OF THE TIMELIKE BERTRAND CURVE COUPLE

THE NATURAL LIFT CURVES AND GEODESIC CURVATURES OF THE SPHERICAL INDICATRICES OF THE TIMELIKE BERTRAND CURVE COUPLE International Electronic Journal of Geometry Volume 6 No.2 pp. 88 99 (213) c IEJG THE NATURAL LIFT CURVES AND GEODESIC CURVATURES OF THE SPHERICAL INDICATRICES OF THE TIMELIKE BERTRAND CURVE COUPLE SÜLEYMAN

More information

MA3D9. Geometry of curves and surfaces. T (s) = κ(s)n(s),

MA3D9. Geometry of curves and surfaces. T (s) = κ(s)n(s), MA3D9. Geometry of 2. Planar curves. Let : I R 2 be a curve parameterised by arc-length. Given s I, let T(s) = (s) be the unit tangent. Let N(s) be the unit normal obtained by rotating T(s) through π/2

More information

SPRING 2008: POLYNOMIAL IMAGES OF CIRCLES

SPRING 2008: POLYNOMIAL IMAGES OF CIRCLES 18.821 SPRING 28: POLYNOMIAL IMAGES OF CIRCLES JUSTIN CURRY, MICHAEL FORBES, MATTHEW GORDON Abstract. This paper considers the effect of complex polynomial maps on circles of various radii. Several phenomena

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Lecture Notes on Metric Spaces

Lecture Notes on Metric Spaces Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],

More information

MATH 332: Vector Analysis Summer 2005 Homework

MATH 332: Vector Analysis Summer 2005 Homework MATH 332, (Vector Analysis), Summer 2005: Homework 1 Instructor: Ivan Avramidi MATH 332: Vector Analysis Summer 2005 Homework Set 1. (Scalar Product, Equation of a Plane, Vector Product) Sections: 1.9,

More information

Math 140A - Fall Final Exam

Math 140A - Fall Final Exam Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a

More information

HOMEWORK 2 SOLUTIONS

HOMEWORK 2 SOLUTIONS HOMEWORK SOLUTIONS MA11: ADVANCED CALCULUS, HILARY 17 (1) Find parametric equations for the tangent line of the graph of r(t) = (t, t + 1, /t) when t = 1. Solution: A point on this line is r(1) = (1,,

More information

II. Unit Speed Curves

II. Unit Speed Curves The Geometry of Curves, Part I Rob Donnelly From Murray State University s Calculus III, Fall 2001 note: This material supplements Sections 13.3 and 13.4 of the text Calculus with Early Transcendentals,

More information

Vector Calculus lecture notes

Vector Calculus lecture notes Vector Calculus lecture notes Thomas Baird December 13, 21 Contents 1 Geometry of R 3 2 1.1 Coordinate Systems............................... 2 1.1.1 Distance................................. 3 1.1.2 Surfaces.................................

More information

Geometry and Motion Selected answers to Sections A and C Dwight Barkley 2016

Geometry and Motion Selected answers to Sections A and C Dwight Barkley 2016 MA34 Geometry and Motion Selected answers to Sections A and C Dwight Barkley 26 Example Sheet d n+ = d n cot θ n r θ n r = Θθ n i. 2. 3. 4. Possible answers include: and with opposite orientation: 5..

More information

Nonlinear equations. Norms for R n. Convergence orders for iterative methods

Nonlinear equations. Norms for R n. Convergence orders for iterative methods Nonlinear equations Norms for R n Assume that X is a vector space. A norm is a mapping X R with x such that for all x, y X, α R x = = x = αx = α x x + y x + y We define the following norms on the vector

More information

Geometric approximation of curves and singularities of secant maps Ghosh, Sunayana

Geometric approximation of curves and singularities of secant maps Ghosh, Sunayana University of Groningen Geometric approximation of curves and singularities of secant maps Ghosh, Sunayana IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish

More information

Section Arclength and Curvature. (1) Arclength, (2) Parameterizing Curves by Arclength, (3) Curvature, (4) Osculating and Normal Planes.

Section Arclength and Curvature. (1) Arclength, (2) Parameterizing Curves by Arclength, (3) Curvature, (4) Osculating and Normal Planes. Section 10.3 Arclength and Curvature (1) Arclength, (2) Parameterizing Curves by Arclength, (3) Curvature, (4) Osculating and Normal Planes. MATH 127 (Section 10.3) Arclength and Curvature The University

More information

for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true

for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true 3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO

More information

ON THE SCALAR AND DUAL FORMULATIONS OF THE CURVATURE THEORY OF LINE TRAJECTORIES IN THE LORENTZIAN SPACE. 1. Introduction

ON THE SCALAR AND DUAL FORMULATIONS OF THE CURVATURE THEORY OF LINE TRAJECTORIES IN THE LORENTZIAN SPACE. 1. Introduction J. Korean Math. Soc. 43 (2006), No. 6, pp. 1339 1355 ON THE SCALAR AND DUAL FORMULATIONS OF THE CURVATURE THEORY OF LINE TRAJECTORIES IN THE LORENTZIAN SPACE N ihat Ayyıldız and Ahmet Yücesan Abstract.

More information

On linear and non-linear equations. (Sect. 1.6).

On linear and non-linear equations. (Sect. 1.6). On linear and non-linear equations. (Sect. 1.6). Review: Linear differential equations. Non-linear differential equations. The Picard-Lindelöf Theorem. Properties of solutions to non-linear ODE. The Proof

More information

MATH 32A: MIDTERM 2 REVIEW. sin 2 u du z(t) = sin 2 t + cos 2 2

MATH 32A: MIDTERM 2 REVIEW. sin 2 u du z(t) = sin 2 t + cos 2 2 MATH 3A: MIDTERM REVIEW JOE HUGHES 1. Curvature 1. Consider the curve r(t) = x(t), y(t), z(t), where x(t) = t Find the curvature κ(t). 0 cos(u) sin(u) du y(t) = Solution: The formula for curvature is t

More information

Notes on uniform convergence

Notes on uniform convergence Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean

More information

An Optimal Control Problem for Rigid Body Motions in Minkowski Space

An Optimal Control Problem for Rigid Body Motions in Minkowski Space Applied Mathematical Sciences, Vol. 5, 011, no. 5, 559-569 An Optimal Control Problem for Rigid Body Motions in Minkowski Space Nemat Abazari Department of Mathematics, Ardabil Branch Islamic Azad University,

More information

1.1 Single Variable Calculus versus Multivariable Calculus Rectangular Coordinate Systems... 4

1.1 Single Variable Calculus versus Multivariable Calculus Rectangular Coordinate Systems... 4 MATH2202 Notebook 1 Fall 2015/2016 prepared by Professor Jenny Baglivo Contents 1 MATH2202 Notebook 1 3 1.1 Single Variable Calculus versus Multivariable Calculus................... 3 1.2 Rectangular Coordinate

More information

Differential-Geometrical Conditions Between Geodesic Curves and Ruled Surfaces in the Lorentz Space

Differential-Geometrical Conditions Between Geodesic Curves and Ruled Surfaces in the Lorentz Space Differential-Geometrical Conditions Between Geodesic Curves and Ruled Surfaces in the Lorentz Space Nihat Ayyildiz, A. Ceylan Çöken, Ahmet Yücesan Abstract In this paper, a system of differential equations

More information

LMI Methods in Optimal and Robust Control

LMI Methods in Optimal and Robust Control LMI Methods in Optimal and Robust Control Matthew M. Peet Arizona State University Lecture 15: Nonlinear Systems and Lyapunov Functions Overview Our next goal is to extend LMI s and optimization to nonlinear

More information

There is a function, the arc length function s(t) defined by s(t) = It follows that r(t) = p ( s(t) )

There is a function, the arc length function s(t) defined by s(t) = It follows that r(t) = p ( s(t) ) MATH 20550 Acceleration, Curvature and Related Topics Fall 2016 The goal of these notes is to show how to compute curvature and torsion from a more or less arbitrary parametrization of a curve. We will

More information

Existence and Uniqueness

Existence and Uniqueness Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect

More information

(1) Recap of Differential Calculus and Integral Calculus (2) Preview of Calculus in three dimensional space (3) Tools for Calculus 3

(1) Recap of Differential Calculus and Integral Calculus (2) Preview of Calculus in three dimensional space (3) Tools for Calculus 3 Math 127 Introduction and Review (1) Recap of Differential Calculus and Integral Calculus (2) Preview of Calculus in three dimensional space (3) Tools for Calculus 3 MATH 127 Introduction to Calculus III

More information

im Γ (i) Prove (s) = { x R 3 x γ(s), T(s) = 0 }. (ii) Consider x R 3 and suppose the function s x γ(s) attains a minimum at s 0 J.

im Γ (i) Prove (s) = { x R 3 x γ(s), T(s) = 0 }. (ii) Consider x R 3 and suppose the function s x γ(s) attains a minimum at s 0 J. Exercise 0.1 (Formulae of Serret Frenet and tubular neighborhood of curve). Let J R be an open interval in R and let γ : J R 3 be a C curve in R 3. For any s J, denote by (s) the plane in R 3 that contains

More information

An introduction to Mathematical Theory of Control

An introduction to Mathematical Theory of Control An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018

More information

Homwework JWR. Jan Problem numbers refer to the do Carmo text.

Homwework JWR. Jan Problem numbers refer to the do Carmo text. Homwework JWR Jan 30 014 Problem numbers refer to the do Carmo text. 1. 1.-1 The curve αs) cos s), sin s)) coss), sins)) parameterizes the circle x +y 1 in the clockwise orientation.. 1.-Thedistanceformthepointαt)

More information

Cubic Helices in Minkowski Space

Cubic Helices in Minkowski Space Cubic Helices in Minkowski Space Jiří Kosinka and Bert Jüttler Johannes Kepler University, Institute of Applied Geometry, Altenberger Str. 69, A 4040 Linz, Austria Abstract We discuss space like and light

More information

(Differential Geometry) Lecture Notes

(Differential Geometry) Lecture Notes Evan Chen Fall 2015 This is MIT s undergraduate 18.950, instructed by Xin Zhou. The formal name for this class is Differential Geometry. The permanent URL for this document is http://web.evanchen.cc/ coursework.html,

More information

Math 361: Homework 1 Solutions

Math 361: Homework 1 Solutions January 3, 4 Math 36: Homework Solutions. We say that two norms and on a vector space V are equivalent or comparable if the topology they define on V are the same, i.e., for any sequence of vectors {x

More information

Spherical Images and Characterizations of Time-like Curve According to New Version of the Bishop Frame in Minkowski 3-Space

Spherical Images and Characterizations of Time-like Curve According to New Version of the Bishop Frame in Minkowski 3-Space Prespacetime Journal January 016 Volume 7 Issue 1 pp. 163 176 163 Article Spherical Images and Characterizations of Time-like Curve According to New Version of the Umit Z. Savcı 1 Celal Bayar University,

More information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and

More information

SLANT HELICES IN MINKOWSKI SPACE E 3 1

SLANT HELICES IN MINKOWSKI SPACE E 3 1 J. Korean Math. Soc. 48 (2011), No. 1, pp. 159 167 DOI 10.4134/JKMS.2011.48.1.159 SLANT HELICES IN MINKOWSKI SPACE E 3 1 Ahmad T. Ali and Rafael López Abstract. We consider a curve α = α(s) in Minkowski

More information

Differential geometry of transversal intersection spacelike curve of two spacelike surfaces in Lorentz-Minkowski 3-Space L 3

Differential geometry of transversal intersection spacelike curve of two spacelike surfaces in Lorentz-Minkowski 3-Space L 3 Differential geometry of transversal intersection spacelike curve of two spacelike surfaces in Lorentz-Minkowski 3-Space L 3 Osmar Aléssio Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP

More information

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information

SOLUTIONS TO SECOND PRACTICE EXAM Math 21a, Spring 2003

SOLUTIONS TO SECOND PRACTICE EXAM Math 21a, Spring 2003 SOLUTIONS TO SECOND PRACTICE EXAM Math a, Spring 3 Problem ) ( points) Circle for each of the questions the correct letter. No justifications are needed. Your score will be C W where C is the number of

More information

On Existence and Uniqueness of Solutions of Ordinary Differential Equations

On Existence and Uniqueness of Solutions of Ordinary Differential Equations On Existence and Uniqueness of Solutions of Ordinary Differential Equations Michael Björklund Abstract This paper concentrates on questions regarding existence and uniqueness to the generic initial value

More information

Vector Calculus Lecture Notes

Vector Calculus Lecture Notes Vector Calculus Lecture Notes by Thomas Baird December 5, 213 Contents 1 Geometry of R 3 2 1.1 Coordinate Systems............................... 2 1.1.1 Distance................................. 4 1.1.2

More information

GEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0

GEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0 GEOMETRY HW CLAY SHONKWILER Consider the map.5.0 t, 0, e /t ), t > 0 αt) = t, e /t, 0), t < 0 0, 0, 0), t = 0 a) Prove that α is a differentiable curve. Proof. If we denote αt) = xt), yt), zt0), then it

More information

Continuous Functions on Metric Spaces

Continuous Functions on Metric Spaces Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0

More information

On Natural Lift of a Curve

On Natural Lift of a Curve Pure Mathematical Sciences, Vol. 1, 2012, no. 2, 81-85 On Natural Lift of a Curve Evren ERGÜN Ondokuz Mayıs University, Faculty of Arts and Sciences Department of Mathematics, Samsun, Turkey eergun@omu.edu.tr

More information

Curves I: Curvature and Torsion. Table of contents

Curves I: Curvature and Torsion. Table of contents Math 48 Fall 07 Curves I: Curvature and Torsion Disclaimer. As we have a textbook, this lecture note is for guidance and sulement only. It should not be relied on when rearing for exams. In this lecture

More information

Calculus Vector Principia Mathematica. Lynne Ryan Associate Professor Mathematics Blue Ridge Community College

Calculus Vector Principia Mathematica. Lynne Ryan Associate Professor Mathematics Blue Ridge Community College Calculus Vector Principia Mathematica Lynne Ryan Associate Professor Mathematics Blue Ridge Community College Defining a vector Vectors in the plane A scalar is a quantity that can be represented by a

More information

Smarandache curves according to Sabban frame of fixed pole curve belonging to the Bertrand curves pair

Smarandache curves according to Sabban frame of fixed pole curve belonging to the Bertrand curves pair Smarandache curves according to Sabban frame of fixed pole curve belonging to the Bertrand curves pair Süleyman Şenyurt, Yasin Altun, and Ceyda Cevahir Citation: AIP Conference Proceedings 76, 00045 06;

More information

A New Model for Ribbons in R 3

A New Model for Ribbons in R 3 A New Model for Ribbons in R 3 Tom Farmer Miami University Oxford, OH 45056 farmerta@muohio.edu Let s start with a hands-on demonstration. We take a long, rectangular strip of adhesive tape (or postage

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

Reflected Brownian Motion

Reflected Brownian Motion Chapter 6 Reflected Brownian Motion Often we encounter Diffusions in regions with boundary. If the process can reach the boundary from the interior in finite time with positive probability we need to decide

More information

5.3 Surface Theory with Differential Forms

5.3 Surface Theory with Differential Forms 5.3 Surface Theory with Differential Forms 1 Differential forms on R n, Click here to see more details Differential forms provide an approach to multivariable calculus (Click here to see more detailes)

More information

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed

More information

Functional Analysis Review

Functional Analysis Review Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all

More information

A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS

A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS Novi Sad J. Math. Vol., No. 2, 200, 10-110 A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS Emin Kasap 1 Abstract. A non-linear differential equation is analyzed

More information

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,

More information

Unit Speed Curves. Recall that a curve Α is said to be a unit speed curve if

Unit Speed Curves. Recall that a curve Α is said to be a unit speed curve if Unit Speed Curves Recall that a curve Α is said to be a unit speed curve if The reason that we like unit speed curves that the parameter t is equal to arc length; i.e. the value of t tells us how far along

More information

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1. Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x

More information

MATH 205C: STATIONARY PHASE LEMMA

MATH 205C: STATIONARY PHASE LEMMA MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)

More information

Lectures in Discrete Differential Geometry 2 Surfaces

Lectures in Discrete Differential Geometry 2 Surfaces Lectures in Discrete Differential Geometry 2 Surfaces Etienne Vouga February 4, 24 Smooth Surfaces in R 3 In this section we will review some properties of smooth surfaces R 3. We will assume that is parameterized

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit

More information

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists

More information

Smarandache Curves In Terms of Sabban Frame of Fixed Pole Curve. Key Words: Smarandache Curves, Sabban Frame, Geodesic Curvature, Fixed Pole Curve

Smarandache Curves In Terms of Sabban Frame of Fixed Pole Curve. Key Words: Smarandache Curves, Sabban Frame, Geodesic Curvature, Fixed Pole Curve Bol. Soc. Paran. Mat. s. v. 4 06: 5 6. c SPM ISSN-75-88 on line ISSN-00787 in press SPM: www.spm.uem.br/bspm doi:0.569/bspm.v4i.75 Smarandache Curves In Terms of Sabban Frame of Fixed Pole Curve Süleyman

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

Parallel Transport Frame in 4 dimensional Euclidean Space E 4

Parallel Transport Frame in 4 dimensional Euclidean Space E 4 Caspian Journal of Mathematical Sciences (CJMS) University of Mazandaran, Iran http://cjms.journals.umz.ac.ir ISSN: 1735-0611 CJMS. 3(1)(2014), 91-103 Parallel Transport Frame in 4 dimensional Euclidean

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS

More information