Étant donnés une surface du second ordre S et deux points A et B, on mène par le point B une sécante qui rencontre la surface aux points C, C′, et le plan polaire du point A au point D. Soient M et M′ les points of la droite AD rencontre les plans qui touchent la surface aux points C et C′. La sécante BD tournant autour du point B, on demands

1°. Le lieu décrit par les points M et M′.

2°. Ce lieu se compose de deux surfaces du second ordre, dont l' une est inépendante de la position du point B, et l' autre Σ dépend de la position de ce point. Chercher ce que devient la surface Σ quand, dans la construction qui donne les points de cette surface, on fait jouer au point A le rôle du point B, et inversement.

3°. Le point A restant fixe, déterminer les positions occupées par le point B quand la surface Σ n' α pas un centre unique à distance finie.

In (4) Vala proves a generalization of Schauder's theorem (3) on the compactness of the adjoint of a compact linear operator. The particular case of Vala's result that we shall be concerned with is as follows. Let t1 and t2 be non-zero bounded linear operators on the Banach spaces Y and X respectively, and denote by 1T2 the operator on B(X, Y) defined by

In his book on Hydrodynamics, Lamb obtained a solution for the potential flow of an incompressible fluid through a circular hole in a plane wall. More recently Sneddon (Fourier Transforms, New York, 1951) obtained Lamb's solution by an elegant application of Hankel transforms.

Since the streamlines in this solution are symmetric about the wall, it is not of particular physical interest. In this note, Sneddon's method is used to give a solution in which the fluid is infinite in extent on one side of the aperture but issues as a jet of finite diameter on the other side.

Suppose that K is a function field of a conic over a subfield K0. Let v0 be a valuation of K0 with residue field k0 of characteristic ≠2. Let v be an extension of v0 to K having residue field k. It has been proved that either k is an algebraic extension of k0 or k is a regular function field of a conic over a finite extension of k0. This result can also be deduced from the genus inequality of Matignon (cf. [On valued function fields I, Manuscripta Math. 65 (1989), 357–376]) which has been proved using results about vector space defect and methods of rigid analytic geometry. The proof given here is more or less self-contained requiring only elementary valuation theory.

Symmetry theory is of fundamental importance in studying systems of partial differential equations. At present algebras of classical infinitesimal symmetry transformations are known for many equations of continuum mechanics [1, 2, 4]. Methods foi finding these algebras go back to S. Lie's works written about 100 years ago. Ir particular, knowledge of symmetry algebras makes it possible to construct effectively wide classes of exact solutions for equations under consideration and via Noether's theorem to find conservation laws for Euler–Lagrange equations. The natural development of Lie's theory is the theory of “higher” symmetries and conservation laws [5].

We establish the Kakutani dichotomy property for two generalized Rademacher–Riesz product measures μ, ν that either μ, ν are equivalent measures or they are mutually singular according as a certain series converges or diverges. We further give sufficient conditions so that in the equivalence case the Radon–Nikodym derivative dμ/dν belongs to Lp(v) for all positive real numbers p, by proving that a certain product martingale converges in Lp(v) for p ≧ 1.

§ 1. The object of this note is to discuss the formula

the integral being supposed convergent for certain ranges of values of x and z. The contour is such that the poles of Γ(– s)lie to its right and the other poles of the integrand to its left. It will be seen that all the Pincherle-Mellin-Barnes integrals are particular cases of this formula.

A Generalisation of Christoffel's Summation Formula. The Recurrence Formula

is valid for all values of n and m; but, if m is a positive integer, , hence, when n = m, (1) becomes

Let f(z) be an entire function, M(r) the maximum of f(z) on ∣z∣=r, and λ>1. Let Eλ=Eλ(f{z:log∣f(z)≦(1-λ)log(M∣z∣)}, and denote the density of Eλby

where m is planar measure.

In a well-behaved homomorphism theory for a class of algebraic systems certain “closed objects” relative to a given G ∈ are distinguished which act as kernels of homomorphisms. For example, if is the class of groups then the closed objects relative to a given group G are the normal subgroups of G; if is the class of semigroups with zero element then one can devise a homomorphism theory in which the closed objects relative to a given S ∈ are the ideals of S[cf. Rees (3)]; in the class of groupoids one may define the closed objects relative to a given groupoid G to be the congruence relations on G, that is, subsets π⊆G×G which are equivalence relations having the property that (x1y1, x2y2) ∈ π whenever (x1, x2), (y1, y2) ∈ π. Given such a closed object N relative to G there exists a “factor” system G/N and a (canonical) homomorphism η: G→G/N characterised by the property: If σ G→H is a homomorphism with kernel N then there is a unique homomorphism : G/N→H such that . η = σ and the kernel of is trivial in the sense that the kernel of is the unique smallest closed object relative to G/N.

A collection = {Gα|α∈A} of proper subgroups Gα of a group G is a fibration of G if

It is of geometric interest to associate two semigroups to a group G with fibration :

A special meeting of the Edinburgh Mathematical Society was held in the Mathematical Institute, Edinburgh, on Friday, 17th May 1957, to commemorate Sir Edmund Whittaker's work. Present at this meeting were Sir Edmund's widow, Lady Whittaker, and members of her family.

Dr J. M. Whittaker, F.E.S., on behalf of Lady Whittaker and family, asked the Society to accept the sum of £500 to be used to provide a prize which would be awarded for meritorious work in mathematics by young mathematicians in Scotland.

A generalised lemma used in the second of two papers enables us, as was suggested there, to extend results of the first. Thus, among others, we easily get the following:

Let tn be determined by the relation

Consider the free monoid on a non-empty set P, and let R be the quotient monoid determined by the relations:

Let R have its natural involution * in which each element of P is Hermitian. We show that the Banach *-algebra ℓ1(R) has a separating family of finite dimensional *-representations and consequently is *-semisimple. This generalizes a result of B. A. Barnes and J. Duncan (J. Funct. Anal.18 (1975), 96–113.) dealing with the case where P has two elements.

In the first volume of Gergonne's Annales de Mathématiques (1810–11), there is a paper by Lhuilier, in which he gives properties of the right-angled spherical triangle, analogous to the following properties of the right-angled plane triangle:

1. The square on the hypotenuse is equal to the sum of the squares on the other two sides;

2. If a perpendicular be drawn from the right angle to the hypotenuse, the square on each side is equal to the rectangle contained by the hypotenuse and the adjacent segment of the hypotenuse;

3. The squares on the sides are to one another as the adjacent segments of the hypotenuse;

4. The square on the perpendicular is equal to the rectangle contained by the segments of the hypotenuse;

5. The hypotenuse, the sides, and the perpendicular are in proportion.