Normal deduction in the intuitionistic linear logic

We describe a natural deduction system NDIL for the second order intuitionistic linear logic which admits normalization and has a subformula property. NDIL is an extension of the system for !-free multiplicative linear logic constructed by the author and elaborated by A. Babaev. Main new feature here is the treatment of the modality !. It uses a device inspired by D. Prawitz' treatment of S4 combined with a construction introduced by the author to avoid cut-like constructions used in -elimination and global restrictions employed by Prawitz. Normal form for natural deduction is obtained by Prawitz translation of cut-free sequent derivations. Received: March 29, 1996     

The h-p version of the coupling of finite element and boundary element methods for transmission problems in polyhedral domains

Summary. This paper analyzes the rate of convergence of the h-p version of the coupling of the finite element and boundary element method for transmission problems with a linear differential operator with variable coefficients in a bounded polyhedral domain and with constant coefficients in the exterior domain . This procedure uses the variational formulation of the differential equation in and involves integral operators on the interface between and . The finite elements are used to obtain approximate solutions of the differential equation in and the boundary elements are used to obtain approximate solutions of the integral equations. For given piecewise analytic data we show that the Galerkin solution of this coupling procedure converges exponentially fast in the energy norm if the h-p version is used both for finite elements and boundary elements. Received February 10, 1996 / Revised version received April 4, 1997     

Variational approach to contact problems in nonlinear elasticity

We use variational methods to study problems in nonlinear 3-dimensional elasticity where the deformation of the elastic body is restricted by a rigid obstacle. For an assigned variational problem we first verify the existence of constrained minimizers whereby we extend previous results. Then we rigorously derive the Euler-Lagrange equation as necessary condition for minimizers, which was possible before only under strong smoothness assumptions on the solution. The Lagrange multiplier corresponding to the obstacle constraint provides structural information about the nature of frictionless contact. In the case of contact with, e.g., a corner of the obstacle, we derive a qualitatively new contact condition taking into account the deformed shape of the elastic body. By our analysis it is shown here for the first time rigorously that energy minimizers really solve the mechanical contact problem. Received: 20 October 2000 / Accepted: 7 June 2001 / Published online: 5 September 2002     

Three-scale asymptotics for a diffusion problem coupled with the wave equation

In this article, we present an asymptotic analysis of waves of elastic stress in an infinite solid whose boundary is subject to a rapid thermal load. The problem under consideration couples the wave equation and the heat equation, and the asymptotic approximation of the solution requires three-scaled variables. The asymptotic approximation is supplied with a rigorous remainder estimate and is illustrated numerically.     

The asymptotic behavior of the linear transmission problem in viscoelasticity

We consider a transmission problem with localized Kelvin‐Voigt viscoelastic damping. Our main result is to show that the corresponding semigroup is not exponentially stable, but the solution of the system decays polynomially to zero as when the initial data are taken over the domain Moreover, we prove that this rate of decay is optimal. Finally, using a second order scheme that ensures the decay of energy (Newmark‐β method), we give some numerical examples which demonstrate this polynomial asymptotic behavior.     

Range projections and the Moore-Penrose inverse in rings with involution

In this article we study the existence of range projections in rings with involution, relating it to the existence of the Moore-Penrose inverse. The results are applied to the solution of the equation xbx = x in rings with involution, extending the results of Greville for matrices. Simpler new proofs are given of the Moore-Penrose invertibility of regular elements in rings with involution, and of the Ljance's formula.     

The Neumann problem for nonlocal nonlinear diffusion equations

We study nonlocal diffusion models of the form

A New Regularity Criterion for the Navier-Stokes Equations in Terms of the Direction of Vorticity

In this paper, we prove a new regularity criterion in terms of the direction of vorticity for the weak solution to 3-D incompressible Navier-Stokes equations.     

Singular solutions of a transmission problem in plane linear elasticity for wedge-shaped regions

In plane elasticity, when two different wedge-shaped elastic materials (isotropic, homogeneous) are bonded together along a common edge and subject to tractions on the boundary, the stress field will become infinite at the apex. In fact, asymptotically, the displacementu satisfies

A new bound for the ratio between the 2-matching problem and its linear programming relaxation

Consider the 2-matching problem defined on the complete graph, with edge costs which satisfy the triangle inequality. We prove that the value of a minimum cost 2-matching is bounded above by 4/3 times the value of its linear programming relaxation, the fractional 2-matching problem. This lends credibility to a long-standing conjecture that the optimal value for the traveling salesman problem is bounded above by 4/3 times the value of its linear programming relaxation, the subtour elimination problem. Received August 26, 1996 / Revised version received July 6, 1999? Published online September 15, 1999     

On the pivot structure for the weighing matrix W(12,11)

