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.
We approximate functionals depending on the gradient of u and on the behaviour of u near the discontinuity points by families of non-local functionals where the gradient is replaced by finite differences. We prove pointwise convergence, Γ-convergence and a compactness result, which implies, in particular, the convergence of minima and minimizers.
Fix q and let Mn be an n × n matrix with entries drawn independently from the finite field Fq according to some distribution μn. It is shown that, except in certain pathological cases, the probability that Mn is nonsingular is asymptotically the same as for uniform entries; that is,
It has been conjectured by Alspach [2] that given integers n and m1, …, mt with 3 [les ] mi [les ] n and [sum ]ti=1mi = (n2) (n odd) or [sum ]ti=1mi = (n2) − n/2 (n even), then one can pack Kn (n odd) or Kn minus a 1-factor (n even) with cycles of lengths m1, …, mt. In this paper we show that if the cycle lengths mi are bounded by some linear function of n and n is sufficiently large then this conjecture is true.
We show that connected matroids with symmetric Tutte polynomials are not necessarily self-dual; in fact, we construct matroids that are not self-dual, have arbitrarily high connectivity, and yet have symmetric Tutte polynomials.
A graph Γ with diameter d is strongly distance-regular if Γ is distance-regular and its distance-d graph Γd is strongly regular. Some known examples of such graphs are the connected strongly regular graphs, with distance-d graph Γd = Γ (the complement of Γ), and the antipodal distance-regular graphs. Here we study some spectral conditions for a (regular or distance-regular) graph to be strongly distance-regular. In particular, for the case d = 3 the following characterization is proved. A regular (connected) graph Γ, with distinct eigenvalues λ0 > λ1 > λ2 > λ3, is strongly distance-regular if and only if λ2 = −1, and Γ3 is k-regular with degree k satisfying an expression which depends only on the order and the different eigenvalues of Γ.
In 1978, Dhar suggested a model of a lattice gas whose states are partial orders. In this context he raised the question of determining the number of partial orders with a fixed number of comparable pairs. Dhar conjectured that in order to find a good approximation to this number, it should suffice to enumerate families of layer posets. In this paper we prove this conjecture and thereby prepare the ground for a complete answer to the question.
This work studies mathematical issues associated with steady-state modelling of diffusion-reaction-conduction processes in an electrolyte wedge (meniscus corner) of a current-producing porous electrode. The discussion is applicable to various electrodes where the rate-determining reaction occurs at the electrolyte-solid interface; molten carbonate fuel cell cathodes are used as a specific example. New modelling in terms of component potentials (linear combinations of electrochemical potentials) is shown to be consistent with tradition concentration modelling. The current density is proved to be finite, and asymptotic expressions for both current density and total current are derived for suffciently small contact angles. Finally, numerical and asymptotic examples are presented to illustrate the strengths and weaknesses of these expressions.
The purpose of this paper is to analyse the free boundary problem for the Black–Scholes equation for pricing the American call option on stocks paying a continuous dividend. Using the Fourier integral transformation method, we derive and analyse a nonlinear singular integral equation determining the shape of the free boundary. Numerical experiments based on this integral equation are also presented.
Rapid solidification fronts are studied using a phase field model. Unlike slow moving solutions which approximate the Mullins–Sekerka free boundary problem, different limiting behaviour is obtained for rapidly moving fronts. A time-dependent analysis is carried out for various cases and the leading order behaviour of solidification front solutions is derived to be one of several travelling wave problems. An analysis of these problems is conducted, leading to expressions for front speeds in certain limits. The dynamics leading to these travelling wave solutions is derived, and conclusions about stability are drawn. Finally, a discussion is made of the relationship to other solidification models.
The paper is devoted to the stability of stationary solutions of an evolution system, describing heat explosion in a two-phase medium, where a parabolic equation is coupled with an ordinary differential equation. Spectral properties of the problem linearized about a stationary solution are analyzed and used to study stability of continuous branches of solutions. For the convex nonlinearity specific to combustion problems it is shown that solutions on the first increasing branch are stable, solutions on all other branches are unstable. These results remain valid for the scalar equation and they generalize the results obtained before for heat explosion in the radially symmetric case [1].
The motion of interfaces for a mass-conserving Allen–Cahn equation that are attached to the boundary of a two-dimensional domain is studied. In the limit of thin interfaces, the interface motion for this problem is known to be governed by an area-preserving mean curvature flow. A numerical front-tracking method, that allows for a numerical solution of this type of curvature flow, is used to compute the motion of interfaces that are attached orthogonally to the boundary. Results obtained from these computations are favourably compared with a previously-derived asymptotic result for the motion of attached interfaces that enclose a small area. The area-preserving mean curvature flow predicts that a semi-circular interface is stationary when it is attached to a flat segment of the boundary. For this case, the interface motion is shown to be metastable and an explicit characterization of the metastability is given.
A topologically cyclic *-representation of a *-algebra A is determined up to unitary equivalence by a certain type of linear functional on A. We will call the linear functional that are associated with topologically cyclic *-representations in this special way, representable positive linear junctionals. From §9.4.2 to §9.4.16 we give a construction, due to Israel Moiseevič Gelfand and Mark Aronovič Naǐmark [1943], of a *-representation Tω from each representable positive linear functional ω. This construction was further developed by Irving E. Segal [1947a]. If ω is associated with the topologically cyclic *-representation T, then Tω is unitarily equivalent to T. Thus our construction gives a representative in each unitary equivalence class of topologically cyclic *-representations. In Section 9.2 we showed that each *-representation is the Hilbert sum of a trivial *-representation and an essential *-representation, and that each essential *-representation is unitarily equivalent to a Hilbert sum of topologically cyclic *-representations. Thus the Gelfand-Naimark construction and the Hilbert sum construction together give a representative in each equivalence class of *-representations.
Thirty years ago, when I first thought of writing a book, the book I wanted to write was the first three chapters of this Volume II. At that time I was rapidly discovering the results that now constitute Chapter 10. For me, at least, these essentially algebraic ideas explain why the subject of Banach *-algebras works so smoothly.
Back then, Jacques Dixmier's book was the only substantial exposition of the subject of C*-algebras. Thus my first manuscript, written between 1970 and 1978, contained many of the results in the present Chapters 9, 10 and 11 plus a complete exposition of C*-algebras. I have always regarded the category of C*-algebras as a purely algebraic category: any *-homomorphism is necessarily contractive. Hence the information coming from the complete norm is geometric, but this information is already completely encoded in the *-algebraic structure. Any of the several purely algebraic formulae for the complete norm provide a Rosetta stone. Not only is the norm determined by the algebraic structure, it is also very rigid. So much so, that one can tell whether a unital Banach algebra (without any involution) is a C*-algebra merely by examining the infinitesimal shape of its unit ball near 1 (cf. Theorem 9.5.9).
In this chapter we study various essentially algebraic hypotheses on *-algebras, most of which are satisfied by Banach *-algebras and all of which are satisfied by hermitian Banach *-algebras. Virtually all known results on Banach *-algebras and hermitian Banach *-algebras (that are not explicitly properties of the complete norm) are obtained in this more general setting. We study these classes of *-algebras partly for their own interest, but mainly because they lend themselves to particularly simple proofs of the theorems we wish to establish. Furthermore, we can define categories which include all Banach *-algebras (or all hermitian Banach *-algebras) among their objects but which are much better behaved than the awkward categories of Banach *-algebras. These more inclusive categories facilitate constructions and proofs.
As we have seen in Chapter 9, the *-representations of an arbitrary *-algebra A endow A with a topology. This *-representation topology is defined entirely in terms of the *-algebraic structure of the *-algebra. The closure of zero is the reducing ideal. In this chapter we will consider several classes of *-algebras in which a geometrical structure arises from the *-algebraic structure. In each case we find some quantitative notion of boundedness and use it to define a semi-norm.