FBI transforms in Gevrey classes

In this work we develop the FBI Transform tools in Gevrey classes. Our goal is to extend to a Gevrey-s obstacle withs < 3 the localization of poles result obtained by Sjöstrand [10] in the analytic class. In that work, the author proved that the pole-free zone is controlled by a constantC _0,a (which was only implicit in Bardos-Lebeau-Rauch [1]), improving the constantC _0,∞ of the results of Hargé-Lebeau [13] and Sjöstrand-Zworski [13] valid in C^∞ The works [3], [13] and [10] feature an adapted complex scaling for convex obstacles, but in [10] there is the addition of a small complex “G³ deformation”. The study of such Gevrey deformations for operators with symbols in Gevrey classes is the central point of this work.     

TheT-ideal generated by the standard identitys 3[x 1,x 2,x 3]

LetK = T_o(s₃), {c_n} its codimensions, {l_n} its colengths and {Χ_n} its sequence of co-characters. For 9≦n, c_n =2n - 1 or c_n =n(n + l)/2- 1, 3≦l_n ≦4 and χ_n =[n] + 2[n-1,1] + α[n-2,2] + β[2²,1^n?4] where α + β≦l.     

Matrix Maps of Quasi-Convex Null Sequences

In [7] Stieglitz and Tietz identify the space q ^α of all quasi-convex convergent sequences as a BK-space. They characterize all infinite matrices which map q ^α into an arbitrary FK-space. In [6] they do so for matrices which map a particular class of sequence spaces into q ^α . In [10] Zygmund introduces q ² in connexion with convergence factors of Fourier series. Dawson considers in [3] and [4] matrix maps of the space q ₀ ^α of all quasi-convex null sequences. In Section 2 we characterize all matrices which map q ₀ ^α into an arbitrary FK-space. Prior to that, a particular matrix map on q ₀ ^α gives us the BK-topology on q ₀ ^α . As an application we characterize in Section 3 the matrices which map q ₀ ^α into the FK-spaces considered by Stieglitz and Tietz in [8]. Based on [6], we determine the matrices which map these spaces into q ₀ ^α . Using methods similar to those in [7] our results in Section 2 depend on Theorems 2.1 and 4.1 in [5] due to Jakimovski and Livne. Theorem 2.1 gives for suitable pairs of sequence spaces necessary and sufficient conditions for an infinite matrix to map one space into the second one. In Theorem 4.1 a special sequence which is useful in applications of quasi-convexity is constructed. We close our paper with two remarks concerning three results in [8].     

A maximum principle in Rn + 1

In this paper we establish maximum principles of the Cauchy problem for hyperbolic equations in $\text{R}$³ and $\text{R}$^{n + 1}(n ? 2). Our maximum principles generalize the results of Weinberger [5], and Sather [3, 4] for a class of equations such that the coefficients can be allowed to depend upon t, as well, in {x₁, x₂, t}-space and {x₁, x₂,…, x_n, t}-space. Throughout this paper, the influence of the work of Douglis [1] is apparent. See [2].     

The spectrum of Hill's equation

Letq be an infinitely differentiable function of period 1. Then the spectrum of Hill's operatorQ=?d ²/dx ²+q(x) in the class of functions of period 2 is a discrete series - ∞<λ₀<λ₁≦λ₂<λ₃≦λ₄<...<λ_2i?1≦λ_2i ↑∞. Let the numer of simple eigenvalues be 2n+1<=∞. Borg [1] proved thatn=0 if and only ifq is constant. Hochstadt [21] proved thatn=1 if and only ifq=c+2p with a constantc and a Weierstrassian elliptic functionp. Lax [29] notes thatn=m if¹ q=4k ² K ² m(m+1)sn ²(2Kx,k). The present paper studies the casen<∞, continuing investigations of Borg [1], Buslaev and Faddeev [2], Dikii [3, 4], Flaschka [10], Gardneret al. [12], Gelfand [13], Gelfand and Levitan [14], Hochstadt [21], and Lax [28–30] in various directions. The content may be summed up in the statement thatq is an abelian function; in fact, from the present standpoint, the whole subject appears as a part of the classical function theory of the hyperelliptic irrationality \(\ell (\lambda ) = \sqrt { - (\lambda - \lambda _0 )(\lambda - \lambda _1 )...(\lambda - \lambda _{2n} )} .\) The casen=∞ requires the development of the theory of abelian and theta functions for infinite genus; this will be reported upon in another place. Some of the results have been obtained independently by Novikov [34], Dubrovin and Novikov [6] and A. R. Its and V. B. Matveev [22].     

F-limit points in dynamical systems defined on the interval

