Solvable and/or integrable and/or linearizable N-body problems in ordinary (three-dimensional) space. I

Several N-body problems in ordinary (3-dimensional) space are introduced which are characterized by Newtonian equations of motion (``acceleration equal force;'' in most cases, the forces are velocity-dependent) and are amenable to exact treatment (``solvable'' and/or ``integrable'' and/or ``linearizable''). These equations of motion are always rotation-invariant, and sometimes translation-invariant as well. In many cases they are Hamiltonian, but the discussion of this aspect is postponed to a subsequent paper. We consider ``few-body problems'' (with, say, \textit{N}=1,2,3,4,6,8,12,16,...) as well as ``many-body problems'' (N an arbitrary positive integer). The main focus of this paper is on various techniques to uncover such N-body problems. We do not discuss the detailed behavior of the solutions of all these problems, but we do identify several models whose motions are completely periodic or multiply periodic, and we exhibit in rather explicit form the solutions in some cases

On discrete integrable equations with convex variational principles

We investigate the variational structure of discrete Laplace-type equations that are motivated by discrete integrable quad-equations. In particular, we explain why the reality conditions we consider should be all that are reasonable, and we derive sufficient conditions (that are often necessary) on the labeling of the edges under which the corresponding generalized discrete action functional is convex. Convexity is an essential tool to discuss existence and uniqueness of solutions to Dirichlet boundary value problems. Furthermore, we study which combinatorial data allow convex action functionals of discrete Laplace-type equations that are actually induced by discrete integrable quad-equations, and we present how the equations and functionals corresponding to (Q3) are related to circle patterns.Comment: 39 pages, 8 figures. Revision of the whole manuscript, reorder of sections. Major changes due to additional reality conditions for (Q3) and (Q4): new Section 2.3; Theorem 1 and Sections 3.5, 3.6, 3.7 update

Integrable discrete nets in Grassmannians

We consider discrete nets in Grassmannians $\mathbb{G}^d_r$ which generalize Q-nets (maps $\mathbb{Z}^N\to\mathbb{P}^d$ with planar elementary quadrilaterals) and Darboux nets ($\mathbb{P}^d$-valued maps defined on the edges of $\mathbb{Z}^N$ such that quadruples of points corresponding to elementary squares are all collinear). We give a geometric proof of integrability (multidimensional consistency) of these novel nets, and show that they are analytically described by the noncommutative discrete Darboux system.Comment: 10 p

Curvature line parametrized surfaces and orthogonal coordinate systems. Discretization with Dupin cyclides

Cyclidic nets are introduced as discrete analogs of curvature line parametrized surfaces and orthogonal coordinate systems. A 2-dimensional cyclidic net is a piecewise smooth $C^1$-surface built from surface patches of Dupin cyclides, each patch being bounded by curvature lines of the supporting cyclide. An explicit description of cyclidic nets is given and their relation to the established discretizations of curvature line parametrized surfaces as circular, conical and principal contact element nets is explained. We introduce 3-dimensional cyclidic nets as discrete analogs of triply-orthogonal coordinate systems and investigate them in detail. Our considerations are based on the Lie geometric description of Dupin cyclides. Explicit formulas are derived and implemented in a computer program.Comment: 39 pages, 30 figures; Theorem 2.7 has been reformulated, as a normalization factor in formula (2.4) was missing. The corresponding formulations have been adjusted and a few typos have been correcte

Links between different analytic descriptions of constant mean curvature surfaces

Transformations between different analytic descriptions of constant mean curvature (CMC) surfaces are established. In particular, it is demonstrated that the system $$\begin{split} &\partial \psi_{1} = (|\psi_{1}|^{2} + |\psi_{2}|^{2}) \psi_{2} \\ &\bar{\partial} \psi_{2} =- (|\psi_{1}|^{2} + |\psi_{2}|^{2}) \psi_{1} \end{split}$$ descriptive of CMC surfaces within the framework of the generalized Weierstrass representation, decouples into a direct sum of the elliptic Sh-Gordon and Laplace equations. Connections of this system with the sigma model equations are established. It is pointed out, that the instanton solutions correspond to different Weierstrass parametrizations of the standard sphere $S^{2} \subset E^{3}$

The Discrete AKNS-D Hierarchy

In this paper, we consider the discrete AKNS-D hierarchy, find the construction of the hierarchy, prove the bilinear identity and give the construction of the $\tau$-functions of this hierarchy.Comment: 11 page

Ruled Laguerre minimal surfaces

A Laguerre minimal surface is an immersed surface in the Euclidean space being an extremal of the functional \int (H^2/K - 1) dA. In the present paper, we prove that the only ruled Laguerre minimal surfaces are up to isometry the surfaces R(u,v) = (Au, Bu, Cu + D cos 2u) + v (sin u, cos u, 0), where A, B, C, D are fixed real numbers. To achieve invariance under Laguerre transformations, we also derive all Laguerre minimal surfaces that are enveloped by a family of cones. The methodology is based on the isotropic model of Laguerre geometry. In this model a Laguerre minimal surface enveloped by a family of cones corresponds to a graph of a biharmonic function carrying a family of isotropic circles. We classify such functions by showing that the top view of the family of circles is a pencil.Comment: 28 pages, 9 figures. Minor correction: missed assumption (*) added to Propositions 1-2 and Theorem 2, missed case (nested circles having nonempty envelope) added in the proof of Pencil Theorem 4, missed proof that the arcs cut off by the envelope are disjoint added in the proof of Lemma

Approximation of conformal mappings by circle patterns

A circle pattern is a configuration of circles in the plane whose combinatorics is given by a planar graph G such that to each vertex of G corresponds a circle. If two vertices are connected by an edge in G, the corresponding circles intersect with an intersection angle in $(0,\pi)$. Two sequences of circle patterns are employed to approximate a given conformal map $g$ and its first derivative. For the domain of $g$ we use embedded circle patterns where all circles have the same radius decreasing to 0 and which have uniformly bounded intersection angles. The image circle patterns have the same combinatorics and intersection angles and are determined from boundary conditions (radii or angles) according to the values of $g'$ ($|g'|$ or $\arg g'$). For quasicrystallic circle patterns the convergence result is strengthened to $C^\infty$-convergence on compact subsets.Comment: 36 pages, 7 figure

Uniform convergence of discrete curvatures from nets of curvature lines

We study discrete curvatures computed from nets of curvature lines on a given smooth surface, and prove their uniform convergence to smooth principal curvatures. We provide explicit error bounds, with constants depending only on properties of the smooth limit surface and the shape regularity of the discrete net.Comment: 21 pages, 8 figure