Non‐selfsimilar global solutions to a two‐dimensional system of conservation laws

This paper considers the two‐dimensional Riemann problem for a system of conservation laws that models the polymer flooding in an oil reservoir. The initial data are two different constant states separated by a smooth curve. By virtue of a nonlinear coordinate transformation, this problem is converted into another simple one. We then analyze rigorously the expressions of elementary waves. Based on these preparations, we obtain respectively four kinds of non‐selfsimilar global solutions and their corresponding criteria. It is shown that the intermediate state between two elementary waves is no longer a constant state and that the expression of the rarefaction wave is obtained by constructing an inverse function. These are distinctive features of the non‐selfsimilar global solutions. Copyright © 2017 John Wiley & Sons, Ltd.     

Global existence to a three‐dimensional non‐linear thermoelasticity system arising in shape memory materials

This paper is concerned with the unique global solvability of a three‐dimensional (3‐D) non‐linear thermoelasticity system arising from the study of shape memory materials. The system consists of the coupled evolutionary problems of viscoelasticity with non‐convex elastic energy and non‐linear heat conduction with mechanical dissipation. The present paper extends the previous 2‐D existence result of the authors Reference [1] to 3‐D case. This goal is achieved by means of the Leray–Schauder fixed point theorem using technique based on energy arguments and DeGiorgi method. Copyright © 2004 John Wiley & Sons, Ltd.     

Boundary position feedback control of Kirchhoff's non‐linear strings

This paper is concerned with global stabilization of an undamped non‐linear string in the case where any velocity feedback is not available. The linearized system has an infinite number of poles and zeros on the imaginary axis. In the case where any velocity feedback is not available, a parallel compensator is effective. The stabilizer is constructed for the augmented system which consists of the controlled system and a parallel compensator. It is proved that the string can be stabilized by linear boundary control. Copyright © 2003 John Wiley & Sons, Ltd.     

Global non‐existence of solutions of a class of wave equations with non‐linear damping and source terms

In this paper we consider the non‐linear wave equation a,b>0, associated with initial and Dirichlet boundary conditions. We prove, under suitable conditions on α,β,m,p and for negative initial energy, a global non‐existence theorem. This improves a result by Yang (Math. Meth. Appl. Sci. 2002; 25 :825–833), who requires that the initial energy be sufficiently negative and relates the global non‐existence of solutions to the size of Ω. Copyright © 2004 John Wiley & Sons, Ltd.     

Static output‐feedback control for interval type‐2 discrete‐time fuzzy systems

This article investigates the problem of reliable mixed control for discrete‐time interval type‐2 (IT2) fuzzy model‐based systems via static output‐feedback (SOF) control method. The number of fuzzy rules and the membership functions for the SOF controller are different from those for the plant. A sufficient criterion of reliable stability with mixed performance is derived for the closed‐loop system with sensor failure. The SOF controller is designed for two different cases (known sensor failure case and unknown sensor failure case) to guarantee the reliable stability with mixed performance. Moreover, novel criteria are presented to obtain the optical performance for the closed‐loop system. Finally, an example is used to verify the effectiveness of the proposed design scheme. © 2014 Wiley Periodicals, Inc. Complexity 21: 74–88, 2016     

A three‐dimensional finite element model for the control of certain non‐linear bioreactors

This paper deals with the dynamics of non‐linear distributed parameter fixed‐bed bioreactors. The model consists of a pair of non‐linear partial differential (evolution) equations. The true spatially three‐dimensional situation is considered instead of the usual one‐dimensional approximation. This enables one to take into account the effects of flow profiles and the true location of the measurement transducer. The (output) evolution of the corresponding open‐loop control system is simulated. Furthermore, the associated closed‐loop system with respect to the relevant output function is considered. Especially, the asymptotic output tracking is found to be successful by applying the usual process based on the state feedback linearization. Copyright © 2000 John Wiley & Sons, Ltd.     

Non‐standard finite difference schemes for multi‐dimensional second‐order systems in non‐smooth mechanics

This work is an extension of the paper (Proc. R. Soc. London 2005; 461A :1927–1950) to impact oscillators with more than one degree of freedom. Given the complex and even chaotic behaviour of these non‐smooth mechanical systems, it is essential to incorporate their qualitative physical properties, such as the impact law and the frequencies of the systems, into the envisaged numerical methods if the latter is to be reliable. Based on this strategy, we design several non‐standard finite difference schemes. Apart from their excellent error bounds and unconditional stability, the schemes are analysed for their efficiency to preserve some important physical properties of the systems including, among others, the conservation of energy between consecutive impact times, the periodicity of the motion and the boundedness of the solutions. Numerical simulations that support the theory are provided. Copyright © 2006 John Wiley & Sons, Ltd.     

Pointwise stabilization of strings with non‐linear feedback

