Archimedean ordered semigroups as ideal extensions

The main result of the paper is a structure theorem concerning the ideal extensions of archimedean ordered semigroups. We prove that an archimedean ordered semigroup which contains an idempotent is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup. Conversely, if an ordered semigroup S is an ideal extension of a simple ordered semigroup by a nil ordered semigroup, then S is archimedean. As a consequence, an ordered semigroup is archimedean and contains an idempotent if and only if it is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup.     

Scattering of Plane Harmonic Waves in an Infinite Elastic Solid by an Arbitrary Configuration of Two-dimensional Obstacles

The problem of the multiple scattering of plane harmonic wavesin an infinite elastic solid by arbitrary configurations oftwo-dimensional obstacles is considered. Sets of integral equationsrelating the multiple scattering functions to the single scatteringfunctions are derived. The integral equations are replaced bya set of algebraic equations which are then solved by an iterativeprocedure. Some results are given for the scattering of a planeharmonic P or SV wave by an identical pair of parallel circularcylindrical cavities.     

Erlang loss bounds for OT–ICU systems

In hospitals, patients can be rejected at both the operating theater (OT) and the intensive care unit (ICU) due to limited ICU capacity. The corresponding ICU rejection probability is an important service factor for hospitals. Rejection of an ICU request may lead to health deterioration for patients, and for hospitals to costly actions and a loss of precious capacity when an operation is canceled. There is no simple expression available for this ICU rejection probability that takes the interaction with the OT into account. With c the ICU capacity (number of ICU beds), this paper proves and numerically illustrates a lower bound by an M|G|c|c system and an upper bound by an M|G|c-1|c-1 system, hence by simple Erlang loss expressions. The result is based on a product form modification for a special OT–ICU tandem formulation and proved by a technically complicated Markov reward comparison approach. The upper bound result is of particular practical interest for dimensioning an ICU to secure a prespecified service quality. The numerical results include a case study.     

Diffraction by a Dielectric Wedge

Approximate expressions are obtained for the field producedwhen an electromagnetic source field is diffracted by a dielectricwedge. The boundary value problem, of the diffraction of an E-or H-pokarizedelectromagnetic line source by an arbitrary angled dielectricwedgeis formulated, and its solution is given in the form ofa Fredholm integral equation. The solution of the integral equationis obtained by a standard perturbation technique. The perturbationparameter is dependent on the refractive index of the dielectricwedge. The right angle dielectric wedge, which is illuminatedby an E-polarized plane wate, and whose refractive index (=n)is such that 1<n < 2, is considered in detail.     

A note on the polynomial solution of a class of dual integral equations arising in mixed boundary value problems of elasticity

Summary The present paper is concerned with finding an effective polynomial solution to a class of dual integral equations which arise in many mixed boundary value problems in the theory of elasticity. The dual integral equations are first transformed into a Fredholm integration equation of the second kind via an auxiliary function, which is next reduced to an infinite system of linear algebraic equations by representing the unknown auxiliary function in the form of an infinite series of Jacobi polynomials. The approximate solution of this infinite system of equations can be obtained by a suitable truncation. It is shown that the unknown function involving the dual integral equations can also be expressed in the form of an infinite series of Jacobi polynomials with the same expansion coefficients with no numerical integration involved. The main advantage of the present approach is that the solution of the dual integral equations thus obtained is numerically more stable than that obtained by reducing themdirectly into an infinite system of equations, insofar as the expansion coefficients are determined essentially by solving asecond kind integral equation.     

Remarks on the frame envelope of a σ-frame

The familiar equivalence between σ-frames and σ-coherent frames, given by the frame envelopes of σ-frames, is shown to induce an equivalence between stably continuous σ-frames and stably continuous frames. Similarly, the analogue of the former for σ-biframes is proved to provide an equivalence between compact regular σ-biframes and compact regular biframes. As an application we obtain the equivalence between stably continuous σ-frames and compact regular σ-biframes due to Matutu as an easy consequence of its frame counterpart established earlier by Banaschewski and Brümmer. This provides an affirmative answer to a question posed by Dana Scott.     

Small oscillations of an emulsion of two weakly viscous compressible liquids

