On a Generalized Dirichlet Problem for Analytic Family

In this paper, we give the Silov boundary for an analytic family on a bounded strictly pseudoconvex domain or an analytic polyhedron in Cn, and get a necessary and sufficient condition for a generalized Dirichlet problem to be solvable for an analytic family on a bounded holomorphic domain. Especially, we derive that this condition is just that the continuous real boundary value is prescribed on and only on the Silov boundary for an analytic family on a bounded strictly pseudoconvex domain or an analytic polyhedron.     

Ambient connections realising conformal Tractor holonomy

For a conformal manifold we introduce the notion of an ambient connection, an affine connection on an ambient manifold of the conformal manifold, possibly with torsion, and with conditions relating it to the conformal structure. The purpose of this construction is to realise the normal conformal Tractor holonomy as affine holonomy of such a connection. We give an example of an ambient connection for which this is the case, and which is torsion free if we start the construction with a C-space, and in addition Ricci-flat if we start with an Einstein manifold. Thus, for a C-space this example leads to an ambient metric in the weaker sense of Čap and Gover, and for an Einstein space to a Ricci-flat ambient metric in the sense of Fefferman and Graham. Current address for first author: Erwin Schr?dinger International Institute for Mathematical Physics (ESI), Boltzmanngasse 9, 1090 Vienna, Austria Current address for second author: Department of Mathematics, University of Hamburg, Bundesstra?e 55, 20146 Hamburg, Germany     

A saddle-point criterion for convex problems with infinite-dimensional equality constraints

In this paper, we develop a saddle-point criterion for convex optimization problems with infinite-dimensional equality constraints. The method used in the derivation of this criterion is based on the property of openness of the equality operator. As an application, we develop necessary and sufficient conditions for an optimal control problem under a suitable controllability assumption. Constructing an optimal solution for a production planning problem is used as an illustrative example.The authors would like to thank Professor R. T. Rockafellar for his suggestions which have resulted in an improved version of the paper.     

A boundary integral formulation for elastically deformable particles in a viscous fluid

This paper reports a formulation and implementation of a mixed (both direct and indirect) boundary element method using the double layer and its adjoint in a form suitable for solving Stokes flow problems involving elastically deformable particles. The formulation is essentially the Completed Double Layer Boundary Element Method for solving an exterior traction problem for the surrounding fluid or solid phase, followed by an interior displacement, and a mobility problem (if required) for the elastic particles. At the heart of the method is a deflation procedure that allows iterative solution strategies to be adopted, effectively opens the way for large-scale simulations of suspensions of deformable particles to be performed. Several problems are considered, to illustrate and benchmark the method. In particular, an analytical solution for an elastic sphere in an elongational flow is derived. The stresslet calculations for an elastic sphere in shear and elongational flows indicate that elasticity of the inclusions can potentially lead to positive second normal stress difference in shear flow, and an increase in the tensile resistance in elongational flow.This work is supported by a grant from the Australian Research Grant Council. X-J F wishes to acknowledge the support of the National Natural Science Foundation of China.     

$p$-双调和算子的第一特征值的等周上界和 Reilly 型不等式

在本文中,我们给出了嵌入到欧氏空间中的$n$维闭超曲面上$p$-双调和算子的第一特征值的一些等周上界.我们也给出了浸入到高维流形如欧氏空间,球面和射影空间中的闭子流形上$p$-双调和算子的第一特征值的一些Reilly-型不等式.     

pth Power Lagrangian Method for Integer Programming

When does there exist an optimal generating Lagrangian multiplier vector (that generates an optimal solution of an integer programming problem in a Lagrangian relaxation formulation), and in cases of nonexistence, can we produce the existence in some other equivalent representation space? Under what conditions does there exist an optimal primal-dual pair in integer programming? This paper considers both questions. A theoretical characterization of the perturbation function in integer programming yields a new insight on the existence of an optimal generating Lagrangian multiplier vector, the existence of an optimal primal-dual pair, and the duality gap. The proposed pth power Lagrangian method convexifies the perturbation function and guarantees the existence of an optimal generating Lagrangian multiplier vector. A condition for the existence of an optimal primal-dual pair is given for the Lagrangian relaxation method to be successful in identifying an optimal solution of the primal problem via the maximization of the Lagrangian dual. The existence of an optimal primal-dual pair is assured for cases with a single Lagrangian constraint, while adopting the pth power Lagrangian method. This paper then shows that an integer programming problem with multiple constraints can be always converted into an equivalent form with a single surrogate constraint. Therefore, success of a dual search is guaranteed for a general class of finite integer programming problems with a prominent feature of a one-dimensional dual search.     

