The purpose of the present paper is to establish the local energy decay estimates and dispersive estimates for 3-dimensional wave equation with a potential to the initial-boundary value problem on exterior domains. The geometrical assumptions on domains are rather general, for example non-trapping condition is not imposed in the local energy decay result. As a by-product, Strichartz estimates i...

Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program SMARTMOBILE enhances the existing MSS MOBILE with verified techniques to provide a guarantee that the obtained results are correc...

We give mappings between hierarchies having nonisospectral scattering problems and hierarchies having isospectral scattering problems. Special cases of these changes of variables involve similarity variables, and similarity solutions of a hierarchy are seen to correspond to time-independent solutions of an equivalent hierarchy. We thus explain why the use of nonisospectral scattering problems a...

The spatial discretization of the magnetic vector potential formulation of magnetoquasistatic field problems results in an infinitely stiff differential-algebraic equation system. It is transformed into a finitely stiff ordinary differential equation system by applying a generalized Schur complement. Applying the explicit Euler time integration scheme to this system results in a small maximum s...

The revenue ranking of asymmetric auctions with two heterogenous bidders is examined. The main theorem identi…es a general environment in which the …rst-price auction is more pro…table than the second-price auction. By using mechanism design techniques, the problem is simpli…ed and several extensions are made possible. Roughly speaking, the …rst-price auction is more pro…table when the strong b...