Global Exact Boundary Controllability for Cubic Semi-linear Wave Equations and Klein-Gordon Equations

The authors prove the global exact boundary controllability for the cubic semi-linear wave equation in three space dimensions, subject to Dirichlet, Neumann, or any other kind of boundary controls which result in the well-posedness of the corresponding initial-boundary value problem. The exponential decay of energy is first established for the cubic semi-linear wave equation with some boundary condition by the multiplier method, which reduces the global exact boundary controllability problem to a local one. The proof is carried out in line with [2, 15]. Then a constructive method that has been developed in [13] is used to study the local problem. Especially when the region is star-complemented, it is obtained that the control function only need to be applied on a relatively open subset of the boundary. For the cubic Klein-Gordon equation, similar results of the global exact boundary controllability are proved by such an idea.     

高阶拟线性双曲型方程的精确边界能控性

By means of the existence and uniqueness of semi-global C^1 solution to the mixed initial-boundary value problem with general nonlinear boundary conditions for first order quasilinear hyperbolic systems with zero eigenvalues ,the local exact boundary controllability for higher order quasilinear hyperbolic equations is established.     

One-sided exact boundary null controllability of entropy solutions to a class of hyperbolic systems of conservation laws

In this paper, the one-sided exact boundary null controllability of entropy solutions is studied for a class of general strictly hyperbolic systems of conservation laws, whose negative (or positive) characteristic families are all linearly degenerate. The authors first prove the well-posedness of semi-global solutions constructed as the limit of ε-approximate front tracking solutions to the mixed initial-boundary value problem with general nonlinear boundary conditions and they establish various properties of both the ε-approximate front tracking solutions and such solutions. By means of essential modifications of the strategy suggested by the first author in [17] originally for the local exact boundary controllability in the framework of classical solutions, the one-sided local exact boundary null controllability of entropy solutions can then be realized via boundary controls acting on one side of the boundary, where the incoming characteristics are all linearly degenerate.     

EXACT CONTROLLABILITY FOR FIRST ORDER QUASILINEAR HYPERBOLIC SYSTEMS WITH ZERO EIGENVALUES＊＊＊

For a class of mixed initial-boundary value problem for general quasilinear hyperbolic sys-tems with zero eigenvalues, the authors establish the local exact controllability with boundary controls acting on one end or on two ends and internai controls acting on a part of equations in the system.     

Exact boundary observability for a kind of second-order quasilinear hyperbolic system

In this paper, by means of a constructive method based on the existence and uniqueness of the semi-global classical solution, we establish the local exact boundary observability for a kind of second-order quasilinear hyperbolic system in which the number of positive eigenvalues and the number of negative ones are not equal. As an application, we obtain the one-sided local exact boundary observability and two-sided local exact boundary observability with fewer observed values for first-order quasilinear hyperbolic systems of diagonal form with boundary conditions in which the diagonal variables corresponding to the positive eigenvalues and those corresponding to the negative ones are decoupled.     

特征值问题协调/非协调有限元后验误差分析

本文研究对称椭圆特征值问题的有限元后验误差估计,包括协调元和非协调元,具有下列特色:(1)对协调/非协调元建立了有限元特征函数uh的误差与相应的边值问题有限元解的误差在局部能量模意义下的恒等关系式,该边值问题的右端为有限元特征值λh与uh的乘积,有限元解恰好为uh.从而边值问题有限元解在能量模意义下的局部后验误差指示子,包括残差型和重构型后验误差指示子,成为有限元特征函数在能量模意义下的局部后验误差指示子.(2)讨论了协调有限元特征函数的基于插值后处理的梯度重构型后验误差估计,对有限元特征函数的导数得到了最大模意义下的渐近准确局部后验误差指示子.     

无粘、可压、绝热流体的Euler方程初值问题的适定性

根据分层理论提供的基本方法,讨论Euler方程的初值问题的适定性,给出了方程的典型初边值问题适定性的判别条件,确定了Euler方程的局部(准确)解的解空间构造,对适定问题给出了解析解的计算公式．     

Asymptotic Radiation Conditions for Reduced Wave Equation

In this note the exact non-local radiation condition and its local approximations at finite artificial boundary for the exterior boundary value problem of the reduced wave equation in 2 and 3 dimensions are discussed. Based on the asymptotic expansion of Hankel functions for large arguments, an approach for the construction of local approximations is suggested and gives expression of the normal derivative at spherical artificial boundary in terms of linear combination of Laplace-Beltrami operator and its iterates, i.e. tangential derivatives of even order exclusively. The resulting formalism is compatible with the usual variational principle and the finite element methodology and thus seems to be convenient in practical implementation.     

On the generalized exact boundary synchronization for a coupled system of wave equations

In this paper, we deliver a normalized synchronization transformation to study the generalized exact boundary synchronization for a coupled system of wave equations with Dirichlet boundary controls. The clear relationship among the generalized exact boundary synchronization, the exact boundary null controllability, and the generalized exactly synchronizable states is precisely obtained. This approach gives further a forthright decomposition for the generalized exact boundary synchronization problem, whereby, we gain directly the determination of generalized exactly synchronizable states.     

Exact Boundary Controllability for a Kind of Second-Order Quasilinear Hyperbolic Systems

Based on the theory of semi-global C ¹ solution and the local exact boundary controllability for first-order quasilinear hyperbolic systems, the local exact boundary controllability for a kind of second-order quasilinear hyperbolic systems is obtained by a constructive method.     

