An O(n 2) Active Set Algorithm for Solving Two Related Box Constrained Parametric Quadratic Programs

Recently, O(n ²) active set methods have been presented for minimizing the parametric quadratic functions (1/2)x Dx–a x+| x–c| and (1/2)x Dx–a x+(/2)( x–c)², respectively, subject to lxb, for all nonnegative values of the parameter . Here, D is a positive diagonal n×n matrix, and a are arbitrary n-vectors, c is an arbitrary scalar; l and b are arbitrary n-vectors such that lb. In this paper, we show that each one of these algorithms may be used to simultaneously solve both parametric programs withno additional computational cost.     

A note on triangular derivations of

For a field of characteristic zero, and for each integer , we construct a triangular derivation of whose ring of constants, though finitely generated over , cannot be generated by fewer than elements.

     

Whitney's extension problem for multivariate -functions

We prove that the trace of the space to an arbitrary closed subset is characterized by the following ``finiteness' property. A function belongs to the trace space if and only if the restriction to an arbitrary subset consisting of at most can be extended to a function such that

The constant is sharp.

The proof is based on a Lipschitz selection result which is interesting in its own right.

     

On the Influence of the Lowest Terms on Dirichlet—Type Problems for Elliptic Systems Degenerate at a Point

We consider Dirichlet–type problems for weakly connected systems of elliptic equations of second order with a strong degeneracy at an inner point of the domain, when, in a neighborhood of this point, the asymptotics of a solution is additionally given. The form of the given asymptotics essentially depends on the properties of the coefficients at the first–order derivatives. We prove the existence and uniqueness of solutions of the problems considered in Hölder function classes.     

On the Dirichlet Problem with an Asymptotic Condition for an Elliptic System Strongly Degenerate at a Point

We consider a Dirichlettype problem for a system of elliptic equations of second order with a strong degeneracy at an inner point of the domain, when, in a neighborhood of this point, the principal term of the asymptotics of a solution is additionally given. We prove the existence and uniqueness of a solution of the problem considered in a weighted class of Hölder vector functions.     

A non-conforming finite element method with anisotropic mesh grading for the Stokes problem in domains with edges

The solution of the Stokes problem in three-dimensional domainswith edges has anisotropic singular behaviour which is treatednumerically by using anisotropic finite element meshes. Thevelocity is approximated by Crouzeix–Raviart (nonconformingP₁ ) elements and the pressure by piecewise constants. Thismethod is stable for general meshes (without minimal or maximalangle condition). Denoting by N_e the number of elements in themesh, the interpolation and consistency errors are of the optimalorder h N_e^–1/3 which is proved for tensor product meshes.As a by-product, we analyse also nonconforming prismatic elementswith P₁ [oplus ] span {x₃²} as the local space for the velocitywhere x₃ is the direction of the edge.     

Convexity of Nonlinear Image of a Small Ball with Applications to Optimization

Let f: XY be a nonlinear differentiable map, X,Y are Hilbert spaces, B(a,r) is a ball in X with a center a and radius r. Suppose f (x) is Lipschitz in B(a,r) with Lipschitz constant L and f (a) is a surjection: f (a)X=Y; this implies the existence of >0 such that f (a)^* yy, yY. Then, if r,/(2L), the image F=f(B(a,)) of the ball B(a,) is convex. This result has numerous applications in optimization and control. First, duality theory holds for nonconvex mathematical programming problems with extra constraint x–a. Special effective algorithms for such optimization problems can be constructed as well. Second, the reachability set for small power control is convex. This leads to various results in optimal control.     

Tenth degree number fields with quintic fields having one real place

In this paper, we enumerate all number fields of degree of discriminant smaller than in absolute value containing a quintic field having one real place. For each one of the (resp. found fields of signature (resp. the field discriminant, the quintic field discriminant, a polynomial defining the relative quadratic extension, the corresponding relative discriminant, the corresponding polynomial over , and the Galois group of the Galois closure are given.

In a supplementary section, we give the first coincidence of discriminant of (resp. nonisomorphic fields of signature (resp. .

     

Statistical Inference in a Linear Model for Spatially Located Sensors and Random Input

In the paper we consider a random linear model for observations provided by spatially located sensors measuring signals coming from one source. For this model a set of sufficient and complete statistics are found, and it is shown that the maximum likelihood estimators of unknown parameters (characteristics of the source) are functions of those statistics. The problem of nonnegative estimators of variance components of the model is shortly discussed. Comparisons of the mean squared errors of several estimators are given. Numerical example concerning hunting for defects in solar cells is considered in details.     

Design of Civil Engineering Frame Structures Using a Monomial/Newton Hybrid Method

This paper presents an application of a monomial approximation method for solving systems of nonlinear equations to the design of civil engineering frame structures. This is accomplished by solving a set of equations representing the state known as fully-stressed design, where each member of the structure is stressed to the maximum safe allowable level under at least one of the loading conditions acting on it. The monomial approximation method is based on the process of condensation, which has its origin in geometric programming theory. A monomial/Newton hybrid method is presented which permits some of the design variables to be free in sign, while others are strictly positive. This hybrid method is well suited to the structural design application since some variables are naturally positive and others are naturally free. The proposed method is compared to the most commonly used fully-stressed design method in practice. The hybrid method is shown to find solutions that the conventional method cannot find, while doing so with less computational effort. The impact of this approach on the activity of structural design is discussed.