Optimal $\mathcal{L}^2$ error bounds for MITC3 type element

Summary. In this paper, we derive the optimal error bounds for the stabilized MITC3 element [3], the MIN3 type element [7] and the T3BL element [8]. In this way we have solved the problem proposed recently in [5] in a positive manner. Moreover, we estimate the difference between stabilized MITC3 and MIN3 and show it is of order uniform in the plate thickness. Received May 31, 2000 / Revised version received April 2, 2001 / Published online September 19, 2001     

A maximum a posteriori estimator for trajectories of diffusion processes

Let x _t be a diffusion process observed via a noisy sensor, whose output is y_t We consider the problem of evaluating the maximum a posteriori trajectory {x_s0≤ s ≤ t Based on results of Stratonovich [1] and Ikeda-Watanabe [2], we show that this estimator is given by the solution of an appropriate variational problem which is a slight modification of the "minimum energy" estimator. We compare our results to the non-linear filtering theory and show that for problems which possess a finite dimensional solution, our approach yields also explicit filters. For linear diffusions observed via linear sensors, these filters are identical to the Kalman-filter     

Applying a proof of tverberg to complete bipartite decompositions of digraphs and multigraphs

Graham and Pollak [2] proved that n – 1 is the minimum number of edge-disjoint complete bipartite subgraphs into which the edges of K_n decompose. Tverberg [6], using a linear algebraic technique, was the first to give a simple proof of this result. We apply Tverberg's technique to obtain results for two related decomposition problems, in which we wish to partition the arcs/edges of complete digraphs/multigraphs into a minimum number of arc/edge-disjoint complete bipartite subgraphs of appropriate natures. We obtain exact results for the digraph problem, which was posed by Lundgren and Maybee [4]. We also obtain exact results for the decomposition of complete multigraphs with exactly two edges connecting every pair of distinct vertices.     

Radially symmetric wave maps from (1 + 2)-dimensional Minkowski space to the sphere

By a blow-up analysis as in [8] for a related problem we rule out concentration of energy for radially symmetric wave maps from the (1+ 2)-dimensional Minkowski space to the sphere. When combined with the local existence and regularity results of Christodoulou and Tahvildar-Zadeh for this problem, our result implies global existence of smooth solutions to the Cauchy problem for radially symmetric wave maps for smooth radially symmetric data. Received: 1 November 2000; in final form: 12 April 2001 / Published online: 1 February 2002     

Level of repair analysis and minimum cost homomorphisms of graphs

Level of repair analysis (LORA) is a prescribed procedure for defense logistics support planning. For a complex engineering system containing perhaps thousands of assemblies, sub-assemblies, components, etc. organized into several levels of indenture and with a number of possible repair decisions, LORA seeks to determine an optimal provision of repair and maintenance facilities to minimize overall life-cycle costs. For a LORA problem with two levels of indenture with three possible repair decisions, which is of interest in UK and US military and which we call LORA-BR, Barros [The optimisation of repair decisions using life-cycle cost parameters. IMA J. Management Math. 9 (1998) 403-413] and Barros and Riley [A combinatorial approach to level of repair analysis, European J. Oper. Res. 129 (2001) 242-251] developed certain branch-and-bound heuristics. The surprising result of this paper is that LORA-BR is, in fact, polynomial-time solvable. To obtain this result, we formulate the general LORA problem as an optimization homomorphism problem on bipartite graphs, and reduce a generalization of LORA-BR, LORA-M, to the maximum weight independent set problem on a bipartite graph. We prove that the general LORA problem is NP-hard by using an important result on list homomorphisms of graphs. We introduce the minimum cost graph homomorphism problem, provide partial results and pose an open problem. Finally, we show that our result for LORA-BR can be applied to prove that an extension of the maximum weight independent set problem on bipartite graphs is polynomial time solvable.     

最小能量控制与Lg样条函数

本文考察了一类带有泛函约束的线性系统的最小能量控制问题与Lg样条插值函数的对应关系.得到了求解最优控制——样条函数的递推算法;并建立了最优控制问题解法Ⅱ,指出文献[1]的解法可作为它的特例.     

Some algebraic properties of the hyperbolic systems

Abstract The technique of quasi-symmetrizer has been applied to the well-posedness of the Cauchy problem for scalar operators [10], [13] and linear systems [5], [15], [4], and to the propagation of analitycity for solutions to semi-linear systems [6]. In all these works, it is assumed that the principal symbol depends only on the time variable. In this note we illustrate, in some special cases, a new property of the quasisymmetrizer which allows us to generalize the result in [6] to semi-linear systems with coefficients depending also on the space variables [21]. Such a property is closely connected with some interesting inequalities on the eigenvalues of a hyperbolic matrix. We expect that this technique applies also to other problems. Keywords: First order hyperbolic systems, Quasi-symmetrizer, Glaeser inequality     

Sharp energy estimates for nonlinearly locally damped PDEs via observability for the associated undamped system

We consider the problem of sharp energy decay rates for nonlinearly damped abstract infinite-dimensional systems. Direct methods for nonlinear stabilization generally rely on multiplier techniques, and thus are valid under restrictive geometric conditions compared to the optimal geometric optics condition of Bardos et al. (1992) [10]. We prove sharp, simple and quasi-optimal energy decay rates through an indirect method, namely an observability estimate for the corresponding undamped system. One of the main advantage of these results is that they allow to combine optimal geometric conditions, as for instance that of Bardos et al. (1992) [10] and the optimal-weight convexity method of the first author (Alabau-Boussouira, 2010 [6], Alabau-Boussouira, 2005 [2]) to deduce very simple and quasi-optimal energy decay rates for nonlinearly locally damped systems. We also show that using arguments based on Russell's principle (Russell, 1978 [24]), one can deduce sharp energy decay rates from the exponential stabilization of the linearly damped system. Our results extend to nonlinearly damped systems, those of Haraux (1989) [14] and Ammari and Tucsnak (2001) [9] which concern linearly damped systems.     

Optimal control of linear stochastic evolution equations in Hilbert spaces and uniform observability

In this paper we study the existence of the optimal (minimizing) control for a tracking problem, as well as a quadratic cost problem subject to linear stochastic evolution equations with unbounded coefficients in the drift. The backward differential Riccati equation (BDRE) associated with these problems (see [2], for finite dimensional stochastic equations or [21], for infinite dimensional equations with bounded coefficients) is in general different from the conventional BDRE (see [10], [18]). Under stabilizability and uniform observability conditions and assuming that the control weight-costs are uniformly positive, we establish that BDRE has a unique, uniformly positive, bounded on ℝ ₊ and stabilizing solution. Using this result we find the optimal control and the optimal cost. It is known [18] that uniform observability does not imply detectability and consequently our results are different from those obtained under detectability conditions (see [10]).      

On the embedding of some linear spaces in finite projective planes

The problem of embedding of linear spaces in finite projective planes has been examined by several authors ([1], [2], [3], [4], [5], [6]). In particular, it has been proved in [1] that a linear space which is the complement of a projective or affine subplane of order m is embeddable in a unique way in a projective plane of order n. In this article, we give a generalization of this result by embedding linear spaces in a finite projective plane of order n, which are complements of certain regularA-affine linear spaces with respect to a finite projective plane.     

Fixed points for (ψ,ϕ)-weak contractions

The aim of this paper is to extend a very recent result proved by Dori? (2009) [4], as well as other theorems given by Rhoades (2001) [2] and Dutta and Choudhury (2008) [3].     

关于Morse引理的推广

Morse Lemma是奇点理论中一个极为重要的结论。[1]的作者称其文中的定理1和定理2是Morse Lemma的推广。为此我们愿就[1]中的几个问题与[1]的作者商榷。     

Asymptotic equipartition of energy for equations of elasticity

In this paper we give a review of the equipartition of energy results of Goldstein and Sandefur [3], [4], [5] as well as proving a new result in the case of a particular fourth order equation. These results are then applied to the equations of elasticity to give a weak asymptotic orthogonality for the shear and pressure waves. In the case of boundary value problems in the interior of a bounded domain we get weak asymptotic orthogonality in the average.     

Generalized genus sequences for misère octal games

Two approaches have been used to solve impartial games with misère play; genus theory, which has resulted in a number of results summarized in [2], and Sibert-Conway decomposition [9], which has been used to solve the octal game 0.77 (known as Kayles). The main aim of this paper is to publish (for the first time) the results archived in [1], extending genus theory beyond the applications to which it has previously been applied. In addition, we extend a result from [6] to misère play by adapting it to use the extended genus theory. The resulting theorems require extensive calculations to verify that their preconditions hold for any particular games. These calculations have been carried out by computer for all two-digit octal games. For many of these games, this has resulted in complete solutions. Complete solutions are presented for four games listed in [8] as unsolved. Received: September 2001     

拟线性正对称组具非线性特征的边值问题

谷超豪在[1]中就报告了拟线性正对称方程组边值问题解的存在和唯一性定理,详细的证明发表于[2],在[7]中对此有所改进,所建立的理论适用于非特征的齐次边值的情况。[3]参考了[2],[4]的做法,把[2]的结果推广到拟线性正对称组具某类特征的边值问题中去,但要求边界条件仍是齐次的。本文讨论边界条件是非齐次的,且是非线性的特征边值问题,在这种情况下建立了可微解的存在和唯一性定理。     

Discontinuous viscosity solutions to dirichlet problems for hamilton-jacob1 equations with

We introduce a new formulation of Dirichlet problem for a class of first order, nonlinear equations containing the minimum time problem, whose solution is expected to be discontinuous. We prove existence, uniqueness and representation formulas for the solution in the sense of viscosity solutions. Our method relies on a new way of prescribing the boundary condition, the use of recent ideas of Barron-Jensen [8] and Barles [5] , and the derivation of a "backwards" dynamic programming principle. We use the same ideas to prove uniqueness for the usual Dicchlet type formulation, following Ishii [13] and Bales-Perthame [6], under additional regularity conditions on the domain.     

Local energy decay for linear wave equations with variable coefficients

A uniform local energy decay result is derived to the linear wave equation with spatial variable coefficients. We deal with this equation in an exterior domain with a star-shaped complement. Our advantage is that we do not assume any compactness of the support on the initial data, and its proof is quite simple. This generalizes a previous famous result due to Morawetz [The decay of solutions of the exterior initial-boundary value problem for the wave equation, Comm. Pure Appl. Math. 14 (1961) 561-568]. In order to prove local energy decay, we mainly apply two types of ideas due to Ikehata-Matsuyama [L²-behaviour of solutions to the linear heat and wave equations in exterior domains, Sci. Math. Japon. 55 (2002) 33-42] and Todorova-Yordanov [Critical exponent for a nonlinear wave equation with damping, J. Differential Equations 174 (2001) 464-489].     

Smolyak cubature of given polynomial degree with few nodes for increasing dimension

Summary. Some recent investigations (see e.g., Gerstner and Griebel [5], Novak and Ritter [9] and [10], Novak, Ritter and Steinbauer [11], Wasilkowski and Woźniakowski [18] or Petras [13]) show that the so-called Smolyak algorithm applied to a cubature problem on the d-dimensional cube seems to be particularly useful for smooth integrands. The problem is still that the numbers of nodes grow (polynomially but) fast for increasing dimensions. We therefore investigate how to obtain Smolyak cubature formulae with a given degree of polynomial exactness and the asymptotically minimal number of nodes for increasing dimension d and obtain their characterization for a subset of Smolyak formulae. Error bounds and numerical examples show their good behaviour for smooth integrands. A modification can be applied successfully to problems of mathematical finance as indicated by a further numerical example. Received September 24, 2001 / Revised version received January 24, 2002 / Published online April 17, 2002 RID="*" ID="*" The author is supported by a Heisenberg scholarship of the Deutsche Forschungsgemeinschaft