Eigen series solutions to terminal-state tracking optimal control problems and exact controllability problems constrained by linear parabolic PDEs

Terminal-state tracking optimal control problems for linear parabolic equations are studied in this paper. The control objectives are to track a desired terminal state and the control is of the distributed type. Explicit solution formulae for the optimal control problems are derived in the form of eigen series. Pointwise-in-time L² norm estimates for the optimal solutions are obtained and approximate controllability results are established. Exact controllability is shown when the target state vanishes on the boundary of the spatial domain. One-dimensional computational results are presented which illustrate the terminal-state tracking properties for the solutions expressed by the series formulae.     

Boundary Controllability of a Stationary Stokes System with Linear Convection Observed on an Interior Curve

We study the approximate controllability of a stationary Stokes system with linearized convection in a bounded domain of ^N. The control acts on a part of the boundary and the velocity field is observed on an interior curve (N=2) or surface (N=3). We establish the L ²-approximate controllability under certain compatibility conditions and suitable geometrical assumptions on the curve or surface. We build controls of minimal L ²-norm by duality. To compute the control, we propose a numerical method, based on duality techniques, consisting in the minimization of a nonquadratic functional coupled to a Stokes system. It is tested in several situations leading to interesting numerical results.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> norm estimates of the cost of the controllability for heat equations

This paper is concerned with the bound of the cost of approximate controllability and null controllability of heat equations, i.e., the minimal Lp norm and L∞ norm of a control needed to control the system approximately or a control needed to steer the state of the system to zero. The methods we use combine observability inequalities, energy estimates for heat equations and the dual theory.     

Asymptotic analysis and error estimates for an optimal control problem with oscillating boundaries

In this article, we consider a distributed optimal control problem associated with the Laplacian in a domain with rapidly oscillating boundary. For simplicity, we consider a rectangular region in 2d with oscillations on one part of the boundary. We consider two types of functionals, namely a functional involving the L ²-norm of the state variable and another one involving its H ¹-norm. The homogenization of the optimality system is obtained and then we derive appropriate error estimates in both cases.     

The Approximation of the Optimal Control of Vibrations—A Geometrical Approach

In this paper we employ concepts from Banach space geometry in order to examine the problem of approximating the optimal distributed control of vibrating media whose motion is governed by a wave equation with a 2n-order self-adjoint and positive-definite linear differential operator. We show that this geometrical approach, arrived at via duality theory, provides the exact framework in which the approximation problem must be placed in order to get the correct convergence results, for it is here that the necessary and sufficient conditions for the approximate norm or time minimal control can be fully developed. Using the theory of Asplund, we are also able to improve the traditional weak^* convergence results for the more difficult case of L^∞ controls. Finally, we consider certain numerical examples which help illustrate our theoretical results.     

Finite volume element approximation of the coupled continuum pipe‐flow/Darcy model for flows in karst aquifers

A finite volume element method is applied to approximate the continuum pipe‐flow/Darcy problem, which models the coupled conduit flow and porous media flow in Karst aquifers. A decoupled scheme is proposed for solving the coupled discretization problem. Optimal error estimates in L² norm and H¹ norm are given in this article. Some numerical examples are presented to verify the theoretical results and demonstrate the effectiveness of the decoupling approach. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 30: 376–392, 2014     

Cubic superconvergent finite volume element method for one-dimensional elliptic and parabolic equations

In this paper, a cubic superconvergent finite volume element method based on optimal stress points is presented for one-dimensional elliptic and parabolic equations. For elliptic problem, it is proved that the method has optimal third order accuracy with respect to H¹ norm and fourth order accuracy with respect to L² norm. We also obtain that the scheme has fourth order superconvergence for derivatives at optimal stress points. For parabolic problem, the scheme is given and error estimate is obtained with respect to L² norm. Finally, numerical examples are provided to show the effectiveness of the method.     

Convergence in L space for the homogenization problems of elliptic and parabolic equations in the plane

We study the convergence rate of an asymptotic expansion for the elliptic and parabolic operators with rapidly oscillating coefficients. First we propose homogenized expansions which are convolution forms of Green function and given force term of elliptic equation. Then, using local L^p-theory, the growth rate of the perturbation of Green function is found. From the representation of elliptic solution by Green function, we estimate the convergence rate in L^p space of the homogenized expansions to the exact solution. Finally, we consider L2(0,T:H1(Ω)) or L∞(Ω×(0,T)) convergence rate of the first order approximation for parabolic homogenization problems.     

Local controllability and non-controllability for a 1D wave equation with bilinear control

We consider a linear wave equation, on the interval (0,1), with bilinear control and Neumann boundary conditions. We study the controllability of this nonlinear control system, locally around a constant reference trajectory. We prove that the following results hold generically.

•

For every T>2, this system is locally controllable in H³×H², in time T, with controls in L²((0,T),R).

•

For T=2, this system is locally controllable up to codimension one in H³×H², in time T, with controls in L²((0,T),R): the reachable set is (locally) a non-flat submanifold of H³×H² with codimension one.

•

For every T<2, this system is not locally controllable, more precisely, the reachable set, with controls in L²((0,T),R), is contained in a non-flat submanifold of H³×H², with infinite codimension.

The proof of these results relies on the inverse mapping theorem and second order expansions.     

Optimal Control of the Obstacle for a Parabolic Variational Inequality

An optimal control problem for a parabolic obstacle variational inequality is considered. The obstacle in L²(0, T; H²(Ω) ∩ H¹₀(Ω)) with ψ_t ∈ L²(Q) is taken as the control, and the solution to the obstacle problem is taken as the state. The goal is to find the optimal control so that the state is close to the desired profile while the norm of the obstacle is not too large. Existence and necessary conditions for the optimal control are established.     

