Contraction mappings in interval analysis

Under certain conditions, the contraction mapping fixed point theorem guarantees the convergence of the iterationx _i+1=f(x _i ) toward a fixed point of the functionf:R ⁿ →R ⁿ. When an interval extensionF off is used in a similar iteration scheme to obtain a sequence of interval vectors these conditions need not provide convergence to a degenerate interval vector representing the fixed point, even if the width of the initial interval vector is chosen arbitrarily small. We give a sufficient condition on the extensionF in order that the convergence is guaranteed. The centered form of Moore satisfies this condition.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

On the classification of conditionally integrable evolution systems in (1 + 1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1 + 1)-dimensional evolution equations of order n that admit an N-shock-type solution with N ≤ n + 1. For this, we develop a refinement of the technique from our earlier work, where we completely characterized all (1+1)-dimensional evolution systems u _t = F (x, t, u, ?u/?x,..., ?ⁿ u/? x ⁿ) that are conditionally invariant under a given generalized (Lie-Bäcklund) vector field Q(x, t, u, ?u/?x,..., ?^k u/?x ^k)?/?u under the assumption that the system of ODEs Q = 0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in t, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics.     

Ombres Convexité, régularité et sous-harmonicité

Letf:V→R be a function defined on a subsetV ofR ⁿ ×R ^d let?:x→inf{f(x t);t such that(x t)∈V} denote theshadow off and letΦ={(x t)∈V; f(x t)=?(x)} This paper deals with the characterization of some properties of ? in terms of the infinitesimal behavior off near points ζ∈Φ proving in particular a conjecture of J M Trépreau concerning the cased=1 Characterizations of this type are provided for the convexity the subharmonicity or theC ^{1 1} regularity of ? in the interior ofI={x∈ R ⁿ;εR ^d (x t)∈V} and in theC ^{1 1} case an expression forD ²? is given To some extent an answer is given to the following question: which convex function ?:I→R I interval ?R (resp which function √:I→R of classC ^{1 1}) is the shadow of aC ² functionf:I×R→R?     

Blow-up phenomena for a semilinear heat equation with nonlinear boundary condition, I

We consider the blow-up of the solution to a semilinear heat equation with nonlinear boundary condition. We establish conditions on nonlinearities sufficient to guarantee that u(x, t) exists for all time t > 0 as well as conditions on data forcing the solution u(x, t) to blow up at some finite time t*. Moreover, an upper bound for t* is derived. Under somewhat more restrictive conditions, lower bounds for t* are also derived.     

CAT(0) 4-manifolds possessing a single tame point are Euclidean

The concepts of geometric and topological tame point are introduced for a space of nonpositive curvature. These concepts are applied to the characterization problem forCAT(0) 4-manifolds. It is shown that everyCAT(0)M ⁴ having a single (geometric or topological) tame point is homeomorphic toR ⁴. Davis and Januszkiewicz have recently constructedCAT(0)n-manifolds,M ⁿ withn ≥ 5 such that the set of tame points form a dense open subset ofM ⁿ , butM ⁿ ≠R ⁿ .     

Non existence de solutions globales de certaines équations d'ondes non linéairesNonexistence of global solutions to some nonlinear wave equations

We study the semilinear wave equation u_tt?Δu=p^?k|u|^m in $\text{R}\text{×}\text{R}{}^{\mathrm{n}}$, where p is a conformal factor approaching 0 at infinity. We prove that the solutions blow-up in finite time for small powers m, while having an arbitrarily long life-span for large m. Furthermore, we study the finite time blow-up of solutions for the class of quasilinear wave equations u_tt?Δu=p^?k|Lu|^m in $\text{R}\text{×}\text{R}{}^{\mathrm{n}}$. To cite this article: M. Aassila, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 961–966.     

Følner sequences and Hilbert’s Irreducibility Theorem over Q

