Covering a polygonal region by rectangles

The problem of covering a compact polygonal region, called target region, with a finite family of rectangles is considered. Tools for mathematical modeling of the problem are provided. Especially, a function, called Γ-function, is introduced which indicates whether the rectangles with respect to their configuration form a cover of the target region or not. The construction of the Γ-function is similar to that of Φ-functions which have been proved to be an efficient tool for packing problems. A mathematical model of the covering problem based on the Γ-function is proposed as well as a solution strategy. The approach is illustrated by an example and some computational results are presented.     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.     

Automorphisms of groups and of schemes of finite type

We show first that certain automorphism groups of algebraic varieties, and even schemes, are residually finite and virtually torsion free. (A group virtually has a property if some subgroup of finite index has it.) The rest of the paper is devoted to a study of the groups of automorphisms. Aut(Γ) and outer automorphisms Out(Γ) of a finitely generated group Γ, by using the finite-dimensional representations of Γ. This is an old idea (cf. the discussion of Magnus in [11]). In particular the classes of semi-simplen-dimensional representations of Γ are parametrized by an algebraic varietyS _n (Γ) on which Out(Γ) acts. We can apply the above results to this action and sometimes conclude that Out(Γ) is residually finite and virtually torsion free. This is true, for example, when Γ is a free group, or a surface group. In the latter case Out(Γ) is a “mapping class group.” Partially supported by the NSF under Grant MCS 80-05802.     

On positivity of solutions of degenerate boundary value problems for second-order elliptic equations

In this paper we study thedegenerate mixed boundary value problem:Pu=f in Ω,B _u =gon Ω∂Г where ω is a domain in ℝ ⁿ ,P is a second order linear elliptic operator with real coefficients, Γ⊆∂Ω is a relatively closed set, andB is an oblique boundary operator defined only on ∂Ω/Γ which is assumed to be a smooth part of the boundary. The aim of this research is to establish some basic results concerning positive solutions. In particular, we study the solvability of the above boundary value problem in the class of nonnegative functions, and properties of the generalized principal eigenvalue, the ground state, and the Green function associated with this problem. The notion of criticality and subcriticality for this problem is introduced, and a criticality theory for this problem is established. The analogs for the generalized Dirichlet boundary value problem, where Γ=∂Ω, were examined intensively by many authors.     

On representation of the solution of the Neumann problem in a domain with peak by the harmonic simple layer potential

The problem of finding a solution of the Neumann problem for the Laplacian in the form of a simple layer potential Vρ with unknown density ρ is known to be reducible to a boundary integral equation of the second kind to be solved for density. The Neumann problem is examined in a bounded n-dimensional domain Ω⁺ (n > 2) with a cusp of an outward isolated peak either on its boundary or in its complement Ω⁻ = R ⁿ \Ω⁺. Let Γ be the common boundary of the domains Ω^±, Tr(Γ) be the space of traces on Γ of functions with finite Dirichlet integral over R ⁿ , and Tr(Γ)* be the dual space to Tr(Γ). We show that the solution of the Neumann problem for a domain Ω⁻ with a cusp of an inward peak may be represented as Vρ⁻, where ρ⁻ ∈ Tr(Γ)* is uniquely determined for all Ψ⁻ ∈ Tr(Γ)*. If Ω⁺ is a domain with an inward peak and if Ψ⁺ ∈ Tr(Γ)*, Ψ⁺ ⊥ 1, then the solution of the Neumann problem for Ω⁺ has the representation u ⁺ = Vρ⁺ for some ρ⁺ ∈ Tr(Γ)* which is unique up to an additive constant ρ₀, ρ₀ = V ⁻¹(1). These results do not hold for domains with outward peak.     

The word and Riemannian metrics on lattices of semisimple groups

Let G be a semisimple Lie group of rank ⩾2 and Γ an irreducible lattice. Γ has two natural metrics: a metric inherited from a Riemannian metric on the ambient Lie group and a word metric defined with respect to some finite set of generators. Confirming a conjecture of D. Kazhdan (cf. Gromov [Gr2]) we show that these metrics are Lipschitz equivalent. It is shown that a cyclic subgroup of Γ is virtually unipotent if and only if it has exponential growth with respect to the generators of Γ.     

Approximation by Faber-Laurent rational functions in the mean of functions of callsL p(Γ) with 1

Çavu§  A.  Israfilov  D. M. 《分析论及其应用》1995,11(1):105-118

