This paper deals with a dynamical inverse problem for a composite beam formed by two connected beams. The vibrations of the composite beam are governed by a differential system where a coupling takes place between longitudinal and bending motions. In this paper, we neglect bending motions and we only deal with the longitudinal motions. These motions are governed by a two-by-two second order system coupled in the lower order terms by the shearing stiffness coefficient, which models the connection between the two beams and which contains direct information on the integrity of the system. We prove that the shearing stiffness coefficient can be reconstructed from the frequency response function of the system evaluated at one end of the beam.

In this paper, we prove a certain maximality property of the Shimura subgroup amongst the multiplicative-type subgroups of $J_0(N)$, and apply this to verify conjectures of Stevens on the existence of certain canonical parametrizations of rational elliptic curves by modular curves. We are also able to verify some of Stevens’s conjectures on the characterization of the elliptic curve in an isogeny class with minimal Faltings–Parshin height.

AMS 2000 Mathematics subject classification: Primary 11G05; 11G18

Conformally invariant functionals on the space of knots are introduced via extrinsic conformal geometry of knots and integral geometry on the space of spheres. Our functionals are expressed in terms of a complex-valued 2-form, which can be considered as the cross-ratio of a pair of infinitesimal segments of the knot. We show that our functionals detect the unknot as the total curvature does, and that their values explode if a knot degenerates to a singular knot with double points.

AMS 2000 Mathematics subject classification: Primary 57M25; 53A30. Secondary 57R17

Following a recent paper by Faltings, we study the integral points on $\bm{P}_2\setminus\mathcal{D}$, where $\mathcal{D}$ is the branch locus of a projection from a surface $\mathcal{X}$; a crucial point in the analysis is that the pull-back of $\mathcal{D}$ in the Galois closure of the projection often splits into several components. As in the paper by Faltings, under certain assumptions we obtain finiteness of the integral points (Theorem 3.1); for instance, we shall find that it suffices if the projection is sufficiently general and if $\mathcal{X}$ has Kodaira number $\ge0$ (Corollary 4.1). We have borrowed freely from Faltings’s paper, for the whole geometrical setting. As to the arithmetic, our method is in part different, relying on the recent paper by Corvaja and Zannier and leading to apparently new conditions. We shall also use a more elementary approach to study a similar situation in arbitrary dimension, where the projection is taken from a hypersurface (Theorem 2.1).

In concrete terms, these results deal with certain diophantine equations $F(x_0,\dots,x_n)=c$.

AMS 2000 Mathematics subject classification: Primary 11D72; 11G35; 11G99

We consider a real-analytic compact surface diffeomorphism $f$, for which the tangent space over the non-wandering set $\varOmega$ admits a dominated splitting. We study the dynamical determinant

$$d_f(z)=\exp-\sum_{n\ge1}\frac{z^n}{n}\sum_{x\in\textrm{Fix}^*f^n}|\textrm{Det}(Df^n(x)-\textrm{Id})|^{-1},$$

where $\textrm{Fix}^*f^n$ denotes the set of fixed points of $f^n$ with no zero Lyapunov exponents. By combining previous work of Pujals and Sambarino on $C^2$ surface diffeomorphisms with, on the one hand, results of Rugh on hyperbolic analytic maps and, on the other, our two-dimensional version of the same author’s analysis of one-dimensional analytic dynamics with neutral fixed points, we prove that $d_f(z)$ is either an entire function or a holomorphic function in a (possibly multiply) slit plane.

AMS 2000 Mathematics subject classification: Primary 37C30; 37D30; 37E30

We prove short-time well-posedness of a Hele–Shaw system with two fluids and no surface tension (this is also known as the Muskat problem). We restrict our attention here to the stable case of the problem. That is, in order for the motion to be well-posed, the initial data must satisfy a sign condition which is a generalization of a condition of Saffman and Taylor. This sign condition essentially means that the more viscous fluid must displace the less viscous fluid. The proof uses the formulation introduced in the numerical work of Hou, Lowengrub, and Shelley, and relies on energy methods.