EWMA control charts for autoregressive processes

Many processes must be monitored by using observations that are correlated. An approach called algorithmic statistical process control can be employed in such situations. This involves fitting an autoregressive/moving average time series model to the data. Forecasts obtained from the model are used for active control, while the forecast errors are monitored by using a control chart. In this paper we consider using an exponentially weighted moving average (EWMA) chart for monitoring the residuals from an autoregressive model. We present a computational method for finding the out-of-control average run length (ARL) for such a control chart when the process mean shifts. As an application, we suggest a procedure and provide an example for finding the control limits of an EWMA chart for monitoring residuals from an autoregressive model that will provide an acceptable out-of-control ARL. A computer program for the needed calculations is provided via the World Wide Web.     

Optimal control in a macroeconomic problem

The Pontryagin maximum principle is used to develop an original algorithm for finding an optimal control in a macroeconomic problem. Numerical results are presented for the optimal control and optimal trajectory of the development of a regional economic system. For an optimal control satisfying a certain constraint, an invariant of a macroeconomic system is derived.     

POLES OF ZETA FUNCTIONS OF COMPLETE INTERSECTIONS

51.IntroductionLetF.beafinitefieldofqele~swithcharederisticp.LetXbeanThdilnensionalalgebraicsetdeadedoverF..ThezetafunctionofX/F.isdennedbywhereXOdenotesthesetofclosedpointsOfX/F.and#X(F.d)denotesthenUInberof.F.d-rationalpointsonX.ItiseasytoseethatZ(X,T)isapowerserieswithintegercoefficients.Dwork'srationalltytheoremIg]showsthatthezetafunctionZ(X,T)isrationalinT.ThuS,therearealgebraicintegerspll'.3Pr,pl,'3basuchthatThereisagoodreasonthatwemoantheabovezetafunctionbythepower(--1)"-…     

On essential sets and essential components of efficient solutions for vector optimization problems

In this paper, we first introduce the notions of an essential set and an essential component of the set of efficient solutions for continuous vector optimizations on a nonempty compact subset of a metric space. Then we show that for each of these vector optimizations, each set of all efficient solutions corresponding to the same optimal values is essential. Basing on this result, we give full characterizations of an essential point, an essential set and an essential component, respectively. As an application, we prove that for continuous quasiconvex vector optimization problems on a nonempty compact subset of a metric vector space, each component of the set of efficient solutions is essential even though the efficient solution set is not connected.     

On the complexity of the word problem for automaton semigroups and automaton groups

In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSpace-complete word problem. We also show that there is an automaton group for which the word problem with a single rational constraint is PSpace-complete. Additionally, we provide simpler constructions for the uniform word problems of these classes. For the uniform word problem for automaton groups (without rational constraints), we show NL-hardness. Finally, we investigate a question asked by Cain about a better upper bound for the length of a word on which two distinct elements of an automaton semigroup must act differently.A detailed listing of the contributions of this paper can be found at the end of this paper.     

Auto-balancing of a rotor with an orthotropic elastic shaft

The self-balancing of a statically unbalanced orthotropic elastic rotor equipped with a ball auto-balancing device is investigated. Equations of motion in fixed and rotating systems of coordinates, as well as equations describing steady motions of the regular precession type, are derived using a simple model of a Jeffcott rotor. Formulae for calculating the amplitude-frequency and phase-frequency characteristics of the precessional motion of the rotor are obtained. It is established that the conditions for a steady balanced mode of motion for an orthotropic rotor to exist have the same form as for an isotropic rotor, but the stability region of such a mode for an orthotropic rotor is narrower than the stability region for an isotropic rotor. The unsteady modes of motion of the rotor in the case of rotation with constant angular velocity and in the case of passage through critical velocities with constant angular acceleration is investigated numerically. It is established that the mode of slow passage through the critical region for an orthotropic rotor is far more dangerous than the similar mode for an isotropic rotor.     

On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems

