3,117 research outputs found

    Roche Lobe Overflow from Dwarf Stellar Systems

    Full text link
    We use both analytical analyses and numerical simulations to examine the evolution of residual gas within tidally-limited dwarf galaxies and globular clusters. If the gas sound speed exceeds about 10% of the central velocity dispersion, as is the case for ionized gas within small stellar systems, the gas shall have significant density at the tidal radius, and the gas may be lost on timescales as short as a few times the sound crossing time of the system. In colder systems, the density at the tidal radius is much lower, greatly reducing the mass loss rate, and the system may retain its gas for a Hubble time. The tidally removed gas shall follow an orbit close to that of the original host system, forming an extended stream of ionized, gaseous debris. Tidal mass loss severely limits the ability of dwarf systems to continuously form stars. The ordinary gas content in many dwarf galaxies is fully ionized during high red-shift epochs, possibly preventing star formation in some systems, leading to the formation of starless, dark-matter concentrations. In either the field or in the center of galaxy clusters, ionized gas may be retained by dwarf galaxies, even though its sound speed may be comparable to or even exceed the velocity dispersion. These processes may help to explain some observed differences among dwarf galaxy types, as well as observations of the haloes of massive galaxies.Comment: 28 pages, LaTeX, AASTex macro

    A Phase-Space Approach to Collisionless Stellar Systems Using a Particle Method

    Get PDF
    A particle method for reproducing the phase space of collisionless stellar systems is described. The key idea originates in Liouville's theorem which states that the distribution function (DF) at time t can be derived from tracing necessary orbits back to t=0. To make this procedure feasible, a self-consistent field (SCF) method for solving Poisson's equation is adopted to compute the orbits of arbitrary stars. As an example, for the violent relaxation of a uniform-density sphere, the phase-space evolution which the current method generates is compared to that obtained with a phase-space method for integrating the collisionless Boltzmann equation, on the assumption of spherical symmetry. Then, excellent agreement is found between the two methods if an optimal basis set for the SCF technique is chosen. Since this reproduction method requires only the functional form of initial DFs but needs no assumptions about symmetry of the system, the success in reproducing the phase-space evolution implies that there would be no need of directly solving the collisionless Boltzmann equation in order to access phase space even for systems without any special symmetries. The effects of basis sets used in SCF simulations on the reproduced phase space are also discussed.Comment: 16 pages w/4 embedded PS figures. Uses aaspp4.sty (AASLaTeX v4.0). To be published in ApJ, Oct. 1, 1997. This preprint is also available at http://www.sue.shiga-u.ac.jp/WWW/prof/hozumi/papers.htm

    Surface Phase Transitions Induced by Electron Mediated Adatom-Adatom Interaction

    Full text link
    We propose that the indirect adatom-adatom interaction mediated by the conduction electrons of a metallic surface is responsible for the 3×33×3\sqrt{3}\times \sqrt{3}\Leftrightarrow 3\times 3 structural phase transitions observed in Sn/Ge (111) and Pb/Ge (111). When the indirect interaction overwhelms the local stress field imposed by the substrate registry, the system suffers a phonon instability, resulting in a structural phase transition in the adlayer. Our theory is capable of explaining all the salient features of the 3×33×3\sqrt{3}\times \sqrt{3}\Leftrightarrow 3\times 3 transitions observed in Sn/Ge (111) and Pb/Ge (111), and is in principle applicable to a wide class of systems whose surfaces are metallic before the transition.Comment: 4 pages, 5 figure

    Interplay Between Chaotic and Regular Motion in a Time-Dependent Barred Galaxy Model

    Full text link
    We study the distinction and quantification of chaotic and regular motion in a time-dependent Hamiltonian barred galaxy model. Recently, a strong correlation was found between the strength of the bar and the presence of chaotic motion in this system, as models with relatively strong bars were shown to exhibit stronger chaotic behavior compared to those having a weaker bar component. Here, we attempt to further explore this connection by studying the interplay between chaotic and regular behavior of star orbits when the parameters of the model evolve in time. This happens for example when one introduces linear time dependence in the mass parameters of the model to mimic, in some general sense, the effect of self-consistent interactions of the actual N-body problem. We thus observe, in this simple time-dependent model also, that the increase of the bar's mass leads to an increase of the system's chaoticity. We propose a new way of using the Generalized Alignment Index (GALI) method as a reliable criterion to estimate the relative fraction of chaotic vs. regular orbits in such time-dependent potentials, which proves to be much more efficient than the computation of Lyapunov exponents. In particular, GALI is able to capture subtle changes in the nature of an orbit (or ensemble of orbits) even for relatively small time intervals, which makes it ideal for detecting dynamical transitions in time-dependent systems.Comment: 21 pages, 9 figures (minor typos fixed) to appear in J. Phys. A: Math. Theo

    Capturing Hiproofs in HOL Light

    Full text link
    Hierarchical proof trees (hiproofs for short) add structure to ordinary proof trees, by allowing portions of trees to be hierarchically nested. The additional structure can be used to abstract away from details, or to label particular portions to explain their purpose. In this paper we present two complementary methods for capturing hiproofs in HOL Light, along with a tool to produce web-based visualisations. The first method uses tactic recording, by modifying tactics to record their arguments and construct a hierarchical tree; this allows a tactic proof script to be modified. The second method uses proof recording, which extends the HOL Light kernel to record hierachical proof trees alongside theorems. This method is less invasive, but requires care to manage the size of the recorded objects. We have implemented both methods, resulting in two systems: Tactician and HipCam
    corecore