Source author record

Alan D. Rendall

Alan D. Rendall appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

40works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

40 published item(s)

preprint2022arXiv

Phenomenology of an in-host model of hepatitis C

This paper carries out an analysis of the global properties of solutions of an in-host model of hepatitis C for general values of its parameters. A previously unknown stable steady state on the boundary of the positive orthant is exhibited. It is proved that the model exhibits Hopf bifurcations and hence periodic solutions. A general parametrization of positive steady states is given and it is determined when the number of steady states is odd or even, according to the value of a certain basic reproductive ratio. This implies, in particular, that when this reproductive ratio is greater than one there always exists at least one positive steady state. A positive steady state which bifurcates from an infection-free state when the reproductive ratio passes through one is always stable, i.e. no backward bifurcation occurs in this model.

preprint2021arXiv

Autophosphorylation and the dynamics of the activation of Lck

Lck (lymphocyte-specific protein tyrosine kinase) is an enzyme which plays a number of important roles in the function of immune cells. It belongs to the Src family of kinases which are known to undergo autophosphorylation. It turns out that this leads to a remarkable variety of dynamical behaviour which can occur during their activation. We prove that in the presence of autophosphorylation one phenomenon, bistability, already occurs in a mathematical model for a protein with a single phosphorylation site. We further show that a certain model of Lck exhibits oscillations. Finally we discuss the relations of these results to models in the literature which involve Lck and describe specific biological processes, such as the early stages of T cell activation and the stimulation of T cell responses resulting from the suppression of PD-1 signalling which is important in immune checkpoint therapy for cancer.

preprint2020arXiv

Unbounded solutions of models for glycolysis

The Selkov oscillator, a simple description of glycolysis, is a system of two ordinary differential equations with mass action kinetics. In previous work the authors established several properties of the solutions of this system. In the present paper we extend this to prove that this system has solutions which diverge to infinity in an oscillatory manner at late times. This system was originally derived from another system with Michaelis-Menten kinetics. It is shown that the Michaelis-Menten system, like that with mass action, has solutions which diverge to infinity in a monotone manner. It is also shown to admit subcritical Hopf bifurcations and thus unstable periodic solutions. We discuss to what extent the unbounded solutions cast doubt on the biological relevance of the Selkov oscillator and compare it with other models in the literature.

preprint2016arXiv

A Calvin bestiary

This paper compares a number of mathematical models for the Calvin cycle of photosynthesis and presents theorems on the existence and stability of steady states of these models. Results on five-variable models in the literature are surveyed. Next a number of larger models related to one introduced by Pettersson and Ryde-Pettersson are discussed. The mathematical nature of this model is clarified, showing that it is naturally defined as a system of differential-algebraic equations. It is proved that there are choices of parameters for which this model admits more than one positive steady state. This is done by analysing the limit where the storage of sugars from the cycle as starch is shut down. There is also a discussion of the minimal models for the cycle due to Hahn.

preprint2016arXiv

Stability of stationary solutions in models of the Calvin cycle

In this paper results are obtained concerning the number of positive stationary solutions in simple models of the Calvin cycle of photosynthesis and the stability of these solutions. It is proved that there are open sets of parameters in a model of Zhu et. al. for which there exist two positive stationary solutions. There are never more than two isolated positive stationary solutions but under certain explicit special conditions on the parameters there is a whole continuum of positive stationary solutions. It is also shown that in the set of parameter values for which two isolated positive stationary solutions exist there is an open subset where one of the solutions is asymptotically stable and the other is unstable. In related models , for which it was known that more that one positive stationary solution exists, it is proved that there are parameter values for which one of these solutions is asymptotically stable and the other unstable. A key technical aspect of the proofs is to exploit the fact that there is a bifurcation where the centre manifold is one-dimensional.

preprint2015arXiv

Dynamical features of the MAPK cascade

The MAP kinase cascade is an important signal transduction system in molecular biology for which a lot of mathematical modelling has been done. This paper surveys what has been proved mathematically about the qualitative properties of solutions of the ordinary differential equations arising as models for this biological system. It focusses, in particular, on the issues of multistability and the existence of sustained oscillations. It also gives a concise introduction to the mathematical techniques used in this context, bifurcation theory and geometric singular perturbation theory, as they relate to these specific examples. In addition further directions are presented in which the applications of these techniques could be extended in the future.

