Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

Comparison of Normal Linear Experiments by Quadratic Forms

Let X and Y be observation vectors in normal linear experiments =N(A, V) and F = N(B, W). We write > Fif for any quadratic form YGY there exists a quadratic formXHX such that E(XHX) = E(Y'GY) and var(X'HX) var(Y'GY).The relation > is characterized by the matrices A, B, V and W. Moreoversome connections with known orderings of linear experiments are given.     

Speed of convergence as a function of given accuracy for random search methods

The essence of this article lies in a demonstration of the fact that for some random search methods (r.s.m.) of global optimization, the number of the objective function evaluations required to reach a given accuracy may have very slow (logarithmic) growth to infinity as the accuracy tends to zero. Several inequalities of this kind are derived for some typical Markovian monotone r.s.m. in metric spaces including thed-dimensional Euclidean space ^d and its compact subsets. In the compact case, one of the main results may be briefly outlined as a constructive theorem of existence: if is a first moment of approaching a good subset of-neighbourhood ofx ₀=arg maxf by some random search sequence (r.s.s.), then we may choose parameters of this r.s.s. in such a way that E c(f) In² . Certainly, some restrictions on metric space and functionf are required.     

On the sums of a family of Kapteyn series

The series ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) arise in studying the emission and absorption of radiation by a charged particle on a Kepler orbit. For the first few even,r, the sums are obtained in closed form, and for oddr they are given in terms of a certain definite integral. The integral is expressed as a power series in for ||<1, and, near =1, an asymptotic expansion in powers of (1–²)^1/2 may be obtained.

---

Résumé La série ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) se trouve par l'émission et l'absorption du rayonnement d'une particule chargée sur l'orbite Keplerien. Pour les plus petites valuers paires der, les sommes s'obtienment en forme compacte, et pour les valuers impaires, elles se déterminent d'après une intégrale definie. Pour ||<1, cette intégrale se développe dans une série de puissances de , et dans le voisinage de =1, on obtient une série asymptotique et puissances de (1–²)^1/2.

     

A general minimax theorem

This paper is concerned with minimax theorems for two-person zero-sum games (X, Y, f) with payofff and as main result the minimax equality inf supf (x, y)=sup inff (x, y) is obtained under a new condition onf. This condition is based on the concept of averaging functions, i.e. real-valued functions defined on some subset of the plane with min {x, y}< (x, y)x, y} forx y and (x, x)=x. After establishing some simple facts on averaging functions, we prove a minimax theorem for payoffsf with the following property: Forf there exist averaging functions and such that for any x₁, x₂ X, > 0 there exists x₀ X withf (x₀, y) > f (x₁,y),f (x₂,y))– for ally Y, and for any y₁, y₂ Y, > 0 there exists y₀ Y withf (x, y₀) (f (x, y₁),f (x, y₂))+. This result contains as a special case the Fan-König result for concave-convex-like payoffs in a general version, when we take linear averaging with (x, y)=x+(1–)y, (x, y)=x+(1–)y, 0 <, < 1.Then a class of hide-and-seek games is introduced, and we derive conditions for applying the minimax result of this paper.

---

Zusammenfassung In dieser Arbeit werden Minimaxsätze für Zwei-Personen-Nullsummenspiele (X, Y,f) mit Auszahlungsfunktionf behandelt, und als Hauptresultat wird die Gültigkeit der Minimaxgleichung inf supf (x, y)=sup inff (x, y) unter einer neuen Bedingung an f nachgewiesen. Diese Bedingung basiert auf dem Konzept mittelnder Funktionen, d.h. reellwertiger Funktionen, welche auf einer Teilmenge der Ebene definiert sind und dort der Eigenschaft min {x, y} < < (x, y)x, y} fürx y, (x, x)=x, genügen. Nach der Herleitung einiger einfacher Aussagen über mittelnde Funktionen beweisen wir einen Minimaxsatz für Auszahlungsfunktionenf mit folgender Eigenschaft: Zuf existieren mittelnde Funktionen und, so daß zu beliebigen x₁, x₂ X, > 0 mindestens ein x₀ X existiert mitf (x₀,y) (f (x ₁,y),f (x₂,y)) – für alley Y und zu beliebigen y₁, y₂ Y, > 0 mindestens ein y₀ Y existiert mitf (x, y₀) (f (x, y₁),f (x, y ₂))+ für allex X. Dieses Resultat enthält als Spezialfall den Fan-König'schen Minimaxsatz für konkav-konvev-ähnliche Auszahlungsfunktionen in einer allgemeinen Version, wenn wir lineare Mittelung mit (x, y)=x+(1–)y, (x, y)= x+(1–)y, 0 <, < 1, betrachten.Es wird eine Klasse von Suchspielen eingeführt, welche mit dem vorstehenden Resultat behandelt werden können.

     

