Lagrangian Duality in Set-Valued Optimization

In this paper, we study optimization problems where the objective function and the binding constraints are set-valued maps and the solutions are defined by means of set-relations among all the images sets (Kuroiwa, D. in Takahashi, W., Tanaka, T. (eds.) Nonlinear analysis and convex analysis, pp. 221–228, 1999). We introduce a new dual problem, establish some duality theorems and obtain a Lagrangian multiplier rule of nonlinear type under convexity assumptions. A necessary condition and a sufficient condition for the existence of saddle points are given. The authors thank the two referees for valuable comments and suggestions on early versions of the paper. The research of the first author was partially supported by Ministerio de Educación y Ciencia (Spain) Project MTM2006-02629 and by Junta de Castilla y León (Spain) Project VA027B06.     

Generators of some Ramanujan formulas

In this paper we prove some Ramanujan type formulas for 1/π but without using the theory of modular forms. Instead we use the WZ—method created by H. Wilf and D. Zeilberger and find some hypergeometric functions in two variables which are second components of WZ—pairs than can be certified using Zeilberger's EKHAD package. These certificates have an additional property which allows us to get generalized Ramanujan's type series which are routinely proven by computer. We call these second hypergeometric components of the WZ—pairs generators. Finding generators seems a hard task but using a kind of experimental research (explained below), we have succeeded in finding some of them. Unfortunately we have not found yet generators for the most impressive Ramanujan's formulas. We also prove some interesting binomial sums for the constant 1/π². Finally we rewrite many of the obtained series using pochhammer symbols and study the rate of convergence. 2000 Mathematics Subject Classification Primary—33C20     

On the role of heterogeneous and imperfect information in a laboratory financial market

In this paper, we analyze the behavior of a group of heterogeneously informed investors in an laboratory asset market. Our experimental setting is inspired by Huber et al. (On the benefit of information in markets with heterogeneously informed traders: an experimental study, 2004). However, instead of their system of cumulative and exogenously given information structure, we introduce an information market where the traders can buy an imperfect prediction of the future value of the dividend with a maximum anticipation of four periods. The accuracy of the prediction decreases with the chosen time horizon, whereas its price remains constant. Our results confirm a non-strictly monotonic increasing value of the information.     

Air-activated carbons from almond tree pruning: Preparation and characterization

In this work the results obtained in the preparation and characterization of carbons made from almond tree pruning by non-catalytic and catalytic gasification (using K and Co) with air are analyzed and discussed. The main aim was to obtain high quality activated carbons at the lowest possible cost. The variables studied have been the temperature (190-260 °C) and the time (1-10 h) in non-catalytic gasification and the influence of the catalyst type (K and Co, 1 wt.% referred to cation, at 190 °C and 1 h) and the time (1-4 h) in catalytic gasification with Co at 190 °C. The air flow rate used in all the series was 167 cm³ min⁻¹. In non-catalytic gasification the reaction normalized rate versus the conversion degree was maintained until a conversion value of 10% for the experiment made at 260 °C since, at lower temperatures, this rate drops quickly for low conversion values. The N₂ adsorption isotherms for the carbons of this series resemble type I, although there is an increase of N₂ adsorbed volume at relatively high pressures. A temperature rise produced an increase of the carbon porosity and BET specific surface (116-469 m² g⁻¹). The activation time has a positive effect on the N₂ volume adsorbed by the carbons. The isotherms shapes were similar to those previously commented. A concentration equal to 1 wt.% was used to study the influence of the catalyst type. Under the studied experimental conditions, Co drives to a bigger porosity development than K, although with both catalysts a very similar pore size distribution is obtained. The activation time, in the gasifications catalyzed with Co, gives rise to a very important porosity development in the carbons. This produces a strong increase of the carbon specific surface area with very high values in the 4 h experiment, in which a BET specific surface of 959 m² g⁻¹ was obtained.     

Mössbauer studies of the re-entrant spin-glass behaviour of Fe–Al alloys

Fe–Al alloys around the concentration of 30 at. % Al present re-entrant spin-glass behaviour at low temperatures. This behaviour is not completely understood and Mössbauer spectroscopy, combined with other experimental techniques, is useful to describe and explain this behaviour. Results show that the Mössbauer spectra coincide with the magnetic behaviour showed in literature and they can be explained as a magnetic cluster system whose magnetic clusters are getting smaller when the temperature is decreasing. When the temperature is reaching to the spin-glass transition at 92 K the spins in the paramagnetic matrix are moving slower and below this transition the spins are completely frozen.     

Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

Parking Capacity and Pricing in Park'n Ride Trips: A Continuous Equilibrium Network Design Problem

In this paper we consider the problem of designing parking facilities for park'n ride trips. We present a new continuous equilibrium network design problem to decide the capacity and fare of these parking lots at a tactical level. We assume that the parking facilities have already been located and other topological decisions have already been taken.The modeling approach proposed is mathematical programming with equilibrium constraints. In the outer optimization problem, a central Authority evaluates the performance of the transport network for each network design decision. In the inner problem a multimodal traffic assignment with combined modes, formulated as a variational inequality problem, generates the share demand for modes of transportation, and for parking facilities as a function of the design variables of the parking lots. The objective is to make optimal parking investment and pricing decisions in order to minimize the total travel cost in a subnetwork of the multimodal transportation system.We present a new development in model formulation based on the use of generalized parking link cost as a design variable.The bilevel model is solved by a simulated annealing algorithm applied to the continuous and non-negative design decision variables. Numerical tests are reported in order to illustrate the use of the model, and the ability of the approach to solve applications of moderate size.     

An attempt on the calculation of relativistic potential energy curves: Noble gas difluorides

Total energy SCF calculations were performed for noble gas difluorides in a relativistic procedure and compared with analogous non-relativistic calculations. The discrete variational method with numerical basis functions was used. Rather smooth potential energy curves could be obtained. The theoretical Kr-F and Xe-F bond distances were calculated to be 3.5 a.u. and 3.6 a.u. which should be compared with the experimental values of 3.54 a.u. and 3.7 a.u. Although the dissociation energies are off by a factor of about five it was found that ArF₂ may be a stable molecule. Theoretical ionization energies for the outer levels reproduce the experimental values for KrF₂ and XeF₂ to within 2 eV.