In the present article we concentrate our study on the growth problem for the weighing matrix W(12,11) and show that the unique W(12,11) has three pivot structures. An improved algorithm for extending a k × k (0,+,-) matrix to a W(n,n-1), if possible, has been developed to simplify the proof. For the implementation of the algorithm special emphasis is given to the notions of data structures and parallel processing.     

A coupled BEM and FEM for the interior transmission problem in acoustics

The interior transmission problem (ITP) is a boundary value problem arising in inverse scattering theory, and it has important applications in qualitative methods. In this paper, we propose a coupled boundary element method (BEM) and a finite element method (FEM) for the ITP in two dimensions. The coupling procedure is realized by applying the direct boundary integral equation method to define the so-called Dirichlet-to-Neumann (DtN) mappings. We show the existence of the solution to the ITP for the anisotropic medium. Numerical results are provided to illustrate the accuracy of the coupling method.     

Solution for a problem of linear plane elasticity with mixed boundary conditions on an ellipse by the method of boundary integrals

A numerical boundary integral scheme is proposed for the solution of the system of field equations of plane, linear elasticity in stresses for homogeneous, isotropic media in the domain bounded by an ellipse under mixed boundary conditions. The stresses are prescribed on one half of the ellipse, while the displacements are given on the other half. The method relies on previous analytical work within the Boundary Integral Method [1], [2].The considered problem with mixed boundary conditions is replaced by two subproblems with homogeneous boundary conditions, one of each type, having a common solution. The equations are reduced to a system of boundary integral equations, which is then discretized in the usual way and the problem at this stage is reduced to the solution of a rectangular linear system of algebraic equations. The unknowns in this system of equations are the boundary values of four harmonic functions which define the full elastic solution inside the domain, and the unknown boundary values of stresses or displacements on proper parts of the boundary.On the basis of the obtained results, it is inferred that the tangential stress component on the fixed part of the boundary has a singularity at each of the two separation points, thought to be of logarithmic type. A tentative form for the singular solution is proposed to calculate the full solution in bulk directly from the given boundary conditions using the well-known Boundary Collocation Method. It is shown that this addition substantially decreases the error in satisfying the boundary conditions on some interval not containing the singular points.The obtained results are discussed and boundary curves for unknown functions are provided, as well as three-dimensional plots for quantities of practical interest. The efficiency of the used numerical schemes is discussed, in what concerns the number of boundary nodes needed to calculate the approximate solution.     

The essential norm of a composition operator on the bergman space of the unit ball

In this paper, we express the essential norm of a composition operator on Bergman spaces of the unit ball in terms of an asymptotic upper bound of a quantity involving the pull-back measure induced by the inducing map. The result could be generalized to convex domains of finite type and to the weighted situation.     

A general class of penalty/barrier path-following Newton methods for nonlinear programming

In the present article rather general penalty/barrier-methods (e.g. logarithmic barriers, SUMT, exponential penalties), which define a local continuously differentiable primal and dual path, are analyzed in case of strict local minima of nonlinear problems with inequality as well as equality constraints. In particular, the radius of convergence of Newton's method depending on the penalty/barrier-parameter is estimated. Unlike using self-concordance properties, the convergence bounds are derived by direct estimations of the solutions of the Newton equations. By means of the obtained results parameter selection rules are studied which guarantee the local convergence of the considered penalty/barrier-techniques with only a finite number of Newton steps at each parameter level. Numerical examples illustrate the practical behavior of the proposed class of methods.     

On a nonstandard problem for heat conduction in a cylinder

Decay bounds are derived for the solution of a heat conduction problem in a semi-infinite cylinder when the lateral surface is held at zero temperature, a nonzero temperature is prescribed on the finite base, and the temperature at time T is prescribed to be a constant multiple of the temperature at initial time. Both energy and pointwise decay bounds are computed for a range of values of the constant multiple. Such problems were originally introduced as a means of stabilizing the backward-in-time problem for the heat equation.     

Mathematical foundation of the MFS for certain elliptic systems in linear elasticity

The method of fundamental solutions (MFS) is a Trefftz–type technique in which the solution of an elliptic boundary value problem is approximated by a linear combination of translates of fundamental solutions with singularities placed on a pseudo–boundary, i.e., a surface embracing the domain of the problem under consideration. In this work, we develop a mathematical framework for the numerical implementation of the MFS in elliptic systems. We obtain density results, with respect to the C ^ℓ-norms, which establish the applicability of the method in certain systems arising from the theory of elastostatics and thermo-elastostatics. The domains in our density results may possess holes and they satisfy the segment condition. This work was supported by a grant of the University of Cyprus.     

The decision problem for {\vec Z}C(p^3)-lattices with p prime

We show undecidability for lattices over a group ring where has a cyclic subgroup of order for some odd prime . Then we discuss the decision problem for -lattices where is a cyclic group of order 8, and we point out that a positive answer implies – in some sense – the solution of the “wild undecidable” conjecture. Received November 15, 1995