Linear models for the approximate solution of the problem of packing equal circles into a given domain

The linear models for the approximate solution of the problem of packing the maximum number of equal circles of the given radius into a given closed bounded domain G are proposed. We construct a grid in G; the nodes of this grid form a finite set of points T, and it is assumed that the centers of circles to be packed can be placed only at the points of T. The packing problems of equal circles with the centers at the points of T are reduced to 0–1 linear programming problems. A heuristic algorithm for solving the packing problems based on linear models is proposed. This algorithm makes it possible to solve packing problems for arbitrary connected closed bounded domains independently of their shape in a unified manner. Numerical results demonstrating the effectiveness of this approach are presented.     

The best generalized inverse of the linear operator in normed linear space

Let X,Y be normed linear spaces, T∈L(X,Y) be a bounded linear operator from X to Y. One wants to solve the linear problem Ax=y for x (given y∈Y), as well as one can. When A is invertible, the unique solution is x=A^-1y. If this is not the case, one seeks an approximate solution of the form x=By, where B is an operator from Y to X. Such B is called a generalised inverse of A. Unfortunately, in general normed linear spaces, such an approximate solution depends nonlinearly on y. We introduce the concept of bounded quasi-linear generalised inverse T^h of T, which contains the single-valued metric generalised inverse T^M and the continuous linear projector generalised inverse T⁺. If X and Y are reflexive, we prove that the set of all bounded quasi-linear generalised inverses of T, denoted by G_H(T), is not empty In the normed linear space of all bounded homogeneous operators, the best bounded quasi-linear generalised inverse T^h of T is just the Moore-Penrose metric generalised inverse T^M. In the case, X and Y are finite dimension spaces Rⁿ and R^m, respectively, the results deduce the main result by G.R. Goldstein and J.A. Goldstein in 2000.     

Characterizations of Lie derivations of triangular algebras

Let T be a triangular algebra over a commutative ring R. In this paper, under some mild conditions on T, we prove that if δ:T→T is an R-linear map satisfying

δ([x,y])=[δ(x),y]+[x,δ(y)]     

Score vectors of tournaments

A tournament T on any set X is a dyadic relation such that for any x, y ∈ X (a) (x, x) ? T and (b) if x ≠ y then (x, y) ∈ T iff (y, x) ? T. The score vector of T is the cardinal valued function defined by R(x) = |{y ∈ X : (x, y) ∈ T}|. We present theorems for infinite tournaments analogous to Landau's necessary and sufficient conditions that a vector be the score vector for some finite tournament. Included also is a new proof of Landau's theorem based on a simple application of the “marriage” theorem.     

Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

Two-dimensional Riemann problems for zero-pressure gas dynamics with three constant states

The Riemann problems for two-dimensional zero-pressure gas dynamics are solved completely when the initial data take three constant states having discontinuities on x,y-positive and x-negative axes. With the help of characteristic analysis, by studying interactions among delta-shocks, vacuums and contact discontinuities, the Riemann solutions constructed exhibit nine different explicit configurations. The Mach-reflection-like configurations appear in some solutions.     

A note on duality gaps in linear programming over convex sets

For certain types of mathematical programming problems, a related dual problem can be constructed in which the objective value of the dual problem is equal to the objective function of the given problem. If these two problems do not have equal values, a duality gap is said to exist. No such gap exists for pairs of ordinary dual linear programming problems, but this is not the case for linear programming problems in which the nonnegativity conditionx ? 0 is replaced by the condition thatx lies in a certain convex setK. Duffin (Ref. 1) has shown that, whenK is a cone and a certain interiority condition is fulfilled, there will be no duality gap. In this note, we show that no duality gap exists when the interiority condition is satisfied andK is an arbitrary closed convex set inR ⁿ .     

Fractal oscillations of self-adjoint and damped linear differential equations of second-order

For a prescribed real number s ∈ [1, 2), we give some sufficient conditions on the coefficients p(x) and q(x) such that every solution y = y(x), y ∈ C²((0, T]) of the linear differential equation (p(x)y′)′ + q(x)y = 0 on (0, T], is bounded and fractal oscillatory near x = 0 with the fractal dimension equal to s. This means that y oscillates near x = 0 and the fractal (box-counting) dimension of the graph Γ(y) of y is equal to s as well as the s dimensional upper Minkowski content (generalized length) of Γ(y) is finite and strictly positive. It verifies that y admits similar kind of the fractal geometric asymptotic behaviour near x = 0 like the chirp function y_ch(x) = a(x)S(φ(x)), which often occurs in the time-frequency analysis and its various applications. Furthermore, this kind of oscillations is established for the Bessel, chirp and other types of damped linear differential equations given in the form y″ + (μ/x)y′ + g(x)y = 0, x ∈ (0, T]. In order to prove the main results, we state a new criterion for fractal oscillations near x = 0 of real continuous functions which essentially improves related one presented in [1].     

