1: \documentclass{rcdj}

2: 

3: \usepackage{hhline}

4: 

5: \begin{document}

6: 

7: \setcounter{secnumdepth}{3}

8: \setcounter{tocdepth}{5}

9: \makeatletter

10: \renewcommand*\l@paragraph{\@dottedtocline{4}{1.0em}{2.1em}}

11: \@addtoreset{paragraph}{section}

12: \makeatother

13: 

14: \setcounter{page}{177}

15: \journal{REGULAR AND CHAOTIC DYNAMICS, V.\,7, \No2, 2002}

16: \title{THE ROLLING MOTION OF A RIGID BODY ON A PLANE\\ AND A SPHERE.

17: HIERARCHY OF DYNAMICS}

18: \runningtitle{THE ROLLING MOTION OF A RIGID BODY ON A PLANE AND A SPHERE.

19: HIERARCHY OF DYNAMICS}

20: \runningauthor{A.\,V.\,BORISOV, I.\,S.\,MAMAEV}

21: \authors{A.\,V.\,BORISOV}

22: {Department of Theoretical Mechanics\\

23: Moscow State University,

24: Vorob'ievy Gory\\

25: 119899, Moscow, Russia\\

26: E-mail: borisov@rcd.ru}

27: \authors{I.\,S.\,MAMAEV}

28: {Laboratory of Dynamical Chaos and Nonlinearity\\

29: Udmurt State University, Universitetskaya, 1\\

30: 426034, Izhevsk, Russia\\

31: E-mail: mamaev@rcd.ru}

32: \amsmsc{37J60, 37J35}

33: \received 17.01.2002.

34: \doi{10.1070/RD2002v007n02ABEH000204}

35: \abstract{In this paper we consider cases of existence of invariant measure,

36: additional first integrals, and Poisson structure in a problem of rigid

37: body's rolling without sliding on plane and sphere. The problem of rigid

38: body's motion on plane was studied by S.\,A.\,Chaplygin, P.\,Appel,

39: D.\,Korteweg. They showed that the equations of motion are reduced to a

40: second-order linear differential equation in the case when the surface of

41: dynamically symmetric body is a surface of revolution. These results were

42: partially generalized by P.\,Woronetz, who studied the motion of body

43: of revolution and the motion of round disk with sharp edge on the surface of

44: sphere. In both cases the systems are Euler\f Jacobi integrable and have

45: additional integrals and invariant measure. It turns out that after some

46: change of time defined by reducing multiplier, the reduced system is a

47: Hamiltonian system. Here we consider different cases when the integrals

48: and invariant measure can be presented as finite algebraic expressions.

49: 

50: We also consider the generalized problem of rolling of dynamically

51: nonsymmetric Chaplygin ball. The results of studies are presented as tables

52: that describe the hierarchy of existence of various tensor invariants:

53: invariant measure, integrals, and Poisson structure in the considered

54: problems.}

55: 

56: \maketitle

57: 

58: 

59: 

60: \section*{Contents}

61: 

62: \makeatletter

63: \@starttoc{toc}

64: \makeatother

65: 

66: \bigskip

67: 

68: \section{Equations of Rigid Body Motion on Plane and Sphere without

69: Sliding (Nonholonomic Rolling)}

70: 

71: \wfig<bb=0 0 56.8mm 41.8mm>{ris1.eps}

72: 

73: In this paper we consider the equations of rigid body's rolling on plane

74: and sphere, because in these two cases, as opposed to a rolling on an

75: arbitrary surface, the equations of motion are similar the Euler\f Poisson

76: equations. In both cases there are six first-order equations for six

77: variables. In the potential field the equations have two integrals of

78: motion: the energy integral and the geometrical integral (for Euler\f

79: Poisson equations there is also the area integral; its analog in problem

80: of rolling is presented only under additional dynamical and geometrical

81: restrictions).

82: 

83: Suppose that the rigid body rolls without sliding (i.e. the velocity of

84: contact point~$Q$ is equal to zero) on the fixed surface represented by

85: plane or sphere. The first part of equations of motion is the vector

86: dynamical equation of kinetic moment~$\bM$ behavior in time with respect

87: to the contact point~$Q$ (Fig.~\ref{ris1.eps}). This equation is

88: represented for \emph{arbitrary shapes of body and surface} in the form

89: \eq[eq1.1]{

90: \dot{\bs M}={\bs M}\times{\bs \omega}+m\dot{\bs r}\times

91: ({\bs\omega}\times{\bs r})+{\bs M}_Q,

92: }

93: where~${\bs M},\,{\bs \omega},\,{\bs r}={GQ}$, $\bM_Q$ are supposed to be

94: projected on the principal central axes of inertia in the body; here

95: ${\bs \omega}$ is the angular velocity, ${\bs M_Q}$ is the moment of

96: external forces with respect to the contact point, $G$ is the center of

97: mass. The second part of the motion equation is the vector kinetic

98: equation of Poisson type different for the cases of plane~{\bf a)}

99: and sphere~{\bf b)}:

100: \begin{itemize}

101: \item[{\bf a)}]\mbox{}\vspace{-6mm}

102: \eq[eq1.2]{

103: \dot{\bs\gam}={\bs\gam}\times{\bs\omega},

104: }

105: where~${\bs\gam}$ is the unit vector orthogonal to the plane,

106: \item[{\bf b)}]\mbox{}\vspace{-6mm}

107: \eq[eq1.3]{

108: {R}_0(\dot{\bs\gam} + {\bs\omega} \times

109: {\bs\gam}) =\dot{\bs r},

110: }

111: where~${\bs\gam}$ is the unit vector orthogonal to the sphere of

112: radius~$R_0$ (see Fig.~\ref{ris2.eps}).

113: \end{itemize}

114: 

115: In equations~(\ref{eq1.1}),\,(\ref{eq1.2}),\,(\ref{eq1.3}) we suppose

116: that the radius vector~${\bs r}$ is expressed as a function of normal

117: vector~$\gam$ with the help of equation

118: \eq[eq1.4]{

119: {\bs\gam}=-\frac{\grad{f}}{|\grad{f}|}

120: }

121: that define the Gauss transformation, where~$f(\bs r)=0$ is the equation

122: of the body's surface in the main central frame of references connected

123: with the body. We suppose that the body is everywhere convex (to exclude

124: the collisions during the motion), and equation~(\ref{eq1.4}) is uniquely

125: solvable with respect to~${\bs r}=\br({\bs\gam})$. We assume that this

126: condition is always fulfilled in the following text.

127: 

128: Using~(\ref{eq1.4}) we can represent kinematic equation~(\ref{eq1.3})

129: describing the dynamics of vector~${\bs\gam}$ in the case of sphere in the

130: form

131: \eq[eq1.5]{

132: \dot{\bs\gam}=\left(1+k({\bf B}-k)^{-1}\right) {\bs\gam}\times{\bs\om},

133: \qq k=R_0^{-1},

134: }

135: where~${\bf B}=\|b_{ij}\|$ is a degenerate matrix with the components

136: $b_{ij}=-\pt{}{r_i}\Bigl(\frac{1}{|\nabla f|}\pt{f}{r_j}\Bigr)$.

137: 

138: The relation between~$\bM$ and~$\bs\omega$ is defined by the equation

139: \eq[eq1.6]{

140: {\bs M}= {\bf I}{\bs \omega}+m{\bs r}\times ({\bs\omega}\times{\bs

141: r}),\quad

142: \bs\omega=\frac{{\bf A}\bM-m\br\times({\bf A}\br\times{\bf A}\bM)}{1-m(\br,{\bf

143: A}\br)},

144: }

145: where~$m$ is the mass of body, ${\bf I}$ is the central tensor of inertia,

146: ${\bf A}=({\bf I}+m\br^2)^{-1}$.\goodbreak

147: 

148: If the potential~$U=U(\bs\gamma)$ depends only on the components of

149: vector~$\bs\gamma$, then we can present the moment of external

150: forces in the form:

151: 

152: {\bf a)} in the case of plane~${\bs M}_Q={\bs

153: \gam}\times\pt{U}{{\bs \gam}}$;

154: 

155: {\bf b)} in the case of sphere~$ {\bs M}_Q={\bs

156: \gam}\times(1+k({\bf B}^{\rm T}-k)^{-1})\pt{U}{\bs \gam}$,

157: where~$\bf B$ is matrix~(\ref{eq1.5}).

158: 

159: For equations~(\ref{eq1.1}) and~(\ref{eq1.2}),(\ref{eq1.3}) we always have

160: the energy integral and the geometrical integral

161: \eq[eq1.7]{

162: H=\frac{1}{2}({\bs M},\,{\bs\om})+U({\bs\gam}), \quad

163: F_1=\bs\gamma^2=1.

164: }

165: 

166: \begin{rem*}

167: The proof is based on the formula

168: $$

169: \frac12(\bM,\bs\omega)^{\ds\bs.}=(\bM_Q,\bs\omega).

170: $$

171: It follows only from equation~\eqref{eq1.1} and does not depend on the

172: shape of the surface, on which the body is rolling.

173: \end{rem*}

174: 

175: According to Euler\f Jacobi theorem (the theory of last multiplier), %??????

176: to integrate these equations we need two more independent first integrals

177: and an invariant measure~\cite{kozlov1}. Recall that the density of

178: invariant measure~$\rho$ of the general system

179: $$

180: \dot{\bx}=\bv(\bx),\quad \bx =(x_1,\ldots,x_n)

181: $$

182: satisfies the Liouville equation~$\div(\rho\bv)=0$. In the general case

183: none of these objects exists; therefore, the system shows some

184: interesting asymptotic and chaotic properties characteristic for the

185: oscillation of Celtic stones. %?????????

186: Such properties are not typical for conservative

187: systems~\cite{karapet,kozlov1}. We consider all the known cases of

188: existence of additional first integrals (one or two at once) and the

189: cases of existence of invariant measure.

190: 

191: Dynamical and geometrical bounds leading to the existence of the first

192: integrals and of the invariant measure are independent in some sense. For

193: some combinations of parameters there exist only the measure or only the

194: additional integral. In some extreme cases two additional integrals and

195: measure can exist at the same time; thus, the system became completely

196: integrable.

197: 

198: The results of the study are presented separately for the cases of body's

199: rolling on plane and on sphere and collected in tables~1, 2. The following

200: subsections are essentially the comments for these tables.

201: 

202: \section{Body on a Plane}

203: 

204: \paragraph{Body of revolution's rolling on plane

205: (S.\,A.\,Chaplygin~\cite{chaplygin2}, P.\,Appell~\cite{Appell,appel-eng2}).}

206: If both the surface of body and the central ellipsoid of inertia are

207: coaxial surfaces of revolution, then for equations~\eqref{eq1.1},

208: \eqref{eq1.2} there exist two additional integrals and invariant measure.

209: We assume that the potential~$U$ is an arbitrary function

210: of~$\gamma_3=\cos\theta$, i.\,e. it depends only on the slope of revolution

211: axis of the body to the vertical. In particular, in the case of the gravity

212: field the center of mass must be situated on the axis of revolution.

213: 

214: The integrability of problem for an arbitrary body of revolution was shown

215: by S.\,A.\,Chaplygin in 1897~\cite{chaplygin2}. He also demonstrated that

216: it is possible to add a balanced uniformly revolving rotor along the axis

217: of revolution (gyrostat) preserving the integrability of problem. More

218: specific cases of this problem were studied by

219: 

220: a. Routh (1884): the rolling of unbalanced dynamically symmetric ball

221: on plane.

222: 

223: b. Neumann, Carvallo (1898), Appell (1899) and Korteweg (1900): the

224: rolling of round disk.

225: 

226: The results of Neumann and Carvallo mainly concern the deduction of motion

227: equations and determination of stationary solutions. Note that Neumann

228: during the deduction of equations of motion at first made the same mistake

229: that occurred before in Lindel\"{o}f paper. He applied the Lagrangean

230: formalism without the necessary "nonholonomic"\ modifications. In the

231: subsequent studies he corrected this mistake, but did not solve the

232: problem in quadratures. The lindel\"{o}f mistake was analyzed in detail

233: by S.\,A.\,Chaplygin (1897). He obtained a new form of equations of

234: nonholonomic dynamics and was able to reduce the considered problem of

235: rolling of revolution body to two linear first-order equations. In the

236: case of round disk's rolling, S.\,A.\,Chaplygin showed the possibility of

237: reduction of these two equations to one linear (second-order) equation

238: solvable in hypergeometric functions. We should also note that, before

239: Chaplygin's work, the equations of heavy revolution body motion were

240: obtained in~1861 by G.\,Slesser, but their integrability was not indicated.

241: 

242: Somewhat later (in 1898), the analogous substitution (in the equations

243: obtained by Carvallo in the paper presented for the Fourneyron prize) was

244: used by Appell and in the slightly different form by Korteweg. They both

245: did not know S.\,A.\,Chaplygin's paper that was published in inaccessible

246: journal only in Russian (the English translation of Chaplygin's papers

247: dedicated to this problem is published in this journal in 2002). This is

248: the reason of the fact that in many modern textbooks and research papers