We prove the uniqueness for the inverse problem of determining a coefficient $q(x)$ in $\partial _t^2 u(x,t) = \uDelta u(x,t) - q(x)u(x,t)$ for $x \in R^n$ and $t > 0$, from observations of $u\vert_{\Gamma\times(0,T)}$ and the normal derivative $\frac{\partial u}{\partial \nu}\vert_{\Gamma\times(0,T)}$ where $\Gamma$ is an arbitrary $C^{\infty}$-hypersurface. Our main result asserts the uniqueness of $q$ over $R^n$ provided that $T > 0$ is sufficiently large and $q$ is analytic near $\Gamma$ and outside a ball. The proof depends on Fritz John's global Holmgren theorem and the uniqueness by a Carleman estimate.

We present a mathematical model describing the distribution of monomer and micellar surfactant in a steady straining flow beneath a fixed free surface. The model includes adsorption of monomer surfactant at the surface and a single-step reaction whereby $n$ monomer molecules combine to form each micelle. The equations are analysed asymptotically and numerically and the results are compared with experiments. Previous studies of such systems have often assumed equilibrium between the monomer and micellar phases, i.e. that the reaction rate is effectively infinite. Our analysis shows that such an approach inevitably fails under certain physical conditions and also cannot accurately match some experimental results. Our theory provides an improved fit with experiments and allows the reaction rates to be estimated.

The steady-state viscous quantum hydrodynamic model in one space dimension is studied. The model consists of the continuity equations for the particle and current densities, coupled to the Poisson equation for the electrostatic potential. The equations are derived from a Wigner–Fokker–Planck model and they contain a third-order quantum correction term and second-order viscous terms. The existence of classical solutions is proved for “weakly supersonic” quantum flows. This means that a smallness condition on the particle velocity is still needed but the bound is allowed to be larger than for classical subsonic flows. Furthermore, the uniqueness of solutions and various asymptotic limits (semiclassical and inviscid limits) are investigated. The proofs are based on a reformulation of the problem as a fourth-order elliptic equation by using an exponential variable transformation.

Movement of biological organisms is frequently initiated in response to a diffusible or otherwise transported signal, and in its simplest form this movement can be described by a diffusion equation with an advection term. In systems in which the signal is localized in space the question arises as to whether aggregation of a population of indirectly-interacting organisms, or localization of a single organism, is possible under suitable hypotheses on the transition rules and the production of a control species that modulates the transition rates. It has been shown [25] that continuum approximations of reinforced random walks show aggregation and even blowup, but the connections between solutions of the continuum equations and of the master equation for the corresponding lattice walk were not studied. Using variational techniques and the existence of a Lyapunov functional, we study these connections here for certain simplified versions of the model studied earlier. This is done by relating knowledge about the shape of the minimizers of a variational problem to the asymptotic spatial structure of the solution.

The imaginary powers of the Laplace operator over the circle give a $C_0$ group of bounded linear operators on $\mathsf{L}_{\theta}^p(0,2\pi)$ ($1\ltp\lt\infty$). Whereas the group is unbounded on $\mathsf{L}^4$, this paper shows that the $\mathsf{L}^4$ long-time averages of each $f$ in $\mathsf{L}^2$ are bounded. This is a Fourier restriction phenomenon.

AMS 2000 Mathematics subject classification: Primary 42A15; 42B15

This paper continue to study the interrelation and hierarchy of the spaces of operator-Lipschitz functions and the spaces of functions closed to them: commutator bounded and operator stable. It also examines various properties of symmetrically normed ideals, introduces new classes of ideals: regular and Fuglede, and investigates them.

AMS 2000 Mathematics subject classification: Primary 47A56; 47L20

