A general Trotter-Kato formula for a class of evolution operators

In this article we prove new results concerning the existence and various properties of an evolution system U(A+B)(t, s)0 <= s <= t <= T generated by the sum -(A(t) + B(t)) of two linear, time-dependent, and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing L(B) for the algebra of all linear bounded operators on B, we can express U(A+B)(t, s)0 <= s <= t <= T as the strong limit in C(8) of a product of the holomorphic contraction semigroups generated by -A (t) and - B(t), respectively, thereby proving a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t) + B(t)) to evolve with time provided there exists a fixed set D subset of boolean AND(t is an element of)[0,T] D(A(t) + B(t)) everywhere dense in B. We obtain a special case of our formula when B(t) = 0, which, in effect, allows us to reconstruct U(A)(t, s)0 <=(s)<=(t)<=(T) very simply in terms of the semigroup generated by -A(t). We then illustrate our results by considering various examples of nonautonomous parabolic initial-boundary value problems, including one related to the theory of timedependent singular perturbations of self-adjoint operators. We finally mention what we think remains an open problem for the corresponding equations of Schrodinger type in quantum mechanics.

The effect of the negative coupling parameter on the spectrum of a trapped Bose gas

The interest in attractive Bose-Einstein Condensates arises due to the chemical instabilities generate when the number of trapped atoms is above a critical number. In this case, recombination process promotes the collapse of the cloud. This behavior is normally geometry dependent. Within the context of the mean field approximation, the system is described by the Gross-Pitaevskii equation. We have considered the attractive Bose-Einstein condensate, confined in a nonspherical trap, investigating numerically and analytically the solutions, using controlled perturbation and self-similar approximation methods. This approximation is valid in all interval of the negative coupling parameter allowing interpolation between weak-coupling and strong-coupling limits. When using the self-similar approximation methods, accurate analytical formulas were derived. These obtained expressions are discussed for several different traps and may contribute to the understanding of experimental observations.

Approximations of modal logics: K and beyond

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.

On AGM for Non-Classical Logics

The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections and what is still missing for each approach.

The first group (co)homology of a group G with coefficients in some G-modules

Let G be a group. We give some formulas for the first group homology and cohomology of a group G with coefficients in an arbitrary G-module (Z) over tilde. More explicit calculations are done in the special cases of free groups, abelian groups and nilpotent groups. We also perform calculations for certain G-module M, by reducing it to the case where the coefficient is a G-module (Z) over tilde. As a result of the well known equalities H-1(X, M) = H-1(pi(1)(X), M) and H-1(X, M) = H-1(pi(1) (X), M), for any G-module M, we are able to calculate the first homology and cohomology groups of topological spaces with certain local system of coefficients.

A note on influence diagnostics in nonlinear mixed-effects elliptical models

This paper provides general matrix formulas for computing the score function, the (expected and observed) Fisher information and the A matrices (required for the assessment of local influence) for a quite general model which includes the one proposed by Russo et al. (2009). Additionally, we also present an expression for the generalized leverage on fixed and random effects. The matrix formulation has notational advantages, since despite the complexity of the postulated model, all general formulas are compact, clear and have nice forms. (C) 2010 Elsevier B.V. All rights reserved.

Thermo-solvatochromism of merocyanine polarity probes - What are the consequences of increasing probe lipophilicity through annelation?

