<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" media="screen" href="/~d/styles/rss2full.xsl"?><?xml-stylesheet type="text/css" media="screen" href="http://feeds.feedburner.com/~d/styles/itemcontent.css"?><!-- generator="wordpress/2.3.3" --><rss xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:wfw="http://wellformedweb.org/CommentAPI/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:feedburner="http://rssnamespace.org/feedburner/ext/1.0" version="2.0">

<channel>
	<title>ProtoQuant.com</title>
	<link>http://www.protoquant.com</link>
	<description>What WAS there before...</description>
	<pubDate>Sun, 22 Jan 2012 11:26:04 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.3.3</generator>
	<language>en</language>
			<atom10:link xmlns:atom10="http://www.w3.org/2005/Atom" rel="self" type="application/rss+xml" href="http://feeds.feedburner.com/protoquant" /><feedburner:info uri="protoquant" /><atom10:link xmlns:atom10="http://www.w3.org/2005/Atom" rel="hub" href="http://pubsubhubbub.appspot.com/" /><item>
		<title>New Testament and the Science</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/ibTxBwN_i1c/</link>
		<comments>http://www.protoquant.com/2011/07/10/new-testament-and-the-science/#comments</comments>
		<pubDate>Sun, 10 Jul 2011 10:52:06 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[NATURAL PHILOSOPHY OF NEW TESTAMENT]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/07/10/new-testament-and-the-science/</guid>
		<description><![CDATA[Nicolae Mazilu 
We are plainly aware that the New Testament helps us in choosing the right way in life, at any level of manifestation of the human being: from the individual to social level. In virtue of this observation we claim here that this maxim is valid for science also. Moreover, it is valid only for [...]]]></description>
			<content:encoded><![CDATA[<h1><span style="font-size: 12pt">Nicolae Mazilu </span></h1>
<p><span style="font-size: 12pt"><font face="Times New Roman">We are plainly aware that the New Testament helps us in choosing the right way in life, at any level of manifestation of the human being: from the individual to social level. In virtue of this observation we claim here that this maxim is valid for science also. Moreover, it is valid only for science. For, in conducting a rational life, if the man doesn&#8217;t have the New Testament, then he has not at his disposal but only the science.</font></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"> </font></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<li>Perceived like this, the New Testament has a first lesson for us: if the science, like any other human enterprise, does not realize to what extent it comes from and is committed to sin, then it will have no law. In proper words:<span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"><br />
<blockquote><p>&#8230; For by the law is the knowledge of sin. (<strong>Romans, 3:20</strong>)</p></blockquote>
<p>The true science has therefore this sacred task of giving the man the sense of law and by this the sense of sin. If the science does not offer us this awareness, then it has really no laws. This seems to be indeed the reality today. Speaking specifically of physics, the basic laws are only conventional limitations; sometimes we cannot even say that they are axioms. One can recognize this by the fact that they always lead to paradoxes, especially when it comes to their mathematical consequences.</p>
<li>Can we pinpoint the sin that comes with the science by a law in the Scriptures? Certainly! It is the second commandment of the Old Testament<br />
<blockquote><p>Thou shalt not make unto thee any graven image, or any likeness of any thing that is in heaven above, or that is in the earth beneath, or that is in the water under the earth. Thou shalt not bow down thyself to them, nor serve them: for I the LORD thy God am a jealous God, visiting the iniquity of the fathers upon the children unto the third and fourth generation of them that hate me; And showing mercy unto thousands of them that love me, and keep my commandments. (<strong>Exodus, 20: 4, 5</strong>; <em>our Italics</em>)</p></blockquote>
<p>Clearly, on occasions (very often lately!) the science transgresses this second commandment of the Old Testament. And we cannot do anything, for this is the nature of science: to work with likenesses. The only escape here would be to work with acceptable likenesses, and the whole New Testament shows us what this likeness is: the human body.</li>
<li>The human body is indeed among the earthly things, however not a &#8220;likeness&#8221; among those prohibited by the second commandment. In fact, if it is ever considered a &#8220;likeness&#8221;, it should be taken as in &#8220;after Our likeness&#8221;, from the sixth day of Creation (<strong>Genesis, 1:26</strong>): it is indeed holy. Pushing this conclusion a little further, one can say that the real science springs from those moments where it was not a sin, of which we can mention only two, the ones that make explicit reference to human body. These are the Copernican model of the Universe and the Newtonian association of the force with the celestial harmony. This last moment of science gave us the very possibility of application of mathematics in scientific predictions, and shows that in this science the contradiction is obsolete - the concept of falsifiability is practically superfluous. Therefore it proves that the mathematics itself is actually carried over from the Edenic life of man.</li>
<li>It is mainly from this perspective - of the human body - that we need to consider the New Testament. Following this idea we can extract the principles of a correct natural philosophy, of which many signs are already at our disposal in the modern scientific observation of Nature. For, Jesus did not proceed, did not act or speak, but only respecting the Law, i.e. without sin. We shall evaluate later those signs from science, by limiting our analysis only to the very foundation of the modern science. For now, let&#8217;s just give our reader the New Testament criteria of selection of the essential facts of the science.</li>
<li>To begin with, if the human body is sanctified in the Old Testament, by the very act of Creation, there is nowhere a more harmonious description of it, of its role and its essential tasks, than in the New Testament. Here Jesus Christ makes a key point from giving us the understanding that the human body is the very temple - the place of Trinity - that cannot be actually destroyed:<br />
<blockquote><p>&#8230; Destroy this temple, and in three days I will raise it up (<strong>John, 2:19</strong>)</p></blockquote>
<p>The reaction of Jews was genuinely human, and certainly it can qualify as scientific, in the sense in which the science is usually accepted and understood today. It is actually the reaction that the man has without the awareness of sin - strictly speaking with the consciousness of the fact that he is right. Everyone of us, facing the facts of social life, can logically understand such a reaction. On the other hand, facing those very facts of the social life is what makes apparently hard to understand the acts and explanations of Jesus. For instance:</p>
<blockquote><p>Then said the Jews, Forty and six years was this temple in building, and wilt thou rear it up in three days? (<strong>John, 2:20</strong>)</p></blockquote>
<p>This reaction is clearly dictated by the lack of understanding of the actual role played by the temple, i.e. by locating the sin in some other place than where it belongs. For, it is clear that, no matter of the point of view, the temple is the center of the social activity. In this capacity, its use deteriorated in time, because the social life evolved in history. It began to mean, among others, the spiritual alienation of man. Indeed, the center of social activity began to mean, at some point in time, also political center, commercial center and such like, qualities which Jesus explicitly disapproved, trying to resuscitate in us the first attribute of the concept, the natural one. According to this, the social activity should actually mean the preservation of one in the determination of the multiple. The ‘multiple&#8217; is the innate determinative of man. Indeed, even if he is created &#8220;in Our image, after Our likeness&#8221;, this doesn&#8217;t mean that man is God, by the very fact that &#8220;image&#8221; and &#8220;likeness&#8221; have, first and foremost, the determination of the multiple. But then, this is also the very meaning of the temple: the place of dwelling of God, the One in His multiple determinations. This should therefore be the human body - the natural temple - and this is apparently what Jesus meant!</li>
<li>This episode from the New Testament shows just how much can science separate the man from the true understanding of natural things. But it also shows that a proper awareness when it comes to human body can resuscitate in man that very true understanding of natural things. Indeed, the science as we know it today, was born, and has grown, specifically along the ideas of a &#8220;limited multiple&#8221;, involving elimination of outsiders by destructive force. This is why the science considers the force - its fundamental concept - only in its particular instance of the destructive capability. This is, on one hand, exactly the message we can draw from the essential steps of science, and on the other hand is surely what Jesus rejected through His acts and teachings.</li>
<li>Symptomatic should be therefore for us, first and foremost, the fact that He doesn&#8217;t use the force as man understands it, but even rejects it - and everyone of us knows with what painful consequences - as if specifically to make us aware of the fact that the force, in the destructive determination of its concept, is not essential for our life. Following this principle, we can see that the force maintaining the harmony, therefore the one accounting for freedom, is actually endorsed by mathematics as the basis of science. Obviously, this is the kind of force accepted and promoted by Jesus, and therefore this should be the true determination of the concept. What is the reason?</li>
<li>The force as conceived by science today is not essential because it cannot destroy the whole. Therefore it cannot be taken as a concept. The truth of this statement is certified by the resurrection of Jesus Christ Himself. This fact is nowhere shown but only in the New Testament, so that only Christians would be able to understand it properly. In our opinion, this is even the reason why the modern science is actually created by Christians. Indeed, as we just said before, the temple is the perpetuation of one in the determination of the ensemble. From the point of view of the perpetuation of the being, the temple has the role of directing the action of ensemble: that action has to be the action of ensemble as a whole. And the image of the whole is, again, the human body - the temple Jesus was talking about. As a whole, it can regenerate in resurrection, for no unnatural force can destroy it.</li>
<li>The historical and social case of the New Testament is a natural situation used scientifically, in the manner in which the experiments are used. The man had to go through a certain period of his social evolution, in order to be able to assimilate a message like that of the New Testament. Yet, unlike the case of experiments as they are scientifically understood today - i.e. provoked according to a preconceived image, like creating the landscape from a given map - the &#8220;experimental&#8221; situation of the New Testament was not one technologically built, but was entirely &#8220;natural&#8221;, although according to a nature that man created. On one hand, we can say that God gave us another chance of coming back to the status we had by Creation. On the other hand, we can see from this, the way in which an experiment must be conceived - exclusively for observation - and we should take special heed of this teaching. Securing preconceived conditions in order to verify a certain assumption, does not make a natural law from that assumption!</li>
<li>By His nature - and this fact is most important for what we have to say here - Jesus Christ cumulates in Himself the world from its beginning, even together with its evolution, because He is also the Son of Man. He holds the godly nature in the form of power of the Creator to act upon His creation, and this is revealed mostly by His relation with the physical world, with that part of Nature, external to human body, and which we sometimes designate as &#8220;dead&#8221; or &#8220;inert&#8221;. This is especially the place to pay due attention, because He doesn&#8217;t act but according to the natural laws, which He actually summarizes in Himself. If the science is indeed after these natural laws, then it should give up the arrogance of declaring the circumstantial findings as natural laws, and accept the laws as they are presented in the acts and teachings of Jesus Christ.</li>
<li>We thus have a firm criterion of choice of the acts and teachings of Jesus, which indicates to us what really are the laws that science must hold as natural laws. This criterion is simply that of following those acts and teaching related to the human body, either His own body or that of the individuals He encountered. The force, according to its natural concept, does correspond actually to the necessities of describing the universe as a whole. And we understand the word &#8220;whole&#8221; in the meaning first given by Copernicus, when he proposed the heliocentrism: it is the meaning given by harmony, whose unique image is that of the summit of Creation - the human body. It is therefore the time to show that the New Testament, as a new covenant, is mostly a covenant for that science which we call objective. And as Jesus has not expressed Himself but only by acts and parables, His acts are not miracles as usually believed, but plain natural acts, according to natural Laws. This shows, implicitly, what are those Laws indeed.</li>
<p></font></span></li>
<p></font></span></p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/ibTxBwN_i1c" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/07/10/new-testament-and-the-science/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/07/10/new-testament-and-the-science/</feedburner:origLink></item>
		<item>
		<title>The Laws of Nature According to the New Testament</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/K02SWL2pOEs/</link>
		<comments>http://www.protoquant.com/2011/07/09/the-laws-of-nature-according-to-the-new-testament/#comments</comments>
		<pubDate>Sat, 09 Jul 2011 14:21:44 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[NATURAL PHILOSOPHY OF NEW TESTAMENT]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/07/09/the-laws-of-nature-according-to-the-new-testament/</guid>
		<description><![CDATA[The difference between the human natural philosophy and the New Testament is that the first one claims explicit statement of the laws of Nature, while the New Testament gives them implicitly, in order to be understood regardless the particular of human experience. This is the main reason why the natural philosophy falls usually under the spell [...]]]></description>
			<content:encoded><![CDATA[<p>The difference between the human natural philosophy and the New Testament is that the first one claims explicit statement of the laws of Nature, while the New Testament gives them implicitly, in order to be understood regardless the particular of human experience. This is the main reason why the natural philosophy falls usually under the spell of axiomatics, having actually no laws. According to the New Testament, ther are but three main laws of Nature. </p>
<p>            First and foremost we find in the New Testament the law that we like to call of the whole and the part: every part of the world around us is perceived by man as a whole. No other manifestation of Nature can be found but only by respecting this law. This is how the world around is presented to our senses, and certainly this is what Christ respects in the first place. In its moments of truth the modern science came out as we have it today, only respecting such a law. In the very first moments of natural philosophy, the whole was the human body, and it was taken as the expression of harmony, being by itself a whole part of another whole.<br />
<o:p></o:p>            Secondly, the universe is made obvious to our senses by what we call matter. The New Testament then shows that the matter is submitted to the law of accumulation, i.e. of growing, until it can reach our senses or is reached by them. This law, stated in one parable of the New Testament, is obvious by itself in the history of science. Indeed, if this law wouldn’t act, we couldn’t have at our disposal nowadays concepts like substances, elements, and such like; the chemistry as well as the physics, would not be possible.           <br />
<o:p></o:p>            Finally, there is a law that shows how the wholes behave with respect to each other, that we’d like to call the law of density. It shows that the relation between the wholes is actually decided internally. However, the man, being of “little faith” hasn’t even succeeded to bring this law among the basic facts of the modern science, to say the least: it is only a fact that needs to be explained.           <br />
<o:p></o:p>            It is interesting, in the first place, to bring the acts of New Testament which show these laws.</p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/K02SWL2pOEs" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/07/09/the-laws-of-nature-according-to-the-new-testament/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/07/09/the-laws-of-nature-according-to-the-new-testament/</feedburner:origLink></item>
		<item>
		<title>THE THEORY OF TIRE-ROAD FRICTION</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/w2F60r5-wTo/</link>
		<comments>http://www.protoquant.com/2011/05/06/the-theory-of-tire-road-friction/#comments</comments>
		<pubDate>Fri, 06 May 2011 12:07:59 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[TIRE PHYSICS]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/05/06/the-theory-of-tire-road-friction/</guid>
		<description><![CDATA[The rolling tire interacts dynamically with the road surface, under the constant constraint of the load of vehicle. There are a bunch of distinct characteristics of this interaction, reflected in the friction force, for the case of traction and braking properties of the tire, in the noise produced by the tire when rolling, in the hydroplaning properties [...]]]></description>
			<content:encoded><![CDATA[<p><span>The rolling tire interacts dynamically with the road surface, under the constant constraint of the load of vehicle. There are a bunch of distinct characteristics of this interaction, reflected in the <em>friction force</em>, for the case of traction and braking properties of the tire, in the <em>noise</em> produced by the tire when rolling, in the <em>hydroplaning properties</em> of the tires, etc. All these depend upon some primary properties of the tire surface, of the rubber of tire, and of the road surface roughness and its physical condition (dry, wet, erroded and so on). In order to decide on the theoretical description of the way all these factors intermingle during the rolling of a tire, it is necessary to start from the basic process involved at any level in such an interaction: <em>the local deformation of a surface</em>.</span></p>
<h2><strong>A Classical Description of the Surface Deformation</strong></h2>
<p><span>Let’s therefore describe the so-called <em>infinitesimal deformation of a surface</em>, the way it is classically described (<strong>Guggenheimer, 1977</strong>). By definition this is the process of deformation in which the position vector on surface varies infinitesimally, something like</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0014.png" title="image0014.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0014.png" alt="image0014.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(1)</span></p>
</td>
</tr>
</table>
<p>so that the change in the first fundamental form of the surface is always smaller than ε even if this quantity is arbitrarily small:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0024.png" title="image0024.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0024.png" alt="image0024.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(2)</span></p>
</td>
</tr>
</table>
<p>As from equation (1) the deformed first fundamental form can be written as</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0034.png" title="image0034.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0034.png" alt="image0034.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(3)</span></p>
</td>
</tr>
</table>
<p>and therefore</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0044.png" title="image0044.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0044.png" alt="image0044.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(4)</span></p>
</td>
</tr>
</table>
<p>the condition (2) is satisfied if, and only if, the two infinitesimal vectors are perpendicular:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0054.png" title="image0054.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0054.png" alt="image0054.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(5)</span></p>
</td>
</tr>
</table>
<p>The degree of arbitrariness of the deformation vector <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0066.png" alt="image0066.png" /><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0066.png" title="image0066.png"></a></span> is thus somewhat reduced, in the sense that we can assume the existence of a vector, <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0074.png" alt="image0074.png" /><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0074.png" title="image0074.png"></a></span> say, such that</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0084.png" title="image0084.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0084.png" alt="image0084.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(6)</span></p>
</td>
</tr>
</table>
<p>About the vector <span><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0074.png" alt="image0074.png" /></span> we don’t know anything. However, about its differential we have a wealth of information. Indeed, as in the left hand side of equation (6) we have a vector with components exact differentials, applying the exterior differentiation to it should yield the null vector. This condition comes to</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0094.png" title="image0094.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0094.png" alt="image0094.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(7)</span></p>
</td>
</tr>
</table>
<p>where the symbol ʻ×<font size="2"><sub>˄</sub>’ shows that in the cross product of vectors, the regular multiplication is replaced by exterior multiplication of the differentials. Thus the equation (7) can be expanded over, just as usual, in the form of a 3×3 determinant</font></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0103.png" title="image0103.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0103.png" alt="image0103.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(8)</span></p>
</td>
</tr>
</table>
<p>provided we replace the regular multiplication by exterior multiplication of the differential forms. The result is a set of three differential equations:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0113.png" title="image0113.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0113.png" alt="image0113.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(9)</span></p>
</td>
</tr>
</table>
<p>The first two of these tell us that <span style="font-family: Times New Roman, serif; font-size: 12pt">dp<sup><font size="2">3</font></sup></span> is null, therefore the vector <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0074.png" alt="image0074.png" /> must be chosen such that <em>its component along the normal to surface is constant</em>. This circumstance is ideal in introducing, for instance the deformation of the tire due to the global loading force given by the dead weight of the vehicle, which is approximately constant. Then, on top of this deformation, the local details on the footprint come into play. Indeed, when using the <font color="#0033cc">Cartan’s lemma</font>, the last of equations (9) tells us that there is a symmetric 2×2 matrix with entries A, B, C say, such that:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0124.png" title="image0124.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0124.png" alt="image0124.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(10)</span></p>
</td>
</tr>
</table>
<p>As, on the other hand, the vector <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0133.png" title="image0133.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0133.png" alt="image0133.png" /></a> is an exact differential vector, we can write</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0143.png" title="image0143.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0143.png" alt="image0143.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(11)</span></p>
</td>
</tr>
</table>
<p>Expanding the last of these equations after the manner of the classical theory of surfaces, we get the vectorial equation</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0153.png" title="image0153.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0153.png" alt="image0153.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(12)</span></p>
</td>
</tr>
</table>
<p>amounting to the system of three differential equations:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0163.png" title="image0163.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0163.png" alt="image0163.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(13)</span></p>
</td>
</tr>
</table>
<p>The first two of these equations show that <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0133.png" alt="image0133.png" /> is transported by parallelism along the (already deformed) surface, while the third provides a condition we need to impose on the symmetric matrix from equation (10). Indeed, as the equations of definition of the curvature vector of the surface are (<strong>Guggenheimer, 1977</strong>):</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0173.png" title="image0173.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0173.png" alt="image0173.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(14)</span></p>
</td>
</tr>
</table>
<p>if we use the equation (10), the third of the conditions (13) comes to</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0183.png" title="image0183.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0183.png" alt="image0183.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(15)</span></p>
</td>
</tr>
</table>
<p>For an algebraic – and physical – interpretation of this result, let’s notice that, because <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0133.png" alt="image0133.png" /> is an intrinsic vector with respect to surface (its component along the normal to surface is null), the cross product of this vector with the elementary displacement on surface is oriented along the normal to surface. This vector is</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0193.png" title="image0193.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0193.png" alt="image0193.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(16)</span></p>
</td>
</tr>
</table>
<p>Consequently its magnitude is a quadratic form, algebraically conjugated to the second fundamental form of the surface (<em>apolar</em> to that form). One can therefore say that it adds to the second fundamental form, thus changing the local curvature of the surface. In order to assure this condition by default, one can define the coefficients A, B, C, up to a multiplicative factor, by equations</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0202.png" title="image0202.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0202.png" alt="image0202.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(17)</span></p>
</td>
</tr>
</table>
<p>where λ, μ, ν are <em>three external physical parameters</em>, or even three differentials determined by the second fundamental form itself, when the situation is referred to a previous state of the surface.</p>
<p>      These last parameters may describe the material of the deforming surface from a constitutive point of view. On the other hand, they may be even variations of the first fundamental form of the surface, therefore deformations properly speaking. This leads to the idea that the deformation described by displacements is not equivalent to that described by the variation of the first fundamental form of the surface. Usually there are also necessary some conditions relating the variation of the metric tensor with that of displacement vector. As long as one assumes that the metric tensor must depend exclusively only on the coordinates on surface, the conditions for infinitesimal deformation define, for instance, <em>the Killing vectors of the first fundamental form</em>. The equations (17) show nevertheless that, no matter of the physical nature of the deformation of surface, if this one is infinitesimal, the second fundamental form of the surface is involved directly and explicitly in its description, together with some external, perhaps physical, properties. This purely speculative conclusion mirrors the practical observation that there is no deformation of a surface in a point, that can proceed without being noticed by a variation of its normal direction in that point. Therefore this manner of describing the deformation is particularly useful in characterizing the friction process between two rough bodies, like the tire tread lugs and the road surface. Here the constant normal component of vector <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0074.png" alt="image0074.png" /> is simply the <em>normal contact force</em> – the loading force. The other two components don’t even matter but in the final end, and at a finer scale, after we have characterized their variations, possibly as stochastic processes due to roughness, and even after we have integrated these processes. As a matter of fact, the process of <em>friction between two surfaces</em>, offers an example where the force in surface should be specially defined by a differential 2-form, as the following analogy shows.</p>
<h2><strong>A Physical Interpretation by Electrodynamical Analogy</strong></h2>
<p>The equation (6) reminds us of the definition of force in electrodynamics. This science was built upon the ideas of <font color="#0066cc">deformations and stresses</font>, but the definition we are talking about does not rely on such concepts, but mainly on the kinematics extracted from experience. That experience shows us that a piece of wire through which an electric current passes, assumes a rotation when submitted to a magnetic field. This rotation is determined by a force proportional to the intensity of the current and the density of the magnetic field lines, and is perpendicular on both the lines of the magnetic field and the element of current:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image021.png" title="image021.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image021.png" alt="image021.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(18)</span></p>
</td>
</tr>
</table>
<p>Here <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image022.png" title="image022.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image022.png" alt="image022.png" /></a> is the characteristic density of the magnetic flux lines – the so-called <em>magnetic induction</em> – and I is the intensity of current passing through the the piece of wire characterized by the vector <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image023.png" title="image023.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image023.png" alt="image023.png" /></a>. As well known, the piece of wire is immaterial here, so that the formula (18) can also describe for instance the bending of the trajectories of a current of electrons or ions in vacuum.</p>
<p>      Now, let’s associate to the deformation vector <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image024.png" title="image024.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image024.png" alt="image024.png" /></a> a force, say by a <em>Hooke-like formula</em>, or by some other mathematical means, involving for instance a ‘<em>matrix of stiffnesses</em>’, regularly used by engineers in the estimation of deformation forces in finite-element calculations:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image025.png" title="image025.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image025.png" alt="image025.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(19)</span></p>
</td>
</tr>
</table>
<p>Then the equation (6) shows that, just like in the case of magnetic field from electrodynamics, the vector <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0074.png" alt="image0074.png" /> is related to some density of ‘flux of lines’ entering the physical surface under deformation. This analogy has, in the case of tire, a nice connotation that can be properly speculated in the theoretical physics of tire. Let’s describe it.</p>
<p>      The road roughness is ‘felt’ by the tire through the intermediary of its <em>footprint</em>, which is determined by the dead weight of the vehicle, by the material properties of the tread rubber, as well as by the tread design. In rolling conditions the road roughness influence on tire can be imagined as a flux of tiny ‘pokes’ in the portion of the surface of tire delimited by the footprint. This flux of tiny pokes, acting like the “rain on the roof”, as they sometimes say, is actually <em>the analogous of the induction of the magnetic field</em> as described above. More to the point, an appropriate expression would be ‘rain on the windshield’, because that ‘rain’ is strongly influenced by the motion of the vehicle. As the equation (16) shows, the details of local deformation on the very footprint or, even better, on the tread lugs, are then to be read in the variation of the second fundamental form of the external surface of the tire rubber.</p>
<h2><strong>Description of the Process of Wrinkling</strong></h2>
<p>Obviously, the rubber surface is prone to <em>wrinkling</em>: that much we notice even in the daily life. The wrinkling of a surface, is a process dependent on the state of previous wrinkling, and is physically assisted by the <em>friction force</em>. Therefore, one can assume that the friction force is null when the wrinkling is absent. Let’s show how this observation can be theoretically put into equation. First of all, the state of wrinkling is aptly described by the local curvature of the surface: the more wrinkled the surface the many more variations of curvature we notice in a certain portion of it. Secondly, the variation of curvature is described by the two differential forms of curvature (the components of the variation of normal unit vector of surface). On the other hand the wrinkling is physically determined by the <em>friction (rubbing) force</em>, which is a force acting tangent to surface, therefore a force ‘in-surface’, as they say. Then, according to one of the <font color="#0066cc"><font color="#0033cc">Cartan lemmas</font> </font>the friction force can be written in the form</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image026.png" title="image026.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image026.png" alt="image026.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(20)</p>
</td>
</tr>
</table>
<p><span>where </span><span><span style="font-family: Symbol; font-size: 12pt"><span>f</span></span><sup><span style="font-family: Times New Roman, serif; font-size: 12pt">1</span></sup></span><span> and </span><span><span style="font-family: Symbol; font-size: 12pt"><span>f</span></span><sup><span style="font-family: Times New Roman, serif; font-size: 12pt">2</span></sup></span><span> are two <em>conveniently chosen 1-forms</em>. Indeed, only in this case the friction force is zero if the curvature is zero and reciprocally. If the &#8216;conveniently chosen&#8217; 1-forms are the components of the first fundamental form <span style="font-family: Times New Roman, serif; font-size: 12pt">s<sup><font size="2">1</font></sup></span> and <span style="font-family: Times New Roman, serif; font-size: 12pt">s<sup><font size="2">2</font></sup></span>, then equation (20) gives us the definition of the curvature matrix as a limiting case. Indeed, it can happen that there are no friction forces, even if the surface is curved. Therefore the friction forces are null, without the curvature being null, so we have zero in the left hand side of equation (20). In this case, another one of the <font color="#0033cc">Cartan lemmas</font>, applied to equation (20), shows that we must have</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image027.png" title="image027.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image027.png" alt="image027.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(21)</p>
</td>
</tr>
</table>
<p><span>which is the usual definition of the <em>curvature matrix</em>, used in the development above.</span></p>
<p><span>      Let’s, however, assume that the friction force is nonvanishing, as surely is the case while the tire is rolling. In that case we can express the friction force as a differential 2-form:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image028.png" title="image028.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image028.png" alt="image028.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(22)</p>
</td>
</tr>
</table>
<p><span>where the indices take the values 1 and 2. The equation (20) can thus be rewritten in the form</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image029.png" title="image029.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image029.png" alt="image029.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(23)</p>
</td>
</tr>
</table>
<p><span>Now, according to the same one of the <font color="#0033cc">Cartan’s lemmas</font>, we can write, using a compact notation:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image030.png" title="image030.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image030.png" alt="image030.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(24)</p>
</td>
</tr>
</table>
<p><span>where <strong>Φ</strong> is the skew-symmetric 2×2 matrix having the entry <span style="font-family: Times New Roman, serif; font-size: 12pt">Φ<sub><font size="2">12</font></sub></span> ≡ Φ, and <strong>b</strong> is the usual curvature matrix from equation (21). We do recognize in the second one of these equations a curvature matrix <em>which is no more symmetric</em>. This means that it accounts also for the <em>twist of surface</em>, which is very important in the theory of deformations of a physical surface (<strong>Lowe, 1980</strong>). From among the usual measures of curvature, <em>friction thus described does not touch the mean curvature, but has an important saying in the Gaussian curvature</em>:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image031.png" title="image031.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image031.png" alt="image031.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(25)</p>
</td>
</tr>
</table>
<p>It is therefore proper to say that the associated wrinkling of the surface does not affect the mean curvature of the surface. In this respect, another important connection is to be noticed.</p>
<p>      The <em>road surface</em> is rough, and one needs to model somehow this roughness. A good approximation of such a surface is a minimal surface, i.e. a surface of zero mean curvature, but nonzero absolute curvature. In this case it is proper to say that Φ is a <em>stochastic process</em>, characterizing the road surface in a time decided by the speed of the rolling tire; therefore the Gaussian curvature itself of the road surface is a stochastic process. This further means that the road surfaces can have different roughnesses to be modeled as stochastic processes, and this fact bestows upon them different friction properties. It is also proper to say that the road surface bestows upon a tire specific noise properties, inasmuch as it determines a specific deformation on the footprint rubber. The fact is well known: the tire prediction industry has a whole arsenal of techniques dedicated to it, mainly along the lines of characterizing the tire behavior in connection with standard road surfaces. We shall come again on this subject later on.</p>
<p>      To conclude, in the cases when friction exists and acts continuously, like in the case of rolling tire, instead of equation (14) we must have</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image032.png" title="image032.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image032.png" alt="image032.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(26)</span></p>
</td>
</tr>
</table>
<p>The second fundamental form of the surface does not change:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image033.png" title="image033.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image033.png" alt="image033.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(27)</span></p>
</td>
</tr>
</table>
<p>and thus the ‘rubbing force’ does not influence the geometrical nature of the local surface of the tire rubber. On the other hand, if in the equation (20) we choose the ‘convenient’ differential 1-forms <span><span style="font-family: Symbol; font-size: 12pt"><span>f</span></span><sup><span style="font-family: Times New Roman, serif; font-size: 12pt">1,2</span></sup></span> as the components of the differential of position vector on the deformed surface:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center; margin: 1pt 0in" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image034.png" title="image034.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image034.png" alt="image034.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right"><span>(30)</span></p>
</td>
</tr>
</table>
<p>then <em>there is a friction force acting in-surface</em>:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image035.png" title="image035.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image035.png" alt="image035.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(29)</p>
</td>
</tr>
</table>
<p>In other words, a friction force is always present whenever the rubber of the tire is deformed. In such cases the deformation vector from equation (6) is known, therefore the vector <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0074.png" alt="image0074.png" /> can be known, as we have, by definition</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image036.png" title="image036.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image036.png" alt="image036.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(30)</p>
</td>
</tr>
</table>
<p>where, as shown before, <span style="font-family: Times New Roman, serif; font-size: 12pt">p<sup><font size="2">3</font></sup></span> is a constant. Using equation (30) in equation (29), we have an explicit expression for the 2-form of the friction force acting in the surface of the tire:</p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image037.png" title="image037.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image037.png" alt="image037.png" /></a></span></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p align="right">(31)</p>
</td>
</tr>
</table>
<p>One can draw from this formula some well known conclusions about friction. For instance,  the force is directly proportional with the normal load but, more importantly, it is also proportional with the mean curvature of the surface, at a certain scale represented by ε. As the friction force is usually hard to quantify properly, this last property makes formula (31) particularly valuable, of course, when properly used.</p>
<h2><strong>Conclusions</strong></h2>
<p>The last phrase here alludes to a “proper use” of the theory, and we discuss this notion now, by the way of concluding the above developments. If not used correctly, and read <em>ad literam</em>, formula (31) would show that on a <em>surface of zero mean curvature the friction force is zero</em>, which is far from what we observe in practice. As a matter of fact the friction phenomenon involves two surfaces, one of which, at least, <em>has to be in deformation</em>. Indeed, by the way we obtained that formula, we actually appealed to deformation in every step. In order to clarify this point let’s think about the process of friction between the tire and the road.</p>
<p>      When the road surface is perfectly smooth like, say, the face of ice, there is indeed no friction between road and tire. The friction starts to count significantly when the road surface becomes rough. This is because the road roughness determines a local deformation of the tire tread lugs, and it is this local deformation that contributes to friction. It can be diminished again by a lubricant, like the water or snow on the road, having the essential property to fill the little valleys of the road profile, and thus level it at a <em>certain microscopic scale</em>. This indicates the fact, well known to engineers for a long time, <em>that the friction force is a scale property</em>. For instance if the mean curvature is calculated on the whole area of footprint of the tire, it might end up being zero, thus indicating an improper zero friction force. However, we need to consider that formula on regions of such magnitude that the deformation becomes important: such a region is <em>the tread lug surface area</em>. On such regions the deformation imprinted by the road is far from being zero, so that the formula (31) gives actually nontrivial results depending on the tread rubber properties.</p>
<p>      Now let’s take another example, in order to correct the particular choice of an ice surface, whose behavior is in significant measure due to the melting of ice. Assume that the road face is from glass, and the road and tire are perfectly dry. Now there is no question of melting and lubrication, and the glass surface is ideally smooth. On the other hand, there is also no question that the friction properties of the rubber on glass are way different form those on ice. Why? It is here the place where the ‘material’ properties come into play: forces at the molecular level first initiate a small deformation of rubber, which then triggers a subsequent macroscopic deformation enhancing the friction force. In the case of ice, the melting water precludes, or at least delays, the initial small deformation, so that the friction force is appropriately diminished. This is why, when driving on snow we have to act carefully: <em>and the known way to take such care is not to touch the brakes</em>!</p>
<h2><strong>References</strong></h2>
<p><strong>Guggenheimer, H. W. (1977)</strong>: <em>Differential Geometry</em>, Dover Publications, New York</p>
<p><strong>Lowe, P. G. (1980)</strong>: <em>A Note on Surface Geometry with Special Reference to Twist</em>, Mathematical Proceedings of the Cambridge Philosophical Society, Vol. <strong>87</strong>, pp. 481 – 487</p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/w2F60r5-wTo" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/05/06/the-theory-of-tire-road-friction/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/05/06/the-theory-of-tire-road-friction/</feedburner:origLink></item>
		<item>
		<title>THE STRESSES IN THE TIRE RUBBER</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/1YvwF7qmIXs/</link>
		<comments>http://www.protoquant.com/2011/05/06/the-stresses-in-the-tire-rubber/#comments</comments>
		<pubDate>Fri, 06 May 2011 11:58:36 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[TIRE PHYSICS]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/05/06/the-stresses-in-the-tire-rubber/</guid>
		<description><![CDATA[From thermodynamical point of view the pressure is a stress, or a density of energy. The differential form thus defined by pressure should be a 3-form. As a matter of fact, the stresses in a material, in general, can be defined likewise, by a formula which generalizes only slightly the 3-form of pressure:






(1)


The origin of [...]]]></description>
			<content:encoded><![CDATA[<p dir="ltr"><span>From thermodynamical point of view the pressure is a stress, or a <em>density of energy</em>. The <font color="#0033cc">differential form thus defined by pressure</font> should be a 3-form. As a matter of fact, the stresses in a material, in general, can be defined likewise, by a formula which generalizes only slightly the 3-form of pressure:</span></p>
<p><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0016.png" alt="image0016.png" /></p>
</td>
<td align="right" width="1%">(1)</td>
</tr>
</table>
<p></span><span>The origin of the <em>triadic tensor</em> <strong>t</strong>, which here is no more <em>totally</em> skewsymmetric, can be explained in the engineering terms that follow. The forces transmitted through matter – in our case the tire rubber – can be written in the form</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0025.png" alt="image0025.png" /></p>
</td>
<td align="right" width="1%">(2)</td>
</tr>
</table>
<p></span><span>where <strong>p</strong> is a triadic tensor, skewsymmetric in the lower indices, and <strong>σ</strong> is the regular <em>tensor of stresses</em>, as defined classically. In view of the definition of the oriented elementary area as a skewsymmetric tensor of second order, we have the following definition for the tensor <strong>p</strong>:</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0036.png" title="image0036.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0036.png" alt="image0036.png" /></a></p>
</td>
<td align="right" width="1%">(3)</td>
</tr>
</table>
<p></span><span>where the summation convention over dummy indices is implicitly understood. In detail, the table defining p is</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0045.png" alt="image0045.png" /></p>
</td>
<td align="right" width="1%">(4)</td>
</tr>
</table>
<p></span><span>One can see that the covariant vector, defined by the contraction of <strong>p</strong> as</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0055.png" alt="image0055.png" /></p>
</td>
<td align="right" width="1%">(5)</td>
</tr>
</table>
<p></span> <span>is zero whenever the stress tensor is a symmetric matrix, and vice versa. If the classically defined stress tensor is not symmetric – <em>for instance if the material has inhomogeneities leading to local internal moments</em> – then the vector </span><span style="font-family: Times New Roman, serif; font-size: 12pt">p<sub><font size="2">k</font></sub></span><span> is not zero. </span><span>Now, in view of the definition (2) we can define the tensor <strong>t</strong> from equation (1) by lowering the upper index with the help of <em>the metric tensor reflecting the state of deformation of the rubber</em>:</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0067.png" alt="image0067.png" /></p>
</td>
<td align="right" width="1%">(6)</td>
</tr>
</table>
<p></span><span>Consequently, the thermodynamical transport theorem for the rubber can be written in the form</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0075.png" alt="image0075.png" /></p>
</td>
<td align="right" width="1%">(7)</td>
</tr>
</table>
<p></span><span>in view of the fact that the exterior differential of a 3-form in space is zero. Here <span style="font-family: Times New Roman, serif; font-size: 12pt">t<sub><font size="2">kl</font></sub></span> is the second order tensor obtained from the triad <strong>t</strong> by contraction with the velocity field of the surface of rubber:</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0085.png" alt="image0085.png" /></p>
</td>
<td align="right" width="1%">(8)</td>
</tr>
</table>
<p></span><span>Just as in the case of the thermodynamics of the <font color="#0033cc">tire cavity air</font>, there is a second derivative of the quantity from the left hand side of equation (7), coming from the transport theorem as applied to the quantity from the right hand side, which varies too, from different obvious reasons: the ‘little cube’ of the definition of stresses is deformed in a rolling tire, mostly in the region of the footprint, the whole tire vibrates, the heat deforms the tire, etc. Thus, we must have a time variation for the right hand side of equation (8), which normally induces a <em>second time derivative</em> for the left hand side:</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0095.png" alt="image0095.png" /></p>
</td>
<td align="right" width="1%">(9)</td>
</tr>
</table>
<p></span><span>This was the general idea, but we can simplify it by noticing that the fifferential 3-form from equation (1) can be written as:</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0104.png" alt="image0104.png" /></p>
</td>
<td align="right" width="1%">(10)</td>
</tr>
</table>
<p></span><span>Using now the definition (6) and the table (4) we get</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0114.png" alt="image0114.png" /></p>
</td>
<td align="right" width="1%">(11)</td>
</tr>
</table>
<p></span><span>This 3-form reduces to the usual mean stress when the metric is cartesian, i.e. when there is no deformation. Otherwise, if the metric is a deformed one but still of constant curvature (<strong>Coll, Llosa, Soler, 2002</strong>), the rubber stretches enter our considerations, and we have, for instance</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0125.png" alt="image0125.png" /></p>
</td>
<td align="right" width="1%">(12)</td>
</tr>
</table>
<p><span>where </span><span><span><span style="font-family: Symbol; font-size: 12pt"><span>s</span></span><sub><span style="font-family: Times New Roman, serif; font-size: 12pt">n</span></sub></span></span><span> is the classical <em>mean stress</em> (the trace of the stress tensor). The quantity from the curly brackets of this equation is the density of energy of the material due to stress in a state of deformation described by the stretches </span><span><span><span style="font-family: Symbol; font-size: 12pt"><span>l</span></span><sub><span style="font-family: Times New Roman, serif; font-size: 12pt">k</span></sub></span></span><span>. It explicitly depends on the stresses as well as on the very state of deformation.</span><span>    </span><span>Let’s denote by U the density of energy from the curly brackets of equation (12). The equation (7) thus takes the form</span><span> </span></p>
<p></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0134.png" alt="image0134.png" /></p>
</td>
<td align="right" width="1%">(13)</td>
</tr>
</table>
<p><span>with <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0144.png" title="image0144.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0144.png" alt="image0144.png" /></a> </span><span><span> </span>the velocity field at the surface of the tire material. As known, this surface has the <em>internal part</em> – the surface of the tire cavity – and an <em>external part</em> – the outer surface of sidewalls together with the tread. So, the velocity field <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0144.png" title="image0144.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0144.png" alt="image0144.png" /></a> accounts here for the internal motions of the tire carcass as well as for the external vibrations. The equation (9) can be written as:</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0154.png" alt="image0154.png" /></p>
</td>
<td align="right" width="1%">(14)</td>
</tr>
</table>
<p></span><span>The right hand side here can again be treated by the transport theorem, and yields</span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0165.png" title="image0165.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0165.png" alt="image0165.png" /></a></p>
</td>
<td align="right" width="1%">(15)</td>
</tr>
</table>
<p></span><span>where <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0174.png" title="image0174.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0174.png" alt="image0174.png" /></a></span><span> </span>is the velocity vector on the line boundaries of tire rubber, i.e. <em>at the bead reinforcements</em>, but not only there, because there is a subtle catch in this formula.<br />
     Indeed, if we consider, just for the sake of understanding, the tire as a homogeneous structure, with no tread pattern and other accidents, the line boundary of the tire rubber is given not only by the bead reinforcements, where the two parts, internal and external, of the tire surface meet, but also by the <em>limit closed line making the boundary of the footprint</em>. So the line integral from the right hand side of the equation (15) is actually a sum of three cyclic integrals, two for the bead reinforcements and one for the tire footprint contour. This fact copes not only with the known fact that the rolling resistance of the tire is mainly concentrated in the <em>footprint stress cycling</em>, but also with the more subtle fact that, for instance, the <em>flatspotting of the tire</em> should be strongly influenced by the contact between the bead and wheel hub. Using equation (15) and the explicit form of the stress energy density from (12) into equation (14) we get the final form of the ‘acceleration’ of the energy in the tire structure:<span> </span><span></span><span></span><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"></a></p>
<p style="text-align: center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0186.png" title="image0186.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0186.png" alt="image0186.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0185.png" title="image0185.png"></a></p>
</td>
<td align="right" width="1%">(16)</td>
</tr>
</table>
<p><span>This formula shows not only the intuitive fact that the second variation of the stress energy of the tire structure is given by the behavior of energy density at the rubber surface, but also that it should be decided, to a great extent, <em>by the exchange of this energy through the limit of the footprint and the bead contact between the tire and the wheel</em>.</span></p>
<h2><span><strong>Conclusions</strong></span></h2>
<p><span> </span><span>In order to get the gist of the issue, we reasoned, in the development above, on the tire as a kind of homogeneous structure. However, the tire engineers are well aware of the significant difference between different tire constructions. Where is that difference coming from? Well, as the equation (16) shows, it can only come from the particular properties of the <em>bead reinforcements</em>, of the <em>footprint shape</em>, and last, but by no means the least, from the <em>material properties</em> entering the very form of the density of energy.</span><br />
<span>     Just to illustrate the idea, let’s limit the present discussion to the footprint contour line, for it is by far the most significant in this respect. We’ll deal later on explicitly anyway, with all of the issues involved here, but for now let’s discuss just the footprint, because it is more obvious as an example. In a ideally homogeneous tire, and on an ideally smooth road, the footprint contour line is a continuous one, so that the line integral in equation (16) makes plainly sense, and can be performed as usual. In a real tire, however, the specific tread pattern interrupts the continuity of the contour of the footprint to <em>only its segments on the tread lugs</em>, while the <em>road roughness</em> interrupts the continuity of those very segments. This is an issue that can compel us to consider higher time variations of the right hand side of equation (16), inasmuch as the very interrupted contour varies. Therefore, the variation of energy from the left hand side of that formula may be decided by the third or even higher time derivatives. The bottom line is that the behavior of the tire depends strongly on its construction (<em>tread pattern</em>) as well as on the road roughness, and the fundamental formula (16) takes into consideration all of the possible cases.</span> <br />
     But the things get even more complicate in the real tire. Indeed, by the very same token, one can figure out that, in a real tire, the ‘<em>surface delimiting the material</em>’ is to a large extent a matter of construction of the tire. In this construction we ought to decide what is the main material, i.e. the one producing the variable density of energy. One can say right away, by a century or so of practice, that this is the rubber. However, in the tire construction there are quite a few kinds of rubber having wildly varying material properties. Let’s therefore push the idea of homogeneity to still another level, again, just for the sake of argument. Assume, thus, that the tire construction involves only a kind of rubber and only the metal of wires of the belt and bead reinforcements. This way the argument that the rubber is the main material in this construction, having a variable energy density, remains indeed still in force. However, in this case it is obvious that the integral from the right hand side of the equation (13) involves not only the two parts of the outer surfaces of the tire rubber, but also the <em>internal closed tiny surfaces between the rubber and metal</em>, accounting for the loss of energy from rubber through the metal, which thus warms up. In case we treat the wires as structural inhomogeneities, the behavior at the limit interface metal-rubber is decided by the covariant vector from equation (5), for there the <em>stress tensor is nonsymmetric</em>. This is also the main microscopic fact that links the flatspotting of the tire at the footprint to the properties of contact between the bead and the hub. As we said before, we’ll have to deal with these issues separately later on. </p>
<h2><span><strong>Reference</strong></span></h2>
<p><span> </span><span><strong>Coll, B., Llosa, J., Soler, D. (2002)</strong>:</span><span> <em>Three-Dimensional Metrics as Deformations of a Constant Curvature Metric</em>, General Relativity and Gravitation, Vol. <strong>34</strong>, pp. 269 – 282</span></p>
<p></span></p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/1YvwF7qmIXs" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/05/06/the-stresses-in-the-tire-rubber/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/05/06/the-stresses-in-the-tire-rubber/</feedburner:origLink></item>
		<item>
		<title>THE INTERNAL PRESSURE OF TIRE</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/3lMLbB1a_yc/</link>
		<comments>http://www.protoquant.com/2011/05/06/the-internal-pressure-of-tire/#comments</comments>
		<pubDate>Fri, 06 May 2011 11:55:48 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[TIRE PHYSICS]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/05/06/the-internal-pressure-of-tire/</guid>
		<description><![CDATA[The tire is a structure complicated not only by the details of design, but by the very physics involved in its working conditions. In the matters of tire design details, a century of designing and building tires has taught the manufacturers that the tires should have just about the same standard design features. The different [...]]]></description>
			<content:encoded><![CDATA[<p><span style="font-size: 12pt"><font face="Times New Roman">The tire is a structure complicated not only by the details of design, but by the very physics involved in its working conditions. In the matters of tire design details, a century of designing and building tires has taught the manufacturers that the tires should have just about the same standard design features. The different tire brand names basically designate details in dimensions of the tire parts, materials, belt construction, tread patterns, bead reinforcements, etc. There is no tire performing ideally in all of the working conditions. However, in order to assess the basic tracts of the performance of the tire, one needs to understand the physics governing its working conditions. And the fundamental laws of this physics reside in the <em>concept of force</em>. This much is well known and understood by everybody. What is not well known and understood, and therefore not properly used when occasions require that use, is the fact that the concept of force in a rolling tire involves, like in no other moving earthly structure created by man, <em>all of the aspects</em> of the concepts of force. Let’s therefore elaborate a little, on this occasion, on the concept of force itself, in order to show what we mean by &#8216;all aspects&#8217;.</font></span></p>
<p><font face="Times New Roman"><span style="font-size: 12pt">     </span><span style="font-size: 12pt">First, while working, the tire is in a rolling motion, and this requires the representation of the force by differential forms, in order to be able to apply a transport theorem helping in dynamical calculations. Physically the force is represented either by a 1-form (the mechanical work) or by a 2-form (the flux), as in the case of the pressure of the tire cavity. The difference between the two representations is given by the fact that, in the first case the force <em>is a vector</em> upon which we construct the 1-form of elementary mechanical work, while in the second case <em>the 2-form itself is the force, while the flux defining the 2-form is the pressure</em>. Correctly speaking, the pressure is therefore a skew-symmetric second order tensor, which defines a 2-form representing the force, exactly the way in which the vector force defines the 1-form of mechanical work. Speaking of  the tire cavity air, there is a third approach of the pressure, that from a thermodynamical point of view, whereby <em>the pressure is a tensor of the third order</em>, generating a differential 3-form, which physically is an energy. It is this representation that allows us to understand the thermodynamics of the tire cavity and to connect it with the behavior of the materials from the construction of tire.</span></font></p>
<p><font face="Times New Roman"><span style="font-size: 12pt">     </span><span style="font-size: 12pt">As the rolling tire is in motion, we can reckon that there should be a <em>theorem of transport</em> for every physical quantity, so much more for the force in all its aspects presented above, analogous to the classical one of Osborne Reynolds (<strong>Reynolds, 1903</strong>). This theorem is accounting for both the variation of the physical quantity itself, and for the variation of the space support of the force (the footprint, the matter volume of rubber, the surfaces – internal and external – of the tire). In the form we need it here, such a theorem was given by David Betounes (<strong>Betounes, 1983</strong>) who noticed that the <em>general transport theorem</em> is actually an explicit expression of recovering the <em>Lie derivative</em> of a certain differential form. Even though we presented this theorem elsewhere for the necessities of <a href="http://www.protoquant.com/a-reasonable-story-of-electrodynamics/"><font color="#0066cc">electrodynamics</font></a> and <a href="http://www.protoquant.com/kinematics-of-fluxes-and-bundles-of-trajectories/"><font color="#0066cc">solar physics</font></a>, let’s repeat it here for the sake of completeness and ‘local use’ so to speak.</span></font></p>
<p><font face="Times New Roman"><span style="font-size: 12pt">     </span><span style="font-size: 12pt">The evolution of a certain domain D, like the internal cavity, the structural material volume or the surfaces of the tire, can be mathematically represented by a family of applications indexed by a real parameter ‘t’, playing the part of ‘time’: {</span></font><span style="font-family: Symbol; font-size: 12pt"><span>f</span></span><font face="Times New Roman"><sub><span style="font-size: 12pt">t</span></sub><span style="font-size: 12pt">}<sub><font size="2">t</font></sub></span></font><span style="font-family: Symbol; font-size: 12pt"><span><sub><font size="2">Î</font></sub></span></span><font face="Times New Roman"><span><sub><font size="2">R</font></sub>. <font size="3" face="times new roman,serif">The time derivative of a differential form</font>, </span></font><span style="font-family: Symbol; font-size: 12pt"><span>w</span></span><span style="font-size: 12pt"><font face="Times New Roman"> say, is then replaced by <em>the Lie derivative</em> accounting for both the variation of the physical quantity represented by the differential form, and for the evolution of the domain itself. First, the evolution of the domain generates a velocity field:</font></span></p>
<p><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" title="image0013.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0013.png" alt="image0013.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(1)</td>
</tr>
</table>
<p></font></span><font size="3"><font size="+0"> </font><span style="font-size: 12pt"><font face="Times New Roman">where <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0023.png" title="image0023.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0023.png" alt="image0023.png" /></a> </font><font face="Times New Roman">is the position vector in the initial domain D. Then, the Lie derivative of the differential form can be written as the time variation of the differential form when dragged by this vector field:</font></span></font><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0033.png" title="image0033.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0033.png" alt="image0033.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(2)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">A star denotes here the so-called pullback, i.e. the result of replacing the new coordinates of the domain in the form ω. The actual computation of the Lie derivative can be performed by the “golden formula”</font></span><font size="3"> </font></p>
<p></font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0043.png" title="image0043.png"><font size="3"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0043.png" alt="image0043.png" /></font></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(3)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">The symbol ‘</font></span><span style="font-family: Symbol; font-size: 12pt"><span>Ù</span></span><span style="font-size: 12pt"><font face="Times New Roman">’ means here the exterior multiplication or exterior differentiation as the case may be, while the symbol </font><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0053.png" title="image0053.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0053.png" alt="image0053.png" /></a></span><font face="Times New Roman"><span> </span>means the internal product between vector and any differential form (see <strong>Arnold 1976</strong>). The transport theorem describes the rate of variation of the quantity <em>represented</em> by ω – not by the quantity <em>it defines</em>, i.e. the quantity represented by its coefficients – in the domain D, while this very domain varies. Betounes gives the transport theorem in the form</font></span></p>
<p><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0065.png" title="image0065.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0065.png" alt="image0065.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(4)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">where ∂</font></span><span style="font-family: Symbol"><span><font size="3">f</font></span></span><font face="Times New Roman"><sub><span><font size="2">t</font></span></sub><span style="font-size: 12pt"><font face="Times New Roman">(D) denotes the border of </font></span><span style="font-family: Symbol"><span><font size="3">f</font></span></span><font face="Times New Roman"><sub><span><font size="2">t</font></span></sub><span style="font-size: 12pt"><font face="Times New Roman">(D) and the <em>Stokes theorem</em> was used. Let’s illustrate this theorem for the case of tire.</font></span></font></font><font face="Times New Roman"><font face="Times New Roman"><span style="font-size: 12pt"><font face="Times New Roman"><span>    </span>We consider first the case of internal pressure of the tire cavity. The pressure is physically represented by the force exerted by the air from the cavity upon the internal wall of the tire cavity, which is usually given by a double integral written as</font></span></font></font><font face="Times New Roman"><font face="Times New Roman"><span style="font-size: 12pt"> </span></font></font></p>
<p></font></span><font face="Times New Roman"><font face="Times New Roman"><span style="font-size: 12pt"></span></font></font><font face="Times New Roman"><font face="Times New Roman"><span style="font-size: 12pt"></span></font></font><font face="Times New Roman"><font face="Times New Roman"><span style="font-size: 12pt"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0073.png" title="image0073.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0073.png" alt="image0073.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(5)</td>
</tr>
</table>
<p><font face="Times New Roman"><font face="Times New Roman"><font face="Times New Roman"><span style="font-size: 12pt">Here we neglected the global effect of pressure which, if considered, would ask for a closed surface of integration. But we shouldn’t be interested in this when it comes to the dynamical considerations on the rolling tire. For instance, a part of the surface bordering the tire cavity belongs to the rim, it is metallic. Consequently we expect no variations of this portion of surface that might qualify as deformation, by comparison with the internal surface of the tire carcass. Therefore, the integral from equation (5) is simply done over the internal surface of the tire per se, which is delimited by the circles of the bead reinforcements. This is an <em>open surface</em>.</span></font></font></font></p>
<p></span></font></font><font face="Times New Roman"><font face="Times New Roman"><font face="Times New Roman"><span style="font-size: 12pt">     P</span><span><font size="+0">erhaps the most important consequence of this line of thought is the fact that the pressure should be treated as a skew symmetric second order tensor, <em>because the force given by pressure at the wall is a actually a differential 2-form</em>. Indeed, the element of oriented surface of the interior wall of the tire is a skew symmetric tensor which, in view of the three-dimensionality of space, is equivalent to a vector that can be written in the form of a column matrix</font></span></font></font></font><font face="Times New Roman"><font face="Times New Roman"><font face="Times New Roman"><span></span></font></font></font><font face="Times New Roman"><font face="Times New Roman"><font face="Times New Roman"><span></span></font></font></font><font face="Times New Roman"><font face="Times New Roman"><font face="Times New Roman"><span><font size="+0"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0083.png" title="image0083.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0083.png" alt="image0083.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(6)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">where ε<sub><font size="2">ijk</font></sub> is the Levi-Civita totally antisymmetric symbol. Consequently the force exerted by pressure at the wall should rather be represented as a differential 2-form:</font></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0093.png" title="image0093.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0093.png" alt="image0093.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(7)</td>
</tr>
</table>
<p></font></span></p>
<p></font></span></font></font></font><span style="font-size: 12pt"><font face="Times New Roman">The matrix <strong>p</strong> is here a skew symmetric second order tensor. This makes out of ‘p’ from equation (5) the projection of the vector equivalent to <strong>p</strong> along the direction of the normal to surface, which is the natural way to consider the pressure. This is, for instance, the case in the kinetic theory of ideal gases. The bottom line is that the variation of force <em>at the internal wall of the tire</em> is given, according to the transport theorem, by the equation</font></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0102.png" title="image0102.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0102.png" alt="image0102.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(8)</td>
</tr>
</table>
<p></font></span><span style="font-size: 12pt"><font face="Times New Roman">Here we applied the formula (4) whereby we considered that the exterior differential of a 2-form oves a surface is zero. Consequently we consider this effect of pressure <em>intrinsic to the surface</em>. The vector ‘pressure’ in equation (8) is defined by equation</font></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0112.png" title="image0112.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0112.png" alt="image0112.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(9)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">as the vector whose projection along the normal to surface is the internal pressure of tire. In the right hand side of equation (8) the cyclic line integral is performed over the circles of the bead reinforcements, and therefore the velocity field <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0123.png" title="image0123.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0123.png" alt="image0123.png" /></a> is the internal tire surface velocity field at the bead reinforcements.</font></span><font face="Times New Roman"><span style="font-size: 12pt"> </span></font><font size="2"> </font><span style="font-size: 12pt"></span></p>
<p><font face="Times New Roman"><span><font size="+0"><span>    </span>On the other hand, the pressure should be conceived here thermodynamically, through the elementary thermodynamical work (pdV), as the tire is heating and its working and life are strongly dependent on the heat generated in rolling. In this case the pressure should be taken <em>as a differential 3-form of energy</em>, i.e. we should have</font></span></font><font face="Times New Roman"><span><font size="+0"> </font></span></font></p>
<p></font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0123.png" title="image0123.png"></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0132.png" title="image0132.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0132.png" alt="image0132.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(10)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">Here p<sub><font size="2">ijk</font></sub> is a totally antisymmetric third order tensor representing the pressure, while ε<sub><font size="2">ijk</font></sub> is the Levi Civita’s totally antisymmetric symbol. The transport theorem has now the form</font></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0142.png" title="image0142.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0142.png" alt="image0142.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(11)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">where D is the space domain of the tire cavity, and we used the property of the differential 3-forms of yielding zero when exterior differentiated in space. Here <img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0123.png" alt="image0123.png" /></font></span><font face="Times New Roman"><span style="font-size: 12pt"> is the velocity at the limiting surface of the tire cavity, i.e. the internal surface of the tire carcass plus the surface of the rim. <span>Under the cyclic integral from the right hand side of equation (11) we have the differential form</span></span></font><font face="Times New Roman"><span style="font-size: 12pt"><span></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0152.png" title="image0152.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0152.png" alt="image0152.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(12)</td>
</tr>
</table>
<p></span></span></font></p>
<p></font></span><span style="font-size: 12pt"><span style="font-size: 12pt"><font face="Times New Roman">which, again, can be treated according to the transport theorem. Mention should be made that in the right hand side of equation (11) we have a skew-symmetric second order tensor representing a power:</font></span></span><span style="font-size: 12pt"><font size="+0"> </font></span><span style="font-size: 12pt"><span style="font-size: 12pt"></span></span><span style="font-size: 12pt"><span style="font-size: 12pt"></span></span><span style="font-size: 12pt"><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0162.png" title="image0162.png"><font size="+0"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0162.png" alt="image0162.png" /></font></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(13)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">This makes sense physically: the rate of variation of energy in a volume is the <em>power dissipated or absorbed in that volume</em>. However, as the tire rotates, even the integral of the 2-form from the right hand side of equation (11) varies, at the very least due to the vibration of the internal surface of the tire cavity, and this variation is described by the same transport theorem. Thus, it turns out that actually we must have even a rate of variation of the dissipated power, due to the fact that the border of the tire cavity varies during rolling:</font></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0172.png" title="image0172.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0172.png" alt="image0172.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(14)</td>
</tr>
</table>
<p></font></span></p>
<p></font></span></span><span style="font-size: 12pt"><font face="Times New Roman">Let’s concentrate on the integral from the right hand side here. First, we have reasons to believe that the metallic rim contribution to that integral has no variation. For instance the rim does not vibrate due to the road surface as much as the tire itself vibrates. Thus we are left with the time variation of an integral over the internal surface of the tire carcass which, by the Betounes’ transport theorem, can be expressed by a sum involving the variation of energy due to the variation of the internal surface of the tire and a cyclic line integral over the bead reinforcements:</font></span><span style="font-size: 12pt"><font size="+0"> </font></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0182.png" title="image0182.png"><font size="+0"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0182.png" alt="image0182.png" /></font></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(15)</td>
</tr>
</table>
<p></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></p>
<p style="text-align: justify; margin: 0in 0in 0pt"><span><font face="Times New Roman">Here <a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0192.png" title="image0192.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0192.png" alt="image0192.png" /></a></font></span><font face="Times New Roman"><span> </span>is the velocity of tire at the bead level. Thus the thermodynamics of the internal cavity of the tire is decided by an equation of the form</font></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0201.png" title="image0201.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0201.png" alt="image0201.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(16)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">If the velocity vector of the surface of the tire at the level of bead reinforcements coincides with the velocity of the rim itself, which is a first thought about the two vectors, and can be true in certain situations, then the line integral from the right hand side of equation (16) is zero and the thermodynamical contribution of the air inside tire cavity <em>is limited to the dissipation through the internal surface of the tire</em>. However, in general, we can expect a certain jump of the velocity field of the tire internal surface close to the rim reinforcement, so that the two velocity fields can very well be different, and the line integral from equation (16) <em>should</em> be taken into consideration.</font></span></p>
<h2><strong>Conclusions</strong></h2>
<p><span style="font-size: 12pt"><font face="Times New Roman">Let’s read the conclusions of the present part of the work, starting from the last equation and going towards the beginning of the developments. The air pressure inside the tire cavity – simply known to technicians as the tire pressure – is usually assumed to be constant. This may not be the case in view of the heat production of the rolling tire: the air evolves in a closed cavity, and the least we can assume is that it is an ideal gas. It is therefore to be expected that the elementary work involved in the thermodynamics of the air inside the tire cavity <em>is a dynamic physical quantity</em>, in the sense that it varies in time, due to the rolling conditions.</font></span></p>
<p><font face="Times New Roman"><span style="font-size: 12pt">     </span><span><font size="+0">The main result here is that, accounting for the paths of dissipation of the energy of the air inside the tire cavity, the basic quantity measuring the variation of the elementary thermodynamical work is <em>the second time derivative of that quantity</em> – an ‘acceleration of energy’ so to speak. Usually, in case they ever think of it, the engineers concentrate here on the first derivative, according to the classical Reynolds’ transport theorem. That theorem reflects a ‘genuine statical’ situation, whereby the details of the dissipation of energy do not include the evolution of the very channels of dissipation due to rolling. One can see that the Betounes’ formulation of the transport theorem has the advantage of forcing us to explicitly consider the time evolution of the borders of regions in which the variation of energy takes place. Thus, the ‘acceleration’ of the energetic content of the air inside cavity is dictated, even under ideally constant pressure, by the space variation of the internal surface velocity field, in the form of its divergence, and by the behavior of that surface at the bead reinforcements.</font></span></font></p>
<p><font face="Times New Roman"><span style="font-size: 12pt">     </span><span><font size="+0">In order to understand the interrelation between these phenomena in the rolling tire, let’s assume that we are in a situation where we can neglect the rim effects, which are transmitted through the bead reinforcements. Then the second rate of dissipation of the cavity content of energy is calculated only through the internal surface of the tire. In rolling conditions, that surface is in vibration, and this vibration can be modeled by the field of velocities of each and every one of its points. Due to a certain degree of randomness of the local vibrations, one can guarantee that the divergence of the velocity field is always nonnull on the internal surface of the tire. Therefore the energy in and out of the tire cavity is guaranteed to be at least a quadratic function of time, depending on the vibrational properties of the tire itself. <em>In other words, the tire vibrations strongly influence the heat transfer in and out of the tire cavity</em>.</font></span></font></p>
<p><font face="Times New Roman"><span style="font-size: 12pt">     </span><span><font size="+0">One way to correlate the variations of pressure with the local deformations of the internal tire surface, is through the force developed by pressure upon a small portion of surface. In this respect, the pressure is to be considered as a skew-symmetric tensor, described strictly in connection with the intimate geometry of the surface. As we will show <font color="#0033cc">here</font>, this tensor contributes to the local deformation of the surface. This representation of pressure is different from the ‘thermodynamical’ one, but it is surely connected to it, as we will also show <font color="#0033cc">here</font>.</font></span></font></p>
<h2><strong>References</strong></h2>
<p><font face="Times New Roman"><strong><span style="font-size: 12pt">Arnold, V. (1976):</span></strong><span style="font-size: 12pt"> <em>Les Méthodes Mathématiques de la Mécanique Classique</em>, Editions MIR, Moscou</span></font></p>
<p><font face="Times New Roman"><span style="font-size: 12pt"><strong>Betounes D. E. (1983):</strong> <em>The Kinematical Aspect of the Fundamental Theorem of Calculus, </em>American Journal of Physics, Vol. <strong>51</strong>,<strong>  </strong>pp. 554–560</span></font></p>
<p><font face="Times New Roman"><span style="font-size: 12pt"><font face="Times New Roman"><span style="font-size: 12pt"><strong>Reynolds, O. (1903):</strong> <em>The Sub-Mechanics of the Universe</em>, Cambridge University Press, UK</span></font></span></font></p>
<p></span></p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/3lMLbB1a_yc" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/05/06/the-internal-pressure-of-tire/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/05/06/the-internal-pressure-of-tire/</feedburner:origLink></item>
		<item>
		<title>QUADRATIC FORMS ON A SURFACE</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/8321uq5Uzhk/</link>
		<comments>http://www.protoquant.com/2011/05/06/quadratic-forms-on-a-surface/#comments</comments>
		<pubDate>Fri, 06 May 2011 11:50:03 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[TIRE PHYSICS]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/05/06/quadratic-forms-on-a-surface/</guid>
		<description><![CDATA[There are quite a few phenomena related to the theoretical physics of the tire that can be modeled by quadratic forms on its surface. First, one needs to account for the surfaces delimiting the tire. These are basically two: the internal surface of the carcass delimiting, together with the metallic part of the wheel (the [...]]]></description>
			<content:encoded><![CDATA[<p>There are quite a few phenomena related to the theoretical physics of the tire that can be modeled by quadratic forms on its surface. First, one needs to account for the surfaces delimiting the tire. These are basically two: the internal surface of the carcass delimiting, together with the metallic part of the wheel (the rim), the tire cavity, and sustaining the internal pressure. While rolling, this surface vibrates, producing a sound which is amplified by the tire cavity. The problem is to describe these vibrations and the phenomena related to them. Another surface delimiting the tire is the external surface of the rubber, comprising roughly two regions: the main external (crest) region of the tread, and the lateral regions of the sidewalls. While rolling, these surfaces vibrate too, producing the exterior sound, but this is not the only phenomenon to be taken into consideration here. There are also phenomena related to the footprint determined by the dead weight of the vehicle, the most important of which is the rolling loss of energy. This is the phenomenon mostly responsible for the consumption of fuel. The two main surfaces of the tire are connected by design, and this connection is provided by the tire bead, whose reinforcement is instrumental in the so-called phenomenon of flat spotting. However, in order to properly understand the flat spotting phenomenon we need to take into consideration the fact that the two surfaces of the tire are also naturally connected by the material structure of the tire itself, whose main physical component is the rubber. It is through this material structure that the dead weight and its variations are transmitted to the footprint. It is also through this material structure that the high frequency vibrations of the internal surface of the tire cavity are transmitted to the environment. By the cycling thus induced, this material structure produces heat which in the short term is dissipated, but in the long run contributes to the aging of the tire rubber.<br />
     These are, in broad lines, the phenomena related to a &#8216;working&#8217; tire, selected starting from the criterion that the tire communicates with the environment through the surface of its physical structure. When talking here of &#8217;surface&#8217; we have in mind mainly its geometrical definition, and a certain way to introduce the physics in this definition. To start with, it is quite obvious that the overall process through which a surface ‘works’ is a <em>deformation process</em>. When a surface is deformed, one can recognize this phenomenon locally, through the variation of the two fundamental forms of the surface, and this is how we came up with the subject matter of the present work: both of them are quadratic forms. The first fundamental form, i.e. the metric of surface, gives the infinitesimal distance around a point of the surface, as measured in the tangent plane in that point. According to the common geometrical wisdom, the second fundamental form represents the curvature of the surface in a point, taking as reference the tangent plane in that point (<strong>Struik, 1988</strong>). Practically, however, the second fundamental form is the height of the surface above or beneath tangent plane in a point. This is the interpretation to be considered, for instance, when the intimate profile of the road is to be accounted for, or when this profile penetrates the rubber of the tire tread, producing the tiny local cycling spots of the rubber in rolling. The physical properties of a surface are thus to be embedded somehow in the six coefficients of the two fundamental forms, and more importantly, in their variations. In what follows we describe the channels through which this embedding can be done.<br />
     Let’s consider the deformation of a surface in its utmost generality. This can be described by the variation of both fundamental forms of the surface, and by the relation of these variations. Therefore, we have to consider in general the variation of a quadratic form, which can be the first or the second fundamental form, or some other physical or geometrical properties for that matter, and show how this is described in connection with the surface. Let’s denote this quadratic form by</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" alt="image0011.png" /></a></td>
<td align="right" width="1%">(1)</td>
</tr>
</table>
<p>and assume that it is defined in any point of the surface. This ‘definition’ means that we know the coefficients X, Y, Z as functions of the coordinates on the surface, and also the differentials s<font size="2"><sup>1</sup> and s<sup>2</sup> of the position vector of the points on surface, which play the part of coordinates in the tangent plane. These differentials are the main tool in problems of the local theory of surfaces. They allow for instance the definition of the curvature matrix (<strong>Guggenheimer, 1977</strong>): this is the transition matrix between the vector (s<sup>1</sup>, s<sup>2</sup>) from the tangent plane and the components of the variation of the normal vector to surface.<br />
     When there is a variation of this quadratic form, it is described by both the variation of the coefficients: X, Y, Z → X+dX, Y+dY, Z+dZ, and by the second variation of the position vector itself. The total variation of the quadratic form can then be obtained according to the known rules, by differentiating it to obtain</font></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0021.png" title="image0021.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0021.png" alt="image0021.png" /></a></td>
<td align="right" width="1%">(2)</td>
</tr>
</table>
<p>One can then decide if the variation of the quadratic form is strictly due to the variation of its coefficients, by a simple test: the second part of the equation (2) should be zero. Thus the variation of the quadratic form is strictly due to the variation of the coefficients along the curves from the tangent plane in a point, given by the differential equation</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0031.png" title="image0031.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0031.png" alt="image0031.png" /></a></td>
<td align="right" width="1%">(3)</td>
</tr>
</table>
<p>Along these curves the equation (2) becomes:</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0041.png" title="image0041.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0041.png" alt="image0041.png" /></a></td>
<td align="right" width="1%">(4)</td>
</tr>
</table>
<p>One can say that along these curves the variation of the quadratic form is ‘perceived’ only through the variation of its coefficients. Therefore, along these curves, the quadratic form is constant only if its coefficients are constant. The equation (3) represents a Hamiltonian motion in the tangent plane of a point of surface. If the quadratic form is defined, and its coefficients are constant, the equation (3) can represent two harmonic oscillators on the surface. Indeed, assuming that we discovered a time parameter with respect to which we can characterize the motion continuously, the differential equation (3) can be written in the form of a Hamiltonian system in the ‘phase plane’ of coordinates x ≡ s<font size="2"><sup>1</sup> and y ≡ s<sup>2</sup>:</font></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0051.png" title="image0051.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0051.png" alt="image0051.png" /></a></td>
<td align="right" width="1%">(5)</td>
</tr>
</table>
<p>Now, either by direct exponentiation or by finding the second order differential equation for each component, one can see that indeed, we have to deal with two harmonic oscillators having the same frequency. We choose the exponentiation, because it makes more obvious the fact that the quadratic form (1) is both the generator of motion and is conserved along motion. Indeed, denoting ω<font size="2"><sup>2</sup> ≡ XZ – Y<sup>2</sup>, the solution by exponentiation is</font></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0063.png" title="image0063.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0063.png" alt="image0063.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0061.png" title="image0061.png"></a></td>
<td align="right" width="1%">(6)</td>
</tr>
</table>
<p>where <strong>E</strong> is 2×2 identity matrix, and the index ʻ0’ marks the ‘initial conditions’ at t = 0. One can directly verify the equality</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0071.png" title="image0071.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0071.png" alt="image0071.png" /></a></td>
<td align="right" width="1%">(7)</td>
</tr>
</table>
<p>which is the clear expresion of the conservation of the generator along the motion it generates.<br />
     If the coefficients are not constants, but vary with the point of surface, in order to integrate equation (3) they must satisfy some integrability conditions, amounting to the fact that they can be expressed as functions of the local coordinates in the tangent plane, or that these coordinates can be expressed with respect to them or their variation. In these integrability conditions it is implicitly understood that the differentials ds<font size="2"><sup>1</sup> and ds<sup>2</sup>, i.e. the second order differentials with respect to position on surface, are taken as fundamental, while the first order differentials s<sup>1</sup> and s<sup>2</sup>, which are fundamental in the regular theory of surfaces, should be expressed with respect the differentials of the second order. Practically the integrability condition amounts to the vanishing of the exterior differential of the left hand side of equation (3):</font></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0081.png" title="image0081.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0081.png" alt="image0081.png" /></a></td>
<td align="right" width="1%">(8)</td>
</tr>
</table>
<p>Then, by one of the <font color="#0066cc"><font color="#0033cc"><a href="http://www.protoquant.com/2011/05/06/cartans-lemmas-on-differential-forms/">Cartan lemmas</a></font> </font>one has</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0091.png" title="image0091.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0091.png" alt="image0091.png" /></a></td>
<td align="right" width="1%">(9)</td>
</tr>
</table>
<p>where λ, μ, ν are three external parameters, the entries of a matrix ‘assisting’ in integrability. Therefore, assuming that the matrix here is nonsingular, s<font size="2"><sup>1</sup> and s<sup>2</sup> must satisfy the system of differential equations</font></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0101.png" title="image0101.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0101.png" alt="image0101.png" /></a></td>
<td align="right" width="1%">(10)</td>
</tr>
</table>
<p>Performing the matrix multiplication, we get</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0111.png" title="image0111.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0111.png" alt="image0111.png" /></a></td>
<td align="right" width="1%">(11)</td>
</tr>
</table>
<p>The elementary ‘second order’ area – the so-called symplectic form – is given by equation</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0122.png" title="image0122.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0122.png" alt="image0122.png" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0121.png" title="image0121.png"></a></td>
<td align="right" width="1%">(12)</td>
</tr>
</table>
<p>This quadratic form is algebraically conjugated to the variation due to coefficients of the original quadratic form (1)</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0131.png" title="image0131.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0131.png" alt="image0131.png" /></a></td>
<td align="right" width="1%">(13)</td>
</tr>
</table>
<p>and to the quadratic form introduced by the matrix ‘assisting’ in integrability:</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0141.png" title="image0141.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0141.png" alt="image0141.png" /></a></td>
<td align="right" width="1%">(14)</td>
</tr>
</table>
<p>It is this quadratic form that accounts for the physical conditions determining the integrability.<br />
     Now, in order to solve (11) the matrix of evolution is essential. It can be written as</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0151.png" title="image0151.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0151.png" alt="image0151.png" /></a></td>
<td align="right" width="1%">(15)</td>
</tr>
</table>
<p>where by ω<font size="2"><sub>1,2,3</sub> we denoted the differential forms</font></p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0161.png" title="image0161.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0161.png" alt="image0161.png" /></a></td>
<td align="right" width="1%">(16)</td>
</tr>
</table>
<p>In cases where the quadratic forms (13) and (14) are algebraically apolar, the matrix of evolution (15) reduces to</p>
<table height="50" width="100%">
<tr>
<td align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0171.png" title="image0171.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0171.png" alt="image0171.png" /></a></td>
<td align="right" width="1%">(17)</td>
</tr>
</table>
<p>The parameters λ, μ, ν may represent new conditions of a geometrical or physical nature, affecting the deformation process of the surface. These conditions may be external (for instance the road surface) or internal to the surface (air pressure variation), reflecting its geometry (the first and second fundamental forms) or physics (for instance the deformation matrix, or the material condition of the tire).</p>
<h2><strong>Conclusions</strong></h2>
<p>Two main points are worth fixing in mind, as a conclusion of the previous exercise.<br />
     First, is the fact that the frequency of vibration of the tire is a surface phenomenon, and needs to be treated as such. The usual wisdom puts first a simple model (Kelvin-Voigt or Maxwell) describing it together with the material underneath, in a time that has nothing to do with the real phenomenon, and then trying to fit experimental data to results. These are then improved by complicating the things with series of simple models. This philosophy is mainly entertained, in the prediction ‘industry’, by the preexisting commercial calculational instruments. It has, however an essential shortcumming: the frequency model is one-dimensional, and there is no way to take into consideration the complicate structure of the spectrum which is mainly a statistical process in a real time. In other words, the phase space associated to the classical constitutive models is actually four-dimensional, not two-dimensional, as the usual wisdom holds true. <br />
     Secondly, the variations of a quadratic form, be it the first or the second fundamental form, needs an external quadratic form, ‘assisting’ in integrability, in order to clarify physically the mechanics of deformation of the surface. The integrability is not just a mathematical process, but mainly a physical one. We think that, in order to understand this point, an example will do best. Consider the tread of the rolling tire on the rough surface of the road. First we have a stationary deformation due to the load of vehicle. This is a first-order process of deformation, according to which we need to &#8216;update&#8217; the first and second fundamental forms of the tire surfaces snd thus describe the tire footprint shape. The road surface can be modeled by such a quadratic form which, naturally, is external to tire tread surface. Then the coefficients of this quadratic form go, in the manner shown above, into the variation of the first and second fundamental forms of the tire tread from the footprint region, thus imprinting a statistical variation of the frequency of vibration of the tire. This statistical variation is characteristic to the road surface.</p>
<h2><strong>References</strong></h2>
<p><strong>Guggenheimer, H. W. (1977)</strong>: <em>Differential Geometry</em>, Dover Publications, New York<br />
<strong>Struik, D. J. (1988)</strong>: <em>Lectures on Classical Differential Geometry</em>, Dover Publications, New York</p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/8321uq5Uzhk" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/05/06/quadratic-forms-on-a-surface/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/05/06/quadratic-forms-on-a-surface/</feedburner:origLink></item>
		<item>
		<title>GEOMETRIC THEORY OF SURFACES</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/8ITLKEL0_As/</link>
		<comments>http://www.protoquant.com/2011/05/06/geometric-theory-of-surfaces/#comments</comments>
		<pubDate>Fri, 06 May 2011 11:44:41 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[TIRE PHYSICS]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/05/06/geometric-theory-of-surfaces/</guid>
		<description><![CDATA[From a purely geometrical point of view, the variation of a quadratic form characterizing a surface cannot be assisted but by one of the two fundamental forms of that surface. This has a certain natural connotation, inasmuch as the quadratic forms that vary in this case are not any different from those &#8216;assisting&#8217; that variation. [...]]]></description>
			<content:encoded><![CDATA[<p><span><span style="font-size: 12pt"><font face="Times New Roman">From a purely geometrical point of view, <font color="#0066cc"><font color="#0033cc">the variation of a quadratic form</font> </font>characterizing a surface cannot be assisted but by one of the two fundamental forms of that surface. This has a certain natural connotation, inasmuch as the quadratic forms that vary in this case are not any different from those &#8216;assisting&#8217; that variation. That is to say that the bending of a surface – the variation of the second fundamental form – is assisted by a deformation – the variation of the first fundamental form. Reciprocally, the pure deformation – the variation of the first fundamental form – may be assisted by a bending of surface – the variation of the second fundamental form – which is the usual process of ‘wrinkling’ of surface due to its local deformation. In a complex process of deformation, however, like the ones we may expect in the rolling tire, which is a certain combination of such simple processes of wrinkling and bending, both of the fundamental forms of the surface vary simultaneously. One thus has to face the problem of describing this variation so as to include all geometrical conditions under which the deformation is done. This way we should recover, at least partially, the classical geometrical results.</font></span></span></p>
<p><span style="font-size: 12pt"><font face="Times New Roman">     Let’s say that the first fundamental form of the surface is given by</font></span></p>
<p><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0012.png" alt="image0012.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(1)</td>
</tr>
</table>
<p></font></span><font size="3"><font size="+0"> </font><span style="font-size: 12pt"><font face="Times New Roman">while the second fundamental form, which is the <em>second variation in position along the normal to surface</em>, is given by</font></span></font><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"></span><span style="font-size: 12pt"><font face="Times New Roman"></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0022.png" alt="image0022.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(2)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">where (,) means the usual dot product.</font></span><span style="font-size: 12pt"><font face="Times New Roman"> Let’s take first the case where the <em>second fundamental form varies</em>: the pure bending of surface. This means that the normal to surface varies, perhaps due to some external perturbations, like local roughness of the road or some wave on the tire determining the local vibration in the case of tire. Applying the general considerations, the second fundamental form variation due exclusively to the variation of the curvature parameters can only be noticed along the curves from the tangent plane given by the differential equation</font></span><font size="3"> </font></p>
<p></font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><font size="3"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0032.png" alt="image0032.png" /></font><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(3)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">If the coefficients α, β, γ are constants, the equation can be integrated giving the quadratic form from the right hand side of equation (2). This means that along this conic, the surface shows the same distance from the tangent plane. The conic is known as the <em>Dupin indicatrix</em> of the surface in a point - a classical geometrical result. Assume now that the coefficients α, β, γ vary, but that the quadratic form ‘assisting’ in the integrability is given by the first fundamental form of the surface so that</font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0042.png" alt="image0042.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(4)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">This simply means that the bending of the surface is only compatible with certain states of deformation represented by the first fundamental form of the surface. Therefore the condition of integrability of the equation (3) becomes</font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0052.png" alt="image0052.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(5)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">The matrix of evolution in (5) is thus given by</font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0064.png" alt="image0064.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(6)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">with the differential forms given by</font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0072.png" alt="image0072.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(7)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">Now, the trace of matrix (6) gives the known geometrical result regarding the <em>mean curvature</em> of the surface:</font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0082.png" alt="image0082.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(8)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">On the other hand, the determinant of the matrix (6) gives us the absolute or <em>Gaussian curvature</em>:</font></span></p>
<table height="50" width="100%">
<tr>
<td align="center"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image0092.png" alt="image0092.png" /><a rel="nofollow" href="http://www.protoquant.com/wp-content/uploads/2011/01/image0011.png" title="image0011.png"></a></td>
<td align="right" width="1%">(9)</td>
</tr>
</table>
<p><span style="font-size: 12pt"><font face="Times New Roman">These formulas contain, again, the known classical results in case where the metric of the surface is not euclidean, provided we consider the euclidean case as a reference and identify the metric tensor and the curvature matrix with their variation.</font></span></p>
<h2 style="margin: 1pt 0in"><a title="TOC-Conclusion" name="TOC-Conclusion"></a><span style="font-size: 12pt"><strong>Conclusion</strong></span></h2>
<p><span style="font-size: 12pt"><font face="Times New Roman">It is to be noticed that considering the coefficients of the fundamental quadratic forms as variations rather than finite quantities, is as general as it can be, <em>comprising all the classical results in matter of geometry of surfaces</em>. Indeed, if we consider the reference plane in a point of a surface, other than the tangent plane, for instance the mean plane of a rough road surface in the case of a rolling tire, then the variations of the curvature parameters are indeed these very parameters, and the formulas (8) and (9) are the usual ones from the classical theory of surfaces. Consequently, for physically realistic situations, we are entitled to take any quantity referring to the surface as being a <em>variation</em> rather than an <em>absolute quantity. </em></font></span><span style="font-size: 12pt"><font face="Times New Roman">More than this, the theory provides the opportunity of describing the ‘wrinkling’ of a surface as a local <em>deformation assisted by bending</em> (remember that, in this jargon, the case above is <em>bending assisted by deformation,</em> inasmuch as the assisting matrix is that of the first fundamental form of the surface, which usually contains the deformation). However, the pure ‘geometrical’ description of the deformation of surfaces is obviously not sufficient from a physical point of view. This leads us, as will be shown elswhere on this page, to an interesting way of describing the <em>friction forces</em> between two surfaces in relation to their roughness and the physical properties of the materials they are delimiting. Such is plainly the case of the tire-road interaction, so important in braking and skidding properties of the tire.</font></span></p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/8ITLKEL0_As" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/05/06/geometric-theory-of-surfaces/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/05/06/geometric-theory-of-surfaces/</feedburner:origLink></item>
		<item>
		<title>CARTAN’S LEMMAS ON DIFFERENTIAL FORMS</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/ENBT7x4__pU/</link>
		<comments>http://www.protoquant.com/2011/05/06/cartans-lemmas-on-differential-forms/#comments</comments>
		<pubDate>Fri, 06 May 2011 11:35:46 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[TIRE PHYSICS]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2011/05/06/cartans-lemmas-on-differential-forms/</guid>
		<description><![CDATA[There is no general agreement as to what one should understand by “Cartan lemmas” or “Cartan theorems” when it comes to the development of the differential geometric concepts. As a matter of fact, as Robert Hermann says in his rich Addendum to the English version of Cartan’s Géométrie des Espaces de Riemann (Cartan, 1983), these [...]]]></description>
			<content:encoded><![CDATA[<p align="justify">There is no general agreement as to what one should understand by “Cartan lemmas” or “Cartan theorems” when it comes to the development of the differential geometric concepts. As a matter of fact, as Robert Hermann says in his rich Addendum to the English version of Cartan’s <em>Géométrie des Espaces de Riemann</em> (<strong>Cartan, 1983</strong>), these are algebraic results scattered over all the places in Cartan’s work, and used as momentarily needed. We will extract here, from among these result, only the ones that have a direct connection with what we would like to call the ‘theoretical physics’ of surfaces, to be applied in a theoretical physics of the tire. These were first presented systematically in some of the works of old pupils of Cartan, who took his course on Riemannian geometry in the late 1920’s (<strong>Finikov, 1948</strong>). The spirit of those lectures is also available in the recent English translation of the Russian version Finikov’s <em>Riemannian Spaces</em> (<strong>Cartan, 2001</strong>). The general mathematics of differential forms is available in many modern developments which can be found quite easily, if needed. In regards to applications of theoretical mechanics’ nature, the work of Vladimir Arnold, by now a classical treatise, seems to be worth recommending (<strong>Arnold, 1976</strong>).</p>
<p><span>We will limit here our considerations to the space of <em>three dimensions</em>. The vectors are conceived as entities written either by components, or in the Dirac form as matrices. For instance the position vector can be written in one of the two forms:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="border-collapse: collapse">
<tr>
<td style="width: 64px; height: 64px; padding: 0in" vAlign="top"></td>
<td style="width: 509px; height: 64px; padding: 0in">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image001.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image001.png" /></a></p>
</td>
<td style="width: 70px; height: 64px; padding: 0in">
<p style="text-align: right" align="right">(1)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">The first of these is the regular geometrical writing, in terms of the base unit vectors <a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image002.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image002.png" /></a> </span><span style="font-size: 10pt">. Here, and everywhere else, we adopt the summation convention over repeated indices, and x<sup>k</sup> are the (contravariant) components of our position vector. The second writing – the matrix notation – disregards the reference frame of the three base unit vectors. It is therefore worth considering for calculations in the same reference frame, or in situations when the reference frame is fixed once and for all. This is, for instance the case of the Euclidean space, where the reference unit vectors do not vary. In general, however, the reference frame <em>is local</em>: it can vary from a point to another, and may not be always orthogonal. Using for the reference frame a matrix notation of the kind above, one can thus write in general</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="border-collapse: collapse">
<tr>
<td style="width: 65px; height: 105px; padding: 0in" vAlign="top"></td>
<td style="width: 521px; height: 105px; padding: 0in">
<p style="text-align: center" align="center"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image003.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image003.png" style="text-align: center; margin: 5px auto 0px; zoom: 1; display: block" /></a></p>
</td>
<td style="width: 65px; height: 105px; padding: 0in">
<p style="text-align: right" align="right">(2)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">Here the matrix <strong>g</strong> is the metric tensor – a matrix having 1 as diagonal elements. In case this matrix is the identity matrix, we have to do with the Euclidean case in Cartesian coordinates.</span></p>
<p><span style="font-size: 10pt">      The grounds of Cartan’s considerations is the observation that an elementary displacement means both a variation in position per se, and a variation in the reference frame:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="border-collapse: collapse">
<tr>
<td style="width: 65px; height: 85px; padding: 0in" vAlign="top"></td>
<td style="width: 521px; height: 85px; padding: 0in">
<p style="text-align: center" align="center"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image004.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image004.png" /></a></p>
</td>
<td style="width: 65px; height: 85px; padding: 0in">
<p style="text-align: right" align="right">(3)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">According to general geometrical rules, the variations of the unit vectors can be expressed with respect to the unit vectors themselves by linear relations:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="border-collapse: collapse">
<tr>
<td style="width: 65px; height: 51px; padding: 0in" vAlign="top"></td>
<td style="width: 521px; height: 51px; padding: 0in">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image005.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image005.png" /></a></p>
</td>
<td style="width: 65px; height: 51px; padding: 0in">
<p style="text-align: right" align="right">(4)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">Obviously, the matrix <strong>ω</strong> has zeros along the main diagonal, but it is by no means symmetrical. In view of the definition of the metric tensor, we have</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="border-collapse: collapse">
<tr>
<td style="width: 65px; height: 53px; padding: 0in" vAlign="top"></td>
<td style="width: 521px; height: 53px; padding: 0in">
<p style="text-align: center" align="center"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image006.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image006.png" style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto" /></a><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image006.png" title="image006.png"></a></p>
</td>
<td style="width: 65px; height: 53px; padding: 0in">
<p style="text-align: right" align="right">(5)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">So, only if the reference frame is orthonormal, the matrix <strong>ω</strong> is skew symmetric, otherwise it has no symmetry. It is thus sometimes very convenient to discuss the geometry in an orthonormal reference frame.</span></p>
<p><span style="font-size: 10pt">      Now, in view of (4), the equations (3) can be written as</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image007.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image007.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(6)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">Obviously, both the components of the vector <a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image008.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image008.png" /></a></span><span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image008.png" title="image008.png"></a></span><span style="font-size: 12pt"> <font size="2">and those of the vectors <a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image009.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image009.png" /></a></font></span><span style="font-size: 10pt"> are exact differentials. In the language of the differential forms this fact can be stated by the equations:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image010.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image010.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(7)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">It is the simple consequences of these two equations that are the ground of the whole Cartan geometrical construction. Just following the rules of working with the exterior differentiation and exterior multiplication, one can find from (7) the following equations relating the components of the vector </span><span><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image008.png" alt="image008.png" /></span><span style="font-size: 10pt"> to the matrix <strong>ω</strong>: </span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image011.png" title="image011.png"><img src="http://www.protoquant.com/wp-content/uploads/2011/01/image011.png" alt="image011.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(8)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">Here we maintain the rule of summation on dummy indices, only the monomials are not defined by the usual multiplication but by exterior multiplication. For obvious reasons the first equation is called the <em>compatibility equation</em>: it gives the compatibility conditions between the variation of the reference frame and the displacements in space.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      It can be easily proved, just following the same rules of exterior multiplication and exterior differentiation, that the first equation (8) is a direct consequence of the second one and the definition of s<sup>k</sup> from equation (6). However, the equations (8) are very general: they are valid regardless of definition (6). So, the two equations from (8) may not be always equivalent in an obvious way. This means that there are situations, mostly corresponding to physical reasons, when one has to define the variations of coordinates directly in terms of the reference frame, in which case s<sup>k</sup> don’t have that neat structure given by equation (6). In such cases we don’t know precisely how much from the displacement vector is pure displacement and how much is contribution of the variation of reference frame. All we can assume is that the components of displacement vector are differential 1-forms, and the equations (8) still stand.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      The physical reasons we were mentioning above have always geometrical expressions. In order to catch the idea, let’s take for instance an arbitrary motion. It is done along a certain path, whose image is a curve in space. This curve can be represented, at least in limited local extensions, as intersection of two surfaces. Even more precisely, if we consider the local situation in a certain point, the curve is a straight line represented by the intersection of the tangent planes of those surfaces in that point. And the tangent planes in a point can be represented always by 1-forms. Thus we can come up with the idea that, in spite of the fact that the space is three-dimensional, in order to describe the motion locally we only need <em>two</em> 1-forms, not three. True, these 1-forms are linear combinations of the three basic components of the elementary differential of position vector, but this is an entirely different story. The main point of the exercise is that the local description of the motion only needs two differential forms, and those are <em>linearly independent</em>. In a way this means that they are sufficient for the purpose of description of motion.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      Thus the immediate point is to define the linear independence of two differential 1-forms. As the above example suggests in terms of the tangent planes in a point, these have to be necessarily different, otherwise they cannot properly determine a line. This can be expressed simply by the statement: two 1-forms ω and </span><span style="font-family: Symbol; font-size: 10pt">f</span><span style="font-size: 10pt"> are linearly independent if, and only if, their exterior product is non-null. The same way three 1-forms, ω, </span><span style="font-family: Symbol; font-size: 10pt">f</span><span style="font-size: 10pt">, </span><span style="font-family: Symbol; font-size: 10pt">y</span><span style="font-size: 10pt"> are linearly independent if their exterior product is non-null. This simply expresses the fact that the volume of the parallelepiped defined by the three 1-forms as edges is nonzero: the parallelepiped is nontrivial. Such three 1-forms define <em>a basis</em> of 1-forms in space, which can be characterized as usual: any linear combination of them, with numerical coefficients, uniquely represents a 1-form.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      Here an interesting fact occurs. We can say that a 1-form is null if all the coefficients of its linear expansion in a base of 1-form are zero. This fact can however be ascertained otherwise. Namely, if {</span><span style="font-family: Symbol; font-size: 10pt">y</span><sup><span style="font-size: 10pt">k</span></sup><span style="font-size: 10pt">; k = 1, 2, 3} is such a base, then the 1-form </span><span style="font-family: Symbol; font-size: 10pt">W</span><span style="font-size: 10pt"> is zero if, and only if, the following relations are satisfied:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="border-collapse: collapse">
<tr>
<td style="width: 65px; height: 48px; padding: 0in" vAlign="top"></td>
<td style="width: 521px; height: 48px; padding: 0in">
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image012.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image012.png" /></a></p>
</td>
<td style="width: 65px; height: 48px; padding: 0in">
<p style="text-align: right" align="right">(9)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">In a way, this relation is equivalent to the known fact that in a vectorial space a vector is characterized by its projections on the base vectors. If all these projections are zero, then the vector is zero. Only, here the dot multiplication of vector is replaced by the exterior multiplication of the differential forms.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      The exterior product of two 1-forms is a 2-form. The 2-forms in space are usually associated with <em>fluxes</em>. Well known examples are: the flux of magnetic lines through a surface, whose magnitude is the magnetic induction, the flux of electric lines whose magnitude is the electric induction, the flux of particles, whose magnitude is known as current, an so on. The magnitude is usually a skew symmetric tensor, because the base of two forms in space is given by the three 2-forms representing the projections of a surface element on the three coordinate planes. Thus a 2-form, ‘b’ say, can be written in this basis as</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image013.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image013.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(10)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">where the summation convention is respected. The magnitude here is given by the skew symmetric tensor <strong>b</strong>, formed with the coefficients of the 2-form.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      By the same reasoning, a differential 3-form represents <em>densities</em>. These have magnitudes represented by the coefficients of the 3-form in terms of the elementary oriented volumes:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image014.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image014.png" /></a></p>
<p><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image014.png" title="image014.png"></a></td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(11)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">where the summation is done over the six permutations of the indices.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      Examples of differential forms of all degrees will be provided here all along the development of the physical theory of tire. But in order to properly develop that theory we need a few results of Cartan, helping in draw particular conclusions from the equations (8). First there is the theorem that Finikov terms as <em>Cartan’s lemma</em> (<strong>Finikov, 1948</strong>). We give it in a little modernized formulation of Guggenheimer (<strong>Guggenheimer, 1977</strong>): if ω<sup>r</sup>, r = 1, 2, 3 are r linearly independent 1-forms, and there are r 1-forms π<sup>r</sup> such that</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="border-collapse: collapse">
<tr>
<td style="width: 65px; height: 80px; padding: 0in" vAlign="top"></td>
<td style="width: 521px; height: 80px; padding: 0in">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image015.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image015.png" /></a></p>
</td>
<td style="width: 65px; height: 80px; padding: 0in">
<p style="text-align: right" align="right">(12)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">then there is a r</span><span style="font-family: Symbol; font-size: 10pt">´</span><span style="font-size: 10pt">r symmetric matrix <strong>c</strong> such that:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image016.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image016.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(13)</p>
</td>
</tr>
</table>
<p><span style="font-size: 10pt">The proof is as follows: if r = 3, then ω<sup>r</sup> can be taken as a basis of the 1-forms and thus ω<sup>r</sup> can be expressed linearly with respect to them. Therefore equation (13) is valid, without any qualification on the matrix <strong>c</strong>. However, the equation (12) shows that this matrix is symmetrical. Indeed, that condition becomes</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image017.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image017.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(14)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">whence the symmetry of the matrix, in view of the skew symmetry of the exterior product. If r &lt; 3, then the system (ω) can be completed to a basis, and the proof follows the same lines.</span></p>
<p style="margin-left: 0in"><span style="font-size: 10pt">      Another important theorem which, in our opinion, is instrumental in physical applications, is the following: the 2-form</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image018.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image018.png" /></a></span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0181.png" title="image0181.png"></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(15)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">is zero as a consequence of vanishing of the r (</span><span style="font-family: Symbol; font-size: 10pt">£</span><span style="font-size: 10pt"> 3) linearly independent 1-forms f<sup>1</sup>, f<sup>2</sup>,…,f<sup>r</sup>, if, and only if, it can be written in the form:</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center"><span><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image019.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image019.png" /></a></span><a href="http://www.protoquant.com/wp-content/uploads/2011/01/image0191.png" title="image0191.png"></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(16)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">where </span><span style="font-family: Symbol; font-size: 10pt">f</span><sub><span style="font-size: 10pt">1</span></sub><span style="font-size: 10pt">, </span><span style="font-family: Symbol; font-size: 10pt">f</span><sub><span style="font-size: 10pt">2</span></sub><span style="font-size: 10pt">,…, </span><span style="font-family: Symbol; font-size: 10pt">f</span><sub><span style="font-size: 10pt">r</span></sub><span style="font-size: 10pt"> are r <em>appropriately chosen</em> 1-forms, and the summation convention is respected. The proof goes as before: in case r = 3 the system of 1-forms {f<sup>k</sup>} can be taken as a basis, in which case F can be written as</span></p>
<table cellPadding="0" cellSpacing="0" border="0" style="width: 100%; border-collapse: collapse" width="100%">
<tr>
<td style="width: 10%; padding: 0in" vAlign="top" width="10%"></td>
<td style="width: 80%; padding: 0in" width="80%">
<p style="text-align: center" align="center">&nbsp;</p>
<p style="text-align: center; zoom: 1; display: block; margin-left: auto; margin-right: auto"><a imageanchor="1" href="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image020.png?attredirects=0"><img border="0" src="https://sites.google.com/site/edgesofscience/home/cartan-s-lemmas-on-differential-forms/image020.png" /></a></p>
</td>
<td style="width: 10%; padding: 0in" width="10%">
<p style="text-align: right" align="right">(17)</p>
</td>
</tr>
</table>
<p style="margin-left: 0in"><span style="font-size: 10pt">with <strong>b</strong> the skew symmetric matrix derived from <strong>a</strong> by changing the basis of 1-forms. For r &lt; 3, the system {f</span><sup><span style="font-family: Symbol; font-size: 12pt">a</span></sup><span style="font-size: 10pt">} can be completed up to a basis, and the proof goes exactly like in the case r = 3.</span></p>
<h2 style="margin-left: 0in"><span style="font-size: 12pt"><strong>References </strong></span></h2>
<p style="margin-left: 0in"><span style="font-size: 12pt"><span style="font-family: Times New Roman, serif; font-size: 12pt"><strong>Arnold, V. (1976):</strong></span><span style="font-family: Times New Roman, serif; font-size: 12pt"> <em>Les Méthodes Mathématiques de la Mécanique Classique</em>, Editions MIR, Moscou</span></span></p>
<p><span style="font-size: 12pt"><span style="font-family: Times New Roman, serif; font-size: 12pt"><strong>Cartan, E. (1983):</strong></span></span><strong><em><span> </span></em></strong><em><span>Geometry of Riemannian Spaces</span></em><span>, Mathematical Science Press, Brookline, Massachusetts, USA</span></p>
<p><span></span><span style="font-size: 12pt"><span style="font-family: Times New Roman, serif; font-size: 12pt"><span><strong><span style="font-family: Times New Roman, serif; font-size: 12pt">Cartan, E. (2001):</span></strong><strong><em><span style="font-family: Times New Roman, serif; font-size: 12pt"> </span></em></strong><em><span style="font-family: Times New Roman, serif; font-size: 12pt">Riemannian Geometry in an Orthogonal Frame</span></em><span style="font-family: Times New Roman, serif; font-size: 12pt">, World Scientific Publishing, Singapore</span></span><span></span></span></span><span style="font-size: 12pt"><span style="font-family: Times New Roman, serif; font-size: 12pt"><span> </span></span></span><span style="font-size: 12pt"><span style="font-family: Times New Roman, serif; font-size: 12pt"><span></span></span></span><span style="font-size: 12pt"><span style="font-family: Times New Roman, serif; font-size: 12pt"><span></p>
<p style="margin-left: 0in"><span style="font-family: Times New Roman, serif; font-size: 12pt"><span style="font-family: Times New Roman, serif; font-size: 12pt"><strong>Finikov, S. P. (1948):</strong></span><span style="font-family: Times New Roman, serif; font-size: 12pt"> <em>Cartan’s Method of Exterior Forms in Differential Geometry</em>, OGIZ, Moscow (<em>Метод Внешних Форм Картана в Дифференциальной Геометрии</em>, ОГИЗ, Москва)</span></span></p>
<p></span></span></span></p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/ENBT7x4__pU" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2011/05/06/cartans-lemmas-on-differential-forms/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2011/05/06/cartans-lemmas-on-differential-forms/</feedburner:origLink></item>
		<item>
		<title>NEWTON’S FORCES, ALPHA PARTICLES AND ATOMIC STRUCTURE</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/xfQQOjzISRY/</link>
		<comments>http://www.protoquant.com/2009/08/15/newtons-forces-alpha-particles-and-atomic-structure/#comments</comments>
		<pubDate>Sat, 15 Aug 2009 16:46:14 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[Old Twist on a New Problem]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2009/08/15/newtons-forces-alpha-particles-and-atomic-structure/</guid>
		<description><![CDATA[There is no telling of what might have happened if Newton would have at his disposal some microscopic observations besides the astronomical ones. One thing is sure: the concept of mass would be different today, together with the law of conservation of energy. Therefore the thermodynamics would have also some other form entirely.
However, perhaps one of [...]]]></description>
			<content:encoded><![CDATA[<p>There is no telling of what might have happened if Newton would have at his disposal some microscopic observations besides the astronomical ones. One thing is sure: the concept of mass would be different today, together with the law of conservation of energy. Therefore the thermodynamics would have also some other form entirely.</p>
<p>However, perhaps one of the most important consequences might have been that of our image of the microscopic world. Such is, for instance, the classical explanation of scattering of alpha particles, which led the scientific community to the planetary image of the atom. Within the framework of Newtonian theory of central forces <a href="http://www.protoquant.com/newton-force-in-particle-scattering/">it does not need a nucleus in order to be explained</a>, but only the possibility of migration of the electric charges in the target metal. Possibly not even that.</p>
<p>Come to think of it: <a href="http://www.reciprocalsystem.com/cana/index.htm">Dewey Larson was right after all</a>! The alpha scattering experiments are indication, not of the nucleus, but of an atomic structure in its entirety. He saw this in the contradictory data on the crystalline lattices and the subsequent dimensions of different atoms deduced from these data. However, this fact can well be a fundamental theoretical one, if we take the <a href="http://www.protoquant.com/glaishers-arguments-on-newton/">central forces as what they are supposed to be</a>, with no strings attached.</p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/xfQQOjzISRY" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2009/08/15/newtons-forces-alpha-particles-and-atomic-structure/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2009/08/15/newtons-forces-alpha-particles-and-atomic-structure/</feedburner:origLink></item>
		<item>
		<title>NEWTON’S LIGHT RAY</title>
		<link>http://feedproxy.google.com/~r/protoquant/~3/yheaVuLe4Lg/</link>
		<comments>http://www.protoquant.com/2009/08/13/newtons-light-ray/#comments</comments>
		<pubDate>Thu, 13 Aug 2009 17:25:58 +0000</pubDate>
		<dc:creator>Nicolae Mazilu</dc:creator>
		
		<category><![CDATA[Old Twist on a New Problem]]></category>

		<guid isPermaLink="false">http://www.protoquant.com/2009/08/13/newtons-light-ray/</guid>
		<description><![CDATA[If someone asks about the image of a light ray to Newton, it is most likely to receive an answer like this: a light ray is a straight line, being the trajectory of a particle of light. Everybody knows that the image that Newton had of the light is that of a stream of particles [...]]]></description>
			<content:encoded><![CDATA[<p>If someone asks about the image of a light ray to Newton, it is most likely to receive an answer like this: a light ray is a straight line, being the trajectory of a particle of light. Everybody knows that the image that Newton had of the light is that of a stream of particles moving with a constant velocity, and it seems only natural to infer that an ideal light ray in his opinion is only the trajectory of a single light particle. This image is in direct contrast with <a href="http://www.protoquant.com/fresnel-theory-of-light-from-huygens-principle/">that given one century after Newton by Fresnel</a>, in which the light ray is just a geometrical line, the locus of the centers of ellipsis of polarization or, in older terms, the locus of origins of the light vector. Both these images, although in sharp contrast with each other, have in common the idea that along the light ray acts no force towards the source of light: from a classical dynamical point of view the light propagation is a free motion. In order to explain the light one relies heavily upon mathematics of the continuum mechanics or electromagnetism.</p>
<p>Therefore both these, by now classical, images of light are in contradiction with the Mach&#8217;s principle. According to this the classical free motion is an expression of the overall interaction of a material body with the whole matter in the Universe, rather than being an expression of no interaction, as the first principle of classical dynamics seems to claim. Indeed there is no way to isolate a body in order to check how it moves in those conditions: the first principle of classical dynamics is not a falsifiable proposition. This contradiction will remain as such as long as we cannot judge the uniform motion in terms of forces, exactly as we judge, say the Kepler motion. If the light, for instance, can be judged this way, we have a model, if not of free motion, of a motion with constant speed anyway.</p>
<p style="text-align: center"><img src="http://www.protoquant.com/wp-content/uploads/2009/08/image012.png" /></p>
<p>It is a pleasant surprise to see that <a href="http://www.protoquant.com/newtonian-electromagnetic-action-at-distance/">Newton’s theory of the forces </a>&#8220;invented&#8221; by him fits this bill, pointing towards an image of a light ray in full accordance with the electromagnetic theory of light as in the attached figure. At any moment the electric vector is acted on by central forces directed towards the source of light – they can be repelling as well as attractive forces – while rotated by the magnetic vector. This image of a light ray and, implicitly, of the constant speed motion is based upon dismissal of <a href="http://www.protoquant.com/the-case-of-banished-forces-a-way-to-look-at-interactions/">two common misconceptions</a>. The first one of these is that the central forces have magnitude depending exclusively on the distance, and the second one is that the magnetic vector is a… vector, while in this instance is a skew-symmetric tensor.</p>
<img src="http://feeds.feedburner.com/~r/protoquant/~4/yheaVuLe4Lg" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://www.protoquant.com/2009/08/13/newtons-light-ray/feed/</wfw:commentRss>
		<feedburner:origLink>http://www.protoquant.com/2009/08/13/newtons-light-ray/</feedburner:origLink></item>
	</channel>
</rss>

