Continuation-conjugate gradient methods for the least squares solution of nonlinear boundary value problems

We discuss in this paper a new combination of methods for solving nonlinear boundary value problems containing a parameter. Methods of the continuation type are combined with least squares formulations, preconditioned conjugate gradient algorithms and finite element approximations. We can compute branches of solutions with limit points, bifurcation points, etc. Several numerical tests illustrate the possibilities of the methods discussed in the present paper; these include the Bratu problem in one and two dimensions, one-dimensional bifurcation and perturbed bifurcation problems, the driven cavity problem for the Navier–Stokes equations

Parametric Manifolds I: Extrinsic Approach

A parametric manifold can be viewed as the manifold of orbits of a (regular) foliation of a manifold by means of a family of curves. If the foliation is hypersurface orthogonal, the parametric manifold is equivalent to the 1-parameter family of hypersurfaces orthogonal to the curves, each of which inherits a metric and connection from the original manifold via orthogonal projections; this is the well-known Gauss-Codazzi formalism. We generalize this formalism to the case where the foliation is not hypersurface orthogonal. Crucial to this generalization is the notion of deficiency, which measures the failure of the orthogonal tangent spaces to be surface-forming, and which behaves very much like torsion. Some applications to initial value problems in general relativity will be briefly discussed.Comment: Plain TeX, 21 pages, no figure

The Topology of Branching Universes

The purpose of this paper is to survey the possible topologies of branching space-times, and, in particular, to refute the popular notion in the literature that a branching space-time requires a non-Hausdorff topology

Long term stable integration of a maximally sliced Schwarzschild black hole using a smooth lattice method

We will present results of a numerical integration of a maximally sliced Schwarzschild black hole using a smooth lattice method. The results show no signs of any instability forming during the evolutions to t=1000m. The principle features of our method are i) the use of a lattice to record the geometry, ii) the use of local Riemann normal coordinates to apply the 1+1 ADM equations to the lattice and iii) the use of the Bianchi identities to assist in the computation of the curvatures. No other special techniques are used. The evolution is unconstrained and the ADM equations are used in their standard form.Comment: 47 pages including 26 figures, plain TeX, also available at http://www.maths.monash.edu.au/~leo/preprint

On the classification of type D spacetimes

We give a classification of the type D spacetimes based on the invariant differential properties of the Weyl principal structure. Our classification is established using tensorial invariants of the Weyl tensor and, consequently, besides its intrinsic nature, it is valid for the whole set of the type D metrics and it applies on both, vacuum and non-vacuum solutions. We consider the Cotton-zero type D metrics and we study the classes that are compatible with this condition. The subfamily of spacetimes with constant argument of the Weyl eigenvalue is analyzed in more detail by offering a canonical expression for the metric tensor and by giving a generalization of some results about the non-existence of purely magnetic solutions. The usefulness of these results is illustrated in characterizing and classifying a family of Einstein-Maxwell solutions. Our approach permits us to give intrinsic and explicit conditions that label every metric, obtaining in this way an operational algorithm to detect them. In particular a characterization of the Reissner-Nordstr\"{o}m metric is accomplished.Comment: 29 pages, 0 figure

Systems and Methods for Automated Vessel Navigation Using Sea State Prediction

Systems and methods for sea state prediction and autonomous navigation in accordance with embodiments of the invention are disclosed. One embodiment of the invention includes a method of predicting a future sea state including generating a sequence of at least two 3D images of a sea surface using at least two image sensors, detecting peaks and troughs in the 3D images using a processor, identifying at least one wavefront in each 3D image based upon the detected peaks and troughs using the processor, characterizing at least one propagating wave based upon the propagation of wavefronts detected in the sequence of 3D images using the processor, and predicting a future sea state using at least one propagating wave characterizing the propagation of wavefronts in the sequence of 3D images using the processor. Another embodiment includes a method of autonomous vessel navigation based upon a predicted sea state and target location

Probing the dynamics of quasicrystal growth using synchrotron live imaging

The dynamics of quasicrystal growth remains an unsolved problem in condensed matter. By means of synchrotron live imaging, facetted growth proceeding by the tangential motion of ledges at the solid-melt interface is clearly evidenced all along the solidification of icosahedral AlPdMn quasicrystals. The effect of interface kinetics is significant so that nucleation and free growth of new facetted grains occur in the melt when the solidification rate is increased. The evolution of these grains is explained in details, which reveals the crucial role of aluminum rejection, both in the poisoning of grain growth and driving fluid flow

Contaminant Removal From Natural Resources

A zero-valent metal emulsion containing zero-valent metal particles is used to remediate contaminated natural resources, such as groundwater and soil. In a preferred embodiment, the zero-valent metal emulsion removes heavy metals, such as lead (pb), from contaminated natural resources. In another preferred embodiment, the zero-valent metal emulsion is a bimetallic emulsion containing zero-valent metal particles doped with a catalytic metal to remediate halogenated aromatic compounds, such as polychlorinated biphenyls (PCBs), from natural resources

Probabilistic Description of Traffic Breakdowns

We analyze the characteristic features of traffic breakdown. To describe this phenomenon we apply to the probabilistic model regarding the jam emergence as the formation of a large car cluster on highway. In these terms the breakdown occurs through the formation of a certain critical nucleus in the metastable vehicle flow, which enables us to confine ourselves to one cluster model. We assume that, first, the growth of the car cluster is governed by attachment of cars to the cluster whose rate is mainly determined by the mean headway distance between the car in the vehicle flow and, may be, also by the headway distance in the cluster. Second, the cluster dissolution is determined by the car escape from the cluster whose rate depends on the cluster size directly. The latter is justified using the available experimental data for the correlation properties of the synchronized mode. We write the appropriate master equation converted then into the Fokker-Plank equation for the cluster distribution function and analyze the formation of the critical car cluster due to the climb over a certain potential barrier. The further cluster growth irreversibly gives rise to the jam formation. Numerical estimates of the obtained characteristics and the experimental data of the traffic breakdown are compared. In particular, we draw a conclusion that the characteristic intrinsic time scale of the breakdown phenomenon should be about one minute and explain the case why the traffic volume interval inside which traffic breakdown is observed is sufficiently wide.Comment: RevTeX 4, 14 pages, 10 figure

Topology Change and Causal Continuity

The result that, for a scalar quantum field propagating on a ``trousers'' topology in 1+1 dimensions, the crotch singularity is a source for an infinite burst of energy has been used to argue against the occurrence of topology change in quantum gravity. We draw attention to a conjecture due to Sorkin that it may be the particular type of topology change involved in the trousers transition that is problematic and that other topology changes may not cause the same difficulties. The conjecture links the singular behaviour to the existence of ``causal discontinuities'' in the spacetime and relies on a classification of topology changes using Morse theory. We investigate various topology changing transitions, including the pair production of black holes and of topological geons, in the light of these ideas.Comment: Latex, 28 pages, 10 figures, small changes in text (one figure removed), conclusions remain unchanged. Accepted for publication in Physical Review