Deformations of complex structures on Γ/SL 2(C)

LetG be a connected complex semisimple Lie group. Let Γ be a cocompact lattice inG. In this paper, we show that whenG isSL ₂(C), nontrivial deformations of the canonical complex structure onX exist if and only if the first Betti number of the lattice Γ is non-zero. It may be remarked that for a wide class of arithmetic groups Γ, one can find a subgroup Γ′ of finite index in Γ, such that Γ′/[Γ′,Γ′] is finite (it is a conjecture of Thurston that this is true for all cocompact lattices inSL(2, C)). We also show thatG acts trivially on the coherent cohomology groupsH ⁱ(Γ/G, O) for anyi≥0.     

Unique solvability of the Cauchy problem for a system of Maxwell equations with initial data on a timelike surface

In this paper, a uniqueness theorem on the solution of the Cauchy problem for a system of Maxwell equations is proved in the case where the coefficients ε and μ are analytic functions of coordinates and the initial data are given on an “immovable” surface Σ=Γ×[0≤t≤2T], where Γ is an analytic surface in R³. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 30–37. Translated by N.S. Zabavnikova.     

Iterative Approximation of Statistical Distributions and Relation to Information Geometry

The optimal control of stochastic processes through sensor estimation of probability density functions is given a geometric setting via information theory and the information metric. Information theory identifies the exponential distribution as the maximum entropy distribution if only the mean is known and the Γ distribution if also the mean logarithm is known. The surface representing Γ models has a natural Riemannian information metric. The exponential distributions form a one-dimensional subspace of the two-dimensional space of all Γ distributions, so we have an isometric embedding of the random model as a subspace of the Γ models. This geometry provides an appropriate structure on which to represent the dynamics of a process and algorithms to control it. This short paper presents a comparative study on the parameter estimation performance between the geodesic equation and the B-spline function approximations when they are used to optimize the parameters of the Γ family distributions. In this case, the B-spline functions are first used to approximate the Γ probability density function on a fixed length interval; then the coefficients of the approximation are related, through mean and variance calculations, to the two parameters (i.e. μ and β) in Γ distributions. A gradient based parameter tuning method has been used to produce the trajectories for (μ, β) when B-spline functions are used, and desired results have been obtained which are comparable to the trajectories obtained from the geodesic equation. This revised version was published online in August 2006 with corrections to the Cover Date.     

The Least Regular Order with Respect to a Regular Congruence on Ordered Γ-Semigroups

The motivation mainly comes from the conditions of congruences to be regular that are of importance and interest in ordered semigroups. In 1981, Sen has introduced the concept of the Γ-semigroups. We can see that any semigroup can be considered as a Γ-semigroup. In this paper, we introduce and characterize the concept of the regular congruences on ordered Γ-semigroups and prove the following statements on an ordered Γ-semigroup M : (1) Every ordered semilattice congruences is a regular congruence. (2) There exists the least regular order on the Γ-semigroup M/ρ with respect to a regular congru- ence ρ on M . (3) The regular congruences are not ordered semilattice congruences in general.     

On the outradius of the teichmüller space

