unit30.mws

ORDINARY DIFFERENTIAL EQUATIONS POWERTOOL

Unit 30 -- Application: Suspended Wire

Prof. Douglas B. Meade

Industrial Mathematics Institute

Department of Mathematics

University of South Carolina

Columbia, SC 29208

URL: http://www.math.sc.edu/~meade/

E-mail: meade@math.sc.edu

Copyright © 2001 by Douglas B. Meade

All rights reserved

-------------------------------------------------------------------

>

Outline of Unit 30

>

Initialization

> restart;

> with( DEtools ):

> with( plots ):

> with( linalg ):

Warning, the name changecoords has been redefined

Warning, the name adjoint has been redefined

Warning, the protected names norm and trace have been redefined and unprotected

>

30.A Suspended Wire

30.A-1 Derivation of Model

A model for the shape of a homogeneous flexible wire that is hanging in its equilibrium position is derived from the physical requirement that the total force on any segment of the cable must be in balance. Consider the segment of the curve AP from the lowest point A = ( 0, a ) to an arbitrary point P = X(t) = ( t , y(t) ) on the curve. The forces acting to hold the cable in equilibrium are the tensions at the endpoints and the weight of the segment of the cable. Because the unit tangent at A is - i = < -1, 0 >, the tension at A is T(0) = -H i where H is the magnitude of the tension at A. Likewise, the tension at P is the tangential force T(t) = T*X*`'`(t)/(`||`*X*`'`(t)*`||`) . Assuming the cable has density delta kg/m, the total mass of the cable is

> mass := m(t) = delta * Int( sqrt( 1 + diff( y(tau), tau )^2 ), tau=0..t );

mass := m(t) = delta*Int(sqrt(1+diff(y(tau),tau)^2)...

>

These forces are in balance when

0 = T(t)+T(0)+m(t)*g j

= T*X*`'`(t)/(``*`||`*X*`'`(t)*`||`)-H i - g*delta*Int(sqrt(1+diff(y(tau),tau)^2),tau = 0 .. t... j

Equating the horizontal and vertical components of the forces yields

> Fhoriz := 0 = T / sqrt( 1 + diff( y(t), t )^2 ) - H;

Fhoriz := 0 = T/(sqrt(1+diff(y(t),t)^2))-H

> Fvert := 0 = T * diff( y(t), t ) / sqrt( 1 + diff( y(t), t )^2 ) - g * delta * Int( sqrt( 1 + diff( y(tau), tau )^2 ), tau=0..t );

Fvert := 0 = T*diff(y(t),t)/(sqrt(1+diff(y(t),t)^2)...

>

These two equations can be combined to form the integro-differential equation

> q1 := eval( Fvert, isolate( Fhoriz, T ) );

q1 := 0 = H*diff(y(t),t)-g*delta*Int(sqrt(1+diff(y(...

>

To convert this to a differential equation, differentiate with respect to t

> q2 := isolate( diff( q1, t ), diff( y(t), t$2 ) );

q2 := diff(y(t),`$`(t,2)) = g*delta*sqrt(1+eval(dif...

>

or

> ode1 := diff( y(t), t$2 ) = alpha * sqrt( 1 + diff( y(t), t )^2 );

ode1 := diff(y(t),`$`(t,2)) = alpha*sqrt(1+diff(y(t...

>

where alpha = g*delta/H .

30.A-2 Explicit Solutions (Catenaries)

This is a nonlinear second-order ODE in standard form. Note that y(t) does not appear explicitly in this ODE; hence it can be solved by the methods in Unit 23, Section A.

The initial conditions are y(0) = a and, because the curve is horizontal at point A, y*`'`(0) = 0 :

> ic1 := y(0)=a, D(y)(0)=0;

ic1 := y(0) = a, D(y)(0) = 0

>

The solution to this IVP is

> q3 := dsolve( { ode1, ic1 }, y(t) );

q3 := y(t) = cosh(t*alpha)/alpha+(-1+a*alpha)/alpha...

> q4 := map( simplify, [q3] );

q4 := [y(t) = (cosh(t*alpha)-1+a*alpha)/alpha, y(t)...

>

Note that only one of these solutions is actually a solution to the original ODE with physically realistic parameters:

> assume( alpha>0 ):

> assume( t, real ):

> q5 := map( odetest, q4, ode1 );

q5 := [0, -2*cosh(t*alpha)*alpha]

>

and so

> sol1 := op(select( Y -> evalb(odetest( Y, ode1 )=0), q4 ));

sol1 := y(t) = (cosh(t*alpha)-1+a*alpha)/alpha

>

A curve that is a solution to this differential equation is called a catenary.

To see a representative example of a catenary, select numeric values for the parameters:

> param1 := [ a=1, alpha=0.01 ];

param1 := [a = 1, alpha = .1e-1]

> plot( eval( rhs(sol1), param1 ), t=-10..20 );

[Maple Plot]

>

Observe that the lowest point of this curve occurs at t = 0 , with height 1.

>

>

[Back to ODE Powertool Table of Contents]

>