We consider the guaranteed a posteriori estimates for the inverse parabolic operators with homogeneous initial-boundary conditions. Our estimation technique uses a full-discrete numerical scheme, which is based on the Galerkin method with an interpolation in time by using the fundamental solution for semidiscretization in space. In our technique, the constructive a priori error estimates for a full discretization of solutions for the heat equation play an essential role. Combining these estimates with an argument for the discretized inverse operator and a contraction property of the Newton-type formulation, we derive an a posteriori estimate of the norm for the infinite-dimensional operator. In numerical examples, we show that the proposed method should be more efficient than the existing method. Moreover, as an application, we give some prototype results for numerical verification of solutions of nonlinear parabolic problems, which confirm the actual usefulness of our technique.     

Associative identities of octonions

We work to find a basis of identities for an octonion algebra modulo an associator ideal of a free alternative algebra, or, in other words, a basis for an associative replica of an ideal of identities of an octonion algebra.     

On error estimates in the Galerkin method for hyperbolic equations

We consider the Cauchy problem in a Hilbert space for a second-order abstract quasilinear hyperbolic equation with variable operator coefficients and nonsmooth (but Bochner integrable) free term. For this problem, we establish an a priori energy error estimate for the semidiscrete Galerkin method with an arbitrary choice of projection subspaces. Also, we establish some results on existence and uniqueness of an exact weak solution. We give an explicit error estimate for the finite element method and the Galerkin method in Mikhlin form.     

Isoperimetric inequalities and conjugate points on Lorentzian surfaces

Recently, an isoperimetric inequality for a sector on the Minkowski 2-spacetime has been derived by the method of parallels and the relativistic Gauss-Bonnet formula. In the present paper, we derive an isoperimetric inequality for a sector on a Lorentzian surface with curvatureK ≤ C. As a sector can be modeled by a geodesic variation of a timelike geodesic, our isoperimetric inequality gives an upper bound for the spacelike boundary of a sector. As an application of our results, we give an elementary proof of the existence of conjugate points on a Lorentzian surface with curvatureK ≤ C < 0 and we obtain an upper bound for the (timelike) diameter of a globally hyperbolic Lorentzian surface withK ≤ C < 0 by comparison of sectors.     

Parallel sparse linear algebra and application to structural mechanics

The framework of this paper is the parallelization of a plasticity algorithm that uses an implicit method and an incremental approach. More precisely, we will focus on some specific parallel sparse linear algebra algorithms which are the most time-consuming steps to solve efficiently such an engineering application. First, we present a general algorithm which computes an efficient static scheduling of block computations for parallel sparse linear factorization. The associated solver, based on a supernodal fan-in approach, is fully driven by this scheduling. Second, we describe a scalable parallel assembly algorithm based on a distribution of elements induced by the previous distribution for the blocks of the sparse matrix. We give an overview of these algorithms and present performance results on an IBM SP2 for a collection of grid and irregular problems. This revised version was published online in June 2006 with corrections to the Cover Date.     

Carleman estimates for second-order hyperbolic systems in anisotropic cases and applications. Part II: an inverse source problem

In this paper, we consider Carleman-type estimate and consider an inverse problem for second order hyperbolic systems in an anisotropic case. In the previous Part I paper, we established a Carleman-type estimate for hyperbolic systems in which the coefficient matrices satisfy suitable conditions. We apply a Carleman estimate in the previous Part I paper to an inverse source problem for second-order hyperbolic systems in an anisotropic case and prove an estimate of the Hölder type.     

Conditions for invertibility and Hurwitz stability

In a generalization of Fiedler’s theorem, a block condition for the invertibility of an operator and an estimate for the operator matrix of the inverse operator are presented. A block condition for an operator to be Hurwitz is also given, which contains an estimate of the spectral abscissa of the operator.     

Existence of Solutions for Impulsive Neutral Integro-Differential Inclusions with Nonlocal Initial Conditions via Fractional Operators

This paper is mainly concerned with existence of mild solutions for first-order impulsive neutral integro-differential inclusions with nonlocal initial conditions in α-norm. We assume that the undelayed part generates an analytic resolvent operator and transforms it into an integral equation. By using a fixed point theorem for condensing multivalued maps, a main existence theorem is established. As an application of this main theorem, a practical consequence is derived for the sublinear growth case. Finally, we present an application to a neutral partial integro-differential equation with Dirichlet and nonlocal initial conditions.