The stationary Boltzmann equation for a two‐component gas in the slab

The stationary Boltzmann equation for hard forces in the context of a two‐component gas is considered in the slab. An L¹ existence theorem is proved when one component satisfies a given indata profile and the other component satisfies diffuse reflection at the boundaries. Weak L¹ compactness is extracted from the control of the entropy production term. Trace at the boundaries are also controlled. Copyright © 2007 John Wiley & Sons, Ltd.     

Unique continuation for parabolic operators

It is shown that if a functionu satisfies a backward parabolic inequality in an open set Ω∉R ⁿ⁺¹ and vanishes to infinite order at a point (x ₀·t ₀) in Ω, thenu(x, t ₀)=0 for allx in the connected component ofx ₀ in Ω⌢(R ⁿ ×{t ₀}).     

Domain decomposition methods for hyperbolic problems

In this paper a method is developed for solving hyperbolic initial boundary value problems in one space dimension using domain decomposition, which can be extended to problems in several space dimensions. We minimize a functional which is the sum of squares of the L ² norms of the residuals and a term which is the sum of the squares of the L ² norms of the jumps in the function across interdomain boundaries. To make the problem well posed the interdomain boundaries are made to move back and forth at alternate time steps with sufficiently high speed. We construct parallel preconditioners and obtain error estimates for the method. The Schwarz waveform relaxation method is often employed to solve hyperbolic problems using domain decomposition but this technique faces difficulties if the system becomes characteristic at the inter-element boundaries. By making the inter-element boundaries move faster than the fastest wave speed associated with the hyperbolic system we are able to overcome this problem.     

On rings in which every maximal one-sided ideal contains a maximal ideal

Given a ring R, consider the condition: (^*) every maximal right ideal of R contains a maximal ideal of R. We show that, for a ring R and 0 ≠ e ² = e ∈ R such that ele ? eRe every proper ideal I of R R satisfies (^*) if and only if eRe satisfies (^*). Hence with the help of some other results, (^*) is a Morita invariant property. For a simple ring R R[x] satisfies (^*) if and only if R[x] is not right primitive. By this result, if R is a division ring and R[x] satisfies (^*), then the Jacobson conjecture holds. We also show that for a finite centralizing extension S of a ring R R satisfies (^*) if and only if S satisfies (^*).     

Random walk search procedures for reliability optimization of systems with fault tolerance

In this paper we develop two efficient discrete stochastic search methods based on random walk procedure for maximizing system reliability subjected to imperfect fault coverage where uncovered component failures cause immediate system failure, even in the presence of adequate redundancy. The first search method uses a sequential sampling procedure with fixed boundaries at each iteration. We show that this search process satisfies local balance equations and its equilibrium distribution gives most weight to the optimal solution. We also show that the solution that has been visited most often in the first m iterations converges almost surely to the optimal solution. The second search method uses a sequential sampling procedure with increasing boundaries at each iteration. We show that if the increase occurs slower than a certain rate, this search process will converge to the optimal set with probability 1. We consider the system where reliability cannot be evaluated exactly but must be estimated through Monte Carlo simulation. Copyright © 2008 John Wiley & Sons, Ltd.     

Lattice Points on Similar Figures and Conics

Let us say that a plane figure F satisfies Steinhaus’ condition if for any positive integer n, there exists a figure F _n similar to F which satisfies the condition |F_n?\mathbb Z²|=n{|F_n\cap{\mathbb Z}^2|=n}. For example, the circular disc satisfies Steinhaus’ condition. We prove that every compact convex region in the plane \mathbb R²{\mathbb R^2} satisfies Steinhaus’ condition. As for plane curves, it is known that the circle satisfies Steinhaus’ condition. We consider Steinhaus’ condition for other conics, and present several results.     

A note on pi-rings

The classical result that an algebra which satisfies a polynomial identity satisfies a powerS _2n [x] ^m =0 of the standard identity, is generalized to arbitrary rings.     

The Willmore conjecture for immersed tori with small curvature integral

The Willmore conjecture states that any immersion of a 2-torus into euclidean space satisfies . We prove it under the condition that the L ^p -norm of the Gaussian curvature is sufficiently small. Received: 10 June 1999     

On the equationx t=x t+q in categories

We will show that a categoryC divides a monoid that satisfies the equationx ^t=x ^t+q iff each monoid inC satisfies the same equation.     

A new rounding procedure for the assignment problem with applications to dense graph arrangement problems

We present a randomized procedure for rounding fractional perfect matchings to (integral) matchings. If the original fractional matching satisfies any linear inequality, then with high probability, the new matching satisfies that linear inequality in an approximate sense. This extends the well-known LP rounding procedure of Raghavan and Thompson, which is usually used to round fractional solutions of linear programs.?We use our rounding procedure to design an additive approximation algorithm to the Quadratic Assignment Problem. The approximation error of the algorithm is εn ² and it runs in n ^{O (log n /ε2)} time.?We also describe Polynomial Time Approximation Schemes (PTASs) for dense subcases of many well-known NP-hard arrangement problems, including MINIMUM LINEAR ARRANGEMENT, MINIMUM CUT LINEAR ARRANGEMENT, MAXIMUM ACYCLIC SUBGRAPH, and BETWEENNESS. Received: December 12, 1999 / Accepted: October 25, 2001?Published online February 14, 2002     