Given a free ultrafilter p on ? we say that x ∈ [0, 1] is the p-limit point of a sequence (x _n ) _n∈? ? [0, 1] (in symbols, x = p -lim _n∈? x _n ) if for every neighbourhood V of x, {n ∈ ?: x _n ∈ V} ∈ p. For a function f: [0, 1] → [0, 1] the function f ^p : [0, 1] → [0, 1] is defined by f ^p (x) = p -lim _n∈? f ⁿ (x) for each x ∈ [0, 1]. This map is rarely continuous. In this note we study properties which are equivalent to the continuity of f ^p . For a filter F we also define the ω ^F -limit set of f at x. We consider a question about continuity of the multivalued map x → ω _f ^F (x). We point out some connections between the Baire class of f ^p and tame dynamical systems, and give some open problems.     

Negative entropy,zero temperature and Markov chains on the interval

We consider ergodic optimization for the shift map on the modified Bernoulli space σ: [0, 1]^? → [0, 1]^?, where [0, 1] is the unit closed interval, and the potential A: [0, 1]^? → ? considered depends on the two first coordinates of [0, 1]^?. We are interested in finding stationary Markov probabilities µ_∞ on [0, 1]^? that maximize the value ∫ Adµ, among all stationary (i.e. σ-invariant) probabilities µ on [0, 1]^?. This problem correspond in Statistical Mechanics to the zero temperature case for the interaction described by the potential A. The main purpose of this paper is to show, under the hypothesis of uniqueness of the maximizing probability, a Large Deviation Principle for a family of absolutely continuous Markov probabilities µ _β which weakly converges to µ_∞. The probabilities µ _β are obtained via an information we get from a Perron operator and they satisfy a variational principle similar to the pressure in Thermodynamic Formalism. As the potential A depends only on the first two coordinates, instead of the probability µ on [0, 1]^?, we can consider its projection ν on [0, 1]². We look at the problem in both ways. If µ_∞ is the maximizing probability on [0, 1]^?, we also have that its projection ν _∞ is maximizing for A. The hypothesis about stationarity on the maximization problem can also be seen as a transhipment problem. Under the hypothesis of A being C ² and the twist condition, that is,

$\frac{{\partial ^2 A}}{{\partial x\partial y}}(x,y) \ne 0, for all (x,y) \in [0,1]^2 ,$

we show the graph property of the maximizing probability ν on [0, 1]². Moreover, the graph is monotonous. An important result we get is: the maximizing probability is unique generically in Mañé’s sense. Finally, we exhibit a separating sub-action for A.

     

Summability factors for lower-semi-matrix transformations

In view of Kogbetliantz's identity [7] the absolute Cesáro summability of orderk (k)>?1) of an infinite seriesΣ a _n is the same as the absolute convergence ofΣ(τ _n ^k )n ^?1 whereτ _n ^k is then-th Cesáro mean of orderk of sequence {na _n }.Das [5] has shown that similar dependence is true for certain classes of Nörlund means. The object of this paper is to establish two theorems on absolute summability factors involving two lower-semimatrix transformations and thereby to generalise a result ofChow [3] on absolute Cesáro summability factors and a result ofBosanquet andDas [1] on absolute Harmonic summability factors.     

Asymptotic observers for a class of evolution equations. A nonlinear approach

