Strongly damped wave problems: Bootstrapping and regularity of solutions

The aim of the article is to present a unified approach to the existence, uniqueness and regularity of solutions to problems belonging to a class of second order in time semilinear partial differential equations in Banach spaces. Our results are applied next to a number of examples appearing in literature, which fall into the class of strongly damped semilinear wave equations. The present work essentially extends the results on the existence and regularity of solutions to such problems. Previously, these problems have been considered mostly within the Hilbert space setting and with the main part operators being selfadjoint. In this article we present a more general approach, involving sectorial operators in reflexive Banach spaces. (C) 2008 Elsevier Inc. All rights reserved.

Contribution of SHRIMP U-Pb zircon geochronology to unravelling the evolution of Brazilian Neoproterozoic fold belts

The South-American continent is constituted of three major geologic-geotectonic entities the homonym platform (consolidated at the end of the Cambrian) the Andean chain (essentially Meso-Cenozoic) and the Patagonian terrains affected by tectonism and magmatism through almost all of the Phanerozoic The platform is constituted by a series of cratonic nuclei (pre-Tonian fragments of the Rodinia fission) surrounded by a complex fabric of Neoproterozoic structural provinces Two major groups of orogenic processes (plate interaction cycles) constitute the evolution of these provinces the older occurred in the Tonian (smaller in area) and the younger Brasiliano that is present in all provinces The Tonian cycles (pre-Rodinia fission?) are still being sorted out and many questions still need to be answered The Brasiliano orogenic collage events (post-Rodinia fission?) developed in three main stages in part coeval from a province to another and are 650-600 580-560 and 540-500 Ma respectively (the late event reaching the Ordovician) The first group of orogenies is recorded in practically all provinces The third group is restricted to part of the Mantiqueira Province (southeast of the platform Buzios Orogeny) and present in the Pampean province (SW of the platform) For all these groups of orogenic events there are considerable records of rock assemblages related to processes of convergent plate interaction opening accretion collision and further extrusion There is a good correlation between the geologic and geotectonic data and geochemical and isotopic data The late tectonic processes (post-orogenic magmatism foreland basins etc) of the first two groups compete in time in distinct spaces with the peak of orogenic processes in the third group The introduction of the SHRIMP U-Pb methodology was fundamental to separate the Tonian and post-Tonian orogenic groups and their respective divisions in time and space Thus there are still many open points/problems which lead to expectations of addressing these issues in the near future with the more Intense use of this methodology (C) 2010 Elsevier B V All rights reserved

An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.

Measuring time series predictability using support vector regression

Most studies involving statistical time series analysis rely on assumptions of linearity, which by its simplicity facilitates parameter interpretation and estimation. However, the linearity assumption may be too restrictive for many practical applications. The implementation of nonlinear models in time series analysis involves the estimation of a large set of parameters, frequently leading to overfitting problems. In this article, a predictability coefficient is estimated using a combination of nonlinear autoregressive models and the use of support vector regression in this model is explored. We illustrate the usefulness and interpretability of results by using electroencephalographic records of an epileptic patient.

The C(K, X) spaces for compact metric spaces K and X with a uniformly convex maximal factor

In this paper, we prove that if a Banach space X contains some uniformly convex subspace in certain geometric position, then the C(K, X) spaces of all X-valued continuous functions defined on the compact metric spaces K have exactly the same isomorphism classes that the C(K) spaces. This provides a vector-valued extension of classical results of Bessaga and Pelczynski (1960) [2] and Milutin (1966) [13] on the isomorphic classification of the separable C(K) spaces. As a consequence, we show that if 1 < p < q < infinity then for every infinite countable compact metric spaces K(1), K(2), K(3) and K(4) are equivalent: (a) C(K(1), l(p)) circle plus C(K(2), l(q)) is isomorphic to C(K(3), l(p)) circle plus (K(4), l(q)). (b) C(K(1)) is isomorphic to C(K(3)) and C(K(2)) is isomorphic to C(K(4)). (C) 2011 Elsevier Inc. All rights reserved.

"Não somos diferentes das outras pessoas": a vida cotidiana de mulheres com deficiência mental contada por elas mesmas

