1:
2: \documentclass[12pt]{article}
3: \oddsidemargin 0mm \evensidemargin 0mm
4: \topmargin -12mm
5: \textheight 654pt \textwidth 458pt
6: \usepackage{epsfig}
7: \newcommand{\lesssim}
8: {\mathrel{\raisebox{-2.8pt}{\mbox{$\stackrel{\textstyle <}{\sim}$}}}}
9: \newcommand{\gtrsim}
10: {\mathrel{\raisebox{-2.8pt}{\mbox{$\stackrel{\textstyle >}{\sim}$}}}}
11: % To modify figure captions
12: \makeatletter
13: \long\def\@makecaption#1#2{{\small
14: \advance\leftskip1cm
15: \advance\rightskip1cm
16: \vskip\abovecaptionskip
17: \sbox\@tempboxa{#1: #2}%
18: \ifdim \wd\@tempboxa >\hsize
19: #1: #2\par
20: \else
21: \global \@minipagefalse
22: \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
23: \fi
24: \vskip\belowcaptionskip}}
25: \makeatother
26:
27:
28:
29: \newcommand{\ret}{\nonumber\\}
30: \newcommand{\bigno}{\par\bigskip\noindent}
31: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
32: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
33: \newcommand{\abs}[1]{\left|#1\right|}
34: \newcommand{\norm}[1]{\left\Vert#1\right\Vert}
35: \newcommand{\normi}[1]{\left\Vert#1\right\Vert_{\infty}}
36: \newcommand{\rbk}[1]{\left(#1\right)}
37: \newcommand{\sqbk}[1]{\left[#1\right]}
38: \newcommand{\cbk}[1]{\left\{#1\right\}}
39: \newcommand{\bkt}[1]{\left\langle#1\right\rangle}
40: \newcommand{\set}[2]{\left\{#1\,\Bigl|\,#2\right\}}
41: \newcommand{\ep}{\varepsilon}
42: \newcommand{\rhom}{\rho_{\rm m}}
43: \newcommand{\rhop}{\rho_{\rm p}}
44: \newcommand{\rhoi}{\rho_{\rm i}}
45: \newcommand{\pppp}{{\bf p}^{(2)}}
46: \newcommand{\rppp}{{\bf r}^{(2)}}
47: \newcommand{\gammappp}{\gamma^{(2)}}
48: \newcommand{\tip}{\tilde{\bf p}}
49: \newcommand{\tir}{\tilde{\bf r}}
50: \newcommand{\tigamma}{\tilde{\gamma}}
51: \newcommand{\tiGamma}{\tilde{\Gamma}}
52: \newcommand{\tix}{\tilde{x}}
53: \newcommand{\hatp}{\hat{\bf p}}
54: \newcommand{\hatr}{\hat{\bf r}}
55: \newcommand{\hatgamma}{\hat{\gamma}}
56: \newcommand{\hatGamma}{\hat{\Gamma}}
57: \newcommand{\bp}{{\bf p}}
58: \newcommand{\br}{{\bf r}}
59: \newcommand{\bo}{{\bf o}}
60: \newcommand{\pth}{p_{\rm th}}
61: \newcommand{\eR}{e_{\rm R}}
62: \newcommand{\DE}{\Delta E}
63: \newcommand{\DtE}{\Delta\tilde{E}}
64: \newcommand{\eqref}[1]{(\ref{e:#1})}
65:
66:
67:
68: \begin{document}
69: \noindent
70: {\Large\bf The coefficient of restitution does not exceed unity}
71:
72: \setcounter{footnote}{1}
73: \footnotetext{This version will appear in Journal of Statistical Physics.}
74: \bigskip\noindent
75: Hal Tasaki\footnote{
76: Department of Physics, Gakushuin University,
77: Mejiro, Toshima-ku, Tokyo 171-8588, Japan,
78: {\tt hal.tasaki\makeatletter @\makeatother gakushuin.ac.jp}
79: }
80:
81:
82: \begin{abstract}
83: We study a classical mechanical problem in which a macroscopic ball is reflected by a non-deformable wall.
84: The ball is modeled as a collection of classical particles bound together by an arbitrary potential, and its internal degrees of freedom are initially set to be in thermal equilibrium.
85: The wall is represented by an arbitrary potential which is translation invariant in two directions.
86: We then prove that the final normal momentum can exceed the initial normal momentum at most by $O(\sqrt{mkT})$, where $m$ is the total mass of the ball, $k$ the Boltzmann constant, and $T$ the temperature.
87: This implies the well-known statement in the title in the macroscopic limit where $O(\sqrt{mkT})$ is negligible.
88: Our result may be interpreted as a rigorous demonstration of the second law of thermodynamics in a system where a macroscopic dynamics and microscopic degrees of freedom are intrinsically coupled with each other.
89: \end{abstract}
90:
91: \section{Introduction}
92: Impact between macroscopic bodies is a common phenomenon in which the complicated dynamics of microscopic degrees of freedom plays an essential role in determining the macroscopic motions of the bodies.
93: A standard quantity characterizing impact is the coefficient of restitution $\eR$, which is the ratio between the normal (relative) velocities before and after the impact.
94: Although some elementary physics textbooks refer to the coefficient of restitution $\eR$ as a material constant, careful studies have revealed that $\eR$ depends sensitively on various conditions \cite{eR1,eR2}.
95: It has even been pointed out that the generally believed rule that $\eR$ cannot exceed unity may be violated in oblique impacts between a ball and a wall, provided that the wall is locally deformable \cite{egt1a,egt1b}.
96:
97: Given such recent progress, it seems necessary to develop theories of impact from fundamental and statistical mechanical points of view.
98: Here {\em we prove a basic theorem which establishes the above mentioned rule $\eR\le1$ (in the macroscopic limit) based on microscopic dynamics in a general and physically natural setting}\/.
99: More precisely we model a non-deformable wall by an arbitrary fixed potential which is translation invariant in two directions, and a ball as a collection of $N$ classical particles which are bound together by an arbitrary potential.
100: We assume that the internal degrees of freedom of the ball are initially in their thermal equilibrium, and give the center of mass of the ball a macroscopic momentum.
101: See Fig.~\ref{f:system}.
102: Then we prove rigorous inequalities about the final momentum, which essentially implies $\eR\le1$ for a macroscopic ball.
103: Our bound contains a small correction (which is negligible for macroscopic bodies)
104: which shows that even very small bodies can violate the $\eR\le1$ rule only
105: by a universal factor determined by the thermal momentum.
106:
107: \begin{figure}
108: \begin{center}
109: \epsfig{file=system.eps,width=5cm}
110: \end{center}
111: \caption{
112: A ``ball'' consisting of $N$ classical particle is reflected by a non-deformable wall.
113: }
114: \label{f:system}
115: \end{figure}
116:
117: The rule $\eR\le1$ itself is by no means surprising.
118: But as far as we know such a fundamental and well known relation has not been established rigorously before.
119: We believe that our explicit treatment of interplay between microscopic and macroscopic degrees of freedom in a dynamical system is unique and new.
120:
121: Of course the rule $\eR\le1$ is closely related to the second law of thermodynamics.
122: In the present problem ({\em not}\/ in those treated in \cite{egt1a,egt1b}), that $\eR\le1$ essentially means that the internal thermal energy of the ball cannot be converted into macroscopic kinetic energy.
123: This can be regarded as a manifestation of the second law in the form of Kelvin's law.
124: We stress, however, that although there have been some rigorous derivations of the second law of thermodynamics based on microscopic mechanics \cite{second1,second2,second3,second4,second5,second6,second7}, none of them apply to the present situation of a ball reflected by a wall.
125: The reason for the inapplicability is essential rather than technical.
126: In the existing proofs of the second law, macroscopic degrees of freedom are assumed to be completely controlled by an outside agent.
127: The agent performs an operation (represented by a time-dependent Hamiltonian) according to a pre-fixed protocol, without allowing any feedback from the microscopic degrees of freedom\footnote{
128: In thermodynamic settings, it is implicitly assumed that the feedback from microscopic degrees of freedom becomes negligible if the system and the means of operations become macroscopic.
129: It is hard to judge how realistic such an idealization is.
130: }.
131: In the present problem of impact, on the other hand, the macroscopic motion of the ball is determined only as a solution to the equation of motion involving all the degrees of freedom.
132: It is therefore mandatory here to take into account feedback to the macroscopic motion from the microscopic motion.
133: We accomplish this by making a full use of the symmetry of the model.
134:
135: Thus, from the view points of statistical mechanics and thermodynamics, our result $\eR\le1$ can be regarded as {\em a step in establishing the second law by properly taking into account feedback from microscopic degrees of freedom to macroscopic motion}\/.
136: Such a treatment is not only realistic but also sheds better light on the interplay between the macroscopic and the microscopic scales.
137: We also note that in small physical systems (such as molecular motors) which operate under relatively large thermal fluctuation, feedback from internal degrees of freedom to overall motion plays an essential role.
138: Recently Maes and the present author extended the present work, and proved similar (but weaker) results in a much more general setting \cite{MaesTasaki}.
139:
140: We note that the second law has been extended to nonequilibrium states in \cite{GL,GGL} by examining the Boltzmann entropy.
141: Although these works do not treat concrete mechanical setup as our, they deal with very similar problem as the present work, namely, to demonstrate the second law by starting from a nonequilibrium state and following the deterministic dynamics.
142: The constancy of the phase space volume plays an essential roles both in \cite{GL,GGL} and the present work (as well as in the Boltzmann's original work).
143:
144: The reader might ask what our result imply about the thermalization process which should take place within the ball during and after the impact.
145: Interestingly enough our analysis does not deal directly with possible thermalization, and still rigorously leads us to the desired rule $\eR\le1$.
146: This is indeed physically natural since a thermalization process is not universal while the rule $\eR\le1$ is.
147: Although it is likely that usually a sufficient thermalization takes place during the impact, this may not be the case when the impact occurs very quickly.
148: Nevertheless the rule $\eR\le1$ is always valid, and should be provable.
149: It is of course challenging to study thermalization, but it requires a much more detailed and concrete analysis.
150:
151:
152: \section{Definitions and main results}
153: We consider a classical ``ball''
154: which consists of $N$ point-like particles
155: whose canonical momenta and coordinates are
156: denoted as $\bp_{i}$ and $\br_{i}$,
157: respectively,
158: for $i=1,2,\ldots,N$.
159: We use the Cartesian coordinates when expressing the momenta and coordinates in their components.
160: The Hamiltonian of the
161: ball is
162: \begin{equation}
163: H=
164: \sum_{i=1}^N\frac{|\bp_{i}|^2}{2\mu_{i}}
165: +
166: \sum_{i>j}U_{i,j}(\br_{i}-\br_{j})
167: +
168: \sum_{i=1}^NV_{i}(\br_{i}),
169: \label{e:H1}
170: \end{equation}
171: where \( \mu_{i} \) is the mass of the \( i \)-th
172: particle, \( U_{i,j}(\cdot) \) is the potential of
173: the force between the particles $i$ and $j$,
174: and \( V_{i}(\cdot) \) is the potential
175: of the force that the wall exerts on the
176: \( i \)-th particle.
177: We assume that each $V_i(\cdot)$ is invariant under any translation in the
178: y or z directions.
179: Other assumptions about the potentials of the wall will be stated later.
180: As for the interaction,
181: we assume that $U_{i,j}(\br_i-\br_j)\ge U_0$ with a constant $U_0$, and $U_{i,j}(\br_i-\br_j)=\infty$ when $|\br_i-\br_j|\ge R_0$ with a constant $R_0>0$.
182: The first assumption is introduced to guarantee that the canonical distribution \eqref{e:rig} is well-defined.
183: It may be replaced by a weaker condition if necessary.
184: The second assumption guarantees that the ball cannot be larger than $R_0$.
185: This constraint makes the proof less technical.
186: Otherwise we have no requirements for \( U_{i,j}(\cdot) \).
187:
188: We stress that the ball need not be a uniform one.
189: One can design suitable $U_{i,j}(\cdot)$ (and constraints of the configuration if necessary) to treat, for example, an elastic sphere filled with a gas.
190: Moreover the ball may have an arbitrary shape (determined by the potential $U_{i,j}$), so it need not be a ``ball.''
191:
192: As usual we introduce the momentum\footnote{
193: We write $A:=B$ when we want to emphasize that $B$ defines $A$.
194: }
195: \begin{equation}
196: \bp=(p_{x},p_{y},p_{z}):=\sum_{i=1}^N\bp_i,
197: \label{e:bp}
198: \end{equation}
199: and the coordinate
200: \begin{equation}
201: \br=(x,y,z):=\frac{1}{m}\sum_{i=1}^N\mu_i\,\br_i,
202: \label{e:br}
203: \end{equation}
204: of the center of mass,
205: where \( m=\sum_{i}\mu_{i} \)
206: is the total mass of the ball.
207: We also denote by \( \gamma \) the collection of
208: canonical coordinates for the remaining \( 3(N-1) \)
209: internal
210: degrees of freedom.
211: We denote these variables collectively as $\Gamma=(\bp,\br,\gamma)$ and
212: denote by $d\Gamma=d\bp\,d\br\,d\gamma$ the Lebesgue measure on the
213: whole $6N$-dimensional phase space.
214:
215:
216:
217: By using these new variables, we write the potential from the wall as
218: \begin{equation}
219: V(\br,\gamma)=\sum_{i=1}^NV_i(\br_i).
220: \label{e:Vrg}
221: \end{equation}
222: Then the Hamiltonian (\ref{e:H1})
223: is rewritten as
224: \begin{equation}
225: H=\frac{|\bp|^2}{2m}
226: +h(\gamma)+V(\br,\gamma),
227: \label{e:E}
228: \end{equation}
229: where \( h(\gamma) \) is the Hamiltonian for the
230: internal degrees of freedom.
231: Let us list our assumptions about the potential $V(\br,\gamma)$.
232:
233: \noindent
234: i) $V(x,y,z,\gamma)$ is independent of $y$ and $z$.
235:
236: \noindent
237: ii) $V(x,y,z,\gamma)=0$ if $x\le0$ for any $\gamma$ such that $h(\gamma)<\infty$.
238:
239: \noindent
240: iii) For any $\gamma$ such that $h(\gamma)<\infty$, one has $\frac{\partial}{\partial x}V(x,y,z,\gamma)\ge 0$ for any $x\ge0$ and $\frac{\partial}{\partial x}V(x,y,z,\gamma)\ge f_0$ for $x\ge r_0$.
241: Here $f_0>0$ and $r_0>0$ are constants.
242:
243: The translation invariance i) is a consequence of the already stated translation invariance of $V_i(\br_i)$.
244: The property ii) means that the effect of the wall takes place only for
245: sufficiently large $x$.
246: As a consequence, the internal degrees of freedom of the ball and the motion of its center of mass are decoupled if $x<0$.
247: Then the center of mass moves with a constant velocity and the internal degrees of freedom $\gamma$ evolve separately according to the nontrivial internal dynamics determined by $h(\gamma)$.
248: The existence of such a ``decoupled motion'' plays an essential role in our proof.
249: The property iii) means that the wall exerts repulsive force which becomes strong enough if the ball goes deeper into the wall.
250: This guarantees that the ball is reflected by the wall.
251:
252: We denote by $\tiGamma(t)=(\tip(t),\tir(t),\tigamma(t))$ a
253: solution of the equation of motion determined by $H$.
254: Of course this is a full fledged $N$-body problem, and one can never write down the solution $\tiGamma(t)$ explicitly.
255: Nevertheless we will be able to control some aspects of the motion rigorously.
256: We denote the initial state
257: as $\Gamma^{(0)}=(\bp^{(0)},\br^{(0)},\gamma^{(0)}):=\tiGamma(0)$.
258: See Fig.~\ref{f:variables}~(a).
259:
260: Let us specify the initial condition.
261: Roughly speaking we take the initial state $\Gamma^{(0)}=(\bp^{(0)},\br^{(0)},\gamma^{(0)})$
262: where the momentum $\bp^{(0)}$ of the center of mass (almost)
263: has a macroscopic value $\bp_0$, and the internal degrees of
264: freedom of the ball are in equilibrium.
265: Therefore the ball initially has no macroscopic rotation.
266: More precisely the initial state $\Gamma^{(0)}$ is sampled
267: according to a measure
268: $\rho(\Gamma)\,d\Gamma$,
269: where the weight $\rho(\Gamma)$ is written in a product form as
270: \begin{equation}
271: \rho(\Gamma)=\rhom(\bp)\,\rhop(\br)\,\rhoi(\gamma).
272: \label{e:rhoGamma}
273: \end{equation}
274: Here the probability $\rhop(\br)$ for the position is an arbitrary normalized density
275: (including delta functions) such that $\rhop(x,y,z)=0$ if $x>0$.
276: Thus the ball does not feel the wall at $t=0$.
277: As for the momentum we use for simplicity the normalized density given by
278: \begin{equation}
279: \rhom(\bp)=
280: \cases{
281: 3/\{4\pi(\Delta p)^3\}&if $|\bp-\bp_0|\le\Delta p$;\cr
282: 0&otherwise,
283: }
284: \label{e:rm}
285: \end{equation}
286: where the initial macroscopic momentum is $\bp_0=(p_0,p_1,p_2)$ with $p_0>2\Delta p>0$ and arbitrary $p_1$, $p_2$.
287: Finally we assume that the internal degrees of freedom of the ball are in equilibrium,
288: and sample them according to the canonical distribution
289: \begin{equation}
290: \rhoi(\gamma)=\frac{e^{-\beta\,h(\gamma)}}{Z(\beta)}
291: \label{e:rig}
292: \end{equation}
293: with the partition function
294: \begin{equation}
295: Z(\beta)=\int d\gamma\,e^{-\beta\,h(\gamma)},
296: \label{e:Zbeta}
297: \end{equation}
298: where $\beta=(kT)^{-1}$ is the inverse temperature.
299: Note that the canonical distribution is the physically correct choice (even for a very small ball) if the ball was in touch with a heat bath before the collision experiment\footnote{
300: To be precise one must assume that the interaction between the ball and the bath is very weak, and that one can detach the ball from the bath without disturbing the state of the ball.
301: }.
302: When the ball can be regarded as a ``healthy'' macroscopic body, the choice of the equilibrium ensemble should not matter because of the ``equivalence of ensemble.''
303: To demonstrate this, we treat in section~\ref{s:MC} the situation where the internal degrees of freedom are initially distributed according to the microcanonical ensemble.
304:
305:
306: Let $t_{\rm f}>0$ be a time such that $x(t)<0$ for any $t\ge t_{\rm f}$ with probability one (for the initial state as described above).
307: In other words the ball has certainly been reflected by the wall and
308: is already in a ``decoupled motion'' at time $t_{\rm f}$.
309: Note that such $t_{\rm f}$ always exists because of the assumed property iii) about the force from the wall\footnote{
310: We have assumed iii) only to ensure the existence of a finite $t_\mathrm{f}$.
311: Thus one can replace iii) with weaker conditions which still ensure the existence of $t_\mathrm{f}$.
312: }.
313: We shall fix $t_{\rm f}$ throughout the paper, and denote the final state as $\Gamma^{(\mathrm{f})}=(\bp^{(\mathrm{f})},\br^{(\mathrm{f})},\gamma^{(\mathrm{f})}):=\tiGamma(t_{\rm f})$.
314: See Fig.~\ref{f:variables}~(a).
315:
316:
317: For any $p>0$,
318: let $P_\mathrm{f}(p)$ be the probability that the final momentum $\bp^{(\mathrm{f})}=(p_x^{(\mathrm{f})},p_y^{(\mathrm{f})},p_z^{(\mathrm{f})})$ satisfies
319: $|p_x^{(\mathrm{f})}|\ge p$.
320: We define the thermal momentum as $\pth=\sqrt{m/\beta}$,
321: which is extremely small for a macroscopic ball.
322: Then the main result of the present paper is the following.
323:
324: \bigskip
325: \noindent
326: {\bf Theorem:}
327: Set the uncertainty in the initial momentum as $\Delta p =\pth$.
328: Then one has
329: \begin{equation}
330: P_\mathrm{f}(p)\le 12\frac{(\pth+p)^3}{p_0(\pth)^2}\exp[
331: -\frac{\beta}{2m}\{p^2-(p_0+\pth)^2\}],
332: \label{e:Pp0}
333: \end{equation}
334: and for the coefficient of restitution
335: \begin{equation}
336: \eR:=\frac{\langle|p_x^{(\mathrm{f})}|\rangle}{p_0}
337: \le
338: 1+2\frac{\pth}{p_0}+325\rbk{\frac{p_0}{\pth}}^2
339: \exp[-\frac{p_0}{\pth}].
340: \label{e:R0}
341: \end{equation}
342: \bigskip
343:
344: The bound (\ref{e:R0}) shows that the coefficient of restitution $\eR$ does not exceed unity by much when $\pth\ll p_0$.
345: Note that the condition $\pth\ll p_0$ is always met in a macroscopic ball.
346: The bound (\ref{e:Pp0}) contains stronger information, and
347: shows that it is exponentially unlikely to have a final momentum $\bp^{(\mathrm{f})}$ with $|p^{(\mathrm{f})}_x|-p_0\gtrsim\pth$.
348:
349: When the ball consists of a small number of particles and the thermal momentum $\pth$ is not negligible (compared with $p_0$), there can be some events\footnote{
350: One can easily construct such events with $|p_x^{(\mathrm{f})}|>p_0$, for example, in a model of two particles coupled by a harmonic potential.
351: } where the final momentum $|p_x^{(\mathrm{f})}|$ becomes strictly larger than $p_0$.
352: But our bound (\ref{e:Pp0}) is valid even for such small balls, and establishes that {\em the final momentum $|p_x^{(\mathrm{f})}|$ may exceed $p_0$ only by a factor comparable to $\pth$}\/.
353: This means that when we say that a ball is macroscopic, we should speak about whether the initial momentum $p_0$ is large compared with the thermal momentum $\pth$, rather than whether the ball consists of many particles.
354:
355:
356:
357: \begin{figure}
358: \begin{center}
359: \epsfig{file=variables.eps,width=10cm}
360: \end{center}
361: \caption{
362: The solutions $\tiGamma(t)$ and $\hatGamma(t)$ are related by a shift of time and a translation.
363: The variables in the figure play an important role in the proof.
364: }
365: \label{f:variables}
366: \end{figure}
367:
368:
369: The requirement $\Delta p=\pth$ in the theorem may sound natural from a practical point of view since it would be very hard to make $\Delta p$ smaller than $\pth$.
370: Theoretically speaking, we expect that the inequalities (\ref{e:Pp0}) and (\ref{e:R0}) (with slight improvements) are valid in the limit $\Delta p\to0$ as well, but cannot prove them for purely technical reasons.
371: The technical difficulty appears when we try to decouple macroscopic degrees of freedom (i.e., the $\bp^{(\mathrm{f})}$ integral) from microscopic degrees of freedom (i.e., the $\gamma^{(1)}$ integral) in (\ref{e:Pp3}).
372: It is desirable to find an improved proof which works in the $\Delta p\to0$ limit.
373:
374: \section{The case with a fixed protocol}
375: Before describing the proof, which is rather involved, let us
376: describe the corresponding argument which works in the case
377: where the macroscopic motion is treated as a fixed protocol
378: as in the traditional proof of the second law \cite{second1,second2,second3,second4,second5,second6,second7}.
379: We hope that this short description will make clear both the essence of the proof and the difficulties encountered in the fully mechanical problem that we treat.
380:
381: Suppose that the internal degrees of freedom are governed by a time-dependent Hamiltonian $h(t;\gamma)$ such that $h(0;\gamma)=h(t_\mathrm{f};\gamma)=h(\gamma)$.
382: One may imagine that an outside agent performs a fixed operation on the ball.
383: Again we denote by $\gamma^{(0)}$ and $\gamma^{(\mathrm{f})}$ the states at time $t=0$ and $t=t_\mathrm{f}$, respectively.
384: From the energy conservation law, the energy that the external agent gains during the operation is
385: \begin{equation}
386: \DE:=h(\gamma^{(0)})-h(\gamma^{(\mathrm{f})}).
387: \label{e:DE}
388: \end{equation}
389:
390:
391: Suppose that the initial state $\gamma^{(0)}$ is distributed according to $\rhoi(\gamma^{(0)})$ of \eqref{rig}.
392: For any $D\ge0$, let $\tilde{P}(D)$ be the probability that $\Delta E\ge D$.
393: Then from the definition, one has
394: \begin{equation}
395: \tilde{P}(D)
396: =\int_{\Delta E\ge D}d\gamma^{(0)}\,\frac{e^{-\beta\,h(\gamma^{(0)})}}{Z(\beta)}.
397: \label{e:idea1}
398: \end{equation}
399: Now the Liouville theorem implies $d\gamma^{(0)}=d\gamma^{(\mathrm{f})}$.
400: Then, from the energy conservation law \eqref{DE},
401: the probability (\ref{e:idea1}) can be bounded as
402: \begin{equation}
403: \tilde{P}(D)
404: =\int_{\Delta E\ge D}d\gamma^{(\mathrm{f})}\,
405: \frac{e^{-\beta\,h(\gamma^{(\mathrm{f})})-\beta \Delta E}}{Z(\beta)}
406: \le
407: \int d\gamma^{(\mathrm{f})}\,\frac{e^{-\beta\,h(\gamma^{(\mathrm{f})})-\beta D}}{Z(\beta)}
408: =e^{-\beta\,D}.
409: \label{e:idea2}
410: \end{equation}
411: The final factor decays rapidly for $D\gtrsim1/\beta$, and implies that the energy gain $\DE$ cannot be larger than $O(kT)$.
412: In the macroscopic limit (where $O(kT)$ is negligible), this implies Kelvin's version of second law, i.e., $\DE\le0$.
413:
414: The above argument, which makes use only of the energy conservation law and the Liouville theorem, contains the basic strategy of our proof of the main theorem.
415: But it is obvious that the same argument cannot be applied to our fully mechanical problem of the ball reflected by the wall.
416: The main difficulty comes from the fact that the macroscopic motion itself becomes a dynamical degree of freedom, and the Liouville theorem does not imply $d\gamma^{(0)}=d\gamma^{(\mathrm{f})}$, but implies $d\Gamma^{(0)}=d\Gamma^{(\mathrm{f})}$.
417: To overcome the difficulty, we shall make full use of the symmetry of the model and the property of the space of the momentum of the center of mass.
418:
419: \section{Proof}
420: Note that we can set $p_1=p_2=0$ by making a suitable Galilei transformation.
421: Then the initial momentum is $\bp_0=(p_0,0,0)$ plus a small fluctuation.
422:
423: Since the initial measure $\rho(\Gamma)$ is normalized, the probability in question is written as
424: \begin{equation}
425: P_\mathrm{f}(p)=\int_{|p_x^{(\mathrm{f})}(\Gamma^{(0)})|\ge p}d\Gamma^{(0)}\,\rho(\Gamma^{(0)}),
426: \label{e:Pp01}
427: \end{equation}
428: where $\Gamma^{(\mathrm{f})}(\Gamma^{(0)})=(\bp^{(\mathrm{f})}(\Gamma^{(0)}),\br^{(\mathrm{f})}(\Gamma^{(0)}),\gamma^{(\mathrm{f})}(\Gamma^{(0)}))$ is the final state represented as a function of the initial state $\Gamma^{(0)}$.
429: Since $\Gamma^{(0)}$ and $\Gamma^{(\mathrm{f})}$ are in one-to-one correspondence and the Liouville theorem implies $d\Gamma^{(0)}=d\Gamma^{(\mathrm{f})}$, one can rewrite (\ref{e:Pp01}) as
430: \begin{equation}
431: P_\mathrm{f}(p)=\int_{|p_x^{(\mathrm{f})}|\ge p}d\Gamma^{(\mathrm{f})}\,\rho(\Gamma^{(0)}(\Gamma^{(\mathrm{f})})),
432: \label{e:Pp1}
433: \end{equation}
434: where $\Gamma^{(0)}(\Gamma^{(\mathrm{f})})$ is the initial state represented as a function of the final state $\Gamma^{(\mathrm{f})}$.
435: Since $\Gamma^{(0)}=(\bp^{(0)},\br^{(0)},\gamma^{(0)})$ depends on $\Gamma^{(\mathrm{f})}=(\bp^{(\mathrm{f})},\br^{(\mathrm{f})},\gamma^{(\mathrm{f})})$ in a nontrivial manner, it is not easy to evaluate the integral (\ref{e:Pp1}) as it is.
436: To ``disentangle'' the dependence as much as possible, we make a change of variables.
437:
438: Recall that $\tiGamma(t)=(\tip(t),\tir(t),\tigamma(t))$ is a solution of the equation of motion with $\tiGamma(0)=\Gamma^{(0)}$ and $\tiGamma(t_{\rm f})=\Gamma^{(\mathrm{f})}$.
439: Since $x^{(\mathrm{f})}=\tix(t_{\rm f})<0$, there is a $\tau>0$ such that $\tix(t_{\rm f}-\tau)=0$, where we wrote $\tir(t)=(\tix(t),\tilde{y}(t),\tilde{z}(t))$.
440: Indeed there are two values of $\tau$ satisfying $\tix(t_{\rm f}-\tau)=0$, and we take the smaller one.
441: In other words, the center of mass passes through the yz-plane (defined by $x=0$) at $t=t_{\rm f}-\tau$ {\em after}\/ the reflection from the wall.
442: Since the motion ``decouples'' for $t\ge t_{\rm f}-\tau$, the center of mass has a constant velocity $\bp^{(\mathrm{f})}/m$, and we have $\tau=mx^{(\mathrm{f})}/p_x^{(\mathrm{f})}$.
443: Let us write $\Gamma^{(1)}=(\bp^{(1)},\br^{(1)},\gamma^{(1)}):=\tiGamma(t_{\rm f}-\tau)$.
444: We then find $\bp^{(1)}=\bp^{(\mathrm{f})}$, $\br^{(1)}=\br^{(\mathrm{f})}-(\bp^{(\mathrm{f})}/m)\tau$, and (by definition) $x^{(1)}=0$.
445: See Fig.~\ref{f:variables}~(a).
446:
447: Let us consider another solution $\hatGamma(t)=(\hatp(t),\hatr(t),\hatgamma(t))$ (which satisfies the same equation of motion determined by $H$) with the ``final condition'' $\hatGamma(t_{\rm f})=(\bp^{(\mathrm{f})},{\bf o},\gamma^{(1)})$ where ${\bf o}=(0,0,0)$.
448: We then trace back the time evolution and write $\Gamma^{(2)}=(\pppp,\rppp,\gammappp):=\hatGamma(0)$.
449: See Fig.~\ref{f:variables}~(b).
450: We can naturally regard $\pppp$, $\rppp$, and $\gammappp$ as functions only of $\bp^{(\mathrm{f})}$ and $\gamma^{(1)}$.
451:
452: Note that the two solutions $\tiGamma(t)$ and $\hatGamma(t)$ share the momentum $\bp^{(\mathrm{f})}=\bp^{(1)}$ and the internal coordinate $\gamma^{(1)}$ at the moment when the center of mass passes through the yz-plane after the impact.
453: Since the whole system is translation invariant in the y and the z directions, this means that the two solutions are related by a simple shift of time and a spatial translation as $\tip(t)=\hatp(t+\tau)$, $\tir(t)=\hatr(t+\tau)+\br^{(1)}$, and $\tigamma(t)=\hatgamma(t+\tau)$.
454: Noting that the motion ``decouples'' before the center of mass passes the yz-plane, these relations imply
455: \begin{equation}
456: \bp^{(0)}=\tip(0)=\hatp(\tau)=\pppp,
457: \label{e:ppp}
458: \end{equation}
459: and
460: \begin{equation}
461: \gamma^{(0)}=\tigamma(0)=\hatgamma(\tau)=F_\tau(\gammappp),
462: \label{e:ggg}
463: \end{equation}
464: where $F_\tau(\cdot)$ represents the time evolution generated by $h(\gamma)$ alone.
465: As for the positions $\br^{(0)}$ and $\rppp$, we use $\hatr(\tau)=\hatr(0)+(\bp/m)\tau$ to get
466: \begin{eqnarray}
467: \br^{(0)}&=&\tir(0)=\hatr(\tau)+\br^{(1)}
468: \nonumber\\
469: &=&\hatr(0)+\frac{\bp^{(0)}}{m}\tau+\br^{(1)}
470: \nonumber\\
471: &=&\rppp+\frac{\bp^{(0)}}{m}\tau+\br^{(\mathrm{f})}-\frac{\bp^{(\mathrm{f})}}{m}\tau
472: \nonumber\\
473: &=&
474: \rppp+\br^{(\mathrm{f})}
475: +\frac{\tau}{m}(\bp^{(0)}-\bp^{(\mathrm{f})}).
476: \label{e:qtq0}
477: \end{eqnarray}
478: We then substitute $\tau/m=x^{(\mathrm{f})}/p_x^{(\mathrm{f})}$ to get
479: \begin{equation}
480: \br^{(0)}=
481: \rppp+(0,y^{(\mathrm{f})},z^{(\mathrm{f})})+\frac{x^{(\mathrm{f})}}{p_x^{(\mathrm{f})}}(p_x^{(0)},p_y^{(0)}-p_y^{(\mathrm{f})},p_z^{(0)}-p_z^{(\mathrm{f})}).
482: \label{e:qtq}
483: \end{equation}
484: Suppose that $\bp^{(\mathrm{f})}$ and $\gamma^{(1)}$ are fixed, and consequently, $\bp^{(2)}$ and $\br^{(2)}$ are also fixed.
485: Then \eqref{qtq0} implies that the coordinate variables $\br^{(0)}$ and $\br^{(\mathrm{f})}$ are related with each other by a simple linear transformation.
486: This is the most important observation in the proof.
487:
488: Since $\gamma^{(\mathrm{f})}=F_\tau(\gamma^{(1)})$, the Liouville theorem for the internal degrees of freedom implies $d\gamma^{(\mathrm{f})}=d\gamma^{(1)}$.
489: We also have $\rhoi(\gamma^{(0)})=\rhoi(\gammappp)$ since the canonical distribution is time-independent.
490: By combining all these results we finally get
491: \begin{eqnarray}
492: P_\mathrm{f}(p)&=&\int_{|p_x^{(\mathrm{f})}|\ge p}
493: d\bp^{(\mathrm{f})}d\br^{(\mathrm{f})}d\gamma^{(1)}
494: \rhom(\pppp)\,\rhop(\br)\,\rhoi(\gammappp)
495: \nonumber\\
496: &=&
497: \int_{|p_x^{(\mathrm{f})}|\ge p}
498: d\bp^{(\mathrm{f})}d\gamma^{(1)}\abs{\frac{p_x^{(\mathrm{f})}}{p_x^{(2)}}}\rhom(\pppp)\,\rhoi(\gammappp).
499: \label{e:Pp2}
500: \end{eqnarray}
501: To get the second line, we substituted (\ref{e:qtq}) and $\bp^{(0)}=\pppp$, and integrated over $\br^{(\mathrm{f})}$ (with $\bp^{(\mathrm{f})}$ and $\gamma^{(1)}$ fixed).
502: The factor $|{p_x^{(\mathrm{f})}}/{p_x^{(2)}}|$ is the Jacobian of the linear transformation (\ref{e:qtq}).
503: Surprisingly, we were able to carry out the $\br^{(\mathrm{f})}$ integral exactly since $\pppp$, $\rppp$ and $\gammappp$ do not depend on $\br^{(\mathrm{f})}$ and $\rhop(\br)$ is normalized.
504: The most delicate estimate is over.
505:
506: We now use the energy conservation law
507: \begin{equation}
508: \frac{|\pppp|^2}{2m}+h(\gammappp)=\frac{|\bp^{(\mathrm{f})}|^2}{2m}+h(\gamma^{(1)})
509: \label{e:encon}
510: \end{equation}
511: and the explicit form of $\rhoi$ to get
512: \begin{eqnarray}
513: P_\mathrm{f}(p)&=&\int_{|p_x^{(\mathrm{f})}|\ge p}
514: \hspace{-10pt}
515: d\bp^{(\mathrm{f})}d\gamma^{(1)}\abs{\frac{p_x^{(\mathrm{f})}}{p_x^{(2)}}}\rhom(\pppp)
516: \frac{e^{-\beta h(\gamma^{(1)})-\frac{\beta}{2m}\{|\bp^{(\mathrm{f})}|^2-|\pppp|^2\}}}{Z(\beta)}
517: \nonumber\\
518: &\le&
519: \frac{3}{4\pi(\Delta p)^3}
520: \int_{|\bp^{(\mathrm{f})}|\ge p}
521: d\bp^{(\mathrm{f})}d\gamma^{(1)}\frac{|p_x^{(\mathrm{f})}|}{p_0-\Delta p}
522: \frac{e^{-\beta h(\gamma^{(1)})}}{Z(\beta)}
523: e^{-\frac{\beta}{2m}\{|\bp^{(\mathrm{f})}|^2-(p_0+\Delta p)^2\}},
524: \label{e:Pp3}
525: \end{eqnarray}
526: where we have enlarged the range of integral, and replaced $\pppp$ by its ``worst possible values'' and
527: $\rhom(\pppp)$ by its maximum value $3/\{4\pi(\Delta p)^3\}$.
528: Now the $\bp^{(\mathrm{f})}$ integral and the $\gamma^{(1)}$ integral are completely
529: separated and we get
530: \begin{eqnarray}
531: P_\mathrm{f}(p)&\le&
532: \frac{3}{4\pi(\Delta p)^3}
533: \int_{|\bp^{(\mathrm{f})}|\ge p}
534: \hspace{-5pt}
535: d\bp^{(\mathrm{f})}\,
536: \frac{|\bp^{(\mathrm{f})}|}{p_0-\Delta p}\,
537: e^{-\frac{\beta}{2m}\{|\bp^{(\mathrm{f})}|^2-(p_0+\Delta p)^2\}}
538: \nonumber\\
539: &\le&
540: 12\frac{(p+\pth)^3\pth}{p_0(\Delta p)^3}
541: e^{-\frac{\beta}{2m}\{p^2-(p_0+\Delta p)^2\}},
542: \label{e:Pp4}
543: \end{eqnarray}
544: where we recalled that $\pth=\sqrt{m/\beta}$, $p_0-\Delta p\ge p_0/2$, and bounded the
545: integral using the standard (and elementary) estimate
546: \begin{eqnarray}
547: \int_{|\bp'|\ge p}d\bp'\,|\bp'|\,e^{-|\bp'|^2/(2\alpha)}
548: &=&
549: \int_p^\infty dp'\,4\pi(p')^3\,e^{-(p')^2/(2\alpha)}
550: \nonumber\\
551: &=&\int_0^\infty ds\,4\pi(s+p)^{3}\,e^{-(s+p)^2/(2\alpha)}
552: \nonumber\\
553: &\le&
554: 4\pi\,e^{-p^2/(2\alpha)}\int_0^\infty ds\,(s+p)^{3}\,e^{-s^2/(2\alpha)}
555: \nonumber\\
556: &\le&
557: 8\pi\sqrt{\alpha}\,(p+\sqrt{\alpha})^{3}\,e^{-p^2/(2\alpha)},
558: \label{e:int}
559: \end{eqnarray}
560: where the final (crude) bound is checked by evaluating the integral explicitly.
561: By setting $\Delta p=\pth$ in (\ref{e:Pp4}), we get the desired (\ref{e:Pp0}).
562:
563: To deal with the coefficient of restitution $\eR$, we note that for any $\delta>0$
564: \begin{equation}
565: \bkt{|p_x^{(\mathrm{f})}|}\le\bkt{|\bp^{(\mathrm{f})}|}\le p_0+\delta+
566: \int_{|\bp^{(\mathrm{f})}|\ge p_0+\delta}d\Gamma^{(\mathrm{f})}\,|\bp^{(\mathrm{f})}|\,\rho(\Gamma(\Gamma^{(\mathrm{f})})),
567: \label{e:pp}
568: \end{equation}
569: and bound the integral as before to get
570: \begin{equation}
571: \bkt{|\bp^{(\mathrm{f})}|}\le p_0+\delta+
572: 9\sqrt{2\pi}\,\frac{\pth(p_0+\delta+\pth)^4}{(\Delta p)^3p_0}
573: e^{-\frac{\beta}{2m}\{(p_0+\delta)^2-(p_0+\Delta p)^2\}}.
574: \label{e:ppp2}
575: \end{equation}
576: By setting $\delta=2\Delta p=2\pth$, we get (\ref{e:R0}).
577:
578: \section{Microcanonical distribution}
579: \label{s:MC}
580: We have proved our theorem in the setting where the internal degrees of freedom are initially distributed according to the canonical distribution.
581: To demonstrate that the choice of the equilibrium ensemble does not matter if the ball can be regarded as a ``healthy'' macroscopic system, we here show how to treat the case with the microcanonical distribution.
582: The following (not too short) analysis indeed corresponds to a single line calculation in (\ref{e:Pp3}).
583: From this one clearly sees that the canonical distribution is perfectly suited for a demonstration of the second law.
584:
585:
586: Let the density of states of the internal degrees of freedom be
587: \begin{equation}
588: \Phi(E):=\int d\gamma\,\delta(h(\gamma)-E).
589: \label{e:PhiE}
590: \end{equation}
591: We assume that $\Phi(E)$ satisfies the bounds
592: \begin{equation}
593: c_1\,\exp[N\,\sigma(E/N)]\le\Phi(E)\le c_2\,\exp[N\,\sigma(E/N)],
594: \label{e:PhiEexp}
595: \end{equation}
596: with a function $\sigma(\epsilon)$ which is smooth, nonincreasing, and concave in $\epsilon$, and constants $0<c_1\le c_2$.
597: Here $N$ is the number of particles in the ball, and is assumed to be a large quantity.
598: Of course $\sigma(\epsilon)$ is nothing but the entropy.
599: We note that the above assumption may not hold in general.
600: When this assumption is valid, the system exhibits ``healthy'' thermodynamic behaviors, and the canonical distribution and the microcanonical distribution become equivalent in the sense that they give the same thermodynamics in the limit $N\to\infty$.
601: We shall now extend this equivalence to the case of the collision problem.
602:
603:
604: We then choose two constants $\epsilon_0>0$, $\DE>0$, and set the initial distribution of the internal degrees of freedom as
605: \begin{equation}
606: \rhoi(\gamma)=\frac{1}{\Omega_0}\,\chi[N\epsilon_0\le h(\gamma)\le
607: N\epsilon_0+\DE],
608: \label{e:riMC}
609: \end{equation}
610: where the characteristic function is defined by $\chi[\mbox{true}]=1$ and $\chi[\mbox{false}]=0$.
611: The normalization constant is
612: \begin{equation}
613: \Omega_0=\int_{N\epsilon_0}^{N\epsilon_0+\DE}dE\,\Phi(E)
614: \ge c_1\,\exp[N\,\sigma(\epsilon_0)]\,\DE.
615: \label{e:Omega0}
616: \end{equation}
617: This defines the microcanonical distribution with a finite width $\DE$.
618:
619: Now we substitute the present $\rhoi(\gamma)$ to the right-hand side of \eqref{Pp2} to get
620: \begin{eqnarray}
621: P_\mathrm{f}(p)&=&\frac{1}{\Omega_0}\int_{|p_x^{(\mathrm{f})}|\ge p}
622: d\bp^{(\mathrm{f})}d\gamma^{(1)}\abs{\frac{p_x^{(\mathrm{f})}}{p_x^{(2)}}}\rhom(\pppp)\,
623: \chi[N\epsilon_0\le h(\gamma^{(2)})\le
624: N\epsilon_0+\DE]
625: \nonumber\\
626: &=&
627: \frac{1}{\Omega_0}\int_{|p_x^{(\mathrm{f})}|\ge p}
628: d\bp^{(\mathrm{f})}d\gamma^{(1)}\abs{\frac{p_x^{(\mathrm{f})}}{p_x^{(2)}}}\rhom(\pppp)\times
629: \nonumber\\
630: &&
631: \hspace{3cm}\times
632: \chi[N\epsilon_0\le h(\gamma^{(1)})+\frac{|\bp^{(\mathrm{f})}|^2}{2m}-\frac{|\bp^{(2)}|^2}{2m}\le
633: N\epsilon_0+\DE],
634: \label{e:PpMC1}
635: \end{eqnarray}
636: where we used the energy conservation \eqref{encon}.
637: We then note that for any $\bp^{(2)}=\bp^{(0)}$ such that $\rhom(\bp^{(2)})\ne0$, one has
638: \begin{equation}
639: \frac{(p_0)^2}{2m}-\DtE\le\frac{|\bp^{(2)}|^2}{2m}\le\frac{(p_0)^2}{2m}+\DtE
640: \label{e:DtE0}
641: \end{equation}
642: where
643: \begin{equation}
644: \DtE:=\frac{p_0\,\Delta p}{m}+\frac{(\Delta p)^2}{2m}.
645: \label{e:DtE}
646: \end{equation}
647: Then \eqref{PpMC1} and \eqref{DtE0} imply that
648: \begin{eqnarray}
649: P_\mathrm{f}(p)&\le&
650: \frac{1}{\Omega_0}\int_{|p_x^{(\mathrm{f})}|\ge p}
651: d\bp^{(\mathrm{f})}d\gamma^{(1)}\abs{\frac{p_x^{(\mathrm{f})}}{p_x^{(2)}}}\rhom(\pppp)\times
652: \nonumber\\
653: &&
654: \hspace{1cm}\times
655: \chi[N\epsilon_0-\DtE\le h(\gamma^{(1)})+\frac{|\bp^{(\mathrm{f})}|^2}{2m}-\frac{|\bp^{(0)}|^2}{2m}\le
656: N\epsilon_0+\DE+\DtE]
657: \nonumber\\
658: &=&
659: \int_{|p_x^{(\mathrm{f})}|\ge p}
660: d\bp^{(\mathrm{f})}\abs{\frac{p_x^{(\mathrm{f})}}{p_x^{(2)}}}\rhom(\pppp)\times
661: \nonumber\\
662: &\times&
663: \frac{1}{\Omega_0}\int d\gamma^{(1)}
664: \chi[N\epsilon_0-\DtE\le h(\gamma^{(1)})+\frac{|\bp^{(\mathrm{f})}|^2}{2m}-\frac{|\bp^{(0)}|^2}{2m}\le
665: N\epsilon_0+\DE+\DtE].
666: \label{e:PpMC2}
667: \end{eqnarray}
668: Note that the $\bp^{(\mathrm{f})}$ integral and the $\gamma^{(1)}$ integral have been split.
669: We can evaluate the $\gamma^{(1)}$ integral separately as
670: \begin{eqnarray}
671: &&\frac{1}{\Omega_0}\int d\gamma^{(1)}\,
672: \chi[N\epsilon_0-\DtE\le h(\gamma^{(1)})+\frac{|\bp^{(\mathrm{f})}|^2}{2m}-\frac{|\bp^{(0)}|^2}{2m}\le
673: N\epsilon_0+\DE+\DtE]
674: \nonumber\\
675: &=&
676: \frac{1}{\Omega_0}\int dE\, \Phi(E)\,
677: \chi[N\epsilon_0-\DtE\le E+\frac{|\bp^{(\mathrm{f})}|^2}{2m}-\frac{|\bp^{(0)}|^2}{2m}\le
678: N\epsilon_0+\DE+\DtE]
679: \nonumber\\
680: &\le&
681: \frac{1}{\Omega_0}\,(\DE+2\DtE)\,
682: c_2\,\exp[N\,\sigma(\epsilon_0+\frac{1}{N}\{-\frac{|\bp^{(\mathrm{f})}|^2}{2m}+\frac{|\bp^{(0)}|^2}{2m}+\DE+\DtE\})]
683: \nonumber\\
684: &\le&
685: \rbk{1+\frac{2\DtE}{\DE}}\,
686: \frac{c_2\,\exp[N\,\sigma(\epsilon_0+N^{-1}\{-\frac{|\bp^{(\mathrm{f})}|^2}{2m}+\frac{|\bp^{(0)}|^2}{2m}+\DE+\DtE\})]}{c_1\,\exp[N\,\sigma(\epsilon_0)]}
687: \nonumber\\
688: &\le&
689: \rbk{1+\frac{2\DtE}{\DE}}\frac{c_2}{c_1}\,
690: \exp[\beta\{-\frac{|\bp^{(\mathrm{f})}|^2}{2m}+\frac{|\bp^{(0)}|^2}{2m}+\DE+\DtE\}],
691: \label{e:PpMC3}
692: \end{eqnarray}
693: where we used \eqref{Omega0} to get the second inequality.
694: To get the third inequality, we noted that \eqref{PhiEexp} and the concavity of $\sigma(\epsilon)$ imply
695: \begin{equation}
696: e^{N\,\sigma(\epsilon_0+(D/N))}
697: \le e^{N\,\sigma(\epsilon_0)+\beta D},
698: \label{e:Phiconv}
699: \end{equation}
700: for any $D$, where $\beta=\sigma'(\epsilon_0)$.
701:
702: We now choose the uncertain $\DE$ (built into the microcanonical ensemble) comparable to $\DtE\simeq p_0\Delta p/m$.
703: Then by substituting \eqref{PpMC3} into \eqref{PpMC2}, we get essentially the same estimate as in the first line of (\ref{e:Pp3}) with an extra constant.
704: Note that the estimate gets worse as we take $\DE$ smaller.
705:
706:
707:
708: \bigskip
709:
710: It is a pleasure to thank Hisao Hayakawa, Tsuyoshi Mizuguchi, Hidetoshi Nishimori, Shin-ichi Sasa, and
711: Ken Sekimoto for valuable discussions.
712: I also thank referees for their constructive comments on the manuscript.
713:
714:
715:
716:
717: \begin{thebibliography}{10}
718:
719:
720:
721: \bibitem{eR1}
722: W. J. Stronge, {\em Impact Mechanics}\/ (Cambridge University Press, 2000).
723: \bibitem{eR2}
724: H. Hayakawa and H. Kuninaka, Phase Transitions {\bf 79}, 889 (2004), cond-mat/0312005.
725: \bibitem{egt1a}
726: M. Y. Louge and M. E. Adams, Phys. Rev. {\bf E65}, 021303 (2002).
727: \bibitem{egt1b}
728: H. Kuninaka and H. Hayakawa, Phys. Rev. Lett. {\bf 93}, 154301 (2004).
729: \bibitem{second1}
730: A. Lenard, J. Stat. Phys.
731: {\bf 19}, 575 (1978).
732: \bibitem{second2}
733: W. Pusz and S. L. Woronowicz,
734: Commun. Math. Phys. {\bf 58}, 273 (1978).
735: \bibitem{second3}
736: W. Thirring,
737: {\em Quantum Mechanics of Large
738: Systems}\/ (Springer, 1983).
739: \bibitem{second4}
740: C. Jarzynski, Phys. Rev. Lett.
741: {\bf 78}, 2690 (1997).
742: \bibitem{second5}
743: C. Jarzynski, J. Stat. Phys. {\bf 96}, 415 (1999).
744: \bibitem{second6}
745: H. Tasaki, Statistical mechanical derivation of the second law of thermodynamics (unpublished note), cond-mat/0009206.
746: \bibitem{second7}
747: H. Tasaki, The second law of Thermodynamics as a theorem in quantum mechanics (unpublished note), cond-mat/0011321.
748: \bibitem{MaesTasaki}
749: C. Maes and H. Tasaki, Second law of thermodynamics for macroscopic mechanics coupled to thermodynamic degrees of freedom, cond-mat/0511419.
750: \bibitem{GL}
751: S. Goldstein and J. L. Lebowitz, Physica D193,
752: 53 (2004), cond-mat/0304251
753: \bibitem{GGL}
754: R. L. Garrido, S. Goldstein, and J. L. Lebowitz,
755: Phys. Rev. Lett. {\bf 92}, 050602 (2004).
756: \end{thebibliography}
757:
758:
759: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
760: \end{document}
761: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%