preprint2015arXiv

Overload breakdown in models for photosynthesis

In many models of the Calvin cycle of photosynthesis it is observed that there are solutions where concentrations of key substances belonging to the cycle tend to zero at late times, a phenomenon known as overload breakdown. In this paper we prove theorems about the existence and non-existence of solutions of this type and obtain information on which concentrations tend to zero when overload breakdown occurs. As a starting point we take a model of Pettersson and Ryde-Pettersson which seems to be prone to overload breakdown and a modification of it due to Poolman which was intended to avoid this effect.

preprint2015arXiv

Sustained oscillations in the MAP kinase cascade

The MAP kinase cascade is a network of enzymatic reactions arranged in layers. In each layer occurs a multiple futile cycle of phosphorylations. The fully phosphorylated substrate then serves as an enzyme for the layer below. This papers focusses on the existence of parameters for which Hopf bifurcations occur and generate periodic orbits. Furthermore it is explained how geometric singular perturbation theory allows to generalize results from simple models to more complex ones.

preprint2014arXiv

A proof of bistability for the dual futile cycle

The multiple futile cycle is an important building block in networks of chemical reactions arising in molecular biology. A typical process which it describes is the addition of n phosphate groups to a protein. It can be modelled by a system of ordinary differential equations depending on parameters. The special case n = 2 is called the dual futile cycle. The main result of this paper is a proof that there are parameter values for which the system of ODE describing the dual futile cycle has two distinct stable stationary solutions. The proof is based on bifurcation theory and geometric singular perturbation theory. An important entity built of three coupled multiple futile cycles is the MAPK cascade. It is explained how the ideas used to prove bistability for the dual futile cycle might help to prove the existence of periodic solutions for the MAPK cascade.

preprint2013arXiv

Dynamical properties of models for the Calvin cycle

Modelling the Calvin cycle of photosynthesis leads to various systems of ordinary differential equations and reaction-diffusion equations. They differ by the choice of chemical substances included in the model, the choices of stoichiometric coefficients and chemical kinetics and whether or not diffusion is taken into account. This paper studies the long-time behaviour of solutions of several of these systems, concentrating on the ODE case. In some examples it is shown that there exist two positive stationary solutions. In several cases it is shown that there exist solutions where the concentrations of all substrates tend to zero at late times and others (runaway solutions) where the concentrations of all substrates increase without limit. In another case, where the concentration of ATP is explicitly included, runaway solutions are ruled out.

preprint2013arXiv

The spatially homogeneous relativistic Boltzmann equation with a hard potential

In this paper, we study spatially homogeneous solutions of the Boltzmann equation in special relativity and in Robertson-Walker spacetimes. We obtain an analogue of the Povzner inequality in the relativistic case and use it to prove global existence theorems. We show that global solutions exist for a certain class of collision cross sections of the hard potential type in Minkowski space and in spatially flat Robertson-Walker spacetimes.

preprint2012arXiv

Construction of oscillatory singularities

One way to understand more about spacetime singularities is to construct solutions of the Einstein equations containing singularities with prescribed properties. The heuristic ideas of the BKL picture suggest that oscillatory singularities should be very common and give a detailed picture of how these could look. The more straightforward case of singularities without oscillations is reviewed and existing results on that subject are surveyed. Then recent theorems proving the existence of spatially homogeneous solutions with oscillatory singularities of a specific type are presented. The proofs of these involve applications of some ideas concerning heteroclinic chains and their stability. Some necessary background from the theory of dynamical systems is explained. Finally some directions in which this research might be generalized in the future are pointed out.

preprint2012arXiv

Mathematics of the NFAT signalling pathway

This paper is a mathematical study of some aspects of the signalling pathway leading to the activation of the transcription factor NFAT (nuclear factor of activated T cells). Activation takes place by dephosphorylation at multiple sites. This has been modelled by Salazar and Höfer using a large system of ordinary differential equations depending on many parameters. With the help of chemical reaction network theory we show that for any choice of the parameters this system has a unique stationary solution for each value of the conserved quantity given by the total amount of NFAT and that all solutions converge to this stationary solution at late times. The dephosphorylation is carried out by calcineurin, which in turn is activated by a rise in calcium concentration. We study the way in which the dynamics of the calcium concentration influences NFAT activation, an issue also considered by Salazar and Höfer with the help of a model arising from work of Somogyi and Stucki. Criteria are obtained for convergence to equilibrium of solutions of the model for the calcium concentration.

