On the advantage over a random assignment

We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful measure for optimization problems where the random assignment algorithm is known to give essentially the best possible polynomial time approximation. In this paper, we focus on this measure for the optimization problems Max‐Lin‐2 in which we need to maximize the number of satisfied linear equations in a system of linear equations modulo 2, and Max‐k‐Lin‐2, a special case of the above problem in which each equation has at most k variables. The main techniques we use, in our approximation algorithms and inapproximability results for this measure, are from Fourier analysis and derandomization. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2004     

Super-Brownian motion with reflecting historical paths. II. Convergence of approximations

We prove that the sequence of finite reflecting branching Brownian motion forests defined by Burdzy and Le Gall ([1]) converges in probability to the “super-Brownian motion with reflecting historical paths.” This solves an open problem posed in [1], where only tightness was proved for the sequence of approximations. Several results on path behavior were proved in [1] for all subsequential limits–they obviously hold for the unique limit found in the present paper.Mathematics Subject Classification (2000): Primary 60H15, Secondary 35R60Supported in part by NSF Grant DMS-0071486, Israel Science Foundation Grants 12/98 and 116/01 - 10.0, and the U.S.-Israel Binational Science Foundation (grant No. 2000065).     

A Stability Estimate for a Solution to a Three-Dimensional Inverse Problem for the Maxwell Equations

We consider the problem of determining dielectric permittivity and conductivity in the Maxwell equations. As additional information we prescribe the traces of the tangential components of the electromagnetic field on the lateral surface of a cylindric domain. We establish a stability estimate for a solution to the inverse problem and a uniqueness theorem.     

Formula 1 – A Mathematical Microworld with CAS: Analysis of Learning Opportunities and Experiences with Students

In this article we describe a mathematical microworld for investigating car motion on a racing course and its use with a group of grade 12 students. The microworld is concerned with the mathematical construction of courses and functions which describe car motion. It is implemented in the computer algebra system, Maple^®, which provides the means to represent courses and functions symbolically and graphically. We describe the learning opportunities offered by the microworld in relation to the research literature on functions. Various facets and layers of the function concept are addressed in the microworld, and we suggest how work in the microworld might help in overcoming some well-known misconceptions.This revised version was published online in September 2005 with corrections to the Cover Date.     

Second order parabolic equations in Banach spaces with dynamic boundary conditions

In this paper, we exhibit a unified treatment of the mixed initial boundary value problem for second order (in time) parabolic linear differential equations in Banach spaces, whose boundary conditions are of a dynamical nature. Results regarding existence, uniqueness, continuous dependence (on initial data) and regularity of classical and strict solutions are established. Moreover, several examples are given as samples for possible applications.

     

Ergodicity for the Dissipative Boussinesq Equations with Random Forcing

We study the stationary measure for the two-dimensional Boussinesq equation with random forcing. We prove the ergodicity for the two-dimensional stochastically forced Boussinesq equation. We also study the Galerkin truncations of the three-dimensional Boussinesq equations under degenerate stochastic forcing. We follow closely the previous results on the stochastically forced Navier–Stokes equations.     

Quadratic Integrals of Motion for the Systems of Identical Particles

The dynamical systems of identical particles admitting quadratic integrals of motion are classified. The relevant integrals are explicitly constructed and their relation to separation of variables in Hamilton-Jacobi equation is clarified.     

关于算子方程AX=XAX与AX=XA=XAX

用A的不变子空间作参数，给出了算子方程AX＝XAX的全部解。当A是单射或稠值域时，或者当A是正规算子时，给出了算子方程AX＝XA＝XAX的全部解。我们还给出正规算子X是算子方程AX＝XZ＝XAX的解的充分必要条件。     

非线性不适定问题一种双循环的牛顿型迭代格式

本文研究非线性算子方程F(x)=y的解,结合最速下降法,Newton-Landweber迭代格式及正则化思想,在F满足适当的条件下,构造出新的双循环迭代格式。本文对格式的收敛性进行了严格论证,并估计出迭代格式的收敛精度。     

Comment on “A Hierarchy of Integrable Nonlinear Lattice Equations and New Integrable Symplectic Map“

Comment on a recent paper on Commun. Theor. Phys. (Beijing, China) 38 (2002) pp. 523-528.