<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">WJM</journal-id><journal-title-group><journal-title>World Journal of Mechanics</journal-title></journal-title-group><issn pub-type="epub">2160-049X</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/wjm.2017.76014</article-id><article-id pub-id-type="publisher-id">WJM-76560</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Engineering</subject><subject> Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Characteristics of a Two-Body Holonomic Constraint Mechanical System
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Haiduke</surname><given-names>Sarafian</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Nenette</surname><given-names>Hickey</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>The Pennsylvania State University: University College, York, PA, USA</addr-line></aff><aff id="aff2"><addr-line>Pennsylvania Department of Health: Division of TB/STD, Harrisburg, PA, USA</addr-line></aff><pub-date pub-type="epub"><day>27</day><month>05</month><year>2017</year></pub-date><volume>07</volume><issue>06</issue><fpage>161</fpage><lpage>166</lpage><history><date date-type="received"><day>May</day>	<month>9,</month>	<year>2017</year></date><date date-type="rev-recd"><day>Accepted:</day>	<month>May</month>	<year>24,</year>	</date><date date-type="accepted"><day>May</day>	<month>27,</month>	<year>2017</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Two massive blocks are connected with a massless unstretchable line of 2l. One of the masses is placed on a horizontal frictionless table, l distance away from the edge of the table the other one is held horizontally equidistance from the edge along the extension of the line. The latter is released from rest. As it falls under gravity’s pull, it drags the one on the table. It is the interest of this investigation to analyze the kinematics of the system. Because of the holonomic constraint of the system, analysis of the problem encounters complicated super nonlinear coupled differential equations. Utilizing 
  <em>Mathematica </em>we solve the equations numerically. Applying the solutions we quantify numerous kinematic quantities; most interestingly we evaluate the run-time, and the trajectory of the falling block. Analysis is robust allowing us to address the “what if” scenarios.
 
