A Generalized Frequency Response for Nonlinear Systems

The principal aim of this paper is to present the idea of ‘generalizedfrequency response’ of a nonlinear input-output map S_xo.It is defined as · S_xo · ^-1 where is the canonicalisomorphsim from the weighted space L²_w[0, ] to ² with respectto a given basis for L²_w(0 , ) and the standard basis for ².Realization results are presented pertainig to the linear, bilinear,and nonlinear cases.     

A necessary and sufficient algebraic condition for the controllability of a thermoelastic plate equation

In this paper we give a necessary and sufficient algebraic conditionfor the approximate controllability of the following thermoelasticplate equation with Dirichlet boundary conditions w_tt + ²w + = a₁(x)u₁ + ... + a_m(x)u_m, t 0, x , _t – ß – w_t = d₁(x)u₁ + ... + d_m(x)u_m,t 0, x , = w = w = 0, t 0, x , where 0, ß > 0, is a sufficiently regular boundeddomain in R^N, a_i, d_i, L² (; R), the control functions u_i L²(0, t₁; R); i = 1, 2, ..., m. This condition is easy to checkand is given by Rank [P_jBA_jP_jBA²_jP_jB ... A^3_j–1_jP_jB] = 3_j,BU=b₁U₁+...+b_mU_m,b_i=[0, a_i, d_i], A_j=[0, –²_j, 0, 1, 0, –_j, 0, _j, –ß_j]P_j, j1, where _j, S are the eigenvalues of – with Dirichlet boundarycondition and P_j, S are the projections on the correspondingeigenspace.     

Robust H{infty} dynamic output feedback control for 2D linear parameter-varying systems

James Lam Department of Mechanical Engineering, The University of Hong Kong, Pokfulam Road, Hong Kong Changhong Wang Space Control and Inertial Technology Research Center, Harbin Institute of Technology, Harbin 150001, People's Republic of China Corresponding author. Email: ligangwu{at}hit.edu.cn Email: james.lam{at}hku.hk Email: cwang{at}hit.edu.cn Received on June 28, 2006; Accepted on October 1, 2007 This paper is concerned with the problem of robust dynamicoutput feedback control for 2D discrete-time linear parameter-varyingsystems. Given a Fornasini–Marchesini local state-spacesystem with linear varying parameters, our attention is focussedon the design of full-order dynamic output feedback controller,which guarantees the closed-loop system to be asymptoticallystable and has a prescribed disturbance attenuation performance.A sufficient condition for the existence of a desired robustoutput feedback controller is established in terms of parameterizedlinear matrix inequalities, and the corresponding controllersynthesis is cast into a convex optimization problem which canbe efficiently handled by using standard numerical software.A numerical example is provided to illustrate the effectivenessof the proposed design method.     

Approximation of exact controllability problem involving parabolic differential equations

In this paper we examine computation of optimal control u^* ofthe exact controllability problem (referred to as the constraintproblem) governed by the following type of linear parabolicdifferential equations: (y/t) + Ay = u in Q y = 0 on y(0) = y₀ on where A is the second-order elliptic differential operator, is a bounded domain in ^k with smooth boundary , Q = (0, T)x , = (0, T) x and T > 0. This is achieved by approximatingu^* through a sequence {u_n} of controls corresponding to unconstrainedproblems involving a penalty function arising from the controllabilityconstraint.     

Characterization of Distributions through Maximization of {alpha}-Entropies

This paper provides characterizations of the Pareto distributionof the second kind, the Pearson type-VII distribution and thet-distribution. These characterizations have been obtained throughmaximization of -entropies. As 1, characterizations of the exponential,the Laplace, and the normal distributions are obtained. On sabbatical leave from the Department of Statistics, YarmoukUniversity, Irbid, Jordan.     

Finite-dimensional H{infty} control of flexible beam equation systems

