A spectral mapping theorem for scalar-type spectral operators in locally convex spaces

LetT be a continuous scalar-type spectral operator defined on a quasi-complete locally convex spaceX, that is,T=fdP whereP is an equicontinuous spectral measure inX andf is aP-integrable function. It is shown that (T) is precisely the closedP-essential range of the functionf or equivalently, that (T) is equal to the support of the (unique) equicontinuous spectral measureQ ^* defined on the Borel sets of the extended complex plane ^* such thatQ ^*({})=0 andT=zdQ _*(z). This result is then used to prove a spectral mapping theorem; namely, thatg((T))=(g(T)) for anyQ ^*-integrable functiong: ^{* *} which is continuous on (T). This is an improvement on previous results of this type since it covers the case wheng((T))/{} is an unbounded set in a phenomenon which occurs often for continuous operatorsT defined in non-normable spacesX.     

Pseudoanalyticity of continuous functions with the σ-preservation of angles

The following theorem is proved: Every continuous function satisfying the conditionK is pseudo-analytic. The conditionK is a generalization of the Men'shov condition, well known in the theory of analytic functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 8, pp. 1051–1057, August, 1993.     

Characterizations of absolute F σδ-sets

We give several internal characterizations for the metrizable absolute F -spaces. The characterizing conditions involve the existence of compatible bicomplete quasi-metrics, of complete sequences of -discrete closed covers and of compact -discrete closed networks.     

The convolution equation of Choquet and Deny on [IN]-groups

Let be a probability measure on a locally compact groupG. A real Borel functionf onG is called -harmonic if it satisfies the convolution equation *f=f. Given that isnonsingular with its translates, we show that the bounded -harmonic functions are constant on a class of groups including the almost connected [IN]-groups. If is nondegenerate and absolutely continuous, we solve the more general equation *= for positive measure on those groups which are metrizable and separable.Supported by Hong Kong RGC Earmarked Grant and CUHK Direct Grant     

An infinite dimensional analogue of the Albeverio-Röckner's theorem on Fukushima's conjecture

LetX be the solution of the SDE:dX _t = (X _t)dB _t +b(X _t)dt, with andb C _b (R) such that >0 for some constant , andB a real Brownian motion. Let be the law ofX onE=C([0, 1],R) andk E* – {0}, whereE* is the topological dual space ofE. Consider the classical form: _k (u, v)=u / kv / kd, whereu andv are smooth functions onE. We prove that, if _k is closable for anyk in a dense subset ofE* and if the smooth functions are contained in the domain of the generator of the closure of _k , must be a constant function.     

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     

On the Uniform Summability of Multiple Walsh-Fourier Series

In this paper we prove that if f C (0, 1 ^N ) and the function f is of bounded partial variation, then the N-dimensional Walsh-Fourier series of the function f is uniformly (C,–) summable (₁ +...+ _N < 1, _i > 0, i = 1,...,N) in the sense of Pringsheim. If ₁ +...+ _N = 1, _i > 0, i = 1,2,...,N, then there exists a continuous function f ₀ of bounded partial variation on [0, 1] ^N such that the Cesàro (C,–) means _m ^– (f₀,Õ) of the N-dimensional Walsh-Fourier series of f ₀ diverge over cubes.     

Pinning effect in peierls impurity systems with deviation from half-filling of the energy band

A study is made of the effect of deviation from half-filling of the energy band (0) on the Fröhlich collective mode in onedimensional impurity systems. A low impurity concentration is considered, and the infinite series of impurity scattering is taken into account self-consistently in the determination of the collective mode Green's function. The conductivity () is found in terms of this Green's function, and an analytic expression is obtained for () at _T ( _T is the pinning frequency). It is shown that for the ratio Re(()/_max) a universal formula arises. It differs from the results of Kurihara in the expression for _T , which contains an essential dependence on in the incommensurate state of the charge density wave. It is also shown that the width of the peak in the dependence () and its position increase with increasing .Institute of Applied Physics, Moldovan Academy of Sciences. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 101, No. 1, pp. 110–122, October, 1994.     

On the cauchy problem for some non-Kowalewskian equations inD {σ} L2 (*)

A pseudo-differential operator is considered, which generalizes some peculiar non-Kowalewskian operators of 2-evolution type. A result is proved about the well-posedness of the Cauchy problem inD _{} ^L2 , where 1 is Gevrey index.     

Self-intersections of 1-dimensional random walks

Summary Consider a random walk S _n on the integers, where the steps _i have mean 0 and variance ². Let T be the time of first self-intersection of the random walk. It is shown that, as , T grows at rate ^2/3. More precisely, T^2/3 has a non-degenerate limit distribution which can be described in terms of Brownian motion local time.Research supported by National Science Foundation Grant MCS80-02698.     

Estimating the Diffusion Coefficient for Diffusions Driven by fBm

When the Hurst coefficient of a fBm B _t ^H is greater than 1/2, it is possible to define a stochastic integral with respect to B _t ^H as the pathwise limit of Riemann sums. In this article we consider diffusion equations of the type X_t = x₀ + ₀ ^T (X_s) dB_s ^H. We then construct a simple-to-use estimator of the diffusion coefficient (x), based on the number of crossings of level x of the process X _t. We then study consistency in probability of this estimator and calculate convergence rates in probability.     

