An Elementary Core Equivalence Theorem in a Countable Economy

We consider an infinite exchange economy with countably many traders, which can be regarded as a natural extension of finite exchange economies to an infinite one. In our countable economy the core defined in the traditional manner would be empty. To avoid this unwanted situation we have to strengthen the notion of “improves upon”. We will achieve this based on the idea that forming coalitions involve costs.

A Dalang, Morton, Willinger tétel (On the theorem of Dalang-Morton-Willinger)

In the article we shortly discuss the proof of the theorem of Dalang-Morton-Willinger. We show that the proof of the theorem depends on some interesting general properties of the stochastic convergence.

A pénzügyi eszközök árazásának alaptétele, lokálisan korlátos szemimartingál árfolyamok esetén (The fundamental theorem of asset pricing for locally bounded semimartingales)

A pénzügyi eszközök árazásának alaptétele - kissé pongyolán megfogalmazva - azt állítja, hogy egy értékpapírpiacon akkor nincs arbitrázs, ha létezik egy az eredetivel ekvivalens valószínűségi mérték, amelyre vonatkozóan az értékpapírok árait leíró folyamat egy bizonyos értelemben "martingál". Az első ilyen jellegű állítást M. Harrison és S. R. Pliska bizonyították arra esetre, amikor a valószínűségi mező végesen generált. Azóta a tételnek számos általánosítása született. Ezek közül az egyik legismertebb a Dalang{Morton{ Willinger-tétel, ami már teljesen általános valószínűségi mezőből indul ki, de felteszi, hogy az időparaméter diszkrét, és az időhorizont véges. Időközben a tételnek számos folytonos időparaméterű folyamatokra vonatkozó változata is született. Az alaptételt általános esetben, vagyis amikor valószínűségi mező teljesen általános, és az értékpapírok piaci árait leíró folyamat lokálisan korlátos szemimartingál, Delbaen és W. Schachermayer bizonyították be. A Delbaen{Schachermayer-féle alaptétel a maga nemében egy igen általános áll ítás. A tétel bizonyítása igen hosszadalmas, és a funkcionálanalízis valamint a sztochasztikus folyamatok általános elméletének mély eredményeit használja. Utóbbi tudományterület nagy részét P. A. Meyer és a francia strassbourgi iskola matematikusai dolgozták ki a 60-as évek végétől kezdve. A terület megértését tehát alaposan megnehezíti, hogy a felhasznált matematikai apparátus viszonylag friss, egy része pedig csak francia nyelven érhető el. Meggyőződésünk szerint az eredeti, 1994-es Delbaen és Schachermayer-féle bizonyítás csak kevesek által hozzáférhető. A tételnek tudomásunk szerint azóta sem született tankönyvi feldolgozása, annak ellenére, hogy maga az állítás közgazdász körökben is széles körben ismerté vált, és az eredeti cikket számos szerző idézi. Az itt bemutatott bizonyítás Delbaen és Schachermayer 1992 és 2006 közötti írásain alapul. ______ The Delbaen and Schachermayer's theorem is one of the deepest results of mathematical finance. In this article we tried to rethink and slightly simplify the original proof of the theorem to make understandable for nonspecialists who are familiar with general theory of stochastic processes. We give a detailed proof of the theorem and we give new proofs for some of the used statements.

Az eszközárazás második alaptétele (The second fundamental theorem of asset pricing)

A dolgozatban röviden bemutatjuk az eszközárazás második alaptételét. A bizonyítás során felhasználjuk a Dalang-Morton-Wilinger tétel bizonyításában használt állításokat. ______ In the article we summarize the results about the second fundamental theorem of asset pricing.

Centralizers of normal subgroups and the Z*-theorem

Peer reviewed

Centralizers of normal subgroups and the Z*-theorem

Peer reviewed

Centralizers of normal subgroups and the Z*-theorem

Peer reviewed

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

Discrete breathers in a two-dimensional hexagonal Fermi-Pasta-Ulam lattice

We consider a two-dimensional Fermi-Pasta-Ulam (FPU) lattice with hexagonal symmetry. Using asymptotic methods based on small amplitude ansatz, at third order we obtain a eduction to a cubic nonlinear Schr{\"o}dinger equation (NLS) for the breather envelope. However, this does not support stable soliton solutions, so we pursue a higher-order analysis yielding a generalised NLS, which includes known stabilising terms. We present numerical results which suggest that long-lived stationary and moving breathers are supported by the lattice. We find breather solutions which move in an arbitrary direction, an ellipticity criterion for the wavenumbers of the carrier wave, symptotic estimates for the breather energy, and a minimum threshold energy below which breathers cannot be found. This energy threshold is maximised for stationary breathers, and becomes vanishingly small near the boundary of the elliptic domain where breathers attain a maximum speed. Several of the results obtained are similar to those obtained for the square FPU lattice (Butt \& Wattis, {\em J Phys A}, {\bf 39}, 4955, (2006)), though we find that the square and hexagonal lattices exhibit different properties in regard to the generation of harmonics, and the isotropy of the generalised NLS equation.

Asymptotic analysis of combined breather-kink modes in a Fermi-Pasta-Ulam chain

We find approximations to travelling breather solutions of the one-dimensional Fermi-Pasta-Ulam (FPU) lattice. Both bright breather and dark breather solutions are found. We find that the existence of localised (bright) solutions depends upon the coefficients of cubic and quartic terms of the potential energy, generalising an earlier inequality derived by James [CR Acad Sci Paris 332, 581, (2001)]. We use the method of multiple scales to reduce the equations of motion for the lattice to a nonlinear Schr{\"o}dinger equation at leading order and hence construct an asymptotic form for the breather. We show that in the absence of a cubic potential energy term, the lattice supports combined breathing-kink waveforms. The amplitude of breathing-kinks can be arbitrarily small, as opposed to traditional monotone kinks, which have a nonzero minimum amplitude in such systems. We also present numerical simulations of the lattice, verifying the shape and velocity of the travelling waveforms, and confirming the long-lived nature of all such modes.

Discrete breathers in a two-dimensional Fermi-Pasta-Ulam lattice

Using asymptotic methods, we investigate whether discrete breathers are supported by a two-dimensional Fermi-Pasta-Ulam lattice. A scalar (one-component) two-dimensional Fermi-Pasta-Ulam lattice is shown to model the charge stored within an electrical transmission lattice. A third-order multiple-scale analysis in the semi-discrete limit fails, since at this order, the lattice equations reduce to the (2+1)-dimensional cubic nonlinear Schrödinger (NLS) equation which does not support stable soliton solutions for the breather envelope. We therefore extend the analysis to higher order and find a generalised $(2+1)$-dimensional NLS equation which incorporates higher order dispersive and nonlinear terms as perturbations. We find an ellipticity criterion for the wave numbers of the carrier wave. Numerical simulations suggest that both stationary and moving breathers are supported by the system. Calculations of the energy show the expected threshold behaviour whereby the energy of breathers does {\em not} go to zero with the amplitude; we find that the energy threshold is maximised by stationary breathers, and becomes arbitrarily small as the boundary of the domain of ellipticity is approached.

An Afriat theorem for the collective model of household consumption

We provide a nonparametric 'revealed preference’ characterization of rational household behavior in terms of the collective consumption model, while accounting for general (possibly non-convex) individual preferences. We establish a Collective Axiom of Revealed Preference (CARP), which provides a necessary and sufficient condition for data consistency with collective rationality. Our main result takes the form of a ‘collective’ version of the Afriat Theorem for rational behavior in terms of the unitary model. This theorem has some interesting implications. With only a finite set of observations, the nature of consumption externalities (positive or negative) in the intra-household allocation process is non-testable. The same non-testability conclusion holds for privateness (with or without externalities) or publicness of consumption. By contrast, concavity of individual utility functions (representing convex preferences) turns out to be testable. In addition, monotonicity is testable for the model that assumes all household consumption is public.

Corrigendum to “The envelope theorem for multiobjective convex programming via contingent derivatives” [J. Math. Anal. Appl. 372 (1) (2010) 197–207]

The aim of this note is to formulate an envelope theorem for vector convex programs. This version corrects an earlier work, “The envelope theorem for multiobjective convex programming via contingent derivatives” by Jiménez Guerra et al. (2010) [3]. We first propose a necessary and sufficient condition allowing to restate the main result proved in the alluded paper. Second, we introduce a new Lagrange multiplier in order to obtain an envelope theorem avoiding the aforementioned error.