We consider an initial and boundary value problem for a homogenous string subject to an internal pointwise control. The solution resulting from a non‐linear feedback is studied. We give various explicit decay estimates depending on the control position and the feedback non‐linearity. Copyright © 2004 John Wiley & Sons, Ltd.     

Non‐rainbow colorings of 3‐, 4‐ and 5‐connected plane graphs

We study vertex‐colorings of plane graphs that do not contain a rainbow face, i.e., a face with vertices of mutually distinct colors. If G is a 3 ‐connected plane graph with n vertices, then the number of colors in such a coloring does not exceed . If G is 4 ‐connected, then the number of colors is at most , and for n≡3(mod8), it is at most . Finally, if G is 5 ‐connected, then the number of colors is at most . The bounds for 3 ‐connected and 4 ‐connected plane graphs are the best possible as we exhibit constructions of graphs with colorings matching the bounds. © 2009 Wiley Periodicals, Inc. J Graph Theory 63: 129–145, 2010     

Non‐fragile synchronization control for complex networks with additive time‐varying delays

In this article, a synchronization problem for complex dynamical networks with additive time‐varying coupling delays via non‐fragile control is investigated. A new class of Lyapunov–Krasovskii functional with triple integral terms is constructed and using reciprocally convex approach, some new delay‐dependent synchronization criteria are derived in terms of linear matrix inequalities (LMIs). When applying Jensen's inequality to partition double integral terms in the derivation of LMI conditions, a new kind of linear combination of positive functions weighted by the inverses of squared convex parameters appears. To handle such a combination, an effective method is introduced by extending the lower bound lemma. Then, a sufficient condition for designing the non‐fragile synchronization controller is introduced. Finally, a numerical example is given to show the advantages of the proposed techniques. © 2014 Wiley Periodicals, Inc. Complexity 21: 296–321, 2015     

Global well‐posedness for free boundary problem of the Oldroyd‐B model fluid flow

In this paper, we prove the global well‐posedness of non‐Newtonian viscous fluid flow of the Oldroyd‐B model with free surface in a bounded domain of N‐dimensional Euclidean space . The assumption of the problem is that the initial data are small enough and orthogonal to rigid motions. Copyright © 2015 John Wiley & Sons, Ltd.     

Non‐autonomous forms and invariance

We generalize the Beurling–Deny–Ouhabaz criterion for parabolic evolution equations governed by forms to the non‐autonomous, non‐homogeneous and semilinear case. Let be Hilbert spaces such that V is continuously and densely embedded in H and let be the operator associated with a bounded H‐elliptic form for all . Suppose is closed and convex and the orthogonal projection onto . Given and , we investigate when the solution of the non‐autonomous evolutionary problem remains in and show that this is the case if for a.e. . Moreover, we examine necessity of this condition and apply this result to a semilinear problem.     

Optimal control applied on an HIV‐1 within‐host model

The treatment of human immunodeficiency virus (HIV) remains a major challenge, even if significant progress has been made in infection treatment by ‘drug cocktails’. Nowadays, research trend is to minimize the number of pills taken when treating infection. In this paper, an HIV‐1 within host model where healthy cells follow a simple logistic growth is considered. Basic reproduction number of the model is calculated using next generation matrix method, steady states are derived; their local, as well as global stability, is discussed using the Routh–Hurwitz criteria, Lyapunov functions and the Lozinskii measure approach. The optimal control policy is formulated and solved as an optimal control problem. Numerical simulations are performed to compare several cases, representing a treatment by Interleukin2 alone, classical treatment by multitherapy drugs alone, then both treatments at the same time. Objective functionals aim to (i) minimize infected cells quantity; (ii) minimize free virus particles number; and (iii) maximize healthy cells density in blood. Copyright © 2015 John Wiley & Sons, Ltd.     

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.     

Non‐standard analysis in ACA0 and Riemann mapping theorem

This research is motivated by the program of reverse mathematics and non‐standard arguments in second‐order arithmetic. Within a weak subsystem of second‐order arithmetic ACA₀, we investigate some aspects of non‐standard analysis related to sequential compactness. Then, using arguments of non‐standard analysis, we show the equivalence of the Riemann mapping theorem and ACA₀ over WKL₀. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the cauchy problem for a one‐dimensional full compressible non‐Newtonian fluids

This paper is concerned with global existence and asymptotic behavior of H¹ solutions to the Cauchy problem of one‐dimensional full non‐Newtonian fluids with the weighted small initial data. We then obtain the global existence of Hⁱ(i = 2,4) solutions and their asymptotic behavior for the system. Copyright © 2015 John Wiley & Sons, Ltd.     

Global stability of a periodic Holling‐Tanner predator‐prey model

This paper is concerned with the global dynamics of a Holling‐Tanner predator‐prey model with periodic coefficients. We establish sufficient conditions for the existence of a positive solution and its global asymptotic stability. The stability conditions are first given in average form and afterward as pointwise estimates. In the autonomous case, the previous criteria lead to a known result.