Non‐linear stability and convection for laminar flows in a porous medium with Brinkman law

The non‐linear stability of plane parallel shear flows in an incompressible homogeneous fluid heated from below and saturating a porous medium is studied by the Lyapunov direct method.In the Oberbeck–Boussinesq–Brinkman (OBB) scheme, if the inertial terms are negligible, as it is widely assumed in literature, we find global non‐linear exponential stability (GNES) independent of the Reynolds number R. However, if these terms are retained, we find a restriction on R (depending on the inertial convective coefficient) both for a homogeneous fluid and a mixture heated and salted from below. In the case of a mixture, when the normalized porosity ε is equal to one, the laminar flows are GNES for small R and for heat Rayleigh numbers less than the critical Rayleigh numbers obtained for the motionless state. Copyright © 2003 John Wiley & Sons, Ltd.     

Non‐linear stability in the Bénard problem for a double‐diffusive mixture in a porous medium

The linear and non‐linear stability of a horizontal layer of a binary fluid mixture in a porous medium heated and salted from below is studied, in the Oberbeck–Boussinesq–Darcy scheme, through the Lyapunov direct method. This is an interesting geophysical case because the salt gradient is stabilizing while heating from below provides a destabilizing effect. The competing effects make an instability analysis difficult. Unconditional non‐linear exponential stability is found in the case where the normalized porosity ? is equal to one. For other values of ? a conditional stability theorem is proved. In both cases we demonstrate the optimum result that the linear and non‐linear critical stability parameters are the same whenever the Principle of Exchange of Stabilities holds. Copyright © 2001 John Wiley & Sons, Ltd.     

Non‐linear stability for convection with quadratic temperature dependent viscosity

In this paper, we study the non‐linear stability of convection for a Newtonian fluid heated from below, where the viscosity of the fluid depends upon temperature. We are able to show that for Rayleigh numbers below a certain critical value, Ra_c, the rest state of the fluid and the steady temperature distribution remains non‐linearly stable, using the calculations of Diaz and Straughan (Continuum Mech. Thermodyn. 2004; 16 :347–352). The central contribution of this paper lies in a simpler proof of non‐linear stability, than the ones in the current literature, by use of a suitable maximum principle argument. Copyright © 2006 John Wiley & Sons, Ltd.     

Multiplication product formula for associated homogeneous distributions on R

The set of associated homogeneous distributions (AHDs) on R, ??^′(R), consists of the distributional analogues of power‐log functions with domain in R. This set contains the majority of the (one‐dimensional) distributions one typically encounters in physics applications. The recent work done by the author showed that the set ??^′(R) admits a closed convolution structure (??^′(R), *). By combining this structure with the generalized convolution theorem, a distributional multiplication product was defined, resulting in also a closed multiplication structure (??^′(R), .). In this paper, the general multiplication product formula for this structure is derived. Multiplication of AHDs on R is associative, except for critical triple products. These critical products are shown to be non‐associative in a simple and interesting way. The non‐associativity is necessary and sufficient to circumvent Schwartz's impossibility theorem on the multiplication of distributions. Copyright © 2011 John Wiley & Sons, Ltd.     

Unconditional non‐linear stability for a fluid of third grade

The thermal convection in a layer of a third grade fluid is investigated, with viscosity being a general function of temperature. We develop a non‐linear stability analysis and prove that unconditional non‐linear stability criterion is achieved using a natural energy approach. This shows that, in some sense, the equations for a fluid of third grade are preferable to those for a fluid of second grade or a dipolar fluid. Copyright © 2004 John Wiley & Sons, Ltd.     

Blowup of solutions for a class of non‐linear evolution equations with non‐linear damping and source terms

We consider the blowup of solutions of the initial boundary value problem for a class of non‐linear evolution equations with non‐linear damping and source terms. By using the energy compensation method, we prove that when p>max{m, α}, where m, α and p are non‐negative real numbers and m+1, α+1, p+1 are, respectively, the growth orders of the non‐linear strain terms, damping term and source term, under the appropriate conditions, any weak solution of the above‐mentioned problem blows up in finite time. Comparison of the results with the previous ones shows that there exist some clear condition boundaries similar to thresholds among the growth orders of the non‐linear terms, the states of the initial energy and the existence and non‐existence of global weak solutions. Copyright © 2002 John Wiley & Sons, Ltd.     