For a large class of subsets $\varOmega\subset\mathbb{R}^{N}$ (including unbounded domains), we discuss the Fredholm and properness properties of second-order quasilinear elliptic operators viewed as mappings from $W^{2,p}(\varOmega;\mathbb{R}^{m})$ to $L^{p}(\varOmega;\mathbb{R}^{m})$ with $N\ltp\lt\infty$ and $m\geq1$. These operators arise in the study of elliptic systems of $m$ equations on $\varOmega$. A study in the case of a single equation ($m=1$) on $\mathbb{R}^{N}$ was carried out by Rabier and Stuart.

AMS 2000 Mathematics subject classification: Primary 35J45; 35J60. Secondary 47A53; 47F05

For a subset $E\subseteq\mathbb{R}^{d}$ and $x\in\mathbb{R}^{d}$, the local Hausdorff dimension function of $E$ at $x$ is defined by

$$ \mathrm{dim}_{\mathrm{loc}}(x,E)=\lim_{r\searrow0}\mathrm{dim}(E\cap B(x,r)), $$

where ‘dim’ denotes the Hausdorff dimension. Using some of our earlier results on so-called multifractal divergence points we give a short proof of the following result: any continuous function $f:\mathbb{R}^{d}\to[0,d]$ is the local dimension function of some set $E\subseteq\mathbb{R}^{d}$. In fact, our result also provides information about the rate at which the dimension $\mathrm{dim}(E\cap B(x,r))$ converges to $f(x)$ as $r\searrow0$.

AMS 2000 Mathematics subject classification: Primary 28A80

Suppose we are given $n$ coloured balls and an integer $k$ between 2 and $n$. How many colour-comparisons $Q(n,k)$ are needed to decide whether $k$ balls have the same colour? The corresponding problem when there is an (unknown) linear order with repetitions on the balls was solved asymptotically by Björner, Lovász and Yao, the complexity being \smash{$\theta (n\log\frac{2n}{k})$}. Here we give the exact answer for \smash{$k>\frac{n}{2}: Q(n,k)=2n-k-1$}, and the order of magnitude for arbitrary \smash{$k:Q(n,k)=\theta(\frac{n^2}{k})$}.

We give a closed formula for the Conway function of a splice in terms of the Conway function of its splice components. As corollaries, we refine and generalize results of Seifert, Torres and Sumners-Woods.

AMS 2000 Mathematics subject classification: Primary 57M25

Randomized search heuristics like evolutionary algorithms and simulated annealing find many applications, especially in situations where no full information on the problem instance is available. In order to understand how these heuristics work, it is necessary to analyse their behaviour on classes of functions. Such an analysis is performed here for the class of monotone pseudo-Boolean polynomials. Results depending on the degree and the number of terms of the polynomial are obtained. The class of monotone polynomials is of special interest since simple functions of this kind can have an image set of exponential size, improvements can increase the Hamming distance to the optimum and, in order to find a better search point, it can be necessary to search within a large plateau of search points with the same fitness value.

Finite graph homology may seem trivial, but for infinite graphs things become interesting. We present a new ‘singular’ approach that builds the cycle space of a graph not on its finite cycles but on its topological circles, the homeomorphic images of $S^1$ in the space formed by the graph together with its ends.

Our approach permits the extension to infinite graphs of standard results about finite graph homology – such as cycle–cocycle duality and Whitney's theorem, Tutte's generating theorem, MacLane's planarity criterion, the Tutte/Nash-Williams tree packing theorem – whose infinite versions would otherwise fail. A notion of end degrees motivated by these results opens up new possibilities for an ‘extremal’ branch of infinite graph theory.

Numerous open problems are suggested.

Walter Deuber died on 16th July 1999 at the age of 56 after a one-and-a-half year struggle with cancer. On 6th October 2002 he would have celebrated his 60th birthday. In order to commemorate this date several of his friends, former students and colleagues came together in the evening of this day in Berlin and started a two-day conference on Combinatorics in honour of Walter Deuber.