O objetivo desta pesquisa foi investigar a vida cotidiana de mulheres rotuladas como deficientes mentais, através de seus relatos biográficos pessoais. As entrevistadas descreveram sua rotina em casa e na instituição, falaram sobre suas famílias, relacionamentos, dificuldades em integração social, e sobre seus problemas físicos e de aprendizagem. Ficou clara no discurso deste grupo a dicotomia entre o mundo “de dentro", compreendendo os espaços protegidos da casa e da instituição, e o mundo ameaçador e violento “de fora", representado pela rua. Seus relacionamentos sociais restringem-se aos personagens do mundo “de dentro": a família, os profissionais, e os colegas da instituição, e muitas entrevistadas disseram se· sentir discriminadas pelas pessoas “de fora". Embora várias mulheres tenham exprimido o desejo de ser independentes (trabalhar fora, sair sozinhas, etc), na prática mantém urna relação de extrema dependência familiar. A pesar de dois terços das entrevistadas terem mais de 20 anos, elas não parecem ter nenhuma perspectiva concreta de morar sozinhas, casar, ou vir a formar sua própria família. Um dos pressupostos deste estudo era de que o estigma da deficiência mental, seria o terna central nas histórias de vida. Entretanto, mais da metade dos sujeitos não abordou esta questão, e muito poucas se autodenominaram deficientes. Foi postulado que os efeitos do estigma talvez sejam minimizados neste grupo devido à superproteção familiar e institucional por um lado, e a evitação do mundo "de fora" (onde esta condição seria denunciada mais abertamente) por outro. Assim sendo, em sua prática diária, a maioria dessas mulheres têm poucas oportunidades de se confrontar com a situação de marginalização. Deficiência mental foi analisada como um fenômeno socialmente construído, e acredita-se que estas pessoas funcionem em um nível mais dependente do que sua condição orgânica exigiria, por terem sido reforçadas por representar o papel social de deficientes. Apesar das características comuns, cada história de vida provou ser original e única, mostrando o erro em se considerar as pessoas portadoras de deficiência mental como um grupo homogêneo e bem definido. Além disso, a não ser pela dependência familiar, falta de participação autônoma e integrada na comunidade, e relacionamento amoroso e sexual restrito, a ideia dessas mulheres não é qualitativamente diferente do resto da população.

Confinement of spin-0 and spin-1/2 particles in a mixed vector-scalar coupling with unequal shapes for the potentials

The Klein - Gordon and the Dirac equations with vector and scalar potentials are investigated under a more general condition, V-v = V-s + constant. These isospectral problems are solved in the case of squared trigonometric potential functions and bound states for either particles or antiparticles are found. The eigenvalues and eigenfunctions are discussed in some detail. It is revealed that a spin-0 particle is better localized than a spin-1/2 particle when they have the same mass and are subjected to the same potentials.

Bound states of bosons and fermions in a mixed vector-scalar coupling with unequal shapes for the potentials

The Klein - Gordon and the Dirac equations with vector and scalar potentials are investigated under a more general condition, V(v) + V(s) = constant. These intrinsically relativistic and isospectral problems are solved in the case of squared hyperbolic potential functions and bound states for either particles or antiparticles are found. The eigenvalues and eigenfuntions are discussed in some detail and the effective Compton wavelength is revealed to be an important physical quantity. It is revealed that a boson is better localized than a fermion when they have the same mass and are subjected to the same potentials.

Cauchy-Stieltjes Integral on Time Scales in Banach Spaces and Hysteresis Operators

The play operator has a fundamental importance in the theory of hysteresis. It was studied in various settings as shown by P. Krejci and Ph. Laurencot in 2002. In that work it was considered the Young integral in the frame of Hilbert spaces. Here we study the play in the frame of the regulated functions (that is: the ones having only discontinuities of the first kind) on a general time scale T (that is: with T being a nonempty closed set of real numbers) with values in a Banach space. We will be showing that the dual space in this case will be defined as the space of operators of bounded semivariation if we consider as the bilinearity pairing the Cauchy-Stieltjes integral on time scales.

Optimality conditions for infinite horizon control problems with state constraints

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

NONDEGENERATE UMBILICS, THE PATH FORMULATION and GRADIENT BIFURCATION PROBLEMS

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

Implicit differential equations with impasse singularities and singular perturbation problems

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

Dinâmica de ocupação espacial de áreas contíguas (período 1987-2008) e sua relação com tensores de origem antrópica no manguezal do Rio Cachoeira, Ilhéus, Bahia

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

An improved tabu-based vector optimal algorithm for design optimizations of electromagnetic devices

This paper introduces an improved tabu-based vector optimal algorithm for multiobjective optimal designs of electromagnetic devices. The improvements include a division of the entire search process, a new method for fitness assignment, a novel scheme for the generation and selection of neighborhood solutions, and so forth. Numerical results on a mathematical function and an engineering multiobjective design problem demonstrate that the proposed method can produce virtually the exact Pareto front, in both parameter and objective spaces, even though the iteration number used by it is only about 70% of that required by its ancestor.

On the hardy space H¹ on products of half-spaces

We show that the Hardy space H¹ anal (R2+ x R2+) can be identified with the class of functions f such that f and all its double and partial Hubert transforms Hk f belong to L¹ (R2). A basic tool used in the proof is the bisubharmonicity of |F|q, where F is a vector field that satisfies a generalized conjugate system of Cauchy-Riemann type.