On the <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-Poisson Semigroup Associated with Elliptic Systems

We study the infinitesimal generator of the Poisson semigroup in L ^p associated with homogeneous, second-order, strongly elliptic systems with constant complex coefficients in the upper-half space, which is proved to be the Dirichlet-to-Normal mapping in this setting. Also, its domain is identified as the linear subspace of the L ^p -based Sobolev space of order one on the boundary of the upper-half space consisting of functions for which the Regularity problem is solvable. Moreover, for a class of systems containing the Lamé system, as well as all second-order, scalar elliptic operators, with constant complex coefficients, the action of the infinitesimal generator is explicitly described in terms of singular integral operators whose kernels involve first-order derivatives of the canonical fundamental solution of the given system. Furthermore, arbitrary powers of the infinitesimal generator of the said Poisson semigroup are also described in terms of higher order Sobolev spaces and a higher order Regularity problem for the system in question. Finally, we indicate how our techniques may be adapted to treat the case of higher order systems in graph Lipschitz domains.     

Boundary output feedback stabilization for a class of coupled parabolic systems

In this paper, the boundary output feedback stabilization problem is addressed for a class of coupled nonlinear parabolic systems. An output feedback controller is presented by introducing a Luenberger‐type observer based on the measured outputs. To determine observer gains, a backstepping transform is introduced by choosing a suitable target system with nonlinearity. Furthermore, based on the state observer, a backstepping boundary control scheme is presented. With rigorous analysis, it is proved that the states of nonlinear closed‐loop system including state estimation and estimation error of plant system are locally exponentially stable in the L²norm. Finally, a numerical example is proposed to illustrate the effectiveness of the presented scheme.     

A discrete finite element galerkin method for a unidimensional single-phase Stefan problem

Based on Landau-type transformation, a Stefan problem with nonlinear free boundary condition is transformed into a system consisting of parabolic equation and the ordinary differential equations. Semidiscrete approximations are constructed. Optimal orders of convergence of semidiscrete approximation inL ₂,H ¹ andH ² normed spaces are derived.     

Resolvent estimates in W−1,p related to strongly coupled‐linear parabolic systems with coupled nonsmooth capacities

We investigate linear parabolic systems with coupled nonsmooth capacities and mixed boundary conditions. We prove generalized resolvent estimates in W^{?1, p} spaces. The method is an appropriate modification of a technique introduced by Agmon to obtain L^p estimates for resolvents of elliptic differential operators in the case of smooth boundary conditions. Moreover, we establish an existence and uniqueness result. Copyright © 2007 John Wiley & Sons, Ltd.     

Error analysis of finite element approximation of a stefan problem with nonlinear free boundary condition

By applying the Landau-type transformation, we transform a Stefan problem with nonlinear free boundary condition into a system consisting of a parabolic equation and the ordinary differential equations. Fully discrete finite element method is developed to approximate the solution of a system of a parabolic equation and the ordinary differential equations. We derive optimal orders of convergence of fully discrete approximations inL2, H¹ and H² normed spaces.     

Convergence of Time-Dependent Turing Structures to a Stationary Solution

Stability of stationary solutions of parabolic equations is conventionally studied by linear stability analysis, Lyapunov functions or lower and upper functions. We discuss here another approach based on differential inequalities written for the L ² norm of the solution. This method is appropriate for the equations with time dependent coefficients. It yields new results and is applicable when the usual linearization method is not applicable.     

Nonlinear boundary value problems and operators TT1

We consider nonlinear boundary value problems of the type $\text{L? + N? = 0}$ for the existence of solutions. It is assumed that L is a 2nth-order linear differential operator in the real Hilbert space S = L²[a, b] which admits a decomposition of the form $\text{L =}{}^{\mathrm{TT1}}$ where T is an nth-order linear differential operator and N is a nonlinear operator defined on a subspace of S. The decomposition of L induces a natural decomposition of the generalized inverse of L. Using the method of “alternative problems,” we split the boundary value problem into an equivalent system of two equations. The theory of monotone operators and the theory of nonlinear Hammerstein equations are then utilized to consider the solvability of the equivalent system.     

Uniform stabilization of a shallow shell model with nonlinear boundary feedbacks

