Existence and optimality of w-non-adjacent forms with an algebraic integer base

We consider digit expansions in lattices with endomorphisms acting as base. We focus on the w-non-adjacent form (w-NAF), where each block of w consecutive digits contains at most one non-zero digit. We prove that for sufficiently large w and an expanding endomorphism, there is a suitable digit set such that each lattice element has an expansion as a w-NAF. If the eigenvalues of the endomorphism are large enough and w is sufficiently large, then the w-NAF is shown to minimise the weight among all possible expansions of the same lattice element using the same digit system.     

On empty convex polygons in a planar point set

Let P be a set of n points in general position in the plane. Let X_k(P) denote the number of empty convex k-gons determined by P. We derive, using elementary proof techniques, several equalities and inequalities involving the quantities X_k(P) and several related quantities. Most of these equalities and inequalities are new, except for a few that have been proved earlier using a considerably more complex machinery from matroid and polytope theory, and algebraic topology. Some of these relationships are also extended to higher dimensions. We present several implications of these relationships, and discuss their connection with several long-standing open problems, the most notorious of which is the existence of an empty convex hexagon in any point set with sufficiently many points.     

Morse index properties of colliding solutions to the N-body problem

We study a singular Hamiltonian system with an α-homogeneous potential that contains, as a particular case, the classical N-body problem. We introduce a variational Morse-like index for a class of collision solutions and, using the asymptotic estimates near collisions, we prove the non-minimality of some special classes of colliding trajectories under suitable spectral conditions provided α is sufficiently away from zero. We then prove some minimality results for small values of the parameter α.     

Syst��mes hamiltoniens compl��tement int��grables

This article is dedicated to one of the greatest mathematicians of our time: V.I. Arnold, who died suddenly Thursday, June 3, 2010 in France. Integrable hamiltonian systems are nonlinear ordinary differential equations described by a hamiltonian function and possessing sufficiently many independent constants of motion in involution. The regular compact level manifolds defined by the intersection of the constants of motion are diffeomorphic to a real torus on which the motion is quasi-periodic as a consequence of the following purely differential geometric fact: a compact and connected n-dimensional manifold on which there exist n vector fields which commute and are independent at every point is diffeomorphic to an n-dimensional real torus and each vector field will define a linear flow there. We make a careful study of the connection with the concept of completely integrable systems and we apply the methods to several problems.     

Analytic dynamics of a one-dimensional system of particles with strong interaction

We consider the dynamics of a system of N particles on the circle with interaction of nearest neighbors, a Coulomb potential, and an analytic external force. The trajectories are real analytic functions of time. However, the series for them converge only for sufficiently small times. For zero initial velocities and a uniform initial location of particles, we prove N-dependent estimates on the coefficients of this series.     

Elliptic equations with measurable coefficients in Reifenberg domains

We prove W1,p estimates for elliptic equations in divergence form under the assumption that for each point and for each sufficiently small scale there is a coordinate system so that the coefficients have small oscillation in (n−1) directions. We assume the boundary to be δ-Reifenberg flat and the coefficients having small oscillation in the flat direction of the boundary.     

The conformal Killing equation on forms—prolongations and applications

We construct a conformally invariant vector bundle connection such that its equation of parallel transport is a first order system that gives a prolongation of the conformal Killing equation on differential forms. Parallel sections of this connection are related bijectively to solutions of the conformal Killing equation. We construct other conformally invariant connections, also giving prolongations of the conformal Killing equation, that bijectively relate solutions of the conformal Killing equation on k-forms to a twisting of the conformal Killing equation on (k−?)-forms for various integers ?. These tools are used to develop a helicity raising and lowering construction in the general setting and on conformally Einstein manifolds.     

Robust exponential attractors for singularly perturbed Hodgkin-Huxley equations

Here we consider a singular perturbation of the Hodgkin-Huxley system which is derived from the Lieberstein's model. We study the associated dynamical system on a suitable bounded phase space, when the perturbation parameter ε (i.e., the axon specific inductance) is sufficiently small. We prove the existence of bounded absorbing sets as well as of smooth attracting sets. We deduce the existence of a smooth global attractor Aε. Finally we prove the main result, that is, the existence of a family of exponential attractors {Eε} which is Hölder continuous with respect to ε.     

Multiple solutions and their limiting behavior of coupled nonlinear Schrödinger systems

We study the multiplicity of positive solutions and their limiting behavior as ? tends to zero for a class of coupled nonlinear Schrödinger system in R^N. We relate the number of positive solutions to the topology of the set of minimum points of the least energy function for ? sufficiently small. Also, we verify that these solutions concentrate at a global minimum point of the least energy function.     

The Morse index,repeller-attractor pairs and the connection index for semiflows on noncompact spaces

This paper extends the Morse index theory of C. C. Conley to semiflows π on a noncompact meric space X. π is assumed to satisfy a hypothesis related to conditional α-contraction. We collect background material, define quasi-index pairs and the Morse index of a compact, isolated invariant set K, and prove that the Morse index is a connected simple system. We study repeller-attractor pairs in K, define index triples, and prove their existence and several properties leading to the concepts of the connection index, the connection map and the splitting class. Finally, we consider paths (continuous families) of pairs (π, K) and study continuations of the Morse and the connection indices along such paths. The present paper is a sequel to the author's previous work: On the homotopy index for infinite-dimensional semiflows (Trans. Amer. Math. Soc.269 (1982), 351–382).     

Geodesic equivalence of metrics as a particular case of integrability of geodesic flows

We consider the recently found connection between geodesically equivalent metrics and integrable geodesic flows. If two different metrics on a manifold have the same geodesics, then the geodesic flows of these metrics admit sufficiently many integrals (of a special form) in involution, and vice versa. The quantum version of this result is also true: if two metrics on one manifold have the same geodesics, then the Beltrami Laplace operator Δ for each metric admits sufficiently many linear differential operators communiting with Δ. This implies that the topology of a manifold with two different metrics with the same geodesics must be sufficiently simple. We also have that the nonproportionality of the metrics at a point implies the nonproportionality of the metrics at almost all points. In memory of Mikhail Vladimirovich Saveliev Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 123, No. 2, pp. 285–293, May, 2000.     

Local well-posedness of the Yang-Mills equation in the temporal gauge below the energy norm

We show that the Yang-Mills equation in three dimensions in the temporal gauge is locally well-posed in H^s for if the H^s norm is sufficiently small. The temporal gauge is slightly less convenient technically than the more popular Coulomb gauge, but has the advantage of uniqueness even for large initial data, and does not require solving a nonlinear elliptic problem. To handle the temporal gauge correctly we project the connection into curl- and divergence-free components, and develop some new bilinear estimates of X^s,b type which can handle integration in the time direction.     

On the stochastic quasi-linear symmetric hyperbolic system

We establish the existence and uniqueness of a local smooth solution to the Cauchy problem for a quasi-linear symmetric hyperbolic system with random noise in Rd. When the noise is multiplicative satisfying some nondegenerate conditions and the initial data are sufficiently small, we show that the solution exists globally in time in probability, i.e., the probability of global existence can be made arbitrarily close to one if the initial date are small accordingly.     

Existence and asymptotic decay for a Boussinesq-type model

In this article, we study the initial value problem associated with a five-parameter Boussinesq-type system. We prove local existence and uniqueness of the solution and that the supremum norm of the solution decays algebraically to zero as (1+t)^−1/3 when t approaches to infinity, provided the initial data are sufficiently small and regular. We further present a high-accurate spectral numerical method to approximate the solutions and validate the theoretical results.     

On the Abel Basis Property of the System of Root Vector-Functions of Degenerate Elliptic Differential Operators with Singular Matrix Coefficients

We establish completeness and summability in the Abel-Lidskii sense for the system of root vector-functions of nonselfadjoint elliptic matrix operators A generated by noncoercive forms with the Dirichlet-type boundary conditions. An operator A + βE is positive for a sufficiently large β > 0 but not strongly positive in general. We obtain estimates for the eigenvalues and resolvent of A. Also, we study the resolvent of the extension $A$ of A to the corresponding negative space.     

An extension theorem for holomorphic functions of slow growth on covering spaces of projective manifolds

LetX be a projective manifold of dimension n ≥ 2 andY →X an infinite covering space. EmbedX into projective space by sections of a sufficiently ample line bundle. We prove that any holomorphic function of sufficiently slow growth on the preimage of a transverse intersection ofX by a linear subspace of codimension <n extends toY. The proof uses a Hausdorff duality theorem for L₂ cohomology. We also show that every projective manifold has a finite branched covering whose universal covering space is Stein.     

Monotone operators on Gödel logic

We consider an extension of Gödel logic by a unary operator that enables the addition of non-negative reals to truth-values. Although its propositional fragment has a simple proof system, first-order validity is Π ₂-hard. We explain the close connection to Scarpellini’s result on Π ₂-hardness of ?ukasiewicz’s logic.     

Global well-posedness for the dynamical <Emphasis Type="Italic">Q</Emphasis>-tensor model of liquid crystals

We consider a complex fluid modeling nematic liquid crystal flows, which is described by a system coupling Navier-Stokes equations with a parabolic Q-tensor system. We first prove the global existence of weak solutions in dimension three. Furthermore, the global well-posedness of strong solutions is studied with sufficiently large viscosity of fluid. Finally, we show a continuous dependence result on the initial data which directly yields the weak-strong uniqueness of solutions.     

Multiple solutions of a coupled nonlinear Schrödinger system

We will consider the relation between the number of positive standing waves solutions for a class of coupled nonlinear Schrödinger system in RN and the topology of the set of minimum points of potential V(x). The main characteristics of the system are that its functional is strongly indefinite at zero and there is a lack of compactness in RN. Combining the dual variational method with the Nehari technique and using the Concentration-Compactness Lemma, we obtain the existence of multiple solutions associated to the set of global minimum points of the potential V(x) for ? sufficiently small. In addition, our result gives a partial answer to a problem raised by Sirakov about existence of solutions of the perturbed system.     

On the exponential dichotomy of linear difference equations

We consider a system of linear difference equationsx ⁿ⁺¹ =A (n)xⁿ in anm-dimensional real or complex spaceVsum with detA(n) = 0 for some or alln εZ. We study the exponential dichotomy of this system and prove that if the sequence {A(n)} is Poisson stable or recurrent, then the exponential dichotomy on the semiaxis implies the exponential dichotomy on the entire axis. If the sequence {A (n)} is almost periodic and the system has exponential dichotomy on the finite interval {k, ...,k +T},k εZ, with sufficiently largeT, then the system is exponentially dichotomous onZ.