To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this chapter we study some variants of hypercyclicity. First, we show that a Banach space operator T is hypercyclic provided that every point of the underlying space stays at a bounded distance (not depending on the point) from some fixed T-orbit. Then, we consider two qualitative strengthenings of hypercyclicity, namely chaoticity and frequent hypercyclicity. We point out several interesting similarities and differences between hypercyclicity and these two variants. In particular, any rotation and any power of a chaotic or frequently hypercyclic operator has the same property; however, chaotic or frequently hypercyclic operators cannot be found in every separable Banach space. Moreover we show that frequently hypercyclic operators need not be chaotic, and we construct an operator which is both chaotic and frequently hypercyclic but not topologically mixing.
Operators with d-dense orbits
Given a Banach space X and d ∈ (0,∞), we say that a set A ⊂ X is d-dense in X if, for each x ∈ X, one can find z ∈ A such that |z – x| < d. The following interesting theorem is due to N. S. Feldman [107].
THEOREM 6.1 Let X be a separable infinite-dimensional Banach space, and let T ∈ L(X). Assume that T has a d-dense orbit for some d ∈ (0, ∞). Then T is hypercyclic.
PROOF We first observe that if T has a d-dense orbit for some d then in fact it has an ∈-dense orbit for any ∈ > 0.
This chapter is devoted to hypercyclicity and supercyclicity with respect to the weak topology of a given Banach space. Let X be a separable infinite-dimensional Banach space. An operator T ∈ L(X) is said to be weakly hypercyclic if it is hypercyclic when considered as an operator on the topological vector space (X, ω), in other words, if there exists some vector x ∈ ω whose T-orbit O(x, T) is weakly dense in X. Such a vector x is of course called a weakly hypercyclic vector for T. One defines in the same way weakly supercyclic operators and weakly supercyclic vectors.
One unpleasant fact immediately comes to mind when considering these defi- nitions. Up to now, we have almost exclusively concentrated on hypercyclicity or supercyclicity for linear operators acting on completely metrizable topological vector spaces; however, the weak topology of an infinite-dimensional Banach space is neither Baire nor metrizable. This means first that we have no Hypercyclicity Criterion at our disposal and second that we must be careful with sequences, since a vector z ∈ X may belong to the weak closure of some T-orbit O(x, T) without being the weak limit of a sequence (Tnk (x)).
Having said that, the first natural question is whether weak hypercyclicity and supercyclicity really make sense, i.e. whether there exist weakly hypercyclic or supercyclic operators which are not already hypercyclic or supercyclic with respect to the norm topology. Fortunately the answer is positive, but this is a non-trivial result.
So far, we have obtained hypercyclic vectors either by a direct construction or by a Baire category argument. The aim of this chapter is to provide another way of doing so, using ergodic theory. This will link linear dynamics with measurable dynamics. We first recall some basic definitions from ergodic theory. The classical book of P. Walters [235] is a very readable introduction to that area.
The first important concept is that of invariant measure.
DEFINITION 5.1 Let (X, B, μ) be a probability space. We say that a measurable map T : (X, B, μ) → (X, B, μ) is a measure-preserving transformation, or that μ is T-invariant, if μ(T–1(A)) = μ(A) for all A ∈ B.
Measure-preserving transformations already have some important dynamical properties. In particular, the famous Poincaré recurrence theorem asserts that if T : (X, μ) → (X, μ) is measure-preserving then, for any measurable set A such that μ(A) > 0, almost every point x ∈ A is T-recurrent with respect to A, which means that Tn(x) ∈ A for infinitely many n ∈ N.
Now the central concept in linear dynamics is not recurrence but transitivity.
We prove that n-hypergraphs can be interpreted in e-free perfect PAC fields in particular in pseudofinite fields. We use methods of function field arithmetic, more precisely we construct generic polynomials with alternating groups as Galois groups over a function field.
In this paper, we consider the asymptotic behaviour for the non-local parabolic problemwith a homogeneous Dirichlet boundary condition, where λ > 0, p > 0 and f is non-increasing. It is found that (a) for 0 < p ≤ 1, u(x, t) is globally bounded and the unique stationary solution is globally asymptotically stable for any λ > 0; (b) for 1 < p < 2, u(x, t) is globally bounded for any λ > 0; (c) for p = 2, if 0 < λ < 2|∂Ω|2, then u(x, t) is globally bounded; if λ = 2|∂Ω|2, there is no stationary solution and u(x, t) is a global solution and u(x, t) → ∞ as t → ∞ for all x ∈ Ω; if λ > 2|∂Ω|2, there is no stationary solution and u(x, t) blows up in finite time for all x ∈ Ω; (d) for p > 2, there exists a λ* > 0 such that for λ > λ*, or for 0 < λ ≤ λ* and u0(x) sufficiently large, u(x, t) blows up in finite time. Moreover, some formal asymptotic estimates for the behaviour of u(x, t) as it blows up are obtained for p ≥ 2.
We consider the thermal insulation property of homogeneous anisotropically heat-conducting bodies, i.e. those whose thermal tensor (matrix) A is constant throughout the body but not generally a constant times the identity. This anisotropy is a common feature of nano-composite materials. We propose using the principal Dirichlet eigenvalue λ of the associated elliptic differential operator −∇ ⋅ A∇ as a simple measurement for the insulating ability of the material, because the time scale of thermal flow is of the order of 1/λ. 1/λ is a generalization of the ‘R-value’ used in engineering practice as a measure of the insulating ability of isotropic conductors. If the thermal tensor A depends on parameters, e.g. inherited from nanostructure, then so does λ. It is important to know how λ depends on the parameters. For the material to be a good insulator, λ should be suppressed. But calculation or estimation of this principal elliptic eigenvalue, particularly over ranges of parameter values, is not a simple task. The focus of this paper is estimation – by fitted formulas and new exact bounds – of the principal elliptic Dirichlet eigenvalue of ellipses (2D) and ellipsoids (3D) using only simple expressions in the eigenvalues of the matrix A. Our simplest approximations and bounds avoid even the calculation of matrix eigenvalues and use in 2D merely the trace and determinant of A, and in 3D the trace and determinant of A and the trace of A2. The new bounds are shown to imply an extremal property in homogenization theory and a new condition for enhancement in Taylor dispersion. Recently, Zheng, Forest, Lipton, Zhou and Wang published formulas for the thermal tensor A in the case of strong extensional fiber-type flow of a polymer with dilute rod-like nano-inclusions, including explicitly the influence of the probability distribution of inclusion orientation. Our results are combined with these formulas to quantify the effect of variations of the probability distribution on the insulating ability of the composite.
Motivated by a recent investigation of Millar and McKay [Director orientation of a twisted nematic under the influence of an in-plane magnetic field. Mol. Cryst. Liq. Cryst435, 277/[937]–286/[946] (2005)], we study the magnetic field twist-Fréedericksz transition for a nematic liquid crystal of positive diamagnetic anisotropy with strong anchoring and pre-twist boundary conditions. Despite the pre-twist, the system still possesses ℤ2 symmetry and a symmetry-breaking pitchfork bifurcation, which occurs at a critical magnetic-field strength that, as we prove, is above the threshold for the classical twist-Fréedericksz transition (which has no pre-twist). It was observed numerically by Millar and McKay that this instability occurs precisely at the point at which the ground-state solution loses its monotonicity (with respect to the position coordinate across the cell gap). We explain this surprising observation using a rigorous phase-space analysis.
We study the stability and dynamics of melting icebergs. Specifically, we address the ‘toppling’ or ‘rollover’ observed for floating icebergs. The rollover is thought to occur because the ocean melts the iceberg from below, causing its overall mass and mass distribution to change with time. We model the evolution of equilibrium positions for a general homogeneous body afloat in an ideal fluid, as this homogeneous body is subjected to ‘melting’, i.e. a slow removal of material from the submerged part. If this process is the dominating melting mechanism, can the likelihood of a toppling be inferred from observing only the above-surface part? We show here that some information about the evolution of stability due to melting can be inferred from the surface geometry of the iceberg.
In this paper, we provide the mathematical basis for three different magneto-acoustic imaging approaches (vibration potential tomography, magneto-acoustic tomography with magnetic induction and magneto-acoustic current imaging) and propose new algorithms for solving the inverse problem for each of them.
Semiclassical limits of generic multi-parameter quantized coordinate rings A=q(kn) of affine spaces are constructed and related to A, for k an algebraically closed field of characteristic zero and q a multiplicatively antisymmetric matrix whose entries generate a torsion-free subgroup of k×. A semiclassical limit of A is a Poisson algebra structure on the corresponding classical coordinate ring R=(kn), and results of Oh, Park, Shin and the authors are used to construct homeomorphisms from the Poisson-prime and Poisson-primitive spectra of R onto the prime and primitive spectra of~A. The Poisson-primitive spectrum of R is then identified with the space of symplectic cores in kn in the sense of Brown and Gordon, and an example is presented (over ℂ) for which the Poisson-primitive spectrum of R is not homeomorphic to the space of symplectic leaves in kn. Finally, these results are extended from quantum affine spaces to quantum affine toric varieties.
We investigate the influence of interface conditions at a singularity of an indefinite canonical system on its Weyl coefficient. An explicit formula which parametrizes all possible Weyl coefficients of indefinite canonical systems with fixed Hamiltonian function is derived. This result is illustrated with two examples: the Bessel equation, which has a singular end point, and a Sturm–Liouville equation whose potential has an inner singularity, which arises from a continuation problem for a positive definite function.
Starting from two Lagrangian immersions and a horizontal curve in S3(1), it is possible to construct a new Lagrangian immersion, which we call a warped-product Lagrangian immersion. In this paper, we find two characterizations of warped-product Lagrangian immersions. We also investigate Lagrangian submanifolds which attain at every point equality in the improved version of Chen's inequality for Lagrangian submanifolds of ℂPn(4) as discovered by Opreaffi We show that, for n≥4, an n-dimensional Lagrangian submanifold in ℂPn(4) for which equality is attained at all points is necessarily minimal.
We study when certain properties of Banach algebras are stable under ultrapower constructions. In particular, we consider when every ultrapower of is Arens regular, and give some evidence that this is so if and only if is isomorphic to a closed subalgebra of operators on a super-reflexive Banach space. We show that such ideas are closely related to whether one can sensibly define an ultrapower of a dual Banach algebraffi We study how tensor products of ultrapowers behave, and apply this to study the question of when every ultrapower of is amenable. We provide an abstract characterization in terms of something like an approximate diagonal, and consider when every ultrapower of a C*-algebra, or a group L1-convolution algebra, is amenable.