We consider a dynamic linear shallow shell model, subject to nonlinear dissipation active on a portion of its boundary in physical boundary conditions. Our main result is a uniform stabilization theorem which states a uniform decay rate of the resulting solutions. Mathematically, the motion of a shell is described by a system of two coupled partial differential equations, both of hyperbolic type: (i) an elastic wave in the 2-d in-plane displacement, and (ii) a Kirchhoff plate in the scalar normal displacement. These PDEs are defined on a 2-d Riemann manifold. Solution of the uniform stabilization problem for the shell model combines a Riemann geometric approach with microlocal analysis techniques. The former provides an intrinsic, coordinate-free model, as well as a preliminary observability-type inequality. The latter yield sharp trace estimates for the elastic wave—critical for the very solution of the stabilization problem—as well as sharp trace estimates for the Kirchhoff plate—which permit the elimination of geometrical conditions on the controlled portion of the boundary.     

Classical solutions to phase transition problems are smooth

We prove that classical C¹–solutions to phase transition problems, which include the two–phase Stefan problem, are smooth. The problem is reduced to a fixed domain using von Mises variables. The estimates are obtained by frozen coefficients and new L_p estimates for linear parabolic equations with dynamic boundary condition. Crucial ingredients are the observation that a certain function is a Fourier multiplier, an approximation procedure of norms in Besov spaces and Meyer' approach to Nemytakij operators.     

Existenz und Eindeutigkeit für Lösungen des Neumann—Tricomi-Problems im ℝ2

In a bounded simply-connected domainG \( \subseteq \) ?² a boundary value problem for a linear partial differential equation of second orderLu=f is studied. The operatorL is elliptic inG?{y>0}, parabolic forG?{y=0} and hyperbolic inG?{y<0}. The boundary value problem consists in findingu satisfyingLu=f inG, d _n u=φ on the elliptic part of the boundary ofG, u=ψ on the noncharacteristic part (which is not empty) of the hyperbolic part of the boundary ofG.d _n u denotes the conormal (with respect toL) derivative ofu. It is proved that the problem has a generalized solution in anL ²-weight space. Uniqueness is otained in the class of quasiregular solutions. In order to get the results apriori estimates are proved; theorems from functional analysis are used.     

Robust semiglobally practical stabilization for nonlinear singularly perturbed systems

In this work, the problem of semiglobally practical stabilization is considered for nonlinear singularly perturbed systems with unknown parameters. The composite Lyapunov function for the full systems is established by both that of the slow subsystem and the boundary layer system. A state feedback control law for the linear part of the slow subsystem and boundary layer system is proposed which renders the whole closed-loop system semiglobally stable. The upper bound expression of ε$\epsilon$ is given to obtain the condition of asymptotic stability for the system. A simulation example is given to demonstrate the effectiveness and feasibility of the controller.     

Numerical methods of stabilizer construction via guidance control

This work concerns guidance stabilization of non‐autonomous control systems. Global stabilization problem is usually quite complex and difficult to solve. To overcome this difficulty, guidance control is used. A guidance stabilizer uses a trajectory of a globally asymptotically stable auxiliary system as a guide. A local stabilizer keeps the trajectory of the system in a neighborhood of a solution of the auxiliary system. In this way, the trajectory of the system tends to the equilibrium position. The main idea of this method is to solve the global stabilization problem by applying local stabilization methods. The presented procedure also yields additional possibilities for the design of a stabilizer that eliminates the peak effect, that is, the large deviation of the solutions from the equilibrium position at the beginning of the stabilization process. This effect represents a serious obstacle to the design of cascade control systems and to guidance stabilization. The optimal control problem used in this paper eliminates this effect that we have when we apply known construction methods of local stabilizers to obtain a high speed of damping of the control systems trajectories. According to this approach and using ε‐strategies introduced by Pontryagin in the frame of differential games theory, the stabilizing control is constructed as a function of time defined in a small time interval and not as a feedback. An application to a mechanical stabilization problem is provided here. Copyright © 2012 John Wiley & Sons, Ltd.     

On the basis property of root elements of ordinary differential operators in the space L 2,n (a, b)

We study a spectral problem for a system of linear ordinary differential operators in the vector function space L _2,n (a, b) with parameter-dependent boundary conditions. We prove a theorem stating that the system of root functions of the problem is a basis with parentheses in L _2,n (a, b). Corollaries of the theorem are considered.     

Optimal Control of a Parabolic Equation with Dynamic Boundary Condition