Fixed points for fuzzy mappings

In this paper the problem of the existence and computation of fixed points for fuzzy mappings is approached. A fuzzy mapping R over a set X is defined to be a function attaching to each x in X a fuzzy subset R_χ of X. An element x of X is called fixed point of R iff its membership degree to R_χ is at least equal to the membership degree to R_χ of any y?X, i.e. R_χ(χ)? R_χ(y)(?y?X). Two existence theorems for fixed points of a fuzzy mapping are proved and an algorithm for computing approximations of such a fixed point is described. The convergence theorem of our algorithm is proved under the restrictive assumption that for any x in X, the membership function of R_χ has a ‘complementary function’. Examples of fuzzy mappings having this property are given, but the problem of proving general criteria for a function to have a complementary remain open.     

Numerical optimization method for packing regular convex polygons

An algorithm is presented for the approximate solution of the problem of packing regular convex polygons in a given closed bounded domain G so as to maximize the total area of the packed figures. On G a grid is constructed whose nodes generate a finite set W on G, and the centers of the figures to be packed can be placed only at some points of W. The problem of packing these figures with centers in W is reduced to a 0-1 linear programming problem. A two-stage algorithm for solving the resulting problems is proposed. The algorithm finds packings of the indicated figures in an arbitrary closed bounded domain on the plane. Numerical results are presented that demonstrate the effectiveness of the method.     

On solvability of two-dimensional Lp-Minkowski problem

Given p≠0 and a positive continuous function g, with g(x+T)=g(x), for some 0<T<1 and all real x, it is shown that for suitable choice of a constant C>0 the functional has a minimizer in the class of positive functions u∈C¹(R) for which u(x+T)=u(x) for all x∈R. This minimizer is used to prove the existence of a positive periodic solution y∈C²(R) of two-dimensional L_p-Minkowski problem y^1−p(x)(y″(x)+y(x))=g(x), where p∉{0,2}.     

Some generalizations of the first Fredholm theorem to multivalued A-proper mappings with applications to nonlinear elliptic equations

Let X and Y be real normed spaces with an admissible scheme Γ = {E_n, V_n; F_n, W_n} and T: X → 2^YA-proper with respect to Γ such that dist(y, A(x)) < kc(∥ x ∥) for all y in T(x) with ∥ x ∥ ? R for some R > 0 and k > 0, where c: R⁺ → R⁺ is a given function and A: X → 2^Y a suitable possibly not A-proper mapping. Under the assumption that either T or A is odd or that (u, Kx) ? 0 for all u in T(x) with $\text{∥ x ∥ ? r > 0}\text{and some}\text{K: X → Y}{}^1$, we obtain (in a constructive way) various generalizations of the first Fredholm theorem. The unique approximation-solvability results for the equation T(x) = f with T such that T(x) ? T(y) ?A(x ? y) for x, y in X or T is Fréchet differentiable are also established. The abstract results for A-proper mappings are then applied to the (constructive) solvability of some boundary value problems for quasilinear elliptic equations. Some of our results include the results of Lasota, Lasota-Opial, Hess, Ne?as, Petryshyn, and Babu?ka.     

On the B-Fredholm Alternative

The aim of this paper is to give an extended version of the Fredholm alternative, by including the B-Fredholm case. Thus if T a B-Fredholm operator acting on a Banach space, we study equations of the type T(x) =  y, for x, y elements of the range R(T ⁿ ) of T for ${n \in \mathbb{N}}$ . In this study we include the case when 0 is a pole of infinite rank of the resolvent of T. Preliminarily, we define unbounded closed B-Fredholm operators on Banach spaces.     

Numerical solution of a class of random boundary value problems

This paper deals with the nonlinear two point boundary value problem y″ = f(x, y, y′, R₁,…, R_n), x₀ < x < x_fS₁y(x₀) + S₂y′(x₀) = S₃, S₄y(x_f) + S₅y′(x_f) = S₆ where R₁,…, R_n, S₁,…, S₆ are bounded continuous random variables. An approximate probability distribution function for y(x) is constructed by numerical integration of a set of related deterministic problems. Two distinct methods are described, and in each case convergence of the approximate distribution function to the actual distribution function is established. Primary attention is placed on problems with two random variables, but various generalizations are noted. As an example, a nonlinear one-dimensional heat conduction problem containing one or two random variables is studied in some detail.     

