<< Chapter < Page Chapter >> Page >

Note first that if φ 2 ( σ ) = x + i y is a point on the curve C , then v 2 ( φ 2 - 1 ( x + i y ) ) = y . Then, for any τ [ a , b ] , we have

v 1 - 1 ( v 2 ( g - 1 ( τ ) ) ) = v 1 - 1 ( v 2 ( φ 2 - 1 ( φ 1 ( τ ) ) ) ) = v 1 - 1 ( v 2 ( φ 2 - 1 ( u 1 ( τ ) + i v 1 ( τ ) ) ) ) = v 1 - 1 ( v 1 ( τ ) ) = τ ,

showing that v 1 - 1 v 2 = g - 1 - 1 = g . Hence g is continuously differentiable at every point s in the subintervals ( s i - 1 , s i ) . Indeed g ' ( σ ) = v 1 - 1 ' ( v 2 ( σ ) ) v 2 ' ( σ ) for all σ near s , and hence g is piecewise smooth.

Obviously, φ 2 ( s ) = φ 1 ( g ( s ) ) for all s , implying that φ 2 ' ( s ) = φ 1 ' ( g ( s ) ) g ' ( s ) . Since φ 2 ' ( s ) 0 for all but a finite number of points s , it follows that g ' ( s ) 0 for all but a finite number of points, and the theorem is proved.

Let φ 1 and φ 2 be as in the theorem. Then, for all but a finite number of points z = φ 1 ( t ) = φ 2 ( s ) on the curve C , we have

φ 1 ' ( t ) | φ 1 ' ( t ) | = φ 2 ' ( s ) | φ 2 ' ( s ) | .

From the theorem we have that

φ 2 ' ( s ) = φ 1 ' ( g ( s ) ) g ' ( s ) = φ 1 ' ( t ) g ' ( s )

for all but a finite number of points s ( c , d ) . Also, g is strictly increasing, so that g ' ( s ) 0 for all points s where g is differentiable. And in fact, g ' ( s ) 0 for all but a finite number of s 's, because g ' ( s ) is either ( v 1 - 1 v 2 ) ' ( s ) or ( u 1 - 1 u 2 ) ' ( s ) , and these are nonzero except for a finite number of points. Now the corollary follows by direct substitution.

REMARK If we think of φ ' ( t ) = ( x ' ( t ) , y ' ( t ) ) as a vector in the plane R 2 , then the corollary asserts that the direction of this vector is independent of the parameterization, at least at all but a finite number of points.This direction vector will come up again as the unit tangent of the curve.

The adjective “smooth” is meant to suggest that the curve is bending in some reasonable way, and specifically it should mean that the curve has a tangent, or tangential direction, at each point.We give the definition of tangential direction below, but we note that in the context of a moving particle, the tangential directionis that direction in which the particle would continue to move if the force that is keeping it on the curve were totally removed.If the derivative φ ' ( t ) 0 , then this vector is the velocity vector, and its direction is exactly what we should mean by the tangential direction.

The adjective “piecewise” will allow us to consider curves that have a finite number of points where there is no tangential direction, e.g., where there are “corners.”

We are carefully orienting our curves at the moment. A curve C from z 1 to z 2 is being distinguished from the same curve from z 2 to z 1 , even though the set C is the same in both instances. Which way we traverse a curve will be of great importance at the end of this chapter,when we come to Green's Theorem.

Let C , the range of φ : [ a , b ] C , be a piecewise smooth curve,and let z = ( x , y ) = φ ( c ) be a point on the curve. We say that the curve C has a tangential direction at z , relative to the parameterization φ , if the following limit exists:

lim t c φ ( t ) - z | φ ( t ) - z | = lim t c φ ( t ) - φ ( c ) | φ ( t ) - φ ( c ) | .

If this limit exists, it is a vector of length 1 in R 2 , and this unit vector is called the unit tangent (relative to the parameterization φ ) to C at z .

