Equicompact sets of operators defined on Banach spaces

Let and be Banach spaces. We say that a set denotes the space of all compact operators from into ) is equicompact if there exists a null sequence in such that for all and all . It is easy to show that collectively compactness and equicompactness are dual concepts in the following sense: is equicompact iff is collectively compact. We study some properties of equicompact sets and, among other results, we prove: 1) a set is equicompact iff each bounded sequence in has a subsequence such that is a converging sequence uniformly for ; 2) if does not have finite cotype and is a maximal equicompact set, then, given and a finite set in , there is an operator such that for and all .

     

The complexity of recursion theoretic games

We show that some natural games introduced by Lachlan in 1970 as a model of recursion theoretic constructions are undecidable, contrary to what was previously conjectured. Several consequences are pointed out; for instance, the set of all -sentences that are uniformly valid in the lattice of recursively enumerable sets is undecidable. Furthermore we show that these games are equivalent to natural subclasses of effectively presented Borel games.

     

Krull–Gabriel Dimension of 1-domestic String Algebras

We classify the indecomposable pure injective modules over a wide class of -domestic string algebras and calculate the Krull–Gabriel dimension of these algebras.This paper was written during the visit of the second author to the University of Manchester supported by EPSRC grant GR/R44942/01.     

Frobenius problem for semigroups \mathsf{S}(d_{1},d_{2},d_{3})

We find the matrix representation of the set Δ(d ³), where d ³=(d ₁,d ₂,d ₃), of integers that are unrepresentable by d ₁,d ₂,d ₃ and develop a diagrammatic procedure for calculating the generating function Φ(d ³;z) for the set Δ(d ³). We find the Frobenius number F(d ³), the genus G(d ³), and the Hilbert series H(d ³;z) of a graded subring for nonsymmetric and symmetric semigroups and enhance the lower bounds of F(d ³) for symmetric and nonsymmetric semigroups.      

Exponential Attractor for a Nonlinear Boussinesq Equation

This paper is devoted to prove the existence of an exponential attractor for the semiflow generated by a nonlinear Boussinesq equation. We formulate the Boussinesq equation as an abstract equation in the Hilbert space H0^2（0, 1） × L^2（0, 1）. The main step in this research is to show that there exists an absorbing set for the solution semiflow in the Hilbert space H0^3（0, 1） × H0^1（0, 1）.     

ON THE HITTING PROBABILITY AND POLARITY FOR A CLASS OF SELF-SIMILAR MARKOV PROCESSES

1IntroductionSelf-similarMarkoyprocesseson(0,co)wereintroducedbyLamperti[ZI.AnormalMarkovprocessX=(fi,F,R,Xt,ot,p")withstatespace(0,co)iscalledself-similarMarkovprocessoforderorjor>0,ifitstransitionfunctionPt(x,A)satisfiesPt(x,A)=Pa,(a"x,a"A)Vt>9,a>0,x>0,AEB(0,co).Itwasshownin[2]and[11]thateveryself-similarMarkovprocesson(0,co)automaticllyisstronglyMarkovianandhasanicepath",soitisaHuntprocessinthesenseof[1].Thefractalpropertiesoftheprocesseswerestudiedin[6]and[8].TheitoExcursiontheor…     

Characterization of the variation of the material properties in a freestanding inhomogeneous thin film

This Letter presents a new technique for measuring the variation of the material properties along the thickness in a freestanding inhomogeneous thin film. The analytical results reveal a simple relation between the material properties and the set of cut-off frequencies of Lamb waves. The influence of the graded properties on the variation of cut-off frequencies in three different kinds of models, including artificial FGM model, sub-surface damage model, and nano-porous thin film model, is discussed. These results provide theoretical guidance for characterizing the material property variations of MEMS/NEMS.     

A robust numerical model for premixed flames with high density ratios based on new pressure correction and IMEX schemes

In this study we present a model for the interaction of premixed flames with obstacles in a channel flow. Although the flow equations are solved with Direct Numerical Simulation using a low Mach number approximation, the resolution used in the computation is limited (∼1 mm) hence the inner structure of the flame and the chemical scales are not solved. The species equations are substituted with a source term in the energy equation that simulates a one-step global reaction. A level set method is applied to track the position of the flame and its zero level is used to activate the source term in the energy equation only at the flame front. An immersed boundary method reproduces the geometry of the obstacles. The main contribution of the paper is represented by the proposed numerical approach: an IMEX (implicit–explicit) Runge–Kutta scheme is used for the time integration of the energy equation and a new pressure correction algorithm is introduced for the time integration of the momentum equations. The approach presented here allows to calculate flames which produce high density ratios between burnt and unburnt regions. The model is verified by simulating first simple solutions for one- and two-dimensional flames. At last, the experiments performed by Masri and Ibrahim with square and rectangular bodies are calculated.     

Level set method for the inverse elliptic problem in nonlinear electromagnetism

An inverse problem of inhomogeneity identification inside a nonlinear magnetic material from the local measurements of the magnetic induction is investigated. The representation of the shape of the inhomogeneity and its evolution during an iterative reconstruction process is achieved by the level set method. The reconstruction is realized by the minimization of a cost function using the steepest descent method. The gradient directions are evaluated using the sensitivity equation and the adjoint variable method. Simulations has been performed showing the robustness of the algorithm and its ability to reconstruct single inhomogeneities, convex and non-convex, as well as multiple inhomogeneities.     

Countable linear orders with disjoint infinite intervals are mutually orthogonal

Two linear orderings of a same set are perpendicular if the only self-mappings of this set that preserve them both are the identity and the constant mappings. Two linear orderings are orthogonal if they are isomorphic to two perpendicular linear orderings. We show that two countable linear orderings are orthogonal as soon as each one has two disjoint infinite intervals. From this and previously known results it follows in particular that each countably infinite linear ordering is orthogonal to itself.