Local and non‐local boundary quenching

The quenching problem is examined for a one‐dimensional heat equation with a non‐linear boundary condition that is of either local or non‐local type. Sufficient conditions are derived that establish both quenching and non‐quenching behaviour. The growth rate of the solution near quenching is also given for a power‐law non‐linearity. The analysis is conducted in the context of a nonlinear Volterra integral equation that is equivalent to the initial–boundary value problem. Copyright © 1999 John Wiley & Sons, Ltd.     

Non‐homogeneous boundary value problem for the Chan–Bodner–Linholm model

This paper proves global in time existence and uniqueness of large solutions for a problem in non‐linear inelasticity with non‐homogeneous boundary conditions. The proof is based on the non‐linear non‐autonomous semigroup method. Copyright © 2000 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.     

Ritz–Galerkin method for solving a parabolic equation with non‐local and time‐dependent boundary conditions

The paper is devoted to the investigation of a parabolic partial differential equation with non‐local and time‐dependent boundary conditions arising from ductal carcinoma in situ model. Approximation solution of the present problem is implemented by the Ritz–Galerkin method, which is a first attempt at tackling parabolic equation with such non‐classical boundary conditions. In the process of dealing with the difficulty caused by integral term in non‐local boundary condition, we use a trick of introducing the transition function G(x,t) to convert non‐local boundary to another non‐classical boundary, which can be handled with the Ritz–Galerkin method. Illustrative examples are included to demonstrate the validity and applicability of the technique in this paper. Copyright © 2015 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.     

Non‐linear initial boundary value problemsof hyperbolic–parabolic type. A general investigationof admissible couplings between systems of higher order. Part 1: linear theory

In this article (which is divided in three parts) we investigate the non‐linear initial boundary value problems (1.2) and (1.3). In both cases we consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1 at hand, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (1.2) using the so‐called energy method. In the above sense, the regularity assumptions about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to the non‐linear initial boundary value problem (1.3). In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

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.     

Global existence of solutions for non‐small data to non‐linear spherically symmetric thermoviscoelasticity

We consider some initial–boundary value problems for non‐linear equations of thermoviscoelasticity in the three‐dimensional case. Since, we are interested to prove global existence we consider spherically symmetric problem. We examine the Neumann conditions for the temperature and either the Neumann or the Dirichlet boundary conditions for the elasticity equations. Using the energy method, we are able to obtain some energy estimates in appropriate Sobolev spaces enough to prove existence for all time without any restrictions on data. Due to the spherical symmetricity the constants in the above estimates increase with time so the existence for all finite times is proved only. Copyright © 2003 John Wiley & Sons, Ltd.     

Non‐linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 2: abstract quasilinear theory

This is the second part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2 at hand, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (3.4) using the so‐called energy method. In the above sense the regularity assumptions (A6) and (A7) about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to non‐linear initial boundary value problems. In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Sufficient conditions of non‐uniqueness for the Coulomb friction problem

We consider the Signorini problem with Coulomb friction in elasticity. Sufficient conditions of non‐uniqueness are obtained for the continuous model. These conditions are linked to the existence of real eigenvalues of an operator in a Hilbert space. We prove that, under appropriate conditions, real eigenvalues exist for a non‐local Coulomb friction model. Finite element approximation of the eigenvalue problem is considered and numerical experiments are performed. Copyright © 2003 John Wiley & Sons, Ltd.     

Diffusion in poro‐plastic media

A model is developed for the flow of a slightly compressible fluid through a saturated inelastic porous medium. The initial‐boundary‐value problem is a system that consists of the diffusion equation for the fluid coupled to the momentum equation for the porous solid together with a constitutive law which includes a possibly hysteretic relation of elasto‐visco‐plastic type. The variational form of this problem in Hilbert space is a non‐linear evolution equation for which the existence and uniqueness of a global strong solution is proved by means of monotonicity methods. Various degenerate situations are permitted, such as incompressible fluid, negligible porosity, or a quasi‐static momentum equation. The essential sufficient conditions for the well‐posedness of the system consist of an ellipticity condition on the term for diffusion of fluid and either a viscous or a hardening assumption in the constitutive relation for the porous solid. Copyright © 2004 John Wiley & Sons, Ltd.     

Existence and uniqueness of bounded weak solution for non‐linear parabolic boundary value problem with equivalued surface

In this paper, we discuss the existence and uniqueness of bounded weak solution for non‐linear parabolic boundary value problem with equivalued surface and correct the mistake in Zhang Xu (Math. Meth. Appl. Sci. 1999; 22 : 259). The approach is based on L^∞ estimate of solution. Copyright © 2004 John Wiley & Sons, Ltd.     