The small oscillations of an emulsion of two weakly viscous compressible liquids in an external acoustic field are studied. The structure of the mixture is assumed to be periodic with a sufficiently by small cell size. An integro-differential acoustic equation and an expression for the mean velocity are derived by the two-scale convergence method and the strong convergence of the difference in the velocities and the difference in the velocity gradients of the prelimiting and limiting problems (the initial problem and the averaged problem) to zero in L₂ is proved. The elements of the dynamic “filtration matrix”, that is, of the kernel of the convolution of the acoustic equation, are calculated by the finite volume methods.     

Donaldson's theorem,Heegaard Floer homology,and knots with unknotting number one

We establish an obstruction to unknotting an alternating knot by a single crossing change. The obstruction is lattice-theoretic in nature, and combines Donaldson's diagonalization theorem with an obstruction developed by Ozsváth and Szabó using Heegaard Floer homology. As an application, we enumerate the alternating 3-braid knots with unknotting number one, and show that each has an unknotting crossing in its standard alternating diagram.     

Null field method in wave diffraction problems

Diffraction by an impermeable scatterer in ℝ³ with a Dirichlet boundary condition is considered. It is shown that the null field equation is equivalent to the original diffraction problem. The general theoretical constructions are illustrated by analyzing the excitation of a sphere by a point source. The evolution of the residual of the null field equation as the scatterer surface is approached by an auxiliary surface is estimated.     

Smooth interpolation of a mesh of curves

The interpolation of a mesh of curves by a smooth regularly parametrized surface with one polynomial piece per facet is studied. Not every mesh with a well-defined tangent plane at the mesh points has such an interpolant: the curvature of mesh curves emanating from mesh points with an even number of neighbors must satisfy an additional vertex enclosure constraint. The constraint is weaker than previous analyses in the literature suggest and thus leads to more efficient constructions. This is illustrated by an implemented algorithm for the local interpolation of a cubic curve mesh by a piecewise [bi]quarticC ¹ surface. The scheme is based on an alternative sufficient constraint that forces the mesh curves to interpolate second-order data at the mesh points. Rational patches, singular parametrizations, and the splitting of patches are interpreted as techniques to enforce the vertex enclosure constraint.Communicated by Wolfgang Dahmen.     

Existence and pathwise uniqueness to an SPDE driven by α-stable colored noise

In this paper we study a stochastic partial differential equation (SPDE) with Hölder continuous coefficient driven by an $\alpha$-stable colored noise. The pathwise uniqueness is proved by using a backward doubly stochastic differential equation backward (SDE) to take care of the Laplacian. The existence of solution is shown by considering the weak limit of a sequence of SDE system which is obtained by replacing the Laplacian operator in the SPDE by its discrete version. We also study an SDE system driven by Poisson random measures.     

On the perturbation theory of instable isolated eigenvalues

The problem of the perturbation of an operator having a continuous spectrum and an isolated eigenvalue λ₀ is considered by means of the theory on embedded eigenvalues. The perturbation is divided up into two parts. One part is used for embedding the isolated eigenvalue λ₀. This embedded eigenvalue becomes instable by the second part of the perturbation and spectral concentration is given near λ₀. The general model is illustrated by a simple example.     

Classes of singular integral operators along variable lines

We prove estimates for classes of singular integral operators along variable lines in the plane, for which the usual assumption of nondegenerate rotational curvature may not be satisfied. The main L^p estimates are proved by interpolating L² bounds with suitable bounds in Hardy spaces on product domains. The L² bounds are derived by almost-orthogonality arguments. In an appendix we derive an estimate for the Hilbert transform along the radial vector field and prove an interpolation lemma related to restricted weak type inequalities.     

On hypersurface of a Finsler space with a special metric

In 1980, H. Izumi [3] introduced the concept of an h-vector. For the Finsler space whose metric is transformed by an h-vector, B. N. Prasad [10] obtained the Cartan connection. On the other hand, M. Matsumoto [7] presented a systematic theory of Finslerian hypersurface. M. Kitayama [4] obtained certain results for the Finslerian hypersurface given by β-changes. The purpose of the present paper is to derive certain properties of a Finslerian hypersurface given by an h-vector. The terminologies and notations are referred to Matsumoto [8].     

