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 paper time-harmonic surface wave motion for progressive waves incident normally on and scattered by a partially immersed fixed vertical barrier in water of infinite depth is considered in the presence of surface tension. The problem for the velocity potential is solved, as others have been previously, by first supposing that the free-surface slopes at the barrier are prescribed and the formal solution in terms of these is obtained explicitly by complex-variable methods. To simplify the calculation the known solution corresponding to zero free-surface slopes at the barrier is subtracted out first and emphasis is placed on determining the residual potential. Finally, an appropriate dynamical edge condition is imposed on the formal solution to determine the required values of the edge-slope constants and hence fully solve the transmission problem. The problem was first examined some time ago using a complex-variable reduction procedure before the advent of this condition, although an explicit formal solution was not obtained, that earlier work forms a basis for the present investigation. It is noted in conclusion how the solution of the problem for waves generated by a partially immersed non-uniform heaving vertical plate may easily be obtained in a similar manner, since the formal solution required is just the residual potential determined in our main problem.
The following question of V. Stakhovskii was passed to us by N. Dolbilin [4]. Take the barycentric subdivision of a triangle to obtain six triangles, then take the barycentric subdivision of each of these six triangles and so on; is it true that the resulting collection of triangles is dense (up to similarities) in the space of all triangles? We shall show that it is, but that, nevertheless, the process leads almost surely to a flat triangle (that is, a triangle whose vertices are collinear).
We present a new characterization of σ-fragmentability and illustrate its usefulness by proving some results relating analyticity and crfragmentability. We show, for instance, that a Banach space with the weak topology is σ-fragmented if, and only if, it is almost Čech-analytic and that an almost Čech-analytic topological space is σ-fragmented by a lower-semicontinuous metric if, and only if, each compact subset of the space is fragmented by the metric.
Throughout this paper we assume that k is a given positive integer. As usual, B(x, r) denotes the closed ball with centre at x∈ℝk and radius r > 0. Let μ be a Radon measure on ℝk, that is, μ is locally finite and Borel regular. For s ≥ 0, the lower and upper s–dimensional densities of μ at x are denned respectively by
The distribution of squarefree binomial coefficients. For many years, Paul Erdős has asked intriguing questions concerning the prime divisors of binomial coefficients, and the powers to which they appear. It is evident that, if k is not too small, then must be highly composite in that it contains many prime factors and often to high powers. It is therefore of interest to enquire as to how infrequently is squarefree. One well-known conjecture, due to Erdős, is that is not squarefree once n > 4. Sarközy [Sz] proved this for sufficiently large n but here we return to and solve the original question.
An asymptotic theory is developed for a class of fourth-order differential equations. Under a general conditions on the coefficients of the differential equation we obtained the forms of the asymptotic solutions such that the solutions have different orders of magnitude for large x.
Recently Bombieri and Sperber have jointly created a new construction for estimating exponential sums on quasiprojective varieties over finite fields. In this paper we apply their construction to estimate hybrid exponential sums on quasiprojective varieties over finite fields. In doing this we utilize a result of Aldolphson and Sperber concerning the degree of the L-function associated with a certain exponential sum.
Let be a sequence of mutually disjoint open balls, with centres xj and corresponding radii aj, each contained in the closed unit ball in d-dimensional euclidean space, ℝd. Further we suppose, for simplicity, that the balls Bj are indexed so that aj≥aj+1. The set
obtained by removing, from the balls {Bj} is called the residual set. We say that the balls {Bj} constitute a packing of provided that λ(ℛ)=0, where λ denotes the d-dimensional Lebesgue measure. Thus it follows that henceforth denoted by c(d), whilst the packing restraint ensures that Larman [11] has noted that, under these circumstances, one also has .
This paper depends on results of Baranovskii [1], [2]. The covering radius R(L) of an n-dimensional lattice L is the radius of smallest balls with centres at points of L which cover the whole space spanned by L. R(L) is closely related to minimal vectors of classes of the quotient . The convex hull of all minimal vectors of a class Q is a Delaunay polytope P(Q) of dimension ≤, dimension of L. Let be a maximal squared radius of P(Q) of dimension n (of dimension less than n, respectively). If , then . This is the case in the well-known Barnes-Wall and Leech lattices. Otherwise, . This is a refinement of a result of Norton ([3], Ch. 22).
In the first part of the paper we show that the L2-discrepancy with respect to squares is of the same order of magnitude as the usual L2- discrepancy for point distributions in the K-dimensional torus. In the second part we adapt this method to obtain a generalization of Roth's [7] lower bound (log N)(k-1)/2 (for the usual discrepancy) to the discrepancy with respect to homothetic simple convex poly topes.
Let K be a number field of degree nK = r1 + 2r2, a fixed integral ideal and the group of fractional ideals of K whose prime decomposition contains no prime factors of . Let
and be an arbitrary Groessencharaktere mod f as defined in [15]. Then and, for
where {λi} forms a basis for the torsion–free characters on whose value on any depends only on the that exists such that a = (α). Note that because of the choice in such an α we have that 1 for all units ε in K satisfying (mod ), ε>0. Also, x is a narrow ideal class character mod , that is, a character on
This paper studies higher dimensional analogues of the Tamari lattice on triangulations of a convex n-gon, by placing a partial order on the triangulations of a cyclic d-polytope. Our principal results are that in dimension d≤3, these posets are lattices whose intervals have the homotopy type of a sphere or ball, and in dimension d≤5, all triangulations of a cyclic d-polytope are connected by bistellar operations.
Let R be a real closed field and a variety of real dimension k′ which is the zero set of a polynomial Q∈R[X1,…, Xk] of degree at most d. Given a family of s polynomials = {P1,…, Ps}⊂R[X1,…,Xk] where each polynomial in has degree at most d, we prove that the number of cells defined by over is (O(d))k Note that the combinatorial part of the bound depends on the dimension of the variety rather than on the dimension of the ambient space.
The lambda calculus began as an attempt by Alonzo Church to give a foundation for mathematics based on functions rather than sets. As such, it inherently is a theory of functions. While interest in the theory was confined to logicians for quite some time, more recently it has received extensive attention from the theoretical computer science community, which took it up because of its emphasis on the computational aspects of functions. The lambda calculus has been a focus of research in the semantics of programming languages in recent years, and this area has become a major contributor to the development of the theory.
Category theory is another theory of functions, but one with quite different beginnings. It began in an attempt to abstract away from the details of specific areas of mathematics in order to provide a uniform setting in which results common to many areas could be formulated and proved. Category theory also plays a fundamental role in theoretical computer science, precisely because it provides a setting that is broad and rich enough to accommodate the many requirements needed to give mathematical models for programming languages.
It is only natural then that these two theories of functions should have a close relationship. One only has to consult works such as Asperti and Longo [2] and the earlier Lambek and Scott [8] to see ample evidence of the richness of the relationship between category theory and the typed lambda calculus.