Convolution product formula for associated homogeneous distributions on R

The set of Associated Homogeneous Distributions (AHDs) on R, ??′(R), consists of distributional analogues of power‐log functions with domain in R. This set contains the majority of the (one‐dimensional) distributions typically encountered in physics applications. In earlier work of the author it was shown that ??′(R) admits a closed convolution structure, provided that critical convolution products are defined by a functional extension process. In this paper, the general convolution product formula is derived. Convolution of AHDs on R is found to be associative, except for critical triple products. Critical products are shown to be non‐associative in a minimal and interesting way. Copyright © 2010 John Wiley & Sons, Ltd.     

Lazy bases: a minimalist constructive theory of Noetherian rings

We give a constructive treatment of the theory of Noetherian rings. We avoid the usual restriction to coherent rings; we can even deal with non‐discrete rings. We introduce the concept of rings with certifiable equality which covers discrete rings and much more. A ring R with certifiable equality can be fitted with a partial ideal membership test for ideals of R. Lazy bases of ideals of R [X ] are introduced in order to derive a partial ideal membership test for ideals of R [X ]. It is then proved that if R is Noetherian, then so is R [X ]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The convolution and multiplication of one‐dimensional associated homogeneous distributions

The set of associated homogeneous distributions (AHDs) with support in R is an important subset of the tempered distributions because it contains the majority of the (one‐dimensional) distributions typically encountered in physics applications (including the δ distribution). In a previous work of the author, a convolution and multiplication product for AHDs on R was defined and fully investigated. The aim of this paper is to give an easy introduction to these new distributional products. The constructed algebras are internal to Schwartz’ theory of distributions and, when one restricts to AHDs, provide a simple alternative for any of the larger generalized function algebras, currently used in non‐linear models. Our approach belongs to the same class as certain methods of renormalization, used in quantum field theory, and are known in the distributional literature as multi‐valued methods. Products of AHDs on R, based on this definition, are generally multi‐valued only at critical degrees of homogeneity. Unlike other definitions proposed in this class, the multi‐valuedness of our products is canonical in the sense that it involves at most one arbitrary constant. A selection of results of (one‐dimensional) distributional convolution and multiplication products are given, with some of them justifying certain distributional products used in quantum field theory. Copyright © 2012 John Wiley & Sons, Ltd.     

Linear and non‐linear stability thresholds for thermal convection in a box

We analyse the problem of finding instability thresholds and global non‐linear stability bounds for thermal convection in a linearly viscous fluid in a finite box. The vertical walls are maintained at different temperatures which gives rise to a non‐uniform temperature field in steady state. This problem was previously analysed by Georgescu and Mansutti (Int. J. Non‐Linear Mech. 1999; 34 :603–613). In our work we determine the linear instability threshold to be well above the global stability boundary found by an energy method. Since the perturbed system is not symmetric we expect this to be the case, and our analysis yields a parameter region where possible sub‐critical instabilities may be found. Copyright © 2006 John Wiley & Sons, Ltd.     

Global analysis of virus dynamics model with logistic mitosis,cure rate and delay in virus production

In this paper, we study a virus dynamics model with logistic mitosis, cure rate, and intracellular delay. By means of construction of a suitable Lyapunov functionals, obtained by linear combinations of Volterra—type functions, composite quadratic functions and Volterra—type functionals, we provide the global stability for this model. If R₀, the basic reproductive number, satisfies R₀ ≤ 1, then the infection‐free equilibrium state is globally asymptotically stable. Our system is persistent if R₀ > 1. On the other hand, if R₀ > 1, then infection‐free equilibrium becomes unstable and a unique infected equilibrium exists. The local stability analysis is carried out for the infected equilibrium, and it is shown that, if the parameters satisfy a condition, the infected equilibrium can be unstable and a Hopf bifurcation can occur. We also have that if R₀ > 1, then the infected equilibrium state is globally asymptotically stable if a sufficient condition is satisfied. We illustrate our findings with some numerical simulations. Copyright © 2014 John Wiley & Sons, Ltd.     

