On solvability of linear difference equations in smooth and real analytic vector functions of several variables

We investigate the multidimensional equations _j=1 ^q A_j(x)y(x+e _j )=f(x),e _j ⁿ wherex ⁿ andA _j : ⁿ Hom( ^p , ^m ),f : ^{n m} are given maps. Sufficient conditions for smooth and analytic solvability for anyf C ^k ,k are found.Research partially supported by the Israel Ministry of ScienceAMS classification 39B Functional equations     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

Asymptotic stability at infinity of planar vector fields

Let >0 andX be aC ¹ vector field on the plane such that: (i) for allq², Det(DX(q))>0; and (ii) for allp², with p, Trace(D(X(p))<0. IfX has a singularity and ² Trace(DX)dxdy is less than 0 (resp. greater or equal than 0), then the point at infinity of the Riemann sphere ²{} is a repellor (resp. an attractor) ofX.     

Asymptotic behaviour of Gaussian random fields

Summary Let X={X(t), t ^N} be a centred Gaussian random field with covariance X(t)X(s)=r(t–s) continuous on ^N×^N and r(0)=1. Let (t,s)=((X(t)–X(s)) ²)^1/2; (t,s) is a pseudometric on ^N. Assume X is -separable. Let D ₁ be the unit cube in ^N and for 0<k, D _k= {x^N: k ^–1 xD₁}, Z(k)=sup{X(t),tD _k}. If X is sample continuous and ¦r(t)¦ =o(1/log¦t¦) as ¦t¦8 then Z(k)-(2Nlogk) ^1/20 as k a.s.     

Symplectic algebra and Gaussian optics

We show that the passage from Gaussian (i.e. axially symmetrical) optics to general linear optics is not a true generalization, except for few degenerate cases with isolated pairs of conjugate planes. In other words: For the effects of geometrical first order optics one can replace the symplectic groupS p(4, ) by the simpler groupS L(2, ) without loss of generality. This is achieved by classifying all cases arising from the use ofS p(4, ) in optics.     

A Note on Q-order of Convergence

To complement the property of Q-order of convergence we introduce the notions of Q-superorder and Q-suborder of convergence. A new definition of exact Q-order of convergence given in this note generalizes one given by Potra. The definitions of exact Q-superorder and exact Q-suborder of convergence are also introduced. These concepts allow the characterization of any sequence converging with Q-order (at least) 1 by showing the existence of a unique real number q [1,+] such that either exact Q-order, exact Q-superorder, or exact Q-suborder q of convergence holds.This revised version was published online in October 2005 with corrections to the Cover Date.     

On local oscillatory integrals with variable Calderón-Zygmund kernels

Letp(1, ). In this paper, the authors investigate the uniformL ^p ( ⁿ ) in of the oscillatory singular integral operatorT defined by

Constraint decomposition algorithms in global optimization

Many global optimization problems can be formulated in the form min{c(x, y): x X, y Y, (x, y) Z, y G} where X, Y are polytopes in ^p , ⁿ , respectively, Z is a closed convex set in ^p+n, while G is the complement of an open convex set in ⁿ . The function c: ^p+n is assumed to be linear. Using the fact that the nonconvex constraints depend only upon they-variables, we modify and combine basic global optimization techniques such that some new decomposition methods result which involve global optimization procedures only in ⁿ . Computational experiments show that the resulting algorithms work well for problems with smalln.     

Wavelets as unconditional bases inL p (ℝ)

We present weak sufficient conditions for decay of a wavelet so that the wavelet basis is an unconditional basis in L_p(), 1 <p < . We also prove that some unimodular wavelets yield unconditional bases in L_p().     

Lototsky-Schnabl operators on compact convex sets and their associated limit semigroups

Given a metrizable compact convex setX of a locally convex Hausdorff space, a positive projectionT:C(X, )C(X, ) and a continuous function :X[0, 1], it is shown that under suitable assumptions there exists a positive contraction semigroup onC(X, ) that can be represented in terms of the Lototsky-Schnabl operators associated withT and . Several properties of this semigroup are investigated. In particular, its infinitesimal generator is determined in a core of its domain. WhenX ^p for somep1, then the generator is shown to be a degenerate elliptic second order differential operator.Dedicated to Professor George Maltese on the occasion of his 60^th birthday     

Wiener-Ditkin sets for certain beurling algebras

It is proved that closed subgroups of ⁿ are Wiener-Ditkin sets for the Beurling algebrasL ¹ ( ⁿ ), <1.     

Constructive Axiomatic Approach to the Determination of the Orbit Spaces of Coregular Compact Linear Groups

We review the proposal of a constructive axiomatic approach to the determination of the orbit spaces of all the real compact linear groups, obtained through the computation of a metric matrix , which is defined only in terms of the scalar products between the gradients p₁(x),...,p_q(x) of the elements of a minimal integrity basis (MIB) for the ring [ⁿ]^G of G-invariant polynomials. The domain of semi-positivity of is known to realize the orbit space ⁿ/G of G as a semi-algebraic variety in the space ^q spanned by the variables p₁,...,p_q. The matrices can be obtained from the solutions of a universal differential equation (master equation), which satisfy convenient initial conditions. The master equation and the initial conditions involve as free parameters only the degrees d_a of the p_a(x)s. This approach tries to bypass the actual impossibility of explicitly determining a set of basic polynomial invariants for each group. Our results may be relevant in physical contexts where the study of covariant or invariant functions is important, like in the determination of patterns of spontaneous symmetry breaking in quantum field theory, in the analysis of phase spaces and structural phase transitions (Landaus theory), in covariant bifurcation theory, in crystal field theory and so on. Mathematics Subject Classifications (2000) 14L24, 13A50, 14L30.This paper is partially supported by INFN and MURST 40% and 60%.     

On the minimum modulus of a multiple Dirichlet series with monotone coefficients

We establish conditions under which the relation M(x, F) (x, F) m(x, F) holds except for a small set, as ¦x¦ + for an entire function F(z) of several complex variables z (p2) represented by a Dirichlet series, where M(x, F) = sup{¦F(x+iy¦: y ^p}, m(x, F) = inf{¦F(x+iy)¦: y ^p} (x, F) being the maximal term of the Dirichlet series, and x ^p.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 4, 1997, pp. 21–25.     

Conditions for separately subharmonic functions to be subharmonic

Letu be a function on ^m × ⁿ , wherem2 andn2, such thatu(x, .) is subharmonic on ⁿ for each fixedx in ^m andu(.,y) is subharmonic on ^m for each fixedy in ⁿ . We give a local integrability condition which ensures the subharmonicity ofu on ^m × ⁿ , and we show that this condition is close to being sharp. In particular, the local integrability of (log⁺ u ⁺) ^m+n–2+ is enough to secure the subharmonicity ofu if >0, but not if <0.     

Parametrization via secant length and application to path following

Summary A possible way for parametrizing the solution path of the nonlinear systemH(u)=0, H: ^{n+1 n} consists of using the secant length as parameter. This idea leads to a quadratic constraint by which the parameter is introduced. A Newton-like method for computing the solution for a given parameter is proposed where the nonlinear system is linearized at each iterate, but the quadratic parametrizing equation is exactly satisfied. The localQ-quadratic convergence of the method is proved and some hints for implementing the algorithm are givenDedicated to Professor Lothar Collatz on the occasion of his 75th birthday     

Principles of Large Deviations for the Empirical Processes of the Ornstein–Uhlenbeck Process

The present paper deals with principles of large deviations for the empirical processes of the Ornstein–Uhlenbeck process. One such principle due to Donsker and Varadhan is well known. It uses as underlying space C(, ^d ) endowed with the topology of uniform convergence on compact sets. The principles of large deviations proved in the present paper use as underlying spaces appropriate subspaces of C(, ^d ) endowed with weighted supremum norms. These principles are natural generalizations of the principle of Donsker and Varadhan.     

Perturbation of the Laplacian by the Coulomb potential and a point interaction in L p (ℝ)3

Perturbations of -+/|x| (with >0) by a point interaction centered at zero are defined in L ^p(³). This is done for 3/20 (³{0}), such that the extension is the negative generator of an analytic semigroup on L ^p(³).     

On Non-Negative Elliptic-Type Differential Inequalities in ℝ n , Vanishing Almost Everywhere on Some Open Subset in ℝ n

It is proved in this article that any generalized solution of a sufficiently general class of elliptic-type differential inequalities in  ⁿ that is non-negative almost everywhere in  ⁿ and vanishes almost everywhere on an open set ⁿ is trivial in  ⁿ .     

On the optimality of a characterization theorem for the gamma function using the multiplication formula

Summary The following Artin type characterization of : _{+ +} is proved: Assume thatf: _{+ +} satisfies the Gauss multiplication formula for some fixedp 2,f is absolutely continuous on [l/p, 1 + ] for some > 0 and lim _{x 0} xf(x) = 1. Thenf(x) = (x) forx > 0.The optimality of this result is checked by means of counterexamples. For instance, it is shown that the result is no longer true, if f is absolutely continuous is replaced by f is continuous and of finite variation.     

The central limit theorem for Chébli-Trimèche hypergroups

Let (S _nn>-1) be a random walk on a hypergroup ( ₊ , *), i.e., a Markov chain with transition kernelN(x, A) = _x * (A), where is a fixed probability measure on ₊ such that the second moment exists. Then depending on the growth of the hypergroup two situations can occur: when ( ₊ , *) is of exponential growth then it is shown thatS _n is asymptotically normal. In the case of polynomial growth {more precisely, if the densityA of the Haar measure of ( ₊ , *) satisfies lim[A()/A()]=}, the normalized variablesS _n/[n Var()/(+1)]^1/2 converge to a Rayleigh distribution with parameter .