In this paper, we consider H control problem with measurementfeedback for flexible beam equation systems. The aim is to constructa finite-dimensional H controller with a given level for theflexible beam equation system. For that purpose, we first formulatethe system as an infinite-dimensional system in l² and derivea finite-dimensional reduced-order system for the infinite-dimensionalsystem. Then, an H controller with level d less than is constructedfor the reduced-order model. The finite-dimensional controllertogether with a residual mode filter plays a role of a finite-dimensionalH controller with level for the original flexible beam equationsystem, if the order of the residual mode filter is chosen sufficientlylarge.     

A Note on a System Theoretic Approach to a Conjecture by Peller-Khrushchev: The General Case

Based on the construction of infinite-dimensional balanced realizations,an alternative solution to the following inverse spectral problemis presented. Given a decreasing sequence of positive numbers(_n)_n>1 (i.e. ₁₂₃...0), does there exist a Hankel operatorwhose sequance of singular values is (_n)_n>1? This paper isan extension of a previously published paper in which the sameapproach was taken in the case of a monotonically decreasingsequence(_n)_n>1.     

Fitted and Unfitted Finite-Element Methods for Elliptic Equations with Smooth Interfaces

This paper considers the finite-element approximation of theelliptic interface problem: -?(u) + cu = f in Rⁿ (n = 2 or3), with u = 0 on , where is discontinuous across a smoothsurface in the interior of . First we show that, if the meshis isoparametrically fitted to using simplicial elements ofdegree k - 1, with k 2, then the standard Galerkin method achievesthe optimal rate of convergence in the H¹ and L² norms overthe approximations _l⁴ of _l where _{l 2}. Second, since itmay be computationally inconvenient to fit the mesh to , weanalyse a fully practical piecewise linear approximation ofa related penalized problem, as introduced by Babuska (1970),based on a mesh that is independent of . We show that, by choosingthe penalty parameter appropriately, this approximation convergesto u at the optimal rate in the H¹ norm over _l⁴ and in the L²norm over any interior domain _l^* satisfying _l^* _l^** _l⁴ for somedomain _l^**. Present address: School of Mathematical and Physical Sciences,University of Sussex, Brighton BN1 9QH     

Controllability of a system of parabolic equations with non-diagonal diffusion matrix