The question raised in the title has been answered by comparing the solvatochromism of two series of polarity probes, the lipophilicities of which were increased either by increasing the length of an alkyl group (R) attached to a fixed pyridine-based structure or through annelation (i.e., by fusing benzene rings onto a central pyridine-based structure). The following novel solvatochromic probes were synthesized: 2,6-dibromo-4-[(E)-2-(1-methylquinolinium-4-yl)ethenyl]-phenolate (MeQMBr(2)) and 2,6-dibromo-4-[(E)-2-(1-methyl-acridinium-4- yl) ethenyl)]phenolate (MeAMBr(2) The solvatochromic behavior of these probes, along with that of 2,6dibromo-4-[(E)-2-(1-methylpyridinium-4-yl)ethenyl]phenol-ate(MePMBr(2)) was analyzed in terms of increasing probe lipophilicity, through annelation. Values of the empirical solvent polarity scale [E(T)(MePMBr(2))] in kcalmol(-1) correlated linearly with ET(30), the corresponding values for the extensively employed probe 2,6-diphenyl-4-(2,4,6-triphenylpyridinium-1-yl)phenolate (RB). On the other hand, the nonlinear correlations of ET(MeQMBr(2)) or ET(MeAMBr(2)) with E(T)(30) are described by second-order polynomials. Possible reasons for this behavior include: i) self-aggregation of the probe, ii) photoinduced cis/trans isomerization of the dye, and iii) probe structure- and solvent-dependent contributions of the quinonoid and zwitterionic limiting formulas to the ground and excited states of the probe. We show that mechanisms (i) and (ii) are not operative under the experimental conditions employed; experimental evidence (NMR) and theoretical calculations are presented to support the conjecture that the length of the central ethenylic bond in the dye increases in the order MeAMBr(2) > MeQMBr(2) > MePMBr(2), That is, the contribution of the zwitterionic limiting formula predominates for the latter probe, as is also the case for RB, this being the reason for the observed linear correlation between the ET(MePMBr2) and the ET(30) scales. The effect of increasing probe lipophilicity on solvatochromic behavior therefore depends on the strategy employed. Increasing the length of R affects solvatochromism much less than annelation, because the former structural change hardly perturbs the energy of the intramolecular charge-transfer transition responsible for solvatochromism. The thermo-solvatochromic behavior (effect of temperature on solvatochromism) of the three probes was studied in mixtures of water with propanol and/or with DMSO. The solvation model used explicitly considers the presence of three ""species"" in the system: bulk solution and probe solvation shell [namely, water (W), organic solvent (Solv)], and solvent-water hydrogen-bonded aggregate (Solv-W). For aqueous propanol, the probe is efficiently solvated by Solv-W; the strong interaction of DMSO with W drastically decreases the efficiency of Solv-W in solvating the probe, relative to its precursor solvents. Temperature increases resulted in desolvation of the probes, due to the concomitant reduction in the structured characters of the components of the binary mixtures.

Experimental and computational investigation of the roll forming process

One of the first questions to consider when designing a new roll forming line is the number of forming steps required to produce a profile. The number depends on material properties, the cross-section geometry and tolerance requirements, but the tool designer also wants to minimize the number of forming steps in order to reduce the investment costs for the customer. There are several computer aided engineering systems on the market that can assist the tool designing process. These include more or less simple formulas to predict deformation during forming as well as the number of forming steps. In recent years it has also become possible to use finite element analysis for the design of roll forming processes. The objective of the work presented in this thesis was to answer the following question: How should the roll forming process be designed for complex geometries and/or high strength steels? The work approach included both literature studies as well as experimental and modelling work. The experimental part gave direct insight into the process and was also used to develop and validate models of the process. Starting with simple geometries and standard steels the work progressed to more complex profiles of variable depth and width, made of high strength steels. The results obtained are published in seven papers appended to this thesis. In the first study (see paper 1) a finite element model for investigating the roll forming of a U-profile was built. It was used to investigate the effect on longitudinal peak membrane strain and deformation length when yield strength increases, see paper 2 and 3. The simulations showed that the peak strain decreases whereas the deformation length increases when the yield strength increases. The studies described in paper 4 and 5 measured roll load, roll torque, springback and strain history during the U-profile forming process. The measurement results were used to validate the finite element model in paper 1. The results presented in paper 6 shows that the formability of stainless steel (e.g. AISI 301), that in the cold rolled condition has a large martensite fraction, can be substantially increased by heating the bending zone. The heated area will then become austenitic and ductile before the roll forming. Thanks to the phenomenon of strain induced martensite formation, the steel will regain the martensite content and its strength during the subsequent plastic straining. Finally, a new tooling concept for profiles with variable cross-sections is presented in paper 7. The overall conclusions of the present work are that today, it is possible to successfully develop profiles of complex geometries (3D roll forming) in high strength steels and that finite element simulation can be a useful tool in the design of the roll forming process.

Thermal losses in sealed, gas-filled flat plate solar collectors

A sealed space between absorber and cover glass makes it possible reducing the influence of humidity condensate and dust at the same time as the enclosed space can be filled with a suitable gas for lowering the losses. This paper is about the size of the losses in these collectors. A calculating model of a gas-filled flat plate solar collector was built in Matlab with standard heat transfer formulas. It showed that the total loss can be reduced up to 20% when changing to an inert gas. It is also possible using a much shorter distance and still achieve low losses at the same time as the mechanical stresses in the material is reduce.

Numerical Simulation Of Sediment Transport And Bedmorphology Around A Hydraulic Structure On A River

