positivity in time dependent linear transport theory

We present methods using positive semigroups and perturbation theory in the application to the linear Boltzmann equation. Besides being a review, this paper also presents generalizations of known results and develops known methods in a more abstract setting.In Section 1 we present spectral properties of the semigroup operatorsW _a(t) of the absorption semigroup and its generatorT _a. In Section 2 we treat the full semigroup (W(t);t0) as a perturbation of the absorption semigroup. We discuss part of the problems (perturbation arguments and existence of eigenvalues) which have to be solved in order to obtain statements about the large time behaviour ofW(·). In Section 3 we discuss irreducibility ofW(·).In four appendices we present abstract methods used in Sections 1, 2 and 3.     

Basis properties of a fourth order differential operator with spectral parameter in the boundary condition

We consider a fourth order eigenvalue problem containing a spectral parameter both in the equation and in the boundary condition. The oscillation properties of eigenfunctions are studied and asymptotic formulae for eigenvalues and eigenfunctions are deduced. The basis properties in L _p (0; l); p ∈ (1;∞); of the system of eigenfunctions are investigated.     

Compressive Wave Computation

This paper presents a method for computing the solution to the time-dependent wave equation from the knowledge of a largely incomplete set of eigenfunctions of the Helmholtz operator, chosen at random. While a linear superposition of eigenfunctions can fail to properly synthesize the solution if a single term is missing, it is shown that solving a sparsity-promoting ℓ ₁ minimization problem can vastly enhance the quality of recovery. This phenomenon may be seen as “compressive sampling in the Helmholtz domain.”     

On the Holmgren-John uniqueness theorem for the wave equation with piecewise analytic coefficients

In this paper a uniqueness theorem is proved for the wave equation in the domain Q^2T=Ω×(0,2T), where Ω is a piecewise analytic Riemannian manifold (Riemannian polyhedron). Initial data are assumed to be given on a part Γ₀ × (0, 2T) of the space-time boundary of the cylinder Q^2T, Γ₀. The uniqueness of a weak solution is proved “in the large,” in a domain formed by the corresponding characteristics of the wave equation. Bibliography:24 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 203, 1992, pp. 113–136. Translated by T. N. Surkova.     

Nonlinear and linear instability of the Rossby-Haurwitz wave

The dynamics of perturbations to the Rossby-Haurwitz (RH) wave is analytically analyzed. These waves, being of great meteorological importance, are exact solutions to the nonlinear vorticity equation describing the motion of an ideal incompressible fluid on a rotating sphere. Each RH wave belongs to a space H ₁ ⊕ H _n , where H _n is the subspace of homogeneous spherical polynomials of degree n. It is shown that any perturbation of the RH wave evolves in such a way that its energy K(t) and enstrophy η(t) decrease, remain constant, or increase simultaneously. A geometric interpretation of variations in the perturbation energy is given. A conservation law for arbitrary perturbations is obtained and used to classify all the RH-wave perturbations in four invariant sets, M ₋ ⁿ , M ₊ ⁿ , H _n , and M ₀ ⁿ − H _n , depending on the value of their mean spectral number χ(t) = η(t)/K(t). The energy cascade of growing (or decaying) perturbations has opposite directions in the sets M ₋ ⁿ and M ₊ ⁿ due to the hyperbolic dependence between K(t) and χ(t). A factor space with a factor norm of the perturbations is introduced, using the invariant subspace H _n of neutral perturbations as the zero factor class. While the energy norm controls the perturbation part belonging to H _n , the factor norm controls the perturbation part orthogonal to H _n . It is shown that in the set M ₋ ⁿ (χ(t) < n(n + 1)), any nonzonal RH wave of subspace H ₁ ⊕ H _n (n ≥ 2) is Lyapunov unstable in the energy norm. This instability has nothing in common with the orbital (Poincaré) instability and is caused by asynchronous oscillations of two almost coinciding RH-wave solutions. It is also shown that the exponential instability is possible only in the invariant set M ₀ ⁿ − H _n . A necessary condition for this instability is given. The condition states that the spectral number η(t) of the amplitude of each unstable mode must be equal to n(n + 1), where n is the RH wave degree. The growth rate is estimated and the orthogonality of the unstable normal modes to the RH wave are shown in two Hilbert spaces. The instability in the invariant set M ₊ ⁿ of small-scale perturbations (χ(t) > n(n + 1)) is still an open problem. __________ Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 17, Differential and Functional Differential Equations. Part 3, 2006.     

Two examples of local ergodic divergence