A single instance of the Pythagorean theorem implies the parallel postulate

This note could find use as enrichment material in a course on the classical geometries; its preliminary results could also be used in an advanced calculus course. It is proved that if a, b and c are positive real numbers such that a ₂ + b ² = a ², then cosh (a) cosh (b) > cosh (c). The proof of this result uses an inequality involving combinatorial symbols and properties of absolutely convergent infinite series. As a corollary, it follows that if a neutral geometry G contains at least one right triangle which satisfies the conclusion of the Pythagorean Theorem, then G is (isomorphic to) Euclidean geometry and, hence, satisfies Playfair's form of the parallel postulate.     

Estimates for the maximal multilinear singular integral operators

In this paper, some mapping properties are considered for the maximal multilinear singular integral operator whose kernel satisfies certain minimum regularity condition. It is proved that certain uniform local estimate for doubly truncated operators implies the Lp(Rn) (1 < p < ∞) boundedness and a weak type L log L estimate for the corresponding maximal operator.     

A strange example on Property Np

 We exhibit an example of a line bundle M on a smooth complex projective variety Y s.t. M satisfies Property N ₁₀ , the 10-module of a minimal resolution of the ideal of the embedding of Y by M is nonzero and M ² does not satisfy Property N ₁₀ . Thus this is a completely convincing example showing that surprisingly it is not true that if a line bundle M satisfies Property N _p then any power of M satisfies Property N _p . We recall that in [Ru] we proved the following statement: if M is a line bundle on a smooth complex projective variety and M satisfies Property N _p then M ^s satisfies Property N _p if s≥p. Received: 5 March 2001     

A single groupoid identity for Steiner loops

A loop which satisfies the identitiesx ² =e, xe = ex = x, andx(yx) = (xy) x = y is called a generalized Steiner loop. In this paper it is shown that a generalized Steiner loop is a groupoid with a single lawx(((yy) z) x) = z.     

Solvability of a Commutative Algebra which Satisfies (x 2)2 = 0

We studied the solvability of the algebra which satisfies the polynomial identity (x ²)² = 0. We believe that, if A is a finite dimensional commutative algebra over a field F of characteristic not 2 which satisfies (x ²)² = 0 for all x ∈ A, then A is solvable. In this article we proved this when dim  _F A ≤ 7.     

L-Functions for Jacobi Forms of Arbitrary Degree

A finite number ofL-functions are associated to every Jacobi cusp form of degreen. TheseL-functions are infinite series constructed with the Fourier coefficients of the form and a variables in ℂⁿ. It is proved that eachL-function has an integral representation, admits a holomorphic continuation to the whole space ℂⁿ, and the row vector formed with them satisfies a particular matrix functional equation.     

A Note About Critical Percolation on Finite Graphs

In this note we study the geometry of the largest component C₁\mathcal {C}_{1} of critical percolation on a finite graph G which satisfies the finite triangle condition, defined by Borgs et al. (Random Struct. Algorithms 27:137–184, 2005). There it is shown that this component is of size n ^2/3, and here we show that its diameter is n ^1/3 and that the simple random walk takes n steps to mix on it. By Borgs et al. (Ann. Probab. 33:1886–1944, 2005), our results apply to critical percolation on several high-dimensional finite graphs such as the finite torus \mathbbZ_n^d\mathbb{Z}_{n}^{d} (with d large and n→∞) and the Hamming cube {0,1} ⁿ .     

Deviation inequality for monotonic Boolean functions with application to the number of k‐cycles in a random graph

Using Talagrand's concentration inequality on the discrete cube {0, 1}^m we show that given a real‐valued function Z(x) on {0, 1}^m that satisfies certain monotonicity conditions one can control the deviations of Z(x) above its median by a local Lipschitz norm of Z at the point x. As one application, we obtain a deviation inequality for the number of k‐cycles in a random graph. © 2003 Wiley Periodicals, Inc. Random Struct. Alg., 2004     

A Wiener-type condition for Hölder continuity for Green's functions

Summary We investigate local properties of the Green function of the complement of a compact set Ein R^d, d>2. We give a Wiener type characterization for the H?lder continuity of the Green function, thus extending a result of L. Carleson and V. Totik. The obtained density condition is necessary, and it is sufficient as well, provided Esatisfies the cone condition. It is also shown that the H?lder condition for the Green function at a boundary point can be equivalently stated in terms of the equilibrium measure and the solution to the corresponding Dirichlet problem. The results solve a long standing open problem -- raised by Maz'ja in the 1960's -- under the simple cone condition.     

Dissipativity and global attractors for a class of quasilinear parabolic systems

We show that a-priori weak L^p dissipativity implies strong L ^∞ dissipativity for a class of weakly coupled quasilinear parabolic systems satisfies general structure conditions. The existence of global attractors of general nonlinear reaction diffusion systems will be proven.