Scour around hydraulic structures is a critical problem in hydraulic engineering. Under prediction of scour depth may lead to costly failures of the structure, while over prediction might result in unnecessary costs. Unfortunately, up-to-date empirical scour prediction formulas are based on laboratory experiments that are not always able to reproduce field conditions due to complicated geometry of rivers and temporal and spatial scales of a physical model. However, computational fluid dynamics (CFD) tools can perform using real field dimensions and operating conditions to predict sediment scour around hydraulic structures. In Korea, after completing the Four Major Rivers Restoration Project, several new weirs have been built across Han, Nakdong, Geum and Yeongsan Rivers. Consequently, sediment deposition and bed erosion around such structures have became a major issue in these four rivers. In this study, an application of an open source CFD software package, the TELEMAC-MASCARET, to simulate sediment transport and bed morphology around Gangjeong weir, which is the largest multipurpose weir built on Nakdong River. A real bathymetry of the river and a geometry of the weir have been implemented into the numerical model. The numerical simulation is carried out with a real hydrograph at the upstream boundary. The bedmorphology obtained from the numerical results has been validated against field observation data, and a maximum of simulated scour depth is compared with the results obtained by empirical formulas of Hoffmans. Agreement between numerical computations, observed data and empirical formulas is judged to be satisfactory on all major comparisons. The outcome of this study does not only point out the locations where deposition and erosion might take place depending on the weir gate operation, but also analyzes the mechanism of formation and evolution of scour holes after the weir gates.

Do higher moments really matter in portfolio choice?

We present explicit formulas for evaluating the difference between Markowitz weights and those from optimal portfolios, with the same given return, considering either asymmetry or kurtosis. We prove that, whenever the higher moment constraint is not binding, the weights are never the same. If, due to special features of the first and second moments, the difference might be negligible, in quite many cases it will be very significant. An appealing illustration, when the designer wants to incorporate an asset with quite heavy tails, but wants to moderate this effect, further supports the argument.

Finding a maximum skewness portfolio - A general solution to three-moments portfolio choice

Considering the three first moments and allowing short sales, the efficient portfolios set for n risky assets and a riskless one is found, supposing that agents like odd moments and dislike even ones. Analytical formulas for the solution surface are obtained and important geometric properties provide insights on its shape in the three dimensional space defined by the moments. A special duality result is needed and proved. The methodology is general, comprising situations in which, for instance, the investor trades a negative skewness for a higher expected return. Computation of the optimum portfolio weights is feasible in most cases.

Em busca de modelos politico-institucionais para as regioes metropolitanas : o caso da região metropolitana de Fortaleza

Os problemas que a rápida urbanização criou são desafiantes. E são ate cruciais para aqueles de quem dependem as decisões para soluciona-los, enquanto, para a comunidade em geral, representam pesados sacrificios que chegam a causar impacto social muito forte. Os técnicos e estudiosos do assunto deveriam aproveitar esse desafio e buscar fórmulas organizacionais de planejamento e administração metropolitanos que promovam o crescimento urbano de maneira mais adequada e eficiente. Com a presente moonografia, procuramos: (1) estudar os antecedentes das organizações de planejamento e administração metropolitanos no Pais, sob os aspectos econômicos e sociais, políticos e institucionais; (2) analisar, particularmente, a Região Metropolitana de Fortaleza (RMF), descendo essa analise aos obstaculos enfrentados na sua imp1ementação, princ~palmente os polltico-institucionais, bem como, abrir mais possibilidades para o aprofundamento do estado da matéria.

Dynamic hedging with stocastic differential utility

In this paper we study the dynamic hedging problem using three different utility specifications: stochastic differential utility, terminal wealth utility, and we propose a particular utility transformation connecting both previous approaches. In all cases, we assume Markovian prices. Stochastic differential utility, SDU, impacts the pure hedging demand ambiguously, but decreases the pure speculative demand, because risk aversion increases. We also show that consumption decision is, in some sense, independent of hedging decision. With terminal wealth utility, we derive a general and compact hedging formula, which nests as special all cases studied in Duffie and Jackson (1990). We then show how to obtain their formulas. With the third approach we find a compact formula for hedging, which makes the second-type utility framework a particular case, and show that the pure hedging demand is not impacted by this specification. In addition, with CRRA- and CARA-type utilities, the risk aversion increases and, consequently the pure speculative demand decreases. If futures price are martingales, then the transformation plays no role in determining the hedging allocation. We also derive the relevant Bellman equation for each case, using semigroup techniques.

Valuation and performance of firms in complex ownership structures : an application to Korean chaebols

We propose several new metrics to describe the complex ownership structure of business groups, and provide simple formulas and algorithms to compute these metrics. We use these measures to describe in detail the ownership structure of Korean chaebols in the period of 2003 to 2004. In addition, we validate the usefulness of our new metrics by showing empirically that they are important for understanding the valuation and performance of group firms. In particular, we show evidence that firms that are central to the control structure of the chaebol (central firms), firms in cross-shareholdings, and firms that are placed at the bottom of the group (i.e., with lower ultimate ownership) have lower profitability than other group firms. The valuation results suggest that central firms and firms in cross-shareholding loops have lower valuations than other public Chaebol firms. The lower valuation of these firms is not explained by variation in measures of ownership concentration and separation between ownership and control.