Asymptotic analysis of solutions to parabolic systems

We study asymptotics as of solutions to a linear, parabolic system of equations with time-dependent coefficients in , where is a bounded domain. On we prescribe the homogeneous Dirichlet boundary condition. For large values of t, the coefficients in the elliptic part are close to time-independent coefficients in an integral sense which is described by a certain function . This includes in particular situations when the coefficients may take different values on different parts of and the boundaries between them can move with t but stabilize as . The main result is an asymptotic representation of solutions for large t. A consequence is that for , the solution behaves asymptotically as the solution to a parabolic system with time-independent coefficients.     

Solutions with multiple spike patterns for an elliptic system

We consider a system of the form , in an open domain of , with Dirichlet conditions at the boundary (if any). We suppose that f and g are power-type non-linearities, having superlinear and subcritical growth at infinity. We prove the existence of positive solutions and which concentrate, as , at a prescribed finite number of local minimum points of V(x), possibly degenerate.     

The symplectomorphism group of a blow up

We study the relation between the symplectomorphism group Symp M of a closed connected symplectic manifold M and the symplectomorphism and diffeomorphism groups Symp and Diff of its one point blow up . There are three main arguments. The first shows that for any oriented M the natural map from to is often injective. The second argument applies when M is simply connected and detects nontrivial elements in the homotopy group that persist into the space of self-homotopy equivalences of . Since it uses purely homological arguments, it applies to c-symplectic manifolds (M, a), that is, to manifolds of dimension 2n that support a class such that . The third argument uses the symplectic structure on M and detects nontrivial elements in the (higher) homology of BSymp, M using characteristic classes defined by parametric Gromov–Witten invariants. Some results about many point blow ups are also obtained. For example we show that if M is the four-torus with k-fold blow up (where k > 0) then is not generated by the groups as ranges over the set of all symplectic forms on . Partially supported by NSF grants DMS 0305939 and 0604769.     

On the uniqueness of solutions of spectral equations

We prove uniqueness of the viscosity solutions of the Dirichlet problem of the spectral equation where is the vector whose components are eigenvalues of a matrix associated with the unknown function u.     

Derivative-free characterizations of bounded composition operators between Lipschitz spaces

We prove that maps into if and only if belongs to . In the case β < 1, we give another two equivalent conditions. Supported by MNZŽS Serbia, Project No. ON144010.     

Nondifferentiability of an objective function at its point of minimum for most minimax problems

In this paper we study a class of minimax problems where . We show that the subclass of all problems for which there exists a point of minimum such that and is small. The paper is dedicated to the memory of Alexander M. Rubinov.     

Inequalities of the Brunn–Minkowski type for Gaussian measures

Let be an integer, let γ be the standard Gaussian measure on , and let . Given this paper gives a necessary and sufficient condition such that the inequality is true for all Borel sets A ₁,...,A _m in of strictly positive γ-measure or all convex Borel sets A ₁,...,A _m in of strictly positive γ-measure, respectively. In particular, the paper exhibits inequalities of the Brunn–Minkowski type for γ which are true for all convex sets but not for all measurable sets.      

Ortho and Causal Closure Operations in Ordered Vector Spaces

On a non-trivial partially ordered real vector space V the orthogonality relation is defined by incomparability and is a complete lattice of double orthoclosed sets. In an earlier paper we defined an integrally open ordered vector space V and proved orthomodularity of . We shall say that is an orthogonal set when for all with , we have . We consider two different closure operations and (ortho and causal closure) and prove: V is integrally open iff for every orthogonal set . Hence follows: if V is integrally open, then . Received July 6, 2007; accepted in final form July 31, 2007.     

Algebraic-geometry codes, one-point codes, and evaluation codes

One-point codes are those algebraic-geometry codes for which the associated divisor is a non-negative multiple of a single point. Evaluation codes were defined in order to give an algebraic generalization of both one-point algebraic-geometry codes and Reed–Muller codes. Given an -algebra A, an order function on A and given a surjective -morphism of algebras , the ith evaluation code with respect to is defined as the code . In this work it is shown that under a certain hypothesis on the -algebra A, not only any evaluation code is a one-point code, but any sequence of evaluation codes is a sequence of one-point codes. This hypothesis on A is that its field of fractions is a function field over and that A is integrally closed. Moreover, we see that a sequence of algebraic-geometry codes G _i with associated divisors is the sequence of evaluation codes associated to some -algebra A, some order function and some surjective morphism with if and only if it is a sequence of one-point codes.      

Normal generation and Clifford index on algebraic curves

For a smooth curve C it is known that a very ample line bundle on C is normally generated if Cliff() < Cliff(C) and there exist extremal line bundles (:non-normally generated very ample line bundle with Cliff() = Cliff(C)) with . However it has been unknown whether there exists an extremal line bundle with . In this paper, we prove that for any positive integers (g, c) with g = 2c + 5 and (mod 2) there exists a smooth curve of genus g and Clifford index c carrying an extremal line bundle with . In fact, a smooth quadric hypersurface section C of a general projective K3 surface always has an extremal line bundle with . More generally, if C has a line bundle computing the Clifford index c of C with , then C has such an extremal line bundle . For all authors, this work was supported by Korea Research Foundation Grant funded by Korea Government (MOEHRD, Basic Reasearch Promotion Fund)(KRF-2005-070-C00005).     

Homology of planar polygon spaces

