From Ginzburg-Landau to Gross-Pitaevskii

In this note we consider the Gross-Pitaevskii equation i _t ++(1–²)=0, where is a complex-valued function defined on ^N×, and study the following 2-parameters family of solitary waves: (x, t)=e ^it v(x ₁–ct, x), where and x denotes the vector of the last N–1 variables in ^N . We prove that every distribution solution , of the considered form, satisfies the following universal (and sharp) L -bound:

A symmetry problem in the calculus of variations

Let be a ball in ^N, centered at zero, and letu be a minimizer of the nonconvex functional over one of the classesC _M := {w W _loc ^1, () 0 w(x) M in,w concave} orE _M := {w W _loc ^1,2 () 0 w(x) M in,w 0 inL()}of admissible functions. Thenu is not radial and not unique. Therefore one can further reduce the resistance of Newton's rotational body of minimal resistance through symmetry breaking.     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let be an equivariant holomorphic map of symmetric domains associated to a homomorphism of semisimple algebraic groups defined over . If and are torsion-free arithmetic subgroups with , the map induces a morphism : of arithmetic varieties and the rationality of is defined by using symmetries on and as well as the commensurability groups of and . An element determines a conjugate equivariant holomorphic map of which induces the conjugate morphism of . We prove that is rational if is rational.     

Global properties of solutions to 1D-viscous compressible barotropic fluid equations with density dependent viscosity

The Navier-Stokes equations for compressible barotropic fluid in 1D with the mass force under zero velocity boundary conditions are studied. We prove the uniform upper and lower bounds for the density as well as the uniform in time L ²()-estimates for _x and u _x (u is the velocity). Moreover, a collection of the decay rate estimates for - (with being the stationary density) and u in ²()-norm and H ¹()-norm as time t are established. The results are given for general state function p() (but mainly monotone) and viscosity coefficient µ() of arbitrarily fast (or slow) growth as well as for the large data.     

On the integrability of “finite energy” solutions for <Emphasis Type="Italic">p</Emphasis>-harmonic equations

We prove a higher integrability result for the gradient of solutions to some degenerate elliptic PDEs, whose model arises in the study of mappings with finite distortion.The nonnegative function which measures the degree of degeneracy of ellipticity bounds lies in the exponential class, i.e. is integrable for some > 0.Our result states that if is sufficiently large, then the gradient of a finite energy solution actually belongs to the Zygmund space L^plog^{L, 1}.     

Removability of singularities in potential theory

IfQ is a compact metric space, a system of its closed subsets andg: R a prescribed nonnegative function, the conditions ong, and a closedF Q are specified guaranteeing the existence of a nontrivial Borel measure with support inF such that (L)g(L), L.For some kernels in potential theory these conditions permit to characterize geometrically those sets which contain support of a nontrivial measure whose potential belongs to a given class of functions. Several applications concerning removability of singularities of partial differential equations are presented.     

When do Toeplitz and Hankel operators commute?

We completely classify all Toeplitz and Hankel operators which commute; namely, we prove that that a non-trivial Hankel operator and a non-trivial Toeplitz operator commute if and only if the Hankel operator has symbolz, where is the symbol of the Toeplitz operator, and is an affine function of the characteristic function of certain anti-symmetric sets of the unit circle.     

On singular perturbation of a semilinear hyperbolic equation

We consider a hyperbolic version of Eells-Sampson's equation: . This equation is semilinear with respect to space derivative and time derivative. Letu (x) be the solution with initial data u(0) and (0), and putv (t,x)=u (t,x). We show that when the resistance ,V (t,x) converges to a solution of the original parabolic Eells-Sampson's equation: . Note thatv _t(0)= (0) diverges when . We show that this phenomena occurs in more general situations.This article was processed by the author using the Springer-Verlag Pjourlg macro package.     

Covering the hypercube with a bounded number of disjoint snakes

We present a construction of an induced cycle in then-dimensional hypercubeI[n] (n2), and a subgroup _n ofI[n] considered as the group ₂ ⁿ , such that | _n |16 and the induced cycle uses exactly one element of every coset of _n . This proves that for anyn2 the vertices ofI[n] can be covered using at most 16 vertex-disjoint induced cycles.     

On Non-Linear Rayleigh quotients

The stability with respect top of the non-linear eigenvalue problem div(|u| ^p–2u)+|u| ^p–2 u=0 is studied.     

Existence of quadrature surfaces for positive measures with finite support