Black holes on the plane drawn by a Wiener process

Summary We say that the discD()R ², of radius , located around the origin isp-covered in timeT by a Wiener processW(·) if for anyzD() there exists a 0tT such thatW(t) is a point of the disc of radiusp, located aroundz. The supremum of those 's (0) is studied for which,D() isp-covered inT.     

Sample path large deviations for super-Brownian motion

Summary We derive two large deviation principles of Freidlin-Wentzell type for rescaled super-Brownian motion. For one of the appearing rate functions an integral representation is given and interpreted as Kakutani-Hellinger energy. As a tool we develop estimates for the Laplace functionals of (historical) super-Brownian motion and certain maximal inequalities. Also it is shown that the Hölder norm of index <1/2 of the processtf, X _t possesses some finite exponential moments provided the functionf is smooth.This work was supported in part by the Graduiertenkolleg Algebraische, analytische und geometrische Methoden und ihre Wechselwirkung in der modernen Mathematik, Bonn     

The regularity problem for generalized harmonic maps into homogeneous spaces

Let be a Riemannian surface and be a standard sphere, or more generally a Riemannian manifold on which a Lie group,, acts transitively by isometries. We define generalized harmonic maps by extending the notion of weakly harmonic maps in a natural way (motivated by Noether's Theorem), to mapsu W _loc ^1,1 (, ). We prove that, under some slight technical restrictions, for 1 <-p < 2, there are generalized harmonic mapsu W ^1,p(, ) that are everywhere discontinuous (in particular, this solves an open problem proposed by F. Bethuel, H. Brezis and F. Hélein, in [BBH]). We also show that the natural -regularity condition for such maps is to require <u to belong to the Lorentz space L(2, ). To prove this -regularity result we extend a compensated compactness result of R. Coifman, P.-L. Lions, Y. Meyer and S. Semmes, proved in [CLMS], to the case of Lorentz spaces in duality.     

On equivalence of rearrangements of the Haar system in dyadic Hardy and BMO spaces

H={h ₁,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h _(I),I} . , , . L ^p .

---

---

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

---

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.     

On the distribution of comparisons in sorting algorithms

We considered the following natural conjecture: For every sorting algorithm every key will be involved in(logn) comparisons for some input. We show that this is true for most of the keys and prove matching upper and lower bounds. Every sorting algorithm for some input will involven–n /2+1 keys in at leastlog₂ n comparisons,>0. Further, there exists a sorting algorithm that will for every input involve at mostn–n ^/c keys in greater thanlog₂ n comparisons, wherec is a constant and>0. The conjecture is shown to hold for natural algorithms from the literature.     

An efficient algorithm for solving semi-infinite inequality problems with box constraints

Many design objectives may be formulated as semi-infinite constraints. Examples in control design, for example, include hard constraints on time and frequency responses and robustness constraints. A useful algorithm for solving such inequalities is the outer approximations algorithm. One version of an outer approximations algorithm for solving an infinite set of inequalities(x, y) 0 for allyY proceeds by solving, at iterationi of the master algorithm, a finite set of inequalities ((x, y) 0 for allyY _i) to yieldx _i and then updatingY _i toY _i+1=Y _i {y_i } wherey _i arg max {(x _i,y)¦y Y}. Since global optimization is computationally extremely expensive, it is desirable to reduce the number of such optimizations. We present, in this paper, a modified version of the outer approximations algorithm which achieves this objective.The research reported herein was sponsored by the National Science Foundation Grants ECS-9024944, ECS-8816168, the Air Force Office of Scientific Research Contract AFOSR-90-0068, and the NSERC of Canada under Grant OGPO-138352.     

On the existence of wave operators for the Klein-Gordon equation

The problem of existence of wave operators for the Klein-Gordon equation ( _t ² –+²+iV_1t+V₂)u(x,t)=0 (x R ⁿ,t R, n3, >0) is studied where V₁ and V₂ are symmetric operators in L₂(R ⁿ) and it is shown that conditions similar to those of Veseli-Weidmann (Journal Functional Analysis 17, 61–77 (1974)) for a different class of operators are also sufficient for the Klein-Gordon equation.     

An isolation theorem for decomposable forms of purely real algebraic fields of degree n⩾3

Let M be a complete module of a purely algebraic field of degree n3, let be the lattice of this module and let F(X) be its form. By we denote any lattice for which we have = , where is a nondiagonal matrix satisfying the condition ¦-I¦ , I being the identity matrix. The complete collection of such lattices will be denoted by {}. To each lattice we associate in a natural manner the decomposable form F(X). The complete collection of forms, corresponding to the set {}, will be denoted by {F} It is shown that for any given arbitrarily small interval (N–, N+), one can select an such that for each F(X) from {F} there exists an integral vector X₀ such that N– < F(X₀) < N+.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 167–171, 1981.     

On generalized gamma functions related to the Laurent coefficients of the Riemann zeta function

Summary We study a class of generalized gamma functions _k (z) which relate to the generalized Euler constants _k (basically the Laurent coefficients of(s)) as (z) does to the Euler constant. A new series expansion for _k is derived, and the constant term in the asymptotic expansion for log _k (z) is studied in detail. These and related constants are numerically computed for 1 k 15.     

Sufficiency-Type Stability and Stabilization Criteria for Linear Time-Invariant Systems with Constant Point Delays

A set of criteria of asymptotic stability for linear and time-invariant systems with constant point delays are derived. The criteria are concerned with -stability local in the delays and -stability independent of the delays, namely, stability with all the characteristic roots in Res–<0 for all delays in some defined real intervals including zero and stability with characteristic roots in Res<–<0 as 0⁺ for all possible values of the delays, respectively. The results are classified in several groups according to the technique dealt with. The used techniques include both Lyapunov's matrix inequalities and equalities and Gerschgorin's circle theorem. The Lyapunov's inequalities are guaranteed if a set of matrices, built from the matrices of undelayed and delayed dynamics, are stability matrices. Some extensions to robust stability of the above results are also discussed.     

Random rotations of the Wiener path

Summary Let (W, H, ) be an abstract Wiener space and letR(w) be a strongly measurable random variable with values in the set of isometries onH. Suppose that Rh is smooth in the Sobolev sense and that it is a quasi-nilpotent operator onH for everyhH. It is shown that (R(w)h) is again a Gaussian (0, |h| _H ² )-random variable. Consequently, if (e _i ,i)W ^* is a complete, orthonormal basis ofH, then defines a measure preserving transformation, a rotation, onW. It is also shown that if for some strongly measurable, operator valued (onH) random variableR, (R(w+k)h) is (0, |h| _H ² )-Gaussian for allk, hH, thenR is an isometry and Rh is quasi-nilpotent for allHH. The relation between the stochastic calculi for these Wiener pathsw and , as well as the conditions of the inverbibility of the map are discussed and the problem of the absolute continuity of the image of the Wiener measure under Euclidean motion on the Wiener space (i.e. composed with a shift) is studied.The research of the second author was supported by the Fund for the Promotion of Research at the TechnionDedicated to the memory of Albert Badrikian     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

Two congruence lattices of completely simple semigroups

For a Rees matrix semigroupS with normalized sandwich matrix and C(S), the congruence lattice ofS, we consider the lattice generated by {itpT_l, pK, pT_r, pt_l, pk, pt_r}. HerepT ₁ andpt _l are the upper and lower ends of the interval which makes up the _i -class of , _i being the left trace relation onC(S). The remaining symbols have the analogous meaning relative to the kernel and the right trace relations. We also consider the lattice generated by {T _l, K, T_r, t_l, _k, t_r} where and are the equality and the universal relations onS, respectively. In both cases, we find lattices freest relative to these lattices and represent them as distributive lattices with generators and relations.With 3 Figures     

Bari bases of subspaces

We shall establish certain characteristic properties of Bari^* bases of subspaces. We shall show that a complete sequence of finite-dimensional subspaces {N _j}₁ is a Bari basis if and only if each sequence {_j{₁ (_j€N _j, _j=1) is a Bari basis of its own closed linear hull.Translated from Matematicheskie Zametki, Vol. 5, No. 4, pp. 461–469, April, 1969.     

Estimates of the asphericity of sections of convex bodies

We define the function (n, k) to be the infimum of all such that any bounded centrally symmetric convex body inR ⁿ possesses an -asphericalk-dimensional central section. It is proved that (3, 2)=2–1 and (n, n-1)n-1-1. Several related functions are defined and their values on the pairs (n, n-1) are estimated.Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 76–79.