On the piezotronics and tactile sensing virtual simulation

A flexible finger with muscles made of Nitinol wires and the skin made of auxetic material is analyzed from the tactile sensing point of view. The recognizing of the shape and texture of 3D objects is performed by simulation the action of an array of nanopiezotronic transistors integrated into the skin. The array of nanopiezotronic transistors makes possible the detection of the pressure-induced changes in the auxetic skin. The shape and texture of the objects is best estimated by determining the surface and texture as an n-ellipsoid defined by 12 parameters. An inverse problem is solved in order to find these parameters from the condition that the n-ellipsoid best fits the set of data points probed by touch with the finger. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Diffraction of an Electromagnetic Plane-wave by a Metallic Strip

The diffraction of an E-polarized and an H-polarized plane waveby an imperfectly conducting metallic strip on which are imposedimpedance boundary conditions is considered. The two independentproblems are solved by a method due to Jones based on the Wiener-Hopftechnique, and expressions for the extinction cross sectionare given in ascending powers of the reciprocal of the wavenumber.     

Structure of three-interval exchange transformations II: a combinatorial description of the tranjectories

Astract  We describe an algorithm for generating the symbolic sequences which code the orbits of points under an interval exchange transformation on three intervals. The algorithm has two components. The first is an arithmetic division algorithm applied to the lengths of the intervals. This arithmetic construction was originally introduced by the authors in an earlier paper and may be viewed as a two-dimensional generalization of the regular continued fraction. The second component is a combinatorial algorithm which generates the bispecial factors of the associated symbolic subshift as a function of the arithmetic expansion. As a consequence, we obtain a complete characterization of those sequences of block complexity 2n+1 which are natural codings of orbits of three-interval exchange transformations, thereby answering an old question of Rauzy. Partially supported by NSF grant INT-9726708.     

Matched Asymptotic Expansions in the Two-body Problem with Quick Loss of Mass

In studying models for the two-body problem with quick lossof mass a boundary layer problem arises for a third-order systemof non-linear ordinary differential equations. The models areidentified by a real parameter n with n ? 1. It turns out thatfor n = 1 asymptotic approximations of the solutions can beobtained by applying the method of matched asymptotic expansionsaccouonding to Vasil'eva or a multiple time scales method developedby O'Malley. For n> 1 these methods break down and it isshown that this is due to the occurrence of "unexpected" orderfunctions in the asymptotic expansions. The expansions for n> 1 are obtained by constructing an inner and outer expansionof the solution and matching these by the process of takingintermediate limits. The asymptotic validity of the matched expansions is provedby using an iteration technique; the proof is constructive sothat it provides us at the same time with an alternative wayof constructing approximations without using a matching technique.     

Method of Riemann surfaces for an inverse antiplane problem in an n-connected domain

ABSTRACT

An inverse problem of the theory of harmonic functions for an n-connected domain is analyzed. The problem is equivalent to a problem of antiplane elasticity on determination of the profiles of n uniformly stressed inclusions. The inclusions are in ideal contact with the surrounding matrix, the stress field inside the inclusions is uniform, and at infinity the body is subjected to antiplane uniform shear. The exterior of the inclusions, an n-connected domain, is treated as the image by a conformal map of an n-connected slit domain with the slits lying in the same line. The inverse problem is solved by quadratures by reducing it to two Riemann-Hilbert problems on a Riemann surface of genus n?1. Samples of two and three symmetric and non-symmetric uniformly stressed inclusions are reported.     

Exergetic efficiency optimization for an irreversible quantum Brayton refrigerator with spin systems

The purpose of this paper is to study the optimal performance for an irreversible quantum Brayton refrigerator with spin systems, which consists of two isomagnetic field branches connected by two irreversible adiabatic branches. The time evolution of the total magnetic moment M is determined by solving the generalized quantum master equation of an open system in the Heisenberg picture. The time of two irreversible adiabatic processes is considered based on finite-rate evolution in this paper. The optimization region (or criteria) for an irreversible quantum Brayton refrigerator with spin systems is obtained. The relationship between the exergetic efficiency ε_E and dimensionless cooling load R for the irreversible quantum Brayton refrigerator with heat leakage and other irreversibility losses are derived.