preprint2012arXiv

The Einstein-Boltzmann system and positivity

The Einstein-Boltzmann system is studied, with particular attention to the non-negativity of the solution of the Boltzmann equation. A new parametrization of post-collisional momenta in general relativity is introduced and then used to simplify the conditions on the collision cross-section given by Bancel and Choquet-Bruhat. The non-negativity of solutions of the Boltzmann equation on a given curved spacetime has been studied by Bichteler and by Tadmon. By examining to what extent the results of these authors apply in the framework of Bancel and Choquet-Bruhat, the non-negativity problem for the Einstein-Boltzmann system is resolved for a certain class of scattering kernels. It is emphasized that it is a challenge to extend the existing theory of the Cauchy problem for the Einstein-Boltzmann system so as to include scattering kernels which are physically well-motivated.

preprint2011arXiv

A global foliation of Einstein-Euler spacetimes with Gowdy-symmetry on T3

We investigate the initial value problem for the Einstein-Euler equations of general relativity under the assumption of Gowdy symmetry on T3, and we construct matter spacetimes with low regularity. These spacetimes admit, both, impulsive gravitational waves in the metric (for instance, Dirac mass curvature singularities propagating at light speed) and shock waves in the fluid (i.e., discontinuities propagating at about the sound speed). Given an initial data set, we establish the existence of a future development and we provide a global foliation in terms of a globally and geometrically defined time-function, closely related to the area of the orbits of the symmetry group. The main difficulty lies in the low regularity assumed on the initial data set which requires a distributional formulation of the Einstein-Euler equations.

preprint2011arXiv

Multiple steady states in a mathematical model for interactions between T cells and macrophages

The aim of this paper is to prove results about the existence and stability of multiple steady states in a system of ordinary differential equations introduced by R. Lev Bar-Or to model the interactions between T cells and macrophages. Previous results showed that for certain values of the parameters these equations have three stationary solutions, two of which are stable. Here it is shown that there are values of the parameters for which the number of stationary solutions is at least seven and the number of stable stationary solutions at least four. This requires approaches different to those used in existing work on this subject. In addition, a rather explicit characterization is obtained of regions of parameter space for which the system has a given number of stationary solutions.

preprint2010arXiv

A class of dust-like self-similar solutions of the massless Einstein-Vlasov system

In this paper the existence of a class of self-similar solutions of the Einstein-Vlasov system is proved. The initial data for these solutions are not smooth, with their particle density being supported in a submanifold of codimension one. They can be thought of as intermediate between smooth solutions of the Einstein-Vlasov system and dust. The motivation for studying them is to obtain insights into possible violation of weak cosmic censorship by solutions of the Einstein-Vlasov system. By assuming a suitable form of the unknowns it is shown that the existence question can be reduced to that of the existence of a certain type of solution of a four-dimensional system of ordinary differential equations depending on two parameters. This solution starts at a particular point $P_0$ and converges to a stationary solution $P_1$ as the independent variable tends to infinity. The existence proof is based on a shooting argument and involves relating the dynamics of solutions of the four-dimensional system to that of solutions of certain two- and three-dimensional systems obtained from it by limiting processes.

preprint2010arXiv

Analysis of a mathematical model for interactions between T cells and macrophages

The aim of this paper is to carry out a mathematical analysis of a system of ordinary differential equations introduced by R. Lev Bar-Or to model the interactions between T cells and macrophages. Under certain restrictions on the parameters of the model, theorems are proved about the number of stationary solutions and their stability. In some cases the existence of periodic solutions or heteroclinic cycles is ruled out. Evidence is presented that the same biological phenomena could be equally well described by a simpler model.

preprint2010arXiv

Dynamics of solutions of the Einstein equations with twisted Gowdy symmetry

Some of the most interesting results on the global dynamics of solutions of the vacuum Einstein equations concern the Gowdy spacetimes whose spatial topology is that of a three-dimensional torus. In this paper certain of these ideas are extended to a wider class of vacuum spacetimes where the spatial topology is that of a non-trivial torus bundle over a circle. Compared to the case of the torus these are topologically twisted. They include inhomogeneous generalizations of the spatially homogeneous vacuum spacetimes of Bianchi types II and VI${}_0$. Using similar procedures it is shown that the vacuum solutions of Bianchi type VII${}_0$ are isometric to a class of Gowdy spacetimes, the circular loop spacetimes, thus establishing links between results in the literature which were not previously known to be related to each other.