The curve C has a unit tangent at the point z if there exists a parameterization φ for which the unit tangent at z relative to φ exists.

  1. Restate the definition of tangential direction and unit tangent using the R 2 version of the plane instead of the C version. That is, restate the definition in terms of pairs ( x , y ) of real numbers instead of a complex number z .
  2. Suppose φ : [ a , b ] C is a parameterization of a piecewise smooth curve C , and that t ( a , b ) is a point where φ is differentiable with φ ' ( t ) 0 . Show that the unit tangent (relative to the parameterization φ ) to C at z = φ ( t ) exists and equals φ ' ( t ) / | φ ' ( t ) | . Conclude that, except possibly for a finite number of points, the unit tangent to C at z is independent of the parameterization.
  3. Let C be the graph of the function f ( t ) = | t | for t [ - 1 , 1 ] . Is C a smooth curve? Is it a piecewise smooth curve?Does C have a unit tangent at every point?
  4. Let C be the graph of the function f ( t ) = t 2 / 3 = ( t 1 / 3 ) 2 for t [ - 1 , 1 ] . Is C a smooth curve? Is it a piecewise smooth curve?Does C have a unit tangent at every point?
  5. Consider the set C that is the right half of the unit circle in the plane. Let φ 1 : [ - 1 , 1 ] C be defined by
    φ 1 ( t ) = ( cos ( t π 2 ) , sin ( t π 2 ) ) ,
    and let φ 2 : [ - 1 , 1 ] C be defined by
    φ 2 ( t ) = ( cos ( t 3 π 2 ) , sin ( t 3 π 2 ) ) .
    Prove that φ 1 and φ 2 are both parameterizations of C . Discuss the existence of a unit tangent at the point ( 1 , 0 ) = φ 1 ( 0 ) = φ 2 ( 0 ) relative to these two parameterizations.
  6. Suppose φ : [ a , b ] C is a parameterization of a curve C from z 1 to z 2 . Define ψ on [ a , b ] by ψ ( t ) = φ ( a + b - t ) . Show that ψ is a parameterization of a curve from z 2 to z 1 .
  1. Suppose f is a smooth, real-valued function defined on the closed interval [ a , b ] , and let C R 2 be the graph of f . Show that C is a smooth curve, and find a “natural” parameterization φ : [ a , b ] C of C . What is the unit tangent to C at the point ( t , f ( t ) ) ?
  2. Let z 1 and z 2 be two distinct points in C , and define φ : [ 0 , 1 ] c by φ ( t ) = ( 1 - t ) z 1 + t z 2 . Show that φ is a parameterization of the straight line from the point z 1 to the point z 2 . Consequently, a straight line is a smooth curve. (Indeed, what is the definition of a straight line?)
  3. Define a function φ : [ - r , r ] R 2 by φ ( t ) = ( t , r 2 - t 2 ) . Show that the range C of φ is a smooth curve, and that φ is a parameterization of C .
  4. Define φ on [ 0 , π / 2 ) by φ ( t ) = e i t . For what curve is φ a parametrization?
  5. Let z 1 , z 2 , ... , z n be n distinct points in the plane, and suppose that the polygonal line joing these points in order never crosses itself.Construct a parameterization of that polygonal line.
  6. Let S be a piecewise smooth geometric set determined by the interval [ a , b ] and the two piecewise smooth bounding functions u and l . Suppose z 1 and z 2 are two points in the interior S 0 of S . Show that there exists a piecewise smooth curve C joining z 1 to z 2 , i.e., a piecewise smooth function φ : [ a ^ , b ^ ] C with φ ( a ^ ) = z 1 and φ ( b ^ ) = z 2 , that lies entirely in S 0 .
  7. Let C be a piecewise smooth curve, and suppose φ : [ a , b ] C is a parameterization of C . Let [ c , d ] be a subinterval of [ a , b ] . Show that the range of the restriction of φ to [ c , d ] is a smooth curve.

Suppose C is a smooth curve, parameterized by φ = u + i v : [ a , b ] C .

  1. Suppose that u ' ( t ) 0 for all t ( a , b ) . Prove that there exists a smooth, real-valued function f on some closed interval [ a ' , b ' ] such that C coincides with the graph of f . HINT: f should be something like v u - 1 .
  2. What if v ' ( t ) 0 for all t ( a , b ) ?

Let C be the curve that is the range of the function φ : [ - 1 , 1 ] C , where φ ( t ) = t 3 + t 6 i ) .

  1. Is C a piecewise smooth curve? Is it a smooth curve?What points z 1 and z 2 does it join?
  2. Is φ a parameterization of C ?
  3. Find a parameterization for C by a function ψ : [ 3 , 4 ] C .
  4. Find the unit tangent to C and the point 0 + 0 i .

Let C be the curve parameterized by φ : [ - π , π - ϵ ] C defined by φ ( t ) = e i t = cos ( t ) + i sin ( t ) .

  1. What curve does φ parameterize?
  2. Find another parameterization of this curve, but base on the interval [ 0 , 1 - ϵ ] .

Questions & Answers

what is phylogeny
Odigie Reply
evolutionary history and relationship of an organism or group of organisms
AI-Robot
ok
Deng
what is biology
Hajah Reply
the study of living organisms and their interactions with one another and their environments
AI-Robot
what is biology
Victoria Reply
HOW CAN MAN ORGAN FUNCTION
Alfred Reply
the diagram of the digestive system
Assiatu Reply
allimentary cannel
Ogenrwot
How does twins formed
William Reply
They formed in two ways first when one sperm and one egg are splited by mitosis or two sperm and two eggs join together
Oluwatobi
what is genetics
Josephine Reply
Genetics is the study of heredity
Misack
how does twins formed?
Misack
What is manual
Hassan Reply
discuss biological phenomenon and provide pieces of evidence to show that it was responsible for the formation of eukaryotic organelles
Joseph Reply
what is biology
Yousuf Reply
the study of living organisms and their interactions with one another and their environment.
Wine
discuss the biological phenomenon and provide pieces of evidence to show that it was responsible for the formation of eukaryotic organelles in an essay form
Joseph Reply
what is the blood cells
Shaker Reply
list any five characteristics of the blood cells
Shaker
lack electricity and its more savely than electronic microscope because its naturally by using of light
Abdullahi Reply
advantage of electronic microscope is easily and clearly while disadvantage is dangerous because its electronic. advantage of light microscope is savely and naturally by sun while disadvantage is not easily,means its not sharp and not clear
Abdullahi
cell theory state that every organisms composed of one or more cell,cell is the basic unit of life
Abdullahi
is like gone fail us
DENG
cells is the basic structure and functions of all living things
Ramadan
What is classification
ISCONT Reply
is organisms that are similar into groups called tara
Yamosa
in what situation (s) would be the use of a scanning electron microscope be ideal and why?
Kenna Reply
A scanning electron microscope (SEM) is ideal for situations requiring high-resolution imaging of surfaces. It is commonly used in materials science, biology, and geology to examine the topography and composition of samples at a nanoscale level. SEM is particularly useful for studying fine details,
Hilary
Got questions? Join the online conversation and get instant answers!
Jobilize.com Reply

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Analysis of functions of a single variable. OpenStax CNX. Dec 11, 2010 Download for free at http://cnx.org/content/col11249/1.1
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Analysis of functions of a single variable' conversation and receive update notifications?

Ask