An existence theorem for an analytic first order PDE in the framework of Colombeau's theory

We study the existence of a holomorphic generalized solution u of the PDE[GRAPHICS]where f is a given holomorphic generalized function and (alpha (1),...alpha (m)) is an element of C-m\{0}.

Uma proposta de framework como infra-estrutura de implementação de sistemas informacionais baseados na visão dos FRBR orientado a objetos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O modelo de dados Resource Description Framework (RDF) e o seu papel na descrição de recursos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.

A study of a numerical solution of the steady two dimensions Navier-Stokes equations in a constricted channel problem by a compact fourth order method

We present a numerical solution for the steady 2D Navier-Stokes equations using a fourth order compact-type method. The geometry of the problem is a constricted symmetric channel, where the boundary can be varied, via a parameter, from a smooth constriction to one possessing a very sharp but smooth corner allowing us to analyse the behaviour of the errors when the solution is smooth or near singular. The set of non-linear equations is solved by the Newton method. Results have been obtained for Reynolds number up to 500. Estimates of the errors incurred have shown that the results are accurate and better than those of the corresponding second order method. (C) 2002 Elsevier B.V. All rights reserved.

Modeling the spatial and temporal heterogeneity of deforestation-driven carbon emissions: the INPE-EM framework applied to the Brazilian Amazon

We present a generic spatially explicit modeling framework to estimate carbon emissions from deforestation (INPE-EM). The framework incorporates the temporal dynamics related to the deforestation process and accounts for the biophysical and socioeconomic heterogeneity of the region under study. We build an emission model for the Brazilian Amazon combining annual maps of new clearings, four maps of biomass, and a set of alternative parameters based on the recent literature. The most important results are as follows: (a) Using different biomass maps leads to large differences in estimates of emission; for the entire region of the Brazilian Amazon in the last decade, emission estimates of primary forest deforestation range from 0.21 to 0.26 similar to Pg similar to C similar to yr-1. (b) Secondary vegetation growth presents a small impact on emission balance because of the short duration of secondary vegetation. In average, the balance is only 5% smaller than the primary forest deforestation emissions. (c) Deforestation rates decreased significantly in the Brazilian Amazon in recent years, from 27 similar to Mkm2 in 2004 to 7 similar to Mkm2 in 2010. INPE-EM process-based estimates reflect this decrease even though the agricultural frontier is moving to areas of higher biomass. The decrease is slower than a non-process instantaneous model would estimate as it considers residual emissions (slash, wood products, and secondary vegetation). The average balance, considering all biomass, decreases from 0.28 in 2004 to 0.15 similar to Pg similar to C similar to yr-1 in 2009; the non-process model estimates a decrease from 0.33 to 0.10 similar to Pg similar to C similar to yr-1. We conclude that the INPE-EM is a powerful tool for representing deforestation-driven carbon emissions. Biomass estimates are still the largest source of uncertainty in the effective use of this type of model for informing mechanisms such as REDD+. The results also indicate that efforts to reduce emissions should focus not only on controlling primary forest deforestation but also on creating incentives for the restoration of secondary forests.

Charges and fluxes in Maxwell theory on compact manifolds with boundary

We investigate the charges and fluxes that can occur in higher-order Abelian gauge theories defined on compact space-time manifolds with boundary. The boundary is necessary to supply a destination to the electric lines of force emanating from brane sources, thus allowing non-zero net electric charges, but it also introduces new types of electric and magnetic flux. The resulting structure of currents, charges, and fluxes is studied and expressed in the language of relative homology and de Rham cohomology and the corresponding abelian groups. These can be organised in terms of a pair of exact sequences related by the Poincare-Lefschetz isomorphism and by a weaker flip symmetry exchanging the ends of the sequences. It is shown how all this structure is brought into play by the imposition of the appropriately generalised Maxwell's equations. The requirement that these equations be integrable restricts the world-volume of a permitted brane (assumed closed) to be homologous to a cycle on the boundary of space-time. All electric charges and magnetic fluxes are quantised and satisfy the Dirac quantisation condition. But through some boundary cycles there may be unquantised electric fluxes associated with quantised magnetic fluxes and so dyonic in nature.

Positronium atom scattering by H-2 in a coupled-channel framework

The scattering of ortho-positronium (Ps) by H-2 has been investigated using a three-Ps-state (Ps(1s,2s, 2p)H-2(X (1)Sigma(g)(+))) coupled-channel model and using the Born approximation for higher excitations and ionization of Ps and B (1)Sigma(u)(+) and b (3)Sigma(u)(+) excitations of H-2. We employ a recently proposed time-reversal-symmetric non-local electron-exchange model potential. We present a calculational scheme for solving the body-frame fixed-nuclei coupled-channel scattering equations for Ps-H-2, which simplifies the numerical solution technique considerably. Ps ionization is found to have the leading contribution to target-elastic and all target-inelastic processes. The total cross sections at low and medium energies are in good agreement with experiment.

Collision of positronium with atoms, molecules and ions using a modified coupled-channel framework

Scattering of positronium (Ps) from atoms (H, He, Ne, Ar), molecule (H(2)) and ion (He(+)) have been investigated using a coupled-channel (CC) formalism with a regularised non-local exchange potential. The advantage of using such a regularized exchange potential in the close-coupling formalism and the normalizability aspect of the solution at low energies with a minimum effective coupling are discussed. Results for the elastic and total scattering cross-sections, resonance and binding energies in Ps-H, and pick-off annihilation results in Ps-He are found to be in excellent agreement with measurements and variational predictions. (C) 2000 Elsevier B.V. B.V. All rights reserved.

Scattering of photons by an external gravitational field in the framework of higher-derivative gravity

The scattering of photons by a static gravitational field, treated as an external field, is discussed in the context of gravity with higher derivatives. It is shown that the R-2 sector of the theory does not contribute to the photon scattering, whereas the R-mu nu(2) sector produces dispersive (energy-dependent) photon propagation.

Bending of light in the framework of R + R2 gravity

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Magnetic flux inversion in charged BPS vortices in a Lorentz-violating Maxwell-Higgs framework

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Gap solitons in fermion superfluids

We consider a dynamical model of a superfluid Fermi gas in the Bardeen-Cooper-Schrieffer regime trapped in a periodic optical lattice (OL) potential. The model is based on an equation for complex order parameter phi of the superfluid, which is derived from the relevant energy density and includes a self-repulsive term similar to phi(7/3). By means of the variational approximation (VA) and numerical simulations, we find families of stable one- and two-dimensional (I D and 2D) gap solitons (GSs) in this model. Chiefly, they are compact objects trapped in a single cell of the OL. Families of stable even and odd bound states of these GSs are also found in one dimension. A 3D GS family is constructed too, but solely within the framework of the VA. In the linear limit, the VA predicts an almost exact position of the left edge of the first band-gap in the OL-induced spectrum. The full VA provides an accurate description of families of I D and 2D fundamental GSs. We also demonstrate that a I D GS can be safely transported by an OL moving at a moderate velocity. (C) 2009 IMACS. Published by Elsevier B.V. All rights reserved.

Towards a hybrid compactification with a scalar-tensor global cosmic string

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)