We consider in a Hilbert space H the system (E_u) = x = uAx+B(x); y = 〈x. c〉_H, where the control u ε L^∞([0, + ∞[, ℝ⁺) multiplies a possibly unbounded m-dissipative linear operator A. The operator B is nonlinear dissipative, and y stands for the output of the system. We prove, in this nonlinear framework, the existence of a suitable Luenberger-like observer. For this purpose, we show that the usual notions of regularly persistent inputs proposed in [7] or [4] are the appropriate concepts that allow one to generalize the main results of [9] and [8] or [7] for bilinear systems to our nonlinear general system: For each regularly persistent input, the estimation error of the observer converges weakly to zero. If in addition A generates a compact semigroup, the estimation error converges strongly to zero. A prototype of such a system is the heat exchanger system described in [9] or [8].     

On the property of kelley in the hyperspace and Whitney continua

In this paper, we introduce the notion of property [K]¹ which implies property [K], and we show the following: Let X be a continuum and let ω be any Whitney map for C(X). Then the following are equivalent. (1) X has property [K]¹. (2) C(X) has property [K]¹. (3) The Whitney continuum ω⁻¹(t) (0⩽t<ω(X)) has property [K]¹.As a corollary, we obtain that if a continuum X has property [K]¹, then C(X) has property [K] and each Whitney continuum in C(X) has property [K]. These are partial answers to Nadler's question and Wardle's question ([10, (16.37)] and [11, p. 295]).Also, we show that if each continuum X_n (n=1,2,3,…) has property [K]¹, then the product ∏X_n has property [K]¹, hence C(∏X_n) and each Whitney continuum have property [K]¹. It is known that there exists a curve X such that X has property [K], but X×X does not have property [K] (see [11]).     

On the uniqueness of the tetrahedral association schemes

Let V be the set of (₃⁴) 3- sets in {1 … n}. Say p, q ∈ V are ith associates, (p, q) ∈ A_i, if 3 = i + |p ∩ q|. An association scheme is tetrahedral if it is isomorphic to the scheme {A₀, A₁, A₂, A₃} and a graph is tetrahedral if it is isomorphic to A₁. Aigner [1] and Bose and Laskar [2] have shown that the tetrahedral graphs are characterized by their characteristic equations, provided n < 9 or n > 16. The present paper extends methods of Hoffman [7] to show that the tetrahedral association schemes are characterized by their structural constants, provided n > 10.     

A note on the generalization of the summation formulas for Appell's and Kampé de Fériet's hypergeometric functions

In the present paper, a summation formula of a general triple hypergeometric series F⁽³⁾(x, y, z) introduced by Srivastava [10] is obtained. A particular case of this formula corresponds to a result of Shah [7] involving Kampé de Fériet's double hypergeometric function which can further be specialized to yield summation formulas of Srivastava [11] and Bhatt [2] for Appell's function F₂.     

A definable failure of the singular cardinal hypothesis

We show first that it is consistent that κ is a measurable cardinal where the GCH fails, while there is a lightface definable wellorder of H(κ ⁺). Then with further forcing we show that it is consistent that GCH fails at ? _ω , ? _ω strong limit, while there is a lightface definable wellorder of H(? _ω+1) (“definable failure” of the singular cardinal hypothesis at ? _ω ). The large cardinal hypothesis used is the existence of a κ ⁺⁺-strong cardinal, where κ is κ ⁺⁺-strong if there is an embedding j: V → M with critical point κ such that H(κ ⁺⁺) ? M. By work of M. Gitik and W. J. Mitchell [12], [20], our large cardinal assumption is almost optimal. The techniques of proof include the “tuning-fork” method of [10] and [3], a generalisation to large cardinals of the stationary-coding of [4] and a new “definable-collapse” coding based on mutual stationarity. The fine structure of the canonical inner model L[E] for a κ ⁺⁺-strong cardinal is used throughout.     

Zur Bestimmung vonE n [x n+2m ]

Remark on the estimation ofE _n [x ^n+2m ]. Let be $$E_n [f]: = \mathop {\inf }\limits_{p \in P_n } \mathop {\sup }\limits_{x \in [ - 1, 1]} |f(x) - p(x)|$$ (P _n : set of all polynomials of degreen). Riess-Johnson [4] proved (3) $$E_n [x^{n + 2m} ] = \frac{{n^{m - 1} }}{{2^{n + 2m - 1} (m - 1)!}}[1 + O(n^{ - 1} )],n even.$$ This degree of approximation is realized by expansion in Chebyshev polynomials and by interpolation at Chebyshev nodes. The purpose of this paper is to give a more precise estimation by constructing the polynomial of best approximation on a finite set. This construction is easily done and one obtains the result, that the termO(n ^?1) in (3) may be replaced by 1/2(m ? 1) (3m + 2)n ^?1 + O(n ^?2).     

Existence ofBV absolute discontinuous minima for modified multiple integrals of the calculus of variations

We continue here the discussion on the existence of discontinuousBV minima, for a class of multiple integrals of the calculus of variationsI, we have started in [2] in view of possible studies on hyperbolic partial differential equations. Besides the associated Serrin integralJ, based onL ₁-convergence, we take into consideration a modified Serrin-type functionalJ ^*. This new integralJ ^* will be needed in [3] to prove Rankine-Hugoniot type properties.     

HLDER CONTINUOUS SOLUTIONS OF BOUSSINESQ EQUATIONS

We show the existence of dissipative H¨older continuous solutions of the Boussinesq equations. More precise, for any β∈(0,1/5), a time interval [0, T ] and any given smooth energy profile e : [0, T ] →(0, ∞), there exist a weak solution(v, θ) of the 3 d Boussinesq equations such that(v, θ) ∈ Cβ(T~3× [0, T ]) with e(t) =′his T~3|v(x, t)|~2 dx for all t ∈ [0, T ]. Textend the result of [2] about Onsager's conjecture into Boussinesq equation and improve our previous result in [30].     

A symmetric Roos bound for linear codes

The van Lint-Wilson AB-method yields a short proof of the Roos bound for the minimum distance of a cyclic code. We use the AB-method to obtain a different bound for the weights of a linear code. In contrast to the Roos bound, the role of the codes A and B in our bound is symmetric. We use the bound to prove the actual minimum distance for a class of dual BCH codes of length q²−1 over Fq. We give cyclic codes [63,38,16] and [65,40,16] over F₈ that are better than the known [63,38,15] and [65,40,15] codes.     

Note on hit-and-miss topologies

This is a continuation of [19]. We characterize first and second countability of the general hit-and-miss hyperspace topologyτ ₊ ^Δ for weakly-R ₀ base spaces. Further, metrizability ofτ ₊ ^Δ is characterized with no preliminary conditions on the base space and the generating family of closed sets and a new proof on uniformizability (i.e. complete regularity) ofτ ₊ ^Δ is given in this general setting, thus generalizing results of [3], [5] and [6].