We investigate a control problem for the heat equation. The goal is to find an optimal heat transfer coefficient in the dynamic boundary condition such that a desired temperature distribution at the boundary is adhered. To this end we consider a function space setting in which the heat flux across the boundary is forced to be an L ^p function with respect to the surface measure, which in turn implies higher regularity for the time derivative of temperature. We show that the corresponding elliptic operator generates a strongly continuous semigroup of contractions and apply the concept of maximal parabolic regularity. This allows to show the existence of an optimal control and the derivation of necessary and sufficient optimality conditions.     

Stabilization of Infinite-Dimensional Semilinear Systems with Dissipative Drift

In this paper we study feedback stabilization for distributed semilinear control systems . Here, A is the infinitesimal generator of a linear C ₀ -semigroup of contractions on a real Hilbert space H and is a nonlinear operator on H into itself. A sufficient ad-condition is provided for strong feedback stabilization. The result is illustrated by means of partial differential systems. Accepted 31 July 1996     

Strong well‐posedness of a three phase problem with nonlinear transmission condition

We prove existence and uniqueness of strong solutions to a quasilinear parabolic‐elliptic system modelling an ionic exchanger. This chemical system consists of three phases connected with nonlinear boundary conditions. The most interesting difficulty of our problem manifests in the nonlinear transmission condition, as almost all quantities are non‐linearly involved in this boundary equation. Our approach is based on the contraction mapping principle, where maximal L_p‐regularity of the associated linear problem is used to obtain a fixed point equation of the starting problem. Copyright © 2012 John Wiley & Sons, Ltd.     

Exponential stabilization of nonlinear systems under saturated control involving impulse correction

This paper studies the problem of locally exponential stabilization (LES) of nonlinear systems under a class of hybrid control in the framework of actuator saturation, where the limitation of actuator saturation on both continuous state feedback control and impulsive control are fully considered. Based on impulsive control theory and differential inclusion approach, some sufficient conditions for LES are derived, where a novel set inclusion relation is proposed to handle the double saturation nonlinearities. Different from the existing results that each part of saturated hybrid control (SHC) is required to stabilize the system individually, our results relax the requirement by making full use of the correction effect of the impulse. Moreover, the maximum of estimation of domain of attraction is obtained by a convex optimal problem and corresponding algorithm. The result is applied to the robustness for a class of nonlinear systems. Finally, the validity of the results is shown by two examples and their simulations, where the synchronization problem of Chua’s oscillator is illustrated in the framework of actuator saturation.     

Time decay of the solution to the Cauchy problem for a three-dimensional model of nonsimple thermoelasticity

This paper is devoted to the investigation of the solution to the Cauchy problem for a system of partial differential equations describing thermoelasticity of nonsimple materials in a three-dimensional space. The model of linear dynamical thermoelasticity of nonsimple materials is considered as the system of partial differential equations of fourth order. In this paper, we proposed a convenient evolutionary method of approach to the system of equations of nonsimple thermoelasticity. We proved the L^p−L^q time decay estimates for the solution to the Cauchy problem for linear thermoelasticity of nonsimple materials.     

On the basis property of eigenfunctions of a singular second-order differential operator

We consider the first boundary value problem for a singular differential operator of second order on an interval with transmission conditions at an interior point of the interval. We show that the system of eigenfunctions corresponding to this problem is complete in the space L ²(0, 1) and forms a Riesz basis in that space.     

An Alternate Approach to Optimal L 2-Error Analysis of Semidiscrete Galerkin Methods for Linear Parabolic Problems with Nonsmooth Initial Data

In this article, we propose and analyze an alternate proof of a priori error estimates for semidiscrete Galerkin approximations to a general second order linear parabolic initial and boundary value problem with rough initial data. Our analysis is based on energy arguments without using parabolic duality. Further, it follows the spirit of the proof technique used for deriving optimal error estimates for finite element approximations to parabolic problems with smooth initial data and hence, it unifies both theories, that is, one for smooth initial data and other for nonsmooth data. Moreover, the proposed technique is also extended to a semidiscrete mixed method for linear parabolic problems. In both cases, optimal L ²-error estimates are derived, when the initial data is in L ². A superconvergence phenomenon is also observed, which is then used to prove L ^∞-estimates for linear parabolic problems defined on two-dimensional spatial domain again with rough initial data.