</p></abstract><kwd-group><kwd>Computer Algebra System</kwd><kwd> &lt;i&gt;Mathematica&lt;/i&gt;</kwd><kwd> Holonomic Constraint</kwd><kwd>  Mechanical System</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Motivation and Goals</title><p>The investigation of the proposed scenario outlined in the abstract stems from questioning, “For two identical blocks which one reaches the vertical leg of the table first?” [<xref ref-type="bibr" rid="scirp.76560-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.76560-ref2">2</xref>] . Intuitively, it is an easy task without quantifying… Claim the block on the table! Quantification of the run-time, however, requires analytic analysis. It requires developing either expressions for the horizontal displacements of the blocks or their numeric plots vs. time. A holonomic [<xref ref-type="bibr" rid="scirp.76560-ref3">3</xref>] two-coor- dinate dependent constraint of the problem via an explicit time-independent relationship between the coordinates i.e. the length of the line, complicates the analysis. It is trivial to set up the equations of motion; solving them simultaneously encounters a set of extraordinary non-linear coupled differential equations. Applying a Computer Algebra System (CAS), specifically Mathematica [<xref ref-type="bibr" rid="scirp.76560-ref4">4</xref>] , [<xref ref-type="bibr" rid="scirp.76560-ref5">5</xref>] provides numeric solutions. Having the solutions in hand quantitatively we confirm our intuitive claim. In addition to determining numerous kinematic quantities, we identify the trajectory of the falling body. We address the proposed quantities by dividing the article in three sections. Section 2 embodies the layout of the physics of the problem including a derivation of the needed equations of motion, their solutions and the results that are mostly graphics. Section 3 is the conclusion and a few suggestions to augment the scope of the analysis addressing the “what if scenarios”.</p></sec><sec id="s2"><title>2. Physics of the Problem</title><p><xref ref-type="fig" rid="fig1">Figure 1</xref> shows the setup of the problem. Two identical blocks are connected with a massless, unstretchable line of length 2ℓ. Block 2 rests on the frictionless horizontal table top and the second one, block 1, is held horizontally along the extension of the line, equidistance from the edge. Conveniently the origin of the coordinate system is set as shown, with the vertical axis downward. At any given instance the coordinates of the blocks are, (x<sub>2</sub>(t),0) and (x<sub>1</sub>(t),y<sub>1</sub>(t)), respectively.</p><p>Block 1 is released from rest, as it falls pulls on block 2. The falling block sets a time-dependent tension, T(t), in the line. The massless line holds the same tension in the line. Tension, T, and angle, θ, with vertical are shown.</p><p>Applying Newton’s law gives the equations of motion for the blocks,</p><disp-formula id="scirp.76560-formula10"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-4900485x2.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.76560-formula11"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-4900485x3.png"  xlink:type="simple"/></disp-formula><p>And</p><disp-formula id="scirp.76560-formula12"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-4900485x4.png"  xlink:type="simple"/></disp-formula><p>The holonomic constraint is formulated as,</p><disp-formula id="scirp.76560-formula13"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-4900485x5.png"  xlink:type="simple"/></disp-formula><fig id="fig1"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> Setup of the problem</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x6.png"/></fig><p>From Equations (1) and (3) and substituting for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-4900485x7.png" xlink:type="simple"/></inline-formula>, we deduce,</p><disp-formula id="scirp.76560-formula14"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-4900485x8.png"  xlink:type="simple"/></disp-formula><p>On the other hand from Equations (2)-(4) and substituting for</p><disp-formula id="scirp.76560-formula15"><graphic  xlink:href="http://html.scirp.org/file/1-4900485x9.png"  xlink:type="simple"/></disp-formula><p>we have,</p><disp-formula id="scirp.76560-formula16"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-4900485x10.png"  xlink:type="simple"/></disp-formula><p>Equation (6) depends only to the coordinates of block 1.</p><p>By the same token Equation (5) is reduced to the coordinates of the block 1 provided <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-4900485x11.png" xlink:type="simple"/></inline-formula> is replaced applying constraint Equation (4),</p><disp-formula id="scirp.76560-formula17"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-4900485x12.png"  xlink:type="simple"/></disp-formula><p>Now Equation (7) depends only on the coordinates of block 1.</p><p>Equations (6) and (7) form a set of coupled ordinary differential equations. Hopelessly we were unable to solve the set of Equations (6) and (7) analytically. We apply Mathematica’s numeric solver NDSolve; we were stunned with its power! Coordinates of the blocks are shown in <xref ref-type="fig" rid="fig2">Figure 2</xref>.</p><p>For practical reasons the half-length of the line is set ℓ = 1.0 m. Because the blocks are identical, derived equations are mass independent. To set the time</p><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> Coordinates of block 1 and 2 vs. t. The dashed, and gray lines are x<sub>1</sub>(t), y<sub>1</sub>(t); the solid black line is the x<sub>2</sub>(t)</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x13.png"/></fig><p>scale we apply the free-fall run-time, namely<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-4900485x14.png" xlink:type="simple"/></inline-formula>.</p><p>The run-time of the actual case not being a free fall is a bit longer. <xref ref-type="fig" rid="fig2">Figure 2</xref> is the display of the coordinates of the blocks vs. time. Accordingly, as intuitively expected, block 2, the one that slides on the table (solid curve) reaches the edge first; this figure confirms our intuition. At the beginning blocks are one meter away from the edge; their distances change and coordinates as shown change accordingly. Block 1 lags behind, so that when block 2 is at the edge, block 1 is not quite there. The length of the line is 2.0 m; the end tip of the solid gray curve is not quite 2.0 m showing the connecting line is not perfectly vertical.</p><p>By eliminating parameter t between the coordinates of block 1, it enables us to display its trajectory shown in <xref ref-type="fig" rid="fig3">Figure 3</xref>.</p><p>As shown in <xref ref-type="fig" rid="fig3">Figure 3</xref> by the end of the run-time block 1 horizontally is off from the edge of the vertical leg and has fallen 1.8 m. Another interesting geometrical quantity is the time-dependent profile of the θ(t). The plot of this func-</p><p>tion, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-4900485x15.png" xlink:type="simple"/></inline-formula>, vs. t is shown in <xref ref-type="fig" rid="fig4">Figure 4</xref>.</p><fig id="fig3"  position="float"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> Trajectory of the block 1</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x16.png"/></fig><fig id="fig4"  position="float"><label><xref ref-type="fig" rid="fig4">Figure 4</xref></label><caption><title> Display of orientation of the hanging line with respect to vertical position, i.e. θ, vs. t</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x17.png"/></fig><p>As shown, θ, begins at 90˚ and at the end of run-time plunges to about 11˚.</p><p>Next we utilize the solutions evaluating kinematic quantities such as speed and acceleration of the individual block. These are displayed in <xref ref-type="fig" rid="fig5">Figure 5</xref>.</p><p><xref ref-type="fig" rid="fig5">Figure 5</xref>(a) shows beyond a certain instance, say about 0.4 s, block 2 (solid) moves faster than block 1 (dashed). The same is true for their associated accelerations depicted in <xref ref-type="fig" rid="fig5">Figure 5</xref>(b). These are additional justifications quantifying why block 2 should reach the edge first.</p><p><xref ref-type="fig" rid="fig6">Figure 6</xref>(a) is the vertical acceleration of block 1. <xref ref-type="fig" rid="fig6">Figure 6</xref>(b) is the tension vs. time.</p><p>As depicted the falling block begins with gravity acceleration, g, gains acceleration as it falls, <xref ref-type="fig" rid="fig6">Figure 6</xref>(a). Had we considered a simple pendulum scenario with a constant length pivoted at the edge, the acceleration of the block at the bottom would have been 2 g.</p><p>Applying Equation (1) we also depict the tension in the line, T; this is shown in <xref ref-type="fig" rid="fig6">Figure 6</xref>(b). For the sake of simplicity we assumed m = 1.0 kg. As shown the tension at the beginning is zero. While the block falls tension builds reaching to its maximum value, over valuing the static limit of 10.0 N by a factor nine.</p><p>We complete the analysis by displaying one of many phase diagrams, namely the plot of horizontal speed of block 1 vs. its horizontal coordinate, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-4900485x18.png" xlink:type="simple"/></inline-formula>.</p><p><xref ref-type="fig" rid="fig7">Figure 7</xref> shows the falling block while at its farthest distance from the edge begins with a zero horizontal speed reaching its maximum speed at closest distance to the edge.</p><fig-group id="fig5"><label><xref ref-type="fig" rid="fig5">Figure 5</xref></label><caption><title> (a) is the plot of the horizontal speeds of the blocks; block 1 is dashed, block 2 is solid; (b) is the display of their associated accelerations.</title></caption><fig id ="fig5_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x19.png"/></fig><fig id ="fig5_2"><label></label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x20.png"/></fig></fig-group><fig-group id="fig6"><label><xref ref-type="fig" rid="fig6">Figure 6</xref></label><caption><title> Vertical acceleration of block 1 (a) and tension (b) vs. time.</title></caption><fig id ="fig6_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x21.png"/></fig><fig id ="fig6_2"><label></label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x22.png"/></fig></fig-group><fig id="fig7"  position="float"><label><xref ref-type="fig" rid="fig7">Figure 7</xref></label><caption><title> Phase diagram of horizontal speed of block 1 vs. its horizontal coordinate</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/1-4900485x23.png"/></fig></sec><sec id="s3"><title>3. Conclusions and Suggestions</title><p>We analyze a problem that on its face is trivial. Although true, its detailed analysis is proven to be challenging. The challenge stems from the fact that the solution of the needed equations being a set of coupled super nonlinear ordinary differential equations analytically is unsolvable. This is another example that one needs to apply a Computer Algebra System (CAS). By applying one of the most powerful CASs, Mathematica, amazingly we were able to deduce the needed solutions. Having the solutions on hand, various information, e.g. trajectory of the falling object, dynamic quantities e.g. tension in the line is evaluated. For the majority of the quantities of interest we also applied the superb graphic capabilities of Mathematica displaying the results. An interested reader may extend the scope of the investigation considering 1) non-identical masses 2) determining masses making the blocks reach the edge simultaneously and 3) replacing the massless line with a massive one. Reference [<xref ref-type="bibr" rid="scirp.76560-ref6">6</xref>] embodies Mathematica codes and information needed to produce the graphs embedded in this article.</p></sec><sec id="s4"><title>Cite this paper</title><p>Sarafian, H. and Hickey, N. (2017) Characteristics of a Two- Body Holonomic Constraint Mechanical System. World Journal of Mechanics, 7, 161- 166. https://doi.org/10.4236/wjm.2017.76014</p></sec></body><back><ref-list><title>References</title><ref id="scirp.76560-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Halliday, D., Resnick, R. and Walker, J. (2014) Fundamental of Physics. 10th Edition, Wiley and Sons, New York.</mixed-citation></ref><ref id="scirp.76560-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Prokopenya, A.N. (2017) Motion of a Swinging Atwood’s Machine: Simulation and Analysis with Mathematica. Mathematics in Computer Science, 1-9. https://doi.org/10.1007/s11786-017-0301-9</mixed-citation></ref><ref id="scirp.76560-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Gantmacher, F. (1970) Lectures in Analytical Mechanics. MIR Publications, Moscow.</mixed-citation></ref><ref id="scirp.76560-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Mathematica&lt;sup&gt;TM&lt;/sup&gt; (2015) Is Symbolic Computation Software. V11.0, Wolfram Research Inc.</mixed-citation></ref><ref id="scirp.76560-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Wolfram, S. (1996) Mathematica Book. 3rd Edition, Cambridge University Press, Cambridge.</mixed-citation></ref><ref id="scirp.76560-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Sarafian, H. (2015) Mathematica Graphics Example Book for Beginners. Scientific Research Publishing. http://www.scirp.org</mixed-citation></ref></ref-list></back></article>