On the regularity of flows with Ladyzhenskaya Shear‐dependent viscosity and slip or non‐slip boundary conditions

Navier‐Stokes equations with shear dependent viscosity under the classical non‐slip boundary condition have been introduced and studied, in the sixties, by O. A. Ladyzhenskaya and, in the case of gradient dependent viscosity, by J.‐L. Lions. A particular case is the well known Smagorinsky turbulence model. This is nowadays a central subject of investigation. On the other hand, boundary conditions of slip type seems to be more realistic in some situations, in particular in numerical applications. They are a main research subject. The existence of weak solutions u to the above problems, with slip (or non‐slip) type boundary conditions, is well known in many cases. However, regularity up to the boundary still presents many open questions. In what follows we present some regularity results, in the stationary case, for weak solutions to this kind of problems; see Theorems 3.1 and 3.2. The evolution problem is studied in the forthcoming paper [6]; see the remark at the end of the introduction. © 2004 Wiley Periodicals, Inc.     

Non‐linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 3: applications

This is the third part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2, we prove the local in time existence, uniqueness and regularity of solutions to quasilinear initial boundary value problems using the so‐called energy method. In the above sense the regularity assumptions about the coefficients and right‐hand sides define the admissible couplings. In part 3 at hand, we extend the results of part 2 to the nonlinear initial boundary value problem (4.2). In particular, assumptions (B8) and (B9) about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit assumptions (B8) and (B9) for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Mild solutions of non‐Lipschitz stochastic integrodifferential evolution equations

In this work, we study the existence and uniqueness of mild solutions for stochastic partial integrodifferential equations under local non‐Lipschitz conditions on the coefficients. Our analysis makes use of the theory of resolvent operators as developed by R. Grimmer as well as a stopping time technique. Our results complement and improve several earlier related works. An example is provided to illustrate the theoretical results. Copyright © 2016 John Wiley & Sons, Ltd.     

Local strong solutions to a compressible non‐Newtonian fluid with density‐dependent viscosity

We consider the initial boundary problem for a compressible non‐Newtonian fluid with density‐dependent viscosity. The local existence of strong solution is established that is based on some compatibility condition. Moreover, it is also proved that the solutions are to blow up, and the maximum norm of velocity gradients controls the possible break down of the strong solutions. Copyright © 2016 John Wiley & Sons, Ltd.     

Numerical simulation of the non‐linear crack problem with non‐penetration

Here the numerical simulation of some plane Lamé problem with a rectilinear crack under non‐penetration condition is presented. The corresponding solids are assumed to be isotropic and homogeneous as well as bonded. The non‐linear crack problem is formulated as a variational inequality. We use penalty iteration and the finite‐element method to calculate numerically its approximate solution. Applying analytic formulas obtained from shape sensitivity analysis, we calculate then energetic and stress characteristics of the solution, and describe the quasistatic propagation of the crack under linear loading. The results are presented in comparison with the classical, linear crack problem, when interpenetration between the crack faces may occur. Copyright © 2004 John Wiley & Sons, Ltd.     

On non‐stationary viscous incompressible flow through a cascade of profiles

The paper deals with theoretical analysis of non‐stationary incompressible flow through a cascade of profiles. The initial‐boundary value problem for the Navier–Stokes system is formulated in a domain representing the exterior to an infinite row of profiles, periodically spaced in one direction. Then the problem is reformulated in a bounded domain of the form of one space period and completed by the Dirichlet boundary condition on the inlet and the profile, a suitable natural boundary condition on the outlet and periodic boundary conditions on artificial cuts. We present a weak formulation and prove the existence of a weak solution. Copyright © 2006 John Wiley & Sons, Ltd.     

Existence and non‐existence of steady states to a cross‐diffusion system arising in a Leslie predator–prey model

This paper is concerned with a cross‐diffusion system arising in a Leslie predator–prey population model in a bounded domain with no flux boundary condition. We investigate sufficient condition for the existence and the non‐existence of non‐constant positive solution. We obtain that if natural diffusion coefficient of predator is large enough and cross‐diffusion coefficients are fixed, then under some conditions there exists non‐constant positive solution. Furthermore, we show that if natural diffusion coefficients of predator and prey are both large enough, and cross‐diffusion coefficients are small enough, then there exists no non‐constant positive solution. Copyright © 2012 John Wiley & Sons, Ltd.