Let be a positive measure with finite support in ⁿ (n2). Then we show that there is a bounded open set , containing the support of , whose single-layer potential coincides with the potential of outside .     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

On the isoperimetric inequality on a minimal surface

We derive an explicit formula for the isoperimetric defect of an arbitrary minimal surface ,in terms of a double integral over the surface of certain geometric quantities, together with a double boundary integral which always has the correct sign. As a by-product of these computations we show that the best known universal isoperimetric estimate, that for any minimal surface (due to L. Simon), may be improved to the universal estimate .Received: 21 June 2001, Accepted: 16 June 2002, Published online: 5 September 2002     

Semi-Classical Analysis of a Dirac Equation Without Adiabatic Decoupling

We study adiabatic decoupling for Dirac equation with some scaling which yields that the mass appears with a coefficient where is the semi-classical parameter and > 0. Therefore, the system presents an avoided crossing. The scale = 1/2 is critical: adiabatic decoupling holds for (0,1/2) while for 1/2, there is energy transfer at leading order between the two modes. We describe this transfer in terms of two-scale Wigner measures by means of Landau-Zener formula which takes into account the change of polarization of the measures after the crossing.     

Moser-type inequalities in Lorentz spaces

Moser-type estimates for functions whose gradient is in the Lorentz space L(n, q), 1q, are given. Similar results are obtained for solutions uH _inf0 ^sup1 of Au=(f _i ) _{x i} , where A is a linear elliptic second order differential operator and |f|L(n, q), 2q.Work partially supported by MURST (40%).     

Convergence of epigraphs and of sublevel sets

Let LSC(X) be the set of the proper lower semicontinuous extended real-valued functions defined on a metric spaceX. Given a sequence f _n in LSC(X) and a functionf LSC(X), we show that convergence of f _n tof in several variational convergence modes implies that for each , the sublevel set at height off is the limit, in the same variational sense, of an appropriately chosen sequence of sublevel sets of thef _n, at height _n approaching . The converse holds true whenever a form of stability of the sublevel sets of the limit function is verified. The results are obtained by regarding a hyperspace topology as the weakest topology for which each member of an appropriate family of excess functionals is upper semicontinuous, and each member of an appropriate family of gap functionals is lower semicontinuous. General facts about the representation of hyperspace topologies in this manner are given.     

The Legendre transform of two replicas of the Sherrington-Kirkpatrick spin glass model

Summary We prove a variational inequality linking the values of the free energy per site at different temperatures. This inequality is based on the Legendre transform of the free energy of two replicas of the system. We prove that equality holds when1/ and fails when 1/ <1. We deduce from this that the mean entropy per site of the uniform distribution with respect to the distribution of the coupling _i ¹ _i ² = _i between two replicas is null when 01/ and strictly positive when 1/ <1. We exhibit thus a new secondary critical phenomenon within the high temperature region 01. We given an interpretation of this phenomenon showing that the fluctuations of the law of the coupling with the interactions remains strong in the thermodynamic limit when>1/ . We also use our inequality numerically within the low temperature region to improve (slightly) the best previously known lower bounds for the free energy and the ground state energy per site.     

Wave operators in a multistratified strip

One investigates the scattering theory for the positive self-adjoint operatorH=–· acting in with = × and a bounded open set in ^n–1,n2. The real-valued function belongs toL (), is bounded from below byc>0 and there exist real-valued functions ₁ and ₂ inL () such that – _j ,j=1,2 is a short range perturbation of _j when (–1) ^j x _n +. One assumes _j = ^(j) 1_R,j=1,2, with ^(j) L bounded from below byc>0. One proves the existence and completeness of the generalized wave operators _j ^± =s – _j e ^–itHj ,j=1,2, withH _j =–· _j and _j : equal to 1 if (–1) ^j x _n >0 and to 0 if (–1) ^j x _n <0. The ranges ofW _j ^± :=( _j ^± )^* are characterized so that W ₁ ^± =Ran and . The scattering operator can then be defined.     

Elliptic boundary-value problems with discontinuous nonlinearities

For a class of elliptic boundary value problems with discontinuous nonlinearities, the existence of strong solutions is established. Two applications are then developed. In particular, one of them is devoted to implicit elliptic equations of the form (–u)=(u), where is a continuous function and has a set of discontinuity points of Lebesgue measure zero. The abstract framework where these problems are studied is that of set-valued analysis.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.