Caractère bien posé du problème de Cauchy pour le système de Bérenger

The Bérenger perfectly matched layer is used in computational electromagnetism as an absorbing layer in scattering problems. It raises delicate mathematical issues. In this Note we show, for regular data, the existence and uniqueness of strong solutions to the Cauchy problem derived from the PML method. The result is presented in the 2-D case. The key to the proof is an appropriate control of a mixed H¹- L² norm of the solution by the same norm of the initial data. Beside a paper is in preparation about extensions of this results (L² estimates, 3-D case) (see also [5]).     

The problem of thermo-chemical formation of a composite material. Properties of solutions and homogenization

We study a problem with rapidly oscillating coefficients which arises in describing the process of thermo-chemical formation of a composite material. We homogenize this problem and study the existence and uniqueness of solutions to the original and homogenized problems, as well as properties of the solutions. We estimate an error in homogenization with order O( ?{e} ) O\left( {\sqrt {\varepsilon } } \right) in the energy norm and with order O(ε) in the L ^∞-norm. Bibliography: 10 titles.     

Solving of second order nonlinear PDE problems by using artificial controls with controlled error

In this paper, we find the approximate solution of a second order nonlinear partial differential equation on a simple connected region inR ². We transfer this problem to a new problem of second order nonlinear partial differential equation on a rectangle. Then, we transformed the later one to an equivalent optimization problem. Then we consider the optimization problem as a distributed parameter system with artificial controls. Finally, by using the theory of measure, we obtain the approximate solution of the original problem. In this paper also the global error inL ₁ is controlled.     

Expanded mixed finite element methods for the problem of purely longitudinal motion of a homogeneous bar

In this paper, expanded mixed finite element methods for the initial-boundary-value problem of purely longitudinal motion equation of a homogeneous bar are proposed and analyzed. Optimal error estimates for the approximations of displacement in L² norm and stress in H¹ norm are obtained.     

A variational problem with lack of compactness for H(S;S) maps of prescribed degree

We consider, for maps in H^1/2(S¹;S¹), a family of (semi)norms equivalent to the standard one. We ask whether, for such a norm, there is some map in H^1/2(S¹;S¹) of prescribed topological degree equal to 1 and minimal norm. In general, the answer is no, due to concentration phenomena. The existence of a minimal map is sensitive to small perturbations of the norm. We derive a sufficient condition for the existence of minimal maps. In particular, we prove that, for every given norm, there are arbitrarily small perturbations of it for which the minimum is attained. In case there is no minimizer, we determine the asymptotic behavior of minimizing sequences. We prove that, for such minimizing sequences, the energy concentrates near a point of S¹. We describe this concentration in terms of bubbling-off of circles.     

A characteristics-mixed covolume method for a convection-dominated transport problem

In this paper, we propose a characteristics-mixed covolume method for approximating the solution to a convection dominated transport problem. The method is a combination of characteristic approximation to handle the convection term in time and mixed covolume method spatial approximation to deal with the diffusion term. The velocity and press are approximated by the lowest order Raviart-Thomas mixed finite element space on rectangles. The projection of a mixed covolume element is introduced. We prove its first order optimal rate of convergence for the approximate velocities in the L² norm as well as for the approximate pressures in the L² norm.     

Gaussian rules on unbounded intervals

A quadrature rule as simple as the classical Gauss formula, with a lower computational cost and having the same convergence order of best weighted polynomial approximation in L¹ is constructed to approximate integrals on unbounded intervals. An analogous problem is discussed in the case of Lagrange interpolation in weighted L² norm. The order of convergence in our results is the best in the literature for the considered classes of functions.     

Scattering and local absorption for the Schrödinger operator

We investigate the problem of local absorption for the Schrödinger operator H = ?Δ + V with potential V singular on a compact set ∑ of measure zero but sufficiently regular outside. In dimension n = 3 and for V?L² + L^∞ outside of ∑, Pearson proved that the subspace of absolute continuity of H can be decomposed as the direct sum of the subspace of scattering states and of the subspace of states locally absorbed on ∑. We extend this result to arbitrary dimension and to potentials that are only locally semibounded with respect to Δ in a suitable sense away from ∑ (in particular they may be strongly oscillating away from ∑ and have arbitrary behavior at infinity). As a by-product, we prove that certain types of local singularities do not interfere with the question of asymptotic completeness, thereby generalizing previous results by Deift and Simon.     

Ideals with bounded approximate identities in Fourier algebras

We make use of the operator space structure of the Fourier algebra A(G) of an amenable locally compact group to prove that if H is any closed subgroup of G, then the ideal I(H) consisting of all functions in A(G) vanishing on H has a bounded approximate identity. This result allows us to completely characterize the ideals of A(G) with bounded approximate identities. We also show that for several classes of locally compact groups, including all nilpotent groups, I(H) has an approximate identity with norm bounded by 2, the best possible norm bound.     

欧拉 - 玻尔兹曼方程整体光滑解

本文证明了R^d 中具有某一类小初值的等熵欧拉 - 玻尔兹曼方程整体光滑解的存在性.本文首先构造了等熵欧拉 - 玻尔兹曼方程的局部解, 并证明了局部解的适定性. 此外,文中还构造了关于原方程的随时间 t 增加、具有良好的衰减性质的整体光滑背景解. 同时, 当方程的辐射项系数满足一定条件时, 本文建立了关于源项的估计.通过将背景解的衰减与源项的估计结合起来, 文中证明了存在整数 s>d/2 + 1 ,使得背景解与原方程解的 H^s(R^d)x L²(R₊ x S^d-1;H^s(R^d))范数之差始终是有界的, 从而保证了原方程整体光滑解的存在性.