Existence and asymptotic behaviour of solutions for a class of quasi‐linear evolution equations with non‐linear damping and source terms

We consider a class of quasi‐linear evolution equations with non‐linear damping and source terms arising from the models of non‐linear viscoelasticity. By a Galerkin approximation scheme combined with the potential well method we prove that when m<p, where m(?0) and p are, respectively, the growth orders of the non‐linear strain terms and the source term, under appropriate conditions, the initial boundary value problem of the above‐mentioned equations admits global weak solutions and the solutions decay to zero as t→∞. Copyright © 2002 John Wiley & Sons, Ltd.     

Existence for a time‐dependent heat equation with non‐local radiation terms

The paper deals with the time‐dependent linear heat equation with a non‐linear and non‐local boundary condition that arises when considering the radiation balance. Solutions are considered to be functions with values in V := {v ∈ H¹(Ω)∣γv ∈ L₅(∂Ω)}. As a consequence one has to work with non‐standard Sobolev spaces. The existence of solutions was proved by using a Galerkin‐based approximation scheme. Because of the non‐Hilbert character of the space V and the non‐local character of the boundary conditions, convergence of the Galerkin approximations is difficult to prove. The advantage of this approach is that we don't have to make assumptions about sub‐ and supersolutions. Finally, continuity of the solutions with respect to time is analysed. Copyright © 1999 John Wiley & Sons, Ltd.     

Nonlinear Eigenvalue Problems of Schrödinger Type Admitting Eigenfunctions with Given Spectral Characteristics

The following work is an extension of our recent paper [10]. We still deal with nonlinear eigenvalue problems of the form in a real Hilbert space ℋ︁ with a semi‐bounded self‐adjoint operator A₀, while for every y from a dense subspace X of ℋ︁, B(y ) is a symmetric operator. The left‐hand side is assumed to be related to a certain auxiliary functional ψ, and the associated linear problems are supposed to have non‐empty discrete spectrum (y ∈ X). We reformulate and generalize the topological method presented by the authors in [10] to construct solutions of (∗︁) on a sphere S_R ≔ {y ∈ X | ∥y∥_ℋ︁ = R} whose ψ‐value is the n‐th Ljusternik‐Schnirelman level of ψ| and whose corresponding eigenvalue is the n‐th eigenvalue of the associated linear problem (∗︁∗︁), where R > 0 and n ∈ ℕ are given. In applications, the eigenfunctions thus found share any geometric property enjoyed by an n‐th eigenfunction of a linear problem of the form (∗︁∗︁). We discuss applications to elliptic partial differential equations with radial symmetry.     

Bifurcation analysis of HIV infection model with antibody and cytotoxic T‐lymphocyte immune responses and Beddington–DeAngelis functional response

In this paper, a mathematical model for HIV‐1 infection with antibody, cytotoxic T‐lymphocyte immune responses and Beddington–DeAngelis functional response is investigated. The stability of the infection‐free and infected steady states is investigated. The basic reproduction number R₀ is identified for the proposed system. If R₀ < 1, then there is an infection‐free steady state, which is locally asymptotically stable. Further, the infected steady state is locally asymptotically stable for R₀ > 1 in the absence of immune response delay. We use Nyquist criterion to estimate the length of the delay for which stability continues to hold. Also the existence of the Hopf bifurcation is investigated by using immune response delay as a bifurcation parameter. Numerical simulations are presented to justify the analytical results. Copyright © 2014 John Wiley & Sons, Ltd.     

Definable group extensions in semi‐bounded o‐minimal structures

