Contents. 1. Introduction
|
|
- Johnathan Chambers
- 5 years ago
- Views:
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 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 informationArbitrary-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 informationLinear 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 informationWeek 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 informatione 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 informationDIFFERENTIAL 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 informationSolutions 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 informationGeometry 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 informationOHSx 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 informationNORMS 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 informationMath 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 informationFinal 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 informationTHE 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 informationOutline 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 informationNatural 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 informationThe 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 informationON 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 informationSpace 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 informationSmarandache 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 informationMATH 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 informationOn 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 information1 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 informationAn 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 informationON 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 information1 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 informationApplied 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 informationt 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 informationMath 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 informationON 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 informationd(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 informationHalf 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 informationMath 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 informationVectors, 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 informationTHE 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 informationTHE 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 informationMA3D9. 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 informationSPRING 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 informationMetric 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 informationLecture 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 informationMATH 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 informationMath 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 informationHOMEWORK 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 informationII. 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 informationVector 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 informationGeometry 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 informationNonlinear 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 informationGeometric 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 informationSection 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 informationfor 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 informationON 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 informationOn 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 informationMATH 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 informationNotes 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 informationAn 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 information1.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 informationDifferential-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 informationLMI 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 informationThere 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 informationExistence 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
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 informationim Γ (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 informationAn 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 informationHomwework 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 informationCubic 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
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 informationMath 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 informationSpherical 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 informationSummer 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 informationSLANT 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 informationDifferential 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 information3 (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 informationSOLUTIONS 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 informationOn 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 informationVector 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 informationGEOMETRY 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 informationContinuous 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 informationOn 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 informationCurves 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 informationCalculus 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 informationSmarandache 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 informationA 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 informationLecture 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 informationAnalysis 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 informationReflected 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 information5.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 informationProf. 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 informationFunctional 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 informationA 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 informationDIFFERENTIAL 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 informationUnit 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 informationFrom 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 informationMATH 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 informationLectures 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 informationEconomics 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 informationconverges 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 informationSmarandache 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 informationFunctional 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 informationParallel 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 information2 (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 informationSPACES 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