In this paper, we study topology of the variety of closed planar n-gons with given side lengths . The moduli space where , encodes the shapes of all such n-gons. We describe the Betti numbers of the moduli spaces as functions of the length vector . We also find sharp upper bounds on the sum of Betti numbers of depending only on the number of links n. Our method is based on an observation of a remarkable interaction between Morse functions and involutions under the condition that the fixed points of the involution coincide with the critical points of the Morse function.      

On the Optimal Value Function of a Linearly Perturbed Quadratic Program

The optimal value function of the quadratic program , where is a given symmetric matrix, a given matrix, and are the linear perturbations, is considered. It is proved that is directionally differentiable at any point in its effective domain . Formulae for computing the directional derivative of at in a direction are obtained. We also present an example showing that, in general, is not piecewise linear-quadratic on W. The preceding (unpublished) example of Klatte is also discussed.     

The method of mothers for non-overlapping non-matching DDM

In this paper we introduce a variant of the three-field formulation where we use only two sets of variables. Considering, to fix the ideas, the homogeneous Dirichlet problem for in , our variables are i) the approximations of u in each sub-domain (each on its own grid), and ii) an approximation of u on the skeleton (the union of the interfaces of the sub-domains) on an independent grid (that could often be uniform). The novelty is in the way to derive, from , the values of each trace of on the boundary of each . We do it by solving an auxiliary problem on each that resembles the mortar method but is more flexible. Under suitable assumptions, quasi-optimal error estimates are proved, uniformly with respect to the number and size of the subdomains. A preliminary version of the method and of its theoretical analysis has been presented in Bertoluzza et al. (15th international conference on domain decomposition methods, 2002).     

The computational complexity of evolutionarily stable strategies

The concept of evolutionarily stable strategies (ESS) has been central to applications of game theory in evolutionary biology, and it has also had an influence on the modern development of game theory. A regular ESS is an important refinement the ESS concept. Although there is a substantial literature on computing evolutionarily stable strategies, the precise computational complexity of determining the existence of an ESS in a symmetric two-player strategic form game has remained open, though it has been speculated that the problem is -hard. In this paper we show that determining the existence of an ESS is both -hard and -hard, and that the problem is contained in , the second level of the polynomial time hierarchy. We also show that determining the existence of a regular ESS is indeed -complete. Our upper bounds also yield algorithms for computing a (regular) ESS, if one exists, with the same complexities.     

Dy namic of Abelia n Subgroups of GL( n, $$\mathbb{C}$$): A Structure Theorem

In this paper, we characterize the dynamic of every Abelian subgroups of , or . We show that there exists a -invariant, dense open set U in saturated by minimal orbits with a union of at most n -invariant vector subspaces of of dimension n−1 or n−2 over . As a consequence, has height at most n and in particular it admits a minimal set in . This work is supported by the research unit: systèmes dynamiques et combinatoire: 99UR15-15     

Bounded universal functions in one and several complex variables

We show how to obtain functions that are universal for the ball of , where . The existence of our functions will follow from universality criteria, but we also show how to construct them. Then we study the connection between certain interpolating sequences, runaway automorphisms, and the existence of universal functions on domains in .      

A Slow Transient Diffusion in a Drifted Stable Potential

We consider a diffusion process X in a random potential of the form , where is a positive drift and is a strictly stable process of index with positive jumps. Then the diffusion is transient and converges in law towards an exponential distribution. This behaviour contrasts with the case where is a drifted Brownian motion and provides an example of a transient diffusion in a random potential which is as “slow” as in the recurrent setting.      

Discontinuous implicit generalized quasi-variational inequalities in Banach spaces

We consider the following implicit quasi-variational inequality problem: given two topological vector spaces E and F, two nonempty sets X E and C F, two multifunctions Γ : X → 2 ^X and Ф : X → 2 ^C , and a single-valued map ψ : , find a pair such that , Ф and for all . We prove an existence theorem in the setting of Banach spaces where no continuity or monotonicity assumption is required on the multifunction Ф. Our result extends to non-compact and infinite-dimensional setting a previous results of the authors (Theorem 3.2 of Cubbiotti and Yao [15] Math. Methods Oper. Res. 46, 213–228 (1997)). It also extends to the above problem a recent existence result established for the explicit case (C = E ^* and ).     

Increasing functions and inverse Santaló inequality for unconditional functions

Let be a convex function and be its Legendre tranform. It is proved that if is invariant by changes of signs, then . This is a functional version of the inverse Santaló inequality for unconditional convex bodies due to J. Saint Raymond. The proof involves a general result on increasing functions on together with a functional form of Lozanovskii’s lemma. In the last section, we prove that for some c > 0, one has always . This generalizes a result of B. Klartag and V. Milman.      

New bounds on the unconstrained quadratic integer programming problem

We consider the maximization for a given symmetric . It was shown recently, using properties of zonotopes and hyperplane arrangements, that in the special case that A has a small rank, so that A = VV ^T where with m < n, then there exists a polynomial time algorithm (polynomial in n for a given m) to solve the problem . In this paper, we use this result, as well as a spectral decomposition of A to obtain a sequence of non-increasing upper bounds on γ with no constraints on the rank of A. We also give easily computable necessary and sufficient conditions for the absence of a gap between the solution and its upper bound. Finally, we incorporate the semidefinite relaxation upper bound into our scheme and give an illustrative example.