This note contains the first example of a 1-parameter semigroup {T _pt≧0} of linear contractions inL _p (1<p<∞) for which the assertion of the local ergodic theorem (t ¹∝₀′T _sfds conv. a.e. ast → 0+0 for allf ∈L _p) fails to be true. The first example is a continuous semigroup of unitary operators inL ₂, the second a power-bounded continuous semigroup of positive operators inL ₁. This answers problems of Kubokawa, Fong and Sucheston. In memory of our friend and colleague Shlomo Horowitz     

Controllability of the Heat Equation with a Control Acting on a Measurable Set

The paper deals with the controllability of a heat equation.It is well-known that the heat equation yt y = uχE in(0,T)×Ω with homogeneous Dirichlet boundary conditions is null controllable for any T > 0 and any open nonempty subset E of Ω.In this note,the author studies the case that E is an arbitrary measurable set with positive measure.     

On the behavior of orbits of uniformly stable semigroups at infinity

For uniformly stable bounded analytic C ₀-semigroups {T(t)} _t≥0 of linear operators in a Banach space B, we study the behavior of their orbits T (t)x, x ∈ B, at infinity. We also analyze the relationship between the order of approaching the orbit T (t)x to zero as t → ∞ and the degree of smoothness of the vector x with respect to the operator A ⁻¹ inverse to the generator A of the semigroup {T(t)} _t≥0. In particular, it is shown that, for this semigroup, there exist orbits approaching zero at infinity not slower than , where a > 0, 0 < α < π/(2(π-θ)), θ is the angle of analyticity of {T(t)} _t≥0, and the collection of these orbits is dense in the set of all orbits. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 2, pp. 148–159, February, 2006.     

Maximal and minimal congruences on some semigroups

In 2006, Sanwong and Sullivan described the maximal congruences on the semigroup N consisting of all non-negative integers under standard multiplication, and on the semigroup T（X） consisting of all total transformations of an infinite set X under composition. Here, we determine all maximal congruences on the semigroup Zn under multiplication modulo n. And, when Y lohtain in X, we do the same for the semigroup T（X, Y） consisting of all elements of T（X） whose range is contained in Y. We also characterise the minimal congruences on T（X. Y）.     

Strongly continuous semigroups of operators generated by systems of pseudodifferential operators in weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

This paper considers semigroups of operators generated by pseudodifferential operators in weighted L _p -spaces of vector functions on \mathbbRⁿ {\mathbb{R}^n} (or on a compact manifold without boundary). Sufficient conditions for a semigroup to be strongly continuous and analytic are obtained, conditions for it to be completely continuous are found, and the distribution of the eigenvalues of its infinitesimal generator is examined. Also, an integral representation that singles out the principal term of the semigroup as t → 0+ is established.     

Relatively Bounded Rank One Perturbations of Non-Analytic Semigroups Can Generate Large Point Spectrum

It is known that relatively bounded compact perturbations of analytic semigroups yield again generators of analytic semigroups. On the other hand, for each non-analytic semigroup there is a relatively bounded rank one perturbation which is no longer a generator. In this note we show that in fact any non-analytic semigroup admits a relatively bounded rank one perturbation with a sequence of eigenvalues z_j such that the real parts R(z_j) converge to infinity.     

Difference estimates for continuous and discrete operator semigroups

For suitable bounded operator semigroups (e ^tA ) _t≥0 in a Banach space, we characterize the estimate ‖Ae ^tA ‖≤c/F(t) for large t, where F is a function satisfying a sublinear growth condition. The characterizations are by holomorphy estimates on the semigroup, and by estimates on powers of the resolvent. We give similar characterizations of the difference estimate ‖T ⁿ −T ⁿ⁺¹‖≤c/F(n) for a power-bounded linear operator T, when F(n) grows faster than n ^1/2 for large n.     

On the spectrum of the Dirichlet Laplacian in a narrow strip

We consider the Dirichlet Laplacian Δ_∈ in a family of bounded domains {−a < x < b, 0 < y < εh(x)}. The main assumption is that x = 0 is the only point of global maximum of the positive, continuous function h(x). We find the two-term asymptotics in ε → 0 of the eigenvalues and the one-term asymptotics of the corresponding eigenfunctions. The asymptotic formulas obtained involve the eigenvalues and eigenfunctions of an auxiliary ODE on ℝ that depends on the behavior of h(x) as x → 0. The proof is based on a detailed study of the resolvent of the operator Δ_∈.     

On Exponential Sums Involving the Ideal Counting Function in Quadratic Number Fields

 Let χ be a Dirichlet character modulo k > 1, and F _χ(n) the arithmetical function which is generated by the product of the Riemann zeta-function and the Dirichlet L-function corresponding to χ in . In this paper we study the asymptotic behaviour of the exponential sums involving the arithmetical function F _χ(n). In particular, we study summation formulas for these exponential sums and mean square formulas for the error term. Received April 17, 2001; in revised form April 2, 2002     