Let Γ be a fuchsian group which preserves the unit disc Δ and hence also its complement Δ^* in the Riemann sphere . The Bers embedding represents the Teichm=:uller space T(Γ) of Γ in the space (B (Δ^*, Γ) of bounded quadratic differentials for Γ in Δ^*. Then, T(Γ) is included in the closed ball centred at the origin of radius 6 inB(Δ^*, Γ) with respect to the norm employed in a paper by Nehari [The Schwarzian derivative and Schlicht functions; Bull. Amer. Math. Soc. 55 (1949), 545–551]. In other words the outradiuso(Γ) ofT(Γ) is not greater than 6. The purpose of this paper is to give a complete characterization of a fuchsian group Γ for which the outradiuso(Γ) ofT(Γ) attains this extremal value 6. The main theorem is: Let Γ be a fuchsian group preserving Δ^*. Then the outradiuso(Γ) of the Teichmüller spaceT(Γ) equals 6 if and only if for any positive numberd, either (i) there exists a hyperbolic disc of radiusd precisely invariant under the trivial subgroup, or (ii) there exists the collar of widthd about the axis of a hyperbolic element of Γ. Dedicated to Professor K?taro Oikawa on his 60th birthday     

Spectral Solutions of Self-adjoint Elliptic Problems with Immersed Interfaces

This paper describes a spectral representation of solutions of self-adjoint elliptic problems with immersed interfaces. The interface is assumed to be a simple non-self-intersecting closed curve that obeys some weak regularity conditions. The problem is decomposed into two problems, one with zero interface data and the other with zero exterior boundary data. The problem with zero interface data is solved by standard spectral methods. The problem with non-zero interface data is solved by introducing an interface space H _Γ(Ω) and constructing an orthonormal basis of this space. This basis is constructed using a special class of orthogonal eigenfunctions analogously to the methods used for standard trace spaces by Auchmuty (SIAM J. Math. Anal. 38, 894–915, 2006). Analytical and numerical approximations of these eigenfunctions are described and some simulations are presented.     

A free boundary problem of type-I superconductivity

1.IntroductionSuperconductorsofTypeIarematerialswhicharecapableofchangingfromthephaseofbeingnormalconductorstoaphasewherethereisnoresistancetothemotionoffreeelections.InnormalconductorphasethenormalizedMaxwellequations(neglectingdisplacementcurrents)aretogetherwithOhm'slawj~acEwhereuistheelectricconductivity.InasuperconductingphaseOhm'slawisnolongervalidandMaxwell'sequationsaresupplemelltedbytheGinzburg-Landaufieldequationsll].Underisothermalconditions,thechangeofphasefromsuperconductingto…     

Selfadjoint extensions of the operator of the Dirichlet problem in a 3-dimensional region with an edge

Taking various viewpoints, we study the selfadjoint extensions $ \mathcal{A} $ \mathcal{A} of the operator A of the Dirichlet problem in a 3-dimensional region Ω with an edge Γ. We identify the infinite dimensional nullspace def A with the Sobolev space H ^−ϰ(Γ) on Γ with variable smoothness exponent −ϰ ∈ (−1, 0); while the selfadjoint extensions, with selfadjoint operators $ \mathcal{T} $ \mathcal{T} on the subspaces of H ^−ϰ(Γ). To the boundary value problem in the region with a “smoothed” edge we associate a concrete extension, which yields a more precise approximate solution to the singularly perturbed problem.     

Monotone Nonincreasing Random Fields on Partially Ordered Sets. II. Probability Distributions on Polyhedral Cones

In this part of the paper, we investigate the structure of an arbitrary measure μ supported by a polyhedral cone C in R ^d in the case where the decumulative distribution function g_μ of the measure μ satisfies certain continuity conditions. If a face Γ of the cone C satisfies appropriate conditions, the restriction μ|_Γint of the measure μ to the interior part of Γ is proved to be absolutely continuous with respect to the Lebesgue measure λ_Γ on the face Γ. Besides, the density of the measure μ|_Γint is expressed as the derivative of the function g_μ multipied by a constant. This result was used in the first part of the paper to find the finite-dimensional distributions of a monotone random field on a poset. Bibliography: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 307, 2004, pp. 5–56.     

Fixed-point property of random groups

In this paper, using the generalized version of the theory of combinatorial harmonic maps, we give a criterion for a finitely generated group Γ to have the fixed-point property for a certain class of Hadamard spaces, and prove a fixed-point theorem for random-group actions on the same class of Hadamard spaces. We also study the existence of an equivariant energy-minimizing map from a Γ-space to the limit space of a sequence of Hadamard spaces with the isometric actions of a finitely generated group Γ. As an application, we present the existence of a constant which may be regarded as a Kazhdan constant for isometric discrete-group actions on a family of Hadamard spaces.      

Plane curves of genus p and degree 2p as projections of space curves of the same degree

We characterize plane curves Γ of genus p and degree 2p with respect to the possibility of obtaining them as projections of space curves C′ of the same degree. When Γ is hyperelliptic, we link this characterization with the configuration of the singularities of Γ and with the position of C′ on certain scrolls. Supported by the M.U.R.S.T. of the Italian Government     

Free group representations from vector-valued multiplicative functions,I

Let Γ denote a noncommutative free group and let Ω stand for its boundary. We construct a large class of unitary representations of Γ. This class contains many previously studied representations, and is closed under several natural operations. Each of the constructed representations is in fact a representation of Γ ⋉_λ C(Ω). We prove here that each of them is irreducible as a representation of Γ ⋉_λ C(Ω). Actually, as will be shown in further work, each of them is irreducible as a representation of Γ, or is the direct sum of exactly two irreducible, inequivalent Γ-representations. This research was supported by the Italian CNR.