249: (O'Reily~\cite{oreilly}) the problem of round disk's rolling is connected

250: with the names of Appell and Korteweg, although the previous text show

251: that this opinion is not completely correct.

252: 

253: Here we present the results obtained by S.\,A.\,Chaplygin in the modern

254: algebraic form that let us to show the invariant measure in the explicit

255: form and also to obtain the simplest forms of the first integrals. It

256: turns out that we can generalize these results to dynamically

257: nonsymmetric situation.

258: 

259: In the case of body of revolution we can find the solutions of equation

260: of surface~(\ref{eq1.6}) in the explicit form

261: \eq[eq2.1]{

262: r_1=f_1(\gam_3)\gam_1, \q r_2=f_1(\gam_3)\gam_2, \q

263: r_3=f_2(\gam_3),

264: }

265: where~$f_i(\gam_3)$, $i=1,2$ are function subjected to the differential

266: equation that defines the meridional section

267: \begin{equation}

268: \label{eq2.1/2}

269: \frac{df_2}{d\gamma_3}=f_1-\frac{1-\gamma_3^2}{\gamma_3}\frac{df_1}{d\gamma_3}.

270: \end{equation}

271: 

272: 

273: If we denote the main central tensor of inertia

274: as~${\bf I}=\diag(I_1,\,I_1,\,I_3)$, $(I_1=I_2)$, then we can explicitly

275: calculate the density of invariant measure of

276: equations~(\ref{eq1.1}),\,(\ref{eq1.2}). It exists for arbitrary

277: functions $f_1(\gamma_3)$, $f_2(\gamma_3)$ that define the surface

278: \eq[eq2.2]{

279: \rho=\frac{1}{\sqrt{I_1I_3+m(\br,{\bf I}\br)}}

280: =\frac{1}{\sqrt{I_1I_3+I_1mf_1^2(1-\gam_3^2)+I_3mf_2^2}}.

281: }

282: 

283: \begin{rem*}

284: For the equations motion in variables $\bs\omega,\bs\gamma$ the density of

285: invariant measure differs from~\eqref{eq2.2} by factor $\det {\bf I}_Q$,

286: where ${\bf I}_Q={\bf I}+m(\br^2{\bf E}-\br\otimes\br)$ is the tensor of

287: inertia with respect to the point of contact. In the case $I_1=I_2$ we

288: have $\det{\bf I}_Q=(I_1+m\br^2)(I_1I_3+m(\br,{\bf I}\br))$. It is

289: interesting that measure~\eqref{eq2.2} contain one of these factors.

290: \end{rem*}

291: 

292: It is easy to verify that under the above conditions the equations of

293: motion also have {\em the symmetry field\/}~${\bs v}$ defined by the

294: differential operator

295: \eq[eq2.3]{

296: \wh {\bs v}=M_1\pt{}{M_2}-M_2\pt{}{M_1}+

297: \gam_1\pt{}{\gam_2}-\gam_2\pt{}{\gam_1}.

298: }

299: It corresponds to the invariance of the system with respect to rotations

300: about the axis of dynamical symmetry. Using this field we can reduce the

301: order of system. For that we should choose the integrals of vector

302: fields~\eqref{eq2.3} as reduced variables to present the equations in

303: the simplest form. After a number of tries, we choose the following

304: reduced variables

305: \eq[eq2.4]{

306: \begin{gathered}

307: K_1=\frac{(\bM,\br)}{f_1}=M_1\gamma_1+M_2\gamma_2+\frac{f_2}{f_1}M_3\\

308: K_2=\frac{\omega_3}{\rho}=\rho\Bigl(mf_1f_2(M_1\gamma_1+M_2\gamma_2)+

309: (I_1+mf_2^2)M_3\Bigr)\\

310: K_3=\frac{M_2\gamma_1-M_1\gamma_2}{\sqrt{(1-\gamma_3^2)(I_1+m\br^2)}}.

311: \end{gathered}

312: }

313: In these variables the equations of motion of the reduced system

314: have the following form

315: \eq[eq2-*1]{

316: \begin{gathered}

317: \dot\gamma_3=kK_3\\

318: \dot K_1=-kK_3\rho I_3\Bigl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'\Bigr)K_2,\\

319: \dot K_2=-kK_3\rho mf_1\bigl(f_1-f_2'\bigr)K_1,\\

320: \dot K_3=-\frac{k}{I_1^2f_1^2(1-\gamma_3^2)^2}\biggl(

321: f_2\bigl(f_1(1-\gamma_3^2)+\gamma_3f_2\bigr)(mf_1^2K_1^2+I_3K_2^2)+\\

322: +\gamma_3f_1^2I_1K_1^2-f_1\bigl(f_1(1-\gamma_3^2)+2\gamma_3f_2\bigr)

323: \frac{K_1K_2}{\rho}+\\

324: +mf_1^2\rho f_2(1-\gamma_3^2)(\gamma_3f_1I_1-f_2I_3)K_1K_2\biggr)-

325: k\pt{U(\gamma_3)}{\gamma_3},

326: \end{gathered}

327: }

328: where~$k=\sqrt{\frac{1-\gamma_3^2}{I_1+m\br^2}}$.

329: 

330: It is easy to show that these equations have the invariant measure with

331: density~$\rho=k^{-1}$ and integral of energy

332: \begin{equation}

333: \label{eq2-*2}

334: \begin{gathered}

335: H=\frac12(\bM,\bs\omega)+U(\gamma_3)=\\

336: =\frac{1}{2I_1(1-\gamma_3^2)}\Bigl(K_1^2-\frac{I_3}{mf_1^2}K_2^2+\frac{mf_2^2}{I_1}

337: \Bigl(K_1-\frac{K_2}{\rho m

338: f_1f_2}\Bigr)^2\Bigr)+\frac{1}{2}K_3^2+U(\gamma_3).

339: \end{gathered}

340: \end{equation}

341: Moreover, for system~\eqref{eq2-*1} we have the following theorem

342: 

343: \begin{teo*}

344: After the change of time $k\,dt=d\tau$ vector field~\eqref{eq2-*1} become

345: Hamiltonian

346: $$

347: \frac{dx_i}{d\tau}=\{x_i,H\},\quad \bx=(\gamma_3,K_1,K_2,K_3)

348: $$

349: with Hamiltonian~\eqref{eq2-*2} and degenerate Poisson bracket:

350: \begin{equation}

351: \label{eq2-*3}

352: \begin{gathered}

353: \{\gamma_3,K_3\}=1,\quad

354: \{K_1,K_3\}=-I_3\rho\Bigl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'\Bigr)K_2,\\

355: \{K_2,K_3\}=-m\rho f_1(f_1-f_2')K_1

356: \end{gathered}

357: \end{equation}

358: {\rm (}all the other brackets are equal to zero\/{\rm)}.

359: \end{teo*}

360: 

361: The proof of theorem is obtained by the direct verification of

362: equations and of Jacobi identity.

363: 

364: It turns out that equation~\eqref{eq2-*1} can be written in antisymmetric,

365: almost Hamiltonian form (that sometimes is referred to as antigradient form)

366: \begin{equation}

367: \label{eq2a-*1}

368: \frac{dx_i}{d\tau}={J_\lambda}_{ij}\pt{H}{x_j},\quad {\bf J}_\lambda=

369: -{\bf J}_\lambda^{\text{T}},

370: \end{equation}

371: where

372: \begin{equation}

373: \label{eq2a-*2}

374: \begin{gathered}

375: {\bf J}_\lambda=\begin{pmatrix}

376: 0 & 0 & 0 & 1\\

377: 0 & 0 & \lambda & -I_3\rho\Bigl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'\Bigr)

378: K_2-\lambda u\\

379: 0 & -\lambda & 0 & -m\rho f_1(f_1-f_2')K_1-\lambda v\\

380: -1 & I_3\rho \Bigl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'\Bigr)K_2+\lambda u &

381: m\rho f_1(f_1-f_2')K_1+\lambda v & 0

382: \end{pmatrix}\\

383: u=\frac{1}{f_1^2I_1^2(1-\gamma_3^2)K_3}\Bigl(\frac{(\br,{\bf I}\br)}{m}

384: K_2-\frac{f_1f_2}{\rho}K_1\Bigr),\\

385: v=\frac{1}{I_1^2(1-\gamma_3^2)K_3}\Bigl(\frac{f_2}{f_1\rho}K_2-

386: (I_1+mf_2^2)K_1\Bigr),

387: \end{gathered}

388: \end{equation}

389: and $\lambda$ is an arbitrary function of~$(K_1,K_2,K_3,\gamma_3)$.

390: At $\lambda=0$ we obtain the degenerate tensor ${\bf J}_0$ corresponding

391: to bracket~\eqref{eq2-*3}; although for $\lambda\ne 0$

392: tensor~\eqref{eq2a-*2} is nondegenerate, it does not satisfy the Jacobi

393: identity, i.\,e. it does not define a Poisson bracket.

394: 

395: If $\lambda$ is chosen in the form

396: \begin{equation}

397: \label{eq2a-*3}

398: \lambda=\alpha (\gamma_3)K_3,

399: \end{equation}

400: then the tensor $\wt{\bf J}=(\lambda^{-1}{\bf J}_\lambda)$ satisfies

401: the Jacobi identity, and the corresponding vector field

402: \begin{equation}

403: \label{eq2a-*4}

404: \bv=(\lambda^{-1}{\bf J}_\lambda)\nabla H

405: \end{equation}

406: is Hamiltonian; at the same time the divergence of field~\eqref{eq2a-*4}

407: is nonzero. Thus, the considered nonholonomic system generate an example

408: of Hamiltonian vector field with nontrivial measure $\rho=\alpha

409: (\gamma_3)K_3$. Note also that the function $\rho=\alpha (\gamma_3)K_3$

410: is a reducing multiplier in Chaplygin's terminology, and in this case it

411: differs from invariant measure~\eqref{eq2.2}. The close example of Poisson

412: structure for the problem of ball's rolling on body of revolution was

413: presented by Hermans~\cite{hermans}.

414: 

415: Bracket \eqref{eq2-*3} has two Casimir functions~\cite{bormam-2} that are

416: integrals of motion; therefore, system~\eqref{eq2-*1} is integrable.

417: The integrability and existence of linear integrals can be established by

418: the different classical method: we divide the second and the third

419: equation of system~\eqref{eq2-*1} by $\dot\gamma_3$ and obtain the system

420: of two linear non-autonomous first-order equations

421: \begin{equation}

422: \label{eq2.5}

423: \frac{dK_1}{d\gamma_3}=-\rho

424: I_3\Bigl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'\Bigr)K_2,\quad

425: \frac{dK_2}{d\gamma_3}=-m\rho  f_1(f_1-f_2')K_1.

426: \end{equation}

427: In somewhat different variables connected with semifixed axes,

428: equations~(\ref{eq2.5}) were obtained by S.\,A.\,Chaplygin.

429: Equations~(\ref{eq2.5}) do not contain the potential, which is presented

430: only in the expression of energy integral~\eqref{eq2-*2}. Using this

431: equation we determine the dependence of nutation angle on time after

432: the solving of linear system~(\ref{eq2.5}). In the general case this

433: dependence has periodic oscillating character.

434: 

435: Because the equations~(\ref{eq2.5}) are linear with respect to~$\gam_3$,

436: the general solution can be obtained as the linear superposition

437: \eq[eq2.7]{

438: K_i=c_1g_i^{(1)}+c_2g_i^{(2)},\q i=1,2,

439: }

440: where~$g_i^{(1)}(\gam_3),\,g_i^{(2)}(\gam_3)$ are elementary solutions

441: of~\eqref{eq2.5}. Inverting expressions~(\ref{eq2.7}) with respect

442: to~$c_i$ we obtain the expressions for the lacking first integrals, which

443: are expressed in the general case in terms of real analytic, but

444: nonalgebraic (for example, hypergeometric) functions. Nevertheless,

445: they are always linear with respect to~$M_i$ (i.\,e. with respect to

446: generalized velocities).

447: %????

448: 

449: These integrals in some sense generalize the area integral (corresponding

450: to the cyclic angle of precession) and the cyclic Lagrange integral

451: (corresponding to the cyclic angle of proper rotation)~\cite{bormam-2}

452: that exist in the classical problem of heavy symmetric top's motion

453: about a fixed point (the Lagrange case). The presence of such integrals

454: causes the great similarity of qualitative researches of these

455: problems.

456: 

457: Let's consider all known situations when integrals are algebraic or can be

458: expressed through members of some known classes of special functions.

459: 

460: \paragraph{Round disk (S.\,A.\,Chaplygin, P.\,Appell, D.\,Korteweg).}

461: Generally speaking, we consider a disk with the center of mass

462: displaced along the axis of dynamical symmetry (Fig.~\ref{ris5.eps}).

463: In this case functions~(\ref {eq2.1}) are explicitly expressed as

464: \eq[eq2.71]{

465: f_1=\frac{R}{\sqrt{1-\gam^2_3}}, \qq f_2=a,

466: }

467: where~$R$ is a radius of coin, $a$ is the displacement of the center of

468: mass along the axis of dynamical symmetry (Fig.~\ref{ris5.eps}).

469: 

470: \wfig<bb=0 0 48.2mm 22.9mm>{ris5.eps}

471: 

472: The interesting fact in this case is the independence of

473: measure~\eqref{eq2.2} from the phase variables~$\rho=\const$. For

474: variables~\eqref{eq2.4} we obtain the equations

475: \eq[eq2.8]{

476: \frac{dK_1}{d\theta}=\frac{\rho mR^2}{\sin\theta}K_2, \qq

477: \frac{dK_2}{d\theta}=I_3\rho(\sin\theta+\frac{a}{R}\cos\theta)K_1,

478: }

479: where~$\rho=(I_1I_3+I_1mR^2+I_3ma^2)^{-\fracs12}$. These two linear

480: equations are reduced to one linear second-order equation with respect

481: to~$\om_3$

482: \eq[eq2.9]{

483: \frac{d^2\omega_3}{d\theta^2}-\ctg\theta\frac{d\omega_3}{d\theta}+\rho^2mR(R+

484: a\ctg\theta)I_3\omega_3=0.

485: }

486: At $a=0$ with the help of substitution $\cos\theta=1-2x$

487: equation~\eqref{eq2.9} is transformed to the hypergeometric type

488: equation~\cite{Appell}

489: \eq*{

490: x(1-x)\frac{d^2\omega_3}{dx^2}+(1-2x)\frac{d\omega_3}{dx}-\rho^2I_3mR^2\omega_3=0.

491: }

492: 

493: In the papers~\cite{kolesnik2,fedorov} the following result was shown:

494: the disk for almost all initial conditions do not fall on the plane.

495: In~\cite{kozaf} the similar result was obtained for the nonintegrable

496: problem of heavy disk's rolling on a slopping plane.

497: 

498: The results concerning the stability of stationary motions and the

499: qualitative analysis of motion see in the papers~\cite{kuleshov1,fedorov}

500: and also in the book~\cite{markeev1}.

501: 

502: \paragraph{Dynamically symmetric ball with the displaced center

503: of mass (E.\,Routh, S.\,A.\,Chap\-lygin).}\label{pC}

504: In this case

505: \eq[2-14*]{

506: f_1=R, \qq f_2=R\gamma_3+a,

507: }

508: where~$R$ is the radius of ball, $a$ is the distance from the center of

509: mass to the geometrical center. The measure~$\rho $ is not constant any

510: more

511: \eq[eq2.14]{

512: \rho=\bigl( I_1I_3+I_1mR^2(1-\gamma_3^2)+I_3m(R\gamma_3+a)^2

513: \bigr)^{-\fracs12},

514: }

515: and the equations for~$K_1,\,K_2$ become trivial:~$\dot K_1=0$,

516: $\dot K_2=0$, i.\,e. the expressions

517: \eqc[eq2.15]{

518: K_1  = \om_3\rho^{-1} = \rho^{-1}\left(mR^2\gam_3({\bs M},\,{\bs\gam})+I_1M_3+

519: maR(({\bs M},\,{\bs\gam})+M_3\gam_3)+ma^2M_3\right)=\const,\\

520: K_2  =\frac{1}{R}({\bs M},\,{\bs r})=({\bs M},\,{\bs\gam})+

521: \frac{a}{R}M_3=\const.

522: }

523: are integrals of motion.

524: 

525: The integral~$K_2$ represents \emph{the Jellett integral}. This integral

526: is also present under the arbitrary law of friction at the point of

527: contact~\cite{markeev1}. The integral~$K_1$ was found by E.\,Routh in

528: 1884~\cite{raus} and its form is a little bit mysterious. It was also

529: indicated by S.\,A.\,Chaplygin in the paper~\cite{chaplygin2}. Once again

530: we shall note that both integrals are linear with respect to the

531: velocities. They are the immediate generalizations of the cyclic integrals

532: corresponding to the precession~$\psi$ and to the proper

533: rotation~$\varphi$, but have no such natural dynamical

534: origin. The integral~$K_2$ sometimes is referred to as the

535: \emph{Chaplygin integral}.

536: 

537: \begin{rem*}

538: For axisymmetric bodies we can also indicate the other cases of existence

539: of simple quadratic integral of the form

540: $$

541: F=aK_1^2+bK_2^2,\quad a,b=\const.

542: $$

543: Obviously, we have to require in addition to condition~\eqref{eq2.1/2}

544: the following one

545: \begin{equation}

546: \label{rem-*1}

547: \frac{K_2^{-1}\dot K_1}{K_1^{-1}\dot K_2}=\frac{I_3\Bigl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'\Bigr)}

548: {mf_1(f_1-f_2')}=\lambda=\const.

549: \end{equation}

550: The general solution of equations~\eqref{rem-*1} and~\eqref{eq2.1/2}

551: is expressed in hypergeometric functions. Among the axisymmetric figures

552: of the second order only the ball with displaced center satisfies these

553: equations. The closed bounded curves satisfying~\eqref{rem-*1}

554: and~\eqref{eq2.1/2} and different from ball are similar to the ovals.

555: Below we show that in this case the simple quadratic integral exists in

556: the totaly symmetric case.~$(I_1\ne I_2\ne I_3\ne

557: I_1)$.

558: \end{rem*}

559: 

560: 

561: \paragraph{Three-dimensional point maps in nonholonomic

562: mechanics.}\label{pD-new}

563: Before we consider the following cases of the body's motion, we shall

564: present some general construction that let us to establish relations

565: between equations~\eqref{eq1.1}, \eqref {eq1.2}, \eqref {eq1.3} to some point

566: one-to-one map in three-dimensional space. We present the computer analysis

567: of this map using the numerical integration of the indicated system at the

568: fixed value of energy. Using this method we can find out and give a visual

569: interpretation to various possibilities of existence of measure and

570: integrals in their various combinations.

571: 

572: To construct the three-dimensional map we use the Andoyer\f Deprit

573: variables $(L,G,H,l,g,h)$, which were regularly used in our

574: book~\cite{bormam-2} for computer (and analytical) research of Euler\f

575: Poisson, Kirchhoff and other Hamiltonian equations. As against to

576: nonholonomic situation, in the classical case these variables are

577: canonical, and by virtue of the fact that the area integral is always

578: present in the Euler\f Poisson type equations, we can limit ourselves in

579: the classical case to two-dimensional maps. The problems described above

580: require two additional integrals of motion; therefore, it is necessary to

581: use three-dimensional maps, and such maps are not necessarily possess an

582: invariant measure (as against to Hamiltonian mechanics). Using the known

583: formulas we make the transition from the variables $(\bM, \bs\gamma)$ to

584: the Andoyer\f Deprit variables\nopagebreak\vspace {-4mm}

585: \begin{align}

586: {}\span

587: M_1=\sqrt{G^2-L^2}\sin l,\quad M_2=\sqrt{G^2-L^2}\cos l ,\quad

588: M_3=L,\notag\\[-2pt]

589: \gamma_1&=\ts\left(\frac{H}{G}\sqrt{1{-}\left(\frac{L}{G}\right)^2}\!\!+

590: \frac{L}{G}\sqrt{1{-}\left(\frac{H}{G}\right)^2}\cos g\right)\sin l{+}

591: \sqrt{1{-}\left(\frac{H}{G}\right)^2}\sin g \cos l,\notag\\[-2pt]

592: \gamma_2&=\ts\left(\frac{H}{G}\sqrt{1{-}\left(\frac{L}{G}\right)^2}\!\!+

593: \frac{L}{G}\sqrt{1{-}\left(\frac{H}{G}\right)^2}\cos g\right)\cos l-

594: \sqrt{1{-}\left(\frac{H}{G}\right)^2}\sin g \sin l,\notag\\[-2pt]

595: \gamma_3&=\ts\left(\frac{H}{G}\right)\left(\frac{L}{G}\right){-}

596: \sqrt{1-\left(\frac{L}{G}\right)^2}

597: \sqrt{1-\left(\frac{H}{G}\right)^2}\cos g,\label{an-dp}

598: \end{align}

599: in which we can express the energy~$E=E(L,G,H,l,g)$.

600: 

601: In the Euler\f Poisson equations the value of~$H=(\bM, \bs\gamma)$ is

602: constant, but for equations~\eqref{eq1.1}, \eqref{eq1.2}, \eqref{eq1.3}

603: this is not the case any more. We fix the level of energy $E=E_0$, then

604: choose the intersecting plane, for example, as $g=g_0=\const$, and obtain

605: the three-dimensional map induced by sequential intersections of the phase

606: trajectory with the chosen intersecting plane. We present the map in the

607: variables $(L/G,H/G,l)$, because of its compactness by virtue of the fact

608: that $\Bigl|\frac LG\Bigr|\le 1$, $\Bigl|\frac HG\Bigr|\le 1$. Typical

609: examples of such three-dimensional maps are presented in

610: Figs.~\ref{ris-*1}, \ref{ris-*2}, \ref{ris-*3}, \ref {ris-*4}. It is

611: obvious that, because of the presence of one additional integral, the

612: trajectories are situated{\parfillskip=0pt}

613: 

614: \wfig<bb=0 0 56.9mm 55.3mm>{ris-1.eps}[ The three-dimensional map

615: described in subsection~\ref{pD-new} for the case of Chaplygin ball. The

616: figure shows very clearly that all trajectories are situated on joint

617: level surfaces of two integrals~$H=\const$ and $\bM^2=\const$ ($I_1=1$,

618: $I_2=2$, $I_3=3$) \label{ris-*1}]

619: 

620: \noindent on two-dimensional invariant manifolds of the point map, and the

621: presence of two additional integrals imply the stratification of the

622: three-dimensional space on invariant curves (Fig.~\ref{ris-*1}). In

623: general case when both the integrals and the measure are absent, the

624: complicated behavior of trajectories is possible. In this case random

625: motions alternate with the asymptotic attracting properties typical for

626: dissipative systems. Note also that as against to $(\bM, \bs\gamma)$ the

627: variables $L,G,H,l,g,h$ are more convenient for the analysis of

628: three-dimensional map, because in this variables the linear and angular

629: components are separated, and they have the obvious geometrical meaning

630: (see~\cite{bormam-2}).

631: 

632: One of examples of three-dimensional map is the well-known Smale\f

633: Williamson map. It does not preserve the measure, but is expressed by

634: analytical formulas. Other examples can be obtained by the study of

635: general (nonconservative) perturbations of two-degree Hamiltonian systems.

636: 

637: \paragraph{Rolling of balanced, dynamically nonsymmetric ball

638: (Chaplygin ball~\cite{chaplygin1}).}\label{pD} The equations of motion

639: of dynamically nonsymmetric ball with the center of mass coinciding with

640: the geometrical center can be written in the form\vspace{-3mm}

641: \eqc[eq2.16]{

642:  \dot{\bs M} = {\bs M}\times{\bs \omega}+

643:  \bs\gamma\times\pt{U}{\bs\gamma}, \qq

644: \dot{\bs\gamma}={\bs \gamma}\times{\bs\omega}, \\

645:  {\bs M}={\bf I}{\bs\omega}+D{\bs \gamma}\times({\bs\omega}\times{\bs\gamma}),

646: \qq D=ma^2,

647: }

648: where ${\bf I}=\diag(I_1,I_2,I_3)$ is the central tensor of inertia,

649: $U=U(\bs\gamma)$ is the potential energy. Equations~\eqref{eq2.16}

650: always have the measure with density $\rho$ and the first integrals of the

651: form

652: \eqc[eq2.17]{

653:  \rho=\frac{1}{\sqrt{1-D({\bs\gamma},\,{\bf A}{\bs \gamma})}}, \q

654: {\bf A}=({\bf I}+D{\bf E})^{-1}, \q {\bf E}=\|\dl_{ij}\|, \\

655:  H=\frac12({\bs M},\,{\bs \omega})+U(\bs\gamma),\q F_1={\bs \gamma}^2=1

656:  \q F_2=({\bs M},\,{\bs \gamma}).

657: }

658: At $U=0$ there exists the additional integral $F_3=\bM^2$ and the problem

659: become integrable (S.\,A.\,Chaplygin, 1903~\cite{chaplygin1});

660: the corresponding three-dimensional map is presented in Fig.~\ref{ris-*1}.

661: 

662: It was shown in the paper~\cite{kozlov1} that this problem is still

663: integrable with a Brun potential

664: \eq*{

665: U=\frac12k({\bf I}{\bs \gamma},\,{\bs \gamma}).

666: }

667: The integral $F_3$ in this case has the form

668: \eq*{

669: F_3=\bM^2- \frac{k}{\det{\bf A}}(\bs\gamma,{\bf A}\bs\gamma)

670: }

671: 

672: The authors indicated in~\cite{bm-new} that for any potential~$U$

673: the change of time $d\tau=\rho\,dt$ in equations~\eqref{eq2.16} makes them

674: Hamiltonian with a Poisson bracket, which is nonlinear with respect to the

675: phase variables~$(\bM, \bs\gamma)$ and has the form

676: \begin{equation}

677: \label{eq2b-*1}

678: \begin{gathered}

679: \{M_i,M_j\}=\eps_{ijk}\rho^{-1}(M_k-g\gamma_k),\quad \{M_i,\gamma_j\}=

680: \eps_{ijk}\rho^{-1}\gamma_k,\quad \{\gamma_i,\gamma_j\}=0,\\

681: g=D(\bs\omega,\bs\gamma)=\frac{D(\bs\gamma,{\bf A}\bM)}{1-D(\bs\gamma,

682: {\bf A}\bs\gamma)}.

683: \end{gathered}

684: \end{equation}

685: Bracket~\eqref{eq2b-*1} is degenerated; its Casimir functions are

686: integrals~$ F_1, F_2$~\eqref{eq2.17}. The Hamiltonian corresponding to

687: bracket~\eqref{eq2b-*1} is obtained from energy~\eqref {eq2.17} expressed

688: as a function of the moments by the formula

689: \begin{equation}

690: \label{eq2b-*2}

691: H=\frac12(\bM,{\bf A}\bM)+\frac12 g({\bf A}\bM,\bs\gamma)+U(\bs\gamma).

692: \end{equation}

693: After the change of variables $\bK=\rho\bM$ the Poisson bracket and the

694: Hamiltonian are represented in the form

695: \begin{equation}

696: \label{eq2b-*3}

697: \begin{gathered}

698: \{K_i,K_j\}=\eps_{ijk}(K_k-D\rho^2(\bK,\bs\gamma)a_k\gamma_k),\quad

699: \{K_i,\gamma_j\}=\eps_{ijk}\gamma_k,\quad \{\gamma_i,\gamma_j\}=0,\\

700: H=\frac12\rho^{-2}(\bK,{\bf A}\bK)+\frac12D({\bf A}\bK,\bs\gamma)^2+

701: U(\bs\gamma).

702: \end{gathered}

703: \end{equation}

704: Thus, at the zero level $(\bK, \bs\gamma)=0$ bracket~\eqref{eq2b-*3}

705: passes to the bracket described by algebra~$e(3)$. on which we can write

706: the Euler\f Poisson and Kirchhoff equations~\cite{bormam-2}.

707: 

708: Note that for the considered problem the density of measure $\rho$ is

709: the reducing multiplier (by Chaplygin~\cite{chaplygin3}). With its help the

710: nonholonomic equations are reduced to the Hamiltonian system. Chaplygin

711: himself used such reduction integrating the equations of motion of

712: nonsymmetric ball; as a preliminary he introduced a nonholonomic

713: analog of spherocon variables. It is possible to do these operations in

714: inverse order~\cite{chaplygin1}: one makes at first the change of

715: time $d\tau=\rho\,dt $ to receive a Hamiltonian system, and then

716: introduces the usual spherocon variables and use the Hamilton\f Jacobi

717: method.

718: 

719: As against to Poisson structure~\eqref{eq2-*3} related to the system

720: reduced on the field of a symmetry corresponding to proper rotation,

721: structure~\eqref{eq2a-*4} is related to complete system~\eqref{eq1.1},

722: \eqref{eq1.2}. Unfortunately, we were unable to generalize (to lift)

723: reduced structure~\eqref{eq2-*3} to such complete system. Possibly it is

724: either too difficult or some dynamic effects prevent such generalization.

725: Unfortunately, the dynamic effects preventing the reduction to Hamiltonian

726: form are very purely investigated~\cite{bormam-1}.

727: 

728: \paragraph{Rolling of unbalanced, dynamically nonsymmetric ball on plane.}

729: In this case equations \eqref{eq1.1}, \eqref{eq1.2} can be written in the

730: following convenient form

731: \begin{equation}

732: \label{eq-d*1}

733: \begin{gathered}

734: \left\{

735: \begin{aligned}

736: \dot {\bM}& = \bM\x \bs\omega+m\dot{\br}\x (\bs\omega\x \br),\\

737: \dot{\br}& = \br\x \bs\omega-\ba\x \bs\omega=(\br-\ba)\x\bs\omega

738: \end{aligned}

739: \right.\\

740: \bM={\bf I}\bs\omega+m\br\x(\bs\omega\x\br),

741: \end{gathered}

742: \end{equation}

743: 

744: \wfig<bb=0 0 38.7mm 30.0mm>{ris6.eps}

745: 

746: \noindent where $\ba$ is the vector connecting the center of mass with the

747: geometrical center $\br=R\bs\gamma+\ba$ (see Fig.~\ref{ris6.eps}). It

748: turns out that in the case~$\ba\ne 0$ the integral $F_3=\bM^2$ of

749: system~\eqref{eq2.16} can be directly generalized and written in the form

750: \begin{equation}

751: \label{eq-d*2}

752: F=\bM^2-m\br^2(\bM,\bs\omega)=\bM^2-2m\br^2 H,

753: \end{equation}

754: where $H=\frac12(\bM,\bs\omega)$ is the energy integral. Though this

755: integral is simple enough, but probably it was not known earlier. Note

756: only that under the additional requirement of the dynamical symmetry the

757: Jellett integral and the Chaplygin integrals were found (see

758: subsection~\ref {pC}). Integral~\eqref{eq-d*2} can be considered as

759: their generalization for dynamically nonsymmetric situation.

760: 

761: \fig<bb=0 0 70.3mm 34.0mm>{ris-2.eps}[One of trajectories in the problem

762: of rolling of unbalanced ball on plane. The figure shows clearly that all

763: points are situated on some surface; the condensations of points

764: correspond to asymptotic approximations of the trajectory to periodic

765: solutions. The trajectory goes out from the top and approaches to the three

766: points in lower part of surface\label{ris-*2}]

767: 

768: \fig<bb=0 0 118.4mm 50.0mm>{ris-3.eps}[Three trajectories in the

769: problem of rolling of unbalanced ball on plane. The figure shows very

770: clearly that points are situated on two-dimensional surfaces

771: (corresponding to the level of integral~\eqref{eq-d*2}). The condensation

772: of points corresponds to an asymptotic approximation to some periodic

773: solution.\label{ris-*3}]

774: 

775: We were unable to obtain generalizations of this integral for cases with

776: gyrostat and Brun field. Note also that for $\ba\ne 0$ there is probably

777: no measure. This is illustrated in Figs.~\ref{ris-*2}, \ref{ris-*3}.

778: These figures shows the asymptotic trajectories of the point

779: map situated on the two-dimensional surface of integral~\eqref{eq-d*2}.

780: 

781: \paragraph{An arbitrary body with a spherical central ellipsoid of

782: inertia.}\label{pE} $I_1=I_2=I_3=\mu $, $\mu=\const$.

783: 

784: This problem in general case requires both additional integrals,

785: nevertheless, there is always an invariant measure. For the first time

786: this fact was noted by V.\,A.\,Yaroschuk~\cite{yaroshuk}. In this case the

787: equations written in variables~${\bs \omega},{\bs \gamma} $ are more

788: convenient. They have form

789: \eqc[eq2.18]{

790:  (\mu+m{\bs r}^2)\dot{\bs \omega}  = m(\dot{\bs r}+

791: {\bs \omega}\times {\bs r})({\bs r},\,{\bs\omega}) -

792: m{\bs\omega}({\bs r},\,\dot{\bs r}) +

793: {\bs\gamma}\times\frac{\partial U}{\partial{\bs\gamma}}, \\

794:  \dot{\bs\gamma}  = {\bs\gamma}\times{\bs\omega}.

795: }

796: 

797: Equations~(\ref{eq2.18}) have an invariant

798: relation~$(\dot{\bs\omega},\,{\bs r})=0$, which is used for simplification

799: of some calculations.

800: 

801: The density of invariant measure for these equations indicated

802: in~\cite{yaroshuk} can be represented in the form

803: \eq[eq2.19]{

804: \rho=(\mu+{\bs r}^2)^{\fracs32}.

805: }

806: We were unable to reproduce the generalization of this measure for the case

807: of body's rolling on sphere indicated in the paper~\cite{yaroshuk}.

808: Probably, this generalization does not exist. Also it is not known,

809: what nontrivial integrable cases can be obtained with the help of

810: measure~(\ref{eq2.19}), and whether the system has any Hamiltonian origin,

811: possibly after the appropriate change of time.

812: 

813: \paragraph{Gyrostatic generalizations.}

814: Following mainly the paper by S.\,A.\,Chaplygin~\cite{chaplygin2}, we

815: present the generalizations of the indicated problems for the case with

816: additional uniformly rotating balanced rotor. The corresponding system can

817: be interpreted as a nonholonomic gyrostat. The gyrostatic effect can be also

818: obtained by an addition of multiply connected cavities completely filled

819: by the ideal incompressible liquid possessing nonzero circulation into the

820: body~\cite{bormam-2}. In the described case, equation for the

821: moment~\eqref{eq1.1} can be presented as

822: $$

823: \dot\bM=(\bM+\bS)\times \bs\omega+m\dot\br\times(\bs\omega\times\br)

824: +\bM_Q,

825: $$

826: where $S$ is the constant three-dimensional vector of gyrostatic moment.

827: It is easy to verify that the addition of rotor does not influence

828: the existence of invariant measure with the density depending on

829: the positional variables~$\bs\gamma$. %??????

830: 

831: {\bf a)} {\it Body of revolution.}

832: The equations of type~(\ref{eq2.5}) for the rotor with gyrostatic

833: moment~${\bs S}=(0,\,0,\,s)$ directed along the axis of revolution in

834: variables~\eqref{eq2.4} have the form

835: \eq[eq2.20]{

836: \frac{dK_1}{d\gamma_3} = -I_3\rho\Bigl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'\Bigr)

837: K_2-s,\quad

838: \frac{dK_2}{d\gamma_3} = -m\rho f_1 ((f_1-f_2')K_1+f_2s).

839: }

840: Equations~(\ref{eq2.20}) were obtained in less convenient form by

841: S.\,A.\,Chaplygin~\cite{chaplygin2}. The density of invariant measure is

842: also defined by equation~\eqref{eq2.2}.

843: 

844: Let's consider sequentially the generalizations of the indicated earlier

845: cases of disk, ellipsoid, and ball with the displaced center.

846: 

847: {\bf b)} {\it Round disk.} Now equation~(\ref{eq2.9}) have to the following

848: form

849: \eqc[eq2.21]{

850: \frac{d^2\omega_3}{d\theta^2}-\ctg\theta\frac{d\omega_3}{d\theta} + mRI_3(R+a\ctg\theta)

851: \rho^2\omega_3=smR\rho^2(R+a\ctg\theta), \\

852: \rho=(I_1I_3+I_1mR^2+I_3ma^2)^{-\fracs12},

853: }

854: and at~$a=0$ in general case it is reduced to non-homogeneous

855: (for~$s\ne 0$) hypergeometric equation.

856: 

857: {\bf c)} {\it Ball with the displaced center of mass.}

858: Here system~(\ref{eq2.20}) has the form

859: \eq[eq2.24]{

860: \frac{dK_1}{d\gamma_3}  = -s,\quad

861: \frac{dK_2}{d\gamma_3} = -m\rho R(R\gam_3+a)s,

862: }

863: where $\rho$ is defined by relation \eqref{eq2.14}.

864: We can immediately show the first integral that generalizes the Jellett

865: integral

866: \eq[eq2.25]{

867: F=K_1+s\gamma_3=\const.

868: }

869: The second integral generalizing Routh (Chaplygin) integral has more

870: complicated nonalgebraic form

871: \begin{equation}

872: \label{eq2.26}

873: (I_1-I_3)\rho^{-1}\omega_3

874: - s\left\{\rho^{-1}-I_1\sqrt{\frac{ma^2}{I_1-I_3}}

875: \arctg\left( \sqrt{\frac{m}{I_1-I_3}}

876: \rho (R\gam_3(I_1-I_3)-aI_3)\right)\right\} = \const.

877: \end{equation}

878: In integral~(\ref{eq2.26}) we assume~$I_1>I_3$. For~$I_1<I_3$

879: the integral contain hyperbolic functions. Integral~(\ref{eq2.26})

880: was explicitly presented by A.\,S.\,Kuleshov~\cite{lit3}. It is

881: essentially simplified at~$I_1=I_3=\mu$ and has the form

882: \eq[eq2.27]{

883: \rho^{-1}\Bigl(3\mu\omega_3 - s

884: \frac{\mu+mR^2-2ma^2-maR\gamma_3}{ma^2}\Bigr)=\const.

885: }

886: The form of integral is even simpler for the case of balanced homogeneous

887: ball ($a=0$):

888: $$

889: \omega_3+\frac12\frac{mR^2\gamma_3^2}{\sqrt{\mu(\mu+mR^2)}}=\const.

890: $$

891: 

892: This simple integrable generalization was indicated by

893: D.\,K.\,Bobylev~\cite{bobylev} (some additional simplifications

894: in the case of explicit integration were also indicated by

895: N.\,E.\,Zhukovsky~\cite{Zhukovskij02}).

896: 

897: {\bf d)} {\it Dynamically nonsymmetric ball.}

898: The most general gyrostatic generalization for the case of Chaplygin ball was

899: suggested by A.\,P.\,Markeev~\cite{markeev}. The equations of motion and

900: the integrals are

901: \eqc[eq2-25]{

902: \dot{\bM}=(\bM+\bS)\times\bs\omega,\quad

903: \bs\gamma=\bs\gamma\times\bs\omega,\\

904: H=\frac12 (\bM,\bs\omega),\quad F_1=\bs\gamma^2=1,\quad

905: F_2=(\bM+\bS,\bM+\bS),\quad

906: F_3=(\bM+\bS,\bs\gamma),

907: }

908: where $\bS$ is the constant three-dimensional vector of gyrostatic moment.

909: Note that we were unable to generalize Poisson structure~\eqref{eq2b-*1}

910: to system~\eqref{eq2-25} for $\bS\ne 0$.

911: 

912: \paragraph{Rolling of ellipsoid on plane.}

913: It turns out that in the problem of rolling of balanced ellipsoid,

914: which axes are principal axes of inertia, there are cases of existence of

915: specific invariant measure, that are defined by restrictions on ratios of

916: moments of inertia and semiaxes of the ellipsoid of the surface. This

917: measure has found by V.\,A.\,Yaroschuk in~\cite{lit1}.

918: 

919: \fig<bb=0 0 111.8mm 57.4mm>{ris-4.eps}[Some trajectories in the

920: problem of rolling of ellipsoid with the spherical tensor of

921: inertia on plane. The figure shows clearly the regular trajectories filling

922: some curves that enclose stable periodic solutions (permanent rotations),

923: which in this case are degenerated as it was stated above.

924: A random layer (which is obtained from one trajectory) in this case is not

925: situated on any surface.\label{ris-*4}]

926: 

927: For the problem of ellipsoid's rolling, two cases of existence of the

928: invariant measure were already indicated in subsections~\ref{pD}

929: and~\ref{pE}. They are accordingly measures of balanced, dynamically

930: nonsymmetric ball \eqref{eq2.17} and of arbitrary body with the spherical

931: central ellipsoid of inertia~\eqref{eq2.19}. It is interesting that no

932: obstacles to existence of the analytical invariant measure of the general

933: rolling problem of balanced ellipsoid, which principal axes are principal

934: axes of inertia, are not found yet (as against to the case of Celtic

935: stone~\cite{kozlov1}). It is possible, that this measure exists (at least

936: in this situation there is no asymptotical behavior typical for the Celtic

937: stones), but is complicated and nonalgebraic.

938: 

939: For the surface of ellipsoid~$({\bs r},\,{\bf B}^{-1}{\bs r})=1$, where

940: ${\bf B}=\diag(b_1,\,b_2,\,b_3)$, $b_i$ are squares of larger semiaxes,

941: we have the explicit expression

942: \eq[eq2.28]{

943: {\bs r}=\frac{{\bf B}{\bs\gamma}}{\sqrt{({\bf B}

944: {\bs\gamma},\,{\bs\gamma})}}.

945: }

946: If the cental tensor of inertia has the form

947: \eq[eq2.29]{

948: {\bf I}=\mu {\bf E}+\lambda m{\bf B},

949: }

950: then equations~(\ref{eq1.1}),\,(\ref{eq1.2}) have a measure only in the case

951: $\lambda=0$ and~$\lambda=1$ with the density (in variables~$\bM,\,\bs\gamma$)

952: \eq[eq2.30]{

953: \rho=(\mu+m{\bs r}^2)^{-\fracs12}=

954: \left((\mu+m{\bf B}){\bs r},\,{\bf B}^{-1}{\bs r}\right)^{-\fracs12}.

955: }

956: 

957: \begin{rem*}

958: For the case $\lambda=0$, measure~\eqref{eq2.30} was already

959: indicated in subsection~\ref{pE}. It is defined by formula~\eqref{eq2.19}

960: and is present for any surface of the body. The differences in powers

961: of expressions~\eqref{eq2.30} and~\eqref{eq2.19} are connected with the

962: various systems of variables~$(\bM, \bs\gamma)$ and $(\bs\omega,

963: \bs\gamma)$ and with the corresponding transformations of densities of

964: invariant measures.

965: \end{rem*}

966: 

967: Note that if equality~(\ref {eq2.29}) is fulfilled, then the motion

968: equations have a two-parameter set of vertical permanent rotations at

969: arbitrary real~$\lambda$ (in other cases this set is one-parameter).

970: A.\,V.\,Karapetyan in~\cite{lit2} showed that the conditions of existence

971: of such sets are even a little bit wider and have the form

972: \begin{equation}

973: \label{eq2-27}

974: \sum_{ijk}I_i(b_i-b_k)=0,

975: \end{equation}

976: where ${\bf I}=\diag(I_1,I_2,I_3)$. In addition to tensor~\eqref{eq2.29}

977: conditions~\eqref{eq2-27} are fulfilled in the case of nonholonomic

978: Chaplygin ball~($b_1=b_2=b_3=R^2 $) when there exist both the measure and

979: integral~\eqref {eq2.17}, and also the conditions hold in the axially

980: symmetric situation~$I_1=I_2$, $b_1=b_2$. Unexpectedly,

981: equality~\eqref{eq2.29} is also the necessary (but, generally speaking,

982: insufficient) condition of the integrability of equations of motion for the

983: case of ellipsoid on ideally smooth plane~\cite{burov}. Note the interesting

984: fact that for $\lambda\ne 0$ and~$\lambda\ne 1$, both the measure and

985: obstacles to its existence are not found. The three-dimensional section in

986: the case $\lambda=0$ is presented on Fig.~\ref {ris-*4}.

987: 

988: All the results described above that are connected to the rolling of body

989: on plane are presented in table~1.

990: 

991: \begin{table}[!htp]

992: \unitlength=1mm

993: \begin{picture}(0,0)

994: \put(49.8,132.5){\cfig{tabl1.eps}}

995: \end{picture}

996: \resizebox{!}{\textheight}{\rotatebox{90}{\parbox{1.05\textheight}{\footnotesize\vspace{5mm}

997: \begin{center}

998: \mbox{}\hfill Table 1. Rolling of body on plane\\[2mm]

999: \tabcolsep=2pt

1000: \begin{tabular}{|l||c|c|c|c|c|c|c|}

1001: \hline

1002: \parbox{2,3cm}{\raggedright tensor of inertia}&\multicolumn{3}{|c|}

1003: {\parbox{6cm}{\centering dynamically nonsymmetric case\\

1004:                         $I_1\neq I_2\neq I_3\neq I_1$}} &

1005: \multicolumn{3}{|c|}{\parbox{6cm}{\centering axial dynamical symmetry\\

1006:                         $I_1=I_2,\,U=U(\gamma_3)$}} &

1007: \parbox{3cm}{\centering total dynamical symmetry\\ $I_1=I_2=I_3=\mu$} \\

1008: \hhline{|-||-|-|-|-|-|-|-|}

1009: \parbox{2.4cm}{surface\\ of body}  &

1010: \multicolumn{2}{|c|}{ball} &

1011: \parbox{30mm}{\centering ellipsoid} &

1012: \parbox{30mm}{\centering an arbitrary body of revolution} &

1013: \parbox{30mm}{\centering round disk with sharp edge} &

1014: \parbox{30mm}{\centering unbalanced ball} &

1015: \parbox{30mm}{\centering arbitrary} \\

1016: \hhline{|-||-|-|-|-|-|-|-|}

1017: \parbox{2.4cm}{geometrical and dynamical restrictions} &

1018: \parbox{33mm}{\centering the center of mass coincides with the geometrical center} &

1019: \parbox{24mm}{\centering the center of mass does not coincide with the geometrical center} &

1020: \parbox{30mm}{\centering the axes of dynamical and geometrical ellipsoid

1021: coincide ${\bf I}=\mu {\bf E}+m{\bf B}$}&

1022: \multicolumn{3}{|c|}{\parbox{6,5cm}{\centering

1023: the geometrical and dynamical axes coincide and contain the center of

1024: mass}} &

1025: \parbox{30mm}{\centering --- }\\

1026: \hhline{|=::=:=:=:=:=:=:=|}

1027: \parbox{2.4cm}{measure}  &

1028: \parbox{25mm}{\centering $(1{-}D(\bs\gam,{\bf A}\bs\gam))^{-\fracs12}$} &

1029: unknown &

1030: \parbox{30mm}{\centering $(\mu+m\br^2)^{-\fracs12}$}  &

1031: \parbox{30mm}{\centering $(I_1I_3+m(\br,{\bf I}\br))^{-\fracs12}$} &

1032: \parbox{30mm}{\centering $\const$} &

1033: \parbox{30mm}{\centering $(I_1I_3+m(\br,{\bf I}\br))^{-\fracs12}$}  &

1034: \parbox{30mm}{\centering $(\mu +m\br^2)^{\fracs32}$ (for variables

1035: $\bs\omega$ and $\bs\gam$)}\\

1036: \hhline{|-||-|-|-|-|-|-|-|}

1037: \parbox{2.4cm}{additional integrals}  &

1038: \parbox{27mm}{\centering $\arr{\bM^2=\const\\ (\bM,\bs\gam)=\const}$\\

1039: (two integrals)} &

1040: \parbox{30mm}{\centering $\arr{\bM^2-m\br^2(\bM,\bs\omega)=\\

1041: =\const}$\\ (one integral)} &

1042:  \parbox{30mm}{\centering none of integrals are found} &

1043:  \parbox{30mm}{\centering two integrals are obtained from the solution

1044:  of system of two linear equations~\eqref{eq2.5}} &

1045:  \parbox{30mm}{\centering two integrals are obtained from the solution of

1046:  hypergeometric equation~\eqref{eq2.9}}&

1047:  \parbox{30mm}{\centering $\arr{\omega_3/\rho=\const\\(\bM,\,\br)=\const}$}

1048:  & \parbox{30mm}{\centering none of integrals are found} \\

1049: \hhline{|-||-|-|-|-|-|-|-|}

1050: \parbox{2.4cm}{integrable\\ addition\\ of gyrostat}   &

1051: \parbox{30mm}{\centering possible\\ (A.\,P.\,Markeev\\ 1986)} &

1052: \parbox{20mm}{\centering it seems to be \\ impossible} &

1053: \parbox{30mm}{\centering the measure is preserved} &

1054: \parbox{30mm}{\centering S.\,A.\,Chaplygin (1897)} &

1055: \parbox{30mm}{\centering S.\,A.\,Chaplygin (1897)} &

1056: \parbox{30mm}{\centering at $I_1=I_2=I_3$ the gyrostat was added by

1057:   D.\,K.\,Bobylev,\\ at $I_1=I_2\ne I_3$ by A.\,S.\,Kuleshov (2000)} &

1058:   \parbox{30mm}{\centering the measure is preserved} \\

1059: \hhline{|-||-|-|-|-|-|-|-|}

1060: \parbox{2.4cm}{Hamiltonian form} &

1061: \parbox{34mm}{\centering the system is Hamiltonian after the change of time (A.\,V.\,Borisov,

1062: I.\,S.\,Mamaev, 2001)}&

1063: \parbox{25mm}{it seems that the system is not Hamiltonian}&

1064: \parbox{25mm}{\centering unknown} &

1065:   \multicolumn{3}{|c|}{\parbox{6,5cm}{\centering the reduced system

1066:   is Hamiltonian after the change of time, defined by the reducing multiplier

1067:   \\ (A.\,V.\,Borisov, I.\,S.\,Mamaev, 2001)}}&

1068: \parbox{30mm}{\centering unknown}  \\

1069: \hhline{|-||-|-|-|-|-|-|-|}

1070: \parbox{2.4cm}{authors} &

1071: \parbox{20mm}{\centering S.\,A.\,Chaplygin (1903)} &

1072: \parbox{20mm}{\centering A.\,V.\,Borisov,\\

1073:  I.\,S.\,Mamaev (2001)} &

1074: \parbox{30mm}{\centering V.\,A.\,Yaroschuk (1995)} &

1075: \parbox{30mm}{\centering S.\,A.\,Chaplygin (1897)}&

1076: \parbox{30mm}{\centering S.\,A.\,Chaplygin (1897), P.\,Appell,

1077:   D.\,Korteweg (1898)} &

1078: \parbox{30mm}{\centering E. J. Routh (1884),

1079:   S.\,A.\,Chaplygin (1897)} &

1080:   \parbox{30mm}{\centering V.\,A.\,Yaroschuk (1992.)} \\

1081: \hhline{|-||-|-|-|-|-|-|-|}

1082: \parbox{2.4cm}{generalizations\\ and remarks} &

1083: \parbox{38mm}{\centering the integrable addition of Brun field is possible\\ (V.\,V.\,Kozlov, 1985)\\

1084: the Hamiltonian form is preserved for arbitrary fields with the loss of one integral}&

1085: \parbox{25mm}{the Brun field can not be added (preserving the integral)}&

1086: --- & --- & ---& --- & ---\\

1087: \hline

1088: \end{tabular}\\

1089: \end{center}

1090: {\small Remark. The cases of existence of the corresponding (tensor) invariants are

1091: indicated by gray color in the table. The partial filling corresponds to

1092: the uncomplete set of integrals.}}}}

1093: \end{table}

1094: 

1095: \section{Body on a Sphere}

1096: 

1097: Now we consider systematically the situations analogous to one in the case

1098: of plane that originate in the problem of rolling of body on a sphere.

1099: First of all we shall note that kinematic equation~(\ref{eq1.3})

1100: can be written as

1101: \eq[eq3.1]{

1102: \dot{\bs\gam}=\bs\gam\x\bs\om\mp k\dot {\bs r}, \qq k=1/R_0,

1103: }

1104: where the "minus"\ sign means the rolling on interior of surface of sphere

1105: (Fig.~\ref{ris2.eps}\,a), and the~"plus"\ sign means the rolling on

1106: exterior of surface of sphere (Fig.~\ref{ris2.eps}\,b).

1107: 

1108: \fig<bb=0 0 86.5mm 60.5mm>{ris2.eps}

1109: 

1110: \paragraph{Rolling of body of revolution.}

1111: The body of revolution is defined analogously by formulas~(\ref{eq2.1}),

1112: and we can obtain the explicit form of the density of invariant measure

1113: \eqc[eq3.2]{

1114: \rho(\gam_3) =\rho_0(1-kf_1)^3 (1-k f_2'),\\

1115: \rho_0 = \bigl(I_1I_3+m(\bs r,{\bf I}\br)\bigr)^{-1/2}=

1116: \bigl(I_1I_3+mI_1f_1^2(1-\gamma_3^2)+mI_3f_2^2\gamma_3^2\bigr)^{-1/2}

1117: }

1118: and establish the presence of the symmetry field~$\bv$ with

1119: operator~\eqref{eq2.3}.\goodbreak

1120: 

1121: Reduced system (\ref{eq2.5}) in the variables of type~\eqref{eq2.4}

1122: \eq[eq3.2-1]{

1123: K_1=(\bM,\br)(1-kf_1)f_1^{-1},\quad  K_2=\omega_3\rho_0^{-1},\quad

1124: }

1125: has the form

1126: \eqc[eq3.3]{

1127: \frac{1}{\rho_0}\frac{dK_1}{d\gamma_3}  = -\biggl[I_3\biggl(1-\Bigl(\frac{f_2}{f_1}\Bigr)'

1128: \biggr)+kf_1(I_1-I_3)\bigl(1-kf_2'\bigr) \biggr] K_2\,,\\

1129: \frac{1-kf_1}{\rho_0}\frac{dK_2}{d\gamma_3}  =

1130: - mf_1\bigl(f_1-f_2'-kf_1f_2'\bigr)K_1+

1131: mk\rho_0I_1f_1^2 \left(\gam_3f_2'+

1132: \sqrt{1-\gam_3^2} \Bigl(f_1\sqrt{1-\gam_3^2}\,\Bigr)' \right)K_2\,.

1133: }

1134: Equations~\eqref{eq3.3} in somewhat different variables connected with

1135: the semifixed axes were obtained by P.\,V.\,Woronetz~\cite{voronec},

1136: who generalized the Chaplygin arguments to the case of sphere.

1137: 

1138: Integrating the equations of system~(\ref{eq3.3}) we determine the

1139: dependence on time of the nutation angle~$\ta=\arccos(\gam_3)$ using the

1140: quadrature of the energy integral

1141: $$

1142: \begin{gathered}

1143: H=\frac12\frac{I_1+m\br^2}{1-\gamma_3^2}\dot\gamma_3^2+\\

1144: +\frac{1}{2I_1(1-\gamma_3^2)}\Bigl(\frac{K_1^2}{(1-kf_1)^2}-

1145: \frac{I_3}{mf_1^2}K_2^2+\frac{mf_2^2}{I_1}\Bigl(

1146: \frac{K_1}{1-kf_1}-\frac{K_2}{m\rho f_1f_2}\Bigr)^2\Bigr)+U(\gamma_3).

1147: \end{gathered}

1148: $$

1149: 

1150: For the problem of rolling of the body of revolution on sphere we can

1151: describe the reduced system in variables~\eqref{eq2.4} and the

1152: corresponding Poisson structure similarly to the case of plane. We do

1153: not present the corresponding calculations because of their bulkiness.

1154: 

1155: Similarly to the problem of rolling on a plane we shall consider

1156: some special cases.

1157: 

1158: \paragraph{The problem of rolling of round disk} with the center of

1159: masses displaced along the axis of symmetry in general case is not reduced

1160: to the hypergeometric equation any more, but the system nevertheless

1161: becomes simpler; thus, the measure is not constant any more. Same as

1162: above, $f_1, f_2 $ are defined by relations (\ref{eq2.71}), and the

1163: density of invariant measure has the following form

1164: \eq*{

1165: \rho=\rho_0\left(1-\frac{kR}{\sqrt{1-\gam_3^2}}\right)^3,\q

1166: \rho_0=\Bigl(I_1 I_3 + m\bigl(I_1R^2+I_3a^2\bigr)\Bigr)^{-1/2}=\const,

1167: }

1168: where $R$ is the disk radius and $a$ is the displacement of the center of

1169: mass.

1170: 

1171: The second-order equation has the form

1172: \eq[eq3.4]{

1173: \frac{d^2\om_3}{d\ta^2}+\ctg\ta

1174: \left(1+\frac{kR}{\sin\ta-kR}\right)\om_3

1175: -\frac{\rho_0^2mRI_3}{1-\frac{kR}{\sin\ta}}

1176: \left(R+a\ctg\ta+\frac{kR^2(I_1-I_3)}{I_3\sin\ta}\right)\om_3=0,

1177: }

1178: where $\gam_3=\cos\ta$.\goodbreak

1179: 

1180: This equation in the particular case~$I_3=2I_1$, $a=0$ (the

1181: homogeneous balanced disk) was obtained by P.\,Woronetz~\cite{voronetz3},

1182: and at~$a=0$ it was investigated in~\cite{kholm0} by methods of the

1183: qualitative analysis. In particular, the stability of stationary motions

1184: and the probability of falling of disk on sphere was investigated

1185: and this probability is found to be equal to zero. In the

1186: paper~\cite{kholm} it was also shown that, as against to the nonholonomic

1187: problem, the the Hamilton system describing the motion of disk on a sphere

1188: with absolute (ideal) sliding that seems to be simpler is not integrable

1189: any more, and its behavior has random properties. The number of degrees of

1190: freedom for this system is increased in comparison with the case of plane,

1191: where the indicated system is integrable because of the preservation

1192: of impulse's horizontal component, and this is the reason for such result.

1193: 

1194: \paragraph{Ball with displaced center.}

1195: Here functions $f_1,f_2$ are also defined by relations (\ref{2-14*}), and

1196: the expression for measure~$\rho$ is the same as in the case of plane:

1197: \eq*{

1198: \rho=\Bigl(I_1I_3+I_1mR^2(1-\gam_3^2)

1199: +I_3m(R\gam_3+a)^2\Bigr)^{-1/2}.

1200: }

1201: In variables~\eqref{eq3.2-1} equations~(\ref{eq3.3}) have the form

1202: \eq[eq3.7]{

1203: \frac{1}{\rho}K_1'=-kR(I_1-I_3)(1-kR)K_2,\q

1204: \frac{1}{\rho}K_2'=\frac{kmR^3}{1-kR}K_1.

1205: }

1206: With the help of these equations we obtain two linear with respect to

1207: $K_1,K_2$ nonalgebraic integrals of the form

1208: \eq[eq3.8]{

1209: F_2=\Bigl(\sqrt{m(I_3-I_1)}\,K_2+\frac{mR}{1-kR}\,K_1\Bigr)

1210: e^{\lambda\tau},\quad

1211: F_3=\Bigl(\sqrt{m(I_3-I_1)}\,K_2-\frac{mR}{1-kR}\,K_1\Bigr)

1212: e^{-\lambda\tau},

1213: }

1214: where $\lambda^2=mk^2R^4(I_3-I_1)$, $\tau=\int\rho_0(\gamma_3)\,d\gamma_3$,

1215: and the additional quadratic algebraic integral (dependent on $F_2$,$F_3$)

1216: \eq[eq3-8]{

1217: F=F_2F_3=\frac{mR^2}{(1-kR)^2}K_1^2+(I_1-I_3)K_2^2.

1218: }

1219: The integrals $F_2$, $F_3$ are new and generalize Routh and Jellett

1220: integrals~\eqref{eq2.15}. Integral~\eqref{eq3-8} was found by

1221: A.\,S.\,Kuleshov~\cite{lit3}. In the case of spherical tensor of

1222: inertia~$I_3=I_1$ we have

1223: \eqc[eq3.9]{

1224: K_1=(\bM,\,\br)=M_1\gam_1+M_2\gam_2+ M_3\Bigl(\gam_3+\frac{a}{R}\Bigr) =

1225: \const,\\

1226: (1-kR)K_2-kmR^3K_1\int\rho(\gamma_3)\,d\gamma_3=\const,

1227: }

1228: i.\,e. $K_1$ coincide with the classical Jellett integral.

1229: 

1230: 

1231: \wfig{ris3.eps}

1232: 

1233: \paragraph{Balanced, dynamically nonsymmetric ball on sphere.}

1234: We shortly describe an integrable case connected with the problem of

1235: rolling of balanced, dynamically nonsymmetric ball on sphere analogous to

1236: the motion of Chaplygin ball on plane (see \eqref{eq2.16},

1237: \eqref{eq2.17}). This system is defined by the equations

1238: \eqc[eq3.12]{

1239: \dot {\bM}  = \bM\times\bs\om,\quad \dot{\bs\gam}  = k\bs\gam\times\bs\om,\\

1240: \bM=({\bf I}+D)\bs\om-D\bs\gam(\bs\om,\bs\gam),

1241: }

1242: where~$k=\frac{R}{R-a}$, $a$ is the radius of ball, $m$ is its mass,

1243: $D=ma^2$, $R$ is the radius of the fixed sphere (see Fig.~\ref{ris3.eps}).

1244: (In the case of plane $R\to \infty$ and~$k=1$.)

1245: Equations~\eqref{eq3.12} always have the integrals

1246: \eq*{

1247: H=\frac12(\bM,\bs\om),\q F_1=\bs\gam^2=1, \q F_2=\bM^2.

1248: }

1249: 

1250: \noindent

1251: and the invariant measure with density~$\rho$~\eqref{eq2.17}. We need one

1252: more integral for the complete integrability of system (such as the area

1253: integral at $k=1 $). It exists only under the additional condition~$a=2R$

1254: found by A.\,V.\,Borisov in~\cite{BF}, which corresponds to the rolling of

1255: balanced, dynamically nonsymmetric ball on the interior of the fixed

1256: sphere (see Fig.~\ref{ris3.eps}). This integral have the form

1257: \eq[eq3.13]{

1258: F=(\bM,\ol{\bf A}\bs\gam), \qq \ol{\bf A}={\bf E}-2(\tr({\bf I}

1259: +D))^{-1}({\bf I}+D)

1260: }

1261: and can be generalized to case~\eqref{eq3.12} with the additional

1262: Brun potential~$U=\frac12({\bf I}\bs\gam,\bs\gam)$~\cite{BF}. Using the

1263: transformations~$\wt{\bM}=\ol{\bf A}\bM$, $\wt{\bs\gamma}=\bs\gamma$ under

1264: condition~$a=2R$ we transform equations~\eqref{eq3.12} into the equations

1265: describing the motion of Chaplygin ball on the horizontal plane.

1266: For arbitrary parameter~$k$ and potential~$U$ the Poisson structure of

1267: equations~\eqref{eq3.12} similar to one indicated at~$k=1$ in

1268: subsection~2\,\ref {pD} (formula~\eqref{eq2b-*1}) is still unknown.

1269: 

1270: \paragraph{Unbalanced, dynamically nonsymmetric ball on sphere.}\label{pD*}

1271: In this case there exists one (and only one) quadratic integral

1272: generalizing the corresponding result on plane. The equations are

1273: \begin{equation}

1274: \label{eq-d*-1}

1275: \left\{

1276: \begin{aligned}

1277: \dot{\bM}& = \bM\x\bs\omega+m\dot{\br}\x(\bs\omega\x\br),\\

1278: \dot\br& = \frac{1}{1-kR}(\br-\ba)\x \bs\omega,

1279: \end{aligned}

1280: \right.

1281: \end{equation}

1282: 

1283: \wfig<bb=0 0 47.1mm 62.1mm>{ris7.eps}

1284: 

1285: \noindent

1286: where $\br=R\bs\gamma+\ba$, $\bM={\bf I}\bs\omega+m\br\x(\bs\omega\x\br)$.

1287: It has exactly the same form

1288: \begin{equation}

1289: \label{eq-d*-2}

1290: F=\bM^2-m\br^2(\bM,\bs\omega).

1291: \end{equation}

1292: Note also that for~$a\ne 0$ it seems that there is no invariant

1293: measure, and also generalizations for the cases with additional

1294: gyrostat or with the field of Brun problem are unknown. In the case of

1295: rotational symmetry $I_1=I_2$, integral~\eqref{eq-d*-2} was indicated by

1296: A.\,S.\,Kuleshov and the acquaintance with this result has induced authors

1297: to the analysis of dynamically nonsymmetric situation.

1298: 

1299: \paragraph{Gyrostatic generalizations.}

1300: Let's briefly discuss the integrable gyrostatic generalizations. So

1301: to preserve the integrability for the body of revolution's case we should

1302: direct the balanced rotor with the moment~$\bS$ along the axis of dynamical

1303: symmetry. In variables~\eqref{eq3.2-1} the analog of system~(\ref {eq2.20})

1304: has the following form

1305: \eqc[eq3.10]{

1306: \frac{1}{\rho_0}K_1'=-\left[I_3\left(1-\left(\frac{f_2}{f_1}\right)'\right)

1307: +kf_1(I_1-I_3)(1-kf_2') \right] K_2 + \\

1308: +s\rho_0^{-1}(1-kf_2')(1-kf_1),\\

1309: \frac{1-kf_1}{\rho_0}K_2'=km\rho_0I_1f_1^2

1310: \left[\gam_3f_2'+\sqrt{1-\gam_3^2}\Bigl(f_1\sqrt{1-\gam_3^2}\Bigr)'

1311: \right]K_2-\\

1312: -mf_1\bigl(f_1-f_2'-kf_1f_2'\bigr)K_1- smf_1f_2(1-kf_2')(1-kf_1),

1313: }

1314: where $\rho_0$ is defined by relation \eqref{eq3.2}; thus, the linear

1315: system is non-homogeneous.

1316: 

1317: In the case of round disk, the integrals and equations~(\ref{eq3.10})

1318: can not be essentially simplified. In the case of {\it ball with the

1319: displaced center},~$f_1,f_2$ are defined by equations~\eqref{eq2.14}, and

1320: equations~\eqref{eq3.10} are

1321: \eqc[eq3.11]{

1322: \frac{1}{\rho_0}K_1' = -kR(I_1-I_3)(1-kR)K_2-\frac{1}{\rho_0}R(1-kR)^2s,\\

1323: \frac{1}{\rho_0}K_2' = \frac{mR^3k}{1-kR}K_1 - mR(1-kR)(R\gam_3+a)s.

1324: }

1325: The first integrals in this case can not be written with the help of

1326: elementary functions.

1327: 

1328: In the case of total dynamical symmetry~$I_1=I_3$ with the help of

1329: equations~\eqref{eq3.11} we obtain the explicit integral of Jellett type

1330: $$

1331: F_2=K_1+(1-kR)^2\Bigl(\gamma_3+\frac{a}{R}\Bigr)=

1332: \bigl(\bM R^{-1}+\bS(1-kR),\br\bigr)(1-kR)=\const.

1333: $$

1334: Expressing from this integral $K_1$ and substituting the expression in the

1335: first equation of system~\eqref{eq3.11}, we obtain the explicit quadrature

1336: for $K_1(\gamma_3)$. The gyrostatic generalizations of

1337: integral~\eqref{eq3.13} for the case of nonsymmetric ball are unknown.

1338: 

1339: \wfig{ris4.eps}

1340: 

1341: \paragraph{Rolling of body with partially flat surface on sphere.}

1342: Let's consider one more problem connected with the rolling of body on a

1343: sphere, which has no analog in the case of plane. We consider the rolling

1344: of the body with the flat foundation on the exterior surface of sphere

1345: (Fig.~\ref{ris4.eps}). This problem for the first time was considered by

1346: P.\,Woronetz, who indicated the integrability of the problem in the case

1347: of rotational symmetry. Let's  write the equations of motion in the frame

1348: of references connected with the body in the case when the field of force

1349: is absent:

1350: \eq[eq3.14]{

1351: \dot {\bM}  = \bM\x\bs\om+m\dot{\br}\x(\bs\om\x{\br}), \q

1352: \bM  = {\bf I}\bs\om+m\bs\gam\x(\bs\om\x\bs\gam),

1353: }

1354: where~$\bf I$ is the central tensor of inertia, $m$ is the mass of body.

1355: 

1356: For the flat part of surface we have~$\br=(r_1,\,r_2,\,z)$,

1357: $z=\const$, $\bs\gam=(0,\,0,\,1)$,

1358: where~$r_1,\,r_2$ are the projections of position of the center of mass on

1359: the flat foundation (see Fig.~\ref{ris4.eps}), and using the fact

1360: that~$\dot{\bs\gam}=0$ we obtain for them using equation~\eqref{eq1.3}

1361: \eq[eq3.15]{

1362: \dot r_1=k^{-1}\om_2, \qq \dot r_2=-k^{-1}\om_1, \qq k=R^{-1}.

1363: }

1364: We can specify two cases, when equations~(\ref{eq3.14}),\,(\ref{eq3.15})

1365: have invariant measure.

1366: 

1367: \mbox{}{\bf a)} $z=0$~--- {\it the center of mass is situated on the

1368: contact plane}, and tensor of inertia~${\bf I}=\diag(I_1,\,I_2,\,I_3)$

1369: is arbitrary. For the variables~$\bM,\br$ the density of invariant

1370: measure is

1371: \eq[eq3.16]{

1372: \rho(\bM,r_1,r_2)=\Bigl(I_3+m\br^2\Bigr)^{-1/2}.

1373: }

1374: It can be also written for the equations in variables~$\bs\om,\,r_1,\,r_2$:

1375: \eq[eq3.17]{

1376: \rho(\bs\omega,r_1,r_2)=(I_1I_2+m(\br,{\bf I}\br))(I_3+m\br^2)^{\fracs12}.

1377: }

1378: 

1379: \begin{rem*}

1380: In this form under additional and not essential restriction~$I_3=I_1+I_2$

1381: (i.\,e. in the case of flat plate) the invariant measure was indicated by

1382: V.\,A.\,Yaroschuk~\cite{yaroshuk}.

1383: \end{rem*}

1384: 

1385: In the considered case in addition to the measure, equations~\eqref{eq3.14},

1386: \eqref{eq3.15} have one (and only one for~$I_1\ne I_2$) first integral

1387: \begin{equation}

1388: \label{eq*}

1389: F=\bM^2-2m\br^2H,\quad H=\frac{1}{2}(\bM,\bs\omega),

1390: \end{equation}

1391: independent of energy integral. It was not known earlier.

1392: 

1393: Besides, it turns out that integral~\eqref{eq*} \emph{is transferred

1394: without modifications to the case~$z\ne 0$, for which the measure is not

1395: known} (and probably does not exist). Note that we already see the similar

1396: situation in the problem of rolling of {\em unbalanced}, dynamically

1397: nonsymmetric  ball (see subsection~\ref{pD*}). The lack of measure

1398: for~$z\ne 0$ obviously prevent the existence of Hamiltonian form.

1399: For~$z\ne 0$ though the measure exists, the system is probably also not

1400: Hamiltonian even after the appropriate change of time.

1401: 

1402: {\bf b)} $I_1=I_2$, $z\ne 0$, {\it i.\,e. the center of mass is situated

1403: on the axis of dynamical symmetry}. In variables~$(\bM,\br)$

1404: the density of invariant measure is

1405: \eq[eq3.18]{

1406: \rho  = (I_1I_3+m(\br,{\bf I}\br))^{-\fracs12}.

1407: }

1408: This system is already integrable. Indeed, in variables

1409: $$

1410: \begin{gathered}

1411: K_1=(\bM,\br)=M_1r_1+M_2r_2+M_3r_3,\\

1412: K_2=\frac{\omega_3}{\rho}=\frac{mz(M_1r_1+M_2r_2)+(I_1+mz^2)M_3}

1413: {\sqrt{I_1I_3+m(\br,{\bf I}\br)}}

1414: \end{gathered}

1415: $$

1416: the equations of motion of system have linear form

1417: \eq[eq3.19]{

1418: \frac{dK_1}{du}=\frac{I_1-I_3}{2R\sqrt{I_3(I_1+mz^2)+I_1mu}}K_2,\quad

1419: \frac{dK_2}{du}=\frac{m}{2R\sqrt{I_3(I_1+mz^2)+I_1mu}}K_1.

1420: }

1421: P.\,Woronetz in the paper~\cite{voronetz1} noted that their explicit

1422: solution can be obtained in elementary functions. This solution

1423: defines two linear with respect to~$\bM $ additional first integrals.

1424: 

1425: There are two different methods of solving of~\eqref{eq3.19}.

1426: 

1427: \begin{itemize}\itemsep=-1pt

1428: \item[1)] {\boldmath $I_1<I_3$.}

1429: \begin{equation}

1430: \label{eq-**}

1431: \begin{gathered}

1432: K_1=\sqrt{I_1-I_3}\bigl(-c_1\cos\vfi(u)+c_2\sin\vfi(u)\bigr),\q

1433: K_2=\sqrt{m}\bigl(c_1\sin\vfi(u)+c_2\cos\vfi(u)\bigr),\\

1434: \vfi^2=\frac{(I_1-I_3)(I_1I_3+I_3mz^2+I_1mu)}{I_1^2mR^2},\quad

1435: c_1,c_2=\const.

1436: \end{gathered}

1437: \end{equation}

1438: \item[2)] {\boldmath $I_1>I_3$,}

1439: In this case we should use hyperbolical instead of trigonometrical

1440: functions

1441: \end{itemize}

1442: 

1443: In this case there is also simple, but dependent quadratic integral

1444: \begin{equation}

1445: \label{eq-***}

1446: F=mK_1^2+(I_1-I_3)K_2^2,

1447: \end{equation}

1448: that evidently is a particular case of~\eqref{eq*}.

1449: The energy integral can be presented in the form

1450: \begin{equation}

1451: \label{eq-***3}

1452: \begin{gathered}

1453: H=\frac12(\bM,\bs\omega)+U(\br)=\frac18\frac{I_1+mz^2+mu}{R^2u}\dot u^2+\\

1454: +\frac{1}{2I_1^2u}\Bigl(

1455: (I_1+mz^2)K_1^2+(I_1u+I_3z^2)K_2^2-\frac{z}{I_1^2u}

1456: \sqrt{I_1I_3+I_3mz^2+I_1mu}K_1K_2\Bigr)+U(u),

1457: \end{gathered}

1458: \end{equation}

1459: and using this form we obtain after the integration of

1460: system~\eqref{eq3.19} the explicit quadrature for~$\dot u$.

1461: 

1462: In the axisymmetric case we can add rotor with the moment~$\bS=(0,0,s)$

1463: along the axis of dynamical symmetry; measure~\eqref{eq3.18} is

1464: preserved, and equations~(\ref{eq3.19}) are

1465: \eq[eq3.21]{

1466: 2R\frac{dK_1}{du}=\frac{I_1-I_3}

1467: {\sqrt{I_3(I_1+mz^2)+I_1mu}}K_2-s,\quad

1468: 2R\frac{dK_2}{du}=-\frac{m(K_1+zs)}{\sqrt{I_3(I_1+mz^2)+I_1mu}}.

1469: }

1470: The general solution of system~\eqref{eq3.21} is presented as a

1471: superposition of the solution of homogeneous equation at~$s=0$

1472: \eqref{eq-**} and the particular solution of non-homogeneous

1473: equation~\eqref{eq3.21} of the following form

1474: $$

1475: K_1^{(part)}=\frac{sz(I_3+I_1(1+R/z))}{I_1-I_3},\quad

1476: K_2^{(part)}=\frac{s\sqrt{I_3(I_1+mz^2)+I_1mu}}{I_1-I_3}.

1477: $$

1478: Thus quadratic integral~\eqref{eq-***} in this case is presented as

1479: $$

1480: F=m(K_1-K_1^{(part)})^2+(I_1-I_3)(K_2-K_2^{(part)})^2.

1481: $$

1482: 

1483: \begin{rem*}

1484: We have noted in the paper two nontrivial cases of non-existence of

1485: one quadratic integral. The similar integral is present in the case of

1486: homogeneous ball's motion on the triaxial ellipsoid. The origin of such

1487: integrals is connected with the presence of similar integrals in the

1488: axisymmetric situation, when the system is completely integrable, and there

1489: are two linear integrals. However, in the general case the dependence on

1490: the positional variables in these integrals is complicated and is

1491: expressed in special functions. In three cases that we have found, the

1492: linear integrals are expressed in elementary functions and generate the

1493: quadratic integral, which is represented by rational function.

1494: This integral can be also generalized to the nonsymmetric situation.

1495: \end{rem*}

1496: 

1497: \section{Conclusions}

1498: In this paper we collect all the known at present cases of existence of

1499: invariant measure, integrals, Poisson structure for the equations of

1500: nonholonomic rolling of rigid body on plane and sphere. In all conceivable

1501: assortment of situations we have not found out any case when {\em there are

1502: two integrals, but no measure}. Possibly it is connected with the

1503: specificity of the equations of nonholonomic mechanics.

1504: 

1505: Depending on the presence of this or that set of invariants there are

1506: qualitative distinctions in the behavior of system. The system can exhibit

1507: both typically Hamiltonian properties and the properties of conservative

1508: systems realized on the example of Celtic stones' problem. For the analysis

1509: of the indicated situations we use the method of {\em three-dimensional

1510: Poincar\'{e} maps} and exactly this method at first let us to find out

1511: integrals~\eqref{eq-d*2}, \eqref{eq-d*-2}, \eqref{eq*} numerically,

1512: and then to obtain their explicit form. Undoubtedly, the research of

1513: three-dimensional point maps in the cases of presence and lack of the

1514: measure both from analytical and from the computational point of view

1515: allows to find out many remarkable effects in nonholonomic systems.

1516: 

1517: From the point of view of this approach the problem of global evolution

1518: of the Celtic stone~\cite{lit2,markeev2} is the most interesting. In this

1519: problem we have to study the invariant and asymptotic manifolds on the

1520: level surface of three-dimensional maps (not preserving an area) realizing

1521: under various restrictions on the parameters of system.

1522: 

1523: Authors thank A.\,V.\,Karapetyan for useful discussions and A.\,A.\,Kilin

1524: for the help with realization of numerical experiments.

1525: 

1526: 

1527: 

1528: \begin{table}[!p]

1529: \begin{center}

1530: \unitlength=1mm

1531: \begin{picture}(0,0)

1532: \put(48.5,132.4){\cfig{tabl2.eps}}

1533: \end{picture}

1534: \resizebox{!}{\textheight}{\rotatebox{90}{\parbox{1.7\textwidth}{\footnotesize

1535: \tabcolsep=2pt

1536: \def\arraystretch{2}

1537: \mbox{}\hfill {\small Table 2. Rolling of the body on sphere}\\[3mm]

1538: \medskip

1539: \begin{tabular}{|l||c|c|c|c|c|c|c|c|c|}

1540: \hline

1541: \parbox{2,2cm}{\raggedright tensor of inertia}

1542: & \multicolumn{5}{|c|}{dynamically nonsymmetric case $I_1\ne I_2\ne I_3\ne I_1$} &

1543: \multicolumn{4}{|c|}{dynamical symmetry $I_1=I_2$, $U=U(\gamma_3)$} \\

1544: \hhline{|-||--|-|-|-|-|-|-|-|}

1545: \parbox{24mm}{surface\\ of the body} &

1546: \multicolumn{3}{|c|}{ball} &

1547: \multicolumn{2}{|c|}{body with partially flat surface} &

1548: \parbox{30mm}{\centering an arbitrary body of revolution} &

1549: \parbox{28mm}{\centering round disk} &

1550: \parbox{30mm}{\centering unbalanced ball} &

1551: \parbox{30mm}{\centering body with partially flat surface} \\

1552: \hhline{|-||-|-|-|-|-|-|-|-|-|}

1553: \parbox{24mm}{geometrical and dynamical restrictions} &

1554: \multicolumn{2}{|c|}{\parbox{50mm}{\centering the center of mass

1555:     coincides with the geometrical center}} &

1556: \parbox{20mm}{\centering the center of mass does not

1557:     coincide with the geometrical center} &

1558: \parbox{20mm}{\centering  the center of mass is situated on the contact plane $(z=0)$} &

1559: \parbox{15mm}{\centering  the center of mass is not situated on the contact plane} &

1560: \multicolumn{4}{|c|}{\parbox{100mm}{\centering geometrical and dynamical

1561: axes coincide and contain the center of mass}} \\

1562: \hhline{|~||-|-|~|~|~~~~~|}

1563:  & & $a=2R$ & & & & \multicolumn{4}{|c|}{}\\

1564: \hhline{|=::=:=:=:=:=:=:=:=:=|}

1565: measure

1566: & \multicolumn{2}{|c|}{\parbox{50mm}{\centering $(1-D(\bs\gam,\,{\bf

1567: A}\bs\gam))^{-1/2}$\\(V.\,A.\,Yaroschuk, 1992)}}

1568: & unknown

1569: & \parbox{24mm}{\centering $(I_3+m\br^2)^{-1/2}$\\ (V.\,A.\,Yaroschuk, 1992,\\

1570: A.\,V.\,Borisov, I.\,S.\,Mamaev, 2001)}

1571: & unknown

1572: & \multicolumn{3}{|c|}{\parbox{60mm}{\centering $\frac{(1-kf_1)^3(1-k(\gamma_3f_2)')}

1573: {\sqrt{I_1I_3+m(\br,{\bf I}\br)}}$\\ (A.\,V.\,Borisov, I.\,S.\,Mamaev, 2001)}} &

1574: $(I_1I_3+m(\br,{\bf I}\br))^{-1/2}$\\

1575: \hhline{|-||-|-|-|--|-|-|-|-|}

1576: integrals &

1577: \parbox{20mm}{\centering $\bM^2=\const$\\one integral}

1578: & \parbox{24mm}{\centering $\bM^2=\const$,\\ $(\bM,\,\ol{\bf A}\bs\gam)=\const$\\ (two integrals)\\

1579: (A.\,V.\,Borisov, 1994)}

1580: & \parbox{30mm}{\centering $\bM^2-m\br^2(\bM,\bs\omega)=\const$\\ one integral\\

1581: (A.\,V.\,Borisov, I.\,S.\,Mamaev, 2001)}

1582: & \multicolumn{2}{|c|}{\parbox{50mm}{\centering $\bM^2-m\br^2(\bM,\bs\omega)=\const$\\

1583: (A.\,V.\,Borisov, I.\,S.\,Mamaev, 2001)}}

1584: & \parbox{30mm}{\centering

1585: two integrals are obtained from the solution of system of two linear

1586: equations~\eqref{eq3.3}\\ (P.\,V.\,Woronetz, 1909)} &

1587: \parbox{30mm}{\centering

1588: two integrals are obtained from the solution of second order

1589: equation~\eqref{eq3.4}\\ (P.\,V.\,Woronetz, 1909)}

1590: & \parbox{30mm}{\centering two integrals are expressed in elementary

1591: functions~\eqref{eq3.8}\\ (A.\,S.\,Kuleshov, 2000,

1592: A.\,V.\,Borisov, I.\,S.\,Mamaev, 2001)}

1593: & \parbox{30mm}{\centering two integrals are expressed in elementary

1594: functions~\eqref{eq-**}\\ (P.\,V.\,Woronetz, 1911)}\\

1595: \hhline{|-||-|-|-|-|-|-|-|-|-|}

1596: \parbox{24mm}{integrable\\ addition\\ of gyrostat} &

1597: \parbox{22mm}{\centering possible without loss of integral and measure} &

1598: \parbox{12mm}{\centering not found} &

1599: \parbox{12mm}{\centering not found} &

1600: \parbox{18mm}{\centering not found} &

1601: \parbox{15mm}{\centering not found}

1602: & \multicolumn{4}{|c|}{\parbox{115mm}{\centering

1603: possible along the axis of dynamical symmetry}}\\

1604: \hhline{|-||-|-|-|-|-|-|-|-|-|}

1605: \parbox{25mm}{Hamiltonian form}

1606: & \parbox{22mm}{\centering probably, the system is not Hamiltonian}

1607: & \parbox{20mm}{\centering the system is Hamiltonian after the change of time

1608: (A.\,V.\,Borisov, I.\,S.\,Mamaev, 2000)}

1609: & \parbox{22mm}{\centering probably, the system is not Hamiltonian}

1610: &  \multicolumn{2}{|c|}{probably, the system is not Hamiltonian} &

1611: \multicolumn{4}{|c|}{\parbox{120mm}{\centering the reduced system is Hamiltonian

1612: after the change of time defined by the reducing multiplier

1613: (A.\,V.\,Borisov, I.\,S.\,Mamaev, 2001)}}\\

1614: \hhline{|-||-|-|-|-|-|-|-|-|-|}

1615: \parbox{24mm}{generalizations\\ and remarks}

1616: & \parbox{22mm}{\centering the addition of Brun field is possible

1617: preserving one integral and measure}&

1618: \parbox{22mm}{\centering the integrable addition of Brun field is possible

1619: (A.\,V.\,Borisov, Yu.\,N.\,Fedorov (1994))}

1620: & \parbox{24mm}{\centering the Brun field could not be added

1621: (preserving the integral)} &

1622: \parbox{24mm}{\centering V.\,A.\,Yaroschuk found the measure under

1623: additional nonessential restriction $I_3=I_1+I_2$} &

1624: --- & --- & --- &

1625: \parbox{24mm}{\centering A.\,S.\,Kuleshov found only one quadratic

1626: integral dependent on two present linear integrals}&

1627: \parbox{26mm}{\centering P.\,V.\,Woronetz found the solution in

1628: quadratures under additional nonessential restriction

1629: $I_1=I_2=\frac{1}{2}I_3$, $z=0$}\\

1630: \hline

1631: \end{tabular}\\

1632: \bigskip

1633: {\small Remark. The cases of existence of the corresponding (tensor) invariants are

1634: indicated by gray color in the table. The partial filling corresponds to

1635: the uncomplete set of integrals.}

1636: }}}

1637: \end{center}

1638: \end{table}

1639: 

1640: \clearpage

1641: 

1642: \begin{thebibliography}{20}

1643: 

1644: \bibitem{Appell}

1645:     \author{P.\,Appell}

1646:     \title{Trait\'e de m\'ecanique rationnelle}

1647:     \publisher{Paris, Gauthier-Villars}

1648: 

1649: \bibitem{kozaf}

1650:     \author{A.\,A.\,Afonin, V.\,V.\,Kozlov}

1651:     \title{Problem on falling of disk moving on

1652:     horizontal plane}

1653:     \journal*{Proc. of Russian Acad. of Sciences, Rigid body mech.}

1654:     \year{1997}

1655:     \no{1}

1656:     \page{7--13}

1657: 

1658: \bibitem{bobylev}

1659:     \author{D.\,K.\,Bobylev}

1660:     \title{On ball with gyroscope inside rolling on horizontal plane without

1661:     sliding}

1662:     \journal{Mat. sbornik}

1663:     \year{1882}

1664:     \volume{16}

1665:     \no{3}

1666:     \page{544--581}

1667: 

1668: \bibitem{bormam-1}

1669:     \author{A.\,V.\,Borisov, I.\,S.\,Mamaev}

1670:     \title{Poisson structures and Lie algebras in Hamiltonian mechanics}

1671:     \publisher*{Izhevsk:~RCD publ.}

1672:     \year{1999}

1673:     \page{464}

1674: 

1675: \bibitem{bormam-2}

1676:     \author{A.\,V.\,Borisov, I.\,S.\,Mamaev}

1677:     \title{Rigid body dynamics}

1678:     \publisher*{Izhevsk: RCD publ.}

1679:     \year{2001}

1680:     \page{384}

1681: 

1682: \bibitem{bm-new}

1683:     \author{A.\,V.\,Borisov, I.\,S.\,Mamaev}

1684:     \title{Hamiltonian form of Chaplygin problem on rolling of ball}

1685:     \journal{Math. notes}

1686:     \year{2001 (in print)}

1687: 

1688: \bibitem{BF}

1689:     \author{A.\,V.\,Borisov, Yu.\,N.\,Fedorov}

1690:     \title{On two modified integrable problems of dynamics}

1691:     \journal{MGU Bull., Math.\& mech. series}

1692:     \year{1995}

1693:     \no{6}

1694:     \page{102--105}

1695: 

1696: \bibitem{burov}

1697:     \author{A.\,A.\,Burov, A.\,V.\,Karapetyan}

1698:     \title{On nonexistence of an additional integral in problem of heavy rigid

1699:     ellipsoid's motion on smooth plane}

1700:     \journal*{Appl. Math.\& Mech.}

1701:     \year{1985}

1702:     \volume{49}

1703:     \no{3}

1704:     \page{501--503}

1705: 

1706: \bibitem{bychkov1}

1707:     \author{Yu.\,P.\,Bychkov}

1708:     \title{On rolling of rigid body on fixed surface}

1709:     \journal*{Appl. Math.\& Mech.}

1710:     \year{1965}

1711:     \volume{29}

1712:     \no{3}

1713:     \page{573--583}

1714: 

1715: \bibitem{bychkov2}

1716:     \author{Yu.\,P.\,Bychkov}

1717:     \title{On motion of body of revolution limited by sphere on spherical foundation}

1718:     \journal*{Appl. Math.\& Mech.}

1719:     \year{1966}

1720:     \volume{30}

1721:     \no{5}

1722:     \page{934--935}

1723: 

1724: \bibitem{voronec}

1725:     \author{P.\,V.\,Woronetz}

1726:     \title{On problem of rigid body motion rolling without sliding on the given

1727:     surface under the action of given forces}

1728:     \journal{Univ. proc., St. Vladimir University}

1729:     \year{1909}

1730:     \page{1--11}

1731: 

1732: \bibitem{Zhukovskij02}

1733:     \author{N.\,E.\,Zhukovsky}

1734:     \title{On gyroscopic ball of D.\,N.\,Bobylev}

1735:     \journal*{Collected papers of phys. dep. of Amateur scientists soc.}

1736:     \year{1893}

1737:     \volume{VI}

1738:     \year{1893}

1739:     \no{1}

1740:     \page{11--17}

1741: 

1742: \bibitem{karapet}

1743:     \author{A.\,V.\,Karapetyan}

1744:     \title{On realization of nonholonomic constrains as forces

1745:     of viscous friction and stability of Celtic stones}

1746:     \journal*{Appl. Math.\& Mech.}

1747:     \year{1981}

1748:     \volume{45}

1749:     \no{1}

1750:     \page{42--51}

1751: 

1752: \bibitem{lit2}

1753:     \author{A.\,V.\,Karapetyan}

1754:     \title{Families of permanent rotations of triaxial ellipsoid on rough horizontal

1755:     plane and their branchings}

1756:     \journal{In collection. {\em Actual problems of classical

1757:     and celestial mechanics}, Edited by S.\,D.\,Furta}

1758:     \year{1998}

1759:     \page{46--51}

1760: 

1761: \bibitem{kozlov1}

1762:     \author{V.\,V.\,Kozlov}

1763:     \title{On integration theory of nonholonomic mechanics equations}

1764:     \journal*{Advances of mech.}

1765:     \year{1985}

1766:     \volume{8}

1767:     \no{3}

1768:     \page{85--101}

1769: 

1770: \bibitem{kolesnik1}

1771:     \author{S.\,N.\,Kolesnikov}

1772:     \title{Some problems in mechanics on rigid bodies' rolling}

1773:     \journal{Ph. D. of phys. and math. sciences thesis}

1774:     \publisher*{Moscow, M.\,V.\,Lomonosov Mosc. Gos. Univ.}

1775:     \year{1988}

1776:     \page{88}

1777: 

1778: \bibitem{kolesnik2}

1779:     \author{S.\,N.\,Kolesnikov}

1780:     \title{On rolling of disk on horizontal plane}

1781:     \journal{MGU Bull. Math.\& Mech. Series}

1782:     \year{1985}

1783:     \no{2}

1784:     \page{55--60}

1785: 

1786: \bibitem{lit3}

1787:     \author{A.\,S.\,Kuleshov}

1788:     \title{On generalized Chaplygin integral}

1789:     \journal*{Junior scientists bull.,

1790:     St. Petersbirg, Appl. Math.\& Mech.}

1791:     \year{2000}

1792:     \no{4}

1793:     \page{26--30}

1794: 

1795: \bibitem{kuleshov1}

1796:     \author{A.\,S.\,Kuleshov}

1797:     \title{On stationary rollings of disk on rough surface}

1798:     \journal*{Appl. Math.\& Mech.}

1799:     \year{2001}

1800:     \volume{65}

1801:     \no{1}

1802:     \page{173--175}

1803: 

1804: \bibitem{markeev}

1805:     \author{A.\,P.\,Markeev}

1806:     \title{On integrability of problem on rolling of ball with

1807:     multiply connected cavity filled by ideal liquid}

1808:     \journal*{Proc of USSR Acad. of Sciences, Rigid body mech.}

1809:     \year{1985}

1810:     \no{1}

1811:     \page{64--65}

1812: 

1813: \bibitem{markeev2}

1814:     \author{A.\,P.\,Markeev}

1815:     \title{Qualitative analysis of motion of heavy rigid body of revolution

1816:     on absolutely rough plane}

1817:     \journal*{Appl. Math.\& Mech.}

1818:     \year{1988}

1819:     \volume{52}

1820:     \no{2}

1821:     \page{203--210}

1822: 

1823: \bibitem{markeev1}

1824:     \author{A.\,P.\,Markeev}

1825:     \title{Dynamics of body contacting hard surface}

1826:     \publisher{M.: Nauka}

1827:     \year{1992}

1828:     \page{336}

1829: 

1830: \bibitem{raus}

1831:     \author{E.\,J.\,Routh}

1832:     \title{Dynamics of a System of Rigid Bodies}

1833:     \publisher{Dover Publications, New York}

1834: 

1835: \bibitem{fedorov}

1836:     \author{Yu.\,N.\,Fedorov}

1837:     \title{On disk rolling on absolutely rough surface}

1838:     \journal*{Proc. of USSR Aced. of sciences, Rigid body mech.}

1839:     \year{1987}

1840:     \no{4}

1841:     \page{67--75}

1842: 

1843: \bibitem{chaplygin1}

1844:     \author{S.\,A.\,Chaplygin}

1845:     \title{On ball's rolling on horizontal plane}

1846:     \journal{Collection of works}

1847:     \volume{1}

1848:     \publisher{M.--L.: OGIZ}

1849:     \year{1948}

1850:     \page{76--101}

1851: 

1852: \bibitem{chaplygin2}

1853:     \author{S.\,A.\,Chaplygin}

1854:     \title{On motion of heavy rigid body of revolution on horizontal plane}

1855:     \journal{Collection of works}

1856:     \volume{1}

1857:     \publisher{M.--L.: OGIZ}

1858:     \year{1948}

1859:     \page{57--75}

1860: 

1861: \bibitem{chaplygin3}

1862:     \author{S.\,A.\,Chaplygin}

1863:     \title{On theory of motion of nonholonomic system. Reducing multiplier theorem}

1864:     \journal{Collection of works}

1865:     \volume{1}

1866:     \publisher{M.--L.: OGIZ}

1867:     \year{1948}

1868:     \page{15--25}

1869: 

1870: 

1871: \bibitem{yaroshuk}

1872:     \author{V.\,A.\,Yaroschuk}

1873:     \title{New cases of existence of integral invariant in problem of rolling

1874:     without sliding of rigid body on fixed surface}

1875:     \journal{MGU Bull., Math.\& mech. series}

1876:     \year{1992}

1877:     \no{6}

1878:     \page{26--30}

1879: 

1880: \bibitem{lit1}

1881:     \author{V.\,A.\,Yaroschuk}

1882:     \title{Integral invariant in problem on rolling without sliding of ellipsoid

1883:     with special mass distribution on fixed plane}

1884:     \journal*{Proc. of Russian Acad. of sciences, Rigid body mech.}

1885:     \year{1995}

1886:     \no{2}

1887:     \page{54--57}

1888: 

1889: \bibitem{appel-eng1}

1890:     \author{P.\,Appell}

1891:     \title{Les mouvements de roulement en dynamique}

1892:     \publisher{Paris, Gauthier-Villars}

1893:     \year{1899}

1894:     \page{70}

1895: 

1896: \bibitem{appel-eng2}

1897:     \author{P.\,Appell}

1898:     \title{Sur l'int\'egration des \'equations du mouvement d'un corps

1899:     pesant de r\'evolution roulant par une ar\^ete circulaire sur un plan

1900:     horizontal; cas particulier du cerceau}

1901:     \journal{Rendiconti del circolo matematico di Palermo}

1902:     \year{1900}

1903:     \volume{14}

1904:     \page{1--6}

1905: 

1906: 

1907: \bibitem{hermans}

1908:     \author{J.\,Hermans}

1909:     \title{A symmetric sphere rolling on a surface}

1910:     \journal{Nonlinearity}

1911:     \year{1995}

1912:     \volume{8(4)}

1913:     \page{493--515}

1914: 

1915: 

1916: \bibitem{kholm0}

1917:     \author{A.\,G.\,Kholmskaya}

1918:     \title{On a disk rolling within a sphere}

1919:     \journal*{Reg. \& Chaot. Dyn.}

1920:     \year{1998}

1921:     \volume{3}

1922:     \no{1}

1923:     \page{86--92}

1924: 

1925: \bibitem{kholm}

1926:     \author{A.\,G.\,Kholmskaya}

1927:     \title{Motion of a disk within a sphere}

1928:     \journal*{Reg. \& Chaot. Dyn.}

1929:     \year{1998}

1930:     \volume{3}

1931:     \no{2}

1932:     \page{74--81}

1933: 

1934: \bibitem{korteweg}

1935:     \author{D.\,Korteweg}

1936:     \title{Ueber eine ziemlich verbrietete unrichtige Behandlungswiese eines

1937:     Problemes der relleden Bewegung und insbesondere \"uber kleine rollende

1938:     Schwingungen um eine Gleichgewichtslage}

1939:     \journal{Nieuw Archiefvoor Wiskunde}

1940:     \year{1899. Bd.~4. S.~130--155}

1941: 

1942: \bibitem{oreilly}

1943:     \author{O.\,M.\,O'Reilly}

1944:     \title{The Dynamics of rolling disks and sliding disks}

1945:     \journal{Nonlinear Dynamics}

1946:     \year{1996}

1947:     \volume{10}

1948:     \page{287--305}

1949: 

1950: \bibitem{slesser}

1951:     \author{G.\,M.\,Slesser}

1952:     \title{Notes on rigid dynamics}

1953:     \journal*{Quart. J. of Math.}

1954:     \year{1861}

1955:     \volume{4}

1956:     \page{65--77}

1957: 

1958: \bibitem{voronetz1}

1959:     \author{P.\,Woronetz}

1960:     \title{\"Uber die Bewegung eines starren K\"orpers, der ohne Gleitung auf

1961:     einer beliebigen Fl\"ache rollt}

1962:     \journal{Math. Annalen}

1963:     \year{1911. Bd.~70. S.~410--453}

1964: 

1965: \bibitem{voronetz2}

1966:     \author{P.\,Woronetz}

1967:     \title{\"Uber die Bewegungsgleichungen eines starren K\"orpers}

1968:     \journal{Math. Annalen}

1969:     \year{1912. Bd.~71. S.~392--403}

1970: 

1971: \bibitem{voronetz3}

1972:     \author{P.\,Woronetz}

1973:     \title{\"Uber die rollende Bewegung einer Kreisscheibe auf einer beliebigen

1974:     Fl\"ache unter der Wirkung von gegebenen Kr\"aften}

1975:     \journal{Math. Annalen}

1976:     \year{1909. Bd.~67. S.~268--280}

1977: 

1978: 

1979: \end{thebibliography}

1980: 

1981: 

1982: 

1983: \end{document}

1984: