Some counterexamples to a generalized Saari's conjecture

For the Newtonian -body problem, Saari's conjecture states that the only solutions with a constant moment of inertia are relative equilibria, solutions rigidly rotating about their center of mass. We consider the same conjecture applied to Hamiltonian systems with power-law potential functions. A family of counterexamples is given in the five-body problem (including the Newtonian case) where one of the masses is taken to be negative. The conjecture is also shown to be false in the case of the inverse square potential and two kinds of counterexamples are presented. One type includes solutions with collisions, derived analytically, while the other consists of periodic solutions shown to exist using standard variational methods.

     

On the Index of Solvability for Variational Inequalities in Banach Spaces

We define the index of solvability, a topological characteristic, whose difference from zero provides the existence of a solution for variational inequalities of Stampacchia’s type with S ⁺-type and pseudo-monotone multimaps on reflexive separable Banach spaces. Some applications to a minimization problem and to a problem of economical dynamics are presented. The work is supported by the Russian FBR Grants 05-01-00100 and 07-01-00137 and by the NATO Grant ICS.NR.CLG 981757.     

Dynamics of Decision Making in Animal Group Motion

We analyze a continuous-time model of a multi-agent system motivated by simulation studies on dynamics of decision making in animal groups in motion. Each individual moves at constant speed in the plane and adjusts its heading in response to relative headings of others in the population. The population includes two subgroups that are “informed” such that individuals in each subgroup have a preferred direction of motion. The model exhibits fast and slow time scales allowing for a reduction in the dimension of the problem. The stable solutions for the reduced model correspond to compromise by individuals with conflicting preferences. We study the global phase space for the proposed reduced model by computing equilibria and exploring stability and bifurcations. B. Nabet’s and N.E. Leonard’s work is supported in part by AFOSR grant FA9550-07-1-0-0528 and ONR grants N00014-02-1-0826 and N00014-04-1-0534. I.D. Couzin’s work was supported by the Royal Society, Balliol College and EPSRC grants GR/S04765/01 and GR/T11234/01, a Searle Scholar Award and DARPA grant HR001-05-1-0057. S.A. Levin’s work was supported in part by DARPA grant HR0011-05-1-0057 and NSF grant EF-0434319.     

Groups with small Dehn functions and bipartite chord diagrams

We introduce a new invariant of bipartite chord diagrams and use it to construct the first examples of groups with Dehn function n²log n. Some of these groups have undecidable conjugacy problem. Our groups are multiple HNN extensions of free groups. We show that n²log n is the smallest Dehn function of a multiple HNN extension of a free group with undecidable conjugacy problem. Both authors were supported in part by the NSF grants DMS 0245600 and DMS 0455881. In addition, the research of the first author was supported in part by the Russian Fund for Basic Research 05-01-00895, the research of the second author was supported in part by the NSF grant DMS 9978802 and the US-Israeli BSF grant 1999298. Received: February 2005; Revision: September 2005; Accepted: September 2005     

On Differential Equations with Retarded Argument

We study the limit properties of solutions to one class of systems of differential equations as the number of equations and some parameters tend to infinity. We establish a close connection between solutions to these systems and differential equations with retarded argument. Our convergence theorems provide a new method for approximation of solutions to nonlinear differential equations with retarded argument.Original Russian Text Copyright © 2005 Demidenko G. V. and Likhoshvai V. A.The authors were supported by the Russian Foundation for Basic Research (Grants 03-01-00328, 03-04-48506, 03-04-48829, 03-07-96833, 04-01-00458, 05-04-49068, and 05-07-90274), the Integration Grant of the Siberian Branch of the Russian Academy of Sciences (No. 119 and 148), the Program Development of the Scientific Potential of Higher School of the Ministry for Education of the Russian Federation (Grant 8273), and NSF:FIBR (Grant EF-0330786).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 538–552, May–June, 2005.     

Stability Estimates in Inverse Problems for Hyperbolic Equations

We discuss here a method for investigating inverse problems for hyperbolic equations based on combining an asymptotic expansion of solutions to the equations in a neighborhood of a characteristic surface, the connections between coefficients of the expansion and the unknown coefficients of the equation and the estimates of a solution to the Cauchy problem in terms of the data on a time-like surface. We give some applications of this method to a number of inverse problems. Stability results to the inverse problems are given. This work was partly supported by the Russian Foundation for Basic Research (Grant No. 05-01-00171). Received: December 2005     

Hölder estimates of solutions to a degenerate diffusion equation

This paper is concerned with the Hölder estimates of weak solutions of the Cauchy problem for the general degenerate parabolic equations

with the initial data , where the diffusion function can be a constant on a nonzero measure set, such as the equations of two-phase Stefan type. Some explicit Hölder exponents of the composition function with respect to the space variables are obtained by using the maximum principle.

     

The super order dual of an ordered vector space and the Riesz-Kantorovich formula

A classical theorem of F. Riesz and L. V. Kantorovich asserts that if is a vector lattice and and are order bounded linear functionals on , then their supremum (least upper bound) exists in and for each it satisfies the so-called Riesz-Kantorovich formula:

Related to the Riesz-Kantorovich formula is the following long-standing problem: If the supremum of two order bounded linear functionals and on an ordered vector space exists, does it then satisfy the Riesz-Kantorovich formula?

In this paper, we introduce an extension of the order dual of an ordered vector space and provide some answers to this long-standing problem. The ideas regarding the Riesz-Kantorovich formula owe their origins to the study of the fundamental theorems of welfare economics and the existence of competitive equilibrium. The techniques introduced here show that the existence of decentralizing prices for efficient allocations is closely related to the above-mentioned problem and to the properties of the Riesz-Kantorovich formula.

     

The power of the tangent bundle of the real projective space, its complexification and extendibility

We establish the formulas on the power of the tangent bundle of the real projective -space and its complexification , and apply the formulas to the problem of extendibility and stable extendiblity of and .

     

On a sharp lower bound on the blow-up rate for the critical nonlinear Schrödinger equation

We consider the critical nonlinear Schrödinger equation with initial condition in the energy space and study the dynamics of finite time blow-up solutions. In an earlier sequence of papers, the authors established for a certain class of initial data on the basis of dispersive properties in a sharp and stable upper bound on the blow-up rate: .

In an earlier paper, the authors then addressed the question of a lower bound on the blow-up rate and proved for this class of initial data the nonexistence of self-similar solutions, that is,

In this paper, we prove the sharp lower bound

by exhibiting the dispersive structure in the scaling invariant space for this log-log regime. In addition, we will extend to the pure energy space a dynamical characterization of the solitons among the zero energy solutions.

     

The Word Problem for Polynilpotent Groups with a Single Primitive Defining Relation

It is shown that polynilpotent groups with a single primitive defining relation have a decidable word problem. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 28–43, January–February, 2006.     

The number of periodic solutions of polynomial differential equations

We estimate the number of periodic solutions for special classes ofnth-order ordinary differential equations with variable coefficients. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 720–727, November, 1998. The author thanks Yu. S. Il'yashenko for setting the problems, permanent advice, and overall support. The author is also thankful to D. A. Panov for numerous discussions. This research was supported by the CRDF Foundation under grant MR1-220, by the INTAS Foundation under grant No. 93-05-07, and by the Russian Foundation for Basic Research under grant No. 95-01-01258.     

On regularity criteria in terms of pressure for the Navier-Stokes equations in

In this paper we establish a Serrin-type regularity criterion on the gradient of pressure for the weak solutions to the Navier-Stokes equations in . It is proved that if the gradient of pressure belongs to with , , then the weak solution is actually regular. Moreover, we give a much simpler proof of the regularity criterion on the pressure, which was showed recently by Berselli and Galdi (Proc. Amer. Math. Soc. 130 (2002), no. 12, 3585-3595).

     

Existence of multiwavelets in

For a -regular Multiresolution Analysis of multiplicity with arbitrary dilation matrix for a general lattice in , we give necessary and sufficient conditions in terms of the mask and the symbol of the vector scaling function in order that an associated wavelet basis exists. We also show that if where is the absolute value of the determinant of , then these conditions are always met, and therefore an associated wavelet basis of -regular functions always exists. This extends known results to the case of multiwavelets in several variables with an arbitrary dilation matrix for a lattice .

     

Simple algebras of Weyl type, II

Over a field of any characteristic, for a commutative associative algebra , and for a commutative subalgebra of , the vector space which consists of polynomials of elements in with coefficients in and which is regarded as operators on forms naturally an associative algebra. It is proved that, as an associative algebra, is simple if and only if is -simple. Suppose is -simple. Then, (a) is a free left -module; (b) as a Lie algebra, the subquotient is simple (except for one case), where is the center of . The structure of this subquotient is explicitly described. This extends the results obtained by Su and Zhao.

     

Relative Brauer groups and -torsion

Let be a field and its Brauer group. If is a field extension, then the relative Brauer group is the kernel of the restriction map . A subgroup of is called an algebraic relative Brauer group if it is of the form for some algebraic extension . In this paper, we consider the -torsion subgroup consisting of the elements of killed by , where is a positive integer, and ask whether it is an algebraic relative Brauer group. The case is already interesting: the answer is yes for squarefree, and we do not know the answer for arbitrary. A counterexample is given with a two-dimensional local field and .

     

Solutions of the heat equation in domains with singularities

We study the asymptotics of solutions to the Dirichlet problem for the heat equation in time-dependent domains with singular points.Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 163–179, August, 1998.This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-00504 and by INTAS under grant No. 93-351.     

Polar sets on metric spaces

We show that if is a proper metric measure space equipped with a doubling measure supporting a Poincaré inequality, then subsets of with zero -capacity are precisely the -polar sets; that is, a relatively compact subset of a domain in is of zero -capacity if and only if there exists a -superharmonic function whose set of singularities contains the given set. In addition, we prove that if is a -hyperbolic metric space, then the -superharmonic function can be required to be -superharmonic on the entire space . We also study the the following question: If a set is of zero -capacity, does there exist a -superharmonic function whose set of singularities is precisely the given set?

     

On examples of difference operators for {0,1}-valued functions over finite sets

V.I. Arnold recently formulated a geometric concept of monads and used it to study difference operators on the sets of {0,1}-valued sequences of length n. We consider particular examples of these monads and indicate one question that arises. Partially supported by grants NWO-RFBR 047.011.2004.026 (RFBR 05-02-89000-NWO_a), RFBR SS-1972.2003.1, RFBR 05-01-02805-CNRSL_a, and RFBR 05-01-01012a.