Quasivariational solutions for first order quasilinear equations with gradient constraint

We prove the existence of solutions for an evolution quasi-variational inequality with a first order quasilinear operator and a variable convex set, which is characterized by a constraint on the absolute value of the gradient that depends on the solution itself. The only required assumption on the nonlinearity of this constraint is its continuity and positivity. The method relies on an appropriate parabolic regularization and suitable {\em a priori} estimates. We obtain also the existence of stationary solutions, by studying the asymptotic behaviour in time. In the variational case, corresponding to a constraint independent of the solution, we also give uniqueness results

Inventário De Moluscos Do Estuário Do Rio Paraíba No Nordeste Do Brasil

Coastal ecosystems of northeastern Brazil have important biodiversity with regard to marine mollusks, which are insufficiently studied. Here we provide an inventory of mollusks from two sites in the estuary of the Paraíba River. Mollusks were collected in 2014 and 2016 on the coast and sandbanks located on the properties of Treze de Maio and Costinha de Santo Antônio. The malacofaunal survey identified 12 families, 20 genera and 21 species of bivalves, 17 families, 19 genera and 20 species of gastropods and one species of cephalopod. Bivalves of the family Veneridae Rafinesque, 1815 were the most representative, with a total of five species. Gastropods of the family Littorinidae Children, 1834 had the greatest species richness. The most abundant species were: Neritina virginea (Linnaeus, 1758), Brachidontes exustus (Linnaeus, 1758), Crassostrea brasiliana (Lamarck, 1819), Cerithium atratum (Born, 1778), Anomalocardia brasiliana (Gmelin, 1791), Parvanachis obesa (C. B. Adams, 1845), Phrontis polygonata (Lamarck, 1822), Littoraria angulifera (Lamarck, 1822), L. flava (King, 1832), Tagelus plebeius (Lightfoot, 1786), Echinolittorina lineolata (d’Orbigny, 1840) and Iphigenia brasiliensis (Lamarck, 1818). The results show that the study area has considerable species richness of Mollusca, requiring environmental monitoring in the region mainly due to the economic importance of some species to the local population. © 2017, Universidade Estadual de Campinas UNICAMP. All rights reserved.17

Tracer diffusion in granular shear flows

Tracer diffusion in a granular gas in simple shear flow is analyzed. The analysis is made from a perturbation solution of the Boltzmann kinetic equation through first order in the gradient of the mole fraction of tracer particles. The reference state (zeroth-order approximation) corresponds to a Sonine solution of the Boltzmann equation, which holds for arbitrary values of the restitution coefficients. Due to the anisotropy induced in the system by the shear flow, the mass flux defines a diffusion tensor $D_{ij}$ instead of a scalar diffusion coefficient. The elements of this tensor are given in terms of the restitution coefficients and mass and size ratios. The dependence of the diffusion tensor on the parameters of the problem is illustrated in the three-dimensional case. The results show that the influence of dissipation on the elements $D_{ij}$ is in general quite important, even for moderate values of the restitution coefficients. In the case of self-diffusion (mechanically equivalent particles), the trends observed in recent molecular dynamics simulations are similar to those obtained here from the Boltzmann kinetic theory.Comment: 5 figure

Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic

A Study of Phase Transition in Black Hole Thermodynamics

This paper deals with five-dimensional black hole solutions in (a) Einstein-Maxwell-Gauss-Bonnet theory with a cosmological constant and (b)Einstein-Yang-Mills-Gauss-Bonnet theory for spherically symmetric space time. In both the cases the possibility of phase transition is examined and it is analyzed whether the phase transition is a Hawking-Page type phase transition or not.Comment: 16 figure

Measuring the elements of the optical density matrix

Most methods for experimentally reconstructing the quantum state of light involve determining a quasiprobability distribution such as the Wigner function. In this paper we present a scheme for measuring individual density matrix elements in the photon number state representation. Remarkably, the scheme is simple, involving two beam splitters and a reference field in a coherent state.Comment: 6 pages and 1 figur

Synthetic genetic oscillators demonstrate the functional importance of phenotypic variation in pneumococcal-host interactions.

Phenotypic variation is the phenomenon in which clonal cells display different traits even under identical environmental conditions. This plasticity is thought to be important for processes including bacterial virulence, but direct evidence for its relevance is often lacking. For instance, variation in capsule production in the human pathogen Streptococcus pneumoniae has been linked to different clinical outcomes, but the exact relationship between variation and pathogenesis is not well understood due to complex natural regulation. In this study, we use synthetic oscillatory gene regulatory networks (GRNs) based on CRISPR interference (CRISPRi) together with live cell imaging and cell tracking within microfluidics devices to mimic and test the biological function of bacterial phenotypic variation. We provide a universally applicable approach for engineering intricate GRNs using only two components: dCas9 and extended sgRNAs (ext-sgRNAs). Our findings demonstrate that variation in capsule production is beneficial for pneumococcal fitness in traits associated with pathogenesis providing conclusive evidence for this longstanding question

Diffusion of impurities in a granular gas

Diffusion of impurities in a granular gas undergoing homogeneous cooling state is studied. The results are obtained by solving the Boltzmann--Lorentz equation by means of the Chapman--Enskog method. In the first order in the density gradient of impurities, the diffusion coefficient $D$ is determined as the solution of a linear integral equation which is approximately solved by making an expansion in Sonine polynomials. In this paper, we evaluate $D$ up to the second order in the Sonine expansion and get explicit expressions for $D$ in terms of the restitution coefficients for the impurity--gas and gas--gas collisions as well as the ratios of mass and particle sizes. To check the reliability of the Sonine polynomial solution, analytical results are compared with those obtained from numerical solutions of the Boltzmann equation by means of the direct simulation Monte Carlo (DSMC) method. In the simulations, the diffusion coefficient is measured via the mean square displacement of impurities. The comparison between theory and simulation shows in general an excellent agreement, except for the cases in which the gas particles are much heavier and/or much larger than impurities. In theses cases, the second Sonine approximation to $D$ improves significantly the qualitative predictions made from the first Sonine approximation. A discussion on the convergence of the Sonine polynomial expansion is also carried out.Comment: 9 figures. to appear in Phys. Rev.

Irrelevance of photon events distinguishability in a class of Bell experiments

We show that the possibility of distinguishing between single- and two-photon detection events, usually not met in the actual experiments, is not a necessary requirement for proof that the experiments of Alley and Shih [Phys. Rev. Lett. 61, 2921 (1988)] and Ou and Mandel [Phys. Rev. Lett. 61, 50 (1988)] are modulo a fair sampling assumption, valid tests of local realism. We also give the critical parameters for the experiments to be unconditional tests of local realism, and show that some other interesting phenomena (involving bosonic-type particle indistinguishability) can be observed during such tests

Nonequilibrium wetting

When a nonequilibrium growing interface in the presence of a wall is considered a nonequilibrium wetting transition may take place. This transition can be studied trough Langevin equations or discrete growth models. In the first case, the Kardar-Parisi-Zhang equation, which defines a very robust universality class for nonequilibrium moving interfaces, with a soft-wall potential is considered. While in the second, microscopic models, in the corresponding universality class, with evaporation and deposition of particles in the presence of hard-wall are studied. Equilibrium wetting is related to a particular case of the problem, it corresponds to the Edwards-Wilkinson equation with a potential in the continuum approach or to the fulfillment of detailed balance in the microscopic models. In this review we present the analytical and numerical methods used to investigate the problem and the very rich behavior that is observed with them.Comment: Review, 36 pages, 16 figure