Exact boundary observability for 1‐D quasilinear wave equations

By means of a direct and constructive method based on the theory of semi‐global C² solution, the local exact boundary observability and an implicit duality between the exact boundary controllability and the exact boundary observability are shown for 1‐D quasilinear wave equations with various boundary conditions. Copyright © 2006 John Wiley & Sons, Ltd.     

Exact boundary observability for a kind of second order quasilinear hyperbolic systems and its applications

In this paper, by means of a constructive method based on the existence and uniqueness of the semi-global C² solution, we establish the local exact boundary observability for a kind of second order quasilinear hyperbolic systems. As an application, we obtain the one-sided local exact boundary observability for a kind of first order quasilinear hyperbolic systems of diagonal form with boundary conditions in which the diagonal variables corresponding to the positive eigenvalues and those corresponding to the negative eigenvalues are decoupled.     

Numerical simulation of the boundary exact control for the system of linear elasticity

The problem of computing numerically the boundary exact control for the system of linear elasticity in two dimensions is addressed. A numerical method which has been recently proposed in [P. Pedregal, F. Periago, J. Villena, A numerical method of local energy decay for the boundary controllability of time-reversible distributed parameter systems. Stud. Appl. Math. 121 (1) (2008) 27–47] is implemented. Two cases are considered: first, a rectangular domain with Dirichlet controls acting on two adjacent edges, and secondly, a circular domain with Neumann controls distributed along the whole boundary.     

Exact Boundary Controllability and Exact Boundary Observability for a Coupled System of Quasilinear Wave Equations

Based on the theory of semi-global classical solutions to quasilinear hyperbolic systems, the authors apply a unified constructive method to establish the local exact boundary(null) controllability and the local boundary(weak) observability for a coupled system of 1-D quasilinear wave equations with various types of boundary conditions.     

Solution of exterior problem using ellipsoidal artificial boundary

In this paper, we present a general ellipsoidal artificial boundary method for three-dimensional exterior problem. The exact artificial boundary condition, which is expressed explicitly by the series concerning the ellipsoidal harmonic functions, is derived and then an equivalent problem in a bounded domain is presented. The error estimates show that the convergence rate depends on the mesh parameter, the number of terms used in the exact artificial boundary condition, and the location of the artificial boundary.     

Exact boundary controllability for a kind of second‐order quasilinear hyperbolic systems and its applications

In this paper, by means of a constructive method based on the existence and uniqueness of the semi‐global C² solution, we establish the local exact boundary controllability for a kind of second‐order quasilinear hyperbolic systems. As an application, we obtain the one‐sided local exact boundary controllability for the first‐order quasilinear hyperbolic systems of diagonal form with boundary conditions in which the diagonal variables corresponding to the positive eigenvalues and those corresponding to the negative eigenvalues are decoupled. Copyright © 2009 John Wiley & Sons, Ltd.     

A posteriori error bounds for quasi-linear Dirichlet and Neumann problems in full divergent form

Second-order quasi-linear Dirichlet and Neumann problems in four-term divergent form on a simply connected domain with a Lipschitz-continuous boundary of finite length are considered. Derivatives and primitives of distributions on the boundary are defined in such a way that for sufficiently smooth boundary distributions, these derivatives and primitives coincide with derivatives and primitives with respect to arc length on the boundary. Using these concepts, conjugate problems, that is, a pair of one Dirichlet and one Neumann problem, the minima of the energies of which add to zero, are introduced. From the concept of conjugate problems, two-sided bounds for the energy of the exact solution of any given Dirichlet or Neumann problem are constructed. These two-sided bounds for the energy at the exact solution are in turn used to obtain a posteriori error bounds for the norm of the difference of the approximate and exact solutions of the problem. These a posteriori bounds consist of a constant times the sum of the energies of the approximate solutions of the conjugate Dirichlet and Neumann problems and are easily constructed numerically.     

Exact boundary observability for nonautonomous first-order quasilinear hyperbolic systems

By means of the theory on the semiglobal C¹ solution to the mixed initial-boundary value problem for first-order quasilinear hyperbolic systems, we establish the local exact boundary observability for general nonautonomous first-order quasilinear hyperbolic systems without zero eigenvalues and reveal the essential difference between nonautonomous hyperbolic systems and autonomous hyperbolic systems. Copyright © 2008 John Wiley & Sons, Ltd.     

Sobolev Inequality and the Exact Multiplicity of?Solutions and Positive Solutions to a Second-Order Neumann Boundary Value Problem

In this paper, the exact number of solutions and positive solutions for a second-order Neumann boundary value problem is considered. The exact multiplicity results for this problem are established by Sobolev inequality, comparison theorem, maximum principle and lower and upper solutions method.     

NUMERICAL SOLUTIONS OF PARABOLIC PROBLEMS ON UNBOUNDED 3-D SPATIAL DOMAIN

In this paper,the numerical solutions of heat equation on 3-D unbounded spatial do-main are considered. n artificial boundary Γ is introduced to finite the computationaldomain.On the artificial boundary Γ,the exact boundary condition and a series of approx-imating boundary conditions are derived,which are called artificial boundary conditions.By the exact or approximating boundary condition on the artificial boundary,the originalproblem is reduced to an initial-boundary value problem on the bounded computationaldomain,which is equivalent or approximating to the original problem.The finite differencemethod and finite element method are used to solve the reduced problems on the finitecomputational domain.The numerical results demonstrate that the method given in thispaper is effective and feasible.