Letf(X; T ₁, ...,T _n) be an irreducible polynomial overQ. LetB be the set ofb teZ ⁿ such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F _j}{F _j } _j?1 ^∞ be a Følner sequence inZ ⁿ — that is, a sequence of finite nonempty subsetsF _j ?Z ⁿ such that for eachvteZ ⁿ , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP ⁿ ?A ⁿ and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ ⁿ is identified withA ⁿ (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .     

Approximation by spherical waves inL p -spaces

The paper is devoted to the following problem. Consider the set of all radial functions with centers at the points of a closed surface inR ⁿ . Are such functions complete in the spaceL ^q (R ⁿ )? It is shown that the answer is positive if and only ifq is not less than 2n/(n + 1). A similar question is also answered for Riemannian symmetric spaces of rank 1. Relations of this problem with the wave and heat equations are also discussed.     

Existence and non-existence of positive solutions of the scalar field system in R n,I

Letn > 3 andΩ be either the entire spaceR ⁿ or a Euclidean ball in R ⁿ . Consider the following boundary value problem (I) $$\{ _{\Delta v - u + u^q = 0,}^{\Delta u - v + v^p = 0,} u,v > 0, x \in \Omega $$ with homogeneous Dirichlet boundary data (replaced byu, v → 0 as ¦x¦ → ∞ when Ω=R ⁿ ), where p > 1 and q > 1. In this paper, we investigate the question of existence and non-existence of solutions of (I) and prove that (I) admits a solution if and only if $$\frac{1}{{p + 1}} + \frac{1}{{q + 1}} > \frac{{n - 2}}{n}$$ . The existence on a ball and onR ⁿ are established by a variational approach and an approximation argument respectively. The Pohozaev identity is used to show non-existence onR ⁿ .     

Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

Small solutions to nonlinear Schrödinger equations in the Sobolev spaces

The local and global well-posedness for the Cauchy problem for a class of nonlinear Schrödinger equations is studied. The global well-posedness of the problem is proved in the Sobolev spaceH ^s=H^s(R ⁿ) of fractional orders>n/2 under the following assumptions. (1) Concerning the Cauchy data ?∈H ^s: ‖?;L ²‖ is relatively small with respect to ‖?;H ^σ‖ for any fixed σ withn/2<σ≤s. (2) Concerning the nonlinearityf: f(u) behaves as a conformal poweru ¹⁺⁴/n near zero and has an arbitrary growth rate at infinity.     

Exotic analytic structures and Eisenman intrinsic measures

Using Eisenman intrinsic measures we prove a cancellation theorem. This theorem allows to find new examples of exotic analytic structures onC ⁿ under which we understand smooth complex affine algebraic varietiers which are diffeomorphic toR ²ⁿ but not biholomorphic toC ⁿ . We also develop a new method of constructing these structures which enables us to produce exotic analytic structures onC ³ with a given number of hypersurfaces isomorphic toC ² and a family of these structures with a given number of moduli.     

Periodic boundary value problem of functional differential equations with perturbation

By coincidence degree, the existence of solution to the periodic boundary value problem of functional differential equations with perturbation     

Sufficient Conditions and Duality for a Class of Multiobjective Fractional Programming Problems with Higher-Order (F,α,ρ,d)-Convexity

In this paper, a class of multiobjective fractional programming problems (denoted by (MFP)) is considered. First, the concept of higher-order (F,α,ρ,d)-convexity of a function f:C→R with respect to the differentiable function φ:R ⁿ ×R ⁿ →R is introduced, where C is an open convex set in R ⁿ and α:C×C→R ₊?{0} is a positive value function. And an important property, which the ratio of higher-order (F,α,ρ,d)-convex functions is also higher-order (F,α ^′,ρ ^′,d ^′)-convex, is proved. Under the higher-order (F,α,ρ,d)-convexity assumptions, an alternative theorem is also given. Then, some sufficient conditions characterizing properly (or weakly) efficient solutions of (MFP) are obtained from the above property and alternative theorem. Finally, a class of dual problems is formulated and appropriate duality theorems are proved.     

On characterization of multivariate stable distributions via random linear statistics

LetX ₁,X ₂, ...,X _n be independent and identically distributed random vectors inR ^d , and letY=(Y ₁,Y ₂, ...,Y _n )′ be a random coefficient vector inR ⁿ , independent ofX _j ^/′ . We characterize the multivariate stable distributions by considering the independence of the random linear statistic $$U = Y_1 X_1 + Y_2 X_2 + \cdot \cdot \cdot + Y_n X_n $$ and the random coefficient vectorY.     

Square area integral estimates for subharmonic functions in NTA domains

In this paper, we prove a good-λ inequality between the nontangential maximal function and the square area integral of a subharmonic functionu in a bounded NTA domainD inR ⁿ . We achieve this by showing that a weighted Riesz measure ofu is a Carleson measure, with the Carleson norm bounded by a constant independent ofu. As consequences of the good-λ inequality, we obtain McConnell-Uchiyama's inequality and an analogue of Murai-Uchiyama's inequality for subharmonic functions inD.     

Conic volume ratio of the packing cone associate to a convex body

Given a convex body ${K\subset\mathbb{R}^n}$ (n??? 1) which contains o in its interior and ${{\bf u} \in S^{n-1}}$ , we introduce conic volume ratio r(K, u) of K in the direction of u by $$r(K, {\bf u})=\frac{vol(cone(K,{\bf u})\cap B_2^n)}{vol(B_2^n)},$$ where cone(K, u) is the packing cone of K in the direction of u. We prove that if K is an o-symmetric convex body in ${\mathbb{R}^n}$ and r(K, u) is a constant function of u, then K must be a Euclidean ball.     

On the expansion with respect to Steklov means of the second differences of functions

We shall prove that every function locally integrable in then-dimensional Euclidean spaceR ⁿ can be expanded into a series whose terms are the Steklov means of the second differences of the given function. In addition, the lengths of the edges of the cubes with respect to which averaging is taken form an infinite decreasing geometric progression. The series obtained in this way converge almost everywhere inR ⁿ . If the function expanded belongs to the Lebesgue spaceL _p on a compact set ofR ⁿ for some 1≤p<∞, then the expansion converges also in the norm of this space.