Subgroups of the general symplectic group containing the group of diagonal matrices

There are described the subgroups of the general symplectic group =GSp(2n, R) over a commutative semilocal ring R, containing the group of symplectic diagonal matrices. For each such subgroup P there is uniquely defined a symplectic D-net a such that ()pN(), where () is the net subgroup in corresponding to (cf. RZhMat, 1977, 5A288), and N() is its normalizer. The quotient group N × ()/() is calculated. There are also considered subgroups in Sp(2n, R). Analogous results for subgroups of the general linear group were obtained earlier in RZhMat, 1978, 9A237.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 103, pp. 31–47, 1980.     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

Noetherian Equations for Matrices

Let L|K be a finite Galois extension. Using central simple algebras we deal with the crossed representations of G = Gal(L|K) over L which are defined as mappings X of G into GL_n(L) satisfying X = X X. The last equation is the Noetherian equation in case n=1. Furtheron, more general crossed projective representations are considered which obey an equation X X = Xf_, where f_, L.     

A characterization of plane Lorentz transformations

Denote (x_i,y_i=ct_i), i=1,2, by X_i and (x₂–x₁)²–(y₂–y₁)² by F(X₁,X₂). Then our result is the following: Given a fixed real number 0 and given a bijection of M=IR² such that F(X₁,X₂) = iff F(X _in1 ^su , _in2 ^su ) =p for all X₁, X₂ M. Then must be a Lorentz transformation (time reversal and inhomogeneity included).     

Subgroups of the full linear group over a Dedekind ring

We study the subgroups of the full linear group GL(n, R) over a Dedekind ring R that contain the group of quasidiagonal matrices of fixed type with diagonal blocks of at least third order, each of which is generated by elementary matrices. For any such subgroup H there exists a unique D-net of ideals of R such that, where E() is the subgroup generated by all transvections of the net subgroup G(). and is the normalizer of G(). The subgroup E() is normal in. To study the factor group we introduce an intermediate subgroup F(), E() F() G(). The group is finite and is connected with permutations in the symmetric group. The factor group G()/F() is Abelian — these are the values of a certain determinant. In the calculation of F()/E() appears the SK₁-functor. Results are stated without proof.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 13–20, 1979.     

Fibers in Ore Extensions

Let R be a finitely generated commutative algebra over an algebraically closed field k and let A=R[t;,] be the Ore extension with respect to an automorphism and a -derivation . We view A as the coordinate ring of an affine noncommutative space X. The inclusion RA gives an affine map : XSpecR, and X is a noncommutative analogue of A ¹×SpecR. We define the fiber X _p of over a closed point pSpecR as a certain full subcategory ModX _p of ModA. The category ModX _p has the following structure. If p has infinite -orbit, then ModX _p is equivalent to the category of graded modules over the polynomial ring k[x] with degx=1. If p is not fixed by , but has finite -orbit, say of size n, then ModX _p is equivalent to the representations of the quiver à _n–1 with the arrows all going in the same direction. If p is fixed by , then ModX _p is equivalent to either Modk or Modk[x]. It is also shown that X is the disjoint union of the fibers X _p in a certain sense.     

The core of a chain complete poset with no one-way infinite fence and no tower

Like dismantling for finite posets, a perfect sequence = P : of a chain complete posetP represents a canonical procedure to produce a coreP . It has been proved that if the posetP contains no infinite antichain then this coreP is a retract ofP andP has the fixed point property iffP has this property. In this paper the condition of having no infinite antichain is replaced by a weaker one. We show that the same conclusion holds under the assumption thatP does not contain a one-way infinite fence or a tower.Supported by a grant from The National Natural Science Foundation of China.     

Double Complexes and Cohomological Hierarchy in a Space of Weakly Invariant Lagrangians of Mechanics

For a given configuration space M and a Lie algebra G acting on M, the space V _0.0 of weakly G-invariant Lagrangians, i.e., Lagrangians whose motion equations left-hand sides are G-invariant, is studied. The problem is reformulated in terms of the double complex of Lie algebra cochains with values in the complex of Lagrangians. Calculating the cohomology of this complex by the method of spectral sequences, we arrive at the hierarchy in the space V _0.0: The double filtration {V _s.}, s = 0, 1, 2, 3, 4, = 0, 1, and the homomorphisms on every space {V _s.} are constructed. These homomorphisms take values in the cohomologies of the algebra G and the configuration space M. Every space {V _s.} is the kernel of the corresponding homomorphism, while the space itself is defined by its physical properties.     

Subgroups of a finite group whose algebra of invariants is a complete intersection

Let G be a finite subgroup of GL(V), where V is a finite-dimensional vector space over the field K and char KG. We show that if the algebra of invariants K(V)^G of the symmetric algebra of V is a complete intersection then K(V)^H is also a complete intersection for all subgroups H of G such that H={ Gv (v)=v for all v V^H}.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 63–67, 1982.