In this note we show: Let R = 〈R, <, +, 0, …〉 be a semi‐bounded (respectively, linear) o‐minimal expansion of an ordered group, and G a group definable in R of linear dimension m ([2]). Then G is a definable extension of a bounded (respectively, definably compact) definable group B by 〈R^m, +〉 (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A new approach to the nonlinear stability of viscous flow in a coplanar magnetic field

We present a new Lyapunov function for laminar flow, in the x‐direction, between two parallel planes in the presence of a coplanar magnetic field for three‐dimensional perturbations with stress‐free boundary planes that provides conditional nonlinear stability for all Reynolds numbers(R_e) and magnetic Reynolds numbers(R_m) below π²/2M. Compared with previous results on the nonlinear stability of this problem, the radius of stability ball and the energy decay rate obtained in this paper are independent of the magnetic field. Copyright © 2016 John Wiley & Sons, Ltd.     

A note on simultaneous preconditioning and symmetrization of non‐symmetric linear systems

Motivated by the theory of self‐duality that provides a variational formulation and resolution for non‐self‐adjoint partial differential equations (Ann. Inst. Henri Poincaré (C) Anal Non Linéaire 2007; 24 :171–205; Selfdual Partial Differential Systems and Their Variational Principles. Springer: New York, 2008), we propose new templates for solving large non‐symmetric linear systems. The method consists of combining a new scheme that simultaneously preconditions and symmetrizes the problem, with various well‐known iterative methods for solving linear and symmetric problems. The approach seems to be efficient when dealing with certain ill‐conditioned, and highly non‐symmetric systems. The numerical and theoretical results are provided to show the efficiency of our approach. Copyright © 2010 John Wiley & Sons, Ltd.     

Approximate source conditions in Tikhonov–Phillips regularization and consequences for inverse problems with multiplication operators

The object of this paper is threefold. First, we investigate in a Hilbert space setting the utility of approximate source conditions in the method of Tikhonov–Phillips regularization for linear ill‐posed operator equations. We introduce distance functions measuring the violation of canonical source conditions and derive convergence rates for regularized solutions based on those functions. Moreover, such distance functions are verified for simple multiplication operators in L²(0, 1). The second aim of this paper is to emphasize that multiplication operators play some interesting role in inverse problem theory. In this context, we give examples of non‐linear inverse problems in natural sciences and stochastic finance that can be written as non‐linear operator equations in L²(0, 1), for which the forward operator is a composition of a linear integration operator and a non‐linear superposition operator. The Fréchet derivative of such a forward operator is a composition of a compact integration and a non‐compact multiplication operator. If the multiplier function defining the multiplication operator has zeros, then for the linearization an additional ill‐posedness factor arises. By considering the structure of canonical source conditions for the linearized problem it could be expected that different decay rates of multiplier functions near a zero, for example the decay as a power or as an exponential function, would lead to completely different ill‐posedness situations. As third we apply the results on approximate source conditions to such composite linear problems in L²(0, 1) and indicate that only integrals of multiplier functions and not the specific character of the decay of multiplier functions in a neighbourhood of a zero determine the convergence behaviour of regularized solutions. Copyright © 2005 John Wiley & Sons, Ltd.     

On the mixed problem for the semilinear Darcy‐Forchheimer‐Brinkman PDE system in Besov spaces on creased Lipschitz domains

The purpose of this paper is to study the mixed Dirichlet‐Neumann boundary value problem for the semilinear Darcy‐Forchheimer‐Brinkman system in L _p ‐based Besov spaces on a bounded Lipschitz domain in ${\mathbb{R}}^3$, with p in a neighborhood of 2. This system is obtained by adding the semilinear term | u | u to the linear Brinkman equation. First, we provide some results about equivalence between the Gagliardo and nontangential traces, as well as between the weak canonical conormal derivatives and the nontangential conormal derivatives. Various mapping and invertibility properties of some integral operators of potential theory for the linear Brinkman system, and well‐posedness results for the Dirichlet and Neumann problems in L _p ‐based Besov spaces on bounded Lipschitz domains in ${\mathbb{R}}^n$(n ≥3) are also presented. Then, using integral potential operators, we show the well‐posedness in L ₂‐based Sobolev spaces for the mixed problem of Dirichlet‐Neumann type for the linear Brinkman system on a bounded Lipschitz domain in ${\mathbb{R}}^n$(n ≥3). Further, by using some stability results of Fredholm and invertibility properties and exploring invertibility of the associated Neumann‐to‐Dirichlet operator, we extend the well‐posedness property to some L _p ‐based Sobolev spaces. Next, we use the well‐posedness result in the linear case combined with a fixed point theorem to show the existence and uniqueness for a mixed boundary value problem of Dirichlet and Neumann type for the semilinear Darcy‐Forchheimer‐Brinkman system in L _p ‐based Besov spaces, with p ∈(2?ε ,2+ε ) and some parameter ε >0.