preprint2010arXiv

Future geodesic completeness of some spatially homogeneous solutions of the vacuum Einstein equations in higher dimensions

It is known that all spatially homogeneous solutions of the vacuum Einstein equations in four dimensions which exist for an infinite proper time towards the future are future geodesically complete. This paper investigates whether the analogous statement holds in higher dimensions. A positive answer to this question is obtained for a large class of models which can be studied with the help of Kaluza-Klein reduction to solutions of the Einstein-scalar field equations in four dimensions. The proof of this result makes use of a criterion for geodesic completeness which is applicable to more general spatially homogeneous models.

preprint2009arXiv

Strong cosmic censorship for solutions of the Einstein-Maxwell field equations with polarized Gowdy symmetry

A proof of strong cosmic censorship is presented for a class of solutions of the Einstein-Maxwell equations, those with polarized Gowdy symmetry. A key element of the argument is the observation that by means of a suitable choice of variables the central equations in this problem can be written in a form where they are identical to the central equations for general (i.e. non-polarized) vacuum Gowdy spacetimes. Using this it is seen that the deep results of Ringström on strong cosmic censorship in the vacuum case have implications for the Einstein-Maxwell case. Working out the geometrical meaning of these analytical results leads to the main conclusion.

preprint2005arXiv

Inextendibility of expanding cosmological models with symmetry

A new criterion for inextendibility of expanding cosmological models with symmetry is presented. It is applied to derive a number of new results and to simplify the proofs of existing ones. In particular it shows that the solutions of the Einstein-Vlasov system with $T^2$ symmetry, including the vacuum solutions, are inextendible in the future. The technique introduced adds a qualitatively new element to the available tool-kit for studying strong cosmic censorship.

preprint2005arXiv

Power-law Inflation in Spacetimes without Symmetry

We consider models of accelerated cosmological expansion described by the Einstein equations coupled to a nonlinear scalar field with a suitable exponential potential. We show that homogeneous and isotropic solutions are stable under small nonlinear perturbations without any symmetry assumptions. Our proof is based on results on the nonlinear stability of de Sitter spacetime and Kaluza-Klein reduction techniques.

preprint2005arXiv

The nature of spacetime singularities

Present knowledge about the nature of spacetime singularities in the context of classical general relativity is surveyed. The status of the BKL picture of cosmological singularities and its relevance to the cosmic censorship hypothesis are discussed. It is shown how insights on cosmic censorship also arise in connection with the idea of weak null singularities inside black holes. Other topics covered include matter singularities and critical collapse. Remarks are made on possible future directions in research on spacetime singularities.

preprint2005arXiv

Theorems on existence and global dynamics for the Einstein equations

This article is a guide to theorems on existence and global dynamics of solutions of the Einstein equations. It draws attention to open questions in the field. The local-in-time Cauchy problem, which is relatively well understood, is surveyed. Global results for solutions with various types of symmetry are discussed. A selection of results from Newtonian theory and special relativity that offer useful comparisons is presented. Treatments of global results in the case of small data and results on constructing spacetimes with prescribed singularity structure or late-time asymptotics are given. A conjectural picture of the asymptotic behaviour of general cosmological solutions of the Einstein equations is built up. Some miscellaneous topics connected with the main theme are collected in a separate section.

preprint2004arXiv

Mathematical properties of cosmological models with accelerated expansion

An introduction to solutions of the Einstein equations defining cosmological models with accelerated expansion is given. Connections between mathematical and physical issues are explored. Theorems which have been proved for solutions with positive cosmological constant or nonlinear scalar fields are reviewed. Some remarks are made on more exotic models such as the Chaplygin gas, tachyons and $k$-essence.

preprint2001arXiv

On the Einstein-Vlasov system with hyperbolic symmetry

It is shown that a spacetime with collisionless matter evolving from data on a compact Cauchy surface with hyperbolic symmetry can be globally covered by compact hypersurfaces on which the mean curvature is constant and by compact hypersurfaces on which the area radius is constant. Results for the related cases of spherical and plane symmetry are reviewed and extended. The prospects of using the global time coordinates obtained in this way to investigate the global geometry of the spacetimes concerned are discussed.