In this paper we give a necessary and sufficient algebraic conditionfor the approximate controllability of the following systemof parabolic equations with Dirichlet boundary condition: {z_t = D z + b₁(x)u₁ + ··· + b_m(x)u_m, t 0, z ⁿ, z = 0, on where is a sufficiently smooth bounded domain in ^N, b_i L²(;ⁿ), the control functions u_i L²(0, t₁; ); i = 1, 2, ..., mand D is an n x n non-diagonal matrix whose eigenvalues aresemi-simple with positive real part. This algebraic conditionis checkable since it is given in terms of the n_j x m matricesDP_j and P_jB, i.e. Rank [P_jBDP_jBD²P_jB··· D^n_j–1 P_jB]= n_j, where P_jBu = P_jb₁u₁ + ··· + P_jb_mu_m. Finally,this result can be applied to those systems of partial differentialequations that can be rewritten as a diffusion system (see deOliveira, 1998).     

A generalization of the concept of similarity of infinite-dimensional linear systems with applications to stability, stabilizability, and detectability

In the present paper a generalization of the concept of similaritycalled D similarity for infinite-demensional linear systemsis introduced. We show that this D similarity preserves thespectrum in the standard sense, and the exponential growth bound,stability, stabilizability, and detectability in the extensionsense. For the case where one of the semigroups is stronglydifferentiable at some t₀ 0, it is shown that D similaritypreserves the exponential growth bound and weak and exponentialstability in the standard sense. For the case where one of thesemigroups is analytic, it is shown that D similarity preservesstabilizability and detectability in the standard sense.     

Total Flux Estimates for a Finite-Element Approximation of Elliptic Equations

An elliptic boundary-value problem on a domain with prescribedDirichlet data on _I is approximated using a finite-elementspace of approximation power h^K in the L² norm. It is shownthat the total flux across _I can be approximated with an errorof O(h^K) when is a curved domain in Rⁿ (n = 2 or 3) and isoparametricelements are used. When is a polyhedron, an O(h^2K–2)approximation is given. We use these results to study the finite-elementapproximation of elliptic equations when the prescribed boundarydata on _I is the total flux. Present address: School of Mathematical and Physical Sciences,University of Sussex, Brighton, Sussex BN1 9QH.     

Approximate parametric optimization of infinite-dimensional systems

We consider the problem of finding g M_n such that where M_n is the n-dimensional subspace of the complexHilbert space L²(0, ) spanned by an n-tuple of normalized eigenvectoesof the operator , corresponding to eigenvalues. The solution is g = P_nf and P_n denotesthe orthoprojector onto M_n. From Grabowski (1991) we know thatP_n can be expressed in terms of the Malmquist functions. Wegive an alternative approach, more convenient for applicationof the standard mathematical software. The problem of convergenceas n is discussed from both theoretical and numerical viewpoint.The reslts are illustrated by the problems of finding the optimaladjustment of the proportional controller stabilizing a distributedplant. Email: pgrab{at}ia.agh.edu.pl     

Finite Element Approximation of a Rigid Punch Indenting a Membrane

Optimal order H¹ and L error bounds are obtained for a continuouspiecewise linear finite element approximation of an obstacleproblem, where the obstacle's height as well as the contactzone, _c, are a priori unknown. The problem models the indentationof a membrane by a rigid punch. For R², given ,g R⁺ and an obstacle defined over E we consider the minimization of |v|²_1,+gµover (v, µ) H¹₀() x R subject to v+µ on E. In additionwe show under certain nondegeneracy conditions that dist (_c,^h_c)Ch ln 1/h, where ^h_c is the finite element approximation to_c. Finally we show that the resulting algebraic problem canbe solved using a projected SOR algorithm.     

Cardinal Invariants and Eventually Different Functions

In this paper we study several kinds of maximal almost disjointfamilies. In the main result of this paper we show that forsuccessor cardinals , there is an unexpected connection betweeninvariants a_e(), b() and a certain cardinal invariant m_d(⁺)on ⁺. As a corollary we get for example the following result.For a successor cardinal , even assuming that ^< = and 2= ⁺, the following is not provable in Zermelo–Fraenkelset theory. There is a ⁺-cc poset which does not collapse andwhich forces a() = ⁺ < a_e() = ⁺⁺ = 2. We also apply the ideasfrom the proofs of these results to study a = a() and non(M).2000 Mathematics Subject Classification 03E17 (primary), 03E05(secondary).     

Decentralized dynamic pole assignment with low-order compensators

N. Karcanias Control Engineering Centre, School of Engineering and Mathematical Sciences, City University, Northampton Square London EC1V OHB, UK Email: n.karcanias{at}city.ac.uk Received on June 14, 2006; Accepted on October 2, 2006 The problem of arbitrary pole placement via dynamic decentralizedoutput feedback is studied for minimal systems described bya proper transfer function matrix P(s) R^{m x p}(s) (m = m_i andp = p_i), with McMillan degree n. The family of controllersto be used includes those decentralized controllers with channelswhose ith channel has maximum observability index at most d_i.The method presented here is based on asymptotic linearizationaround a decentralized degenerate compensator of the pole placementmap related to the problem. It is shown that the method worksgenerically when m⁺p > n, where m⁺ = min{d_i(p_i + m_i –1) + m_i}, i = 1, ..., , and the smallest d_i of the compensatorof the ith channel is the integral part of (n – pm_i)/p(p_i+ m_i – 1).     

On hearing the shape of a bounded domain with Robin boundary conditions

The asymptotic expansions of the trace of the heat kernel (t)= [sum ]_j=1 exp(-t_j) for small positive t, where {_j} _j=1 arethe eigenvalues of the negative Laplacian -_n = -[sum ]ⁿ_k=1 (/x^k)²in Rⁿ (n = 2 or 3), are studied for a general multiply connectedbounded domain which is surrounded by simply connected boundeddomains _i with smooth boundaries _i (i = 1,...,m), where smoothfunctions Y_i (i = 1,...,m) are assuming the Robin boundary conditions(n_i + Y_i) = 0 on _i. Here /n_i denote differentiations along theinward-pointing normals to _i (i = 1,...,m). Some applicationsof an ideal gas enclosed in the multiply connected bounded containerwith Neumann or Robin boundary conditions are given.     

Properties of the weighted logarithmic matrix norms

Mingzhu Liu Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China Email: ghu{at}hit.edu.cn, ghuca{at}yahoo.ca Email: mzliu{at}hit.edu.cn Received on January 31, 2006; Accepted on December 9, 2006 In this paper, we are concerned with the properties of the weightedlogarithmic matrix norms. A relation between the elliptic logarithmicmatrix norm and the weighted logarithmic matrix norm is given.Based on Lyapunov equations, two weighted logarithmic matrixnorms are constructed which are less than 1-logarithmic matrixnorm and -logarithmic matrix norm, respectively. Then, an iterativescheme is presented to obtain the logarithmically -efficientmatrix norm. Numerical examples are given to illustrate theresults.     

Extremal Subgroups in Chevalley Groups

Throughout this paper G(k) denotes a Chevalley group of rankn defined over the field k, where n3. Let be the root systemassociated with G(k) and let ={₁, ₂, ..., _n} be a set of fundamentalroots of , with ⁺ being the set of positive roots of with respectto . For and ⁺, let n() be the coefficient of in the expressionof as a sum of fundamental roots; so =n(). Also we recall thatht(), the height of , is given by ht()=n(). The highest rootin ⁺ will be denoted by . We additionally assume that the Dynkindiagram of G(k) is connected.     

Correction: Abelian Varieties defined over their Fields of Moduli, I

Bull London Math. Soc, 4 (1972), 370–372. The proof of the theorem contains an error. Before giving acorrect proof, we state two lemmas. LEMMA 1. Let K/k be a cyclic Galois extension of degree m, let generate Gal (K/k), and let (A, I, ) be defined over K. Supposethat there exists an isomorphism :(A,I,) (A, I, ) over K suchthat v^m–1 ... = 1, where v is the canonical isomorphism(A^m, I^m, ^m) (A, I, ). Then (A, I, ) has a model over k, whichbecomes isomorphic to (A, I, ) over K. Proof. This follows easily from [7], as is essentially explainedon p. 371. LEMMA 2. Let G be an abelian pro-finite group and let : G Q/Z be a continuous character of G whose image has order p.Then either: (a) there exist subgroups G' and H of G such that H is cyclicof order p^m for some m, (G') = 0, and G = G' x H, or (b) for any m > 0 there exists a continuous character m ofG such that p^m _m = . Proof. If (b) is false for a given m, then there exists an element G, of order p^r for some r m, such that () ¦ 0. (Considerthe sequence dual to 0 Ker (p^m) G ^pm G). There exists an opensubgroup G_o of G such that (G₀) = 0 and has order p^r in G/G₀.Choose H to be the subgroup of G generated by , and then aneasy application to G/G₀ of the theory of finite abelian groupsshows the existence of G' (note that () ¦ 0 implies that is not a p-th. power in G). We now prove the theorem. The proof is correct up to the statement(iv) (except that (i) should read: F' k₁ F'ab). To removea minor ambiguity in the proof of (iv), choose to be an elementof Gal (F'_ab/k₂) whose image $$\stackrel{\&macr;}{\sigma}$$ in Gal (k₁/k₂) generates this last group. The error occursin the statement that the canonical map v : A^P A acts on pointsby sending a^p a; it, of course, sends a a. The proof is correct, however, in the case that it is possibleto choose so that ^p = 1 (in Gal (F'/k₂)). By applying Lemma 2 to G = Gal (F'_ab/k₂) and the map G Gal(k₁/k₂) one sees that only the following two cases have to beconsidered. (a) It is possible to choose so that ^pm = 1, for some m, andG = G' x H where G' acts trivially on k₁ and H is generatedby . (b) For any m > 0 there exists a field K, F'ab K k₁ k₂is a cyclic Galois extension of degree p^m. In the first case, we let K F'_ab be the fixed field of G'.Then (A, I, ), regarded as being defined over K, has a modelover k₂. Indeed, if m = 1, then this was observed above, butwhen m > 1 the same argument applies. In the second case, let : (A, I, ) (A$$\stackrel{\&macr;}{\sigma}$$, I$$\stackrel{\&macr;}{\sigma }$$, $$\stackrel{\&macr;}{\sigma}$$) be an isomorphism defined over k₁ and let v ... ^p–1 = µ(R). If is replaced by for some Aut_k1((A, I, )) then is replacedby ^P. Thus, as µ(R) is finite, we may assume that ^pm–1= 1 for some m. Choose K, as in (b), to be of degree p^m overk₂. Let _m be a generator of Gal (K/k₂) whose restriction tok₁ is $$\stackrel{\&macr;}{\sigma }$$. Then : (A, I, ) (A^{$$\stackrel{\&macr;}{\sigma }$$}, I^{$$\stackrel{\&macr;}{\sigma}$$}, ^{$$\stackrel{\&macr;}{\sigma }$$} = (A^{$$\stackrel{\&macr;}{\sigma}$$m}, I^{$$\stackrel{\&macr;}{\sigma }$$m}, ^{$$\stackrel{\&macr;}{\sigma}$$m} is an isomorphism defined over K and v ^mpm–1, ... ^m =^pm–1 = 1, and so, by) Lemma 1, (A, I, ) has a model overk₂ which becomes isomorphic to (A, I, over K. The proof may now be completed as before. Addendum: Professor Shimura has pointed out to me that the claimon lines 25 and 26 of p. 371, viz that µ(R) is a puresubgroup of _R^*t, does not hold for all rings R. Thus this condition,which appears to be essential for the validity of the theorem,should be included in the hypotheses. It holds, for example,if µ(R) is a direct summand of µ(F).     

A Criticality Criterion for Thermal Explosions in Well-stirred Systems with Reactant Consumption

The autonomous differential equations for the temperature andreactant consumption in a first-order well-stirred exothermicreaction are considered. An examination of the phase-plane solutionsallows the qualitative behaviour of the Semenov number as afunction of maximum temperature rise ^* to be established. Inthe limit of infinite adiabatic temperature rise (B) and zeroactivation energy parameter ( = 0), the relationship between and stationary temperature _s is known to be e_¹ = _s. Criticalityarises at the maximum of (_s) and leads to the critical Semenovvalues (_s)_cr = 1, _cr = e^–1. For sufficiently large B,it is shown that the (^*) curve has a bifurcation at ^* = 1, withthe upper branch monotonically increasing and the lower branchmonotonically decreasing for ^* > 1. In the limit B thesebecome respectively the straight line = e^–1, _s 1 andthe unstable branch of = _se^–1, _s 1 and the unstablebranch of = _s e^–. Criticality for finite B is definedas occurring at the bifurcation, namely ^*_cr = 1, with _cr(B)the value of at this point. Values of these Semenoy numbersare obtainable from the numerical calculations of Boddingtonet al. [Proc. R. Soc. Lond. (1983), 390, 13–30]. The newcriterion is applied to an approximate phase-plane solution.The corresponding critical parameter is found to be _cr = e^–1[1+B^–(2–e^–1)+O(B^–1)].