Pseudodifferential equations and a generalized translation operator in non-gaussian infinite-dimensional analysis

Pseudodifferential equations of the formv(D_x)y=f (here,v is a function holomorphic at zero andD _x is a pseudodifferential operator) are studied on spaces of test functions of non-Gaussian infinite-dimensional analysis. The results obtained are applied to the construction of a generalized translation operatorT _y ^χ =χ(<y, D_χ>) on the spaces indicated and to the investigation of its properties. In particular, we prove the associativity, commutativity, and other properties ofT _y ^χ , which are analogs of the classical properties of a generalized translation operator. Institute of Mathematics, Ukrainian Academy of Sciences, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 10, pp. 1334–1341, October, 1999.     

Conservation and bifurcation of an invariant torus of a vector field

We consider small perturbations with respect to a small parameter ε≥0 of a smooth vector field in ℝ^n+m possessing an invariant torusT ^m. The flow on the torusT ^m is assumed to be quasiperiodic withm basic frequencies satisfying certain conditions of Diophantine type; the matrix Ω of the variational equation with respect to the invariant torus is assumed to be constant. We investigate the existence problem for invariant tori of different dimensions for the case in which Ω is a nonsingular matrix that can have purely imaginary eigenvalues. Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 34–44, January, 1997. Translated by S. K. Lando     

Maximum-Norm Estimates for Finite-Element Methods for a Strongly Damped Wave Equation

We return to earlier work in Larsson, Thomée, and Wahlbin, IMA J. Numer. Anal. 11 (1991), concerning the numerical solution of a homogeneous linear wave equation with strong damping, arising in viscoelasticity. In that work spatial discretization by finite elements and associated fully discrete methods were analyzed in L ₂-based norms. The analysis depended on the fact that the solution may be expressed in terms of an analytic semigroup. In the present work we combine this approach with recent results on discretization of parabolic problems to derive essentially optimal order error bounds in maximum-norm for piecewise linear finite elements combined with backward Euler and Crank–Nicolson time stepping methods. This revised version was published online in July 2006 with corrections to the Cover Date.     

Compact operators on a Banach space into the space of almost periodic functions

LetS be a topological semigroup andAP(S) the space of continous complex almost periodic functions onS. We obtain characterizations of compact and weakly compact operators from a Banach spaceX into AP(S). For this we use the almost periodic compactification ofS obtained through uniform spaces. For a bounded linear operatorT fromX into AP(S), letT ₅, be the translate ofT bys inS defined byT ₅(x)=(Tx) ₅ . We define topologies on the space of bounded linear operators fromX into AP(S) and obtain the necessary and sufficient conditions for an operatorT to be compact or weakly compact in terms of the uniform continuity of the maps→T ₅. IfS is a Hausdorff topological semigroup, we also obtain characterizations of compact and weakly compact multipliers on AP(S) in terms of the uniform continuity of the map S→μ_s, where μ_s denotes the unique vector measure corresponding to the operatorT ₅.     

A sturm-liouville problem with physical and spectral parameters in boundary conditions

We study the spectral probleml(u)=−u″+q(x)u(x)=λu(x),u′(0)=0, u′(π)=mλu(π), where λ andm are a spectral and a physical parameter. Form<0, we associate with the problem a self-adjoint operator in Pontryagin space II₁. Using this fact and developing analytic methods of the theory of Sturm-Liouville operators, we study the dynamics of eigenvalues and eigenfunctions of the problems asm→−0. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 163–172, August, 1999.     

Differentiability of convolutions, integrated semigroups of bounded semi-variation, and the inhomogeneous Cauchy problem

If T = {T (t); t ≥ 0} is a strongly continuous family of bounded linear operators between two Banach spaces X and Y and f ∈ L ¹(0, b, X), the convolution of T with f is defined by . It is shown that T * f is continuously differentiable for all f ∈ C(0, b, X) if and only if T is of bounded semi-variation on [0, b]. Further T * f is continuously differentiable for all f ∈ L ^p (0, b, X) (1 ≤ p < ∞) if and only if T is of bounded semi-p-variation on [0, b] and T(0) = 0. If T is an integrated semigroup with generator A, these respective conditions are necessary and sufficient for the Cauchy problem u′ = Au + f, u(0) = 0, to have integral (or mild) solutions for all f in the respective function vector spaces. A converse is proved to a well-known result by Da Prato and Sinestrari: the generator A of an integrated semigroup is a Hille-Yosida operator if, for some b > 0, the Cauchy problem has integral solutions for all f ∈ L ¹(0, b, X). Integrated semigroups of bounded semi-p-variation are preserved under bounded additive perturbations of their generators and under commutative sums of generators if one of them generates a C ₀-semigroup. Günter Lumer in memoriam