preprint2000arXiv

Fuchsian analysis of singularities in Gowdy spacetimes beyond analyticity

Fuchsian equations provide a way of constructing large classes of spacetimes whose singularities can be described in detail. In some of the applications of this technique only the analytic case could be handled up to now. This paper develops a method of removing the undesirable hypothesis of analyticity. This is applied to the specific case of the Gowdy spacetimes in order to show that analogues of the results known in the analytic case hold in the smooth case. As far as possible the likely strengths and weaknesses of the method as applied to more general problems are displayed.

preprint2000arXiv

Local and global existence theorems for the Einstein equations

This article is a guide to the literature on existence theorems for the Einstein equations which also draws attention to open problems in the field. The local in time Cauchy problem, which is relatively well understood, is treated first. Next global results for solutions with symmetry are discussed. A selection of results from Newtonian theory and special relativity which offer useful comparisons is presented. This is followed by a survey of global results in the case of small data and results on constructing spacetimes with given singularity structure. The article ends with some miscellaneous topics connected with the main theme.

preprint2000arXiv

The Vlasov-Poisson system with radiation damping

We set up and analyze a model of radiation damping within the framework of continuum mechanics, inspired by a model of post-Newtonian hydrodynamics due to Blanchet, Damour and Schaefer. In order to simplify the problem as much as possible we replace the gravitational field by the electromagnetic field and the fluid by kinetic theory. We prove that the resulting system has a well-posed Cauchy problem globally in time for general initial data and in all solutions the fields decay to zero at late times. In particular, this means that the model is free from the runaway solutions which frequently occur in descriptions of radiation reaction.

preprint1998arXiv

Compact support of spherically symmetric equilibria in non-relativistic and relativistic galactic dynamics

Equilibrium states in galactic dynamics can be described as stationary solutions of the Vlasov-Poisson system, which is the non-relativistic case, or of the Vlasov-Einstein system, which is the relativistic case. To obtain spherically symmetric stationary solutions the distribution function of the particles (stars) on phase space is taken to be a function of the particle energy and angular momentum. We give a new condition on this function which guarantees that the resulting steady state has finite mass and compact support both for the non-relativistic and the relativistic case. The condition is local in the sense that only the asymptotic behaviour for energy values close to the maximal energy value in the particle distribution needs to be prescribed.

preprint1998arXiv

Critical collapse of collisionless matter - a numerical investigation

In recent years the threshold of black hole formation in spherically symmetric gravitational collapse has been studied for a variety of matter models. In this paper the corresponding issue is investigated for a matter model significantly different from those considered so far in this context. We study the transition from dispersion to black hole formation in the collapse of collisionless matter when the initial data is scaled. This is done by means of a numerical code similar to those commonly used in plasma physics. The result is that for the initial data for which the solutions were computed, most of the matter falls into the black hole whenever a black hole is formed. This results in a discontinuity in the mass of the black hole at the onset of black hole formation.

preprint1996arXiv

Constant mean curvature foliations in cosmological spacetimes

Foliations by constant mean curvature hypersurfaces provide a possibility of defining a preferred time coordinate in general relativity. In the following various conjectures are made about the existence of foliations of this kind in spacetimes satisfying the strong energy condition and possessing compact Cauchy hypersurfaces. Recent progress on proving these conjectures under supplementary assumptions is reviewed. The method of proof used is explained and the prospects for generalizing it discussed. The relations of these questions to cosmic censorship and the closed universe recollapse conjecture are pointed out.

preprint1995arXiv

Existence of maximal hypersurfaces in some spherically symmetric spacetimes

We prove that the maximal development of any spherically symmetric spacetime with collisionless matter (obeying the Vlasov equation) or a massless scalar field (obeying the massless wave equation) and possessing a constant mean curvature $S^1 \times S^2$ Cauchy surface also contains a maximal Cauchy surface. Combining this with previous results establishes that the spacetime can be foliated by constant mean curvature Cauchy surfaces with the mean curvature taking on all real values, thereby showing that these spacetimes satisfy the closed-universe recollapse conjecture. A key element of the proof, of interest in itself, is a bound for the volume of any Cauchy surface $Σ$ in any spacetime satisfying the timelike convergence condition in terms of the volume and mean curvature of a fixed Cauchy surface $Σ_0$ and the maximal distance between $Σ$ and $Σ_0$. In particular, this shows that any globally hyperbolic spacetime having a finite lifetime and obeying the timelike-convergence condition cannot attain an arbitrarily large spatial volume.

