Microstructural and Isotopic Constraints on WL Rim Formation

Coordinated microanalyses of Wark-Lovering (WL) rims are needed to best understand their origin and to decipher their subsequent evolution both in the nebular and parent body settings. Here we present the mineralogy, petrology, microstructures, O isotopic compositions, and Al-Mg systematics of a WL rim on a Type B CAI, Big Guy, from the reduced CV3 chondrite Vigarano [1]. Our SEM and TEM study reveals seven distinct mineral layers in the WL rim that include: (1) gehlenite with rare grossite, (2) hibonite, (3) spinel with minor hibonite and perovskite, (4) zoned melilite (k(sub ~0-10)), (5) anorthite, (6) zoned diopside grading outwards from Al,Ti-rich to Al,Tipoor, and (7) forsterite intergrown with diopside. We infer a two-stage history in which WL rim formation was initiated by flash melting and extensive evaporation of the original inclusion edge, followed by subsequent condensation under highly dynamic conditions. The outermost edge of the CAI mantle is mineralogically and texturally distinct compared to the underlying mantle that is composed of coarse, zoned melilite (k(sub ~10-60)) grains. The mantle edge contains finegrained gehlenite with hibonite and rare grossite that likely formed by rapid crystallization from a Ca,Al-rich melt produced during a flash vaporization event [2]. These gehlenite and hibonite layers are surrounded by successive layers of spinel, melilite, diopside, and forsterite, indicating their sequential gas-solid reactions onto hibonite. Anorthite occurs as a discontinuous layer that corrodes adjacent melilite and Al-diopside, and appears to have replaced them [3,4], probably even later than the forsterite layer formation. All the WL rim minerals analyzed using the JSC NanoSIMS 50L are 16O-rich (17O 23), indicating their formation in an 16O-rich gas reservoir. Our data are in contrast with many CV CAIs that show heterogeneous 17O values across their WL rims [5]. Our Al-Mg data obtained using the UCLA ims-1290 ion microprobe of the CAI interior and the WL rim define a well-correlated isochron with (26Al/27Al)(sub 0) = 4.94 10(exp 5), indicating their synchronous formation 5 10(exp 4) years after the canonical CAI value. In contrast, no 26Mg excesses are observed in the WL rim anorthite, which suggests its later formation or later isotopic resetting in an 16O-rich gas reservoir, after 26Al had decayed

The evolution problem for the 1D nonlocal Fisher-KPP equation with a top hat kernel. Part 1. The Cauchy problem on the real line

We study the Cauchy problem on the real line for the nonlocal Fisher-KPP equation in one spatial dimension, $$u_t = D u_{xx} + u(1-\phi*u),$$ where $\phi*u$ is a spatial convolution with the top hat kernel, $\phi(y) \equiv H\left(\frac{1}{4}-y^2\right)$. After showing that the problem is globally well-posed, we demonstrate that positive, spatially-periodic solutions bifurcate from the spatially-uniform steady state solution $u=1$ as the diffusivity, $D$, decreases through $\Delta_1 \approx 0.00297$. We explicitly construct these spatially-periodic solutions as uniformly-valid asymptotic approximations for $D \ll 1$, over one wavelength, via the method of matched asymptotic expansions. These consist, at leading order, of regularly-spaced, compactly-supported regions with width of $O(1)$ where $u=O(1)$, separated by regions where $u$ is exponentially small at leading order as $D \to 0^+$. From numerical solutions, we find that for $D \geq \Delta_1$, permanent form travelling waves, with minimum wavespeed, $2 \sqrt{D}$, are generated, whilst for $0 < D < \Delta_1$, the wavefronts generated separate the regions where $u=0$ from a region where a steady periodic solution is created. The structure of these transitional travelling waves is examined in some detail

Inferring forest fate from demographic data: from vital rates to population dynamic models

As population-level patterns of interest in forests emerge from individual vital rates, modelling forest dynamics requires making the link between the scales at which data are collected (individual stems) and the scales at which questions are asked (e.g. populations and communities). Structured population models (e.g. integral projection models (IPMs)) are useful tools for linking vital rates to population dynamics. However, the application of such models to forest trees remains challenging owing to features of tree life cycles, such as slow growth, long lifespan and lack of data on crucial ontogenic stages. We developed a survival model that accounts for size-dependent mortality and a growth model that characterizes individual heterogeneity. We integrated vital rate models into two types of population model; an analytically tractable form of IPM and an individual-based model (IBM) that is applied with stochastic simulations. We calculated longevities, passage times to, and occupancy time in, different life cycle stages, important metrics for understanding how demographic rates translate into patterns of forest turnover and carbon residence times. Here, we illustrate the methods for three tropical forest species with varying life-forms. Population dynamics from IPMs and IBMs matched a 34 year time series of data (albeit a snapshot of the life cycle for canopy trees) and highlight differences in life-history strategies between species. Specifically, the greater variation in growth rates within the two canopy species suggests an ability to respond to available resources, which in turn manifests as faster passage times and greater occupancy times in larger size classes. The framework presented here offers a novel and accessible approach to modelling the population dynamics of forest trees

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

Local light-ray rotation

We present a sheet structure that rotates the local ray direction through an arbitrary angle around the sheet normal. The sheet structure consists of two parallel Dove-prism sheets, each of which flips one component of the local direction of transmitted light rays. Together, the two sheets rotate transmitted light rays around the sheet normal. We show that the direction under which a point light source is seen is given by a Mobius transform. We illustrate some of the properties with movies calculated by ray-tracing software.Comment: 9 pages, 6 figure

Well-posedness and qualitative behaviour of a semi-linear parabolic Cauchy problem arising from a generic model for fractional-order autocatalysis

In this paper, we examine a semi-linear parabolic Cauchy problem with non-Lipschitz nonlinearity which arises as a generic form in a significant number of applications. Specifically, we obtain a well-posedness result and examine the qualitative structure of the solution in detail. The standard classical approach to establishing well-posedness is precluded owing to the lack of Lipschitz continuity for the nonlinearity. Here, existence and uniqueness of solutions is established via the recently developed generic approach to this class of problem (Meyer & Needham 2015 The Cauchy problem for non-Lipschitz semi-linear parabolic partial differential equations. London Mathematical Society Lecture Note Series, vol. 419) which examines the difference of the maximal and minimal solutions to the problem. From this uniqueness result, the approach of Meyer & Needham allows for development of a comparison result which is then used to exhibit global continuous dependence of solutions to the problem on a suitable initial dataset. The comparison and continuous dependence results obtained here are novel to this class of problem. This class of problem arises specifically in the study of a one-step autocatalytic reaction, which is schematically given by A→B at rate a(p)b(q) (where a and b are the concentrations of A and B, respectively, with 0<p,q<1) and well-posedness for this problem has been lacking up to the present

Aspects of Hadamard well-posedness for classes of non-Lipschitz semilinear parabolic partial differential equations

We study classical solutions of the Cauchy problem for a class of non-Lipschitz semilinear parabolic partial differential equations in one spatial dimension with sufficiently smooth initial data. When the nonlinearity is Lipschitz continuous, results concerning existence, uniqueness and continuous dependence on initial data are well established (see, for example, the texts of Friedman and Smoller and, in the context of the present paper, see also Meyer), as are the associated results concerning Hadamard well-posedness. We consider the situations when the nonlinearity is Hölder continuous and when the nonlinearity is upper Lipschitz continuous. Finally, we consider the situation when the nonlinearity is both Hölder continuous and upper Lipschitz continuous. In each case we focus upon the question of existence, uniqueness and continuous dependence on initial data, and thus upon aspects of Hadamard well-posedness.</jats:p