Properties of the density for a three-dimensional stochastic wave equation

We consider a stochastic wave equation in space dimension three driven by a noise white in time and with an absolutely continuous correlation measure given by the product of a smooth function and a Riesz kernel. Let pt,x(y) be the density of the law of the solution u(t,x) of such an equation at points (t,x)∈]0,T]×R³. We prove that the mapping (t,x)?pt,x(y) owns the same regularity as the sample paths of the process {u(t,x),(t,x)∈]0,T]×R³} established in [R.C. Dalang, M. Sanz-Solé, Hölder-Sobolev regularity of the solution to the stochastic wave equation in dimension three, Mem. Amer. Math. Soc., in press]. The proof relies on Malliavin calculus and more explicitly, the integration by parts formula of [S. Watanabe, Lectures on Stochastic Differential Equations and Malliavin Calculus, Tata Inst. Fund. Res./Springer-Verlag, Bombay, 1984] and estimates derived from it.     

The total graph and regular graph of a commutative ring

Let R be a commutative ring. The total graph of R, denoted by T(Γ(R)) is a graph with all elements of R as vertices, and two distinct vertices x,y∈R, are adjacent if and only if x+y∈Z(R), where Z(R) denotes the set of zero-divisors of R. Let regular graph of R, Reg(Γ(R)), be the induced subgraph of T(Γ(R)) on the regular elements of R. Let R be a commutative Noetherian ring and Z(R) is not an ideal. In this paper we show that if T(Γ(R)) is a connected graph, then . Also, we prove that if R is a finite ring, then T(Γ(R)) is a Hamiltonian graph. Finally, we show that if S is a commutative Noetherian ring and Reg(S) is finite, then S is finite.     

The asymptotic distribution of lattice points in hyperbolic space

Suppose x and y are two points in the upper half-plane H⁺, and suppose Γ is a discontinuous group of conformal automorphisms of H⁺ having compact fundamental domain S. Denote by N_T(x, y) the number of points of the form γy (γ?Γ) in the closed disc of hyperbolic radius T centered about x, and set $\text{Q}{}_{\mathrm{T}}\text{(x, y) = N}{}_{\mathrm{T}}\text{(x, y) ?}\text{V(T)}\text{A}\text{,}\text{where}\text{V(T)}$ is the hyperbolic area of the disc, and A is the hyperbolic area of S. The asymptotic behavior of the quantity ?_LxL(Q_T(x,y))² is estimated in terms of small eigenvalues of the Laplacian on functions automorphic under Γ.     

On the lifetime of a conditioned Brownian motion in the ball

Consider the Brownian motion conditioned to start in x, to converge to y, with , and to be killed at the boundary ∂Ω. Here Ω is a bounded domain in Rn. For which x and y is the lifetime of this Brownian motion maximal? One would guess for x and y being opposite boundary points and we will show that this holds true for balls in Rn. As a consequence we find the best constant for the positivity preserving property of some elliptic systems and an identity between this constant and a sum of inverse Dirichlet eigenvalues.     

Exact number of local extreme points of curvature function of solutions of second-order linear differential equations

We study local properties of the curvature ?? _y (x) of every nontrivial solution y=y(x) of the second-order linear differential equation?(P): (p(x)y??)??+q(x)y=0, x??(a,b)=I, where p(x) and q(x) are smooth enough functions. It especially includes the Euler, Bessel and other important types of second-order linear differential equations. Some sufficient conditions on the coefficients p(x) and q(x) are given such that the curvature ?? _y (x) of every nontrivial solution y of (P) has exactly one extreme point between each two its consecutive simple zeros. The problem of three local extreme points of ?? _y (x) is also considered but only as an open problem. It seems it is the first paper dealing with this kind of problems. Finally in Appendix, we pay attention to an application of the main results to a study of non-regular points (the cusps) of the ??-parallels of graph ??(y) of?y (the offset curves of???(y)).     

On directed zero-divisor graphs of finite rings

For an artinian ring R, the directed zero-divisor graph Γ(R) is connected if and only if there is no proper one-sided identity element in R. Sinks and sources are characterized and clarified for a finite ring R. Especially, it is proved that for any ring R, if there exists a source y in Γ(R) with y²=0, then |R|=4 and R={0,x,y,z}, where x and z are left identity elements and yx=0=yz. Such a ring R is also the only ring such that Γ(R) has exactly one source. This shows that Γ(R) cannot be a network for any finite or infinite ring R.