preprint1995arXiv

The initial singularity in solutions of the Einstein-Vlasov system of Bianchi type I

The dynamics of solutions of the Einstein-Vlasov system with Bianchi I symmetry is discussed in the case of massive or massless particles. It is shown that in the case of massive particles the solutions are asymptotic to isotropic dust solutions at late times. The initial singularity is more difficult to analyse. It is shown that the asymptotic behaviour there must be one of a small set of possibilities but it is not clear whether all of these possibilities are realized. One solution is exhibited in the case of massless particles which behaves quite differently near the singularity from any Bianchi I solution with perfect fluid as matter model. In particular the matter is not dynamically negligeable near the singularity for this solution.

preprint1994arXiv

Crushing singularities in spacetimes with spherical, plane and hyperbolic symmetry

It is shown that the initial singularities in spatially compact spacetimes with spherical, plane or hyperbolic symmetry admitting a compact constant mean curvature hypersurface are crushing singularities when the matter content of spacetime is described by the Vlasov equation (collisionless matter) or the wave equation (massless scalar field). In the spherically symmetric case it is further shown that if the spacetime admits a maximal slice then there are crushing singularities both in the past and in the future. The essential properties of the matter models chosen are that their energy-momentum tensors satisfy certain inequalities and that they do not develop singularities in a given regular background spacetime.

preprint1994arXiv

Global Properties of Locally Spatially Homogeneous Cosmological Models with Matter

The existence and nature of singularities in locally spatially homogeneous solutions of the Einstein equations coupled to various phenomenological matter models is investigated. It is shown that, under certain reasonable assumptions on the matter, there are no singularities in an expanding phase of the evolution and that unless the spacetime is empty a contracting phase always ends in a singularity where at least one scalar invariant of the curvature diverges uniformly. The class of matter models treated includes perfect fluids, mixtures of non-interacting perfect fluids and collisionless matter.

preprint1994arXiv

On the Nature of Singularities in Plane Symmetric Scalar Field Cosmologies

The nature of the initial singularity in spatially compact plane symmetric scalar field cosmologies is investigated. It is shown that this singularity is crushing and velocity dominated and that the Kretschmann scalar diverges uniformly as it is approached. The last fact means in particular that a maximal globally hyperbolic spacetime in this class cannot be extended towards the past through a Cauchy horizon. A subclass of these spacetimes is identified for which the singularity is isotropic.

preprint1993arXiv

A regularity theorem for solutions of the spherically symmetric Vlasov-Einstein system

In a previous paper two of the authors (G. R. and A. D. R.) showed that there exist global, classical solutions of the spherically symmetric Vlasov-Einstein system for small initial data. The present paper continues this investigation and allows also large initial data. It is shown that if a solution of the spherically symmetric Vlasov-Einstein system develops a singularity at all then the first singularity has to appear at the center of symmetry. The result adds weight to the conjecture that cosmic censorship holds if one replaces dust as matter model for which naked singularities do form by a collisionless gas described by the Vlasov equation. The main tool is an estimate which shows that a solution is global if all the matter remains away from the center of symmetry.

preprint1993arXiv

Unique determination of an inner product by adjointness relations in the algebra of quantum observables

It is shown that if a representation of a *-algebra on a vector space $V$ is an irreducible *-representation with respect to some inner product on $V$ then under appropriate technical conditions this property determines the inner product uniquely up to a constant factor. Ashtekar has suggested using the condition that a given representation of the algebra of quantum observables is a *-representation to fix the inner product on the space of physical states. This idea is of particular interest for the quantisation of gravity where an obvious prescription for defining an inner product is lacking. The results of this paper show rigorously that Ashtekar's criterion does suffice to determine the inner product in very general circumstances. Two versions of the result are proved: a simpler one which only applies to representations by bounded operators and a more general one which allows for unbounded operators. Some concrete examples are worked out in order to illustrate the meaning and range of applicability of the general theorems.